Related Research Articles
Saul Aaron Kripke was an American analytic philosopher and logician. He was Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and emeritus professor at Princeton University. Since the 1960s, he has been a central figure in a number of fields related to mathematical and modal logic, philosophy of language and mathematics, metaphysics, epistemology, and recursion theory.
Friedrich Ludwig Gottlob Frege was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic philosophy, concentrating on the philosophy of language, logic, and mathematics. Though he was largely ignored during his lifetime, Giuseppe Peano (1858–1932), Bertrand Russell (1872–1970), and, to some extent, Ludwig Wittgenstein (1889–1951) introduced his work to later generations of philosophers. Frege is widely considered to be the greatest logician since Aristotle, and one of the most profound philosophers of mathematics ever.
Hilary Whitehall Putnam was an American philosopher, mathematician, computer scientist, and figure in analytic philosophy in the second half of the 20th century. He contributed to the studies of philosophy of mind, philosophy of language, philosophy of mathematics, and philosophy of science. Outside philosophy, Putnam contributed to mathematics and computer science. Together with Martin Davis he developed the Davis–Putnam algorithm for the Boolean satisfiability problem and he helped demonstrate the unsolvability of Hilbert's tenth problem.
Analytic philosophy is an analysis focused, broad, contemporary movement or tradition within Western philosophy, especially anglophone philosophy. Analytic philosophy is characterized by a clarity of prose; rigor in arguments; and making use of formal logic and mathematics, and, to a lesser degree, the natural sciences. It is further characterized by an interest in language and meaning known as the linguistic turn. It has developed several new branches of philosophy and logic, notably philosophy of language, philosophy of mathematics, philosophy of science, modern predicate logic and mathematical logic.
Dana Stewart Scott is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His work on automata theory earned him the Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has also worked on modal logic, topology, and category theory.
George Stephen Boolos was an American philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.
Ruth Barcan Marcus was an American academic philosopher and logician best known for her work in modal and philosophical logic. She developed the first formal systems of quantified modal logic and in so doing introduced the schema or principle known as the Barcan formula. Marcus, who originally published as Ruth C. Barcan, was, as Don Garrett notes "one of the twentieth century's most important and influential philosopher-logicians". Timothy Williamson, in a 2008 celebration of Marcus' long career, states that many of her "main ideas are not just original, and clever, and beautiful, and fascinating, and influential, and way ahead of their time, but actually – I believe – true".
David Kellogg Lewis was an American philosopher. Lewis taught briefly at UCLA and then at Princeton University from 1970 until his death. He is closely associated with Australia, whose philosophical community he visited almost annually for more than 30 years.
Scott Soames is an American philosopher. He is a professor of philosophy at the University of Southern California, and before that at Princeton University. He specializes in the philosophy of language and the history of analytic philosophy. He is well known for defending and expanding on the program in the philosophy of language started by Saul Kripke as well as being a major critic of two-dimensionalist theories of meaning.
Kaarlo Jaakko Juhani Hintikka was a Finnish philosopher and logician. Hintikka is regarded as the founder of formal epistemic logic and of game semantics for logic.
The linguistic turn was a major development in Western philosophy during the early 20th century, the most important characteristic of which is the focusing of philosophy primarily on the relations between language, language users, and the world.
Nathan U. Salmon is an American philosopher in the analytic tradition, specializing in metaphysics, philosophy of language, and philosophy of logic.
Stephen Roy Albert Neale is a British philosopher and specialist in the philosophy of language who has written extensively about meaning, information, interpretation, and communication, and more generally about issues at the intersection of philosophy and linguistics. Neale is a Distinguished Professor of Philosophy and Linguistics and holder of the John H. Kornblith Family Chair in the Philosophy of Science and Values at the Graduate Center, City University of New York (CUNY).
Robert Culp Stalnaker is an American philosopher who is Laurance S. Rockefeller Professor Emeritus of Philosophy at the Massachusetts Institute of Technology. He is a Fellow of the American Academy of Arts and Sciences and a Corresponding Fellow of the British Academy.
Keith Sedgwick Donnellan was an American philosopher and professor of philosophy at the University of California, Los Angeles.
A priori and a posteriori are Latin phrases used in philosophy to distinguish types of knowledge, justification, or argument by their reliance on experience. A priori knowledge is independent from any experience. Examples include mathematics, tautologies and deduction from pure reason. A posteriori knowledge depends on empirical evidence. Examples include most fields of science and aspects of personal knowledge.
Naming and Necessity is a 1980 book with the transcript of three lectures, given by the philosopher Saul Kripke, at Princeton University in 1970, in which he dealt with the debates of proper names in the philosophy of language. The transcript was brought out originally in 1972 in Semantics of Natural Language, edited by Donald Davidson and Gilbert Harman. Among analytic philosophers, Naming and Necessity is widely considered one of the most important philosophical works of the twentieth century.
Timothy John Smiley FBA is a British philosopher, appointed Emeritus Knightbridge Professor of Philosophy at Clare College, Cambridge University. He works primarily in philosophy of mathematics and logic.
In logic, contingency is the feature of a statement making it neither necessary nor impossible. Contingency is a fundamental concept of modal logic. Modal logic concerns the manner, or mode, in which statements are true. Contingency is one of three basic modes alongside necessity and possibility. In modal logic, a contingent statement stands in the modal realm between what is necessary and what is impossible, never crossing into the territory of either status. Contingent and necessary statements form the complete set of possible statements. While this definition is widely accepted, the precise distinction between what is contingent and what is necessary has been challenged since antiquity.
Meaning and Necessity: A Study in Semantics and Modal Logic is a book about semantics and modal logic by the philosopher Rudolf Carnap. The book, in which Carnap discusses the nature of linguistic expressions, was a continuation of his previous work in semantics in Introduction to Semantics (1942) and Formalization of Logic (1943). Considered an important discussion of semantics, it was influential and provided a basis for further developments in modal logic.
