Timeline for Contradictory statements with Nested Quantifiers
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 12, 2019 at 16:18 | comment | added | segfault | The final section ("Revival") of the Wiki article on Term Logic gives two reasons to account for the continued interest. Good reasons, IMO ;-). en.wikipedia.org/wiki/Term_logic | |
| Sep 2, 2019 at 23:12 | comment | added | Lily | thank you! :D Yes, I don't currently understand the continued interest in Aristotelian logic either, but I'm curious to find out why some still advocate for it. Which is why I want to learn more about it. :) | |
| Sep 2, 2019 at 23:03 | comment | added | Bumble | As far as I know, it is not possible to express multiply quantified propositions using Aristotelean term logic. Term logic maps onto a fragment of classical many-sorted logic - this was demonstrated by John Corcoran back in the 1970s - so we can do the converse and represent Aristotelean term logic within predicate logic. Also, Peter Strawson in chapter 6 of his Introduction to Logical Theory shows that some aspects of Aristotle's logic do not carry over into predicate logic. For myself, I do not understand the continued interest in Aristotle's logic. Predicate logic has superceded it. | |
| Sep 2, 2019 at 22:00 | vote | accept | Lily | ||
| Sep 2, 2019 at 22:00 | |||||
| Sep 2, 2019 at 21:47 | vote | accept | Lily | ||
| Sep 2, 2019 at 21:48 | |||||
| Sep 2, 2019 at 21:47 | comment | added | Lily | Sorry just to clarify: your response does solve my initial question that I posted about, which was simply how to find the contradictories in general :) So thanks very much for that. My curiosity about if there are Aristotelian methods is just a follow-up question, if you happen to know the answer :) | |
| Sep 2, 2019 at 21:34 | comment | added | Lily | Thank you! Indeed, I am much more familiar with symbolic predicate logic than with Aristotelian logic. I was just curious how people like Fred Sommers, who still advocate for using Aristotelian logic, would go about solving this... I was reading the following article by him: file:///media/fuse/drivefs-821a8b6148a95084239ce577632be51b/root/aSFU/Phil%20110/Distribution.pdf In the first page, we see that him finding contradictories to statements with nested quantifiers, and I was wondering what his methods for doing that are. Since, as you point out, the square of opposition doesn't apply. | |
| Sep 2, 2019 at 17:55 | history | answered | Bumble | CC BY-SA 4.0 |