Summary
Highlights
Logic is introduced as a key branch of philosophy, distinguished from others like metaphysics, epistemology, and ethics. Metaphysics explores the ultimate nature of reality, epistemology studies how we acquire knowledge about reality, and ethics examines morality and how to live a flourishing life. Logic, the art and study of reasoning, is crucial for evaluating arguments and understanding chains of thought.
Dr. Botham defines 'states of affairs' as ways things might or might not be, which either 'obtain' or 'fail to obtain.' 'Propositions' or 'claims' are statements that take a stand on how the world is and are either true or false. A true proposition corresponds to an obtaining state of affairs, while a false proposition corresponds to a state of affairs that fails to obtain. Examples like 'Mike Tyson is a boxer' clarify this distinction.
A 'potential counterexample' to a claim is a situation inconsistent with its truth. A claim is false if such a situation (a counterexample) actually obtains. Every false claim has a counterexample, whether or not humans can conceive of it. This distinction highlights that the existence of a counterexample is a metaphysical question, independent of human knowledge.
When encountering any claim, two questions should always be asked: 1) What would count as a counterexample (what would make the claim false)? 2) Does one of those potential counterexamples actually obtain (is the claim truly false)? This systematic approach helps to identify the conceptual limits of a claim and determine its truth value.
Several claims are analyzed to illustrate the process of finding counterexamples, including 'Snow is white,' 'A cat is on a mat,' 'Somebody has a false belief,' and 'Every human is a bird.' These examples demonstrate the importance of precise definitions and careful consideration of all possible situations. The discussion highlights the nuances of universal claims (e.g., 'Every Raven is a bird') and existential claims (e.g., 'Some human beings are blue').
More complex examples like 'Every white unicorn is a unicorn' and 'Every 3-ton elephant in the Oval Office jumps' are explored. These reveal that claims can be true even if the subjects they refer to don't exist, as long as no counterexample can consistently obtain. The distinction between a claim being true and our knowledge of its truth (metaphysics vs. epistemology) is emphasized with the example of 'Queen Elizabeth ate a prime number of pinto beans.'
The 'actual world' is defined as the way things are, a complete and consistent set of all obtaining states of affairs, or equivalently, all true propositions. 'Possible worlds' are introduced as other complete and consistent ways things might have been. These mental constructs, often explored through fiction, help us understand coherence and consistency in situations, even if they don't actually obtain.
The lecture concludes by previewing the next topic: conditionals. Conditionals are propositions that express a relationship between two other propositions (P and Q) in the form 'If P, then Q.' The subsequent lecture will delve into the conditions under which conditionals fail and what constitutes a counterexample to them, highlighting their complexity and importance in logical reasoning.