Problem 23 - Thinking Mathematically

Question

Translate each argument into symbolic form. Then determine whether the argument is valid or invalid. You may use a truth table or, if applicable, compare the argument's symbolic form to a standard valid or invalid form. (You can ignore differences in past, present, and future tense.) We criminalize drugs or we damage the future of young people. We will not damage the future of young people. \(\therefore\) We criminalize drugs.

Step-by-Step Solution

Answer

The argument 'We criminalize drugs or we damage the future of young people. We will not damage the future of young people. Therefore, we criminalize drugs.' is valid based on the rules of logical inference and matches the Disjunctive Syllogism form.

Step 1: Identifying Statements

Identify the individual statements in the argument. In this case, the statements are: \n1. We criminalize drugs (Let's denote this as \(p\)).\n2. We damage the future of young people (Denote this as \(q\)).

Step 2: Symbolic Representation

Translate the statements into symbolic form. The first statement translates into an 'or' statement, represented symbolically as \(p \vee q\). The second statement is a negation, represented symbolically as \(\neg q\).

Step 3: Logical Inference

Using the rules of logical inference, if \(p \vee q\) and \(\neg q\) are true, then \(p\) must be true. This matches the rule of Disjunctive Syllogism.

Step 4: Validity of the Argument

Based on the logical inference, the conclusion \(p\) ('We criminalize drugs') is a valid conclusion given the two premises. This argument follows a traditional logical form known as 'Disjunctive Syllogism'.

Key Concepts

Logical Argument

A logical argument is a structured set of statements or propositions, where one or more statements (known as premises) are claimed to provide support for a specific statement (the conclusion). These arguments are a fundamental part of critical thinking and are used to persuade others of the validity of a particular point of view. When analyzing a logical argument, we first identify the premises and then assess whether the conclusion logically follows from them. In the exercise provided, the argument consists of two premises leading to a conclusion, which is a classical structure in logical reasoning.

In our example, translating the everyday language argument into symbolic logic allows us to evaluate its validity more systematically. This can help in understanding the structure and strength of the argument, or even in uncovering hidden assumptions that may affect its validity.

Disjunctive Syllogism

Disjunctive syllogism is a rule of inference in symbolic logic. It is a form of argument where, given two possibilities presented in an 'or' statement (disjunction), if one possibility is negated, the other must be true. Symbolically, if we have a statement of the form \(p \vee q\) and we know that \(eg q\) is true, then \(p\) is necessarily true. This rule is what's used to conclude that 'We criminalize drugs' in the exercise, as it directly follows from the structure of the argument \(p \vee q\) and \(eg q\).

Our example illustrates this rule perfectly: given the premises that 'We criminalize drugs or we damage the future of young people' (\(p \vee q\)) and 'We will not damage the future of young people' (\(eg q\)), the disjunctive syllogism allows us to infer that 'We criminalize drugs' (\(p\)) is the correct conclusion.

Truth Tables

Truth tables are a powerful tool in symbolic logic used to determine the validity of logical arguments. They provide a systematic method to evaluate all possible truth values of an argument's premises and reveal the corresponding truth value of the conclusion. A truth table lists all possible combinations of truth values for the given premises and shows the result of the logical operations applied to these premises.

In our exercise context, creating a truth table for the premises \(p \vee q\) and \(eg q\) would show that whenever these premises are true, the conclusion \(p\) is also true, underlining the argument's validity. Truth tables are invaluable for visual learners and those looking to confirm the validity of complex logical operations that may be less intuitive than disjunctive syllogism.

Logical Inference

Logical inference is the process of deriving a new truth from known truths using rules of logic. It is an essential aspect of deductive reasoning. In the context of symbolic logic, we use inference to determine if a conclusion necessarily follows from the given premises. The inference rules, like disjunctive syllogism, are foundational to determining the validity of arguments in logic.

In our problem, by applying the rule of disjunctive syllogism as an inference rule, we conclude that \(p\) is true based on the truth of \(p \vee q\) and \(eg q\). This clearly demonstrates the power of logical inference in deriving accurate conclusions from provided information and is seen as the cement that holds together the structure of logical arguments.