Related Research Articles
Willard Van Orman Quine was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century". From 1930 until his death 70 years later, Quine was continually affiliated with Harvard University in one way or another, first as a student, then as a professor. He filled the Edgar Pierce Chair of Philosophy at Harvard from 1956 to 1978.
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. Kripke is considered one of the most important philosophers of the latter half of the 20th century. 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.
Alvin Carl Plantinga is an American analytic philosopher who works primarily in the fields of philosophy of religion, epistemology, and logic.
Understood in a narrow sense, philosophical logic is the area of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. Some theorists conceive philosophical logic in a wider sense as the study of the scope and nature of logic in general. In this sense, philosophical logic can be seen as identical to the philosophy of logic, which includes additional topics like how to define logic or a discussion of the fundamental concepts of logic. The current article treats philosophical logic in the narrow sense, in which it forms one field of inquiry within the philosophy of logic.
Arthur Norman Prior, usually cited as A. N. Prior, was a New Zealand–born logician and philosopher. Prior (1957) founded tense logic, now also known as temporal logic, and made important contributions to intensional logic, particularly in Prior (1971).
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".
Logical possibility refers to a logical proposition that cannot be disproved, using the axioms and rules of a given system of logic. The logical possibility of a proposition will depend upon the system of logic being considered, rather than on the violation of any single rule. Some systems of logic restrict inferences from inconsistent propositions or even allow for true contradictions. Other logical systems have more than two truth-values instead of a binary of such values. However, when talking about logical possibility, it is often assumed that the system in question is classical propositional logic. Similarly, the criterion for logical possibility is often based on whether or not a proposition is contradictory and as such, is often thought of as the broadest type of possibility.
David Kellogg Lewis was an American philosopher who is widely regarded as one of the most important philosophers of the 20th century. 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.
Clarence Irving Lewis, usually cited as C. I. Lewis, was an American academic philosopher. He is considered the progenitor of modern modal logic and the founder of conceptual pragmatism. First a noted logician, he later branched into epistemology, and during the last 20 years of his life, he wrote much on ethics. The New York Times memorialized him as "a leading authority on symbolic logic and on the philosophic concepts of knowledge and value." He was the first to coin the term "Qualia" as it is used today in philosophy, linguistics, and cognitive sciences.
A possible world is a complete and consistent way the world is or could have been. Possible worlds are widely used as a formal device in logic, philosophy, and linguistics in order to provide a semantics for intensional and modal logic. Their metaphysical status has been a subject of controversy in philosophy, with modal realists such as David Lewis arguing that they are literally existing alternate realities, and others such as Robert Stalnaker arguing that they are not.
John Richard Perry is Henry Waldgrave Stuart Professor of Philosophy Emeritus at Stanford University and Distinguished Professor of Philosophy Emeritus at the University of California, Riverside. He has made significant contributions to philosophy in the fields of philosophy of language, metaphysics, and philosophy of mind. He is known primarily for his work on situation semantics, reflexivity, indexicality, personal identity, and self-knowledge.
A fallacy of necessity is a fallacy in the logic of a syllogism whereby a degree of unwarranted necessity is placed in the conclusion.
Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields, including philosophy, theoretical computer science, artificial intelligence, economics and linguistics. While philosophers since Aristotle have discussed modal logic, and Medieval philosophers such as Avicenna, Ockham, and Duns Scotus developed many of their observations, it was C. I. Lewis who created the first symbolic and systematic approach to the topic, in 1912. It continued to mature as a field, reaching its modern form in 1963 with the work of Kripke.
Dagfinn Føllesdal is a Norwegian-American philosopher. He is the Clarence Irving Lewis Professor of Philosophy Emeritus at Stanford University, and professor emeritus at the University of Oslo.
Thomas McKay is an American philosopher currently professor of philosophy and director of graduate studies at the department of philosophy of Syracuse University. He was chairman of the department there from 1995 to 2002. He received his B.A. from Swarthmore College in 1969, his M.A. from University of Massachusetts Amherst in 1972, and his Ph.D., also from the University of Massachusetts, 1974, for a dissertation on "Essentialism and Quantified Modal Logic: Quine's Argument and Kripke's Semantics"
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 characterization, 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 consistency and completeness.
John Patton Burgess is an American philosopher. He is John N. Woodhull Professor of Philosophy at Princeton University where he specializes in logic and philosophy of mathematics.
An ontological argument is a philosophical argument, made from an ontological basis, that is advanced in support of the existence of God. Such arguments tend to refer to the state of being or existing. More specifically, ontological arguments are commonly conceived a priori in regard to the organization of the universe, whereby, if such organizational structure is true, God must exist.
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in formal or informal languages. Logic plays a central role in multiple fields, such as philosophy, mathematics, computer science, and linguistics.
Maxwell John Cresswell is a New Zealand philosopher and logician, known for his work in modal logic.
References
- ↑ "Modal Logic". The Stanford Encyclopedia of Philosophy . Metaphysics Research Lab, Stanford University. 2021.
- ↑ "Modal logic philosophers 2nd edition | Logic | Cambridge University Press".
- ↑ "Vita". Archived from the original on 2010-08-07. Retrieved 2011-01-28.
| General | |
|---|---|
| National libraries | |
| Other | |
 | This biography of an American philosopher is a stub. You can help Wikipedia by expanding it. |