ATOMISTICKÁ SÉMANTIKA:

Podobné dokumenty
Logika a jazyk. filosofický slovník, Praha:Svoboda 1966)

Inteligentní systémy (TIL)

Inteligentní systémy (TIL)

Předmluva Jak známo, Gottlob Frege si zvláště v proslulé stati Über Sinn und Bedeutung (Frege 1892) povšiml, že věty tvaru a=b ( Jitřenka=Večernice, 2

Inteligentní systémy (TIL) Marie Duží

Logický důsledek. Petr Kuchyňka

Transparentní intenzionální logika (TIL)

Teoreticko-metodologický seminář. Zdeňka Jastrzembská

Primární a sekundární výskyt označující fráze. Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell,

Predikátová logika Individua a termy Predikáty

Výbor textů k moderní logice

Matematická logika. Lekce 1: Motivace a seznámení s klasickou výrokovou logikou. Petr Cintula. Ústav informatiky Akademie věd České republiky

Teorie argumentace Pavel Arazim

Projekt CZ.1.07/2.2.00/ Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia

Ludwig WITTGENSTEIN: Tractatus Logico-Philosophicus, 1922 Překlad: Jiří Fiala, Praha: Svoboda, 1993

vztahy, konverzační implikatury, presupozice

Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz

7.2.1 Vektory. Předpoklady: 7104

Matematická logika. Miroslav Kolařík

Výroková logika dokazatelnost

Základy logiky I. Pochopit jazykový výraz Na co ukazuje jazykový výraz? láhev, dům, šest, bolest, prvočíslo Ukazuje jazykový výraz na věci? Ukazuje na

teorie logických spojek chápaných jako pravdivostní funkce

Prolog PROgramming in LOGic část predikátové logiky prvního řádu rozvoj začíná po roce 1970 Robert Kowalski teoretické základy Alain Colmerauer, David

Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda 1 / 12 a

Ontologie. Otakar Trunda

Jednofaktorová analýza rozptylu

Negativní informace. Petr Štěpánek. S použitím materiálu M.Gelfonda a V. Lifschitze. Logické programování 15 1

Úvod do logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 23

Komplexita a turbulence

Unární je také spojka negace. pro je operace binární - příkladem může být funkce se signaturou. Binární je velká většina logických spojek

Z těchto kurzů shrneme poznatky, které budeme potřebovat: výčtem prvků

1. Matematická logika

Základní problémy teorie poznání

Pavel Materna: Concepts and Objects. Acta Philosophica Fennica vol 63, Societas Philosophica Fennica, Helsinky 1998; 177 pp.

Výroková a predikátová logika - II

Znovu o existenci 1. Pavel Materna. Discussions

O nerovnostech a nerovnicích

Okruh č.3: Sémantický výklad predikátové logiky

4.2 Syntaxe predikátové logiky

ÚVOD DO TEORETICKÉ SÉMANTIKY (PRINCIPY FORMÁLNÍHO MODELOVÁNÍ VÝZNAMU)

Výroková a predikátová logika - III

Logika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD.

Výroková logika. p, q, r...

Výroková a predikátová logika - II

Kapitola Základní množinové pojmy Princip rovnosti. Dvě množiny S a T jsou si rovny (píšeme S = T ) prvek T je také prvkem S.

KMA/MDS Matematické důkazy a jejich struktura

Definice. Petr Kuchyňka

1. Matematická logika

Odpověď na Sousedíkovu kritiku Fregeho výroku o existenci

Sylogistika. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 16

Logika 5. Základní zadání k sérii otázek: V uvedených tezích doplňte z nabízených adekvátní pojem, termín, slovo. Otázka číslo: 1. Logika je věda o...

Aristotelská logika. Pojem

Úvod do logiky (PL): sémantika predikátové logiky

přednáška 2 Marie Duží

Obsah Předmluva Rekapitulace základních pojmů logiky a výrokové logiky Uvedení do predikátové logiky...17

Příklad 1. Řešení 1a Máme vyšetřit lichost či sudost funkce ŘEŠENÉ PŘÍKLADY Z M1A ČÁST 3

ETIKA A FILOSOFIE Zkoumání zdroje a povahy mravního vědomí. METAETIKA etika o etice

SINGULÁRNÍ VÝROKY: Jednoduchý singulární výrok vznikne spojením singulárního termínu s termínem obecným pomocí spony=slova je.

Logická analýza přirozeného jazyka II.

Základní pojmy matematické logiky

Premisa Premisa Závěr

Výroková a predikátová logika - IX

Základní myšlenková témata filosofie Pavla Tichého

Místo pojmu výroková formule budeme používat zkráceně jen formule. Při jejich zápisu

Matematická logika. Rostislav Horčík. horcik

Možné světy v logice. Jaroslav Peregrin. Carnap

Výroková a predikátová logika - VI

1.4.6 Negace složených výroků I

KOGNITIVISMUS. 263 RADFORD, COLIN. How Can We Be Moved by the Fate of Anna Karenina? Proceedings of the Aristotelian Society, Supplemental Vol. 49.

Mgr. Miroslav Hanke. Jan Buridan a nominalistická teorie racionality

Marie Duží

Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 1 / 20 p

Kosmologický důkaz Boží existence

4. Napjatost v bodě tělesa

Výroková a predikátová logika - III

1. Dědičnost a polymorfismus

Kvantita (u subjektu) všechny prvky množiny (všichni, každý, nikdo, žádní ) některé prvky množiny (některý, existuje,.) predikát.

Epistemická logika: Ivo Pezlar. úvod se zaměřením na studenty humanitních oborů. Masarykova univerzita Brno 2015

ETIKA. Benedictus de SPINOZA

2.2 Sémantika predikátové logiky

postaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy

Úvod do matematiky. Mgr. Radek Horenský, Ph.D. Důkazy

Databáze. Logický model DB. David Hoksza

Deskripce a existence: uctívali Řekové olympské bohy?

Funkce. Definiční obor a obor hodnot

EO_03. Specifikační jazyk světa ontologie

1 Úvod. Zdálo by se, že vyložit, jak je to s lidskou myslí, není až tak obtížné:

Variace. Lineární rovnice

ZÁKLADNÍ METODOLOGICKÁ PRAVIDLA PŘI ZPRACOVÁNÍ ODBORNÉHO TEXTU. Martina Cirbusová (z prezentace doc. Škopa)

Logická analýza přirozeného jazyka II. Pavel Materna

Obecná psychologie: základní pojmy

Stefan Ratschan. Fakulta informačních technologíı. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti

Neklasické logiky. Už od Aristotela se logika řídí dvěma základními logickými principy a sice: principem extenzionality a principem dvouhodnotovosti.

K ZOUHAROVĚ DESKRIPČNÍ TEORII VÝZNAMU VLASTNÍCH JMEN

Výroková a predikátová logika - II

ÚVOD DO TEORETICKÉ SÉMANTIKY (PRINCIPY FORMÁLNÍHO MODELOVÁNÍ VÝZNAMU)

Explikace. Petr Kuchyňka

Principy logické analýzy jazyka

M - Výroková logika VARIACE

Formální systém výrokové logiky

Transkript:

Pozn.: výrazy jazyka jsou psány v uvozovkách ( pes ), význam výrazu je psán kurzívou (pes) a objekt-referent výrazu je psán velkými písmeny (PES) definované výrazy jsou podtrhávané mentální reprezentace je psána jako MR ATOMISTICKÁ SÉMANTIKA: REALISTICKÁ VERSUS MENTALISTICKÁ TEORIE VÝZNAMU Podle atomistické sémantiky označují výrazy přímo své významy. Např.: pes označuje pes A. Extenzionální sémantiky Podle extenzionální sémantiky je významem výrazu jeho rozsah ve světě - extenze: soubor věcí, které jsou výrazem označeny. intuice: význam je věc/objekt, ke které výraz referuje (dále referent) Např.: pes označuje PES i) Případ, kdy výraz označuje jeden referent Př.: současný americký prezident označuje GEORGE BUSH Protipříklad 1: Pokud je GEORGE BUSH jako konkrétní osoba významem výrazu současný americký prezident, potom tazatel, který nezná současnou politickou scénu USA a který se ptá: Kdo je současným americkým prezidentem?, neví, na co se ptá, protože nezná význam výrazu současný americký prezident a tudíž ani své otázky. (viz Tichý, 1996) Protipříklad 2 (viz Frege, 1992): - Významem Jitřenka a Večernice je podle extenzionalistické teorie referent/astronomický objekt planeta Venuše. - Oba výrazy tedy musí mít stejný význam (musí být synonymní), tj. musí být možné je vzájemně nahrazovat. - Nahraďme ve větě Jitřenka je Večernice výraz Večernice výrazem Jitřenka ; pak dostaneme větu Jitřenka je Jitřenka. Podle výchozího předpokladu by věta tímto nahrazením neměla změnit význam.

- Druhá věta však má jiný význam: je to triviální pravdivá věta, která nemá informační hodnotu, na rozdíl od věty první, která triviální není chceme-li se zeptat, zda je Jitřenka Večernice, nemůžeme použít druhou větu. Proti předpokladu tedy obě věty resp. oba výrazy mají rozdílný význam, ačkoliv referují ke stejnému objektu. Frege postuloval kategorii smyslu, který pojímal jako způsob danosti referentu: VENUŠE je Jitřenkou dána jako objekt na ranní obloze, kdežto Večernicí jako objekt na večerní obloze. Rozdílný smysl obou výrazů odráží jejich sémantické rozdíly. Fregův smysl předznamenává pojetí významu v moderních realistických koncepcích. Další autoři navazující na Frega nemohli tuto kategorii opominout hlavní diskuze je nadále vedena o tom, jak smysl přesně vymezit, aby zastupoval význam. ii) Případ, kdy výraz označuje více referentů Př.: kniha, pes... K modelování významu/extenze těchto výrazů se používá množin: význam je množina individuí, ke kterým výraz referuje. Př.: pes označuje {ALÍK, FÍK, ŤAPINA,...} a černý označuje {ČERNÉ BRÝLE, ČERNÁ VLAJKA, TMA, ALÍK,...} složený výraz černý pes by se pak modeloval jako průnik obou množin v průniku by zůstala všechna individua, která jsou jak psy tak černá, tj. vidíme, že by tam patřil určitě ALÍK. - Tento způsob užívání množin však vystihuje významy složené jednoduchým predikativním způsobem. Při modelování složitějších vztahů (např. náležení něčemu) selhává: Protipříklad (Bolzano): Výrazy učený syn neučeného otce a neučený syn učeného otce by měly mít podle uvedeného přístupu stejné významy, což zjevně odporuje naší intuici. K mentalizaci/psychologizaci extenzionální sémantiky Obecné rysy mentalistické atomistické teorie významu: významy jsou 1. mentální jednotliviny v hlavách lidí jednotlivé MR 2. empirické objekty (v prostoru a v čase) 3. působí kauzálně (na chování, na jiné mentální stavy) 4. musí splňovat podmínku intersubjektivity: identické u různých lidí

Mezi výraz a referent je třeba umístit psychologickou instanci: komentář: Z modelu Ogdena a Richardse vychází kognitivně-psychologický přístup, který se snaží specifikovat, co přesně instance myšlenky je (místo ní si můžeme dosadit také význam, MR). Symbol je zástupná instance (zde mu říkáme výraz), která nepřímo (přes myšlenku) zastupuje referent. Problém: jakým způsobem upřesnit MR (myšlenku) v tomto modelu, když význam musí splňovat intersubjektivitu (viz Peregrin, 1999)? Zde nutné vyjasnit, jak můžou být dvě MR různých lidí identické, když to jsou empirické objekty. Pokud půjde o imaginativní MR, tak stěží: představy se liší od člověka k člověku a nejsou konstantní ani u jednoho člověka. Propoziční MR by mohly být lepším kandidátem, ale bylo by třeba ukázat, jak můžou být identické napříč lidmi, když má jít v o empirické objekty. Odpověď: variabilita jednotlivých MR nevadí, protože nejsou identické samy o sobě (tedy ve svých výskytech), ale jsou identické typově např. všechny varianty MR psa jsou stejného typu (jde o psí MR ). Námitka: neodsouvá se tak jenom řešení původního problému? - Jak vysvětlit typovou identitu? čím je způsobena?...

B Intenzionální sémantiky Pro to, abychom unikli z pastí extenzionální sémantiky, musíme význam vztáhnout k něčemu, co je nezávislé na aktuální extenzi: k entitám zvaným intenze, které neberou v potaz jenom extenzi v aktuálním stavu světa, nýbrž extenze ve všech možných stavech světa - ve všech možných světech. K metafoře možných světů: (viz Kolář, 1999) o našem světě můžeme uvažovat tak, že ho rozložíme na dílčí stavy, které jsou vyjádřené fakty (svět jako souhrn faktů), př. faktu: sníh je bílý, nejvyšší hora je MT. Everest; je ale možné si představit svět, kde je sníh modrý a nejvyšší hory je Říp, takovéto světy jsou logicky možné takovýchto logicky možných světů můžeme vytvářet nekonečně mnoho, jediná podmínka při tom je, že musí být logicky konzistentní (např. nelze, aby Říp byl a nebyl nejvyšší horou) S použitím možných světů by potom pes nereferoval k množině psů v aktuálním světě, ale spíš k množinám psů ve všech možných světech, tj. k intenzi, což je funkce, která každému možnému světu přiřadí množinu psů (tomuto typu funkce z možných světů do množin individuí se říká vlastnost, existují však i jiné typy intenzí, např. funkce z možných světů do pravdivostních hodnot, které se nazývají propozice). Fregův příklad rozdílu mezi Jitřenkou a Venuší pak s snadno vyřešíme: Jitřenka je Jitřenka je pravdivá ve všech možných světech (nelze mít možný svět, kde něco není identické samo se sebou), kdežto Jitřenka je Večernice je pravdivá jen v některých možných světech (mj. i v našem aktuálním). Každá věta tedy označuje jinou propozici. Problém s intenzionální sémantikou: máme věty pravdivé ve všech možných světech ( Jitřenka je Jitřenka, 5+7=12, 12 na druhou = 124 ); podle intenzionální teorie by měly mít tyto nutně pravdivé věty stejné významy, což má absurdní důsledky: Z věty Karel ví, že J=J by např. vyplývalo, že Karel ví, že 5+7=12 nebo že Karel ví, že 12 na druhou = 124, resp. Karel by potom znal všechny nutně pravdivé věty a byl by tedy vševědoucí. Tento paradox vševědoucnosti ukazuje, že intenze nejsou dost jemné na to, aby rozlišily významy nutně pravdivých vět. Pozn.: Věty s formou: Někdo ví/věří/chce/přeje si... něco se označují propoziční postoje. Z uvedeného vyplývá nutnost postulování ještě jemnějších entity na tzv. hyperintenzionální úrovni, které by analyzovaly samotnou strukturu významu uvnitř propozic.

Tímto způsobem stylem pracuje např. transparentní intenzionální logika. (viz http://til.phil.muni.cz/) K mentalizaci/psychologizaci intenzionální sémantiky Na rozdíl od mentalizace extenzionální sémantiky zde nemáme v prvním plánu problém s intersubjektivitou resp. s identitou MR, protože intenze jsou abstraktní ideální funkce, ke kterým má přístup každý uživatel jazyka. Problémy jsou naopak ontologické: pokud je význam vymezen jako abstraktní entita, jak může být zároveň konkrétním empirickým a kauzálně působícím objektem? Fodor (1987) vymezuje propoziční obsah mentálních stavů jako funkci z kontextů do pravdivostních hodnot (analogie k funkci z možných světů do pravdivostních hodnot k propozici, viz výše). Tyto funkce jsou implementovány v mozku, tj. v materiálním prostorovém a časovém prostředí, což zaručuje jejich empirickou existenci a kauzální působení. Toto je důležitý předpoklad, který při mentalizaci/psychologizaci atomistické sémantiky hraje ústřední roli: předpoklad naturalizmu (v podstatě všech jevů je nějaká kauzálně působící hmota). Ve Fodorově případě by se dalo mluvit také o psychofyzického paralelismu (MR/významy jsou závislé na činnosti mozku, ale o nich samotných se mluví také jako o reálných; neuronální a mentální procesy tedy probíhají paralelně). K tomu, aby MR jako významy dostály požadavku intersubjektivity (tj. aby mohly být identické u různých lidí), musely by u všech lidí existovat shodné neuronální mechanizmy, které danou abstraktní funkci naprosto shodně realizují to vede k předpokladu, že určité kognitivní struktury jsou vrozené všem lidem, jde tedy o předpoklad nativizmu. (Pozn.: tuto shodu kognitivních struktur u všech lidí si můžeme představit podobně, jako je v zásadě stejná struktura hardwaru různých počítačů software by potom představoval abstraktní objekty, tj. matematické funkce, které jsou v hardwaru realizovány. ) Hodnocení: Úspěšnost tohoto přístupu závisí na adekvátnosti otologických předpokladů (naturalizmu a nativizmu); pokud by se ukázalo, že jsou nepravdivé nebo že nejsou potřebné, můžeme odmítnout: i) Neadekvátní jsou z pohledu logické sémantiky: tento druh psychologizujících teorií významu se dopouští kategoriální chyby, když směšuje rovinu abstraktních (logických a matematických) objektů, které existují mimo prostor a čas, s objekty empirickými, existujícími v prostotu a čase. ii) Je možné, že lze modelovat MR významů užívání těchto ontologických předpokladů, ovšem s použitím zásadně jiného (strukturalistického) přístupu.

Literatura: Fodor, J. (1987): Psychosemantics. Cambridge: The MIT Press/A Bradford Book. Fodorová J.D. (1980). Theories of Meaning in Generative Grammar. Cambridge, Massachusetts: Harvard University Press. (s. 9-61). Frege, G. (1992): O smyslu a významu. Scientaia et philosophia, 4., str.33-75. Kolář, P. (1999). Argumenty filosofické logiky. Praha: Filosofia. Ogden, C.K., Richards, I.A. (1946). The meaning of meaning. London: Kegan Paul, Trench, Trubner & Co. Peregrin, J. (1999). Význam a struktura. Praha: OIKOYMENH (s. 25-71). Tichý, P. (1996). O čem mluvíme? Praha: Filosofia (s.147-161).