Related Research Articles
Metaphilosophy, sometimes called the philosophy of philosophy, is "the investigation of the nature of philosophy". Its subject matter includes the aims of philosophy, the boundaries of philosophy, and its methods. Thus, while philosophy characteristically inquires into the nature of being, the reality of objects, the possibility of knowledge, the nature of truth, and so on, metaphilosophy is the self-reflective inquiry into the nature, aims, and methods of the activity that makes these kinds of inquiries, by asking what is philosophy itself, what sorts of questions it should ask, how it might pose and answer them, and what it can achieve in doing so. It is considered by some to be a subject prior and preparatory to philosophy, while others see it as inherently a part of philosophy, or automatically a part of philosophy while others adopt some combination of these views.
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.
Peter Thomas Geach was a British philosopher who was Professor of Logic at the University of Leeds. His areas of interest were philosophical logic, ethics, history of philosophy, philosophy of religion and the theory of identity.
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".
In logic, philosophy and related fields, mereology is the study of parts and the wholes they form. Whereas set theory is founded on the membership relation between a set and its elements, mereology emphasizes the meronomic relation between entities, which—from a set-theoretic perspective—is closer to the concept of inclusion between sets.
In mathematics and logic, plural quantification is the theory that an individual variable x may take on plural, as well as singular, values. As well as substituting individual objects such as Alice, the number 1, the tallest building in London etc. for x, we may substitute both Alice and Bob, or all the numbers between 0 and 10, or all the buildings in London over 20 stories.
A free logic is a logic with fewer existential presuppositions than classical logic. Free logics may allow for terms that do not denote any object. Free logics may also allow models that have an empty domain. A free logic with the latter property is an inclusive logic.
Timothy Williamson is a British philosopher whose main research interests are in philosophical logic, philosophy of language, epistemology and metaphysics. He is the Wykeham Professor of Logic at the University of Oxford, and fellow of New College, Oxford.
An approach to the foundations of mathematics that is of relatively recent origin, Scott–Potter set theory is a collection of nested axiomatic set theories set out by the philosopher Michael Potter, building on earlier work by the mathematician Dana Scott and the philosopher George Boolos.
Trivialism is the logical theory that all statements are true and that all contradictions of the form "p and not p" are true. In accordance with this, a trivialist is a person who believes everything is true.
Bob Hale, FRSE was a British philosopher, known for his contributions to the development of the neo-Fregean (neo-logicist) philosophy of mathematics in collaboration with Crispin Wright, and for his works in modality and philosophy of language.
Czesław Lejewski was a Polish philosopher and logician, and a member of the Lwow-Warsaw School of Logic. He studied under Jan Łukasiewicz and Karl Popper in the London School of Economics, and W. V. O. Quine.
Karel Lambert is an American philosopher and logician at the University of California, Irvine and the University of Salzburg. He has written extensively on the subject of free logic, a term which he coined.
Susanne Bobzien is a German-born philosopher whose research interests focus on philosophy of logic and language, determinism and freedom, and ancient philosophy. She currently is senior research fellow at All Souls College, Oxford and professor of philosophy at the University of Oxford.
The term quantifier variance refers to claims that there is no uniquely best ontological language with which to describe the world. The term "quantifier variance" rests upon the philosophical term 'quantifier', more precisely existential quantifier. A 'quantifier' is an expression like "there exists at least one ‘such-and-such’". Quantifier variance then is the thesis that the meaning of quantifiers is ambiguous. This thesis can be used to explain how some disputes in ontology are only due to a failure of the disagreeing parties to agree on the meaning of the quantifiers used.
Michael Huemer is a professor of philosophy at the University of Colorado, Boulder. He has defended ethical intuitionism, direct realism, libertarianism, veganism, and philosophical anarchism.
Anil K. Gupta is an Indian-American philosopher who works primarily in logic, epistemology, philosophy of language, and metaphysics. Gupta is the Alan Ross Anderson Distinguished Professor of Philosophy at the University of Pittsburgh. He is also a Fellow of the American Academy of Arts and Sciences. His most recent book, Conscious Experience: A Logical Inquiry, was published by Harvard University Press in 2019.
The following is a list of works by philosopher Graham Priest.
Michael Glanzberg is an American analytic philosopher specializing in philosophy of language and philosophical logic who is currently affiliated with Rutgers University. He received his PhD in philosophy from Harvard University, where Charles Parsons and Warren Goldfarb supervised his dissertation. Glanzberg has previously held faculty positions at Northwestern University, University of California, Davis, University of Toronto, and MIT. Often working at the intersection of logic and the philosophy of language, Glanzberg is recognized for his work on quantification, paradox, semantics, theories of truth, and the role of context in various linguistic settings. He frequently collaborates with Jc Beall.
References
- 1 2 Augustín Rayo; Gabriel Uzquiano (2006). Rayo, Augustín; Uzquiano, Gabriel (eds.). Absolute Generality. Oxford: Oxford University Press. CiteSeerX 10.1.1.365.3334 .
- ↑ Glanzberg, Michael (2004). "Quantification and Realism*". Philosophy and Phenomenological Research. 69 (3): 541–572. doi:10.1111/j.1933-1592.2004.tb00518.x . Retrieved 6 September 2020.
- ↑ Priest, Graham (17 September 2007). "Absolute Generality". Notre Dame Philosophical Reviews. University of Notre Dame. Retrieved 6 September 2020.
- ↑ Williamson, Timothy (2003). "Everything". Philosophical Perspectives. 17 (1): 415–465. doi:10.1111/j.1520-8583.2003.00017.x . Retrieved 6 September 2020.
- ↑ Rayo, Augustín; Uzquiano, Gabriel, eds. (2003). Absolute Generlaity. Oxford: Oxford University Press.
 | This logic-related article is a stub. You can help Wikipedia by expanding it. |