Możliwe światy; wprowadzenie do logik modalnych, Socjologia, Logika, Logika, teoria poznania
[ Pobierz całość w formacie PDF ]
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
.
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
[ Pobierz całość w formacie PDF ]