Talk:Paradoxes of material implication
Add topic | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||||
| |||||||||||||||||||||||
Note on a source
[edit]Regarding the paper by Adams that invented the Oswald–Kennedy example of a counterfactual, Paoli[1] attributes it to "V.M. Adams". The other two sources cite him as "Ernest W. Adams" or "Ernest Adams", so I have assumed that Paoli is incorrect and decided not to keep any mention of this in the article, but I have noted it here in case someone would like to challenge it. Thiagovscoelho (talk) 19:36, 7 August 2025 (UTC) Thiagovscoelho (talk) 19:36, 7 August 2025 (UTC)
References
- ↑ Tanaka, Koji; Berto, Francesco; Mares, Edwin; Paoli, Francesco (2012-07-26). Paraconsistency: Logic and Applications. Springer Science & Business Media. p. 175. ISBN 978-94-007-4438-7.
Justifying the Truth Table for A => B
[edit]When we say that B follows logically from A (abbreviated A => B), we mean only that it is not case that, simultaneously, both A is true and B is false (abbreviated ~(A & ~B)). This precisely reflects that the usual truth table for material implication. DCProof (talk) 00:23, 23 June 2026 (UTC)