4. Rules of Inference

Welcome to the lecture on rules of inferences. In this lecture, we will introduce valid arguments, explore rules of inferences, and discuss some fallacies.

The lecture starts with an introduction to the importance of valid arguments in propositional logic. Valid arguments allow us to draw conclusions based on given premises. The lecture aims to help you understand how to assess whether an argument is logically sound and introduces three main components: premises, conclusions, and the validity of arguments.

Think of a valid argument like a recipe. If the ingredients (premises) are correct, the final dish (conclusion) should come out as intended. Just as not following a recipe could lead to a disastrous meal, if an argument isn't valid, the conclusion drawn from it might be incorrect.

A premise is a statement that provides support to an argument. When several statements are put forth, they are referred to as premises. The statements before 'therefore' are premises, while the statement after is the conclusion.

In every argument, the premises serve as the foundation supporting the conclusion. You may have one or multiple premises leading to a conclusion. When evaluating an argument, it is essential to identify these components: the premises offer the evidence or reasons, while the conclusion is what you are trying to prove based on that evidence.

Imagine a detective solving a case. The evidence (premises) points to a suspect, leading the detective to a conclusion about who committed the crime. If the evidence is strong, the conclusion is more likely to be correct.

Two examples of arguments demonstrate that they share a common structure: both have a form of p → q as a premise, with p leading to a conclusion q after 'therefore'.

Both presented arguments can be reformulated into a generic structure. For example, if 'p' is 'you know the password' and 'q' is 'you can log on to the network', the arguments fit the template of 'if p, then q', which illustrates their shared logical structure. This abstraction allows us to focus on the pattern rather than the specifics of the statements.

It’s like having different models of the same car. While each car may have different features, they all function based on the same principles. In logic, recognizing these underlying patterns helps simplify complex arguments into manageable forms.

An argument form is considered valid if the conjunction of its premises implies the conclusion is a tautology, meaning if the premises are true, the conclusion must be true.

For an argument form to be deemed valid, we need to demonstrate that whenever the premises hold true, the conclusion necessarily follows. The definition reflects a strong logical demand: the result must always hold, without exceptions. An important part of determining validity involves the concept of tautology, where the logical statement remains true under all interpretations.

Think of a stop sign at an intersection. If you 'see a stop sign' (true premise), it logically follows that 'you will stop' (true conclusion). If you don't see the stop sign (false premise), the conclusion about stopping may not apply, illustrating the principle of valid argument forms.

To check argument forms' validity, we often use rules of inference, which are established logical rules that provide simple, valid argument structures.

Rules of inference serve as reliable tools that help simplify complex arguments. By recognizing and applying these established rules, we can build larger and more complex arguments based on simpler, verified forms. This process allows for consistency and legitimacy in logical deductions.

Consider rules of inference as foundational tools in construction. Just as builders use established techniques to ensure that a structure is sound and safe, logicians use these rules to ensure that arguments are logically sound.

Some well-known rules of inference include Modus Ponens and Modus Tollens, with specific formats that help derive conclusions from premises.

Modus Ponens states that if 'p' is true and 'p → q' holds, then 'q' must also be true. Modus Tollens works conversely: if 'p → q' is true and '¬q' holds, then '¬p' must also be true. These examples illustrate the logical structure through which conclusions can be drawn when certain premises are accepted as true.

Imagine a student studying for an exam. If the student studies hard (p), then they will pass (q). If the student passes (q), we can conclude they indeed studied hard (applying Modus Ponens). Conversely, if they didn’t pass (¬q), we can conclude that they did not study hard (using Modus Tollens).

Fallacies are incorrect arguments that may seem valid at a glance but are logically flawed. Examples include affirming the conclusion and denying the hypothesis.

Fallacies are subtle logical errors that can easily mislead reasoning. Affirming the conclusion occurs when one assumes a premise is true based merely on its conclusion being true, which is not always valid. Denying the hypothesis mistakenly draws a conclusion from a false premise, showcasing the careful balance required in logical reasoning.

Consider a faulty advertising claim: 'If you buy my product, you’ll be happy. You’re happy, so you must have bought my product.' This fallacy ignores other reasons for happiness, paralleling the errors found in affirming the conclusion. It reminds us to be skeptical and careful in our reasoning.

--