
Philosophy Notes and Topics on Philosophy 
Share Thread: Facebook Twitter Google+ 

LinkBack  Thread Tools  Search this Thread 
#1




Notes on Symbolic Logic
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 lowercase 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 truthfunctional connectives; the truth or falsity of each compound statement formed by using them is wholly determined by the truthvalue of the component statements and the meaning of the connective. Thus, using statement variables in order to cover every possible combination of truthvalues (T or F), we can develop a convenient truthtable to define the meaning of each statement connective. Negation p ~ p T F F T 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 truthtable 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 T T T T F F F T F F F F 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 truthtable at right shows the truthvalue of a compound • statement for every possible combination of truthvalues for its components. In ordinary English, grammatical conjunctions such as "and" and "but" generally have the same semantic function. Disjunction p q p ∨ q T T T T F T F T T F F F 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 truthtable 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 truthtable 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 ⊃ q T T T T F F F T T F F T 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 truthtable 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 ≡ q T T T T F F F T F F F T Finally, the ≡ is used to symbolize material equivalence, in which the compound statement is true only when its component statements have the same truthvalue—either both are true or both are false. (See the truthtable 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 truthfunctional 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 truthvalue of its component statements and the truthtable 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 F ⊃ T , which is true. source = http://www.philosophypages.com/lg/e10a.htm 
Thread Tools  Search this Thread 


Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
ALL updated Compulsory notes available(2016)  Adeel Ahmed  CSS 2016 Exam  1  Friday, November 13, 2015 10:40 PM 
Basic Concepts of Journalism  Humble Ali  Journalism & Mass Communication  1  Monday, January 12, 2015 11:50 PM 