TEORIE VLASTNÍCH JMEN BERTRANDA RUSSELLA. I. Úvod
|
|
- Lucie Slavíková
- před 7 lety
- Počet zobrazení:
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. 2012 Russellovo rozlišení jména a popisu Označující fráze Primární a sekundární
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
Ú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
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
Ú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
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
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,
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
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
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.
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
Ú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ý,
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á
Ú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.
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
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
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
Ú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
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
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á
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
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ů
Ú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
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
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
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
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
Ú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ří
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
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
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
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.
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:
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)
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í
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.
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á,
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ý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ý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
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ý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
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
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
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
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
Ú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
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)
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ý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
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á
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á
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
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:
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.
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ří
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á
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ý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
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é
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ý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á
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ý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
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ě
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
Ú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ý,
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ý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ý
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
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,
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ť
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
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
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í
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,
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
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
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ý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
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.
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é
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í
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
Ú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
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
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ž
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ý
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
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ší
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ý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
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
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ň
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
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
Ú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
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í
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šší