TEORIE VLASTNÍCH JMEN BERTRANDA RUSSELLA. I. Úvod

Rozměr: px
Začít zobrazení ze stránky:

Download "TEORIE VLASTNÍCH JMEN BERTRANDA RUSSELLA. I. Úvod"

Transkript

1 SBORNÍK PRACÍ FILOZOFICKÉ FAKULTY BRNĚNSKÉ UNIVERZITY STUDIA MINORA FACULTATIS PHILOSOPHICAE UNIVERSITATIS BRUNENSIS B 48, 2001 STUDIA PHILOSOPHICA JIŘÍ RACLAVSKÝ TEORIE VLASTNÍCH JMEN BERTRANDA RUSSELLA I. Úvod Bertrand Russell byl prvním myslitelem, který jednak přišel s určitou kritikou Fregeho zakladatelské koncepce sémantiky, jednak přišel s vlastní osobitou koncepcí. Jeho stanovisko, které poprvé samostatně demonstroval ve stati On Denoting" v časopise Mind roku 1905, 1 přineslo proslulou teorii deskripcí, která je významným řešením teorie vlastních jmen (teorie vlastních jmen mívá často klíčovou roli v sémantikách jazyka). Po zmíněné stati se k problematice opakovaně vyjadřoval v dalších studiích, či knihách, přičemž některé detaily či podrobnosti anebo související problémy do jisté míry modifikoval. Snad nejvýznamnějším článkem po O označení" jsou Popisy", 2 pozoruhodná studie Poznání na základě obeznámenosti a poznání z deskripce"; 3 souhrnně své tehdejší výsledky i výsledky dosažené ve stati Filosofie logického atomismu" 4 sumarizoval v Problémech filosofie. s Před tím, než uvedeme zejména jeho teorii deskripcí, probereme některé širší souvislosti této jeho teorie, které se týkají jazyka. 6 Russell rozeznává jména dvou základních kategorií - kategorie úplných symbolů" a kategorie neúplných symbolů". Vlastní jména sice zprvu řadí do první kategorie, avšak dochází ke zjištění, že jen logicky vlastní jméno" (např. toto") má do této kategorie patřit. Vlastní jména mohou být často jen 1 Bertrand Russell (1967a): O označení", in Logika, jazyk a věda, Praha: Svoboda, s B. Russell (1967b): Popisy", in Logika, jazyk a věda, Praha: Svoboda, s B. Russell (1997): Poznanie na základe oboznámenosti a poznanie z deskripcie", Organon F 4, No. 3, s B. Russell (2000): Filozofia logického atomizmu", Organon F 7, No. 1, s , No. 2, s , No. 3, s , No. 4, s B. Russell (1927): Problémy filosofie, Praha: Cin. 6 Vodítkem nám přitom budou i jeho pozdějíí práce: B. Russell (1967c): Vlastní jména", in: Logika, jazyk a věda, Praha: Svoboda, s , B. Russell (1975): Zkoumání o smyslu a pravdivosti, Praha: Academia. Přihlédneme ovšem také k B. Russell & A. N. Whitehead (1963): Principia Mathematica I, Cambridge: Cambridge UP.

2 94 JIŘÍ RACLAVSKÝ skrytými deskripcemi". Pro některé účely jako je analýza vět se jménem s historickou referencí (např. Homér") konvertuje jména na určité deskripce. Samotné deskripce dělí do dvou druhů: určité deskripce" a neurčité (příp. mnohoznačné) deskripce". Neurčité deskripce se vztahují k více než jednomu individuu, jde o třídové termíny (např. stůl). Určité deskripce pak tvoří jádro Russellovy teorie. Určité deskripce (např. autor Waverley) jsou (složené) výrazy jazyka, které se díky své formě vztahují k jedinému individuu; Russell detekoval tuto formu z hlediska logiky. Ovšem navíc, v souladu se svými epistemologickými a ontologickými požadavky, tyto určité deskripce shledává jako postrádající význam a provádí jejich eliminaci. II. Metodologie (princip obeznámenosti) Nejprve odlišíme, tak jako i Russell, singulární termíny od obecnin. 1 Russell jasně vyjadřuje vcelku samozřejmou věc - především tu máme jednotliviny, které lze poznat bezprostřední zkušeností: Nelze poznati, že něco existuje, vyjma pomocí zkušenosti." (Russell 1927, s. 74). 8 Ve stati Vlastní jména" uvádí členění do jisté míry odlišné: Existuje tradiční rozdíl mezi vlastními" jmény a jmény tříd", který se objasňuje tím, že vlastní jméno se v podstatě vztahuje pouze na jediný objekt, zatímco jména tříd se vztahují na všechny, jakkoli početné objekty určitého druhu." (Russell 1967c, s. 119). Jak Russell hned upozorňuje, může se taky stát, že existuje pouze jeden objekt označený jménem třídy, například družice Země" (tím jediným prvkem je Měsíc). Přestože můžeme chápat Měsíc jako jednotkovou třídu, mezi jmény tříd a vlastními jmény je stejně rozdíl - je tu i rozdíl mezi jednoduchostí jména a složeností jednotliviny. Budeme-li se ptát, jak jsou Russellem chápány nejnižší sémantické jednotky, jména jednotlivin, tak musíme prozkoumat, co je nejnižší jednotkou poznání. U Russella úzce souvisí zkoumání jazyka s jeho úvahami epistemologickými. Nejníže tu je smyslový údaj. Ovšem smyslový údaj je obyčejně, pokud ne vždy, složený." (Russell 1997, s. 265). Na druhé straně je ale individuum (zřejmě) jednoduché: I když je snad možné dále analyzovat to, co se zdá být individuem, budeme se zde muset spokojit s tím, co jsem nazval relativními individui". Budou to termíny, které nejsou v celém uvažovaném kontextu nikdy analyzovány a nikdy se nevyskytují jinak než jako subjekty." (Russell 1967b, s ). Jména nelze rozkládat, dále analyzovat - rozdíl je jasný: Caesar byl určitý komplex, ale Caesar" je logicky jednoduché, tj. žádné z jeho částí nejsou symboly." (Russell 1975, s. 288; srov. též Russell 2000, s. 52). 7 Ve zkoumání singulárních termínů na jedné straně a obecninami na druhé straně a obojího z hlediska zachycení logikou navazuje na Russella mezi britskými filosofy zejména Strawson. 8 Podle Russella nám jednotliviny vcházejí v komplexy jenom jako subjekty predikátů nebo členy relací (a jestliže patří do světa, o němž máme zkušenost, pak existují v čase a nemohou v jedné době zaujímat více než jedno místo v prostoru, do něhož patří). Obecniny se mohou vyskytovat jako predikáty nebo relace ve složených výrazech (mj. je Russell proti tomu, aby predikáty (jako např. vlastnost) byly v pozici subjektu).

3 TEORIE VLASTNÍCH JMEN BERTRANDA RUSSELLA 95 Uveďme si nyní Russellův princip obeznámenosti (kromě statě Poznání na základě obeznámenosti a poznání z deskripcie" s principem obeznámenosti pracuje i v Problémech filosofie", avizuje ho ovšem už ve stati O označení"). Předmět, o kterém chceme hovořit, je totiž něčím, s čím jsme bezprostředně v kontaktu, s čím jsme obeznámeni: Říkám, že jsem obeznámený s předmětem, pokud s ním jsem v přímém kognitivním vztahu, tedy pokud jsem si přímo vědom samotného předmětu." (Russell 1997, s. 264). Ne vždy je nám toto umožněno, se všemi předměty nejsme obeznámeni, přesto však o nich hovoříme. V tomto případě jsme od něj více či méně vzdáleni (Russell upozorňuje, že jsou různé stupně tohoto vzdálení od jednotlivin). V takovémto případě užíváme deskripci: Budeme říkat, že o tom takovém-a-takovém máme Jen deskriptivní poznání", pokud nepoznáme žádnou propozici a je to takové-a takové", kde a je něco, s čím jsme obeznámení..." (Russell 1997, s. 266),...víme, že jest nějaký předmět, odpovídající příslušnému popisu, třebaže nemáme o takovém předmětu bezprostřední zkušenosti. Je to otázka týkající se jedině určitých popisů." (Russell 1927, s. 54). Poznání z deskripce je tedy teze doplňující princip obeznámenosti. 9 Otázku, kterou zde nebudeme hlouběji diskutovat, je Russellovo tvrzení, že propozice se musí sestávat jen ze složek, s nimiž jsme obeznámeni: Každý výrok, jemuí jsme s to rozuměti, musí zcela býti složen z prvků, o nichž máme bezprostřední zkušenost." (Russell 1927, s. 59). 10 Těmito složkami, se kterými jsme obeznámeni, jsou významy všech jednotlivých slov. Nejde tu jen o předmět, ale v případě deskriptivního popisu i o vlastnosti tohoto předmětu. 11 m. Vlastní jméno; logicky vlastní jméno Z již uvedeného se zdá samozřejmé konstatovat, že Russell trval na tom, že vlastní jméno, které je jednoduché, je tím pravým a jediným kontaktem se světem jednotlivin, přičemž významem vlastního jména je právě tato jednotlivina - individuum:,jméno... je jednoduchým symbolem bezprostředně označujícím nějaké individuum, které je jeho významem" (Russell 1967b, s ), či Denotát není podle mne složkou propozice s výjimkou vlastních jmen, tj. slov, 9 Nejstručněji obě teze vyslovil v Problémech filosofie": Jsme-li tedy obeznámeni s předmětem, který jest,tím takovým', víme, že to takové existuje; ale můžeme se dověděti, že toto takové existuje, i když nejsme obeznámeni se žádným předmětem, o němž bychom myslili, že jest,tím takovým', a dokonce i když nejsme obeznámeni s předmětem, který,tím takovým' vskutku jest." (Russell 1927, s. 55). 10 Při analýze propozicí s deskripcemi se uplatňuje tento fundamentální epistemologický princip: Každá propozice, které rozumíme, musí pozůstávat jedině ze složek, s kterými jsme obeznámeni." (Russell 1997, s. 270). 11 Totiž vzhledem k tomu, že ne se všemi předměty jsme obeznámeni, musíme např. vlastní jméno Julius Caesar nahradit nějakou deskripcí, kterou utváří některé mé poznatky o Juliu Caesarovi" (Russell 1997, s. 271); Russell uvádí minimální případ, jimž je ten člověk, který se jmenuje Julius Caesar" (srov. níže v souvislostech problematiky přetvoření vlastního jména na popis).

4 96 JIRl RACLAVSKÝ které předmětu nepřipisují žádnou vlastnost, ale ho jen a výlučně pojmenovávají." (Russell 1997, s. 273). 12 Toto podporuje i svými následujícími úvahami. Jména jsou totiž nedefinované symboly", 13 k jejich pochopení potřebujeme ostenzi a tedy zkušenost. 14 Týká se to jmen všech druhů: Má-li slovo ostenzivní definici, budeme je nazývat.zkušenostním slovem'. Mezi takovými slovy jsou zahrnuta všechna opravdová vlastní jména, celý aparát predikátů a vztahů, které nemají lexikální definice, a také několik logických slov, která vyjadřují takové stavy mysli jako odmítnutí nebo váhání." (Russell 1975, s. 316). V Popisech" pak tvrdí doslova: kromě tento" a onen" a několika málo jiných slov, jejichž význam se mění při různých příležitostech - se nevyskytují vůbec žádná jména ve vlastním slova smyslu" (Russell 1967, s. 49). Russell následně opovrhuje (jak tvrdí i standardní interpretace Russella v učebnicích filosofické logiky či v předmluvách ke sborníkům statí klasiků analytické filosofie nebo ve výborech z Russellových děl) vlastními jmény. Toto tvrzení se zakládá (kromě již uváděných Russellových názorů) na tom, že ostenze, jakožto jev podle Russella primární, je v jazyce zachycena egocentrickými slovy (Russell je nazývá egocentrické částice, dnes je nazýváme indexické výrazy nebo demonstrativa), přičemž vlastní jména (jako i deskripce) se dají podle Russella redukovat na základní egocentrická slova, z nichž je podle Russella nejfundamentálnější logicky vlastní jméno" ( logically proper name"), např. toto" ( this"). 15 Toto má podle Russella charakter vlastního jména v tom smyslu, že pouze označuje nějaký [jediný; J.R.] objekt, aniž jej v nějaké míře popisuje" a má v určitém smyslu konstantní význam" (Russell 1975, s. 133). Logicky vlastní jméno tak získává pozici jediného pravého vlastního jména:.jediná slova, která se používají jako jména v logickém smyslu, jsou výrazy jako,toto' a,tamto*. Slovo,toto' je možné použít jako jméno, aby zastupovalo jednotlivinu, se kterou jsme v dané chvíli obeznámeni" (Russell 2000, s. 60). 16 Kritiku logicky vlastního jména započal v roce 1950 Peter Frederick Strawson, 17 do jisté míry se ale tato kritika týká i Russellova principu obeznámenosti. Nyní bude vhodné probrat klasifikaci definic vlastního jména ze stati 12, Jméno pouze pojmenovává jednotlivinu" (Russell 2000, s. 50), abychom rozuměli jménu jednotliviny, je nezbytné, abychom s ní byli obeznámení... Žádná další informace o faktech, které jsou pravdivé o této jednotlivině, by nám nepomohla lépe pochopit význam jména." (tamtéž, s. 61). 13 Cit. s. 73 in B. Russell (1993a): Analýza výroků", in Logika, věda, filosofie, společnost, Praha: Svoboda, s Srov. s. 188 in B. Russell (1993d): Logický pozitivismus", in Logika, věda,filosofie,společnost, Praha: Svoboda, s Všechna egocentrická slova lze definovat pomocí termínu,toto'. Tak Já' znamená.biografie, k níž patří toto',,zde* znamená,místo, kde je toto',,ted" znamená,čas, v němž je toto', atd." (Zkoumání o smyslu a pravdivosti, 1975, s. 132). 16 Mj. Russell si uvědomuje určitou výjimku pro to, aby toto" bylo vlastní jméno, neboť výraz toto" je vlastni jméno jen tehdy, když ho použijete striktně tak, že zastupuje smyslový předmět." (Russell 2000, s. 60). Egocentrické, indexické výrazy spadají do okruhu problematiky, kterou se zde ovšem nemůžeme blíže zabývat. 17 Viz Peter Frederick Strawson (1950): On Referring", Mind, s

5 TEORIE VLASTNÍCH JMEN BERTRANDA RUSSELLA 97 Vlastní jména". Russell volí pět přístupových cest (Russell 1967c, strany ): 1) metafyzické hledisko, neboť je zřejmé, že vlastní jména vděčí za svou existenci v přirozeném jazyku pojmu substance", kde substancí je míněna nějaká entita, jíž jsou třeba přisuzovány různé vlastnosti; 2) fyzikální hledisko (u Russella až na čtvrtém místě) je dvojí. Jednak je to a) pojetí, že vlastní jméno je slovem označujícím jakýkoli spojitý časoprostorový úsek", jednak je to b) Carnapovo pojetí, že místo jmen lze popsat ten spojitý časoprostorový úsek souřadnicemi zeměpisné šířky a délky nebo časoprostorovými souřadnicemi; 3) syntaktické hledisko, podle něhož je vlastním jménem takové slovo, jež se ve větě nikdy nemůže objevovat jinak, než jako subjekt nebo jako člen vztahu; 4) logické hledisko, kde je podstatné rozlišit ve větách proměnné ( Teoretická logika nemá co činit s vlastními jmény, protože její výroky obsahují jen proměnné"). Následně pak budou.vlastní jména',konstantami', jež jsou /v jakékoli hierarchii/ hodnotami proměnných nejnižšího typu". Russell si je vědom, že s tímto pojetím je spjato mnoho obtíží; 5) gnoseologické hledisko, které vzniká problémem, že a) všechna slova nelze definovat verbálně, b) že je do značné míry arbitrámí, která slova lze definovat jen ostenzivně. Každý člověk získal definice různých slov ostenzívními definicemi, ostatní pak verbálními (u každého člověka jsou v jiném poměru) - to úzce souvisí s problémem obeznámenosti. Verbální definice jsou (zhruba řečeno) založeny na využití popisů - deskripcí. 18 Zatímco dvojice prvních hledisek definování vlastních jmen se zdá být zcela jasná a ve shodě s tím, o čem jsme hovořili dříve jako o pojmenování, resp. vztahu jména k jednotlivině (resp. svazku smyslových kvalit), rovněž tak jako je alespoň přibližně jasné, co míní Russell syntaktickým a logickým hlediskem, tak je to právě páté, gnoseologické, hledisko, které činí jisté potíže v jasné interpretaci (je to zaviněno i tím, že se do něj promítají předchozí hlediska). Souvisí to s otázkou ostenze - každé jméno, jež se vztahuje na nějaký časoprostorový úsek, může mít verbální definici, v níž se vyskytuje slovo,ten' nebo nějaký jeho ekvivalent" (Russell 1967c, s. 126). To však není vše: Slovo musí označovat něco, co se dá rozpoznat, ale časoprostorové oblasti nelze rozpoznávat odděleně od kvalit, protože jsou všechny stejné" (tamtéž). Jenže nejde definovat individua jen pomocí kvalit, neboť v průběhu času nejsou s daným individuem stejné kvality - Aristoteles nebyl vždy učitelem Alexandrovým. IV. Deskripce Russellova teorie deskripcí byla prakticky poprvé uvedena v článku O označení" (budeme užívat vždy termín deskripce" - pokud však půjde o deskripce ze stati Popisy, pak použijeme výraz popis"; v On Denoting" používá Russell výraz označující fráze"). Popis je složen z výrazů, které již mají svůj význam: 18.Jakmile takovou definici nahradíme verbální definicí, přestaneme vyjadřovat svá pozorování" (tamtéž, s. 130).

6 98 JIŘÍ RACLAVSKÝ Popis... se skládá z několika slov, jejichž významy jsou již fixovány, a z nichž pak plyne, co máme pokládat za význam popisu" (Russell 1967b, s ).. Popisem' míním nějakou větu tvaru,něco takového' nebo,toto takové'" (Russell 1927, s ). 19 Zákonitě pak máme rozdíl mezi jménem a určitým popisem jakožto rozdíl mezi Scott" a autor románu Waverley". 10 Vezmeme-li v úvahu kategorizování pojmem symbol: Jméno je jednoduchým symbolem, který něco označuje, co se může vyskytovat jen jako subjekt, tj. něco, co jsem... definoval jako.individuum' nebo jako Jednotlivinu'. A Jednoduchý' symbol je symbolem, jenž nemá žádné části, které jsou samy symboly... Naproti tomu výraz,autor románu Waverley' není jednoduchým symbolem, protože jednotlivá slova, z nichž se tento výraz skládá, jsou samy symboly." (Russell 1967, s ). Výraz.Scotť je jméno, ale.autor románu Waverley' je popis:,autor Waverley však není konvenčně vybrané jméno Scotta. Prvek čiré konvence zde náleží jen jednotlivým slovům autora Waverley'" (Russell 1997, s. 274). 21 Kromě určitých popisů máme i popisy neurčité: Větu podle tvaru.něco takového' budu nazývati.neurčitým' popisem; větu podle tvaru,toto takové' (v jednotném čísle) budu nazývati popisem.určitým'." (Russell 1927, s ). 22 K neurčitým popisům se Russell obvykle příliš nevyjadřuje. Přesto si však musíme uvést, že k neurčitým popisům řadí i fiktivní jména 23, jimž se budeme věnovat vzápětí. V O označení" Russell přidává do klasifikace také mnohoznačné deskripce, kterými se blíže nikde hlouběji nezabývá: deskriptivní fráze může označovat mnohoznačně, například.nějaký člověk' neoznačuje mnoho lidí, ale jakéhokoli člověka" (Russell 1967a, s. 19). Svéráznou mezní kategorií jmen, kterou Russell odhalil, jsou skryté deskripce (takto je nazývá ovšem jen ve stati Filozofie logického atomismu): Pro jména v jazyce - například.sokrates',.platón' atd. - platí, že původně měla zastupovat jednotliviny.... Jména, která běžně používáme, například.sokrates', jsou ve skutečnosti zkratkami za deskripce" (Russell 2000, s. 60). Všimněme si, že základ skrytosti spočívá v absenci existujícího individua (Russell tezi o skrytých deskripcí použil dokonce jen pro jména s historickou referencí), kdežto soudobý úzus používá tezi o tom, že některá jména vyjadřují skrytou deskripci, ke stano- 1 9 V O označení" označující frází rozumí Russell takovou frázi, která označuje jen na základě své formy (Russell 1967a, s. 19). 20 Česká i slovenská překladatelská praxe většinou dodržuje úzus, podle kterého je anglický výraz the author of Waverley", zapisován kurzívním řezem všech výrazů, ke kterým se the" vztahuje. Určitý ( the") člen, stejně jako neurčitý ( a") mají v Russellově teorii významné sémantické postavení. 21 Mimochodem: Russell ve.filozofii logického atomizmu" uvádí tvrzení, že Především je třeba zdůraznit, že určité deskripce nejsou jmény.... výraz, například.autor Waverley', není jménem, neboť je složeným symbolem" (Russell 2000, s. 293). Russellova teorie určitých deskripcí může být tedy uvažována nikoli jako teorie vlastních jmen, ale spíš jako teorie singulárních termínů. 22 Či: Zvrat tvaru,něco takové-a-takové' budu nazývat.neurčitou* deskripcí; zvrat tvaru,to takové-a-takové' (v singuláru) nazvu určitou deskripcí." (Russell 1997, s. 266). 23.Nějaký jednorožec' je neurčitý popis, který nic nepopisuje." (Russell 1967b, s. 40).

7 TEORIE VLASTNÍCH JMEN BERTRANDA RUSSELLA 99 vení toho, co vlastně říkají slova jako Jitřenka (nejjasnější nebeské těleso ranní oblohy) apod. 24 Jeden z problémů, které tak Russell také otevřel, je možnost přetvoření vlastního jména na popis. Např.,XY' transformujeme na popis,osoba (x) pojmenovaná XY'. Jsou-li jména užita jako popisy, tak místo toho abychom pojmenovali nějaké individuum, popisujeme je jako osobu, mající toto jméno" (Russell 1967b, s. 45). Russell sám někdy tento převod využíval k řešení problému již nežijících jednotlivin - To, co se nám jeví jako jméno, je ve skutečnosti popisem. Má přece smysl zkoumat, zda Homér existoval, což bychom jinak nemohli učinit, kdyby,homér' bylo jméno" (Russell 1967b, s. 49). Problém je ovšem v tom, že při takovéto konverzi zařazujeme individuum do určité třídy s charakteristikou její vlastnosti (např. vlastnost být osoba"). 25 Tento nedostatek by mohl Russell odstranit (dokonce by se tak přiblížil ke své teorii logicky vlastního jména) tím, že deskripce by měla podobu to pojmenované XY". Někdy však Russell tvrdí ještě jednu podobu převodu vlastního jména na deskripci - tehdy plně využije tezi o skrytých deskripcích. Totiž Když např. řeknu,homér existoval', míním výrazem,homér' nějakou deskripci, řekněme,autor homérských zpěvů'...". 26 Toto mínění" znamená ovšem svévolné přiřazení deskripce z celého případného trsu - je Sokrates učitel Platóna", nebo manžel Xantippy"? /Asociovaná/ deskripce... se bude u různých lidí anebo u téhož stejného člověka v různých časech měnit" (Russell 1997, s. 268). K těmto problémům Russell ještě připojil, jak jsme avizovali již výše, temporální závislost v jiném smyslu než je změna asociované deskripce v čase na straně mluvčího, a to temporální podmíněnost splňování deskripce individuem - Aristoteles nebyl vždy učitelem Alexandrovým. Některé obtíže řeší Searleho klastrová teorie, 27 podle níž je pro určení individua vymezena v trsu (individuu přináležejících) deskripcí část, která je relevantní pro jeho jednoznačnou identifikaci. Uveďme ještě, že Russell odlišoval fundamentálně dvě kategorie jmen - úplné a neúplné symboly. Dojdeme tak k porovnání vztahu vlastních jmen, logicky vlastního jména a deskripcí z hlediska epistemologického principu obeznámenosti..neúplným' výrazem mám na mysli symbol, o kterém se nepředpokládá, že má nějaký význam v izolaci, ale definuje se jen v určitých kontextech.", zatímco úplný výraz (symbol) je takový, že má význam sám o sobě, bez potřeby 24 Ve Filozofii logického atomizmu" na s. 292 (Russell 2000), kde diskutuje příklad se jménem Romulus", hovoří Russell o zkrácené deskripci též jako o zhuštěné deskripci. 25 Tuto námitku uvádí i Marián Zouhar (1999): Referenda a Russellova teória vlastných mien", Organon F 6, No. 3, s Z knihy Logic and Knowledge", cit. s podle Emst Tugendhat - Ursula Wolf (1997): Logicko-sémantická propedeutika, Praha: Nakladatelství Petr Rezek. - Výmluvný příklad uvádí Russell ve.filozofii logického atomizmu" (Russell 2000, s. 60): Nejsme obeznámeni se Sokratem, a proto ho nemůžeme pojmenovat. Když používáme jméno.sokrates', ve skutečnosti používáme deskripci. Naši myslenku vystihuje například použití výrazu,(ten) Platónův učitel',,(ten) filosof, který vypil bolehlav'". 27 John Searle (1958):,J*roper Names", Mind, s

8 100 JIŘÍ RACLAVSKÝ jakéhokoli kontextu". 28 Do kategorie úplných symbolů patří jen vlastní jména, neboť nepotřebují být (s výjimkou ostenze) definována, zejména však do této kategorie patří logicky vlastní jméno. Tuto doktrínu rozebírá Russell zejména ve Filozofii logického atomizmu" v souvislosti s tezí, že Jediný druh slov, které mohou zastupovat jednotliviny, jsou vlastní jména.... Vlastní jména = slova pro jednotliviny. Df." (Russell 2000, s. 59), kromě vlastních jmen žádná jiná část řeči nedokáže zastupovat jednotlivinu" (tamtéž, s. 59). Tedy vlastní jména zastupují individuum, kdežto deskripce ne: Tzv. neúplné symboly, například.autor Waverley', vůbec nemají význam v izolaci, ale nabývají ho jen v kontextu" (tamtéž, s. 300), či výraz,autor Waverley' v izolaci vůbec nic nezastupuje. A to je charakteristika neúplných symbolů" (tamtéž, s. 301). V. Sémantika deskripcí; eliminace deskripcí Klíčovým přínosem Russellovy teorie určitých deskripcí je analýza vět obsahující deskripce, totiž taková analýza, která umožňuje stanovení pravdivostních podmínek. 29 Věta obsahující určitou deskripci se stává pravdivou, jestliže deskripce splňuje jednak podmínku existence, jednak podmínku jedinečnosti. Důležité využití teorie deskripcí a Russellovu sémantickou doktrínu ukazuje jeho analýza tvrzení identity (je to zřejmé navázání na Fregeho problém):,scott je autorem románu Waverley' se odlišuje od,scott je Scotť" (Russell 1967b, s. 45), a jak Russell argumentuje:.jiří IV. si přál vědět, zda Scott byl autorem románu Waverley, ale nechtěl vědět, zda Scott je Scott" (Russell 1993b, s. 27). Díky tomu známá rovnost Scott je autorem románu Waverley" vyjadřuje identitu a ne tautologii" (ibid.). Russell tedy zcela jasně odlišuje vlastní jméno na jedné straně a deskripci na straně druhé. Vlastní jméno je individuu přiřazeno a je bez nějakého dalšího" významu, kdežto deskripce se skládá z konvenčně definovaných slov. Při substitucích pak výrok obsahující popis není totožný s výrokem, který z něho plyne, nahradíme-li popis nějakým jménem, dokonce ani tehdy ne, jestliže jméno pojmenovává týž objekt, který popis popisuje. 30 (Samozřejmě si Russell uvědomuje i rovnost určitých deskripcí: Pokud řeknu, Autor Waverley je autorem Marmion', přirozeně tvrdím identitu mezi dvěma deskripcemi" (Russell 2000, s. 296).) Budeme-li se ptát, co je pro Russella významem deskriptivní fráze, na čem je tedy založeno tvrzení,scott je autorem Waverley', pak nám odpoví, že Pokud 28 S. 66 in B. Russell (1993b): Principia Mathematica", in Logika, věda, filosofie, společnost, Praha: Svoboda, s Ke zhodnocení teorie popisů srov. např. práce nadšeného Russellova obhájce Stephena Nealeho (viz alespoň Stephen Neale - Ján Szomolányi (1997): Inšpiratívnosť Russellovej teorie deskripcií", Organon F 4, No. 1, s Mj. Russellova teorie určitých deskripcí byla s úspěchem využita i při vyvrácení jádra Quinovy kritiky modálních logik Arthurem F. Smullyanem a Fredericem B. Fitchem (blíže viz např. Jiří Raclavský (2000a): Modality identity a případ Venuše", ProFil, No. 4, 30 Takto vede Russell argumentaci i ve Filozofii logického atomizmu" (Russell 2000, s ).

9 TEORIE VLASTNÍCH JMEN BERTRANDA RUSSELLA 101 potom tvrdíme totožnost denotátu, nemůžeme pod denotací rozumět jen vztah jména k pojmenované věci. Ve skutečnosti bude správnější říci, že význam výrazu,scotť je denotátem obratu.autor Waverley'". (Russell 1997, s. 274). Taktéž, když řekneme,scott je autor Waverley', pro naše tvrzení bude relevantní význam obratu.autor Waverley'. Protože kdyby byl relevantní sám denotát, libovolný obrat by dával tu stejnou propozici. Takže propozice.scott je autor Marmion' by byla tou stejnou propozicí jako,scott je autor Waverley'. Je však zřejmé, že to tak není" (Russell 1997, s. 274). Tedy vlastní jméno má za význam (Russell to nazývá i denotací) předmět, deskripce však má jako denotát význam jména. Vzápětí však toto tvrzení specifikuje - je to jiná (v jazyce skrytá) část věty, proměnná (resp. její pojem), která denotuje individuum: Nejprve si musíme všimnout, že v žádné propozici o.autorovi Waverley' se nevyskytuje sám denotát, tj. sám Scott, pokud v něm chybí explicitní zmínka o Scottovi, ale jen pojem denotátu, který reprezentuje proměnná" (tamtéž, s. 275). Toto tvrzení ovšem neváhá v Popisech modifikovat tak, že proměnná je skryta" již v deskripci: Můžeme říci, že.autor románu Waverley' znamená.hodnotu proměnné x, pro níž je... výraz»x napsal román Waverley«pravdivý'" (Russell 1967b, s. 47). Jak bylo lze jistě tušit, deskripce jsou plně signifikantní tvrzení. Signifikantním Russell, zdá se, míní to, že výrazům rozumíme; pro to, co výrazy označují, používá zásadně odlišné termíny. Signifikantnost deskripcí je (samozřejmě) dána tím, že jsou složeny z výrazů, které jsou konvenční a samy o sobě signifikantní - popis jako například.současný král Francie' neztrácí svou schopnost mít v nějakém kontextu signifikaci pouze proto, že nic nepopisuje. Popis je totiž komplexní symbol, jehož význam je vyvozen z významu jeho složek" (Russell 1967b, s. 50). Russell toto tvrdí i o fiktivních jménech:. Potkal jsem nějakého jednorožce' nebo.potkal jsem nějakého mořského hada' je plně signifikantní tvrzení, víme-li, co by to měl být jednorožec nebo mořský had, tj. jaká je vlastně definice těchto vybájených oblud. Náš výrok se tudíž vztahuje jen na to, co může nazvat pojmem. Například v případě Jednorožce' existuje jenom pojem...", výrok.potkal jsem nějakého jednorožce'... neobsahuje složku Jednorožec', i když obsahuje pojem Jednorožec'" (Russell 1967b, s. 38). Jak je z posledního Russellova výroku vidět, deskripce vyjadřuje pojem. Russell tuto skutečnost naneštěstí nerozvinul - zkoumání charakteristik tohoto pojmu vede k řešení problému časové (a modální) závislosti deskripcí, totiž výraz francouzský král" nyní nic neoznačuje, ale např. v 17. století ano, deskripce Pegas" dosud (pokud víme) neoznačovala V souvislosti formálního vysvětlení a uchopení Russellovy teorie deskripcí musíme uvést, že někteří Russellovi následovníci (např. F. B. Fitch) se dopouštějí chyby a dezinterpretace tím, že určitou deskripci modelují jako jedinečnou vlastnost (vlastnost, kterou má jen jedno individuum). Proti tomuto názoru lze ovšem přesvědčivě argumentovat. Ve větě Prezident USA je modrooký" se přece nehovoří o (modálně či temporálně determinované) třídě. Hovoří se tam o tom, že kdokoli je americkým prezidentem, tedy nějaké individuum, je takový a takový. Americké prezidentství je individuový úřad, individuová role, kterou nějaké individuum (třeba Bili Clinton) může zastávat. Predikaci (tzv. predikaci de re), kterou zde činíme

10 102 JIŘÍ RACLAVSKÝ Vraťme se nyní ještě k významu vlastních jmen. Jak jsme si již řekli, pokud jméno neoznačuje nějakou entitu, resp. svazek kvalit, časoprostorový úsek, pak jde o slovo bez významu": Slovo,Hamlet' nemá význam, který leží v dosahu zkušenosti, protože nemohu na Hamleta ukázat" (Russell 1975, s. 316). Zvláštní tvrzení o fiktivních jménech ovšem najdeme opět ve Zkoumání o smyslu a pravdivosti: Zakoušíme.Hamleta', nikoli Hamleta, avšak naše emoce platí při čtení hry Hamletovi, a ne.hamletovi'.... Hra.Hamlet' se tak zcela skládá z nepravdivých výroků, které překračují zkušenost, avšak jsou určitě signifikantní, neboť dovedou vzbudit emoce..." (tamtéž, s. 315) - toto je ovšem značně divné řešení - sémantika věty se jménem, které nic neoznačuje (a pomněme, že ani Sokrates nemusel existovat), je - pro Russella netypicky - odvržena odvoláním se na otázku pocitů. Věta ale přece nemá sémantický význam kvůli tomu, že vzbuzuje emoce. Prohlédneme-li situaci, tak jde jen o to, že žádné individuum dosud nebylo (není a ani třeba nebude Hamletem). Tuto potíž sémantiky fiktivních vlastních jmen elegantně řeší např. koncepce Pavla Tichého, podle které jsou fiktivní vlastní jména nikoli jmény individuí, ale jmény individuových rolí (tento přibližný analogon určitých deskripcí má pendant v Churchově individuových konceptech) 32 ; říci, že Hamlet neexistoval, znamená, že žádné individuum neplnilo roli Hamleta. Russell se tedy v důsledku odmítnutí smysluplnosti deskripcí (rolí) vyhnul rozumnému vyřešení problému fiktivních jmen. Dalším problémovým okruhem jsou vlastní jména (i určité deskripce), jimž někdy něco odpovídalo, ale v současné době jim nic neodpovídá (mj. podle Russella popis jako například současný král Francie", stejně jako v případě fiktivních jmen, také neztrácí svou schopnost mít v nějakém kontextu signifikaci pouze proto, že nic nepopisuje). 33 Russellovo nouzové" řešení spočívá v nahrazení vlastního jména deskripcí: Tážeme-li se tudíž, zda Homér existoval, používáme slova,homér' jako zkráceného popisu: můžeme ho nahradit (dejme tomu) výrazem,autor Illiady a Odysseje'. Tytéž úvahy se vztahují téměř na všechna užití slov, která vypadají jako vlastní jména" (Russell 1967b, s. 50). (Srov. výše Russellovu tezi o skrytých deskripcích.) Takovéto řešení jde ovšem jen stěží pokládat za dostatečné - lze si snadno představit selhání takovýchto sub- (přisouzení vlastnosti být modrooký), vztahujeme na individuum. Individuum může být modrooké, jednoprvková třída nikoli. Individuové role (úřady) - užijeme-li Tichého (Tichý 1994) explikaci výrazů jako prezident USA" - mají co dělat" s individui, ne s (unárními) vlastnostmi, právě o individuích, ne o vlastnostech, chceme výrazy jako nejjasnější nebeské těleso ranní oblohy" hovořit. 32 Teorie individuových rolí je podrobně podána např. in Pavel Tichý (1994):.Jednotliviny aich roly", Organon F 1, No. 1, s , No. 2, s , No. 3, s , No. 4. s Mj. co se týče Fregeho teorie rozlišení významu a smyslu, chápal ji Russell, zdá se, jako opozici denotátu (Fregeho významu) a deskripce (Fregeho smyslu) (Russell 1967a, s ); na rozdíl od Fregeho připouští deskripce jako předmět uvažování. Ovšem, jak hned upozorňuje, problém je u označujících frází, jimž chybí denotace (francouzský král). Fregeho opatření nulové denotace (prázdná třída) Russell nepřijal, výrok obsahující takovouto deskripci musí být nepravdivý a ne nesmyslný. Někteří autoři, např. Stephen Neale (1997), nepovažují tento útok proti Fregeho teorii za zcela jasný (srov. Neale 1997).

11 TEORIE VLASTNÍCH JMEN BERTRANDA RUSSELLA 103 stitucí (nedodržení principu zaměnitelnosti ekvivalentních výrazů salva verítate). Rozdílnými koncepcemi pro řešení takovýchto vět jsou např. Kripkeho teorie historické reference" 34 na straně jedné a Tichého teorie 35 na straně druhé. Tvrzeními, kterými nás Russell - v kontrastu s tím, jaká stanoviska a hodnocení v otázce signifikace určitých deskripcí proponoval - poněkud zaskočí, a která nalézáme už (a hlavně) ve stati O označení", jsou vyjádření o tom, že deskripce nemají samostatný význam: označující výraz nemá žádný význam sám o sobě, ale že význam má jakýkoli výrok, v němž se tyto slovní výrazy vyskytují" (Russell 1967a, s. 21), či dokonce: označující fráze... nemá, podobně jako většina jednotlivých slov, žádný význam sama o sobě" (tamtéž, s. 30). Otázkou, která samozřejmě vyvstane, je, zda Russell významem nerozumí něco jiného než signifikaci. Avšak zjistit, co měl Russell na mysli termínem význam, není jednoduché pro přemíru jiných významově příbuzných výrazů a nepravidelnost jejich užívání. Touto otázkou se zde nemůžeme podrobně zabývat, musí nám stačit vědět, že zřejmě významem chápe to, k čemu výraz referuje (pro to má výraz denotace); zdá se, že význam" je pro Russella to, co je v kompetenci logiky, logické sémantiky, kdežto signifikaci rozumí obecně i apelativní sílu výrazu apod. (srov. výše). Nasvědčuje tomu další část těchto jeho tvrzení, totiž že deskriptivní fráze nemá samostatný význam. Vstupem do této problematiky je pro Russella otázka deskripcí, které v současnosti nic neoznačují - např. současný král Francie". Aby se tedy vyhnul takovým singulárním termínům, které zastupují předmět, jenž neexistuje, pokouší se o eliminaci deskripcí. Na příkladu Scotta: Scott byl autor románu Waverley" přeměníme na výraz není pravda, že neexistuje takové x, že x napsal román Waverley, a že jestliže y napsal román Waverley, pak y je totožné s x, a že Scott je totožný s x", či v jiné Russellově formulaci.jedna a pouze jedna entita napsala román Waverley a Scott byl totožný s touto entitou" (Russell 1967a, s. 31). Tyto přeměněné výrazy neobsahují podle Russella žádnou složku awřor románu Waverley", za kterou by se dalo dosadit Scott"; následně deskripce nemají samostatný význam. 36 Problémem ale je, že nám vznikne existenční závazek - původní věta přitom zmiňovala jen Scotta a autora Waverley, netvrdila existenci nějakého individua (srov. níže v závěru); 37 tuto často kritizovanou věc si Russell uvědomoval. 34 Srov. Saul Krípke (1993): Identity and Necessity", in Meaning and Reference, A. W. Moore (ed.), Oxford: Oxford UP, s Pavel Tichý (1988): The Foundations of Frege 's Logic, Berlin-New York: Walter de Gruyter. 36.fráze sama o sobě nemá smysl, poněvadž, ať již se vyskytuje v jakémkoliv výroku, tento výrok ve svém plném vyjádření neobsahuje frázi, která by v něm byla rozložena." (Russell 1967a, s. 31). Při správné analýze výroku se deskripce rozloží a zmizí", Výraz,autor Waverley' vůbec není složkou výroku." (Russell 2000, s. 296). 37 Pouze formální odstraněni tohoto problému uvedl R. Camap (1958) in Meaning and Necessity. Chicago: The University of Chicago Press - Phoenic Edition.

12 104 JIRl RACLAVSKV VI. Kritika Pro ilustraci a jako jistou rekapitulaci Russellova chápání jazyka z perspektivy problému vlastních jmen si uveďme značně upravený Russellův příklad. Kněz pojmenuje shluk smyslových kvalit (zúženě - oblast časoprostoru) jménem Napoleon, tedy dí: Toto je Napoleon" (ve smyslu x = Napoleon). Následně lze Napoleona pojmenovat verbálně jako mladšího syna manželů Bonapartových (ve smyslu Napoleon = mladší syn manželů Bonapartových) - dojde tak k tomu, že přestaneme vyjadřovat svá bezprostřední pozorování, definujeme popisem (problém obeznámenosti). Russell také soudí, že lze říci i Toto je mladší syn manželů Bonapartových", čímž je slovo Napoleon definováno. Russell říká: každé jméno, jež se vztahuje na nějaký časoprostorový úsek, může mít verbální definici, v níž se vyskytuje slovo,ten', nebo nějaký jeho ekvivalent" (Russell 1975, s. 126). Přičemž podle něj právě tato okolnost odlišuje jména historických osob od jmen fiktivních osob, jakou je například Hamlet, neboť tam nemůžeme souřadnice (prostřednictvím toto") udat. Pokud Sokrates neexistoval, pak Sokrates" není jméno. Jestliže pak definujeme Sokrata jako filosofa, který vypil číši bolehlavu", tak nám to samozřejmě nezaručuje, že Sokrates existoval (tamtéž, s. 126). Ovšem deskripce mají tu potíž, jak Russell ví, že jsou založeny na kvalitách, avšak ty se mohou během života individua (v čase) měnit - Napoleon,jako dítě ani nenosil svůj typický klobouk, ani nevelel armádám, ani nekladl ruku na prsa, což také někdy dělali i jiní lidé" (tamtéž, s. 123). Snad i právě toto mohlo být příčinou Russellova znevažování a odstraňování deskripcí. Lze se oprávněně domnívat, že tato Russellova úvaha stojí v základech celé kauzální teorie (či přesněji teorie historické reference) vlastních jmen Saula Kripkeho. Přitom proti Russellově teorii vlastních jmen byla právě z pozic teorií vlastních jmen založených na referenci vedena kritika, což nemusíme zřejmě považovat za oprávněné - je nutné si uvědomit, že Russell nezamýšlel formulovat teorii reference. Donnellanova protiargumentace 38 (příkladem úspěšné reference jménem na věc, která přitom nesplňuje vlastnosti výrazem předepsané) může být napadena poukazováním na to, že reference spadá do oblasti pragmatiky, toho, jak mluvčí výrazy vskutku používají, sémantika těchto výrazů je záležitost odlišná - deviace od ustáleného významu při zachování porozumění dosahuje v chování mluvčích nepřeberné škály (takto se dá ovšem napadat i Strawsonova kritika Russella, srov. níže). Kripkeho recepce Russella je vícevrstevnatá: jistá část jeho teorie je sice kritikou Russella, avšak mnohé z Kripkeho teorie Russellovým názorům vděčí. 39 Russellova teorie deskripcí může být zřejmě stále obhajována ze zdrojů celé Russellovy teorie proti teoriím popírajícím existenci deskripcí či redukujícím deskripce na prostředky reference. 40 Ar- 38 Keith S. Donnellan (1998):,.Referenda a určité deskripcie". Organon F 5, No. 1. s Tímto se zde nemůžeme hlouběji zaobírat. 40 Odhalování skrytých deskripcí vede stále k protiargumentům vůči těm sémantikám, které jména jako např. Jitřenka považují - díky referenci - zájmena Venuše, jak to činí např. Kripke (ale už i Frege).

13 TEORIE VLASTNÍCH JMEN BERTRANDA RUSSELLA 105 gumentaci proti názoru, že Russell formuloval teorii reference, uvedl mj. Marián Zouhar ve stati Referenda a Russellova teória vlastných mien" (Zouhar 1999); tuto jím uváděnou argumentaci poněkud zpřesníme. Je jisté, že určitá část Russellových názorů ve věci významu vlastního jména podává tento význam jako deskripci (buďto osoba pojmenovaná XY", anebo,fiutor Illiady a Odysseye"; obojí srov. výše), v takovém případě není Russellova teorie teorií reference. Tento argument ovšem není snad dostatečně silný - tezi o konverzi jmen na deskripci lze odůvodněně chápat jako ad hoc dodatek k jádru Russellovy teorie, kterou je teze, že vlastní jméno pojmenovává svazek kvalit. Toto poukázání má ovšem jednu slabinu - je to otázka, zda se reference týká individuí (Russellova teorie by pak také - pomineme-li ovšem tvrzení, která Russell rovněž uváděl - nebyla teorií reference) anebo svazků kvalit (toto epistemologické rozlišení nebývá u teoretiků přímé reference zformulováno). V roce 1950 publikoval Peter Frederick Strawson studii On Referring" (Strawson 1950), která byla vlastně prvním principiálním napadením Russellovy (téměř padesát let vůdčí) teorie vlastních jmen. Strawson se v protiargumentaci dotkl řady bodů Russellovy teorie, my si uvedeme jen jádro jeho kritiky. Klíčem je Strawsonovo upozornění (napadající vlastně Russellův princip obeznámenosti), že cílem mluvčích je referovat k věcem diskursu, např. k individuím. Výrazy jako současný francouzský král" jsou sice nezdařilé v určení určitého individua z pohledu logiky, nicméně posluchač rozumí, na co chce jiný mluvčí ukazovat. Tedy navzdory tomu, že neznáme dané individuum, individuová deskripce francouzský král" je dokonale srozumitelná i sama o sobě. Na úrovni vět pak tento rozdíl spočívá v tom, že větám jako Současný francouzský král je holohlavý" posluchač mluvčímu rozumí, avšak otázka pravdivosti přitom vůbec nemusí vcházet v potaz. Z logického hlediska Strawson tak nesdílí Russellovu obavu z případné parciality funkce (přiřazující pravdivostní hodnotu), která je významem věty - tato věta není v současnosti ani pravdivá, ani nepravdivá, protože není splněna podmínka existence osoby, která by byla francouzským králem. 41 Strawsonem iniciovaný presupoziční test vět a následné konstatování případné absence pravdivostní hodnoty vede k takové teorii pravdivosti vět, která nedosahuje tak závažných problémů jako teorie Russellova. Zásadním problémem diskutovaného aspektu Russellovy koncepce je otázka, jaká je negace nepravdivé věty Současný francouzský král je holohlavý". Věta Současný francouzský král není holohlavý" by měla mít negaci pravdivostní hodnoty nepravda, tedy hodnotu pravda. Podle Russella by vzhledem k tomu, že určitá deskripce není splněna (současný francouzský král neexistuje), měla být rovněž nepravdivá. Odtud paradox, který Russell řeší ne zcela přesvědčujícím dodatkem ke své teo- 41 Russell Strawsonovu kritiku nepřijal a ze stati,jvir. Strawson on Referring" (B. Russell, 1967d, in Contemporary Readings in Logical Theory, Irving M. Copi - James A. Gould (eds.), New York: The Macmillan a London: Collier-Macmillan Limited, s ) se zdá, že ji ani nepochopil. Problémy existence a Russellovo i Strawsonovo postavení v této problematice jsou rozebírány in Jiří Raclavský (2000b): Existence jako vlastnost", ProFil, No. 2,

14 106 JIŘÍ RACLAVSKV rii, kterým je odhalování primárního" a sekundárního výskytu" určité deskripce. Věta Současný francouzský král není holohlavý" může být formálně vysvětlena bud jako přisouzení ne-holohlavosti" současnému francouzskému králi - deskripce tu má primární výskyt, anebo jako ekvivalent věty Není pravda, že současný francouzský král je holohlavý" - deskripce tu má sekundární výskyt, věta je pravdivá (Russell 1967a, s ). 42 Samotná definice sekundárního výskytu, totiž: Sekundární výskyt označující fráze lze definovat jako takový výskyt, v němž se fráze vyskytuje ve výroku p, který je pouhou složkou uvažovaného výroku, přičemž substituce za označující frázi musí být uskutečněna v p, nikoliv v celém uvažovaném výroku." (tamtéž, s. 32), dává k dispozici směr, kterým se může kritika tohoto Russellova názoru ubírat, totiž porušení přirozenosti vyjádření (a i kompozicionality) větného významu. Takovýto argument proti Russelově teorii vlastně uvádí Petr Kolář 43. Budeme-li totiž chtít negovat větu Ten, kdo jako první dokázal neúplnost aritmetiky, zemřel vyhladověním" (podle Russella větu Existuje člověk x takový, že x jako první dokázal neúplnost aritmetiky, nikdo jiný než x nedokázal jako první neúplnost aritmetiky, a x zemřel vyhladověním"), byla by Russellovou negací věta Ten, kdo jako první dokázal neúplnost aritmetiky, nezemřel vyhladověním, anebo nikdo jiný jako první nedokázal neúplnost aritmetiky" a to navzdory tomu, že popíráním uváděné věty tvrdíme jen větu Ten, kdo jako první dokázal neúplnost aritmetiky, nezemřel vyhladověním". Samotnou eliminační metodu deskripcí pak přesvědčivě napadá Pavel Tichý (Tichý 1994, s ). Tichý ukazuje, jak Russellova metoda eliminace, která funguje v řadě kontextů, v některých kontextech selhává. Např. Jan mluví 0 mých hodinkách" eliminuje Russell větou Existuje takové x, že a) x jsou hodinky, které vlastním, b) Jan mluví o x, c) pro všechna y platí, že pokud y jsou hodinky, které vlastním, tak y=x". Jenže tyto věty však nejsou vzájemně zaměnitelné. První věta může být pravdivá, i když žádné hodinky nemám, resp. 1 když Jan mluví o hodinkách, které v této době nevlastním (srov. též Tichý 1988, s ). Dalším případem problému je věta Jan řekl, že moje hodinky byly vyrobené ve Švýcarsku". Zde je otázka, zda eliminační metodu uplatnit na celek věty, či jen na její druhou část. V prvním případě máme tedy Existuje takové x, že a) x jsou hodinky, které vlastním, b) Jan řekl, že byly x vyrobeny ve Švýcarsku, c) pro všechna y platí, že pokud y jsou hodinky, které vlastním, tak y=x". Ve druhém Jan řekl, že existuje x takové, že a) x jsou hodinky, které vlastním, b) x byly vyrobeny ve Švýcarsku, c) pro všechna y platí, že pokud y jsou hodinky, které vlastním, tak y=x.". Z první eliminace (podobně jako u věty Jan mluví o mých hodinkách") vyplývá, že mám hodinky - Russellova teorie deskripcí se opírá o mylný předpoklad, že v každé propozici obsahující deskripci se tvrdí existence jednotlivin určitého druhu" (Tichý 1994, s. 221). Ve druhé eliminaci se předpoklad existence mých hodinek připisuje spíše Janovi, věta 42 Přehledně toto své stanovisko Russell formuluje ve.filozofii logického atomizmu" (Russell 2000, s ). 43 Pavel Kolář (1999): Argumentyfilosofickélogiky, Praha: Filosofia, zejm. s

15 TEORIE VLASTNÍCH JMEN BERTRANDA RUSSELLA 107 druhá je tedy zřejmě plausibilnější eliminací. Tichého kritika upozorňuje tedy jednak na nezaměnitelnost Russellovy parafráze s původní větou, jednak na neadekvátní podsunutí existence do této parafráze (srov. i výše uváděné protiargumenty). BERTRAND RUSSELL'S THEORY OF PROPER NAMES The present páper gives a comprehensive explication of Russell's theory of proper names. According to Russell there are some basic categories of names: proper and improper symbols. Only a logically proper name" (for example this") belongs to the first one. The status of proper names can be situated somewhere closely to logical proper name. On the other hand, Russell disclosed defínite descriptions, i.e., terms which should denote definite individuals by their own form. Incidentally Russell found several kinds of proper names that are also defínite descriptions, especially hidden descriptions", but for some purposes Russell used to convert real proper names (fictive or historical) into defínite descriptions. The fact that certain expressions lack denotatum led him to eliminate descriptions and to disclaim their meaningfulness (they are improper symbols). Many ideas of Russell's theory are then criticized (with the contribution of arguments of Strawson, Tichý and Kolář).

16

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

Primární a sekundární výskyt označující fráze. Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5. Primární a sekundární výskyt označující fráze Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5. 2012 Russellovo rozlišení jména a popisu Označující fráze Primární a sekundární

Více

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

Logika a jazyk. filosofický slovník, Praha:Svoboda 1966) Logika a jazyk V úvodu bylo řečeno, že logika je věda o správnosti (lidského) usuzování. A protože veškeré usuzování, odvozování a myšlení vůbec se odehrává v jazyce, je problematika jazyka a jeho analýza

Více

Úvod do teorie deskripcí (pokračování)

Úvod do teorie deskripcí (pokračování) Úvod do teorie deskripcí (pokračování) Označující fráze je esenciálně součástí věty a nemá význam sama o sobě. Scott byl člověk x byl člověk : Scott je subjektem výroku. Autor Wawerly byl člověk x byl

Více

Definice. Petr Kuchyňka

Definice. Petr Kuchyňka Definice Petr Kuchyňka (7765@mail.muni.cz) 1 Úvod Pravdivost vět či platnost argumentů lze kompetentně posoudit, jen když je jasné, co přesně znamenají výrazy v nich užité. Základním prostředkem specifikace

Více

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

Úvod do logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 23 Úvod do logiky (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 23 Co je logika? Čeho se týkají logické zákony? Tři možnosti: (1) světa (2) myšlení (3) jazyka (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216

Více

Logický důsledek. Petr Kuchyňka (7765@mail.muni.cz)

Logický důsledek. Petr Kuchyňka (7765@mail.muni.cz) Logický důsledek Petr Kuchyňka (7765@mail.muni.cz) Úvod P 1 Logický důsledek je hlavním předmětem zájmu logiky. Je to relace mezi premisami a závěry logicky platných úsudků: v logicky platném úsudku závěr

Více

Predikátová logika Individua a termy Predikáty

Predikátová logika Individua a termy Predikáty Predikátová logika Predikátová logika je rozšířením logiky výrokové o kvantifikační výrazy jako každý, všichni, někteří či žádný. Nejmenší jazykovou jednotkou, kterou byla výroková logika schopna identifikovat,

Více

ETIKA. Benedictus de SPINOZA

ETIKA. Benedictus de SPINOZA ETIKA Benedictus de SPINOZA Ukázka knihy z internetového knihkupectví www.kosmas.cz Benedictus de Spinoza ETIKA ETIKA Benedictus de SPINOZA ETIKA Translation Karel Hubka, 1977 Czech edition dybbuk, 2004

Více

1. Matematická logika

1. Matematická logika MATEMATICKÝ JAZYK Jazyk slouží člověku k vyjádření soudů a myšlenek. Jeho psaná forma má tvar vět. Každá vědní disciplína si vytváří svůj specifický jazyk v úzké návaznosti na jazyk živý. I matematika

Více

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

Ludwig WITTGENSTEIN: Tractatus Logico-Philosophicus, 1922 Překlad: Jiří Fiala, Praha: Svoboda, 1993 Ludwig WITTGENSTEIN: Tractatus Logico-Philosophicus, 1922 Překlad: Jiří Fiala, Praha: Svoboda, 1993 l Svět je všechno, co fakticky je. 1.l Svět je celkem faktů a nikoli věcí. l.2 Svět se rozpadá na fakty.

Více

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

teorie logických spojek chápaných jako pravdivostní funkce Výroková logika teorie logických spojek chápaných jako pravdivostní funkce zabývá se způsoby tvoření výroků pomocí spojek a vztahy mezi pravdivostí různých výroků používá specifický jazyk složený z výrokových

Více

Úvod do logiky (VL): 5. Odvození výrokových spojek z jiných

Úvod do logiky (VL): 5. Odvození výrokových spojek z jiných Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (VL): 5. Odvození z jiných doc. PhDr. Jiří Raclavský,

Více

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

Inteligentní systémy (TIL) Marie Duží Inteligentní systémy (TIL) Marie Duží http://www.cs.vsb.cz/duzi/ /d Přednáška 3 Sémantické schéma Výraz vyjadřuje označuje Význam (konstrukce konstrukce) k ) konstruuje denotát Ontologie TIL: rozvětvená

Více

Úvod do logiky (PL): analýza vět přirozeného jazyka

Úvod do logiky (PL): analýza vět přirozeného jazyka Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (PL): analýza vět přirozeného jazyka doc. PhDr.

Více

Sémantika predikátové logiky

Sémantika predikátové logiky Sémantika predikátové logiky pro analýzu sémantiky potřebujeme nejprve specifikaci jazyka (doména, konstanty, funkční a predikátové symboly) příklad: formální jazyk s jediným binárním predikátovým symbolem

Více

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

Projekt CZ.1.07/2.2.00/28.0216 Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia Gottlob FREGE: O smyslu a významu, 1892 In: Zeitschrift fűr Philosophie und philos. Kritik, NF 100, 1892 Překlad: Jiří Fiala, In: Scientia Philosophia (SciPhi) 4, červen 1992, Praha Rovnost 1 ) vyžaduje

Více

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

Negativní informace. Petr Štěpánek. S použitím materiálu M.Gelfonda a V. Lifschitze. Logické programování 15 1 Negativní informace Petr Štěpánek S použitím materiálu M.Gelfonda a V. Lifschitze 2009 Logické programování 15 1 Negace jako neúspěch Motivace: Tvrzení p (atomická formule) neplatí, jestliže nelze odvodit

Více

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

Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz Jednoduché úsudky, kde VL nestačí Všechny opice mají rády banány Judy je opice Judy má ráda banány Z hlediska VL

Více

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

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 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+3=8-3, apod.) nejenže nejsou kontradiktorické (každý objekt

Více

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

Matematická logika. Lekce 1: Motivace a seznámení s klasickou výrokovou logikou. Petr Cintula. Ústav informatiky Akademie věd České republiky Matematická logika Lekce 1: Motivace a seznámení s klasickou výrokovou logikou Petr Cintula Ústav informatiky Akademie věd České republiky www.cs.cas.cz/cintula/mal Petr Cintula (ÚI AV ČR) Matematická

Více

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

Okruh č.3: Sémantický výklad predikátové logiky Okruh č.3: Sémantický výklad predikátové logiky Predikátová logika 1.řádu formalizuje úsudky o vlastnostech předmětů a vztazích mezi předměty pevně dané předmětné oblasti (univerza). Nebudeme se zabývat

Více

1. Matematická logika

1. Matematická logika Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/07.0018 1. Matematická logika Základem každé vědy (tedy i matematiky i fyziky) je soubor jistých znalostí. To, co z těchto izolovaných poznatků

Více

Úvod do informatiky. Miroslav Kolařík

Úvod do informatiky. Miroslav Kolařík Úvod do informatiky přednáška první Miroslav Kolařík Zpracováno dle učebního textu prof. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008. Obsah 1 Co a k čemu je logika? 2 Výroky a logické spojky

Více

Matematická logika. Miroslav Kolařík

Matematická logika. Miroslav Kolařík Matematická logika přednáška první Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika

Více

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

Místo pojmu výroková formule budeme používat zkráceně jen formule. Při jejich zápisu VÝROKOVÁ LOGIKA Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. Co je výrok nedefinujejme, pouze si řekneme, co si pod

Více

Základní pojmy matematické logiky

Základní pojmy matematické logiky KAPITOLA 1 Základní pojmy matematické logiky Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. 1. Výroková logika Co je

Více

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.

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. Studijní text Co je singulární výrok SINGULÁRNÍ VÝROKY: PETR Petr je veselý. Jednoduchý singulární výrok vznikne spojením singulárního termínu s termínem obecným pomocí spony=slova je. Příklad: Pavel je

Více

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

Úvod do logiky (PL): sémantika predikátové logiky Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (PL): sémantika predikátové logiky doc. PhDr. Jiří

Více

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

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 Filosofie Základy logiky 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 množiny věcí? Ukazuje na

Více

platné nejsou Sokrates je smrtelný. (r) 1/??

platné nejsou Sokrates je smrtelný. (r) 1/?? Predikátová logika plně přejímá výsledky výrokové logiky zabývá se navíc strukturou jednotlivých jednoduchých výroků na základě této analýzy lze odvodit platnost některých výroků, které ve výrokové logice

Více

Matematická logika. Miroslav Kolařík

Matematická logika. Miroslav Kolařík Matematická logika přednáška šestá Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika

Více

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

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 Otázka 06 - Y01MLO Zadání Predikátová logika, formule predikátové logiky, sentence, interpretace jazyka predikátové logiky, splnitelné sentence, tautologie, kontradikce, tautologicky ekvivalentní formule.

Více

Logika. 2. Výroková logika. RNDr. Luděk Cienciala, Ph. D.

Logika. 2. Výroková logika. RNDr. Luděk Cienciala, Ph. D. Logika 2. Výroková logika RNDr. Luděk Cienciala, Ph. D. Tato inovace předmětu Úvod do logiky je spolufinancována Evropským sociálním fondem a Státním rozpočtem ČR, projekt č. CZ. 1.07/2.2.00/28.0216, Logika:

Více

Predikátová logika. prvního řádu

Predikátová logika. prvního řádu Predikátová logika prvního řádu 2 Predikát Predikát je n-ární relace - vyjadřuje vlastnosti objektů a vztahy mezi objekty - z jednoduchého výroku vznikne vypuštěním alespoň jednoho jména objektu (individua)

Více

1 Výroková logika 1. 2 Predikátová logika 3. 3 Důkazy matematických vět 4. 4 Doporučená literatura 7

1 Výroková logika 1. 2 Predikátová logika 3. 3 Důkazy matematických vět 4. 4 Doporučená literatura 7 1 Výroková logika 1 Výroková logika 1 2 Predikátová logika 3 3 Důkazy matematických vět 4 4 Doporučená literatura 7 Definice 1.1 Výrokem rozumíme každé sdělení, o kterém má smysl uvažovat, zda je, či není

Více

KMA/MDS Matematické důkazy a jejich struktura

KMA/MDS Matematické důkazy a jejich struktura Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.0141 KMA/MDS Matematické důkazy a jejich struktura Seminář 3 Predikátový počet Uvažujme následující úsudek.

Více

LOGIKA VÝROKOVÁ LOGIKA

LOGIKA VÝROKOVÁ LOGIKA LOGIKA Popisuje pravidla odvozování jedněch tvrzení z druhých. Je to myšlenková cesta ke správným závěrům. Vznikla jako součást filosofie. Zakladatelem byl Aristoteles. VÝROKOVÁ LOGIKA Obsahuje syntaktická,

Více

Příklad z učebnice matematiky pro základní školu:

Příklad z učebnice matematiky pro základní školu: Příklad z učebnice matematiky pro základní školu: Součet trojnásobku neznámého čísla zvětšeného o dva a dvojnásobku neznámého čísla zmenšeného o pět se rovná čtyřnásobku neznámého čísla zvětšeného o jedna.

Více

Výroková logika II. Negace. Již víme, že negace je změna pravdivostní hodnoty výroku (0 1; 1 0).

Výroková logika II. Negace. Již víme, že negace je změna pravdivostní hodnoty výroku (0 1; 1 0). Výroková logika II Negace Již víme, že negace je změna pravdivostní hodnoty výroku (0 1; 1 0). Na konkrétních příkladech si ukážeme, jak se dají výroky negovat. Obecně se výrok dá negovat tak, že před

Více

Výroková logika. Teoretická informatika Tomáš Foltýnek

Výroková logika. Teoretická informatika Tomáš Foltýnek Výroková logika Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz Teoretická informatika strana 2 Opakování z minulé přednášky Co je to formalismus a co je jeho cílem? Formulujte Russelův paradox

Více

1 Řešení soustav lineárních rovnic

1 Řešení soustav lineárních rovnic 1 Řešení soustav lineárních rovnic 1.1 Lineární rovnice Lineární rovnicí o n neznámých x 1,x 2,..., x n s reálnými koeficienty rozumíme rovnici ve tvaru a 1 x 1 + a 2 x 2 +... + a n x n = b, (1) kde koeficienty

Více

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

Výroková logika. p, q, r... Výroková logika Výroková logika je logika, která zkoumá pravdivostní podmínky tvrzení a vztah vyplývání v úsudcích na základě vztahů mezi celými větami. Můžeme též říci, že se jedná o logiku spojek, protože

Více

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...

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... 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.... slovech správném myšlení myšlení Otázka číslo: 2 Základy

Více

1 Výrok a jeho negace

1 Výrok a jeho negace 1 Výrok a jeho negace Výrokem se rozumí sdělení, u něhož má smysl otázka, zda je, či není pravdivé. Budeme určovat tzv. pravdivostní hodnotu výroku (PH). Příklady výroků: V Úhlopříčky čtverce jsou na sebe

Více

2.2 Sémantika predikátové logiky

2.2 Sémantika predikátové logiky 14 [101105-1155] 2.2 Sémantika predikátové logiky Nyní se budeme zabývat sémantikou formulí, tj. jejich významem a pravdivostí. 2.2.1 Interpretace jazyka predikátové logiky. Interpretace predikátové logiky

Více

Každé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α

Každé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α 1. JAZYK ATEATIKY 1.1 nožiny nožina je souhrn objektů určitých vlastností, které chápeme jako celek. ZNAČENÍ. x A x A θ A = { { a, b a A = B A B 0, 1 2 a, a,..., a n x patří do množiny A x nepatří do množiny

Více

Úvod do logiky (VL): 4. Zjištění průběhu pravdivostních hodnot formule tabulkovou metodou

Úvod do logiky (VL): 4. Zjištění průběhu pravdivostních hodnot formule tabulkovou metodou Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (VL): 4. Zjištění průběhu pravdivostních hodnot

Více

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

Formální systém výrokové logiky Formální systém výrokové logiky 1.Jazyk výrokové logiky Nechť P = {p,q,r, } je neprázdná množina symbolů, které nazýváme prvotní formule. Symboly jazyka L P výrokové logiky jsou : a) prvky množiny P, b)

Více

4.2 Syntaxe predikátové logiky

4.2 Syntaxe predikátové logiky 36 [070507-1501 ] 4.2 Syntaxe predikátové logiky V tomto oddíle zavedeme syntaxi predikátové logiky, tj. uvedeme pravidla, podle nichž se tvoří syntakticky správné formule predikátové logiky. Význam a

Více

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

Výroková a predikátová logika - II Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 1 / 17 Předběžnosti Základní pojmy n-ární relace a funkce

Více

Matematická logika. Rostislav Horčík. horcik

Matematická logika. Rostislav Horčík.    horcik Matematická logika Rostislav Horčík horcik@math.feld.cvut.cz horcik@cs.cas.cz www.cs.cas.cz/ horcik Rostislav Horčík (ČVUT FEL) Y01MLO Letní semestr 2007/2008 1 / 20 Predikátová logika Motivace Výroková

Více

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

Logika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD. Tematické okruhy: 1. Stručné dějiny logiky a její postavění ve vědě 2. Analýza složených výroků pomocí pravdivostní tabulky 3. Subjekt-predikátová

Více

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

Odpověď na Sousedíkovu kritiku Fregeho výroku o existenci Discussions Odpověď na Sousedíkovu kritiku Fregeho výroku o existenci Antonín Dolák Stanislav Sousedík ve svém příspěvku (Sousedík 2008, 489 492) zareagoval na mou recenzi (Dolák 2008) týkající se jeho

Více

Další (neklasické) logiky. Jiří Velebil: AD0B01LGR 2015 Predikátová logika 1/20

Další (neklasické) logiky. Jiří Velebil: AD0B01LGR 2015 Predikátová logika 1/20 Predikátová logika Jiří Velebil: AD0B01LGR 2015 Predikátová logika 1/20 Jazyk predikátové logiky Má dvě sorty: 1 Termy: to jsou objekty, o jejichž vlastnostech chceme hovořit. Mohou být proměnné. 2 Formule:

Více

Marie Duží

Marie Duží Marie Duží marie.duzi@vsb.cz Učební texty: http://www.cs.vsb.cz/duzi Tabulka Courses, odkaz Mathematical Učební texty, Presentace přednášek kursu Matematická logika, Příklady na cvičení + doplňkové texty.

Více

1 Pravdivost formulí v interpretaci a daném ohodnocení

1 Pravdivost formulí v interpretaci a daném ohodnocení 1 Pravdivost formulí v interpretaci a daném ohodnocení Než uvedeme konkrétní příklady, zopakujme si definici interpretace, ohodnocení a pravdivosti. Necht L je nějaký jazyk. Interpretaci U, jazyka L tvoří

Více

Problémy přímé reference se zaměřením na dílo S. A. Kripkeho

Problémy přímé reference se zaměřením na dílo S. A. Kripkeho Západočeská univerzita v Plzni Fakulta filozofická Diplomová práce Problémy přímé reference se zaměřením na dílo S. A. Kripkeho Barbora Kondrová Plzeň 2013 Západočeská univerzita v Plzni Fakulta filozofická

Více

Logické programy Deklarativní interpretace

Logické programy Deklarativní interpretace Logické programy Deklarativní interpretace Petr Štěpánek S využitím materialu Krysztofa R. Apta 2006 Logické programování 7 1 Algebry. (Interpretace termů) Algebra J pro jazyk termů L obsahuje Neprázdnou

Více

Výbor textů k moderní logice

Výbor textů k moderní logice Mezi filosofií a matematikou 5 Logika 20. století: mezi filosofií a matematikou Výbor textů k moderní logice K vydání připravil a úvodními slovy opatřil Jaroslav Peregrin 2006 Mezi filosofií a matematikou

Více

Mezi... aspekty řadíme obecné pojmy, tvrzení či soudy a tvrzení následně vyvozená.

Mezi... aspekty řadíme obecné pojmy, tvrzení či soudy a tvrzení následně vyvozená. Logika 6 Zadání: Doplň vhodný termín z nabízených nebo vyber správnou odpověď: Otázka číslo: 1 Mezi... aspekty řadíme obecné pojmy, tvrzení či soudy a tvrzení následně vyvozená. formální neformální obsahové

Více

Nepřijde a nedám 100 Kč měl jsem pravdu, o této

Nepřijde a nedám 100 Kč měl jsem pravdu, o této 1.4.4 Implikace Předpoklady: 010403 Implikace Implikace libovolných výroků a,b je výrok, který vznikne jejich spojením slovním obratem jestliže, pak, píšeme a b a čteme jestliže a, pak b. Výroku a se říká

Více

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

Výroková a predikátová logika - VI Výroková a predikátová logika - VI Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VI ZS 2017/2018 1 / 24 Predikátová logika Úvod Predikátová logika Zabývá

Více

Gödelovy věty o neúplnosti

Gödelovy věty o neúplnosti Gödelovy věty o neúplnosti Miloš Jakubíček PB016 Úvod do umělé inteligence Fakulta informatiky, Masarykova univerzita 23. listopadu 2007 1 Gödel & historie Kurt Gödel Historický kontext 2 Jazyk a metajazyk

Více

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

Výroková a predikátová logika - II Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2015/2016 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2015/2016 1 / 18 Základní syntax Jazyk Výroková logika je logikou

Více

Explikace. Petr Kuchyňka

Explikace. Petr Kuchyňka Explikace Petr Kuchyňka (7765@mail.muni.cz) 1 Úvod Při komunikaci v přirozeném jazyce jsme neustále vystaveni hrozbě nedorozumění: řídíme se pravidly, která nejsou nikde explicitně uvedená ani nejsou dostatečně

Více

Matematická analýza pro informatiky I. Limita funkce

Matematická analýza pro informatiky I. Limita funkce Matematická analýza pro informatiky I. 5. přednáška Limita funkce Jan Tomeček tomecek@inf.upol.cz http://aix-slx.upol.cz/ tomecek/index Univerzita Palackého v Olomouci 18. března 2011 Jan Tomeček, tomecek@inf.upol.cz

Více

Úvod do logiky (PL): logický čtverec

Úvod do logiky (PL): logický čtverec Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (PL): logický čtverec doc. PhDr. Jiří Raclavský,

Více

Pracovní celky 3.2, 3.3 a 3.4 Sémantická harmonizace - Srovnání a přiřazení datových modelů

Pracovní celky 3.2, 3.3 a 3.4 Sémantická harmonizace - Srovnání a přiřazení datových modelů Pracovní celky 3.2, 3.3 a 3.4 Sémantická harmonizace - Srovnání a datových modelů Obsah Seznam tabulek... 1 Seznam obrázků... 1 1 Úvod... 2 2 Metody sémantické harmonizace... 2 3 Dvojjazyčné katalogy objektů

Více

Výroková logika. Sémantika výrokové logiky

Výroková logika. Sémantika výrokové logiky Výroková logika Výroková logika se zabývá vztahy mezi dále neanalyzovanými elementárními výroky. Nezabývá se smyslem těchto elementárních výroků, zkoumá pouze vztahy mezi nimi. Elementární výrok je takový

Více

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

Základní problémy teorie poznání Základní problémy teorie poznání Základní přístupy k teorii poznání Metafyzická epistemologie - nejdříve co existuje, pak jak to můžeme poznat (Platón, Aristotelés) Skeptická epistemologie - nejdříve je

Více

Normální formy. (provizorní text)

Normální formy. (provizorní text) Normální formy (provizorní text) Výrokový počet Definice. Jazyk výrokového počtu obsahuje výrokové proměnné p, q, r, s,..., spojky,,,.. a závorky (,). Výrokové proměnné jsou formule. Jestliže a jsou formule,

Více

E L O G O S, ELECTRONIC JOURNAL FOR PHILOSOPHY/2003, ISSN Vladimír Kyprý.

E L O G O S, ELECTRONIC JOURNAL FOR PHILOSOPHY/2003, ISSN Vladimír Kyprý. 1 E L O G O S, ELECTRONIC JOURNAL FOR PHILOSOPHY/2003, ISSN 1211-0442. ---------------------- Ještě k problematice filosofické antropologie jako antropologické ontologie. Vladimír Kyprý. Resumé: Tato stať

Více

Matematická analýza pro informatiky I. Limita posloupnosti (I)

Matematická analýza pro informatiky I. Limita posloupnosti (I) Matematická analýza pro informatiky I. 3. přednáška Limita posloupnosti (I) Jan Tomeček tomecek@inf.upol.cz http://aix-slx.upol.cz/ tomecek/index Univerzita Palackého v Olomouci 25. února 2011 tomecek@inf.upol.cz

Více

KAPITOLA 3 ZÁSADY SPRÁVNÍHO ŘÍZENÍ

KAPITOLA 3 ZÁSADY SPRÁVNÍHO ŘÍZENÍ KAPITOLA 3 ZÁSADY SPRÁVNÍHO ŘÍZENÍ OSNOVA ZÁKLADNÍCH ZNALOSTÍ zásady správního řízení pojem, funkce, odlišení od základních zásad činnosti správních orgánů zásada dispoziční a zásada oficiality zásada

Více

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

Obsah Předmluva Rekapitulace základních pojmů logiky a výrokové logiky Uvedení do predikátové logiky...17 Obsah Předmluva...3 0. Rekapitulace základních pojmů logiky a výrokové logiky...11 0.1 Logika jako věda o vyplývání... 11 1. Uvedení do predikátové logiky...17 1.1 Základní terminologie... 17 1.2 Základní

Více

Logika. 1. Úvod, Výroková logika

Logika. 1. Úvod, Výroková logika Logika 1. Úvod, Výroková logika RNDr. Luděk Cienciala, Ph. D. Tato inovace předmětu Úvod do logiky je spolufinancována Evropským sociálním fondem a Státním rozpočtem ČR, projekt č. CZ. 1.07/2.2.00/28.0216,

Více

ATOMISTICKÁ SÉMANTIKA:

ATOMISTICKÁ SÉMANTIKA: 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

Více

Formálnílogickésystémy pro aplikaci v informatice Martin Žáček

Formálnílogickésystémy pro aplikaci v informatice Martin Žáček ZVYŠOVÁNÍODBORNÝCH KOMPETENCÍAKADEMICKÝCH PRACOVNÍKŮ OSTRAVSKÉUNIVERZITY V OSTRAVĚ A SLEZSKÉ UNIVERZITY V OPAVĚ Formálnílogickésystémy pro aplikaci v informatice Martin Žáček PŘEDMĚTY NA OU Logické základy

Více

Booleovská algebra. Booleovské binární a unární funkce. Základní zákony.

Booleovská algebra. Booleovské binární a unární funkce. Základní zákony. Booleovská algebra. Booleovské binární a unární funkce. Základní zákony. Tomáš Bayer bayertom@natur.cuni.cz Katedra aplikované geoinformatiky a kartografie, Přírodovědecká fakulta UK. Tomáš Bayer bayertom@natur.cuni.cz

Více

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

Výroková a predikátová logika - II Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2013/2014 1 / 20 Základní syntax Jazyk Výroková logika je logikou

Více

Sémantika výrokové logiky. Alena Gollová Výroková logika 1/23

Sémantika výrokové logiky. Alena Gollová Výroková logika 1/23 Výroková logika Alena Gollová Výroková logika 1/23 Obsah 1 Formule výrokové logiky 2 Alena Gollová Výroková logika 2/23 Formule výrokové logiky Výrok je oznamovací věta, o jejíž pravdivosti lze rozhodnout.

Více

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

1 Úvod. Zdálo by se, že vyložit, jak je to s lidskou myslí, není až tak obtížné: 1 Úvod Zdálo by se, že vyložit, jak je to s lidskou myslí, není až tak obtížné: My všichni lidé jsme myslící bytosti, neboli všichni máme mysl. Do své mysli můžeme každý nahlížet, rojí se nám tam různé

Více

Implikace letitá, ale stále atraktivní dáma

Implikace letitá, ale stále atraktivní dáma Implikace letitá, ale stále atraktivní dáma Jan Kábrt Proč se zajímat o logiku a v ní právě o implikaci? Mimo jiné pro souvislost s takovými oblastmi lidského myšlení, jako jsou matematika, ostatní přírodní

Více

ZÁKLADY LOGIKY A METODOLOGIE

ZÁKLADY LOGIKY A METODOLOGIE ZÁKLADY LOGIKY A METODOLOGIE Metodický list č. 1 Téma: Předmět logiky a metodologie, základy logiky a formalizace. Toto téma lze rozdělit do tří základních tématických oblastí: 1) Předmět logiky a metodologie

Více

Úvod do logiky (VL): 11. Ověřování, zda je formule tautologií metodou protipříkladu

Úvod do logiky (VL): 11. Ověřování, zda je formule tautologií metodou protipříkladu Jiří Raclavský (214): Úvod do logiky: klasická výroková logika Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.7/2.2./28.216, OPVK) Úvod

Více

Znovu o existenci 1. Pavel Materna. Discussions

Znovu o existenci 1. Pavel Materna. Discussions Discussions Znovu o existenci 1 Pavel Materna Primární důvod, proč existenci nemůžeme předikovat o jednotlivinách, je dán tím, že by to vedlo k nesmyslné činnosti ověřování, zda daná jednotlivina existuje

Více

Predikátová logika (logika predikátů)

Predikátová logika (logika predikátů) Predikátová logika (logika predikátů) Ve výrokové logice pracujeme s jednoduchými či složenými výroky, aniž nás zajímá jejich struktura. Příklad. Jestliže Karel je studentem, pak je (Karel) chytřejší než

Více

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

Teoreticko-metodologický seminář. Zdeňka Jastrzembská Teoreticko-metodologický seminář Zdeňka Jastrzembská jastrzem@phil.muni.cz A) Co je to věda? Věda je každý celek hodný toho, aby mohl být předmětem intelektuální výuky na vysokých školách. Věda je specifický

Více

Premisa Premisa Závěr

Premisa Premisa Závěr Studijní text Argumentace Jak to v komunikaci přirozeně děláme, jak argumentujeme? Leden má 31 dní, protože je prvním měsícem roku. Vím, že nelze nekomunikovat. Tzn. každý člověk komunikuje. A Petr je

Více

Modely Herbrandovské interpretace

Modely Herbrandovské interpretace Modely Herbrandovské interpretace Petr Štěpánek S využitím materialu Krysztofa R. Apta 2006 Logické programování 8 1 Uvedli jsme termové interpretace a termové modely pro logické programy a také nejmenší

Více

Přednáška 3: Limita a spojitost

Přednáška 3: Limita a spojitost 3 / 1 / 17, 1:38 Přednáška 3: Limita a spojitost Limita funkce Nejdříve je potřeba upřesnit pojmy, které přesněji popisují (topologickou) strukturu množiny reálných čísel, a to zejména pojem okolí 31 Definice

Více

Výrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá.

Výrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá. Výroková logika I Výroková logika se zabývá výroky. (Kdo by to byl řekl. :-)) Výrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá. U výroku

Více

Logika a logické programování

Logika a logické programování Logika a logické programování témata ke zkoušce Poslední aktualizace: 16. prosince 2009 Zkouška je písemná, skládá se obvykle ze sedmi otázek (může být více nebo méně, podle náročnosti otázek), z toho

Více

Báze a dimenze vektorových prostorů

Báze a dimenze vektorových prostorů Báze a dimenze vektorových prostorů Buď (V, +, ) vektorový prostor nad tělesem (T, +, ). Nechť u 1, u 2,..., u n je konečná posloupnost vektorů z V. Existují-li prvky s 1, s 2,..., s n T, z nichž alespoň

Více

Predikátová logika dokončení

Predikátová logika dokončení Predikátová logika dokončení Jiří Velebil: X01DML 1. října 2010: Predikátová logika dokončení 1/18 Syntaktická analýza Jako ve výrokové logice (syntaktické stromy). Každý list úspěšného stromu je obsazen

Více

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

Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda 1 / 12 a Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda abstrakce FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik

Více

Úvod do logiky a logického programování.

Úvod do logiky a logického programování. Úvod do logiky a logického programování Luboš Popelínský popel@fi.muni.cz www.fi.muni.cz/~popel Přehled učiva Opakování základů výrokové a predikátové logiky Normální formy ve výrokové a predikátové logice

Více

Pro každé formule α, β, γ, δ platí: Pro každé formule α, β, γ platí: Poznámka: Platí právě tehdy, když je tautologie.

Pro každé formule α, β, γ, δ platí: Pro každé formule α, β, γ platí: Poznámka: Platí právě tehdy, když je tautologie. Zpracoval: hypspave@fel.cvut.cz 5. Výroková logika, formule výrokové logiky a jejich pravdivostní ohodnocení, splnitelné formule, tautologie, kontradikce, sémantický důsledek, tautologicky ekvivalentní

Více

MO-ME-N-T MOderní MEtody s Novými Technologiemi CZ.1.07/1.5.00/34.0903

MO-ME-N-T MOderní MEtody s Novými Technologiemi CZ.1.07/1.5.00/34.0903 Projekt: Reg.č.: Operační program: Škola: Tematický okruh: Jméno autora: MO-ME-N-T MOderní MEtody s Novými Technologiemi CZ.1.07/1.5.00/34.0903 Vzdělávání pro konkurenceschopnost Hotelová škola, Vyšší

Více