Możliwe światy; wprowadzenie do logik modalnych.pdf

(233 KB) Pobierz
64849030 UNPDF
MOLIWEWIATY;WPROWADZENIE
DOLOGIKMODALNYCH
Wykładwsemestrzezimowym2004/2005dla
studentówfilozofii
(wykłady3-11)
AndrzejIndrzejczak
Spistre±ci
1.Ró»nepoj¦ciamodalno±ci
2.Historiarozwa»a«nadmodalno±ciamiwfi-
lozofiiilogice
3.S5-semantykaiaksjomatyzacja
4.Klasyfikacjalogikmodalnych;ogólnepoj¦-
ciesemantykirelacyjnej
5.Wa»niejszelogikinormalne
6.Logikimultimodalne
7.Dowódpełno±ci
8.Dedukcjanaturalnaietykietowanesystemy
tableaux
9.Logikiokresówwarunkowych
10.Logikihybrydowe
11.Semantykatopologicznadlasłabychlogik
modalnych
12.Problemylogikmodalnych1-gorz¦du–
sztywnadenotacja,aktualizmapossybi-
lizm
13.Logikiwolneiichzastosowaniewlogice
modalnej
14.Identyczno±¢ideskrypcjeokre±lone
LogikaS5:Semantyka
Definicja1(ModeleS5)ModelemS5jest
dowolnapara M =h W,Vi,gdzie:
•dziedzinamodelutoW 6= ? ,któryjestzbio-
rempunktów(±wiatówmo»liwych);
• Vjestfunkcj¡ewaluacji(warto±ciowania)
dlazmiennychwpunktachdziedziny,tj.
V:ZZ −! P(W)(ZZtozbiórzmiennych
zdaniowychaP(W)tozbiórpot¦gowyna
W)
ZbiórwszystkichmodeliS5oznacza¢b¦dzie-
mysymbolemMOD( S5 ).
Dziedzin¦danegomodelu M b¦dziemyozna-
cza¢przezW M .
64849030.001.png
Definicj¦spełnianiaformuły'wpunkciewmo-
delu M ( M ,w ')wyra»aj¡poni»szewarunki:
M ,w ' wtww 2 V(')
dladowolnej' 2 ZZ
M ,w ¬' wtw M ,w 2 '
M ,w '^ wtw M ,w 'i M ,w
M ,w '_ wtw M ,w 'lub M ,w
M ,w ' ! wtw M ,w 2 'lub M ,w
M ,w ' wtw M ,w 0 '
dladowolnegow 0 2W M
Dlazbiorówformułzapis M ,w oznacza,»e
M ,w dla8 2 .
M ,w 2 'oznaczafałszywo±¢formuły'ww;
M ,w 2 oznaczafałszywo±¢conajmniejjed-
negoelementuww.
M ,w }' wtw M ,w 0 '
dlapewnegow 0 2W M

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika:

Zgłoś jeśli naruszono regulamin