Logical Inferentialism - The Good
Posted on Sat 21 April 2018
Logical Inferentialism = The meaning of logical symbols is fixed by their rules.
We take \(\to\) and \(\forall\) to be primitives.
Posted on Sat 21 April 2018
Logical Inferentialism = The meaning of logical symbols is fixed by their rules.
We take \(\to\) and \(\forall\) to be primitives.