i t I Logika S! PSY 481 t I Dobře vytvořený systém reprezentace. Dlouhá historie v oblasti filosofie a matematiky Velká expresivní síla Možnost použití pro kognitivní modelování Užití: normativní, formální, psychologické Normativní aspekt ; 1^ • Objektivní vyjádření dobrého a špatného myšlení. • Definuje důležité aspekty racionality • Logika sleduje vyplývání předpokladů. Neřekne nám ale, zda jsou předpoklady pravdivé. • Iracionální předpoklady mohou vést k iracionálním závěrům. Normativní aspe i ejně jako v dalších vědách, používáme logiku pro evaluaci teorií. • Pokud se vědecká hypotéza ukáže jako nepravdivá, musíme jí modifikovat. ■i Si • Vyplývání mezi hypotézami a teorií stojí na pravidlech logiky (pokud jsou hypotézy správně operacionalizovány) Výrok je analyticky pravdivý, je-li pravdivý pouze v důsledku významu slov, z nichž se skládá. Pravdivost 1. kontingentní, empirická, syntetická (v důsledku významu a stavu světa) 2. nutná, analytická (v důsledku pouze významu) Hlavní město Česka je Praha Hlavní město Česka je město Je-li hlavní město Česka Praha, je hlavní město Česka Praha Pravdivost a validita i ou pravdivé předpoklady, musí být pravdivý i ývání) vyplývání ~ 'zachovávání pravdivosti' • Závěr může být pravdivý i pokud nejsou pravdivé předpoklady. Příklad: Lidé rádi nakupují. Karel je člověk. Karel má doma zlou ženu. ogicKa pravdivost • Vychází z teorie korespondence, podle které výrazy jazyka referují k objektům v externím světě. • Jedná se o jednosměrný vztah. Změny v externím světě znamenají změny v symbolické abstrakci, ale nikoliv opačně. • Významy mají svou kauzální příčinnost v externím (nesymbolickém) prostředí. Logikové od tohoto faktu, počínaje Fregem (2001), abstrahují a zajišťují korespondenci symbolické roviny s externím prostředím pomocí pravdivostní hodnoty, která je pouze součástí symbolické roviny. šil Psychologic ý aspekt Psychologistické koncepce logiky Logika = nauka o tom, jak se dostáváme od jedné pravdivé myšlenky k jiné (či jak bychom to měli v ideálním případě činit) Hilbert: "zaprotokolovaní pravidel, podle kterých skutečně postupuje naše myšlení" Psychologic ý aspekt i Problémy s hranicemi Kdy jde již o vyplývání, a kde jenom o empiricky podmíněnou závislost? (vyplývá např. Výrok Bimbo má plíce z výroku Bimbo je slon?) Kdy jde o logické vyplývání, tj. co to jsou logické konstanty? (mají například anglické členy (the a a) povahu logických konstant?) Psychologic ý aspekt Formální logiKa Co nejmenší počet operátorů Bezesporný popis světa Pravidlo Ockhamovy břitvy Mentální logika Postavena na sémantice Spíše ve formě modelů Inferenčních schémata Common sense Dynamičnost, paralelnost, komplexnost Symbolický systém I I 1. Soubor arbitrárních "fyzických znaků", které jsou zaznamenané na papíře, pásce, či jiném médiu, se kterými je 2. manipulováno na základě "explicitních pravidel", která jsou 3. podobné znakům, či řetězcům znaků. Pravidly řízená symbolická manipulace je zaměřena 4. pouze na tvar symbolických znaků (ne jejich význam), tzn., je čistě syntaktická a obsahuje 5. "pravidly řízené kombinace" a rekombinace symbolických znaků. Existují 6. primitivní atomické symbolové znaky a 7. kombinované (složené) řetězce . Celý systém a všechny jeho části - atomické znaky, složené znaky, syntaktické manipulace, aktuální i možná pravidla jsou 8. "sémanticky interpretovatelné": Syntax může být systematicky přiřazován významu, např. zastupovat objekty, jevy atp. Analytická filosofie i lff Základní rozdíl mezi analytickou a fenomenologickou filosofii: (objektivní x subjektivní) Analytická filosofie - alternativa k intencionalitě (mimo pojem intence). Východisko: Svět se analyzuje pomocí řečových aktů. šil Kritika fenomenologie Pokud začneme analýzu ponořeni do subjektivity, už se z ní nedostaneme. Pouze jazyk nám umožní objektivní analýzu. Gottlob Frege i Pojmové písmo Navazuje na Leibnitzův projekt mathesis universalis. Soubor symbolů který dokáže formalizovat jazyk jako uzavřený a konsistentní systém. Čísla definuje jako vlastnosti pojmů. Základem je vyplývání - koherenční teorie pravdy Významem je podle něj pravdivostní hodnota kterou přiřadíme výroku (pravda-nepravda) Podle Frega je symbolická logika jazykem, médiem souzení, ze kterého nelze vystoupit ven. MĚ 2SB Pojem funkce i Fregeho analýza pojmu funkce vychází z úvahy, že výrazy, ať to jsou výroky přirozeného jazyka (případně jim odpovídající myšlenky), či aritmetické formule, můžeme rozložit do dvou částí, z níž jedna je relativně samostatná ("jméno"), druhá pak nesamostatná ("predikát")."Všechny části myšlenky nemohou být uzavřeny" píše Frege, "alespoň jedna musí být nenasycena nebo predikativní, jinak by do sebe nepasovaly." Příklad: Caesar ovládl Galii ě 0í Ceasar - samostatná, ovládl Galii - nesamostatný predikát. Podstatná část výsledku Fregovy práce se stala základem moderní logiky. Frege ale připouštěl, aby se predikáty mohly transformovat v termy, což vedlo k chybám v jeho systému. šil V roce 1902 upozornil na mezeru v jeho Zákonech mladý Bertrand Russell. Poukázal že jeho systém může obsahovat výrok, který je pravdivý právě když je nepravdivý - má jednu i druhou pravdivostní hodnotu. Jedná se o paradox, kdy množina považuje sebe sama jako svůj prvek. p rincip Diuaneno „Jestliže určitý soubor (za předpokladu, že by tvořil celek), obsahuje prvky, jež by se daly definovat jen pomocí tohoto celku, pak takový soubor netvoří žádný celek" Zjednodušeně „Cokoliv obsahuje všechny prvky nějakého souboru, nesmí být jedním z těchto prvků". Překonání Fregeho paradoxu. i Již v minulosti je tento princip známý také jako paradox lháře. Epimenides řekl, že všichni Kréťané jsou lháři = Já lžu. Russell nazývá tento výrok, jako výrok "vyššího kategorie". ozvoj iormaini logiKy Výrokový počet (kalkul) - zachycuje vyplývání v rámci množiny prvků, které vzniknou z nějaké dále neanalyzované množiny výroků elementárních , spojováním pomocí logický operátorů AND, OR, NOT, IF THEN, IFF. Pravdivostní hodnota je jednoznačně dána. I 0í Hilbert - úplná formalizace logiky, matematiky, opak Fregeho, důsledek a existence je pravdivostní hodnotou. Brouwer - intunicionistická logika - odmítnutí zákona vyloučení třetího . Pravdivost=konstruktivní dokazatelnost . Nepřijímá důkaz sporem, některé výroky nejdou dokázat ani vyvrátit (kontextualismus) Alf re ars I I Tarski - logika nedokáže vysvětlit svůj základní mechanismus vyplývání. Také nedokáže pracovat s nekonečnem, jelikož výraz "všechny" a "každý" musí rozložit na výčet všech instancí. Následně se v Tarského pracích (1944) objevuje kritika koncepce pravdivostní hodnoty přímo v jazyce. Postuluje metajazyk, ve kterém je možno pravdivost vyjádřit. Tarského metajazyk je založen na T-schématech, tvořících spojení mezi jazykem a jeho sémantickou metavrstvou . Metajazyk je nazírán jako aktuální stav věcí ve světě. Metalogiky - Skolem, Gôdel oaeiuv paraaox Pokusíme se roztřídit všechny pravdivé sentence do dvou skupin: 1. pravdivé, nedokazatelné 2. pravdivé, dokazatelné. Gôdel sestrojil sentenci , která tvrdí, že patří do skupiny 2 a zní „nejsem v systému dokazatelná". Pokud je sentence nepravdivá, je v systému dokazatelná. Pak ale nemůže být dokazatelná, protože není pravdivá. Musí tedy být pravdivá, aleje nedokazatc FS FS+G FS+-G FS+G+G' atd. atd. atd. Rudolf Carnap I I Logická stavba světa (1928) Hierarchická konstrukce entit světa za pomocí entit primitivních. Kořeny v empirismu. Základem všeho jsou jevy,a vše je na jevy redukovatelné. Pozitivismus (logická analýza jazyka,logický pozitivismus, logický empirismus) Vídeňský kruh - Neurath, Schlick, Carnap, ale i Godel, Tarski, Wittgenstein, Einstein. Pokud chceme otázku řešit, musíme vědět, zda má smysl (kořeny Wittgensteinova prvního období) Logická analýza metafyzických výroků ukázala, že to nejsou žádné výroky, jsou pouze gramaticky správné, ale jsou pouze zdáním výroků. Otázka smyslu je řešena pomocí verifikace (empirismus) Např. Heiddegerův výrok "nicota nicuje" - není výrok - už Russell upozornil že výroky obsahující slovo nic mají smysl ukrytý v hloubkové struktuře a ne v povrchové. t I Observace - protokoly - protokolární výroky. 1. Pravdivostní hodnota výroku je jednoznačně určena pravdivostními hodnotami výroků báze. 2. Pravdivostní hodnoty výroku báze je nezávislá na pravdivostních hodnotách ostatních výroku báze. Bází může být několik, v základě jde o bázi: fyzikalistickou - elementární výroky o tělesech a fenomenalistickou - bezprostřední záznamy počitků. Sémantické přesahy i Carnap dělí jazyk Syntaxe, sémantiky a pragmatiky. Sémantiku de facto ztotožňuje s Tarskeho množinovou interpretací. Meaning and Necessity - 1947 Navrhuje nahradit Fregeho význam a smysl pojmy extenze a intenze. Extenze - je to, co mají společného výrazy, které jsou ekvivalentní (oboustranná implikace pro výroky, rovnost pro termy, ekvivalence pro všechny argumenty u predikátů). Intenze - dovádí až k pojmu možného světa. Ob rat k jazyku G. Ryle - 1949 - Pojem mysli - jak se z pozice analytické filosofie zhostit body mind problému. Postuluje "ghost in the machine". Není pro něj udržitelné nahlížení člověka jako jednoty dvou odlišných částí. Quine - sémantický zdvih - centrálním tématem je pravda a naše zacházení s nim - snaha o legitimizaci intersubjektivní shody. Wittgenstein - jazykové hry, nemožnost existence soukromého jazyka. Co je sdělitelné, nemůže být soukromé. Filosofie začíná, kde končí subjektivita. Logika je schématický obrázek, pro situaci existuje mnoho různých schématických obrázků (což je trochu protimluv předchozího). 0í Postmoderní filosofické myšlení - pravda je záležitostí intersubjetivní shody. ozsireni logiky Saul Kripke Doplnil Lewisovu modální logiku o teorii modelů - ne přímo pravdivostní hodnoty ale funkce z množiny do množiny pravdivostních hodnot. Relativizace pravdivostních hodnot = možné světy. Intenze je extenze relativizovaná k možným světům. Extenze je pravdivostní hodnota a intenze funkce z možných světů do pravdivostních hodnot. 0í Chomsky přistoupil k jazyku jako k matematické struktuře. Rozvoj v oblasti syntaxe, problémy v oblasti sémantiky. Montague - první ucelená intenzionální logika Tichý - transparentní intenzionální logika - rozšířená Churchovy teorie typů o abstraktní kategorii možných světů. V posledních letech kritika intenzionální logiky - nedokáže uchopit sémantiku přirozeného jazyka dokonale. Problémy s matematikou (stejná ve všech možných světech). Neschopnost zachytit dynamický aspekt. M ozne svety - Možný svět (possible world, mögliche weit) je maximální konsistentní (bezrozporný) soubor faktů, které mohou platit (horší varianta: myslitelných faktů) - Aktuální svět (actual world, množina všech platících faktů) je jeden z možných světů; aktuální svět nelze identifikovat -Logický prostor (logical space, W, či co) je soubor všech možných světů i ífe1 - Možný svět není "kontejner" na objekty světa - Možný svět je "návod" - Možný svět je jako příručka k určitému seskládání jakési skládačky z dílků, jimiž jsou různé objekty (individua, vlastnosti, etc.) - Jakožto příručka je také objektem (byť odlišného typu) Nemožné možné světy 1 i - ty, které nejsou bezesporným souborem faktů, ale např. souborem sporným -o těch víme s jistotou např., že nemohou být nikdy aktualizovány (z logických důvodů). Příklad: možný svět, ve kterém jsou fakty "Praha menší než Londýn" i "Praha je větší než Londýn,,. rman Quine ; f/ Neodmítá nejzákladnější východisko empirismu - veškerá evidence, kterou máme o světě je evidencí smyslovou. Jediné výroky, které lze bezprostředně verifikovat jsou výroky pozorovací. Popírá, že výsledkem pozorování byla každá jednotlivá věta. "Celek vědy je jako silové pole jehož okrajovými podmínkami je zkušenost. Pravdivost výroku může být udržena, uděláme-li drastické změny jinde v systému." - holistický empirismus. Teorie nejsou jako výrok po výroku ale víceméně nerozborné celky. Abstraktní formy (universalia) jsou koreláty nějaké formy nerozlišitelnosti (tedy ekvivalence) což vede ke kontakci univerza a vznik univerzálií jako nového "abstraktnějšího" univerza. Willard Van Orman Quine 1 i i Je logický pozitivista - uznává jen výroky pozorovací. Pro logiky je to redukce epistemologie na psychologii. Počátkem byl Fregeho odklon od subjektivity k intersubjektivitě jazyka - Quine je tedy krokem zpátky. Nehledá však jako Husserl v subjektu neotřesitelný základ. Spíš tvrdí, že hledání neotřesitelného základu je scestné. Tím že subjektivní vyjadřujeme jazykem, děláme z něj objektivní. Uznává analogickou syntézu - budování vět z naučených částí avagai i Příklad: U výrazu „gavagai" - nejsme schopni rozlišit, co tento výraz znamená. pokud existuje pouze ostenze, nerozlišíme jestli se jedná celého králíka, prostorovou část králíka, stav králíka, jednotné či množné číslo nebo funkci. Quine je relativista. Hjfti Donald Ľ aviason Quineovy myšlenky rozpracoval Davidson v zkoumání korespondence pravdy se skutečností. Problémem je, že pojem odpovídá celku zkušeností a zároveň celku faktů. To nepřidává pojmu "být pravdivý" nic jednoduchého a srozumitelného. Což souvisí s relativismem. Nejsme-li schopni vysvětlit korespondenci struktury výroku strukturou světa, můžeme to zkusit naopak. Pravda se stává předmětu metafyziky jejím nástrojem. i Jazyk Propoziční logika Logika 1. řádu Temporální logika Teorie pravděpod. Fuzzy logika T ypy iogi Ontologické závazky (co existuje ve světě) Fakta Fakta, objekty, vztahy Fakta, objekty, vztahy, čas Fakta Míra pravdivosti t i Epistemické závazky. (co o nich víme) Si Pravda/nepravda/nevím Pravda/nepravda/nevím Pravda/nepravda/nevím Úroveň pravděpod. 0..1 Úroveň pravděpod. 0..1 F ormalni aspeKt Matematická logika nám dává precizní nástroj pro formulace argumentů. ■ V matematické logice jsou sémantika a syntax úzce svázány. Dochází v podstatě k redukci sémantiky na funkci syntaxe. •i si Obecně: Extenzionální logiky Intenzionální logiky Hyperintenzionální logiky Jiné typy logik Konkrétně: Propoziční logika Predikátová logika 1. řádu Modální logika Další variace a kombinace Každý systém se soustřeďuje na určitý segment přirozeného jazyka-Jeden systém může obsahovat jiný jako svoji podmnožinu. sys 'klasické' vs. 'neklasické' logiky ,Klasická' logika (klasický výrokový počet a klasický predikátový počet 1. řádu) není historicky žádným 'přirozeným druhem', jako taková se konstituovala se vlastně až v druhé čtvrtině dvacátého století; má však specifické 'příjemné, vlastnosti. Hjfti 'matematická' vs. 'filosofická' logika (1) matematická se zabývá matematickými aspekty, filosofická nematematickými (2) matematická se zabývá klasickou logikou, filosofická vším ostatním re ogických systémů Klasická výroková logika Výrokové symboly Operátory - NOT,AND,OR,IF Axiomy - triviálně dokazatelné Odvozovací pravidla Přiřazujeme pravdivostní hodnotu P/N KlasicKá prediKátová logiKa Je tvořena: Individuálními konstantami T1,T2_ Proměnnými x1,x2.... N-árními predikátovými konstantami P1,P2_ N-árními funkčními konstantami F1,F2_ Logickými operátory NOT,AND,OR,IF) Kvantifikátorem VŠECHNO sys Modální výroková logika Rozšíření klasické výrokové logiky o symbol NUTNE Operuje s pojmem možného světa Je úplný a rozhodnutelný ríste V následující hodině se budeme zabývat Umělou inteligencí a chatterboty Článek k prostudování: i A. Turing Computing Machinery and Intelligence (1950) V informačním systému jej naleznete v sekci studijních materiálů. Můžete jej nalézt také na webu www.loebner.net/prizef/turingarticle.html