Introduction to Logic¶
Copi, I. M., Cohen, C., & McMahon, K. (2018). Introduction to Logic. Routledge.
Cited by¶
2 citations across 2 artifacts.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Contraposition
- Contraposition is the formal operation that licenses running a rule in reverse, and modus tollens is the inference pattern that exploits it: given \(P \to Q\) and \(\lnot Q\), conclude \(\lnot P\).
This sourceStandard logic text defining contraposition and modus tollens: from P→Q and ¬Q infer ¬P, with the contrapositive logically equivalent to the original.
- Contraposition is the formal operation that licenses running a rule in reverse, and modus tollens is the inference pattern that exploits it: given \(P \to Q\) and \(\lnot Q\), conclude \(\lnot P\).
- Informal Fallacy
- The defining contrast is with the formal fallacy: a formal fallacy is invalid by the shape of the inference alone — affirming the consequent, denying the antecedent — and can be detected by inspecting the argument's structure with the content blanked out.
This sourceStandard logic text distinguishing formal fallacies (invalid by structure, e.g. affirming the consequent) from informal fallacies (defect in content/relevance/presumption surviving a validity check) and cataloguing the named species.
- The defining contrast is with the formal fallacy: a formal fallacy is invalid by the shape of the inference alone — affirming the consequent, denying the antecedent — and can be detected by inspecting the argument's structure with the content blanked out.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Links previously used in the corpus¶
Before the registry existed this work was also linked 1 other way.
Registry ID ref:fe0eea939eb3 · see in the full table