Filter
Paraconsistent logic makes it possible to study inconsistent theories in a coherent way. From its modern start in the mid-20th century, paraconsistency was intended for use in …
This Element looks at the problem of inter-translation between mathematical realism and anti-realism and argues that so far as realism is inter-translatable with anti-realism, …
This Element discusses the problem of mathematical knowledge, and its broader philosophical ramifications. It argues that the challenge to explain the (defeasible) justification of …