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. (Leibniz)
Wednesday, November 27, 2024
Subscribe to:
Posts (Atom)
Hume, the most misunderstood philosopher
We grant that the Treatise may not be a entirely consistent work and that its precise aim may still be quite unclear. But this does not era...
-
The relationship between the concepts of determinism, predetermination, computability, cardinality, causality and the foundations of the cal...
-
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...
-
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...