Philosophy Pages

    Dictionary    Study Guide  Logic   F A Q s
  History Timeline Philosophers   Locke
 

Logical Symbols

Although traditional categorical logic can be used to represent and assess many of our most common patterns of reasoning, modern logicians have developed much more comprehensive and powerful systems for expressing rational thought. These newer logical languages are often called "symbolic logic," since they employ special symbols to represent clearly even highly complex logical relationships. We'll begin our study of symbolic logic with the propositional calculus, a formal system that effectively captures the ways in which individual statements can be combined with each other in interesting ways. The first step, of course, is to define precisely all of the special, new symbols we will use.

Compound Statements

The propositional calculus is not concerned with any features within a simple proposition. Its most basic units are whole propositions or statements, each of which is either true or false (though, of course, we don't always know which). In ordinary language, we convey statements by complete declarative sentences, such as "Alan bears an uncanny resemblance to Jonathan," "Betty enjoys watching John cook," or "Chris and Lloyd are an unbeatable team." But when we're thinking about the logical relationships that hold among two or three or more such statements, it would be awfully clumsy to write out the entire sentence at every occurrence of each of them. Instead, we represent specific individual statements by using capital letters of the alphabet as statement constants. Thus, for example, we could use  A ,  B , and  C  to represent the statements mentioned above—letting  A  stand for "Alan bears an uncanny resemblance to Jonathan,"  B  stand for "Betty enjoys watching John cook," and  C  stand for "Chris and Lloyd are an unbeatable team." Within the context of this discussion, each statement constant designates one and only one statement.

When we want to deal with statements more generally, we will use lower-case letters of the alphabet (beginning with "p") as statement variables. Thus, for example, we might say, "Consider any statement,  p , . . ." or "Suppose that some pair of statements,  p  and  q , are both true . . . ." Statement variables can stand for any statements whatsoever, but within the scope of a specific context, each statement variable always designates the same statement. Once we've begun substituting  A  for  p , we must do so consistently; that is, every occurrence of  p  must be taken to refer to  A . But if another variable,  q , occurs in the same context, it can stand for any statement whatsoever— B , or  C , or even  A .

Next we introduce five special symbols, the statement connectives or operators:

    ~ 
    •    
    ∨ 
    ⊃    
    ≡   

The syntax of using statement connectives to form new, compound statements can be stated as a simple rule:

For any statements,  p  and  q ,

       ~ p 
 p • q 
 p ∨ q 
 p ⊃ q  and
 p ≡ q 
are all legitimate compound statements.

This rule is recursive in the sense that it can be applied to its own results in order to form compounds of compounds of compounds . . . , etc. As these compound statements become more complex, we'll use parentheses and brackets, just as we do in algebra, in order to keep track of the order of operations. Thus, since  A ,  B , and  C  are all statements, so are all of the following compound statements:
 ~ A 
 A • B 
 A ∨ ~ C 
 C ⊃ (B ∨ A) 
 ~ (~ B ≡ C) 
 (A ∨ ~B) ≡ (C ⊃ A) 
 [A ∨ ~ (C ∨ B)] 

But what do these special symbols mean? What relationship between individual statements do their compound statements express? Although each of them roughly corresponds to some fairly common English expression, it is important to notice that we define each in precise logical terms. The five logical operators are all truth-functional connectives; the truth or falsity of each compound statement formed by using them is wholly determined by the truth-value of the component statements and the meaning of the connective. Thus, using statement variables in order to cover every possible combination of truth-values (T or F), we can develop a convenient truth-table to define the meaning of each statement connective.

Negation

 p  ~
TF
FT

The " ~ " signifies logical negation; it simply reverses the truth value of any statement (simple or compound) in front of which it appears: if the original is true, the  ~ statement is false, and if the original is false, the  ~ statement is true. Thus, its meaning can be represented by the truth-table at right.

The English expression "It is not the case that . . ." serves the same function, though of course we have many other methods of negating an assertion in ordinary language—sometimes the single word "not" embedded in a sentence is enough to do the job.

Conjunction

 p  q  p • q 
TTT
TFF
FTF
FFF

The " • " symbolizes logical conjunction; a compound statement formed with this connective is true only if both of the component statements between which it occurs are true. Whenever either of the conjuncts (or both) is false, the whole conjunction is false. Thus, the truth-table at right shows the truth-value of a compound  • statement for every possible combination of truth-values for its components.

In ordinary English, grammatical conjunctions such as "and" and "but" generally have the same semantic function.

Disjunction

 p  q  p
TTT
TFT
FTT
FFF

The symbol " ∨ " signifies inclusive disjunction: a  ∨ statement is true whenever either (or both) of its component statements is true; it is false only when both of them are false. (See the truth-table at right.)

Although this roughly corresponds to the English expression "Either . . . or . . . ," notice that in ordinary usage we often exclude the possibility that both of the disjuncts are true—"Either he is here or he is not" doesn't leave open the chance that he is both here and not here. Remember that our logical symbol,  ∨ , is always inclusive by its truth-table definition. If we want to express the more limited sense conveyed by the English expression, we'll have to use a statement of the form " (p ∨ q) • ~(p • q) ."

Implication

 p  q  p
TTT
TFF
FTT
FFT

The  ⊃  symbol is used to symbolize a relationship called material implication; a compound statement formed with this connective is true unless the component on the left (the antecedent) is true and the component on the right (the consequent) is false, as shown in the truth-table at the right.

In this case, there is a reliable correspondence with the conditional statements that are commonly expressed in the English expression "If . . . , then . . . ." Although conditionals have many other uses in ordinary language (to assert the presence of a causal connection, for example), virtually all of them exemplify the basic sense of material implication symbolized by the  ⊃ .

Equivalence

 p  q  p
TTT
TFF
FTF
FFT

Finally, the  ≡  is used to symbolize material equivalence, in which the compound statement is true only when its component statements have the same truth-value—either both are true or both are false. (See the truth-table at right.)

This corresponds to a minimal interpretation of the biconditional statements commonly expressed in English with the connective phrase " . . . if and only if . . . ."

In compound statements formed with the five truth-functional connectives, one important logical feature remains the same. No matter how long a compound statement is, the truth or falsity of the whole depends solely upon the truth-value of its component statements and the truth-table meaning of the connectives it employs. Thus, if  A  and  B  are true while  X  and  Y  are false, then the compound statement  (A • ~B) ⊃ (~X ∨ Y)  must be true: since  B  is true,  ~ B  must be false, making  A • ~B  false; since  X  is false,  ~X  must be true, making  ~X ∨ Y  true; but then the whole  ⊃ statement is  FT , which is true.

Exercises in Propositional Logic

Check up on your understanding of the symbols of propositional logic by visiting Philo the Logician, a set of exercises from Bob Wengert of the University of Illinois.


Creative Commons License
The Philosophy Pages by Garth Kemerling are licensed under a Creative Commons Attribution-ShareAlike 3.0 Unported License.
Permissions beyond the scope of this license may be available at http://www.philosophypages.com/referral/contact.htm.

©1997, 2011 Garth Kemerling.
Last modified 12 November 2011.
Questions, comments, and suggestions may be sent to:
the Contact Page.