Local Applications of Logics via Model-Theoretic Interpretations.
This paper analyses the notion of 'interpretation', which is often tied to the semantic approach to logic, where it is used when referring to truth-value assignments, for instance. There are, however, other uses of the notion that raise interesting problems. These are the cases in which interpreting...
| Publicado en: | Logic & Logical Philosophy Vol. 31; no. 4; pp. 535 - 557 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Logic & Logical Philosophy
Dec2022
|
| 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=162307235&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 162307235 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 14253305 DS9 jtl: Logic & Logical Philosophy issn: 14253305 maglogo: N pubinfo: dt: Dec2022 vid: 31 iid: 4 pid: 42904 pub: Logic & Logical Philosophy artinfo: ui: 162307235 10.12775/LLP.2022.023 ppf: 535 ppct: 22 formats: fmt: @attributes: type: P size: 966KB tig: atl: Local Applications of Logics via Model-Theoretic Interpretations. aug: au: Benito-Monsalvo, Carlos affil: Department of Philosophy, University of Barcelona, Logos Research Group in Analytic Philosophy, Barcelona, Spain su: Semantics sug: subj: Semantics keyword: interpretations localism model-theoretic semantics proof-theoretic semantics ST-hierarchy ab: This paper analyses the notion of 'interpretation', which is often tied to the semantic approach to logic, where it is used when referring to truth-value assignments, for instance. There are, however, other uses of the notion that raise interesting problems. These are the cases in which interpreting a logic is closely related to its justification for a given application. The paper aims to present an understanding of interpretations that supports the model-theoretic characterization of validity to the detriment of the proof-theoretic one. This is done by making use of the hierarchy of ST-related logics. Finally, a localist conception of logic is defended as the natural view stemming from the model-theoretic approach. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Copyright of Logic & Logical Philosophy is the property of Logic & Logical Philosophy 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: Logic & Logical Philosophy holder: Logic & Logical Philosophy dt: @attributes: year: 2022 holdings: @attributes: islocal: N |
|---|