Temporalines logikos sistemu CL ir K semantines interpretacijos su tradiciniu teisingumo reikšmiu pertrukiais.
Over the past several decades, in the field of temporal logic there have been created a great number of semantical theories that provide different truth conditions for tensed propositions. In this article we deal with five non-bivalent semantical interpretations of the temporal logic systems CL (Coc...
| Publicado en: | Problems / Problemos Vol. 97; pp. 132 - 150 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Vilnius University
2020
|
| 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=143772237&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 143772237 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 13921126 3D4C jtl: Problems / Problemos issn: 13921126 maglogo: N pubinfo: dt: 2020 vid: 97 pid: 16037 pub: Vilnius University artinfo: ui: 143772237 10.15388/problemos.97.11 ppf: 132 ppct: 18 formats: fmt: @attributes: type: P size: 4.2MB tig: atl: Temporalines logikos sistemu CL ir K semantines interpretacijos su tradiciniu teisingumo reikšmiu pertrukiais. aug: au: Pabijutaitė, Živilė affil: Vilniaus universiteto Filosofijos istorijos ir analitinės filosofijos katedra su: Number theory Autonomy (Psychology) Relativity Free will & determinism Logic Truth Multiple criteria decision making sug: subj: Number theory Autonomy (Psychology) Relativity Free will & determinism Logic Truth Multiple criteria decision making keyword: bivalence determinism future contingents temporal logic atsitiktiniai teiginiai determinizmas dvireikšmiškumas temporalinė logika ab: Over the past several decades, in the field of temporal logic there have been created a great number of semantical theories that provide different truth conditions for tensed propositions. In this article we deal with five non-bivalent semantical interpretations of the temporal logic systems CL (Cocchiarella Linear) and Kb (Kripke Branching): 1) Ł3 by J. Łukasiewicz; 2) K3 by S. C. Kleene; 3) Ockhamism by A. Prior; 4) supervaluationism by R. Thomason; 5) relativism by J. MacFarlane. The aim of this article is to present a detailed typology of the five semantical theories based on these criteria: a) the ability to deal with the problem of retrospective evaluation of future contingent propositions; b) the ability to deal with the problem of divine omniscience and free will; c) their relation to the law of excluded middle; d) their relation to other formulas that are intuitively acceptable in an intederministic context. It is argued that the only theory that satisfies all four criteria is the relativism of J. MacFarlane; however, it faces some serious challenges when dealing with the problem of retrospective evaluation of future contingent propositions in the theological context. Nuo XX a. vidurio temporalinės logikos srityje buvo sukurta bent keliolika konkuruojančių semantinių teorijų, pateikiančių skirtingus atsitiktinių teiginių apie ateitį vertinimo kriterijus. Straipsnyje nagrinėjamos dviejų temporalinės logikos sistemos Kt plėtinių - CL (Cocchiarella Linear) ir Kb (Kripke Branching) - semantinės interpretacijos, kuriose tokiems teiginiams būdingi standartinių teisingumo reikšmių pertrūkiai: 1) J. Łukasiewicziaus Ł3; 2) S. C. Kleene'o K3; 3) A. Prioro okamizmas; 4) R. Thomasono supervaluacionizmas; 5) J. MacFarlane'o reliatyvizmas. Šio straipsnio tikslas - pateikti išsamią minėtų semantinių teorijų tipologiją ir vertinimą pagal šiuos kriterijus: a) gebėjimą pagrįsti retrospektyvų teiginių vertinimą; b) teorijos adekvatumą sprendžiant paralelią visažinystės ir atviros ateities santykio problemą; c) santykį su negalimo trečiojo dėsniu; d) santykį su kitomis indeterministiniame kontekste intuityviai priimtinomis formulėmis. Straipsnyje ginama tezė, jog vienintelė teorija, visiškai tenkinanti visus keturis išsikeltus kriterijus, yra J. MacFarlane'o reliatyvizmas, tačiau ir joje susiduriama su rimtais sunkumais svarstant retrospektyvų teiginių vertinimą teologiniame kontekste. pubtype: Academic Journal doctype: Article src: R language: Lithuanian refInfo: copyright: @attributes: flag: Y custom: Copyright of Problems / Problemos is the property of Vilnius University 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: Problems / Problemos holder: Vilnius University dt: @attributes: year: 2020 holdings: @attributes: islocal: N |
|---|