PHILOS 8 Lecture Notes - Lecture 6: Propositional Calculus, Triple Bar, Logical Biconditional
Document Summary
Sufficient condition: occurs whenever one thing ensures that another is realized. In a conditional the antecedent is a sufficient condition for the consequence. The truth of the antecedent guarantees the truth of the consequence. If david lives in oregon, then david lives in the united state. We cannot infer that since the consequent is true and that the antecedent is true. Conditionals tell us about what happen if the antecedent is true and not if the consequent is true. Necessary condition: occurs whenever one thing is required for another thing to be. Only if the consequent follows the if and the antecedent occurs before the realized. Philosophers use iff to represent biconditional statement and also just in case. Propositional logic: tool we use to evaluate deductive argument and represent complex statement. Expresses a logical structure like the original argument. Rule #1: dot wedge, horseshoe and triple bar go between two statements.