Philosophical logic

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]

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 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]

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: "${\displaystyle \Diamond }$" for possibility and "${\displaystyle \Box }$" for necessity. These symbols are used to modify propositions. For example, if "${\displaystyle W(s)}$" stands for the proposition "Socrates is wise", then "${\displaystyle \Diamond W(s)}$" 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 "${\displaystyle \Box A}$" is equivalent to "${\displaystyle \lnot \Diamond \lnot A}$". Another such principle is that if something is necessary, then it must also be possible. This means that "${\displaystyle \Diamond A}$" follows from "${\displaystyle \Box A}$".^[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 ${\displaystyle \Diamond }$-operator is true if it is true in at least one possible world while a sentence modified by the ${\displaystyle \Box }$-operator is true if it is true in all possible worlds.^[27][28][30] So the sentence "${\displaystyle \Diamond W(s)}$" (it is possible that Socrates is wise) is true since there is at least one world where Socrates is wise. But "${\displaystyle \Box W(s)}$" (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 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 ${\displaystyle O}$ and ${\displaystyle P}$.^{[34][14][35][27]} So if "${\displaystyle J(r)}$" stands for the proposition "Ramirez goes jogging", then "${\displaystyle OJ(r)}$" means that Ramirez has the obligation to go jogging and "${\displaystyle PJ(r)}$" 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 "${\displaystyle OA\to PA}$".^[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: "${\displaystyle OA\to \Diamond A}$".^[34]

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: ${\displaystyle P}$ (it was the case that...), ${\displaystyle F}$ (it will be the case that...), ${\displaystyle H}$ (it has always been the case that...), and ${\displaystyle G}$ (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 "${\displaystyle G(Rainy(london))}$". 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 "${\displaystyle F(Rainy(london))}$" (it will be rainy in London at some time) from "${\displaystyle G(Rainy(london))}$". 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 "${\displaystyle dark\land P(light)\land F(light)}$" (it is dark, it was light, and it will be light again) can be translated into pure first-order logic as "${\displaystyle dark(t_{1})\land \exists t_{0}(t_{0}<t_{1}\land light(t_{0}))\land \exists t_{2}(t_{1}<t_{2}\land light(t_{2}))}$".^[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 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 "${\displaystyle K}$" and "${\displaystyle B}$". So if "${\displaystyle W(s)}$" stands for the proposition "Socrates is wise", then "${\displaystyle KW(s)}$" expresses the proposition "the agent knows that Socrates is wise" and "${\displaystyle BW(s)}$" 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 "${\displaystyle KA\to A}$" 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 "${\displaystyle KA\to KKA}$".^[35][42][43] An additional principle linking knowledge and belief states that knowledge implies belief, i.e. "${\displaystyle KA\to BA}$". 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 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 "${\displaystyle \exists x(Apple(x)\land Sweet(x))}$" (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 "${\displaystyle \exists Q(Q(mary)\land Q(john))}$" (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]

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: ${\displaystyle A\lor \lnot A}$. The law of double negation elimination states that if a sentence is not not true, then it is true, i.e. "${\displaystyle \lnot \lnot A\to A}$".^[18][14] Due to these restrictions, many proofs are more complicated and some proofs otherwise accepted become impossible.^[50]

These modifications of classical logic are motivated by the idea that truth depends on verification through a proof. This has been interpreted in the sense that "true" means "verifiable".^[50][14] It was originally only applied to the area of mathematics but has since then been used in other areas as well.^[18] On this interpretation, the law of excluded middle would involve the assumption that every mathematical problem has a solution in the form of a proof. In this sense, the intuitionistic rejection of the law of excluded middle is motivated by the rejection of this assumption.^[18][14] This position can also be expressed by stating that there are no unexperienced or verification-transcendent truths.^[50] In this sense, intuitionistic logic is motivated by a form of metaphysical idealism. Applied to mathematics, it states that mathematical objects exist only to the extent that they are constructed in the mind.^[50]

Free logic rejects some of the existential presuppositions found in classical logic.^[51][52][53] In classical logic, every singular term has to denote an object in the domain of quantification.^[51] This is usually understood as an ontological commitment to the existence of the named entity. But many names are used in everyday discourse that do not refer to existing entities, like "Santa Claus" or "Pegasus". This threatens to preclude such areas of discourse from a strict logical treatment. Free logic avoids these problems by allowing formulas with non-denoting singular terms.^[52] This applies to proper names as well as definite descriptions, and functional expressions.^[51][53] Quantifiers, on the other hand, are treated in the usual way as ranging over the domain. This allows for expressions like "${\displaystyle \lnot \exists x(x=santa)}$" (Santa Claus does not exist) to be true even though they are self-contradictory in classical logic.^[51] It also brings with it the consequence that certain valid forms of inference found in classical logic are not valid in free logic. For example, one may infer from "${\displaystyle Beard(santa)}$" (Santa Claus has a beard) that "${\displaystyle \exists x(Beard(x))}$" (something has a beard) in classical logic but not in free logic.^[51] In free logic, often an existence-predicate is used to indicate whether a singular term denotes an object in the domain or not. But the usage of existence-predicates is controversial. They are often opposed, based on the idea that existence is required if any predicates should apply to the object at all. In this sense, existence cannot itself be a predicate.^[9][54][55]

Karel Lambert, who coined the term "free logic", has suggested that free logic can be understood as a generalization of classical predicate logic just as predicate logic is a generalization of Aristotelian logic. On this view, classical predicate logic introduces predicates with an empty extension while free logic introduces singular terms of non-existing things.^[51]

An important problem for free logic consists in how to determine the truth value of expressions containing empty singular terms, i.e. of formulating a formal semantics for free logic.^[56] Formal semantics of classical logic can define the truth of their expressions in terms of their denotation. But this option cannot be applied to all expressions in free logic since not all of them have a denotation.^[56] Three general approaches to this issue are often discussed in the literature: negative semantics, positive semantics, and neutral semantics.^[53] Negative semantics hold that all atomic formulas containing empty terms are false. On this view, the expression "${\displaystyle Beard(santa)}$" is false.^[56][53] Positive semantics allows that at least some expressions with empty terms are true. This usually includes identity statements, like "${\displaystyle santa=santa}$". Some versions introduce a second, outer domain for non-existing objects, which is then used to determine the corresponding truth values.^[56][53] Neutral semantics, on the other hand, hold that atomic formulas containing empty terms are neither true nor false.^[56][53] This is often understood as a three-valued logic, i.e. that a third truth value besides true and false is introduced for these cases.^[57]

Many-valued logics are logics that allow for more than two truth values.^[58][14][59] They reject one of the core assumptions of classical logic: the principle of the bivalence of truth. The most simple versions of many-valued logics are three-valued logics: they contain a third truth value. In Stephen Cole Kleene's three-valued logic, for example, this third truth value is "undefined".^[58][59] According to Nuel Belnap's four-valued logic, there are four possible truth values: "true", "false", "neither true nor false", and "both true and false". This can be interpreted, for example, as indicating the information one has concerning whether a state obtains: information that it does obtain, information that it does not obtain, no information, and conflicting information.^[58] One of the most extreme forms of many-valued logic is fuzzy logic. It allows truth to arise in any degree between 0 and 1.^[60][58][14] 0 corresponds to completely false, 1 corresponds to completely true, and the values in between correspond to truth in some degree, e.g. as a little true or very true.^[60][58] It is often used to deal with vague expressions in natural language. For example, saying that "Petr is young" fits better (i.e. is "more true") if "Petr" refers to a three-year-old than if it refers to a 23-year-old.^[60] Many-valued logics with a finite number of truth-values can define their logical connectives using truth tables, just like classical logic. The difference is that these truth tables are more complex since more possible inputs and outputs have to be considered.^[58][59] In Kleene's three-valued logic, for example, the inputs "true" and "undefined" for the conjunction-operator "${\displaystyle \land }$" result in the output "undefined". The inputs "false" and "undefined", on the other hand, result in "false".^[61][59]

Paraconsistent logics are logical systems that can deal with contradictions without leading to all-out absurdity.^[62][14][63] They achieve this by avoiding the principle of explosion found in classical logic. According to the principle of explosion, anything follows from a contradiction. This is the case because of two rules of inference, which are valid in classical logic: disjunction introduction and disjunctive syllogism.^[62][14][63] According to the disjunction introduction, any proposition can be introduced in the form of a disjunction when paired with a true proposition.^[64] So since it is true that "the sun is bigger than the moon", it is possible to infer that "the sun is bigger than the moon or Spain is controlled by space-rabbits". According to the disjunctive syllogism, one can infer that one of these disjuncts is true if the other is false.^[64] So if the logical system also contains the negation of this proposition, i.e. that "the sun is not bigger than the moon", then it is possible to infer any proposition from this system, like the proposition that "Spain is controlled by space-rabbits". Paraconsistent logics avoid this by using different rules of inference that make inferences in accordance with the principle of explosion invalid.^[62][14][63]

An important motivation for using paraconsistent logics is dialetheism, i.e. the belief that contradictions are not just introduced into theories due to mistakes but that reality itself is contradictory and contradictions within theories are needed to accurately reflect reality.^{[63][65][62][66]} Without paraconsistent logics, dialetheism would be hopeless since everything would be both true and false.^[66] Paraconsistent logics make it possible to keep contradictions local, without exploding the whole system.^[14] But even with this adjustment, dialetheism is still highly contested.^[63][66] Another motivation for paraconsistent logic is to provide a logic for discussions and group beliefs where the group as a whole may have inconsistent beliefs if its different members are in disagreement.^[63]

Relevance logic is one type of paraconsistent logic. As such, it also avoids the principle of explosion even though this is usually not the main motivation behind relevance logic. Instead, it is usually formulated with the goal of avoiding certain unintuitive applications of the material conditional found in classical logic.^[67][14][68] Classical logic defines the material conditional in purely truth-functional terms, i.e. "${\displaystyle p\to q}$" is false if "${\displaystyle p}$" is true and "${\displaystyle q}$" is false, but otherwise true in every case. According to this formal definition, it does not matter whether "${\displaystyle p}$" and "${\displaystyle q}$" are relevant to each other in any way.^[67][14][68] For example, the material conditional "if all lemons are red then there is a sandstorm inside the Sydney Opera House" is true even though the two propositions are not relevant to each other.

The fact that this usage of material conditionals is highly unintuitive is also reflected in informal logic, which categorizes such inferences as fallacies of relevance. Relevance logic tries to avoid these cases by requiring that for a true material conditional, its antecedent has to be relevant to the consequent.^[67][14][68] A difficulty faced for this issue is that relevance usually belongs to the content of the propositions while logic only deals with formal aspects. This problem is partially addressed by the so-called variable sharing principle. It states that antecedent and consequent have to share a propositional variable.^[67][68][14] This would be the case, for example, in "${\displaystyle (p\land q)\to q}$" but not in "${\displaystyle (p\land q)\to r}$". A closely related concern of relevance logic is that inferences should follow the same requirement of relevance, i.e. that it is a necessary requirement of valid inferences that their premises are relevant to their conclusion.^[67]