Arguing for logical realism and discussing the logical structure and constitution of the world.
Non omnes formulae significant quantitatem, et infiniti modi calculandi excogitari possunt.
Please do not use material posted here without referencing and giving credit to this blog. Thank you.
Subscribe to:
Post Comments (Atom)
Prolegomena to a future logico-mathematical metaphysics
The pure categories (captured by higher order categorical logic, etc.) must be unfolded and specified via schematism and regional ontologies...
-
We cannot leave out time to begin with. Nor possibility, multiple times. A first attempt would be as follows. A system involves an input $I...
-
Take standard first-order semantics. Consider a model $M$ of a certain theory $T$. Now suppose that we wish to include a subset a $\Psi \su...
-
By 'theory' we mean a body of knowledge capable of a formal or semi-formal presentation. But here we focus on the kind of theory w...
No comments:
Post a Comment