Skip to main content
search
A Must Have Book For Every Philosophy Student

Logic

Logic is the systematic study of patterns of inference and is intended to clarify the underlying structure of “good” arguments. When we call an argument valid, we are not judging the truth or falsity of its premises or conclusion. We are evaluating its structure. An argument is said to be sound if it is both valid in argumentative structure and its premises are in fact true. This principle was articulated by Aristotle (384-322 BC) as the syllogism, which may be seen as an early and durable basis for logic but is more accurately considered a structure for argument and rhetoric (see “What Philosophy Professors Want from Student Writers” in Chapter 5) because it falls far short of creating a fully descriptive system of logic. That is, syllogistic logic does not address such areas as propositional calculus (also called propositional logic), predicate calculus (also called predicate logic), modal logic, and other, newer logics. Thus, logic is a discrete branch of philosophy of great importance and (often) technical complexity.

Note

Most introductory philosophy courses and many traditional or classical philosophy courses do not touch upon modern logics. Indeed, the technical nature of these logical disciplines may be outside the course curriculum for the general philosophy student. Some of the content in this chapter, therefore, may be advanced significantly beyond both the interests and (at this point) competence of novice philosophy students. Nevertheless, even such students may encounter advanced material and the terms associated with it. For this reason, we include a compact yet comprehensive introductory treatment of major modern logics.

A key issue in logic is whether the various formal languages developed to study patterns of inference are primarily descriptive or prescriptive—that is, whether they are to be thought of as merely making explicit the underlying logical structure of natural language arguments that we already make, or as constructing alternatives to our natural language arguments to which we should aspire. For example, there is a range of different conversational and conventional implications associated with the English connectives “and” and “but,” although both are formalized in terms of the same truth tables. Similarly, a conditional statement of the form “if P, then Q” is usually rendered in terms of the material conditional (P ⊃ Q), which is evaluated as true whenever the antecedent P is false, or the conclusion Q is true. It is not clear, however, that this captures what we mean when we use such a construction. There is a question, then, as to whether these differences are something that a logical language will inevitably fail to capture or superfluous idiosyncrasies of natural language that a logical language manages to avoid.

A second issue concerns the competing desiderata involved in constructing our formal languages. On the one hand, we want our logical languages to be exhaustive insofar as they can capture as many of our (valid) patterns of inference as possible. On the other hand, however, we want these languages to be conservative in the sense that they do not add anything or introduce arbitrary new patterns of inference merely as a consequence of their technical construction. These desiderata can pull apart, and there are now a range of fully developed nonclassical logics that are argued to provide a better compromise between these competing demands. Some of these languages, in turn, involve further philosophical commitments. Thus, in the same way that we might take the theoretical virtues of a scientific theory (such as simplicity and predictive power) as an argument for accepting its ontological commitments, so some philosophers argue that the technical virtues of a logical language (such qualities as completeness and harmonious proof system) provide arguments for different metaphysical conclusions.

The existence of different logical languages also raises questions about the universality of logic: whether there is one “correct” logic that somehow captures the underlying structure of reality, or whether different logics can be thought of as merely useful tools for describing different domains of inquiry.

Filter

BASIC LOGICAL SYMBOLS

¬ one-place logical connective read as “not” or as “is not the case” ~ alternative notation for “not” & two-place…

QUANTUM LOGIC

Most non-classical logics are motivated by either philosophical considerations, such as the metaphysical status of the future, or technical concerns…

RELEVANCE LOGICS

A relevance logic is motivated by the idea that the premises of a valid argument must be somehow “relevant” to…

INTUITIONISM

One of the most familiar non-classical logics is intuitionism, which, in simple terms, is based upon the rejection of the…

MANY-VALUE LOGICS

In the classical logics already discussed, the logical connectives are taken to be bivalent—that is, they allow of only two…

NON-CLASSICAL LOGIC

While both the predicate calculus and the modal propositional calculus may be seen as extensions of the basic propositional calculus,…

MODAL LOGIC

A common extension to the standard formal languages outlined above is to introduce the technical machinery required to evaluate natural…

HIGHER-ORDER LOGICS

The language sketched above is better referred to as first-order predicate calculus, as the language only quantifies over (first-order) individuals.…

PREDICATE CALCULUS (PREDICATE LOGIC)

The next development of the propositional calculus is the predicate calculus. This considers the logical relationships that hold between predicate…

PROPOSITIONAL CALCULUS (PROPOSITIONAL LOGIC)

The simplest formal (logical) language is the propositional calculus. This considers the logical relationships that hold between complete propositions.