Saturday, September 21, 2019
04:29 PM (GMT +5)

Go Back   CSS Forums > CSS Optional subjects > Group VI > Philosophy

Philosophy Notes and Topics on Philosophy

Reply Share Thread: Submit Thread to Facebook Facebook     Submit Thread to Twitter Twitter     Submit Thread to Google+ Google+    
 
LinkBack Thread Tools Search this Thread
  #1  
Old Friday, June 03, 2016
Senior Member
 
Join Date: Feb 2013
Posts: 238
Thanks: 38
Thanked 73 Times in 57 Posts
Hitler Khan is on a distinguished road
Default 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 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 ~ 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 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
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 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 ∨ 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 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 ⊃ 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 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 ≡ 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 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 F ⊃ T , which is true.

source = http://www.philosophypages.com/lg/e10a.htm
Reply With Quote
Reply

Thread Tools Search this Thread
Search this Thread:

Advanced Search

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are On
Pingbacks are On
Refbacks are On


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 09:40 PM
Basic Concepts of Journalism Humble Ali Journalism & Mass Communication 1 Monday, January 12, 2015 10:50 PM


CSS Forum on Facebook Follow CSS Forum on Twitter

Disclaimer: All messages made available as part of this discussion group (including any bulletin boards and chat rooms) and any opinions, advice, statements or other information contained in any messages posted or transmitted by any third party are the responsibility of the author of that message and not of CSSForum.com.pk (unless CSSForum.com.pk is specifically identified as the author of the message). The fact that a particular message is posted on or transmitted using this web site does not mean that CSSForum has endorsed that message in any way or verified the accuracy, completeness or usefulness of any message. We encourage visitors to the forum to report any objectionable message in site feedback. This forum is not monitored 24/7.

Sponsors: ArgusVision   vBulletin, Copyright ©2000 - 2019, Jelsoft Enterprises Ltd.