Temporalinės logikos sistemų CL ir Kb semantinės interpretacijos su tradicinių teisingumo reikšmių pertrūkiais
Straipsniai
Živilė Pabijutaitė
Vilniaus universitetas, Lietuva
Publikuota 2020-04-21
https://doi.org/10.15388/Problemos.97.11
PDF
HTML

Reikšminiai žodžiai

atsitiktiniai teiginiai
determinizmas
temporalinė logika
dvireikšmiškumas

Santrauka

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.

PDF
HTML
Kūrybinių bendrijų licencija

Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.

Susipažinkite su autorių teisėmis žurnalo politikoje skiltyje Autorių teisės.