Brun, Georg (2023). Logical Forms: Validity and Variety of Formalizations. Logic and logical philosophy, 32(3), pp. 341-361. Nicholas Copernicus Univ. Press 10.12775/LLP.2023.016
|
Text
2316p.pdf - Published Version Available under License Creative Commons: Attribution-No Derivative Works (CC-BY-ND). Download (345kB) | Preview |
Formalizations in first-order logic are standardly used to represent
logical forms of sentences and to show the validity of ordinary-language
arguments. Since every sentence admits of a variety of formalizations, a
challenge arises: why should one valid formalization suffice to show validity
even if there are other, invalid, formalizations? This paper suggests an
explanation with reference to criteria of adequacy which ensure that formalizations
are related in a hierarchy of more or less specific formalizations.
This proposal is then compared with stronger criteria and assumptions,
especially the idea that sentences essentially have just one logical form.
Item Type: |
Journal Article (Original Article) |
---|---|
Division/Institute: |
06 Faculty of Humanities > Department of Art and Cultural Studies > Institute of Philosophy 06 Faculty of Humanities > Department of Art and Cultural Studies > Institute of Philosophy > Theoretical Philosophy |
UniBE Contributor: |
Brun, Georg |
Subjects: |
100 Philosophy 100 Philosophy > 160 Logic |
ISSN: |
1425-3305 |
Publisher: |
Nicholas Copernicus Univ. Press |
Language: |
English |
Submitter: |
Georg Brun |
Date Deposited: |
20 Nov 2023 15:18 |
Last Modified: |
20 Nov 2023 15:28 |
Publisher DOI: |
10.12775/LLP.2023.016 |
BORIS DOI: |
10.48350/189196 |
URI: |
https://boris.unibe.ch/id/eprint/189196 |