Tag: galimi pasauliai

  • Necesitizmas / kontingentizmas

    Kontingentizmas – tai pažiūra, kad objektų egzistavimas yra atsitiktinis. Kalbant tiksliau, kontingentistai sutinka, kad (i) dalis objektų egzistuoja atsitiktinai ir kad (ii) galėjo egzistuoti objektai, kurių faktiškai nėra. Dažniausiu atveju kontingentistai laikosi pozicijos, jog tokie konkretūs objektai kaip katės, šunys ar medžiai galėjo neegzistuoti. Taip pat įprastai jie išpažįsta pažiūrą kad net jei, pavyzdžiui, Liudvigas…

  • 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…

  • Modalinė logika

    Modalinė logika – tai matematinės logikos sritis, tyrinėjanti loginius sąryšius tarp galimybę ir būtinumą išreiškiančių sakinių. Ir kasdienėje kalboje, ir filosofiniame bei moksliniame diskurse gausu modalinių sakinių: būtinai du plius du yra keturi, Gitanas Nausėda galėjo netapti Lietuvos Respublikos Prezidentu; būtina, kad jei mėgintuvėlyje yra vandens, tai mėgintuvėlyje yra H2O.  Nors modalumų kalboje gausu, nepasitelkiant…