1 1
Re: Michael Harris • Language About Language But then inevitably I find myself wondering whether a proof assistant, or even a formal system, can make the distinction between “technical&r…
#logic #peirce #inquiry #semiotics #reflection #mathematics #signrelations #higherordersignrelations
13h ago
From wordpress.com
1 4
I’m cutting loose the “internal language” strand of the Gordian knot of the “No Comment” comment section. Here is David Corfield’s last contribution: Regarding …
#logic #peirce #inquiry #semiotics #reflection #mathematics #signrelations #higherordersignrelations
13h ago