Tag: modalinė logika

  • Galimų pasaulių ontologinis statusas

    Šiame straipsnyje glaustai aptariamos pagrindinės praėjusiojo šimtmečio analitinės metafizikos teorijos, siūlančios skirtingus atsakymus į klausimą apie galimų pasaulių prigimtį. Modalinis realizmas Vieną iš kontroversiškiausių atsakymų į klausimą, kas yra galimas pasaulis, pasiūlė Deividas Lewisas (1968, 1973, 1986). Jis gynė modalinį realizmą – pažiūrą, kad visi galimi pasauliai yra tokie pat realūs ir konkretūs kaip mūsų…

  • Barcan formulė ir jos konversija

    Barcan formulė ir jos konversija – tai svarbūs kvantorinės modalinės logikos principai, apibrėžiantys sąveiką tarp kvantorių ir modalinių operatorių. Barcan formule vadinama viena iš šių dviejų ekvivalenčių schemų:  (2) schema gaunama atlikus sakinio (1) kontrapoziciją ir pakeitus galimybės operatorių ir dalinį kvantorių atitinkamai būtinumo operatoriumi ir universaliu kvantoriumi pagal standartinius jų apibrėžimus (t. y. □…

  • Rigidiniai designatoriai

    Rigidiniai designatoriai – tai tokie terminai, kurių semantinė reikšmė visuose galimuose pasauliuose yra vienoda. Vardų atveju tai reiškia, kad vardas yra rigidinis designatorius tada ir tik tada, kai visuose galimuose pasauliuose jis nurodo tą patį objektą. Kadangi daugelis objektų egzistuoja atsitiktinai, dažnai priimama silpnesnė rigidinio designatoriaus samprata, pagal kurią terminas yra rigidinis designatorius tada ir…

  • Tapatybė

    Du objektai x ir y yra tapatūs tada ir tik tada, kai x ir y yra vienas ir tas pats objektas. Pavyzdžiui, Aušrinę ir Vakarinę žvaigždę sieja tapatybės santykis, nes Venera yra Venera, o Naujasis Amsterdamas ir Niujorkas yra tapatybės santykyje, nes Naujasis Amsterdamas ir yra Niujorkas. Formalios tapatybės savybės Žvelgiant į tapatybę formaliai, ji…

  • Pareitis

    Aibė savybių A pareina (supervenes) nuo aibės savybių B tik tokiu atveju, kai neįmanoma, kad du objektai skirtųsi turimomis A savybėmis, bet nesiskirtų turimomis B savybėmis. Kalbant tiksliau, A pareina nuo B, jei ir tik jei visiems x ir y bei visoms savybėmis F ∊ A ir G ∊ B būtinai galioja, kad jei ir…

  • Tarppasaulinės tapatybės problema

    Modalinė predikatų logika suteikia galimybę analizuoti galimybę ir būtinumą išreiškiančius sakinius apie individus ir jų turimas savybes. Standartinės modalinės predikatų logikos kontekste nusakydami sakinių, priskiriančių individams atsitiktines savybes, teisingumo sąlygas numatome, kad vienas ir tas pats individas egzistuoja keliuose galimuose pasauliuose.  Pavyzdžiui, teiginys: (1) Gitanas Nausėda galėjo būti filosofu. – yra teisingas galimame pasaulyje tada…