Meaning is use
Posted on Wed 21 March 2018
The inferentialist story, broadly following Dummet. Also logical inferentialism, BHK and relizability, type theory etc as formalizations of bhk.
Posted on Wed 21 March 2018
The inferentialist story, broadly following Dummet. Also logical inferentialism, BHK and relizability, type theory etc as formalizations of bhk.