First‐order logics over fixed domain.
What we call first‐order logic over fixed domain was initiated, in a certain guise, by Peirce around 1885 and championed, albeit in idiosyncratic form, by Zermelo in papers from the 1930s. We characterise such logics model‐ and proof‐theoretically and argue that they constitute exploration of a clea...
| Publicado en: | Theoria: A Swedish Journal of Philosophy Vol. 88; no. 3; pp. 584 - 607 |
|---|---|
| Formato: | Artículo |
| Publicado: |
Wiley-Blackwell
Jun2022
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |