PHIL 210 Chapter Notes - Chapter 3: Atomic Sentence, Sentence Clause Structure, Truth Table
Document Summary
To form complex claims from atomic claims, fol provides us with connectives and quantifiers and, or, not conjunction, disjunction, negation. Boolean connectives are truth-functional: truth value of a complex sentence depends on its constituent sentence truth values. (i think they are really predicates which take in 2 claims, and makes a truth-oriented relation between the two) Truth tables shows how the truth value of a sentence depends on truth values of parts. Henkin-hintikka game: two people argue on the value of a complex sentence. A claims it is true, b claims it is false; the two challenge one another to justify their claims in terms of simpler claims until finally their disagreement is reduced to a simple atomic claim. At this point they can examine the world to see whether the claim is true (ie in the case of worlds we find in tarski"s world)