Showing 2026Show all
2 papers · 1 filter
math.LO2026
Feasible constructivism
Paul Gorbow, Øystein Linnebo
Dummett's argument for intuitionism is well known. There is a concern that the argument proves too much, specifically, that it supports the extreme and apparently incoherent positi…
cs.LO2026
Intentic Semantics for Potentialist Truthmaking
Paul Gorbow
This draft introduces the technical machinery of a semantic framework for potentialist truthmaking based on our innovation of intentic states, which are structured partial models a…