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¶
Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Not recorded. Neither this nor any other of the 2 citations of this work carries a recorded support check.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
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