What are the Formulas of a Logic?
The article critiques the standard view of logical formulas, which equates them with specific strings of symbol types, arguing that this perspective is flawed due to issues of arbitrariness, the impracticality of large symbol sets, and the existence of mixed formulas that combine symbols and sets. I...
| Publicado en: | Erkenntnis Vol. 91; no. 3; pp. 1371 - 1387 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Mar2026
|
| 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=191693405&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 191693405 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 01650106 5KZ jtl: Erkenntnis issn: 01650106 maglogo: N pubinfo: dt: Mar2026 vid: 91 iid: 3 pid: 237 pub: Springer Nature artinfo: ui: 191693405 10.1007/s10670-025-00950-8 ppf: 1371 ppct: 16 formats: fmt: – @attributes: type: T – @attributes: type: P size: 736KB tig: atl: What are the Formulas of a Logic? aug: au: Paseau, A. C. affil: https://ror.org/052gg0110 University of Oxford, Oxford, UK su: Logic Structuralism Formal languages Ontology Nominalism Mathematical formulas Philosophy of mathematics sug: subj: Logic Structuralism Formal languages Ontology Nominalism Mathematical formulas Philosophy of mathematics ab: The article critiques the standard view of logical formulas, which equates them with specific strings of symbol types, arguing that this perspective is flawed due to issues of arbitrariness, the impracticality of large symbol sets, and the existence of mixed formulas that combine symbols and sets. It proposes a structuralist view, suggesting that formulas should be understood in terms of their relational roles rather than as fixed entities. This shift allows for a more flexible understanding of logical languages, accommodating various representations and addressing philosophical debates, particularly around nominalism in mathematics. The author concludes that while the mathematical practice remains unchanged, the structuralist perspective offers a more accurate ontological framework for understanding logical formulas. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Erkenntnis is a copyright of Springer, 2026. All Rights Reserved. item: Erkenntnis holder: Springer Nature dt: @attributes: year: 2026 holdings: @attributes: islocal: N |
|---|