Philosophy 1200 Lecture Notes - Lecture 23: Propositional Calculus, Formal Language, Logical Biconditional
Document Summary
All languages have two components, semantics or meaning and syntax or structural rules. Every statement in propositional logic has one of two meanings: true or false. We determine the meaning from the simple components and the logical (truth functional) connectives that join them. Statements with the same truth value mean the same thing in this language. (164) it is false that snow is green. We replace the false simple statement snow is green with another false simple statement grass is white . In both cases we end up with a true statement, which for our purposes is all we care about. (165) grass is green and snow is white. From the point of view of logic, this sentence says true and true and so has the same meaning as. Grass is green and ottawa is the capital of canada. (again true and true . ) Using t for true and f for false (165) has the form t and t .