Set theory, higher-order logic, dependent type theory

From Mike’s n-theory account, we might say that without the full dependency relations of DTT, the first-order 3-theory comes up with the patch of the universe of higher-order logic. Without types, it comes up with set theory.

“nothing could be more myopic and stultifying that this view that all the purposes of ontology can be served by set theory and set-theoretical constructions” Lowe (2006), 6.

Created on September 24, 2020 at 04:07:20. See the history of this page for a list of all contributions to it.