Difference between revisions of "Talk:Logic anarchy"
VargasMilan (talk | contribs) (reply) |
(→Move to Essay: new section) |
||
| Line 10: | Line 10: | ||
:It's called the [[principle of explosion]]. It's a tenet of classical logic, so surely it must apply to the logical process employed in mathematical proofs. [[User:VargasMilan|VargasMilan]] ([[User talk:VargasMilan|talk]]) 16:58, 3 December 2015 (EST) | :It's called the [[principle of explosion]]. It's a tenet of classical logic, so surely it must apply to the logical process employed in mathematical proofs. [[User:VargasMilan|VargasMilan]] ([[User talk:VargasMilan|talk]]) 16:58, 3 December 2015 (EST) | ||
| + | |||
| + | == Move to Essay == | ||
| + | |||
| + | I propose to move this to the essay "namespace": | ||
| + | |||
| + | *The term "Logic anarchy" seems to be a new invention by Andrew Schlafly. It is his insight. | ||
| + | *No "logic anarchy" occurs by the proof of contradiction: as the "logical system" is the frame in which such a proof works - there is no "collapse"! | ||
| + | |||
| + | --[[User:AugustO|AugustO]] ([[User talk:AugustO|talk]]) 17:35, 3 December 2015 (EST) | ||
Revision as of 22:35, December 3, 2015
Huh?
The sentence "In mathematics, logic anarchy occurs when there is a proof by contradiction." is puzzling and alarming. Proofs by contradiction occur in mathematics all the time. (Example just off the top of my head: infinitude of primes.) But "logic anarchy" conjures up in my mind the image of false theorems running wild in the streets, shooting at each other from behind barrels, as in old western movies. OK, I have an over-active imagination. But seriously, "anarchy" connotes extreme disorder. Mathematical proof by contradiction is nothing like that. I know you just made up this phrase now, but could you either tone it down a bit, or at least not imply that whatever metaphor you are suggesting applies to mathematical proofs? Mathematics, and the orderliness thereof, are very important to me.
SamHB (talk) 00:36, 3 December 2015 (EST)
- On the contrary, "Everything follows from a contradiction". VargasMilan (talk) 12:37, 3 December 2015 (EST)
- It's called the principle of explosion. It's a tenet of classical logic, so surely it must apply to the logical process employed in mathematical proofs. VargasMilan (talk) 16:58, 3 December 2015 (EST)
Move to Essay
I propose to move this to the essay "namespace":
- The term "Logic anarchy" seems to be a new invention by Andrew Schlafly. It is his insight.
- No "logic anarchy" occurs by the proof of contradiction: as the "logical system" is the frame in which such a proof works - there is no "collapse"!