chp03+-+Introduction+to+Sentential+Calculus

chp03+-+Introduction+to+Sentential+Calculus - Sentential...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Sentential Calculus Logic is the science of correct, or as we shall say, valid , argument. A valid argument is one in which it is not possible for the premisses to be true and the conclusion false, and, moreover, you can tell just by looking at the structure of the argument that it is not possible for the premises to be true and the conclusion false. So, to do logic, we have to look at the structure of arguments. An argument is made up of sentences and the sentences are made up of words, and we want to see how the words that appear in a correct argument fit together so as to preclude the possibility that the premises are true and the conclusion false. Since the arguments we are interested in are mostly formulated in English, the most natural way to proceed would be to examine the way English sentences are built up out of English words, trying to determine what the structure of an English sentence contributes to fixing the conditions under which the sentence is true. Regrettably, we cant proceed that way, because we understand altogether too little about what makes an English sentence true. Natural languages are just too complicated. Instead, we proceed indirectly, working not with natural languages but with formal languages that are vastly simpler than English, but that are still rich enough to display a lot of the features we find in English. We can straightforwardly determine which arguments in the formal language are valid. Next, well learn how to translate from English into the formal language. The plan is to do the translations is such a way that, if the translated argument is valid in the formal language, then the English argument must have been valid as well. Thus we can show an English argument valid by providing a translation into a demonstrably valid argument in the formal language. The formal languages are designed to exhibit the logical structure of English arguments in an especially stark form. Well begin with sentential calculus ( SC ), which provides a model of the way compound English sentences are built up out of simple English sentences. Later, well deepen the analysis by examining the internal structure of simple English sentences. The sentences of the formal language of sentential calculus are built up out of simple sentence, called atomic sentences, by putting sentences together using what grammarians call "conjunctions" and what logicians call "connectives." Thus the formal language symbol " " corresponds to the English word "and" or "but." If the formal-language sentence "A" means the same as the English sentence "Jack went up the hill" and "B" means the same as "Jill went up the hill," then "Jack and Jill went up the hill" will be translated "(A B)." The sentence will be true if Jack and Jill both went up B)....
View Full Document

Page1 / 6

chp03+-+Introduction+to+Sentential+Calculus - Sentential...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online