Application of logical methods to philosophical problems
Not to be confused with Philosophy of 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.
An important issue for philosophical logic is the question of how to classify the great variety of non-classical logical systems, many of which are of rather recent origin. One form of classification often found in the literature is to distinguish between extended logics and deviant logics. Logic itself can be defined as the study of valid inference. Classical logic is the dominant form of logic and articulates rules of inference in accordance with logical intuitions shared by many, like the law of excluded middle, the double negation elimination, and the bivalence of truth.
Extended logics are logical systems that are based on classical logic and its rules of inference but extend it to new fields by introducing new logical symbols and the corresponding rules of inference governing these symbols. In the case of alethic modal logic, these new symbols are used to express not just what is true simpliciter, but also what is possibly or necessarily true. It is often combined with possible worlds semantics, which holds that a proposition is possibly true if it is true in some possible world while it is necessarily true if it is true in all possible worlds. Deontic logic pertains to ethics and provides a formal treatment of ethical notions, such as obligation and permission. Temporal logic formalizes temporal relations between propositions. This includes ideas like whether something is true at some time or all the time and whether it is true in the future or in the past. Epistemic logic belongs to epistemology. It can be used to express not just what is the case but also what someone believes or knows to be the case. Its rules of inference articulate what follows from the fact that someone has these kinds of mental states. Higher-order logics do not directly apply classical logic to certain new sub-fields within philosophy but generalize it by allowing quantification not just over individuals but also over predicates.
Deviant logics, in contrast to these forms of extended logics, reject some of the fundamental principles of classical logic and are often seen as its rivals. Intuitionistic logic is based on the idea that truth depends on verification through a proof. This leads it to reject certain rules of inference found in classical logic that are not compatible with this assumption. Free logic modifies classical logic in order to avoid existential presuppositions associated with the use of possibly empty singular terms, like names and definite descriptions. Many-valued logics allow additional truth values besides true and false. They thereby reject the principle of bivalence of truth. Paraconsistent logics are logical systems able to deal with contradictions. They do so by avoiding the principle of explosion found in classical logic. Relevance logic is a prominent form of paraconsistent logic. It rejects the purely truth-functional interpretation of the material conditional by introducing the additional requirement of relevance: for the conditional to be true, its antecedent has to be relevant to its consequent.
and 25 Related for: Philosophical logic information
Understood in a narrow sense, philosophicallogic is the area of logic that studies the application of logical methods to philosophical problems, often in the...
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...
self-cultivation. Major branches of philosophy are epistemology, ethics, logic, and metaphysics. Epistemology studies what knowledge is and how to acquire...
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical...
reason with them. Research into paraconsistent logic has also led to the establishment of the philosophical school of dialetheism (most notably advocated...
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...
and philosophicallogic, particularly from the 1950s onwards, in subjects such as modal logic, temporal logic, deontic logic, and relevance logic. The...
University, where he teaches courses in the philosophy of science, philosophicallogic, and the role of modeling in scientific practice. Van Fraassen is...
program to formalize natural language and reasoning, which he called philosophicallogic. Russell wrote: "Some kind of knowledge of logical forms, though...
it mean for a conclusion to be a consequence of premises? All of philosophicallogic is meant to provide accounts of the nature of logical consequence...
the following years, research of temporal logic by Arthur Prior began. He was concerned with the philosophical implications of free will and predestination...
Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe...
In logic and formal semantics, term logic, also known as traditional logic, syllogistic logic or Aristotelian logic, is a loose name for an approach to...
Deontic logic is the field of philosophicallogic that is concerned with obligation, permission, and related concepts. Alternatively, a deontic logic is a...
Greek terms in their philosophical sense. The original Greek term was "λόγος" logos, the root of the modern English word "logic" but also a word that...
Stoic logic is the system of propositional logic developed by the Stoic philosophers in ancient Greece. It was one of the two great systems of logic in the...
The Journal of PhilosophicalLogic is a bimonthly peer-reviewed academic journal covering all aspects of logic. It was established in 1972 and is published...
proposition is a central concept in the philosophy of language, semantics, logic, and related fields, often characterized as the primary bearer of truth...
Classical Logic. Handbook of PhilosophicalLogic. Vol. 2. Springer. pp. 1–88. ISBN 978-94-009-6259-0. Chagrov, A.; Zakharyaschev, M. (1997). Modal Logic. Clarendon...
in philosophicallogic often use different terminology. Reflexive relations in the mathematical sense are called totally reflexive in philosophical logic...
the Proceedings And Addresses of the American Philosophical Association (2002) as "a text in informal logic, [that] was intended to enable students to cope...
Alan (2001). "Probability, Logic, and Probability Logic". The Blackwell Guide to PhilosophicalLogic. Blackwell. pp. 362–384. Evans, Jonathan St. B. T...
Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophicallogic. The ASL was founded in...
and interpretation in terms of philosophicallogic. In a formal vein, Peirce said: On the Definition of Logic. Logic is formal semiotic. A sign is something...