Posts

Posted by

Carnap on Frege

2 comments
Posted by

Two Notions of Consequence/Deducibility in FOL

7 comments
Posted by

Five Approaches to the Problem of Abstract Structure

4 comments
Posted by

Does FS Violate the Deduction Theorem?

14 comments
Posted by

Ergo, An Open Access Journal of Philosophy

Post a Comment
Posted by

One reason (among many) to like Homotopy Type Theory

Post a Comment
Posted by

Nominalistic Adequacy and Instrumentalism about Abstracta

Post a Comment
Posted by

Proving Leibniz Equivalence

Post a Comment
Posted by

Kant's Lunar Inhabitants

9 comments
Posted by

Epistemological Reductionism and Sceptical Access Problems

2 comments
Posted by

Ultra-Finitism and Token Cognizability

4 comments