Strict potentialism in modal mirrors
Potentialism is the view that objects are successively generated in an incompletable process. A strict version of the view adds that truths are successively determined. Strict potentialism can be analyzed using two modalities: one for the generation of objects, another for truths becoming determined. The result is a classical bimodal logic. We obtain simpler and more user-friendly theories by invoking so-called mirroring theorems to ``switch off'' one or both modalities, in return for a less classical logic. When the modality of object generation is switched off, we obtain a restricted…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.17296
curl -X POST /api/v1/records/arxiv/2604.17296/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.17296/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'