Locating Logical Necessity in Models or the Nature of Situations.
Logical necessity is a pivotal notion in accounting for logical consequence, while the source of logical necessity is not widely discussed. In this article I bring to attention one peculiar phenomenon that not only the model-theoretic tradition, but also the essentialist account regarding logical ne...
| Published in: | Problems / Problemos pp. 78 - 94 |
|---|---|
| Main Author: | |
| Format: | Article |
| Published: |
Vilnius University
2024 Supplement
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| Summary: | Logical necessity is a pivotal notion in accounting for logical consequence, while the source of logical necessity is not widely discussed. In this article I bring to attention one peculiar phenomenon that not only the model-theoretic tradition, but also the essentialist account regarding logical necessity could locate the source of it in logical constants or logical notions. I argue that, under the former tradition, logical constants could be assimilated to restrictions of admissible models, and it is more plausible to locate the source of logical necessity in models; while, under the latter account, and borrowing ideas from the former, we should locate the source of logical necessity in the nature of what models represent, i.e., situations. Loginis būtinumas yra kertinė sąvoka interpretuojant loginį sekimą, tačiau diskusijos apie loginio būtinumo kilmę yra retos. Šiame straipsnyje atkreipiu dėmesį į vieną ypatingą reiškinį, kuris implikuoja, kad ne tik modelio teorijos tradicija, tačiau ir esencialistinis požiūris į loginį būtinumą gali jo kilmę sieti su loginėmis konstantomis ar loginėmis sąvokomis. Aš teigiu, kad, laikantis ankstesnės tradicijos, loginės konstantos galėtų būti asimiliuotos su priimtinų modelių apribojimais ir kad loginio būtinumo šaltinį yra labiau tikėtina aptikti modeliuose; laikantis antrojo požiūrio bei skolinantis idėjų iš pirmojo, loginio būtinumo kilmė turėtų būti aptikta prigimtyje to, kam modeliai atstovauja, t. y. situacijose. |
|---|