|
Stephen Yablo
Stephen Yablo (; born 1957) is a Canadian-born American philosopher. He is the Emeritus David W. Skinner Professor of Philosophy at the Massachusetts Institute of Technology (MIT) and taught previously at the University of Michigan, Ann Arbor. He specializes in the philosophy of logic, philosophy of mind, metaphysics, philosophy of language, and philosophy of mathematics. Life and career He was born in Toronto, on 30 September 1957, to a Polish father Saul Yablo and Romanian-Canadian mother Gloria Yablo (née Herman), both Jewish. He is married to fellow MIT philosopher Sally Haslanger. His Ph.D. is from University of California, Berkeley, where he worked with Donald Davidson (philosopher), Donald Davidson and George Myro. In 2012, he was elected a Fellow of the American Academy of Arts and Sciences. Philosophical work Yablo has published a number of influential papers in philosophy of mind, philosophy of language, and metaphysics, and gave the John Locke Lectures at Oxford in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Western Philosophy
Western philosophy refers to the Philosophy, philosophical thought, traditions and works of the Western world. Historically, the term refers to the philosophical thinking of Western culture, beginning with the ancient Greek philosophy of the Pre-Socratic philosophy, pre-Socratics. The word ''philosophy'' itself originated from the Ancient Greek (φιλοσοφία), literally, "the love of wisdom" , "to love" and σοφία ''Sophia (wisdom), sophía'', "wisdom". History Ancient The scope of ancient Western philosophy included the problems of philosophy as they are understood today; but it also included many other disciplines, such as pure mathematics and natural sciences such as physics, astronomy, and biology (Aristotle, for example, wrote on all of these topics). Pre-Socratics The pre-Socratic philosophers were interested in cosmology (the nature and origin of the universe), while rejecting unargued fables in place for argued theory, i.e., dogma superseded reason, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophy Of Logic
Philosophy of logic is the area of philosophy that studies the scope and nature of logic. It investigates the philosophical problems raised by logic, such as the presuppositions often implicitly at work in theories of logic and in their application. This involves questions about how logic is to be defined and how different logical systems are connected to each other. It includes the study of the nature of the fundamental concepts used by logic and the relation of logic to other disciplines. According to a common characterisation, philosophical logic is the part of the philosophy of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. But other theorists draw the distinction between the philosophy of logic and philosophical logic differently or not at all. Metalogic is closely related to the philosophy of logic as the discipline investigating the properties of formal logical systems, like co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Propositional Logic
The propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. Sometimes, it is called ''first-order'' propositional logic to contrast it with System F, but it should not be confused with first-order logic. It deals with propositions (which can be true or false) and relations between propositions, including the construction of arguments based on them. Compound propositions are formed by connecting propositions by logical connectives representing the truth functions of conjunction, disjunction, implication, biconditional, and negation. Some sources include other connectives, as in the table below. Unlike first-order logic, propositional logic does not deal with non-logical objects, predicates about them, or quantifiers. However, all the machinery of propositional logic is included in first-order logic and higher-order logics. In this sense, propositional logi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Negation Introduction
Negation introduction is a rule of inference, or transformation rule, in the field of propositional calculus. Negation introduction states that if a given antecedent implies both the consequent and its complement, then the antecedent is a contradiction. Formal notation This can be written as: :\Big((P \rightarrow Q) \land (P \rightarrow \neg Q)\Big) \rightarrow \neg P An example of its use would be an attempt to prove two contradictory statements from a single fact. For example, if a person were to state "Whenever I hear the phone ringing I am happy" and then state "Whenever I hear the phone ringing I am ''not'' happy", one can infer that the person never hears the phone ringing. Many proofs by contradiction use negation introduction as reasoning scheme: to prove ¬''P'', assume for contradiction ''P'', then derive from it two contradictory inferences ''Q'' and ¬''Q''. Since the latter contradiction renders ''P'' impossible, ¬''P'' must hold. Proof With \neg P identifi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Infinite Set
In set theory, an infinite set is a set that is not a finite set. Infinite sets may be countable or uncountable. Properties The set of natural numbers (whose existence is postulated by the axiom of infinity) is infinite. It is the only set that is directly required by the axioms to be infinite. The existence of any other infinite set can be proved in Zermelo–Fraenkel set theory (ZFC), but only by showing that it follows from the existence of the natural numbers. A set is infinite if and only if for every natural number, the set has a subset whose cardinality is that natural number. If the axiom of choice holds, then a set is infinite if and only if it includes a countable infinite subset. If a set of sets is infinite or contains an infinite element, then its union is infinite. The power set of an infinite set is infinite. Any superset of an infinite set is infinite. If an infinite set is partitioned into finitely many subsets, then at least one of them must be infinite ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graham Priest
Graham Priest (born 1948) is a philosopher and logician who is distinguished professor of philosophy at the CUNY Graduate Center, as well as a regular visitor at the University of Melbourne, where he was Boyce Gibson Professor of Philosophy and also at the University of St Andrews. Life Priest was educated at St John's College, Cambridge and the London School of Economics. His thesis advisor was John Lane Bell. He also holds a DLitt from the University of Melbourne. Priest was elected a corresponding fellow of the Australian Academy of the Humanities in 1995. In addition to his work in philosophy and logic, Priest practised karate-do. He is 3rd dan, International Karate-do Shobukai; 4th dan, shitō-ryū, and an Australian National kumite referee and kata judge. Presently, he practices tai chi. Philosophical work Priest is known for his defence of dialetheism, his in-depth analyses of the logical paradoxes (holding the thesis that there is a uniform treatment for many ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Self-reference
Self-reference is a concept that involves referring to oneself or one's own attributes, characteristics, or actions. It can occur in language, logic, mathematics, philosophy, and other fields. In natural or formal languages, self-reference occurs when a sentence, idea or formula refers to itself. The reference may be expressed either directly—through some intermediate sentence or formula—or by means of some encoding. In philosophy, self-reference also refers to the ability of a subject to speak of or refer to itself, that is, to have the kind of thought expressed by the first person nominative singular pronoun "I" in English. Self-reference is studied and has applications in mathematics, philosophy, computer programming, second-order cybernetics, and linguistics, as well as in humor. Self-referential statements are sometimes paradoxical, and can also be considered recursive. In logic, mathematics and computing In classical philosophy, paradoxes were created b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Liar Paradox
In philosophy and logic, the classical liar paradox or liar's paradox or antinomy of the liar is the statement of a liar that they are lying: for instance, declaring that "I am lying". If the liar is indeed lying, then the liar is telling the truth, which means the liar just lied. In "this sentence is a lie", the paradox is strengthened in order to make it amenable to more rigorous logical analysis. It is still generally called the "liar paradox" although abstraction is made precisely from the liar making the statement. Trying to assign to this statement, the strengthened liar, a classical binary truth value leads to a contradiction. Assume that "this sentence is false" is true, then we can trust its content, which states the opposite and thus causes a contradition. Similarly, we get a contradiction when we assume the opposite. History The Epimenides paradox (c. 600 BC) has been suggested as an example of the liar paradox, but they are not logically equivalent. The semi-mythica ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Analysis (journal)
''Analysis'' is a peer-reviewed academic journal of philosophy established in 1933 that is published quarterly by Oxford University Press on behalf of the Analysis Trust. Prior to January 2009, the journal was published by Blackwell Publishing. Electronic access to this journal is available via JSTOR (1933–2013), Wiley InterScience (1996–2008), and Oxford Journals (2009–present). The journal publishes short, concise articles (of up to 4000 words, excluding bibliography) in virtually any field of the analytic tradition. Editors * 1933–1948: Austin Duncan-Jones * 1948–1956: Margaret MacDonald * 1956–1965: Bernard Mayo * 1965–1971: Peter Winch * 1971–1976: C. J. F. Williams Christopher John Fardo Williams (31 December 1930 – 25 March 1997) was a British philosopher. His areas of interest were philosophical logic, on which topic he did most of his original work, and ancient philosophy, as an editor and translator. ... * 1976–1987: Christopher Kirwan * 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Of Philosophical Logic
A journal, from the Old French ''journal'' (meaning "daily"), may refer to: *Bullet journal, a method of personal organization *Diary, a record of personal secretive thoughts and as open book to personal therapy or used to feel connected to oneself. A record of what happened over the course of a day or other period *Daybook, also known as a general journal, a daily record of financial transactions *Logbook, a record of events important to the operation of a vehicle, facility, or otherwise * Transaction log, a chronological record of data processing * Travel journal, a record of the traveller's experience during the course of their journey In publishing, ''journal'' can refer to various periodicals or serials: *Academic journal, an academic or scholarly periodical **Scientific journal, an academic journal focusing on science ** Medical journal, an academic journal focusing on medicine **Law review, a professional journal focusing on legal interpretation *Magazine, non-academic or ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Locke Lectures
The John Locke Lectures are a series of annual lectures in philosophy given at the University of Oxford. Named for British philosopher John Locke, the Locke Lectures are the world's most prestigious lectures in philosophy, and are among the world's most prestigious academic lectures. They were established in 1950 by the bequest of Henry Wilde. Another comparable lecture series is the Gifford Lectures, which are delivered annually at several universities in Scotland. The first lecture series was offered to Ludwig Wittgenstein Ludwig Josef Johann Wittgenstein ( ; ; 26 April 1889 – 29 April 1951) was an Austrian philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language. From 1929 to 1947, Witt ..., who eventually declined. He felt uncomfortable giving formal lectures where the audience would not be asking or answering questions. Lecturers The lectures began as an uncertain biennial series, with the firs ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Academy Of Arts And Sciences
The American Academy of Arts and Sciences (The Academy) is one of the oldest learned societies in the United States. It was founded in 1780 during the American Revolution by John Adams, John Hancock, James Bowdoin, Andrew Oliver, and other Founding Fathers of the United States. It is headquartered in Cambridge, Massachusetts. Membership in the academy is achieved through a nominating petition, review, and election process. The academy's quarterly journal, '' Dædalus'', is published by the MIT Press on behalf of the academy, and has been open-access since January 2021. The academy also conducts multidisciplinary public policy research. Laurie L. Patton has served as President of the Academy since January 2025. History The Academy was established by the Massachusetts legislature on May 4, 1780, charted in order "to cultivate every art and science which may tend to advance the interest, honor, dignity, and happiness of a free, independent, and virtuous people." The sixty-tw ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
