Logic Lecture Notes: Validity, Logical Form, and Philosophical Reasoning (Baby Logic Handout)

Class logistics and setup

• Instructor asks students to put away everything except to write in the sand; mentions possible file/misfile and that the PDF is on the class website.
• A mini quiz on the new reading may occur at the beginning of class; professor wants evidence that students tried to read it.
• Amaya introduced as teaching assistant (TA).
  • Amaya’s information posted on class website.
  • Office hours: after class for one hour on the First Floor of Zul.
  • Sign-in on her roll sheet for extra credit for each visit.
  • Amaya reportedly earned A/As in previous classes and takes excellent notes; students can visit to review baby logic handout exercises.
• The logic content for the day: return to the Baby Logic handout; the quiz on Wednesday will cover this material; the class will practice on logic handouts.
• Administrative questions welcomed.
• Instructor previews that a new argument will be analyzed using the same procedure, then later expanded.
• The class will study multiple arguments and evaluate validity, then move to soundness and objections.

Key concepts introduced

• Validity: an argument is valid if, in virtue of its logical form, if the premises are true, the conclusion must be true.
• Logical form: extract the skeleton of an argument by identifying logical constants (connectives) and quasi-logical words; assign unnamed strings to propositions (e.g., p, q, r) and test the form.
• Skeleton method: replace tokens with letters to see form; test validity via the form (e.g., MP, MT, DS).
• Modus ponens (MP): a valid form where from P → Q and P, you may infer Q.
• Modus tollens (MT): a valid form where from P → Q and ¬Q, you may infer ¬P.
• Disjunctive syllogism (DS): from P ∨ Q and ¬P, infer Q.
• Soundness vs validity: validity concerns form; soundness also requires each premise to be actually true.
• Counterexample to a form: construct an argument with true premises and a false conclusion to show invalid form.
• Four standard logical connectives (and, or, not, if…then) and a quasi-logical operator discussed in Baby Logic handout; these basics are used to form logical arguments.
• Inclusive vs exclusive or: inclusive or (P ∨ Q) allows both true; exclusive or (P ⊕ Q) allows exactly one true; XOR can be defined as
  P oxplus Q \,\equiv\, (P \lor Q) \land \lnot (P \land Q)
• The concept of universal belief and truth: GP two (a general principle) claims that if everyone believes p, then p.
• The role of independent reasoning and objections: if you think an argument is sound or valid but you disagree, you should provide substantial objections to premises.
• The importance of independent justification over social belief in forming beliefs.

Key formal concepts and formulas

• Validity definition (informal):
  • An argument with premises P1, P2, …, Pn and conclusion C is valid if, whenever all P1,…,Pn are true, C is also true due to the form of the argument.
• Modus ponens (MP):
  • Form: $(P \rightarrow Q)$ and $P$ therefore $Q$.
  • Formal tautology: $((P \rightarrow Q) \land P) \rightarrow Q$
• Modus tollens (MT):
  • Form: $(P \rightarrow Q)$ and $\lnot Q$ therefore $\lnot P$.
  • Formal tautology: $((P \rightarrow Q) \land \lnot Q) \rightarrow \lnot P$
• Disjunctive Syllogism (DS):
  • Form: $(P \lor Q)$ and $\lnot P$ therefore $Q$.
  • Formal tautology: $((P \lor Q) \land \lnot P) \rightarrow Q$
• Disjunction (or) semantics:
  • Inclusive OR: $P \lor Q$ means at least one of P or Q is true.
  • Exclusive OR (XOR): exactly one is true; $P \oplus Q \equiv (P \lor Q) \land \lnot (P \land Q)$
• General principle GP two (everybody believes → truth):
  • $\forall p\, [\text{EveryoneBelieves}(p) \rightarrow p]$
  • This is used to illustrate how universal belief does not guarantee truth (counterexamples exist).
• Conditional reasoning (If P then Q):
  • A chain like If P then Q, If Q then R, If R then Z, therefore If P then Z, illustrates a longer MP chain.
• Counterexamples to premises or forms:
  • To show an argument is invalid, one may construct a skeleton with true premises and a false conclusion from the same form.

Major examples and how they illustrate the concepts

• Salty food example (premise testing):
  • Premise 1: Everyone believes that it is wrong to eat salty food.
  • Premise 2: It is wrong to eat salty pickles, if everyone believes it to be true.
  • GP two is used to discuss why universal belief does not guarantee truth (counterexamples like the world historically believed non-spherical being incorrect).
• GP two counterexample: the world belief that the world is non-spherical was widespread historically, yet Greeks demonstrated a spherical world; universal belief did not entail truth.
• Space aliens mind-control scenario:
  • Aliens induce a belief that humans are horrific and ought to be exterminated; after mind control, many rational beings come to hold that belief, but the claim is not true (illustrates GP two failing).
  • Used to argue that many of our moral beliefs could be conditioned or programmed by propaganda or other devices.
• Grandma’s argument (Bible-based):
  • Premise 1: The Bible says killing innocents is wrong.
  • Premise 2: The Bible is the word of God.
  • Therefore, it is wrong to kill innocents.
  • Discussion includes considerations of moral exceptions (e.g., in war) that might challenge premises, illustrating how one might reject a premise or reinterpret the terms.
• Lesser-of-evils / trolley-like scenario (nine-eleven case):
  • Consider shooting down a terrorist-controlled plane to save thousands but risking collateral damage, including innocent people on the ground.
  • This challenges the moral trade-offs and shows how a premise might lead to a controversial conclusion; also addresses the question of whether it is morally justified to kill innocents in certain circumstances.
• Contemporary God existence argument (contemporary atheists’ confusion):
  • Form analyzed: If Cartesian dualism is true then mind/souls exist; hence, if atheists claim not to believe, it would be false if the premise is true.
  • The instructor points out that this is a valid form (modus tollens) and demonstrates how to reconstruct the logical form to test validity.
• Quadriplegic vs soccer players (invalid form example):
  • An invalid argument example constructed to illustrate how a single missing symbol can break a whole argument form (disjunctive structure).
• Notable invalid argument example: “Earth is the largest planet” based on unrelated premises; used to illustrate how to recognize invalid forms and how to respond (jettison the argument or add a premise to salvage validity).
• Notation and symbol usage in student practice:
  • The lecturer emphasizes the importance of using consistent symbols (P, Q, R, etc.) and labeling to avoid ambiguity when testing validity.

Handling validity, soundness, and objections

• If you think an argument is valid but you disagree with the conclusion, provide a substantial objection to a premise to show the argument is unsound.
• When evaluating soundness of a valid argument, assess each premise for truth independently; a false premise breaks soundness even if the form is valid.
• If an argument is invalid, you should either discard it or modify it by adding a premise that preserves the overall conclusions while preserving the speaker’s intent.
• In some cases, the argument’s form is a standard valid pattern (e.g., MP, MT, DS, DS with conditional chains); recognizing these helps quickly assess arguments on quizzes.

Other notable parts of the lecture

• The instructor emphasizes the ongoing students’ need to study Baby Logic handout and to be prepared for a quiz on the new reading (the James Christ Christian reading).
• The session includes a brief discussion on what philosophy is and why it is foundational, with emphasis on critical thinking, reasoning, and logic as core tools.
• The instructor remarks on the accessibility and misperceptions of philosophy in the wider public; philosophy is presented as the oldest and foundational academic discipline that fosters rigorous thinking and clear argumentation.
• The role of philosophy education in K-12 vs higher education is discussed; the instructor critiques why philosophy is not widely taught in K-12 and expresses the view that it should be introduced early to aid logical reasoning and critical thinking.
• The instructor ends with a note about Labor Day and an encouragement to prepare for the logic quiz.

Connections to prior and real-world relevance

• The skeleton method connects to standard logic taught in early courses; forms like MP, MT, DS are foundational in determining valid reasoning in mathematics, computer science, cognitive science, and philosophy.
• The discussions on universal belief (GP two) connect to epistemology and philosophy of science, showing how beliefs can be influenced by social consensus and propaganda, not necessarily by truth.
• The real-world scenarios (war ethics, trolley-like problems, mind control) illustrate how logic is used to analyze moral and ethical decision-making and public reasoning.
• The distinction between validity and soundness mirrors broader critical-thinking practices: a good argument must be both well-formed and have true premises for a strong justification.

Quick reference: common logical forms (summary)

• Modus ponens (MP): from $P \rightarrow Q$ and $P$, infer $Q$.
  • Form tautology: $((P \rightarrow Q) \land P) \rightarrow Q$
• Modus tollens (MT): from $P \rightarrow Q$ and $\lnot Q$, infer $\lnot P$.
  • Form tautology: $((P \rightarrow Q) \land \lnot Q) \rightarrow \lnot P$
• Disjunctive Syllogism (DS): from $(P \lor Q)$ and $\lnot P$, infer $Q$.
  • Form tautology: $((P \lor Q) \land \lnot P) \rightarrow Q$
• Disjunction semantics: inclusive vs exclusive OR; XOR defined as $P \oplus Q \equiv (P \lor Q) \land \lnot (P \land Q)$
• GP two: universal belief entails truth; formal intuition: $\forall p\,[\text{Believes}(p) \rightarrow p]$ (counterexamples exist)
• Chain of conditionals: If P then Q, If Q then R, If R then Z; Therefore If P then Z (via MP)
• Cartesian dualism example: testing a claim about mind/body via MT style reasoning; the form is valid when rearranged properly.

Final study cues

• Trust the logic skeleton: always extract the logical form before judging truth of premises.
• Practice identifying MP, MT, DS in sketch problems and in the quiz (Baby Logic handout).
• Distinguish between inclusive and exclusive or; be precise about what kind of “or” an argument uses.
• Use counterexamples to test the validity of a form; if you can create a true-premise, false-conclusion instance, the form is invalid.
• Remember: a valid argument can have false premises and still be valid; soundness requires true premises.
• Be prepared to discuss the limits of universal beliefs as indicators of truth, and to propose reasonable premises or objections when evaluating arguments.
• Expect questions on the nature of philosophy itself and the role of logic within philosophy and other disciplines.

End-of-class notes

• The instructor wishes everyone a good Labor Day and encourages preparation for the logic quiz.