[FRIAM] it's world logic day!

jon zingale jonzingale at gmail.com
Thu Jan 14 21:17:52 EST 2021


By my internal model of Nick, I would guess that he is referring to Peirce.
Though it is funny to imagine that logic has done nothing of consequence
since 1914, that no other thinkers have come along and moved the subject
forward, and that logicians still simply practice the subject from within
some century-old framework. Perhaps I am wrong and he would cite Lawvere,
Eilenberg, Kripke, Girard, Curry, Church, Per Martin-Löf, or ...



--
Sent from: http://friam.471366.n2.nabble.com/



More information about the Friam mailing list