Logical Forms: Validity and Variety of Formalizations

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

[img]
Preview
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

Actions (login required)

Edit item Edit item
Provide Feedback