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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=157565843&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 157565843 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00405825 HL0 jtl: Theoria: A Swedish Journal of Philosophy issn: 00405825 maglogo: Y pubinfo: dt: Jun2022 vid: 88 iid: 3 pid: 480 pub: Wiley-Blackwell artinfo: ui: 157565843 10.1111/theo.12382 ppf: 584 ppct: 23 formats: fmt: – @attributes: type: T – @attributes: type: C – @attributes: type: P size: 358KB tig: atl: First‐order logics over fixed domain. aug: su: First-order logic Theology Materialism Ethical absolutism Idealism sug: subj: First-order logic Theology Materialism Ethical absolutism Idealism keyword: first‐order logic fixed‐domain logic Mautner–Tarski thesis ab: 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 clearly circumscribed conception of domain‐dependent generality. Whereas a logic, or family of such, can be of interest for any of a variety of reasons, we suggest that one of those reasons might be that said logic fosters some clarification regarding just what qualifies as a logical concept, a logical operation, or a logical law. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Copyright of Theoria: A Swedish Journal of Philosophy is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. item: Theoria: A Swedish Journal of Philosophy holder: Wiley-Blackwell dt: @attributes: year: 2022 holdings: @attributes: islocal: N |
|---|