Module 4A Flashcards
What is the general form of conditionals, and how are they typically expressed?
Conditionals are statements of the form ‘If (antecedent), then (consequent)’.
They express a logical relationship between the antecedent and consequent without directly asserting either.
In symbolic representation, ‘If P, then Q’ is often expressed as ‘P ⊃ Q’.
Do conditionals themselves contain arguments?
No, conditionals do not contain arguments.
THEY STATE A LOGICAL RELATIONSHIP BETWEEN THE ANTECEDENTS AND CONSEQUENT WITHOUT ASSERTING EITHER.
The antecedent and consequent are components of the conditional.
Influence of Background Assumptions
Conditionals can be challenging due to our tendency to assume they imply background information.
Example: “If a ball is white, it is made in Singapore,” implies the background assumption that other colors are not made in Singapore.
Implications of background Assumptions..
In everyday conversations, background assumptions are often TAKEN FOR GRANTED
Example: It would be a joke to say all cricket balls are made in Singapore because a white ball is.
Background assumption CHALLENGES
Background assumptions CANNOT ALWAYS BE MADE; e.g., if you only know white balls are made in Singapore.
In certain circumstances, such as EVIDENCE ASSESSMENT, BACKGROUND ASSUMPTIONS MUST BE SUSPENDED.
Not Explicitly stated Background information…
- Background assumptions are not explicitly part of what is said.
Example: Saying white balls are made in Singapore doesn’t explicitly provide information about red balls.
Logical approach of Background assumptions..
Logicians analyze CONDITIONALS IN ISOLATION from background assumptions.
They focus on the MINIMUM EXPLICITLY STATED INFORMATION.
OVERVIEW OF BACKGROUND INFORMATION:
Background assumptions are not always applicable, especially in situations requiring careful evidence assessment.
Logicians play safe by considering conditionals independently from the typical background that contributes to their point
Transposed (Contraposed) Conditional
Form: “If P, then Q” is equivalent to “If not-Q, then not-P” (contrapositive form).
Also expressed as “P only if Q” or “Not-P unless Q.”
What is Tense Complexity:
- Equivalence holds in the present tense; complexities arise with other tenses.
- Logic books often oversimplify, and a detailed treatment becomes complex and controversial with different tenses.
Validity of Transformation:
- A move from “If P, then Q” to the contrapositive form is deductively valid.
- Antecedent and consequent are swapped, and both are negated (if not already negative).
Converse Conditional:
The move from “If P, then Q” to the converse form “If Q, then P” is invalid.
Converse: Swap antecedent and consequent without negation.
Contraposed (Contrapositive) Process:
To get the contraposed conditional, swap antecedent and consequent, and negate both.
If either is already negative, add a further negation.
the contraposed transformation is deductively valid……
The contraposed transformation is deductively valid, ……while the converse transformation is not.
Converse: Only swap antecedent and consequent without negation
What is Double Negation?
Rule stating that a statement ‘S’ is logically equivalent to ‘not-not-S’.
Applies to negate statements (‘not-S’ is equivalent to ‘not-not-not-S’).
Repetition of Transpositions:
Transpositions, such as moving from ‘If P, then Q’ to its contrapositive, can be repeated without loss of validity.
Example: ‘If not-Q, then not-P’ → ‘If not-not-P, then not-not-Q’ → ‘If not-not-not-Q, then not-not-not-P’, and so on ad infinitu
Infinite Development Collapse:
The infinite development collapses into two cases: the original conditional and its contrapositive.
Achieved through the application of the Double Negation rule.
Rule of Double Negation:
States that even numbers of negations cancel out to zero; odd numbers reduce to one.
Example: ‘not-not-not-S’ reduces to ‘not-S’, and ‘not-not-S’ reduces to ‘S’.
Application of Rule: double negation
Double Negation allows simplification of statements through negation.
Repeated transpositions collapse into original and contrapositive forms via this rule.
Equivalence Principle:
Double Negation is a principle of logical equivalence, aiding in the simplification and understanding of complex statements.
Helps establish the relationship between a statement and its double negation.
Expressible Statements:
Certain statements can be expressed as conditionals, including those involving sufficient and necessary conditions.
Sufficient and Necessary Conditions:
Example: ‘Ionisation is sufficient for conductivity’ can be expressed as ‘If something is ionised, it conducts electricity.’
A conditional asserts that the antecedent’s truth is sufficient for the consequent’s truth, and vice versa.
Biconditionals:
Joint necessity and sufficiency are expressed with ‘if and only if’ (iff, just if, just in case).
Biconditionals are often underpinned by definitions of one side in terms of the other.
Universal Statements:
Universal statements (e.g., ‘All X’s are Y’s’) can be expressed as conditionals, such as ‘If something is an X, then it is a Y.’
Quantifiers (e.g., ‘all’) are used in these statements.