, redukce vznamu na pravdivostnэ podmэnky FF MU Mojmэr Doekal кjabl Logika: systщmov rсmec rozvoje oboru v R a koncepce logickch propedeutik pro mezioborovс studia (reg.. CZ.1.07/2.2.00/28.0216, OPVK) Mojmэr Doekal (кjabl), redukce vznamu na pravdivostnэ podmэnky 1 / 12
Outline 1 Mojmэr Doekal (кjabl), redukce vznamu na pravdivostnэ podmэnky 2 / 12
Vznam vty=pravdivostnэ podmэnky znсme-li vznam vty, umэme urit, kdy je pravdivс/nepravdivс (1) Kruh je uvnit tverce. Mojmэr Doekal (кjabl), redukce vznamu na pravdivostnэ podmэnky 3 / 12
obecn: pravdivс mnoina a nepravdivс mnoina Mojmэr Doekal (кjabl), redukce vznamu na pravdivostnэ podmэnky 4 / 12
rozdэl mezi pravdivostnэmi podmэnkami a pravdivostnэ hodnotou: (2) Tetэ nejbli э hvzda od Zem mс est planet a na jednщ z nich ijэ inteligentnэ bytosti. formсlnэ sщmantika, sщmantika pravdivostnэch podmэnek, modelov-teoretickс sщmantika, sщmantika monch svt monщ svty vs. monщ situace diagramy: monщ situace svt: je dсn v emi svmi fakty (poet list na strom X) pluralita monch svt vznam vty = propozice = pravdivostnэ podmэnky Mojmэr Doekal (кjabl), redukce vznamu na pravdivostnэ podmэnky 5 / 12
Ti dvody, pro jsou pravdivostnэ podmэnky centrсlnэ pro vznam 1 Sщmantika logickch slov (3) Kruh je uvnit tverce a kruh je ern. p a q svty v prniku svt denotovanch p a svt denotovanch q podobn: (4) Kruh je uvnit tverce nebo je kruh ern. sjednocenэ monch svt... problщmy: predikativnэ a funguje dobe: (5) Marie je studentka a skautka. Mojmэr Doekal (кjabl), redukce vznamu na pravdivostnэ podmэnky 6 / 12
spojovсnэ argument (kolektivnэch) predikсt ne: (6) Marie a Karel si koupili psa. monosti e enэ: a je ambignэ: intersekce a tvoenэ mnoiny, vlastnэ jmщna jsou ambignэ,... (7) Marie a Karel se se li. 2 Definice intuitivnэch vznamovch vztah synonymie (parafrсze): stejn vznam = stejnс mnoina monch svt/situacэ Mojmэr Doekal (кjabl), redukce vznamu na pravdivostnэ podmэnky 7 / 12
(8) tverec je vt э ne kruh. (9) Kruh je men э ne tverec. Mojmэr Doekal (кjabl), redukce vznamu na pravdivostnэ podmэnky 8 / 12
kontradiktorickщ propozice: mnoiny monch svt/situacэ jsou zcela bez prniku: (10) tverec je vt э ne kruh. (11) Kruh je vt э ne tverec. monщ svty/situace umoujэ elegantnэ definice kontradikce, tautologie, vyplvсnэ,... navэc umoujэ formalizaci modсlnэch vraz v pirozenщm jazyce: me, musэ, vэ, peje si,... 3 Vznam a uitэ vznam jako pravdivostnэ podmэnky: informativnэ funkce jazyka komunikace nсm pomсhс zpesnit si na e pesvdenэ o tom, jak svt skuten je Mojmэr Doekal (кjabl), redukce vznamu na pravdivostnэ podmэnky 9 / 12
na e pesvdenэ: belief worlds, na e pсnэ: desire worlds (12) Dneska bude pr et. Belief worlds Desire worlds Mojmэr Doekal (кjabl), redukce vznamu na pravdivostnэ podmэnky 10 / 12
Nedeklarativnэ vty: otсzky a rozkazy pro klasickou logiku to nejsou vroky pravdivost/nepravdivost nenэ intuitivn vhodnс pro formalizaci: (13) Koho Klсra po bila? (14) Nakresli kruh uvnit tverce! otсzka: poadavek na informaci a specifikace jakщho typu эkс mluvэmu, jak typ odpovdi tazatel vyaduje formalizace: vznam otсzky je mnoina monch odpovdэ Hamblin: vznam otсzky je mnoina propozic, kterщ jsou monou odpovdэ na otсzku Mojmэr Doekal (кjabl), redukce vznamu na pravdivostnэ podmэnky 11 / 12
(15) Koho Klсra po bila? a. Klсra po bila Petra. b. Klсra po bila Bсru. c. #Petr po bil Klсru. d. #Dneska bude pr et. znovu mnoina monch svt: disjunkce vhodnch odpovdэ imperativ: nejde o pravdivщ/nepravdivщ svty/situace, ale o uspokojivщ (satisfactory) vs. neuspokojivщ svty/situace rznщ typy vztah mezi vtou a propozicэ: pravdivost/uspokojivost/... Mojmэr Doekal (кjabl), redukce vznamu na pravdivostnэ podmэnky 12 / 12