PHL245H1 Chapter Notes -Dark Chocolate, Formal Methods, Kurt Cobain
Document Summary
The study & evaluation of reasoning & argument. An argument probably seems logical if it look likes the conclusion must be true, based on what you are told is the case and what you already know to be true. This is because logical deductive arguments are truth-preserving: if the premises are true, then the conclusions must be true. Studying logic can help you recognize which arguments are good ones, and thus improve your ability to distinguish truths or probable claims from ones that are poorly supported by the evidence. Symbolization also can clear up ambiguities in meaning. Sometimes sentences, phrases and words can be interpreted different ways. Symbolization can force you to be more precise and consider exactly what is meant. Aristotelian or syllogistic logic is the earliest system intended to classify and evaluate a wide range of arguments. Chrysippus (c. 280-c. 205 bc) developed a system of propositional logic that anticipates modern logic.
