Baby Logic & Philosophical Methodology: Lecture Notes on Validity, Soundness, and Argument Evaluation

Overview of the Lecture

• Instructor setup: mini quizzes and a bigger logic test; D1 and D2 definitions on the Baby Logic handout; emphasis on mastering the Baby Logic handout, new readings, and logic of razor; a Scantron compatible with Form 8282 E (as per the handout) is recommended for quizzes/tests.

• Administrative rules and expectations:

  • Cell phone/electronic devices: if a phone rings or any device is used during class, quizzes, or exams, grades drop by two full letter grades by the end of the semester; immediate failure if used during any quiz, in-class assignment, or exam.

  • Attendance and communication: attendance required; email is preferred; check class website regularly.

  • Writing and grading: serious about writing; unsatisfactory writing can be returned with a request to rewrite in the philosophy department; a zero if not improved.

  • No term paper this semester (new policy in place); Amaya the teaching assistant will hold office hours and review sessions; extra bonus quiz points for engaging with Amaya.

• About the instructor:

  • Specializes in philosophy and standard American English; strict about grading and style; uses a lot of writing and logic in class; emphasizes the importance of understanding logic and philosophical methodology.

• Course logistics discussed:

  • Monday: a serious logic test; content includes everything on the Baby Logic handout and sections on logic or reasoning; a PDF of relevant sections will be provided; students will be responsible for obtaining the books.

  • Wednesday: a short 15-question logic quiz/test to begin the class; the quiz will cover definitions of valid and sound.

  • Office hours/review: Amaya will provide review sessions; visiting Amaya for philosophical work may earn extra quiz points.

• Philosophical methodology and dialectic:

  • Ancient Greek roots: freedom, reason, and justice; they valued evidence and rejected appeal to authority in inquiries.

  • The modern philosopher’s toolkit in class: philosophical dialectic (a form of reasoned dialogue) and the central role of logic in evaluating arguments.

  • The “meat and potatoes” of philosophy: arguments; you cannot do philosophy well without proper logical structure and evaluation.

Core Concepts in Philosophical Methodology

• Philosophical dialectic: a method that starts with questions, puzzles, and problems, then introduces theories and explanations to answer them.

• The role of theories and explanations: they are usually principles; they underpin the structures of theories.

• The final key: arguments. In philosophy (and logic), every discussion is embedded in an argument structure.

• The governing belief: you evaluate every argument for its logical structure and detect any flaws or virtues.

What is an Argument? Structure and Terms

• An argument is a sequence of sentences, culminating in a conclusion.

• Premises: every sentence in the sequence except the final conclusion; the premises support the conclusion.

• Conclusion: the last sentence of the argument; what the premises are supposed to entail.

• Sequence: an ordered list; arguments are a specific kind of sequence with a rely-on logical relation between premises and conclusion.

• Genus/species: the genus is "an argument is a sequence of sentences"; the species are various valid or invalid forms (e.g., Modus Ponens, Modus Tollens, Disjunctive Syllogism, etc.).

• The function of a well-formed argument: if the premises are true and the form is correct, the conclusion should be true.

• A point about content vs form: a valid argument can have content that’s questionable; validity is about form, not content.

Validity: Definition, Form, and Examples

• D1 (Baby Logic handout): Validity is defined as follows:

  • Let a be a variable ranging over arguments; argument a is valid if, in virtue of a's logical form, a's conclusion must be true if all of a's premises are true.

  • Symbolically, this expresses that a's conclusion follows from its premises purely by the form, irrespective of the particular content.

• The idea of a logical form

  • Extract the logical form of an argument by identifying the logical constants/connectives.

  • Logical constants (example): exists, if-then, and, or, not, therefore, etc.

  • Non-logical terms (like “Bible,” “God,” etc.) are content words and do not contribute to the logical form.

• Common valid form: Modus Ponens (MP)

  • Form: from $P
    ightarrow Q$ and $P$, infer $Q$.

  • Symbolic skeleton:

  • rac{P
    ightarrow Q, yc{P}}{Q} ag{MP}

  • This form is a canonical example of a valid argument: if the premises are true, the conclusion must be true.

• Example from the lecture:

  • A simple argument: If the Bible says that God exists, then God exists. Is this valid? The form resembles the MP skeleton, but its status as sound depends on the truth of the premises (and, crucially, on GP2, discussed later).

• The role of validity in evaluating arguments

  • Validity is a truth-preserving property of the argument’s form: if the premises are true, the conclusion must be true given the form.

  • The content of the premises is irrelevant to validity; only the logical structure matters.

Soundness: Definition and Relationship to Validity

• D2 (Baby Logic handout): Soundness is defined as follows:

  • An argument is sound if it is valid and all of its premises are true.

• Relationship between validity and soundness

  • Validity concerns form; soundness concerns both form and truth of premises.

  • A valid argument with at least one false premise is not necessarily unsound; if any premise is false, the argument is not sound.

  • A sound argument guarantees a true conclusion because the premises are true and the form is truth-preserving.

• Examples and implications

  • A valid argument with true premises is sound, hence the conclusion is true.

  • A valid argument with a false premise is not sound; the conclusion could still be true or false, but soundness is violated due to the premises.

• Process for evaluating soundness

  • Step 1: Check validity via the argument’s form (e.g., MP, MT, DS, etc.).

  • Step 2: Check that all premises are actually true.

  • If both steps hold, the argument is sound.

Logical Form and Skeletons: How to Extract

• Extracting logical form involves identifying logical constants and the overall connective structure.

• Convert sentences into a skeleton with placeholders for the propositions (often using p, q, etc.).

  • Example: The string of symbols from t to s is labeled as p; the string from g to s is labeled as q (depending on context); you may reuse p and q for propositional letters outside the connectives.

• Build the skeleton by placing the logical connectives in a standard form, such as:

  • $p
    ightarrow q$ (If p then q)

  • $p
    ightarrow q herefore q$ (Modus Ponens form)

• Propositional logic vs. quantified logic

  • The Baby Logic handout focuses on propositional logic with connectives like $
    ightarrow$, $
    eg$, $
    ightarrow$, $ot$ (contradictions), $ op$, $ orall$, $ herefore$, etc., with occasional existential quantifiers (e.g., $
    ot orall$ is not used here). An example of existential quantifier:

  • \t exists x (Student(x) \,\land\, x = \text{Elijah})

• Names for strings of symbols (case-insensitive)

  • After identifying the skeleton, assign a name to the form (e.g., MP for Modus Ponens).

Conditionals: Truth, Evaluation, and Practice Problems

• Conditionals in everyday language vs logic

  • The if-then connective is presented as the logical operator $P \rightarrow Q$ with the antecedent $P$ (the if-part) and the consequent $Q$ (the then-part).

• Truth-table intuition vs the speaker’s approach

  • In ordinary English, the truth of a conditional when the antecedent is false can be subtle; some students treat conditionals as if the antecedent must be true for the consequent to be true.

  • The lecturer emphasizes a diagnostic procedure: assume the antecedent is true and try to show the consequent follows; or show that there is no good reason to believe the consequent follows from the antecedent; use counterexamples.

• Illustrative example (David and ice cream)

  • If David eats a gallon of ice cream every night, then David will gain serious weight.

  • The antecedent (David eats a gallon of ice cream every night) is false in the example; however, the lecturer uses the counterexample approach to illustrate reasoning about conditionals, and then discusses a version where the antecedent is true and checks if the consequent follows.

  • A true conditional can hold either because the antecedent is false or because the consequent follows from the antecedent by logical necessity, and we must examine the relationship rather than assume truth of the consequent from a false antecedent.

• The broader point about conditionals

  • People often do not know how to reject conditionals as false in a responsible way; they require a justification (i.e., a demonstration that the consequent does not follow from the antecedent or lack of justification for the consequent).

• Special case: (more general) if the antecedent is false but the consequent is true, the conditional is not automatically true in ordinary understanding unless supported by the logic; the formal truth-value can still be true (in standard logic), but practical evaluation requires demonstration or justification.

Refutation Techniques: Contradiction and Counterexamples

• Refutation by contradiction (reductio ad absurdum)

  • If a contradiction can be derived from the content (e.g., Bible stories) combined with a general principle (GP2), then that general principle is false.

  • GP2: For any proposition $p$, if the Bible says that $p$ is true, then $p$.

  • If you can derive both $P$ and $
    eg P$ (a contradiction) from the Bible plus GP2, then GP2 is false.

• Refutation by counterexample (competitor hypothesis)

  • Locate a competing hypothesis that has more rational justification than the target principle.

  • Example given: belief in GP2 derived from Biblical authority is challenged by counterexamples from biology and cancer arguments (e.g., a competing hypothesis about aging or cancer that provides more rational support).

  • The idea is to show there exists a more rational explanation than the target principle, thereby undermining the target premise.

• Other related notes

  • The instructor notes that if you believe a contradiction is true (e.g., a claim and its negation), you’re irrational; showing a contradiction within the Bible or GP2 undermines the entire argument.

  • The four logical operators in Baby Logic (basic connectives) + existential quantifier are used to build and test these arguments.

GP Two and the Bible: A Detailed Look

• GP Two: The general principle underlying a premise that if the Bible says something is true, then it is true.

  • Formal: orall p ig[ ext{Bible says } p ext{ is true}
    ightarrow p ig]

• The critique of GP Two

  • The instructor argues that GP Two is false by pointing to multiple inconsistencies in Bible narratives (e.g., creation stories that conflict about what God created first, or the order of creation between man and cattle in different Genesis accounts).

  • If GP Two were true, many incompatible biblical claims would both be true, which is incoherent.

• The counterarguments presented

  • The Bible contains multiple narratives with conflicting content (e.g., Genesis on creation order; light before darkness; various moral prescriptions that are ethically controversial).

  • Therefore, believing every Bible claim by virtue of it being in the Bible is not rational.

• The use of “refutation by contradiction” against GP Two

  • Suppose P is a claim the Bible asserts; combine with GP Two to derive a contradiction; show the combined commitment is false.

• The counterexample approach to GP Two

  • The speaker uses broader scientific knowledge (e.g., aging, cancer, biology) to show there are more rational bases for beliefs than Bible claims; thus GP Two is questionable.

The Bible Example and Notions of Truth in Arguments

• The Bible as a source of truth claims is discussed in a pragmatic, critical way; it is used as a vehicle to illustrate the evaluation of arguments, not as an endorsement of those claims.

• The instructor emphasizes that the truth of conclusions in an argument should depend on the logical form and the truth of the premises, not merely on the source of the premises.

Refuting Premises: Two Key Forms (Continued)

• Refutation by counterexample (continued)

  • Example: A hypothetical claim about aging and cancer that provides a more rational foundation than a Bible-based premise.

  • The aim is to show that the target premise is not well-supported when faced with an alternative hypothesis that has stronger rational justification.

• Refuting a specific premise using counterexamples

  • The example with stoning children and gendered morals (Leviticus-like prescriptions) shows counterexamples undermine the premise that those biblical prescriptions are morally or practically justifiable.

• The instructor notes the difficulty of adjudicating these refutations in practice, but emphasizes that a good argument must be testable by such methods.

The Evaluation Procedure for Arguments (Practical Checklist)

• When evaluating an argument in class or on a quiz/exam:

  • Step 1: Determine if the argument is valid by identifying its logical form and seeing if the conclusion necessarily follows from the premises.

  • Step 2: Check soundness by confirming all premises are true.

  • Step 3: If the argument is not sound, pick a line (premise) and present a rigorous objection to that premise (not to the conclusion, since a true conclusion can still follow from false premises in a bad argument).

• The instructor notes that future quizzes will test the ability to identify valid forms (e.g., MP, MT, etc.) and will ask true/false questions about the form.

• Examples of additional forms mentioned: MT (Modus Tollens), Disjunctive Syllogism (DS); more forms will be introduced later in the course.

Practice, Review, and Preparation for the Next Class

• Next class expectations:

  • Begin with the definitions of both valid and sound at the start of class.

  • Finish up logic and prepare for Monday's logic quiz (15 questions).

  • Students should bring or access the Baby Logic handout and the PDF readings for sections on logic/reasoning.

• Review strategy suggestions:

  • Practice extracting the logical form of arguments from passages.

  • Practice translating arguments into the standard skeleton with the appropriate connective symbols.

  • Practice identifying premises and conclusions, and practice the application of MP and other valid forms.

• Final encouragement:

  • If you don’t understand something in philosophy, talk to Amaya (the TA); she offers office hours and review sessions; engaging with her work yields extra points.

  • Philosophy relies on precise reasoning and clear writing; take advantage of opportunities to refine your work and arguments.

Quick Reference: Key Symbols and Concepts (LaTeX)

• Propositional connectives and quantifiers:

  • If-Then: P \rightarrow Q

  • And: P \land Q

  • Or: P \lor Q

  • Not: \neg P

  • There exists: \exists x \; (\text{Student}(x) \land x = \text{Elijah})

• Validity and forms:

  • Modus Ponens (MP): from P \rightarrow Q and P, infer Q: \frac{P \rightarrow Q,\ P}{Q}

• Soundness:

  • An argument is sound iff it is valid and all premises are true.

• GP Two (Biblical principle undergirding belief):

  • \forall p\; [\text{Bible says } p \text{ is true} \rightarrow p]

• Reductio and contradiction:

  • If from P and not P you can derive a contradiction, that supports rejecting the principle or claim.

• General methodological emphasis:

  • The dialectic requires evidence, reason, and logical evaluation rather than appeal to authority.

  • The distinction between the content of premises and the logical form is crucial for assessing arguments.

End of Notes

• Remember: These notes summarize the lecture and provide a comprehensive, detailed study aid intended to replace the original source for exam preparation. Use them to practice and test your understanding of valid vs sound arguments, and the methods of refutation and evaluation discussed in class.