Routledge Encyclopedia of Philosophy

Logic, philosophy of


Logic, philosophy of

Philosophy of logic can be roughly characterized as those philosophical topics which have emerged either from the technical development of symbolic (mathematical) logic, or from the motivations that logicians have offered for their technical pursuits. In settling on a list of subjects to classify as philosophy of logic, therefore, there is a certain degree of arbitrariness, since the issues which emerge from the technical development of logic can equally well be assigned to such areas as semantics, philosophy of language, philosophy of mathematics, epistemology, and even ethics (see Semantics; Language, philosophy of; Mathematics, foundations of).

1 The impact of modal logic

In the broad area of mathematical logic, the biggest philosophical punch is packed by modal logic, including tense logic (see Modal logic; Modal logic, philosophical issues in; Tense and temporal logic). Modal logic has been important since Aristotle (see Logic, ancient; Logic in the 17th and 18th centuries; Logic in the 19th century; Logic in the early 20th century) but has only been put on a rigorous footing in the second half of the twentieth century, by such figures as Hintikka, Kanger, Prior, and most especially Kripke (see Semantics, possible worlds). The most important philosophical outgrowth of this mathematical work is contained in Kripke’s three lectures from January 1970 published as ‘Naming and Necessity’, in which Kripke draws out some ways in which possible worlds semantics is in tension with then-prevailing orthodoxies in the philosophy of language and mind. Some of Kripke’s views have become new orthodoxies since (see Essentialism; Proper names; Reference §§2–4; for related work by David Lewis, Robert Stalnaker, David Kaplan and others that uses the possible worlds framework, see Counterfactual conditionals; Demonstratives and indexicals; Descriptions).

To give some flavour of developments here, consider the familiar Fregean view that the relation of reference which holds between a name and its bearer is sustained by the relation of presentation which holds between the sense of the name and the bearer of the name: the name refers to such-and-such an object precisely because it expresses a sense which presents that object (see Frege, G. §3; Sense and reference). When pressed for an explanation of what the senses of names are like, the natural Fregean response is to specify them, as Frege himself did in some cases, using definite descriptions (see Descriptions). So, for instance, the sense of the name ‘Aristotle’ might be ‘the pupil of Plato who taught Alexander’. However, though it may well in fact have been Aristotle who taught Alexander, there are many ways things might have gone (many ‘possible worlds’) in which someone other than Aristotle is taught by Plato and teaches Alexander: suppose Aristotle had got the appointment but been killed in an accident before he could take it up, and had been replaced at Philip’s insistence by another pupil of Plato. The description ‘the pupil of Plato who taught Alexander’ is therefore ‘non-rigid’, in Kripke’s terminology. That is, it can pick out different individuals in different possible worlds, and in some worlds may pick out no one (Philip for some reason comes to distrust Platonic pedagogy and fails to conduct an equal opportunity search). But it is clear from the formal semantics for modal logic that there is conceptual ‘room’ for a category of expression which is ‘rigid’, in the sense that it picks out the same object in every possible world, or at least in every possible world where it picks out any object at all. So the formal semantics prompts the question whether names in natural language behave as if their reference is determined by a sense which presents different individuals at different worlds, or whether they behave as if they are rigid designators. With a series of brilliant examples Kripke demonstrates that names are rigid designators and therefore do not express reference-determining senses which are non-rigid (see Proper names).

The idea that a formal semantics for a kind of logic provides an account of a possible semantics for a category of natural-language expression, opening the door to debate on whether it is the right account or not, also captures some of the philosophical bearing of kinds of logic other than modal logic. Thus free logic shows how name-like expressions can function without standard existential commitment (see Free logics, philosophical issues in); intuitionistic logic and many-valued logic show how a language can have a compositional semantics even if its sentences are not used to make statements with verification-transcendent truth-conditions which always either obtain or fail to obtain (see Compositionality; Intuitionistic logic and antirealism; Many-valued logics, philosophical issues in; Presupposition). And second-order logic offers a particular way of understanding the semantic import of a range of puzzling locutions, such as plural quantifiers (see Second-order logic, philosophical issues in). In all these cases the formal semantics for the logical system prompts debates about how well the semantics carries over to natural language.

2 Logic and language

There is also a collection of long-established topics discussion of which can be much improved, in rigour at least, in the light of the development of modern logic. For example, a distinction between propositions (or statements, or sentential contexts) which are de dicto and propositions (and so on) which are de re originates in medieval philosophy. But only contemporary modal logic affords the tools for a precise characterization of this distinction, although it must be granted that the distinction remains a puzzle in epistemic contexts (see De re/de dicto; Descriptions §2; Propositional attitude statements). Other topics which can be classified in this way include Essentialism, Existence, Identity, Indicative conditionals, Modal operators, Quantifiers and Vagueness. Again, to give some of the flavour of this kind of work, consider the de re/de dicto contrast. There is an evident syntactic difference between ‘It is necessary that parents have children’ and ‘Parents are such that it is necessary that they have children’, but just because there is a syntactic difference, it does not follow that there is any interesting difference in meaning. But the difference can be brought out quite precisely in possible worlds semantics. To say that it is necessary that parents have children is to say that in every possible world, the people who are parents in that world have children in that world; and this is an obvious truth. On the other hand, to say that parents are such that it is necessary that they have children is to say that the people who are parents in the actual world are such that they have children in every possible world. This is clearly false, even putting aside contingency of existence of actual parents. For given anyone who is actually a parent, there is a way things could have gone – a possible world – in which that person is childless, hence not a parent (see Quantifiers, substitutional and objectual; Modal operators).

When a formal semantics for a system of logic is applied to a fragment of natural language, a very precise account of the literal content of sentences in that fragment is given. But there may be aspects of the meanings of those sentences which are omitted. Philosophical views may then divide over whether the formal semantics has been shown to be wanting as an account of the semantics of the fragment, or whether instead the aspects of meaning not captured have been shown not to belong to literal content (see Presupposition). In the case of indicative conditionals, for instance, the formal semantics that is relevant is the simplest possible kind, namely, the truth-functional account of ‘if…then…’. According to this account, ‘If p then q’ is true if p is false or if q is true, regardless of the actual meanings of p and q. So in particular, any indicative conditional with a true consequent is true; examples would include ‘If lead floats in water then lead sinks in water’ and ‘If the solar system has nine planets then the Conservative Party lost the British elections in 1997’. Barring an astrological justification of the latter, both these conditionals look decidedly odd. But oddness is one thing, falsity another. The idea that such conditionals are false is based on the thought that if a conditional is true, then in establishing it in the most direct manner, non-redundant use has to be made of the antecedent. Spelling this out leads to relevance logic (see Relevance logic and entailment; Indicative conditionals). On the other hand, if we say the conditionals are merely odd, we are led to some theory of communication to explain the oddness (see Grice, H.P.; Implicature).

But we should not take away the impression that the traffic is all one way, from logic to language or from pure mathematics to pure philosophy. There is a two-way street here, with the above comments on conditionals representing a common phenomenon; that of a concern in the philosophy of language giving rise to a formal development which in turn feeds back into philosophy. For example, the idea that for a conditional to be true, the most direct way of establishing it must make non-redundant use of its antecedent seems clear enough on the face of it, but familiarity with logic of conditionals literature may well lead one to reconsider. This kind of dialectical interplay should continue to be a fruitful source of philosophical research for the foreseeable future.

How to cite this article:
FORBES, GRAEME (1998). Logic, philosophy of. In E. Craig (Ed.), Routledge Encyclopedia of Philosophy. London: Routledge. Retrieved December 04, 2021, from

Please note, this site uses web standards that your browser does not support.
See help for further information.

Back to Top