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. 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.
The history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in India, China, and Greece. Greek methods, particularly Aristotelian logic as found in the Organon, found wide application and acceptance in Western science and mathematics for millennia. The Stoics, especially Chrysippus, began the development of predicate logic.
Sir Michael Anthony Eardley Dummett was an English academic described as "among the most significant British philosophers of the last century and a leading campaigner for racial tolerance and equality." He was, until 1992, Wykeham Professor of Logic at the University of Oxford. He wrote on the history of analytic philosophy, notably as an interpreter of Frege, and made original contributions particularly in the philosophies of mathematics, logic, language and metaphysics.
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).
Modal logic is a kind of logic used to represent statements about necessity and possibility. It plays a major role in philosophy and related fields as a tool for understanding concepts such as knowledge, obligation, and causation. For instance, in epistemic modal logic, the formula can be used to represent the statement that is known. In deontic modal logic, that same formula can represent that is a moral obligation.
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.
Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists". The basic intuition behind truthmaker theory is that truth depends on being. For example, a perceptual experience of a green tree may be said to be true because there actually is a green tree. But if there were no tree there, it would be false. So the experience by itself does not ensure its truth or falsehood, it depends on something else. Expressed more generally, truthmaker theory is the thesis that "the truth of truthbearers depends on the existence of truthmakers". A perceptual experience is the truthbearer in the example above. Various representational entities, like beliefs, thoughts or assertions can act as truthbearers. Truthmaker theorists are divided about what type of entity plays the role of truthmaker; popular candidates include states of affairs and tropes.
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.
In analytic philosophy, actualism is the view that everything there is is actual. Another phrasing of the thesis is that the domain of unrestricted quantification ranges over all and only actual existents.
David Benjamin Kaplan is an American philosopher. He is the Hans Reichenbach Professor of Scientific Philosophy at the UCLA Department of Philosophy. His philosophical work focuses on the philosophy of language, logic, metaphysics, epistemology and the philosophy of Frege and Russell. He is best known for his work on demonstratives, propositions, and reference in intensional contexts. He was elected a Fellow of the American Academy of Arts & Sciences in 1983 and a Corresponding Fellow of the British Academy in 2007.
Hartry H. Field is an American philosopher. He is Silver Professor of Philosophy at New York University; he is a notable contributor to philosophy of science, philosophy of mathematics, epistemology, and philosophy of mind.
David Malet Armstrong, often D. M. Armstrong, was an Australian philosopher. He is well known for his work on metaphysics and the philosophy of mind, and for his defence of a factualist ontology, a functionalist theory of the mind, an externalist epistemology, and a necessitarian conception of the laws of nature.
Timothy Williamson is a British philosopher whose main research interests are in philosophical logic, philosophy of language, epistemology and metaphysics. He is the former Wykeham Professor of Logic at the University of Oxford, and a fellow of New College, Oxford.
John Patrick Hawthorne is an English philosopher, currently serving as Professor of Philosophy at the Australian Catholic University in Melbourne, and Professor of Philosophy at the University of Southern California. He is recognized as a leading contemporary contributor to metaphysics and epistemology.
Quietism in philosophy sees the role of philosophy as broadly therapeutic or remedial. Quietist philosophers believe that philosophy has no positive thesis to contribute; rather, it defuses confusions in the linguistic and conceptual frameworks of other subjects, including non-quietist philosophy. For quietists, advancing knowledge or settling debates is not the job of philosophy, rather philosophy should liberate the mind by diagnosing confusing concepts.
Metaontology or meta-ontology is the study of the field of inquiry known as ontology. The goal of meta-ontology is to clarify what ontology is about and how to interpret the meaning of ontological claims. Different meta-ontological theories disagree on what the goal of ontology is and whether a given issue or theory lies within the scope of ontology. There is no universal agreement whether meta-ontology is a separate field of inquiry besides ontology or whether it is just one branch of ontology.
Penelope Mackie (1953–2022) was a British philosopher who specialised in metaphysics and philosophical logic, and was best known for her work on essence and modality. Mackie spent the majority of her career in the Department of Philosophy at the University of Nottingham (2004–22), having also held appointments at the University of Birmingham, Virginia Commonwealth University, and New College, Oxford.
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 consistency and completeness.
Logical consequence is a fundamental concept in logic which describes the relationship between statements that hold true when one statement logically follows from one or more statements. A valid logical argument is one in which the conclusion is entailed by the premises, because the conclusion is the consequence of the premises. The philosophical analysis of logical consequence involves the questions: In what sense does a conclusion follow from its premises? and What does it mean for a conclusion to be a consequence of premises? All of philosophical logic is meant to provide accounts of the nature of logical consequence and the nature of logical truth.
Friederike Moltmann is a linguist and philosopher. She has done pioneering work at the intersection of philosophy and linguistics, especially on the interface between metaphysics and natural language semantics, but also on the interface between philosophy of mind and mathematics. She is an important proponent of natural language ontology. She is currently Research Director at the French National Centre for Scientific Research (CNRS) in Paris.
References
- ↑ Kit Fine, Semantic Relationism. Blackwell, 2007.
- ↑ "Professor Kit Fine - Department of Philosophy - University of Birmingham". Birmingham.ac.uk. Retrieved 19 October 2015.
- ↑ "Professors". usi.ch - Master in Philosophy. 2020. Retrieved 11 November 2020.
- ↑ "British Academy | Elections to the Fellowship 2005 - British Academy". Britac.ac.uk. Archived from the original on 3 February 2016. Retrieved 19 October 2015.
- ↑ "Leiter Reports: A Philosophy Blog: New Philosophy Fellows of the American Academy of Arts & Sciences (Leiter)". Leiterreports.typepad.com. 22 April 2006. Retrieved 19 October 2015.
- ↑ Salter, Jessica (14 September 2010). "World of Anne Fine, author". The Daily Telegraph . London. Archived from the original on 18 September 2010.
- ↑ "FineLab homepage". Faculty.washington.edu. Retrieved 15 July 2015.
- ↑ "Kit Fine, Faculty of Philosophy | NYU". Philosophy.fas.nyu.edu. Retrieved 19 October 2015.
- ↑ "Metaphysical Kit » 3:AM Magazine". 3ammagazine.com. 23 March 2012. Retrieved 8 March 2022.
- ↑ "Gödel Lecturers". Association for Symbolic Logic.
- ↑ Faroldi, Federico L. G.; Van De Putte, Frederik, eds. (2023). Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Outstanding Contributions to Logic. Vol. 26. Cham: Springer International Publishing. doi:10.1007/978-3-031-29415-0. ISBN 978-3-031-29414-3.
