|
Determinate Truths| title | Determinate Truths |
|---|
| start_date | 2024/06/24 |
|---|
| schedule | 15h |
|---|
| online | no |
|---|
| location_info | salle des conférences |
|---|
| summary | I present some observations on the theory of classical determinate truth recently introduced by Fujimoto and Halbach (CD+). The observations aim to show that there is a precise sense in which the primitive determinate predicate of CD+ could be dispensed with without compromising the logical strength and motivation of the theory. In particular, there's a precise sense in which the axioms of CD+ are a notational variant of the classical closure of Kripke-Feferman truth. This is joint work with Luca Castaldo. |
|---|
| responsibles | Pataut, Poggiolesi |
|---|
Workflow history| from state (1) | to state | comment | date |
|---|
| submitted | published | | 2024/06/03 12:59 UTC |
| |
|