A | B | C | D | E | F | G | H | CH | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
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.
Definition and related fields
The term "philosophical logic" is used by different theorists in slightly different ways.[1] When understood in a narrow sense, as discussed in this article, philosophical logic is the area of philosophy that studies the application of logical methods to philosophical problems. This usually happens in the form of developing new logical systems to either extend classical logic to new areas or to modify it to include certain logical intuitions not properly addressed by classical logic.[2][1][3][4] In this sense, philosophical logic studies various forms of non-classical logics, like modal logic and deontic logic. This way, various fundamental philosophical concepts, like possibility, necessity, obligation, permission, and time, are treated in a logically precise manner by formally expressing the inferential roles they play in relation to each other.[5][4][1][3] Some theorists understand philosophical logic in a wider sense as the study of the scope and nature of logic in general. On this view, it investigates various philosophical problems raised by logic, including the fundamental concepts of logic. In this wider sense, it can be understood as identical to the philosophy of logic, where these topics are discussed.[6][7][8][1] The current article discusses only the narrow conception of philosophical logic. In this sense, it forms one area of the philosophy of logic.[1]
Central to philosophical logic is an understanding of what logic is and what role philosophical logics play in it. Logic can be defined as the study of valid inferences.[4][6][9] An inference is the step of reasoning in which it moves from the premises to a conclusion.[10] Often the term "argument" is also used instead. An inference is valid if it is impossible for the premises to be true and the conclusion to be false. In this sense, the truth of the premises ensures the truth of the conclusion.[11][10][12][1] This can be expressed in terms of rules of inference: an inference is valid if its structure, i.e. the way its premises and its conclusion are formed, follows a rule of inference.[4] Different systems of logic provide different accounts for when an inference is valid. This means that they use different rules of inference. The traditionally dominant approach to validity is called classical logic. But philosophical logic is concerned with non-classical logic: it studies alternative systems of inference.[2][1][3][4] The motivations for doing so can roughly be divided into two categories. For some, classical logic is too narrow: it leaves out many philosophically interesting issues. This can be solved by extending classical logic with additional symbols to give a logically strict treatment of further areas.[6][13][14] Others see some flaw with classical logic itself and try to give a rival account of inference. This usually leads to the development of deviant logics, each of which modifies the fundamental principles behind classical logic in order to rectify their alleged flaws.[6][13][14]
Classification of logics
Modern developments in the area of logic have resulted in a great proliferation of logical systems.[13] This stands in stark contrast to the historical dominance of Aristotelian logic, which was treated as the one canon of logic for over two thousand years.[1] Treatises on modern logic often treat these different systems as a list of separate topics without providing a clear classification of them. However, one classification frequently mentioned in the academic literature is due to Susan Haack and distinguishes between classical logic, extended logics, and deviant logics.[6][13][15] This classification is based on the idea that classical logic, i.e. propositional logic and first-order logic, formalizes some of the most common logical intuitions. In this sense, it constitutes a basic account of the axioms governing valid inference.[4][9] Extended logics accept this basic account and extend it to additional areas. This usually happens by adding new vocabulary, for example, to express necessity, obligation, or time.[13][1][4][9] These new symbols are then integrated into the logical mechanism by specifying which new rules of inference apply to them, like that possibility follows from necessity.[15][13] Deviant logics, on the other hand, reject some of the basic assumptions of classical logic. In this sense, they are not mere extensions of it but are often formulated as rival systems that offer a different account of the laws of logic.[13][15]
Expressed in a more technical language, the distinction between extended and deviant logics is sometimes drawn in a slightly different manner. On this view, a logic is an extension of classical logic if two conditions are fulfilled: (1) all well-formed formulas of classical logic are also well-formed formulas in it and (2) all valid inferences in classical logic are also valid inferences in it.[13][15][16] For a deviant logic, on the other hand, (a) its class of well-formed formulas coincides with that of classical logic, while (b) some valid inferences in classical logic are not valid inferences in it.[13][15][17] The term quasi-deviant logic is used if (i) it introduces new vocabulary but all well-formed formulas of classical logic are also well-formed formulas in it and (ii) even when it is restricted to inferences using only the vocabulary of classical logic, some valid inferences in classical logic are not valid inferences in it.[13][15] The term "deviant logic" is often used in a sense that includes quasi-deviant logics as well.[13]
A philosophical problem raised by this plurality of logics concerns the question of whether there can be more than one true logic.[13][1] Some theorists favor a local approach in which different types of logic are applied to different areas. Early intuitionists, for example, saw intuitionistic logic as the correct logic for mathematics but allowed classical logic in other fields.[13][18] But others, like Michael Dummett, prefer a global approach by holding that intuitionistic logic should replace classical logic in every area.[13][18] Monism is the thesis that there is only one true logic.[6] This can be understood in different ways, for example, that only one of all the suggested logical systems is correct or that the correct logical system is yet to be found as a system underlying and unifying all the different logics.[1] Pluralists, on the other hand, hold that a variety of different logical systems can all be correct at the same time.[19][6][1]
A closely related problem concerns the question of whether all of these formal systems actually constitute logical systems.[1][4] This is especially relevant for deviant logics that stray very far from the common logical intuitions associated with classical logic. In this sense, it has been argued, for example, that fuzzy logic is a logic only in name but should be considered a non-logical formal system instead since the idea of degrees of truth is too far removed from the most fundamental logical intuitions.[13][20][4] So not everyone agrees that all the formal systems discussed in this article actually constitute logics, when understood in a strict sense.
Classical logic
Classical logic is the dominant form of logic used in most fields.[21] The term refers primarily to propositional logic and first-order logic.[6] Classical logic is not an independent topic within philosophical logic. But a good familiarity with it is still required since many of the logical systems of direct concern to philosophical logic can be understood either as extensions of classical logic, which accept its fundamental principles and build on top of it, or as modifications of it, rejecting some of its core assumptions.[5][14] Classical logic was initially created in order to analyze mathematical arguments and was applied to various other fields only afterward.[5] For this reason, it neglects many topics of philosophical importance not relevant to mathematics, like the difference between necessity and possibility, between obligation and permission, or between past, present, and future.[5] These and similar topics are given a logical treatment in the different philosophical logics extending classical logic.[14][1][3] Classical logic by itself is only concerned with a few basic concepts and the role these concepts play in making valid inferences.[22] The concepts pertaining to propositional logic include propositional connectives, like "and", "or", and "if-then".[4] Characteristic of the classical approach to these connectives is that they follow certain laws, like the law of excluded middle, the double negation elimination, the principle of explosion, and the bivalence of truth.[21] This sets classical logic apart from various deviant logics, which deny one or several of these principles.[13][5]
In first-order logic, the propositions themselves are made up of subpropositional parts, like predicates, singular terms, and quantifiers.[8][23] Singular terms refer to objects and predicates express properties of objects and relations between them.[8][24] Quantifiers constitute a formal treatment of notions like "for some" and "for all". They can be used to express whether predicates have an extension at all or whether their extension includes the whole domain.[25] Quantification is only allowed over individual terms but not over predicates, in contrast to higher-order logics.[26][4]
Extended logics
Alethic modal
Alethic modal logic has been very influential in logic and philosophy. It provides a logical formalism to express what is possibly or necessarily true.[12][9][27][28][29][30][14] It constitutes an extension of first-order logic, which by itself is only able to express what is true simpliciter. This extension happens by introducing two new symbols: "" for possibility and "" for necessity. These symbols are used to modify propositions. For example, if "" stands for the proposition "Socrates is wise", then "" expresses the proposition "it is possible that Socrates is wise". In order to integrate these symbols into the logical formalism, various axioms are added to the existing axioms of first-order logic.[27][28][30] They govern the logical behavior of these symbols by determining how the validity of an inference depends on the fact that these symbols are found in it. They usually include the idea that if a proposition is necessary then its negation is impossible, i.e. that "" is equivalent to "". Another such principle is that if something is necessary, then it must also be possible. This means that "" follows from "".[27][28][30] There is disagreement about exactly which axioms govern modal logic. The different forms of modal logic are often presented as a nested hierarchy of systems in which the most fundamental systems, like system K, include only the most fundamental axioms while other systems, like the popular system S5, build on top of it by including additional axioms.[27][28][30] In this sense, system K is an extension of first-order logic while system S5 is an extension of system K. Important discussions within philosophical logic concern the question of which system of modal logic is correct.[27][28][30] It is usually advantageous to have the strongest system possible in order to be able to draw many different inferences. But this brings with it the problem that some of these additional inferences may contradict basic modal intuitions in specific cases. This usually motivates the choice of a more basic system of axioms.[27][28][30]
Possible worlds semantics is a very influential formal semantics in modal logic that brings with it system S5.[27][28][30] A formal semantics of a language characterizes the conditions under which the sentences of this language are true or false. Formal semantics play a central role in the model-theoretic conception of validity.[4][10] They are able to provide clear criteria for when an inference is valid or not: an inference is valid if and only if it is truth-preserving, i.e. if whenever its premises are true then its conclusion is also true.[9][10][31] Whether they are true or false is specified by the formal semantics. Possible worlds semantics specifies the truth conditions of sentences expressed in modal logic in terms of possible worlds.[27][28][30] A possible world is a complete and consistent way how things could have been.[32][33] On this view, a sentence modified by the -operator is true if it is true in at least one possible world while a sentence modified by the -operator is true if it is true in all possible worlds.[27][28][30] So the sentence "" (it is possible that Socrates is wise) is true since there is at least one world where Socrates is wise. But "" (it is necessary that Socrates is wise) is false since Socrates is not wise in every possible world. Possible world semantics has been criticized as a formal semantics of modal logic since it seems to be circular.[8] The reason for this is that possible worlds are themselves defined in modal terms, i.e. as ways how things could have been. In this way, it itself uses modal expressions to determine the truth of sentences containing modal expressions.[8]
Deontic
Deontic logic extends classical logic to the field of ethics.[34][14][35] Of central importance in ethics are the concepts of obligation and permission, i.e. which actions the agent has to do or is allowed to do. Deontic logic usually expresses these ideas with the operators and .[34][14][35][27] So if "" stands for the proposition "Ramirez goes jogging", then "" means that Ramirez has the obligation to go jogging and "" means that Ramirez has the permission to go jogging.
Deontic logic is closely related to alethic modal logic in that the axioms governing the logical behavior of their operators are identical. This means that obligation and permission behave in regards to valid inference just like necessity and possibility do.[34][14][35][27] For this reason, sometimes even the same symbols are used as operators.[36] Just as in alethic modal logic, there is a discussion in philosophical logic concerning which is the right system of axioms for expressing the common intuitions governing deontic inferences.[34][14][35] But the arguments and counterexamples here are slightly different since the meanings of these operators differ. For example, a common intuition in ethics is that if the agent has the obligation to do something then they automatically also have the permission to do it. This can be expressed formally through the axiom schema "".[34][14][35] Another question of interest to philosophical logic concerns the relation between alethic modal logic and deontic logic. An often discussed principle in this respect is that ought implies can. This means that the agent can only have the obligation to do something if it is possible for the agent to do it.[37][38] Expressed formally: "".[34]
Temporal
Temporal logic, or tense logic, uses logical mechanisms to express temporal relations.[39][14][35][40] In its most simple form, it contains one operator to express that something happened at one time and another to express that something is happening all the time. These two operators behave in the same way as the operators for possibility and necessity in alethic modal logic. Since the difference between past and future is of central importance to human affairs, these operators are often modified to take this difference into account. Arthur Prior's tense logic, for example, realizes this idea using four such operators: (it was the case that...), (it will be the case that...), (it has always been the case that...), and (it will always be the case that...).[39][14][35][40] So to express that it will always be rainy in London one could use "". Various axioms are used to govern which inferences are valid depending on the operators appearing in them. According to them, for example, one can deduce "" (it will be rainy in London at some time) from "". In more complicated forms of temporal logic, also binary operators linking two propositions are defined, for example, to express that something happens until something else happens.[39]
Temporal modal logic can be translated into classical first-order logic by treating time in the form of a singular term and increasing the arity of one's predicates by one.[40] For example, the tense-logic-sentence "" (it is dark, it was light, and it will be light again) can be translated into pure first-order logic as "".[41] While similar approaches are often seen in physics, logicians usually prefer an autonomous treatment of time in terms of operators. This is also closer to natural languages, which mostly use grammar, e.g. by conjugating verbs, to express the pastness or futurity of events.[40]
Epistemic
Epistemic logic is a form of modal logic applied to the field of epistemology.[42][43][35][9] It aims to capture the logic of knowledge and belief. The modal operators expressing knowledge and belief are usually expressed through the symbols "" and "". So if "" stands for the proposition "Socrates is wise", then "" expresses the proposition "the agent knows that Socrates is wise" and "" expresses the proposition "the agent believes that Socrates is wise". Axioms governing these operators are then formulated to express various epistemic principles.[35][42][43] For example, the axiom schema "" expresses that whenever something is known, then it is true. This reflects the idea that one can only know what is true, otherwise it is not knowledge but another mental state.[35][42][43] Another epistemic intuition about knowledge concerns the fact that when the agent knows something, they also know that they know it. This can be expressed by the axiom schema "".[35][42][43] An additional principle linking knowledge and belief states that knowledge implies belief, i.e. "". Dynamic epistemic logic is a distinct form of epistemic logic that focuses on situations in which changes in belief and knowledge happen.[44]
Higher-order
Higher-order logics extend first-order logic by including new forms of quantification.[12][26][45][46] In first-order logic, quantification is restricted to singular terms. It can be used to talk about whether a predicate has an extension at all or whether its extension includes the whole domain. This way, propositions like "" (there are some apples that are sweet) can be expressed. In higher-order logics, quantification is allowed not just over individual terms but also over predicates. This way, it is possible to express, for example, whether certain individuals share some or all of their predicates, as in "" (there are some qualities that Mary and John share).[12][26][45][46] Because of these changes, higher-order logics have more expressive power than first-order logic. This can be helpful for mathematics in various ways since different mathematical theories have a much simpler expression in higher-order logic than in first-order logic.[12] For example, Peano arithmetic and Zermelo-Fraenkel set theory need an infinite number of axioms to be expressed in first-order logic. But they can be expressed in second-order logic with only a few axioms.[12]
But despite this advantage, first-order logic is still much more widely used than higher-order logic. One reason for this is that higher-order logic is incomplete.[12] This means that, for theories formulated in higher-order logic, it is not possible to prove every true sentence pertaining to the theory in question.[4] Another disadvantage is connected to the additional ontological commitments of higher-order logics. It is often held that the usage of the existential quantifier brings with it an ontological commitment to the entities over which this quantifier ranges.[9][47][48][49] In first-order logic, this concerns only individuals, which is usually seen as an unproblematic ontological commitment. In higher-order logic, quantification concerns also properties and relations.[9][26][6] This is often interpreted as meaning that higher-order logic brings with it a form of Platonism, i.e. the view that universal properties and relations exist in addition to individuals.[12][45]
Deviant logics
Intuitionistic
Intuitionistic logic is a more restricted version of classical logic.[18][50][14] It is more restricted in the sense that certain rules of inference used in classical logic do not constitute valid inferences in it. This concerns specifically the law of excluded middle and the double negation elimination.[18][50][14] The law of excluded middle states that for every sentence, either it or its negation are true. Expressed formally: . The law of double negation elimination states that if a sentence is not not true, then it is true, i.e. "
Logic
Philosophy
Modal logic
Logic
Philosophy of logic
Non-classical logic
Validity (logic)
Inference
Classical logic
Rules of inference
Law of excluded middle
Double negation elimination
Alethic modal logic
Proposition
Possible world
Deontic logic
Ethics
Obligation
Permission (philosophy)
Temporal logic
Epistemic logic
Epistemology
Mental state
Higher-order logic
Quantifier (logic)
Deviant logic
Intuitionistic logic
Free logic
Many-valued logic
Paraconsistent logic
Principle of explosion
Relevance logic
Material conditional
Philosophy of logic
Rules of inference
Aristotelian logic
Susan Haack
Classical logic
Deviant logic
Well-formed formula
Intuitionistic logic
Michael Dummett
Fuzzy logic
Degrees of truth
Classical logic
Propositional logic
First-order logic
Law of excluded middle
Double negation elimination
Principle of explosion
First-order logic
Proposition
Predicate (mathematical logic)
Singular term
Quantifier (logic)
Alethic modal logic
S5 (modal logic)
Philosophy of logic#Conceptions based on syntax or semantics
Deontic logic
Ethics
Obligation
Permission (philosophy)
Ought implies can
Temporal logic
Arthur Prior
Binary operators
Grammatical conjugation
Epistemic logic
Epistemology
Knowledge
Belief
Higher-order logics
Quantifier (logic)
Peano arithmetic
Zermelo-Fraenkel set theory
Completeness (logic)
Platonism
Universal (metaphysics)
Intuitionistic logic
Law of excluded middle
Double negation elimination
Philosophical logic
Philosophical logic
Main Page
Wikipedia:Contents
Portal:Current events
Special:Random
Wikipedia:About
Wikipedia:Contact us
Special:FundraiserRedirector?utm source=donate&utm medium=sidebar&utm campaign=C13 en.wikipedia.org&uselang=en
Help:Contents
Help:Introduction
Wikipedia:Community portal
Special:RecentChanges
Wikipedia:File upload wizard
Main Page
Special:Search
Help:Introduction
Special:MyContributions
Special:MyTalk
منطق فلسفي
Lóxica filosófica
Философска логика
Lògica filosòfica
Philosophische Logik
Filosoofiline loogika
Lógica filosófica
Logika filosofiko
منطق فلسفی
Logique philosophique
철학적 논리학
Փիլիսոփայական տրամաբանություն
Logika filosofis
Logica filosofica
Logica philosophica
Filozófiai logika
Филозофска логика
哲学的論理学
Filosofisk logikk
Logika filozoficzna
Lógica filosófica
Философская логика
Philosophical logic
Filozofska logika
Filosofisk logik
மெய்யியல் ஏரணம்
Felsefi mantık
Філософська логіка
Logic triết học
哲學邏輯
哲学逻辑
Special:EntityPage/Q491412#sitelinks-wikipedia
Philosophical logic
Talk:Philosophical logic
Philosophical logic
Philosophical logic
Special:WhatLinksHere/Philosophical logic
Special:RecentChangesLinked/Philosophical logic
Wikipedia:File Upload Wizard
Special:SpecialPages
Special:EntityPage/Q491412
Category:Philosophical logic
Philosophical logic
Philosophical logic
Main Page
Wikipedia:Contents
Portal:Current events
Special:Random
Wikipedia:About
Wikipedia:Contact us
Special:FundraiserRedirector?utm source=donate&utm medium=sidebar&utm campaign=C13 en.wikipedia.org&uselang=en
Help:Contents
Help:Introduction
Wikipedia:Community portal
Special:RecentChanges
Wikipedia:File upload wizard
Main Page
Special:Search
Help:Introduction
Special:MyContributions
Special:MyTalk
منطق فلسفي
Lóxica filosófica
Философска логика
Lògica filosòfica
Philosophische Logik
Filosoofiline loogika
Lógica filosófica
Logika filosofiko
منطق فلسفی
Logique philosophique
철학적 논리학
Փիլիսոփայական տրամաբանություն
Logika filosofis
Logica filosofica
Logica philosophica
Filozófiai logika
Филозофска логика
哲学的論理学
Filosofisk logikk
Logika filozoficzna
Lógica filosófica
Философская логика
Philosophical logic
Filozofska logika
Filosofisk logik
மெய்யியல் ஏரணம்
Felsefi mantık
Філософська логіка
Logic triết học
哲學邏輯
哲学逻辑
Special:EntityPage/Q491412#sitelinks-wikipedia
Philosophical logic
Talk:Philosophical logic
Philosophical logic
Philosophical logic
Special:WhatLinksHere/Philosophical logic
Special:RecentChangesLinked/Philosophical logic
Wikipedia:File Upload Wizard
Special:SpecialPages
Special:EntityPage/Q491412
Category:Philosophical logic
Philosophical logic
Philosophical logic
Main Page
Wikipedia:Contents
Portal:Current events
Special:Random
Wikipedia:About
Wikipedia:Contact us
Special:FundraiserRedirector?utm source=donate&utm medium=sidebar&utm campaign=C13 en.wikipedia.org&uselang=en
Help:Contents
Help:Introduction
Wikipedia:Community portal
Special:RecentChanges
Wikipedia:File upload wizard
Main Page
Special:Search
Help:Introduction
Special:MyContributions
Special:MyTalk
منطق فلسفي
Lóxica filosófica
Философска логика
Lògica filosòfica
Philosophische Logik
Filosoofiline loogika
Lógica filosófica
Logika filosofiko
منطق فلسفی
Logique philosophique
철학적 논리학
Փիլիսոփայական տրամաբանություն
Logika filosofis
Logica filosofica
Logica philosophica
Filozófiai logika
Филозофска логика
哲学的論理学
Filosofisk logikk
Logika filozoficzna
Lógica filosófica
Философская логика
Philosophical logic
Filozofska logika
Filosofisk logik
மெய்யியல் ஏரணம்
Felsefi mantık
Філософська логіка
Logic triết học
哲學邏輯
哲学逻辑
Special:EntityPage/Q491412#sitelinks-wikipedia
Philosophical logic
Talk:Philosophical logic
Philosophical logic
Philosophical logic
Special:WhatLinksHere/Philosophical logic
Special:RecentChangesLinked/Philosophical logic
Wikipedia:File Upload Wizard
Special:SpecialPages
Special:EntityPage/Q491412
Category:Philosophical logic
Updating...x
Text je dostupný za podmienok Creative
Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších
podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky
použitia.