"Logic must take care of itself" - guy not in charge of logic
Actually I've thought about it more and Gentzen style natural deduction systems are morally and and aesthetically superior to Fitch style systems after all. Somebody inform whoever is in charge of logic.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
The truth continues to guide me towards itself.
End of conversation
New conversation -
-
Morally and aesthetically, perhaps yes. But pedagogically? I'm unconvinced.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
If you ever find out who is in charge of logic, do let me know. On proof systems: Gentzen and Fitch/Jaśkowski are indeed very different, especially when it comes to the behaviour of structural rules. See http://consequently.org/writing/npcfdsr/ …
-
In the near future I'll have something published on this topic…
- Show replies
New conversation -
-
-
Let's talk about real moral corruption: semantic trees.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
What led to this radical change of mind?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Even when Fitch style systems also allow cut elimination? http://www.cs.ru.nl/~herman/PUBS/RTA2004.pdf …
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.