s r ä r c INDEXICKÉ VÝRAZY (I) Rostislav NIEDERLE

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

Download "s r ä r c INDEXICKÉ VÝRAZY (I) Rostislav NIEDERLE"

Transkript

1 s r ä r c INDEXICKÉ VÝRAZY (I) Rostislav NIEDERLE INDEXICAL EXPRESSIONS (I) The goal of this article is a general inspection of indexicals as a specific phenomenon of natural language on the one side, and a consideration of "semantization" of indexicals on the other side. The term "semantization" represents a criterion on the basis of which various approaches to relevant solutions are valuated: if, according to Frege's view, all language expressions should express their senses, what kind of senses could be expressed in the case of indexicals? First, indexicals are explicated as a specific sort of language expressions. Second, how some contemporary philosophers deal with indexical puzzles is briefly propounded. It takes for granted that a comparison of various philosophers' approaches makes their pro et contra clear. By that way the article can acquire a parameter of basic synopsis. In certain passages of the text, summaries of the issues dealt with are included. The article is divided into three parts, dividing idexicals into temporal, individual and spatial, and demonstratives. In the first part of this article temporal indexicals, (e. g. "now", "yesterday", "before", "after"), as well as grammatical tensed sentences are put to test. Different approaches of Tichý, Quine, Russell, Reichenbach, and Wittgenstein are interpreted and evaluated from the "semantization" point of view. In the case of temporal indexicals, knowledge of possible referents plays an important part, and ontology of time is approximated in connection with McTaggart's argument. Pavel Materna's analysis of "now" is a special subject of brief comment. The goal of this article is sketching of indexicals puzzles. For this purpose dividing into three categories of indexicals is introduced: into temporal, individual and spatial ones, and demonstratives. A criterion whereof indexicals are examined is given. This criterion is their "semantization", it comes to this, that a fregean sense of those is looked for, a sense, which separate categories mentioned above should express. In virtue of such semantization of indexicals chosen ORGANON F 9 (2002). No. 1, 1-45 Copyright Filozofick ústav SA V, Bratislava

2 2 Rostislav NIEDERLE contributions of well-known philosophers on that subject are evaluated. Otázka Timothy Sprigga Pot ebuje B h indexické v razy? 1 je hluböì, neû by se na prvnì pohled mohlo zdát. Je totiû dobr m p Ìkladem pro ukázku základnìch sémantick ch problém spjat ch s indexick mi v razy. Má-li b t totiû B h vöevïdoucì, pak skuteënï k popisu aktuálnìho svïta indexické v razy, tedy v razy, jejichû v znam - aù uû je to cokoli - je dán aû v okamûiku jejich pronesenì, nejspìö nepot ebuje. V tomto smyslu je B h (ten nejúspïönïjöì) vïdec. Na druhé stranï se lze ptát, jak je moûné, ûe B h nepot ebuje to, co sám stvo il. To lze vysvïtlit tak, ûe indexické v razy jsou zde spìöe k pot ebï lidské komunikace, Ëili B h je pot ebuje v tom smyslu, ûe je pot ebujì lidé. Indexické v razy ekonomizujì naöi bïûnou mluvu, pro tvrd " jazyk vïdy jsou vöak podle vöeho bezcenné. CÌlem tohoto p ÌspÏvku je povöechné p iblìûenì fenoménu indexick ch v raz a zároveú prozkoumánì moûnosti jejich tzv. sémantizace. Nejprve budou indexické v razy explikovány. V dalöìch Ëástech Ëlánku pak ukáûi, jak se sémantické problémy s indexick mi v razy spjaté tematizujì nïkte Ì ze souëasn ch filosofick ch logik. Komparace jejich p Ìstup umoûnì, domnìvám se, zhruba nastìnit klady i zápory jejich jednotliv ch eöenì. Takto zìskává Ëlánek i urëit rys základnìho p ehledu. Pro lepöì orientaci uvádìm na urëit ch úsecìch textu souhrn v öe eëeného. 1. Co jsou indexické v razy? V p irozeném jazyce 2 se numericky rozliöitelné entity - logická individua - oznaëujì dvojìm zp sobem: pomocì vlastnìch jmen a zájmen. 3 Oba druhy v raz se ve v rocìch normálnï vyskytujì v pozici subjektu. Protoûe to, co oznaëujì, jsou singulárnì entity, je moûné zkoumánì tïchto v raz chápat téû jako problém v znamu v rok se singulárnìm subjektem - singulárnìch propozic. O zájmenech se obvykle uvaûuje tak, ûe na rozdìl od urëit ch deskripcì a jmen je jejich v znam (znova - aù uû je jìm cokoliv) znám aû v okamûiku jejich pouûitì (i kdyû podobné problémy se objevujì i u vlastnìch jmen). Na základï této vlastnosti b vajì tyto v razy, ale také p ÌsloveËná 1 Viz [49], V raz p irozen jazyk" budu pouûìvat vjeho béûném smyslu: p irozen mi jazyky jsou vöechny národni jazyky; p irozen mi jazyky nejsou jazyky umïle vytvo ené - nap. jazyky umïlé notace. 3 Mohlo by se zdát, ûe ve v Ëtu chybïjì individuové deskripce. Jak vöak ukázal Russell, to, co oznaëujì, nenì individuum, n brû urëit popis, jemuû m ûe individuum vyhovovat.

3 1NDEXICKÉ V RAZY (I) 3 urëenì mìsta, Ëasu 4 a gramatické Ëasy, azeny pod spoleënou nálepku indexické v razy" 5. Abychom tedy urëili pravdivostnì hodnotu vïty,,[já) BydlÌm v BrnÏ", je zjevnï nutné znát dodateënou informaci o tom, které individuum tuto vïtu aktuálnï pronáöì. Takov údaj budu naz vat relevantm okolnostì této promluvy. VÏty p irozeného jazyka, které majì tu vlastnost, ûe pro urëenì jimi vyjád ené propozice je nutná znalost relevantnìch okolnostì pronesenì, obsahujì indexick v raz. Znám m p Ìkladem indexického v razu je osobnì zájmeno,já", jehoû anal ze bude v tomto Ëlánku vïnována p ednostnì pozornost. Indexické v razy se vyskytujì v p irozeném jazyce, v tvrdém", vïdeckém jazyce se nevyskytujì. VËty vïdy se vyznaëujì tìm, ûe vûdy explicitnï uvádïjì své relevantnì okolnosti. VÏta (1) by mïla ve vïdeckém jazyce podobu Rostislav Niederle bydlì v BrnÏ 15. ledna 1999" 8 a byla tak sémanticky sobïstaëná. To je d vod, proë b vá téma indexick ch v raz obecnï logiky opomìjeno: indexické v razy jsou povaûovány za pragmatick faktor p irozeného jazyka, za (definiënì) zkratky, které z d vodu jazykové ekonomie v bïûné komunikaci nahrazujì sémanticky sobïstaëné v razy. Takto to chápe nap Ìklad Bertrand Russell: JednÌm z cìl jak vïdy, tak i zdravého rozumu j e nahrazovat mïnìcì se subjektivitu egocentrick ch Ëástic neutrálnìmi ve ejn mi termìny. Já" se 4 Jak se ukáûe pozdïji, pracuji nïkteré intenzionálnì logiky s typem promïnné, která zachycuje Ëasové charakteristiky. V takov ch systémech se ovöem v razy urëujìcì Ëasové parametry stávajì v razy se sobïstaënou sémantikou: jejich v znam je dán p ed promluvou. To je vyluëuje z t Ìdy indexick ch v raz. 5 Takto p ekládám anglick termìn indexicals". AlternativnÌ termìry pro oznaëenì stejné t Ìdy v raz nabìzì B. Russell (egocentrické Ëástice) nebo H. Reichenbach (token-reflexivnì slova). Z d vodu p ehlednosti vöak budu mluvit jednotnï o indexick ch v razech (ovöem beze vztahu k anal ze PeirceovÏ, kter tento v raz zavedl). 6 Pro zájmena je relevantnì okolnostì referovaná osoba; pro p Ìslovce mìsta je relevantnì okolnostì referované mìsto; pro p Ìslovce Ëasu je relevantnì okolnostì referovan Ëas. ObecrÏ eëeno jde o znalost podmìnek, které jsou nutné ktomu, aby bylo moûno u vïty, která obsahuje indexick v raz, urëit pravdivostnì hodnotu. U Stalnakera jde o urëenì tïch rys kontextu promluvy, které nám pomáhajì urëit, která 7 propozice je danou vïtou vyjád ena". Citováno podle [29], 116. Takto pojaté rysy kontext jsou z ejmï totéû jako relevantnì okolnosti. Dále budu proto pouûìvat jen obrat relevantnì okolnost(i)". 8 Dále se ukáûe, ûe taková vïta je vïdecká" jen ve striktnï fregovském pojetì. Z ejmï je sémanticky sobïstaëná i stejná vïta bez uvedenì data.

4 4 Rostislav NIEDERLE nahrazuje m m jménem, zde" délkou a öì kou a nynì" datem. [...] Fyzik ne ekne,[já] VidÏl jsem st l', n brû jako Neurath Ëi Julius Caesar ekne,otto vidïl st l'. [...] MimomentálnÌ svït lze úplnï popsat bez pouûitì egocentrick ch (= indexick ch) slov. 9 PodobnÏ se vyjad uje P. Materna: Indexické v razy (ale i jiné) spojujì v razy s pragmatick mi faktory. Nechù j e dán mluvëì a situace: pak lze p Ìsluöné indcxické v razy nahradit neindexick mi determinátory. 10 TermÌn indexické v razy" (indexicals) pocházì od Ch. S. Peirce. Ten ovöem popisuje indexické znaky z öirokého pohledu sémiotiky:" P Ìklady index jsou pro nïj klátìcì se ËlovÏk (má indikovat námo nìka), ËlovÏk v rajtkách, kamaöìch, saku a s nohama do O má indikovat ûokeje; hodiny ukazujì (indikujì) Ëas; indexem je ùukánì na dve e a obecnï cokoli, co usmïrúuje naöi pozornost; indexem jsou ukazovacì zájmena tento", onen", jakoû i kdo" a kter ": tyto v razy pobìzejì posluchaëovu kognitivnì aktivitu k tomu, aby spojil svoji mysl s objektem - a právï toto spojenì je indexem. Dále mezi indexické v razy náleûì podle Peirce ty, které jsou návody, jak najìt p Ìsluön objekt: obecn kvantifikátor vöichni; dále v razy nic, cokoli, kaûd, kdokoli, nikdo, existenënì kvantifikátor nïkte Ì, v razy nïco, nïkdo, jak si, jeden, ten Ëi onen; k tïmto zájmen m se p ipojujì v razy vöichni aû na jednoho, jeden nebo dva, pár, skoro vöichni, objeden apod.; pat Ì sem i p ÌsloveËná urëenì mìsta, Ëasu: zde, tam, tehdy, d Ìve, p edtìm atd.; jiné indexické v razy jsou p edloûky a p edloûková spojeni jako vpravo (vlevo) oô\ Peirce Ìká: Ikóny a indexy netvrdì nic. Kdyby se ikón dal interpretovat vïtou, musela by tato vïta b t v potenciálnìm zp sobu", t. j. ekla by pouze,mïjme obrazec o t ech stranách" apod. Kdyby byl takto interpretován index, muselo by b t uûito zp sobu rozkazovacìho nebo zvolacìho, nap. PodÌvej se tamhle!" nebo Pozor'.".' 2 Peirce se zab vá p edevöìm klasifikacì znak a index je pro nïj jméno - definiënì zkratka pro t Ìdu znak charakterizovan ch takto: Viz [43], 101. K tomu dodává D. Kaplan: ProË by mïl b t Julius Caesar nutkán ktomu, aby ekl,otto vidïl st l', z stává nevysvïtleno." Viz [ 17], Viz [29], 35. " Viz [37], kap. Charles Sanders Peirce, Grammatica Speculativa, Jde o Pálk v p eklad z originálu Collected Papers of Charles Sanders Peirce, Vol. 2., Grammatica Speculativa, Harvard College, Ibid., 65.

5 INDEXICKÉ V RAZY (1) 5 Index j e znak vztahujìcì se k OBJEKTU, kter denotuje tak, ûe j e tìmto OBJEKTEM opravdu ovlivnïn. 13 PodobnÏ jako demonstrativnì zájmeno usmïrúuje pozornost k urëitému objektu, aniû ho charakterizuje. 14 Shrnu-li to, pak gramatické kategorie v raz p irozeného jazyka, které podléhajì Peirceov m charakteristikám a pat Ì tudìû do t Ìdy index, jsou zájmena, gramatické Ëasy, ËÌslovky, p Ìslovce, p edloûky. Z toho, ûe za indexické lze povaûovat pït gramatick ch 1^ kategoriì je patrné, ûe logika (alespoú ta extenzionálnì) se z ejmï zab vá velmi úzk m fragmentem jazyka a jejì aplikabilita p i anal ze p irozeného jazyka je vcelku malá. To se ukáûe zvláötï tehdy, jestliûe nahlédneme frekvenci slovnìch druh : mezi 20 nejëastïjöìmi slovnìmi druhy je z tïch, které jsou obecnï povaûovány za druhy indexické 7 p edloûek, 5 spojek, 5 zájmen, 2 slovesa, 1 p Ìslovce."' Vöechny tyto v razy podle Peirceova popisu referujì 17 ke sv m objekt m p Ìmo, bez pojmového zprost edkovánì. Pro tento teoretick postoj se v souëasné literatu e pouûìvá oznaëenì teorie p Ìmé reference (Direct Reference Theory - dále jen teorie PR). Je-li pro to, aby nap. vïta (1) vyjad ovala propozici, nutná znalost osoby, která tuto vïtu pronáöì (tedy znalost relevantnì okolnosti), pak se tìm ocitáme mimo vlastnì oblast sémantického zkoumánì, totiû v pragmatice. RozliöenÌ zkoumánì jazyka na rozdìlné oblasti jak známo pocházì z pera Ch. Morrise. 18 Ten rozdïlil studium jazyka (J) do t Ì obor - syntaxe, sémantiky a pragmatiky - které charakterizuje takto: syntax (J syn ) se zab vá ËistÏ relacemi mezi jazykov mi v razy jako etïzci skvrn; sémantika (J sem ) relacemi mezi v razy a objekty, které v razy denotujì; pragmatika (J p ) relacemi, které panujì 13 Ibid., 44. Tato charakteristika z ejmï Ìká tolik, ûe - chápeme-li znak jako znak tehdy a jen tehdy, je-li spojen s v znamem - znak se naz vá indexick m, jestliûe je pro jeho uchopenì nutná znalost relevantnìch okolnostì jeho pronesenì. To souhlasì s bïûn mi vymezenìmi tohoto druhu v raz Ibid., 301. Ibid., Viz [521, 35. V angliëtinï j e nejbïûnïjöìm slovem urëit Ëlen the, kter tam mimo jiné funguje jako ukazovacì zájmeno. Velice zábavn m dokladem toho, ûe po frekvenënìm slovnìku je záhodno sáhnout i p i luötïnì jednoduchého kryptogramu zaznamenávajìcìho polohu zakopaného pokladu, je pointa povìdky.zlat brouk' Edgara Allana Poea. 17 V intencìch P. Materny, kter se snaûì o sjednocenì terminologie, budu uûìvat v raz denotovat" pro relaci mezi v razem a objektem, kter tento v raz oznaëuje. Tato relace je modálnï a temporálnï stálá (rigidnì). V raz referovat (k)" budu pouûìvat pro vztah v razu a toho, co zastupuje v aktuálnìm svïtï (resp. ve skuteënosti). Takûe nap. v raz ËlovÏk" denotuje vlastnost b t ËlovÏkem" a referuje k (v tomto Ëase existujìcì) t ÌdÏ lidì. 18 Viz [37],

6 6 Rostislav NIEDERLE mezi v razy, objekty, které denotujì, a uûivateli v raz (resp. relevantnìmi okolnostmi pouûitì tïchto v raz ). Plnohodnotnou anal zu jazyka je moûné podat pouze komplexnì anal zou vöech t Ì tïchto dimenzì: (J) = (J syn ) + (J sem ) + (J p ). Je z ejmé, ûe pokud jde o indexické v razy, spadajì u Morrise do oblasti pragmatiky. Lze Ìci, ûe z logického hlediska se pragmatika omezuje na studium indexick ch v raz. Coû je ovöem postoj nap Ìklad Montagua, nikoli doslovnï Morris v: sémiotika se, jak je známo, neomezuje pouze na studium p irozeného jazyka. JejÌ ambice jsou tak ÌkajÌc zast eöujìcì - má b t v chodiskem vöech vïd, obecnou vïdou o oznaëovánì. 19 Program sémiotiky ovöem nenì programem logiky: v logice je subjektivismus, kter je v sémiotice p Ìtomn prost ednictvìm interpreta jako subjektu nutného pro vlastnì fungovánì znakového procesu (sémiózy), nep Ìpustn. Jak Peirce, tak Morris jsou v tomto smyslu duchovnìmi otci amerického sémantického behaviorismu. Vlivná behavioristická teorie demonstrativ W. V. O. Quina bude zmìnïna dále. Souhrn eëeného ExistujÌ jazykové v razy, jejichû v skyt ve vïtï zp sobuje, ûe k urëenì propozice, kterou daná vïta vyjad uje, je nutná znalost relevantnìch okolnostì. T Ìdu takov ch v raz lze nazvat t Ìda indexick ch v raz ". P Ìklady prvku této t Ìdy jsou: (»-) (*) temporálnì indexické v razy V BrnÏ pröelo" (vïta v gramatickém Ëase minulém), vëera", teô" (nebo synonymum nynì"); (**) prostorové tam", zde"; (***) individuové Prokop Buben", já", toto". 20 V tomto Ëlánku se budu primárnï zab vat v razy z ( "), tedy vëetnï tïch charakteristik vlastnìch jmen, dìky kter m bychom mohli i vlastnì jména za adit do t Ìdy indexick ch v raz Explikace problému: sémantizace indexick ch v raz Je moûné nalézt zp sob, jak m by bylo moûné (pragmatické) v razy (<**) sémantizovat", tedy provést anal zu jejich v znamu tak, ûe by k nalezenì 19 PozdÏji se Morris vyjád il o pragmatice takto: Pragmatika je ta Ëást sémiotiky, která se zab vá p vodem, uûìvánìm a úëinky znak v souvislosti s chovánìm, ve kterém se vyskytujì." Viz [33), 219. Jiná explikace badatelského pole pragmatiky: [...] PouûitÌ termìnu.pragmatick ' zavádì distinkci mezi sémantikou - studiem v znamu per se - a PRAGMATIKOU - studiem, jak jsou v znamy interpretovány v komunikaënìch situacìch, v relacìch k mluvëìmu a posluchaëi." Viz [24J, 70. Podle B Russella existujì Ëty i základnì indexické (v jeho terminologii egocentrické) v razy: já", toto", zde" a nynì". Viz [43], 100.

7 INDEXICKÉ V RAZY (I) 7 propozice, kterou vyjad ujì vïty, jeû je obsahuji, nebyla nutná znalost relevantnìch okolnostì? 2. Gottlob Frege: Myölenka Abych zámïr sémantizace" indexick ch v raz oz ejmil, vrátìm se k Ëlánku G. Frega Myölenka", kter je v souvislosti s tïmito v razy zmiúován nejëastïji a v nïmû se vlastnï problém s jejich sémantikou objevil poprvé. Jestliûe bylo vlastnìm tématem Fregeho stati O smyslu a v znamu" 21 zavedenì smyslu jako prost edkujìcì entity mezi v razem a objektem, jako zp sob danosti objektu, ke kterému v raz referuje, ve stati Myölenka 22 Frege krátce pojednává o indexick ch v razech dnes", zde" a vëera" a poté zkoumá problémy spjaté se sémantikou v razu,já". Protoûe jde o Ëlánek stran indexick ch v raz v sadnì, krátce vyloûìm jeho zámïr, jìmû je zavedenì myölenky jako ontologick objektivnìho protïjöku tvrzenì smysluplné vïty. ZamÏ enì logiky vyjad uje slovo pravdiv ". Gramaticky jde o jméno vlastnosti. Avöak vlastnosti Ëeho: obraz (Bilder), p edstav (Vorstellungen), vït (Sätze) nebo myölenek (Gedanken)! Frege p ipomìná, ûe se zde mìsì r zné ontologické roviny. ZatÌmco obraz je viditelná a hmatatelná vïc, vïta je vïc viditelná Ëi slyöitelná, je p edstava vïcì psychologickou. M ûe b t p edmïtem zájmu psychologie i myölenka? Frege tyto otázky po adï zkoumá. P ipustìme-li, ûe pravda je vlastnostì obraz, pak tìm také p ipouötìme, ûe pravda je relaënì pojem: obraz je pravdiv tehdy, jestliûe nïjak m zp sobem odpovìdá své p edloze. To ale odporuje intuici o slovu pravdiv, které p ece neobsahuje ûádn odkaz na nïco jiného, s ËÌm by korespondovalo. P ipsánì pravdivosti nïjakému obrazu by tedy vyûadovalo absolutnì izomorfìi obrazu a zobrazeného, Ëehoû m ûe dosáhnout - p i jednotï i mìsta i Ëasu - pouze zobrazen p edmït samotn. To ruöì reprezentaci jako takovou, ale pravda se p ece p ipisuje nïëemu, co nïco jiného pravdivï reprezentuje! Obrazy je moûné porovnávat jen s jin mi obrazy. Dále: chápeme-li pravdu jako korespondenci dvou p edstav, platì tytéû námitky. Koresponduje-li jedna p edstava s druhou (izomorfnï), pak jsou shodné. Jsou-li vöak shodné, kde z stala korespondence? Jestliûe se ale 21 Poprvé vyölo v Zeitschrift fiir Philosophie und philosophische Kritik, NF 100, 1892, K dispozici jsem mïl bilingvnì nïmecko-ëeské vydánì [13], p eklad Ji Ì Fiala. 22 Frege, G.: Der Gedanke, poprvé uve ejnïno v Beiträge zur Philosophie des deutschen Idealismus , 58-77; k dispozici jsem mïl vydánì [12]. Odkazy budou smï ovat k nïmeckému vydánì.

8 8 Rostislav NIEDERLE budou tyto dvï p edstavy liöit, byù jen nepatrnï, pak nejsou shodné a jsou tedy nepravdivé. (Frege zde neuvaûuje moûnost rozdìln ch, nap. typov ch, úrovnì srovnávan ch entit; to zde vöak nenì d leûité). PodÌvejme se, zda je vïc moûno pojmout tak, ûe bychom vlastnost pravdivosti p ipisovali na urëitém stupni korespondence. Jenûe abychom se na takovém stupni dohodli, museli bychom nejprve zkoumat, zda nïjaká vïc koresponduje s p edstavou Ëi obrazem. To nás oklikou vracì ke zmìnïn m problém m. Lze tedy definovat pravdu na základï korespondence? Frege tvrdì, ûe tento pokus musì selhat, neboù definice pravdy vûdy jiû pravdu p edpokládá. Obsah slova pravda" je proto jedineën a nedefinovateln. Jediné, Ëemu lze rozumnï p ipsat pravdivost, je vïta. Co je vïta? Sled zvuk Ëi grafick ch skvrn? Ne vûdy. Jen tehdy, má-li vïta smysl. A právï smyslu, tak, jak byl zaveden ve stati O smyslu a v znamu", lze p ipsat pravdivost s tou v hradou, ûe tak nelze uëinit ve smyslu korespondence tohoto smyslu s nïëìm jin m, protoûe tak by doölo ke kolapsu pravdivostnìch odkaz ad infinitum. Pouze u myölenky se lze ptát po pravdï. Jak je vztah smyslu nïjaké vïty a jejì myölenky? Myölenka je smyslem kaûdé vïty, ale ne kaûd smysl vïty je myölenka: jsou smysly vït neúplné, které pro to, aby byly úplné, vyûadujì doplnïnì o relevantnì okolnost(i). Myölenka je, stejnï jako smysl, smysly nevnìmatelná entita ale lze ji vyjád it pomocì smyslovï vnìmatelné vïty. Od smyslu se odliöuje tìm, ûe u nì m ûe vzniknout otázka po pravdï. (To je d leûité pro pozdïjöì fregovskou pozici p i sémantické anal ze vït obsahujìcìch indexické v razy.) K myölence se jeötï p idruûuje obsah vïty. Obsahem vïty je vûdy myölenka plus nïco navìc: totiû tvrzenì této myölenky nebo ûádost (p i zjiöùovacì otázce) o jejì potvrzenì, do obsahu vïty pat Ì téû pragmatické akcenty p i ad hoc proslovenì vïty - d raz na jednotlivá slova, zámïny slov salva veritate, mluvnì kadence, pouûitì v ironii apod.; tyto aspekty se net kajì myölenky, net kajì se jejì pravdivostnì hodnoty. Otázka obsahujìcì myölenku je prvnìm krokem na cestï pokroku ve vïdï; expresivnì prvky jazyka nemajì na pravdivost myölenky vliv - jejich úkolem je mimo reprezentace téû prezentace sebe sam ch. To je záleûitost literárnìch vïd a estetiky. Zde se dostáváme k relevantnosti Fregovy ontologické koncepce pro sémantiku indexick ch v raz. Aby se na myölenku mohla aplikovat pravdivost, je t eba, aby byla úplná. A myölenka nenì podle Frega úplná, jestliûe vïta, která ji denotuje, obsahuje indexické v razy. Takov m indexick m prvkem m ûe b t podle Frega i gramatick Ëas vïty. DvojznaËn je podle nïj nap Ìklad i p Ìtomn Ëas. Za prvé m ûe vïta v p Ìtomném Ëase vyjad ovat urëit Ëas, za druhé Ëas zruöit - p Ìkladem jsou u Frega matematické Ëi

9 INDEXICKÉ V RAZY (1) 9 p ÌrodnÌ zákony. Kter z tïchto dvou p Ìpad nastává, Ìká Frege, to je patrné ze souvislostì. Má-li vïta v p Ìtomném Ëase vyjad ovat úplnou myölenku, a tedy i dospït k pravdivostnì hodnotï, musì b t doplnïna o Ëas proslovenì této vïty. Potom je Ëas v povïdi souëástì vyjád ené myölenky: (Fl) Chce-li nïkdo dnes Ìci to, co vyjád il vëera pouûitìm slova dnes", nahradì toto slovo slovem vëera". T ebaûe je myölenka stejná, jejì verbálnì v raz se musì odliöovat tak, aby se zruöila zmïna smyslu, která by jinak byla zp sobena rozdìln mi Ëasy promluvy. 21 ZmÏna zde, ve FregovÏ terminologii, probìhá na úrovni obsahu vïty, jde o zmïnu slov ve vïtï salva veritate. Podobná je situace i u v raz zde" a tam". V p ÌpadÏ, ûe vïta takov v raz obsahuje, vyjad uje neúplnou myölenku - pro urëenì pravdivostnì hodnoty je t eba ji doplnit o znalost relevantnìch okolnostì, které provázejì jejì proslovenì 24 tak, jak to bylo zmìnïno. Poté, co Frege krátce zmìnil gramatické Ëasy vït jako indexick element, zaëìná oböìrnïji analyzovat indexick v raz,já". NabÌzÌ p Ìklad, kter byl pozdïji komentován natolik, ûe je na mìstï jej p ipomenout. V p Ìkladu vystupujì t i postavy: Gustav Lauben, Leo Peter a Rudolf Lingens. Lauben pronese vïtu: Byl jsem zranën". 25 Leo Peter a Rudolf Lingens to slyöì a o nïkolik dnì pozdïji Peter ekne: Gustav Lauben byl zranïn". 26 A nynì jde o toto: vyjád il Leo Peter stejnou myölenku jako Lauben? Rudolf Lingens byl u obou projev. Je-li kompetentnìm mluvëìm a netrpì v padky pamïti, musì okamûitï rozpoznat, ûe se obïma vïtami oznaëuje táû vïc. HáËek je snad v tom, jak p ipomìná Frege, ûe potìû zde nenì jen s v razem, já", ale také s vlastnìm jménem Gustav Lauben. Bez znalosti smyslu tohoto jména by samoz ejmï ölo o neúplnou myölenku. Aby ale byla garantována efektivnì komunikace, musì jak Leo Peter, tak Rudolf Lingens spojovat s vlastnìm 23 Ibid., Frege nezmiúuje vïty, které indexické v razy obsahujì, které vöak pro urëenì své pravdivostnì hodnoty znalost kontextu nevyûadujì. P Ìklady: (a) StojÌ-Ii osoba A teô zde, nestojì teô tam", (b) Kaûd, kdo je zde, nenì tam", (c) VËerejöÌ den nenì dneönì den nebo = 5", (d) Jestliûe zde teô pröi, pak nenì pravda, ûe zde teô nepröì". Tyto vëty obsahujì explicitné indexické v razy, aniû by mïl tento fakt jak koliv vliv na jejich pravdivostnì hodnotu. Nezdá se, ûe v tïchto vïtách by indexické v razy ztrácely vlastnost, dìky nìû jsou indexické. 2ejmÏ jde o vïty analytické. Lze tedy zobecnit: je-li 0 ( vïta obsahujìcì indexick v raz i analytická, pak má vïta <t> (l úplnou myölenku ve fregovském smyslu. 25 Ibid., Ibid., 38.

10 10 Rostislav N1EDERLE jménem Gustav Lauben" stejn smysl - nap Ìklad ten, kter je vyjád en deskripcì.jedin léka, kter bydlì v tom a tom bytï". Je-li tomu tak, pak oba spojujì s vïtou Gustav Lauben byl zranïn " stejnou myölenku: rozumïjì té vïtï stejn m zp sobem. M ûe ovöem nastat p Ìpad, Ìká Frege, kdy Rudolf Lingens Laubena osobnï nezná a nevì tedy, ûe ten p ed nïkolika dny ekl Byl jsem zranïn". V tom p ÌpadÏ nem ûe Rudolf Lingens vïdït, ûe jde o dvï vïty, které vyjad ujì tutéû myölenku: pro nïj tyto dvï vïty vyjad ujì dvï rozdìlné myölenky. DvÏ rozdìlné myölenky vïta Gustav Lauben byl zranïn" vyjad uje, jak uû bylo eëeno, i tehdy, jestliûe dva kompetentnì mluvëì spojujì s vlastnìm jménem Gustav Lauben" r zn smysl - dejme tomu ten, kter lze vyjád it deskripcì ten, kter se jako jedin narodil 13. zá Ì 1875 v N. N." a ten, kter se dá vyjád it deskripcì jedin léka, kter bydlì v tom a tom bytï". V takovém p ÌpadÏ tito dva mluvëì nemluvì stejn m jazykem" v tom smyslu, ûe jim t û znak neoznaëuje tutéû vïc; stejnou vïtu by tak mohl jeden z nich povaûovat za pravdivou, zatìmco ten druh by mohl jejì pravdivost popìrat. To proto, ûe táû vïta by vyjad ovala pro kaûdého z tïchto dvou mluvëì odliöné myölenky. U vlastnìho jména se tedy vracìme ke stati O smyslu a v znamu. Co je u vlastnìho jména sémanticky relevantnì? Zp sob danosti, tedy smysl 21 p Ìsluöného jména, tak jako v p ÌpadÏ (empirické) rovnosti Jit enka = VeËernice. VÏta obsahujìcì vlastnì jméno tak vyjad uje rozdìlné myölenky (protoûe rozdìlné smysly vlastnìho jména), které se nicménï co do své pravdivostnì hodnoty shodujì. Je-li jedna taková myölenka pravdivá, pak jsou pravdivé vöechny a je-li jedna nepravdivá, pak jsou nepravdivé vöechny. Z hlediska úspïönosti komunikace je t eba poûadovat, aby s jednìm vlastnìm jménem byl spojen jen jeden smysl. NynÌ se Frege dostává ke slavné a hojnï interpretované pasáûi, ve které analyzuje zájmeno, já". Úst ednì tezì je, ûe kaûd je sám sobï dán zvláötnìm a jedineën m zp sobem, kter m nenì dán nikomu jinému. 28 Podle Frega tedy existuje speciálnì smysl v razu,já", vyjád en mluvëìm tohoto v razu, kter je nekomunikovateln. Tento speciálnì smysl denotuje Lauben, kdyû oznamuje [Já] jsem byl zranïn". Ale je jasné, ûe tento speciálnì smysl nelze pouûìt, jakoûto nekomunikovateln, v komunikaci s ostatnìmi Ëleny jazykového spoleëenstvì. Lauben tedy musì v razem,já" vyjad ovat takov smysl, 27 Ibid., Ibid., 39.

11 INDEXICKE VYRAZY (I) 1 1 kter mohou pochopit i jini, nap Ìklad smysl spojen s deskripcì ten, kdo k vám nynì promlouvá". 29 Souhrn eëeného Frege klade myölenku, vyjád enou smysluplnou vïtou, jako svébytnou entitu, jejìû ontologické kvality nejsou tìm, ûe jsou denotovány r zn mi mluvëìmi, nijak dotëeny. Myölenka je úpln smysl, subsistujìcì v t etì (po ÌöÌch fyzick ch objekt a psychick ch stav ) Ìöi" entit. Úpln smysl je takov smysl, kter vede k pravdivostnì hodnotï. VÏta, která obsahuje indexick v raz, nenì podle Frega sémanticky sobïstaëná, nenì úplná: neúplnost myölenky, kterou taková vïta oznaëuje, je zp sobena p ÌtomnostÌ indexického v razu v p Ìsluöné vïtï; aby byla tato myölenka úplná, pot ebujeme dodateëné informace (znalost relevantnì okolnostì). Nemáme-li takovou informaci, lze vïtu s indexick m v razem p irovnat k v razu s volnou promïnnou. K explikaci fregovské myölenky viz dále. 2.1 Ontologie " indexick ch v raz To, co bylo eëeno v kapitole 2 o FregovÏ sémantice, lze ilustrovat. Schematická reprezentace sémantického fungovánì vïty bez indexického v razu je ve FregovÏ teorii tato: 1 vyjad uje (ausdruckt) smysl (úpln smysl = myölenka) 1. v raz (vïta) oznaëuje (bezeichnet) v znam (pravdivostnì hodnota) VÏty, které obsahujì indexick v raz, vöak k pravdivostnì hodnotï vést nemohou, dokud neznáme referent daného indexického v razu. V takovém p ÌpadÏ je schéma vïty s indexick m v razem následujìcì: 29 Ibid., 40.

12 12 Rostislav NIEDERLE 2. v raz (vïta s indexick m v razem)" I vyjad uje smysl (neúpln ) oznaëuje? < Sémantická anal za vït s indexick mi v razy budu naz vat fregovskou, jestliûe zachová dva základnì principy. Tyto principy jsou: (i) vïta s indexick m v razem vyjad uje p i r zn ch pouûitìch r zné myölenky (= r zné úplné smysly), (ii) smysl vïty (= myölenka) je funkcì smysl sloûek této vïty. 30 Jak ale sladit tyto dva principy, jestliûe indexické v razy nevyjad ujì smysl? (Neboù Chce-li nïkdo dnes Ìci to, co vyjád il vëera pouûitìm slova,dnes', nahradì toto slovo slovem,vëera"'. Stejná myölenka je v tomto p ÌpadÏ vyjád ena dvïma vïtami, které se odliöujì vtom, ûe pouûijì dvou r zn ch indexick ch v raz oznaëujìcìch stejnou entitu. Je tedy ve vïtï nap. Dnes je krásnï" slovo dnes" nahrazeno slovem vëera", p iëemû nejde o synonyma, i kdyû se touto substitucì m ûe zachovat pravdivostnì hodnota této vïty. Z toho plyne, ûe podle Frega se indexické v razy vztahujì k oznaëovanému p Ìmo, bez prost edkujìcìch smysl ). A jestliûe nïjak smysl vyjad ujì, jak tento smysl charakterizovat? Snaha o soulad tïchto dvou princip jin mi slovy Ìká to, co uû bylo eëeno v öe v hesle explikace problému" a stanovi cìl tohoto Ëlánku: explikovat a, bude-li to moûné, 30 PodÌvejme se na vïtu,etna je vïtöì neû Vesuv'. Jedna sloûka myölenky odpovìdá slovu,etna', totiû smysl toho slova. Je vöak sama hora, se sv mi kameny a lávou, souëástì této myölenky? Samoz ejmï nikoli, neboù m ûeme vidït Etnu, ale nem ûeme vidït myölenku, ûe Etna je vyööì neû Vesuv.[...] Jestliûe se zab váme pouze smyslem v razu,etna je vyööì neû Vesuv', nemáme nejmenöì d vod pro to, abychom poûadovali pro jméno,etna' také referenci. Neboù aby ta vïta mïla smysl, je nutné, aby mïlo smysl i jméno.etna'; reference niëìm nep ispìvá k vyjád ené myölence" Viz Frege, G.: Logik in der Mathematik. In: Hermes, H.; Kambartel, F.: Kaulbach, F. (eds.), Nachgelassene Schriften. Hamburg 1969, 243. Sotva si lze p edstavit explicitnïjöì vyjád enì proti teoriìm PR. Samotn princip (ii) se obvykle naz vá princip kompozicinality". PodobnÏ jako v öe se Frege vyjád il in [14],

13 1NDEXICKÉ V RAZY (I) 13 sémantizovat, resp. p i adit smysl, indexick m v raz m. Litera Fregovy sémantické teorie z ejmï nep ipouötì teorii PR. Jak poznamenává D. Kaplan 31 [...] kdyby existovaly singulárnì termìny, které referujì p Ìmo, pak by se mïl Fregeho problém: jak se m ûe vïta a = P, je-li pravdivá, liöit ve v znamu od a = a, p edstavit znovu a jinak, zatìmco Fregovo eöenì: ûe a a (3, aëkoli referujì ke stejné vïci, ËinÌ tak pomocì odliön ch smysl, by bylo blokováno. A také: protoûe tato sloûka propozice {index) má b t urëena individuem, nikoli naopak, máme zde nïco jako poruöenì známého fregovského dieta, ûe neexistuje zpáteënì cesta od denotace ke smyslu [propoziënì sloûce]. Kaplan p ipomìná, ûe podle Frega nelze ze samotného referentu zjistit, jak m smyslem byl vyëlenïn. Totéû platì i pro vztah denotace - smysl. Ve fregovské sémantice neexistuje jedno-jednoznaëné zobrazenì z referent do smysl, které by to umoûúovalo. Pro jistou Ëást t Ìdy indexick ch v raz se tedy m ûe hledánì jejich smyslu omezit na hledánì takového zobrazenì (pro zájmena a vlastnì jména). 32 To vöak neplatì pro vïty v gramatickém Ëase - ty by mïly b t eöeny odliönï. Souhrn eëeného Filosofického (epistemologického, ontologického) problému v znamu indexick ch v raz si prvnì povöiml G. Frege. Nenalezl vöak smysl, kter m by p ispìvaly ke smyslu celé vïty. Proto - bez znalosti relevantnìch okolnostì jejich pronesenì - vïty s indexick m v razem nevyjad ujì ve FregovÏ sémantice úpln smysl (= myölenku). 3. Sémantizace gramatick ch Ëas Gramatické Ëasy, které Peirce, Morris i Frege adili mezi indexické fenomény, lze z t Ìdy indexick ch v raz, resp. vït, sémantizacì odstranit z ejmï nejsnadnïji. Ten, kdo tvrdì, ûe gramatické Ëasy indexikalizujì" vïty vlastnï Ìká, ûe k tomu, abychom dospïli k pravdivostnì hodnotï podmìnce nap. (2) V BrnÏ pröì" (jako vïtï v p Ìtomném Ëase), pot ebujeme znát Ëasov okamûik promluvy této vïty, kter má b t relevantnì okolnostì (a tak vlastnï i souëástì myölenky) nutnou pro to, abychom dostali urëitou propozici. Tento problém ale zmizel 31 Viz [17], 484^485. Samotná Kaplanova teorie b vá ovöem azena k teoriìm PR. 32 Tak, jak se na to zamï il P. Tich in [55]. O tomto Tichého p ÌspÏvku bude referováno v souvislosti s anal zami zájmena já" a vlastnìch jmen.

14 14 Rostislav NIEDERLE s rozvojem intenzionálnìch logik. Propozice - to, co empirické vïty denotujì -je v nïkter ch intenzionálnìch logikách modelována jako (parciálnì) funkce z moûn ch svït W a Ëasovy>ch okamûik T (chronologiì moûn ch svït ) do t Ìdy pravdivostnìch hodnot {P, N}: schematicky W ^ ( T ^ {P, A'}). 33 AktuálnÌ pravdivostnì hodnota propozice tedy závisì na dvou faktorech: na tom, kter z moûn ch svït je aktuálnì a na tom, jak je nynïjöì Ëas. Je zjevné, ûe je-li denotát empirické vïty, jako nap. (2), modelován jako vïëná" funkce, pak odpadá pot eba znalosti okamûiku promluvy, kter by byl vyûadován pro kompletaci smyslu (pro urëenì myölenky - ztotoûnìmc-ii myölenku s vyjád enou propozicì). Neboù jak uû bylo eëeno, abychom porozumïli tomu, co nïjaká vïta Ìká, nemusìme znát jejì aktuálnì pravdivostnì hodnotu. ÿìci, ûe vïta (2) je indexická znamená vlastnï Ìci, ûe ve sv ch r zn ch pronesenìch dcnotuje r zné propozice. To ale nenì nutné. Chronologie propozice (t Ìda vöech Ëasov ch okamûik, ve kter ch je propozice pravdivá) denotované vïtou (2) je jistï na Ëasové ose nepravidelnï rozloûena - jistï jsou intervaly, ve kter ch je tato propozice nepravdivá a intervaly, ve kter ch je pravdivá. Takûe neexistuje logické spojenì mezi m m pravdiv m tvrzenìm této propozice v jist den a pravdiv m tvrzenìm téûe propozice jinou osobou v jin den". 34 Takové spojenì je dáno empiricky, stavem svïta. Jinak eëeno, já i ona druhá osoba mluvìme o tomtéû, avöak to, jakou majì naöe promluvy (aktuálnì) pravdivostnì hodnotu, záleûì na stavu svïta. VÏta (2) se vöak pouûìvá rovnïû v gramatickém Ëase minulém: (3) VËera v BrnÏ pröelo" a budoucìm: (4) ZÌtra bude v BrnÏ pröet"; stejnï tak ji lze modulovat frekvenënìmi p Ìslovci, jejichû sémantika se tìm rovnïû vyjasnì: (5) V BrnÏ vloni pröelo jen dvakrát"; vïty lze temporálnï modulovat také Ëasov m indikátorem: (6) v BrnÏ pröelo" 33 V p ÌpadÏ, jak to bylo zmìnïno v öe, kdy je vïta s indexick mi v razy analytická, jde o totálnì funkci - tautologii, která j e buô ve vöech svïtech pravdivá nebo ve vöech svïtech nepravdivá. 34 Viz [54], Tichého TIL se mi jevì pro úëely sémantizace gramatick ch Ëas jako velice p Ìhodn nástroj a formalizace, které budou v této souvislosti uvedeny, pouûìvajì nástroj TIL.

15 INDEXICKÉ V RAZY (I) 15 nebo je lze modulovat nïjakou frázi, která má charakter p Ìslovce: (7) Kdyû podraûilo pivo, v BrnÏ pröelo"; dalöìm p Ìkladem temporálnì modulace propozic je modulace pomocì p edloûek: (8) Poté, co podraûilo pivo, v BrnÏ pröelo". V raz, které temporálnï modifikujì propozice, je jistï vìc. Smyslem této ukázky vöak nenì nabìdnout kompletnì p ehled tïchto v raz. Zde chci pouze ukázat, ûe sémantizace gramatick ch Ëas, potaûmo Ëasov ch modifikátor typu frekvenënìch adverbiì, je principiálnï moûná u vöech druh Ëasov ch modifikátor. Existuje rozsáhlá literatura, která se zab vá logikou gramatick ch Ëas. VÏtöinou vöak jde o logiky pro anal zu gramatick ch Ëas zvláöù urëené. Proto jsem pro ukázku zvolil univerzálnì" logick aparát, kter bude moûné vyuûìt i p i anal ze ne-temporálnìch indexick ch v raz. Touto koncepcì je TransparentnÌ intenzionálnì logika (TIL) P. Tichého. 35 Úst ednìm pojmem TIL je pojem konstrukce. Konstrukce je v TIL explikacì fregovského pojmu smysl jako cesty k objekt m urëitého typu (u vït je to buô P/N nebo P nebo N). Konstrukci bez voln ch promïnn ch (uzav enou konstrukci) lze z ejmï chápat jako fregovskou myölenku - i s jejìmi ontologick mi charakteristikami. Podle toho vïta (2) denotuje v TIL objekt typu propozice (resp. pomocì konstrukce vyjad uje zp sob, jak se k tomuto objektu dostat), coû se v öe uveden m zp sobem modeluje. K základ m své (onto)logické koncepce Tich Ìká: [...] kaûd jazyk je zaloûen na urëitém universu cliskursu, tj. na souboru objekt nejniûöì úrovnï nazvan ch individua, o kter ch jazyk mluvì, a intenzionálnì bázi, tj. souboru primitivnìch atribut, které v tomto jazyku mohou b t tïmto objekt m p ipisovány. Universum diskursu a intenzionálnì báze spoleënï tvo Ì epistemick rámec. ZákladnÌm poûadavkem pro aplikaci intenzionálnì logiky na Ëeötinu (v Tichého textu je to angliëtina - R.N.) jako p irozen jazyk je p edpoklad, ûe tento jazyk je zaloûen na urëitém (i kdyû nedokonale definovaném) epistemickém rámci. Je-li epistemick rámec fixován, máme adu moûnostì, jak tyto atributy v intenzionálnì bázi skuteënï distribuovat po objektech tohoto rámce, tj. po individuìch v universu diskursu a po objektech vyööì úrovnï (mnoûinách, funkcìch atd.) nad tìmto universem. Protoûe vlastnïnì nïjakého atributu objektem je ËasovÏ závislá záleûitost, existujì moûnosti, nebo lépe eëeno, moûné historie takov ch distribucì atribut. Je obvyklé mluvit o tïchto 35 Zevrubn v klad TIL lze nalézt v pracìch P. Tichého a P. Materny - viz Literatura.

16 16 Rostislav N1EDERLE moûnostech jako o moûn ch svïtech a o souboru vöech moûn ch svït jako o logickém prostoru tohoto epistemického rámce. Jeden z moûn ch svït j e aktuálnì svït; ûádná sloûka definice epistemického rámce - neboli, pro naöe úëely, jazyka, zaloûeného na tomto rámci - vöak nespecifikuje, kter svït to je. UrËit aktuálnì svït v logickém prostoru j e koneën m (a patrnï nedosaûiteln m) úkolem empirick ch zkoumánì, které probìhajì uvnit tohoto rámce. Nechù o je dvouprvková t Ìda pravdivostnìch hodnot (pravda P a nepravda N), t universum diskursu a co logick prostor. Nechù j e r navìc stupnice Ëasu, tj. lineárnï uspo ádaná t Ìda Ëasov ch okamûik. Jsou-li fixovány jak poëátek, tak i jednotka trvánì, pak lze Ëasové okamûiky jedno-jednoznaënï representovat reáln mi ËÌsly. Takûe j e moûné nahlédnout r jako t Ìdu reáln ch ËÌsel. o, i, CD a T jsou typy. NavÌc, kde T],..., jsou libovolné typy, je t Ìda vöech (totálnìch i parciálnìch) /i-árnìch funkcì z...,, do j - symbolicky (r]e,,...,) - také typ. (Nic nenì typ, pokud to nevypl vá z p edchozìho.) Prvek typu se také naz vá objekt typu ( - objekt). 36 MyslÌm, ûe k pochopenì zp sobu, jak m sémantizuje gramatické Ëasy TIL, je tento úvod postaëujìcì: sémantika pracuje s funkcemi; jestliûe v raz /Ìedenotuje funkci, povaûujeme jej za pragmatick v raz Sémantizace gramatick ch Ëas v TIL Gramatické Ëasy jsou v TIL reprezentovány funkcemi. K reprezentaci temporálnìch funkcì postaëì dva základnì typy: typ pravdivostnìch hodnot (o) a typ Ëasov ch okamûik (r). Anal za vïty (2) V BrnÏ pröì" prost edky TIL dává konstrukci (2*) AwXr[ Pr H, ( 0 B]. 37 * Viz [54], Tichého obecná poznámka k anal ze, která myslìm stojì za uvedenì, znì: Analyzovat dan jazykov v raz znamená urëit konstrukci, kterou tento v raz vyjaôuje. Je bïûnou praxì provádït anal zy vït p irozeného jazyka nep Ìmo, tìm, ûe je p eloûìme do umïlého, symbolického jazyka. Vybran symbolick jazyk b vá logicky pi zraïn v tom, ûe jeho formule zobrazujì odpovìdajìcì konstrukce nedvojznaënï a systematicky. Takûe p ekladem Ëeské vïty do symbolického jazyka nep Ìmo p ipisujeme této vïtï konstrukci, která je tìmto symbolick m p ekladem pr zraënï vyjád ena. [ ] To, co je zjevnï d leûité, je konstrukce, nikoli symbolick p eklad originálu. Korektnost takového p ekladu závisì na tom, zda konstrukce vyjáôená originálem a konstrukce vyjád ená p ekladem jsou stejné. Ale je-li tomu tak, pak nenì d vod, proë bychom nemïli originál analyzovat p Ìmo, tak, ûe uvedeme tuto konstrukci samu. [...] Lambda notace a hranaté závorky umoûúujì systematicky referovat ke konstrukcìm. Uvedenou formuli (\Ïty (2)) pouûìváme jako jméno konstrukce, která - pokud je provedená anal za korektnì - je vyjád ena (nikoli pojmenována!) touto Ëeskou vïtou." Ibid. Kde se v této citaci objevuje v raz Ëesk, je v originále samoz ejmï v raz English". Symbol " (tzv. trivializace, viz kap ), kter se v

17 INDEXICKÉ V RAZY (I) 17 (Typy: w/or, Ì/r, Pr/(((ot)r)ft>) 38 ; B h ). S vïtou (2) tedy dìky jejì gramatické modalitï p Ìtomného Ëasu nenì problém: konstrukce po p Ìsluöném krácenì" konstruuje propozici - typ o w>. VÏta v p Ìtomném Ëase denotuje propozici, která je základnì pro dalöì temporálnì operace, které jsou na nì provádïny. Anal za vïty (3) VËera v BrnÏ pröelo" bude dìky minulému Ëasu a adverbiu dnes" sloûitïjöì. Zde je t eba dodat, ûe v takto Ëisté' podobï se minul Ëas z ejmï nevyskytuje - b vá precizován bud frekvenënìm adverbiem nebo Ëasov m indikátorem, jako je uvedenì data atp; je-li tento precizujìcì údaj zamlëen, doplnìme frekvenënì adverbium alespoú jednou (p edpokládá se, ûe právï tento v raz byl zamlëen). 3 '' VÏta (3) tedy mluvì o základnì propozici (denotované vïtou (2); typu o TOI ), ËasovÏ modulované temporálnìm p Ìslovcem a operátorem Ëasu minulého. Takûe definice gramatického Ëasu minulého M je následujìcì (»as T je Ëas proslovenì vïty): Nechù S je t Ìda Ëasov ch interval (o(or)) a C nïjak Ëasov interval (or). Jestliûe ûádn prvek C temporálnï nep edcházì Ëas T, pak je M mezi S a C v æ nedefinovan. V opaëném p ÌpadÏ, nechù C' je pr nik C s minulostì v T. Pak S a C jsou nebo nejsou v M v okamûiku T podle toho, je-li C' v 5 nebo nenì. 4 " Druhá vïta této definice Ìká, ûe jestliûe pouûijeme gramatick minul Ëas k oznaëenì referenënìho Ëasu, kter leûì cel v p Ìtomnosti a budoucnosti, pak daná vïta nenabude ûádné pravdivostnì hodnoty, jako nap. ve vïtï v BrnÏ pröelo". T etì vïta Ìká: je-li v okamûik proslovenì vïty alespoú jeden interval z t Ìdy interval v minulosti, pak je t Ìda interval i referovan interval v minulosti podle toho, je-li interval z t Ìdy interval, které jsou v minulosti, také referovan m intervalem. Takûe jeötï jednou: minul Ëas M je chronologie relacì mezi t Ìdou interval - typu (o(or)) a referenënìmi Ëasy, intervaly, typu (OT); Minul Ëas je tedy objekt typu (O(O(OT))(OT))T. A to je také obecn typ gramatick ch Ëas - minulého i budoucìho. To, co jednotlivé Ëasy vzájemnï odliöuje, je okamûik pronesenì vïty, na nïmû závisì ona relace mezi referovan m intervalem a mnoûinou interval. Tento Ëasov okamûik je konstrukci (2*) vyskytuje, nenì v souvislosti se sémantizaci gramatick ch Ëas nijak podstatn. Jeho d leûitost se ukáûe zejména v souvislosti s anal zou vlastnìch jmen a zájmen. 38 Z d vodu v razové ekonomie a p ehlednosti se takové v razy obvykle zkracujì na tvar (oi) n ^ Z takové notace j e ihned patrné, ûe jde o objekt typu intenze. 35 Viz [27], Viz [54],

18 18 Rostislav NIEDERLE ovöem sémantizován jako funkce: nejde tedy o pragmatick FormálnÌ definice M je tato: element v anal ze. Mr SE«d r (ii) ([(3/,) [ct, A [ /, < /]]] A i = [ ÍAÍ, [ cti A [ /, < t ]]]). (Typy: s/o (or); c/(or); i/o; Ì/r, 3/ ( (o )) ). V této definici je minul Ëas M nedefinovan mezi S a C v tïch a pouze v tïch Ëasech, kdy se C neprotìná s minulostì; jinak je S spojena nebo nespojena pomocì M s C podle toho, zda Ëást C je nebo nenì pi vkem S. Jin mi slovy: referovan minul interval je vázán existenënì presupozicì, musì leûet v minulosti, i kdyû m ûe zasahovat do souëasnosti. Takûe vïta (3) VËera v BrnÏ pröelo" bude oznaëovat konstrukci (3*) Kwh [[ M [["Jed w] XwXt [ Pr H, B]] VË /]]. (VË/((or)r): VË je funkce, která kaûdému okamûiku t p i adì Ëasov interval (jde tedy o chronologii interval ), totiû den, kter p edcházì dni obsahujìcìmu Ëasov okamûik t; funkce Jed viz následujìcì kapitola). Na tomto mìstï je z ejmï t eba podrobnïji vysvïtlit funkcionálnì chápánì sémantiky v razu vëera", tedy v razu, kter byl zmìnïn v öe (Fl) jako p Ìklad indexického v razu. Frege naráûì na charakteristiku indexick ch v raz : pronese-li osoba A vïtu (3) dnes a osoba B pronese tutéû vïtu zìtra, pak, i kdyû pouûijì stejnou vïtu, nedenotujì stejnou myölenku. Frege zde postavil proti sobï oba své základnì principy (i) a (ii) 41, na kter ch stojì jeho sémantika. Jako by chápal sémantiku v razu vëera" v intencìch p Ìmé reference: tento termìn podle nïj p i svém pouûitì referuje p Ìmo k urëitému datu. Pronesu-li vïtu (3) dejme tornu , bude p Ìmo oznaëovat den Ale den jakoûto extenzìvnì Ëasová jednotka Ëi interval samoz ejmï nenì abstraktnì entita, jakou je smysl. TudÌû nem ûe b t souëástì fregovské myölenky. NavÌc: ten, kdo nevì, ûe vëera bylo (protoûe neumì poëìtat, z r zn ch d vod neorientuje se v kalendá i atd.), by vïtï (3) z ejmï nerozumïl. Coû je zjevnï nesmyslné. Tedy v raz vëera" nem ûe denotovat jednotlivé dny, n brû zp sob danosti jakéhokoliv dne, resp. funkcionálnì explikaci fregovského smyslu. Ten v raz zkrátka denotuje nïco konstantnìho, co vybìrá jednotlivé dny ad hoc. Proto tedy vïta (3) nedenotuje v r zn ch dnech r zné propozice, n brû jednu a tutéû propozici s r zn mi pravdivostnìmi hodnotami. To proto, ûe vïta (3) neobsahuje ûádn v raz, jehoû 41 Pro p ipomenutì: (i) vïta s indexick m v razem vyjad uje p i r zn ch pouûitìch r zné myölenky (resp. úplné smysly) a (ii) smysl \Ëty (resp. myölenka) je funkcì smysl sloûek této vïty. Uvedená interpretace je samoz ejmï jen jedna zmoûn ch, navìc lze Ìci, ûe Fregovi p Ìmo odporuje. Pro Frega p ece referujì prost ednictvìm smysl vöechny v razy!

19 INDEXICKÉ V RAZY (I) 19 sémantika by nebyla funkcionálnì. VÏta (3) vyjadruje v TIL uzav enou konstrukci, která konstruuje jedineënou propozici. Podobné argumenty lze uplatnit i pro sémantizaci vöech temporálnìch v raz typu ((ot)t) (vëera, zìtra, dnes, p edvëerejökem, pozìt Ì...). K potìûìm s Fregovou sémantikou indexick ch v raz v souvislosti s termìny dnes a vëera se jeötï vrátìm v kapitole o rigidnìch designátorech. OstatnÌ typy konstrukce (3 ). w/(, t/v, Pr/(oiW; B/i; Jed/(o(or))o Ll )w; M/(o(o(or))(or))r Expresivita TIL NásledujÌ detailnïjöì p Ìklady sémantizace temporálnìch v raz v TIL. ^ Jak uû bylo poznamenáno, tam, kde nenì explicitnï uvedeno frekvenënì adverbium, doplúujeme adverbium alespoú jednou: typ Jed/(((0(0r))0 wu )a)). Jde o obecn typ adverbiì. Definice frekvenënìho adverbia alespoú jednou: f [Jed W] a] <=>df hc (31) [[ cl] A [ A,,]]. 43 (Typy: s/o (o ); c/(or); tlr, 3/ (<g(o^ )); alo w,). Jak je vidït, je promïnná t vázána v obou Ëlenech konjunkce existenënìm kvantifikátorem, kter stanovuje podmìnku, ûe existuje Ëasov okamûik, kter je prvkem referovaného intervalu. Následuje ukázka typové anal zy vïty VËera v BrnÏ pröelo. ((0(0(0T))(0T)y (o(ot)o T J 42 Viz [27], 114. FrekvenËnÌ p Ìslovce, jako,bïhem',.jednou',.dvakrát',.nanejv ö dvakrát',,periodicky',,ëasto',,vïtöinou' atd. jsou tedy jména funkcì zpropozic do t Ìd o-chronoiogiì. Jak je zámïr takové definice? Ta definice nám Ìká, ûe jde o operaci, která ve svïtï W 4 3 p i azuje libovolné propozici A objekt, konstruovan konstrukcì Ac (3 ) [[ ct] A [ a M ]]. [...] Notace,<=> d r' znamená, ûe dvï konstrukce jsou ekvivalentnì v tom smyslu, ûe konstruujì stejn objekt p i stejném udïlenì hodnot voln m promïnn m a a iff Viz [54J.

20 20 Rostislav NIEDERLE Z této ukázky je z ejmé, ûe jak vïta (2), tak vïta (3) denotujì zcela urëitou propozici, v p ÌpadÏ vïty (3) propozici, která bude pravdivá ve vöech svïtech a Ëasech, ve kter ch vëera v BrnÏ pröelo. Definice budoucìho Ëasu je zrcadlov m odrazem definice Ëasu minulého: aby mïla vïta pravdivostnì hodnotu, musì referenënì Ëas (viz prvnì Ëlen konjunkce) leûet (alespoú zëásti) v budoucnosti (coû je zde oznaëeno obrácenou relacì < a kvantifikacì /,). B,SC <=> df (i ;') [(3ti)[ct\ A [ t < Ìl]] A i = [ S?lt\ [ Ct\ A [ t <? ]]]. (typy stejné jako v definici minulého Ëasu). Konstrukce, kterou vyjad uje vïta (4) ZÌtra bude v BrnÏ pröet", bude tedy analogická v öe uvedené konstrukci denotované vëtou (3): (4*) XwXt [[B, [ Jed ] XwXt [ Pr., B]] ZÌ,]]. (Typy: w/co\ t/r, Prl(oi) ar \ B/i; Jed/(O(OT))O W1 )CO; B/(o(o(or))(or))r, Zi7(or)r.) Anal za vïty (5) V BrnÏ vloni pröelo jen dvakrát" je následujìcì: (5*) XwXt [[M, [[ Dva ] XwXt [ Pr., B]] V1,]]. (Dva/((O(OT))O U )<W; V1/(OT)T, ostatnì stejné jako v (4*).) Anal za vïty (6) v BrnÏ pröelo" je následujìcì: (6*) XwXt [[M, [XwXt [ Pr M B]] Xt [T,]]. (T/r ; ostatnì typy jako v öe.) Propozice, konstruovaná konstrukcì (6*) (a denotovaná vëtou (6)) je bez pravdivostnì hodnoty v jakémkoliv Ëase, kter p edcházì V pozdïjöìm Ëase je pravdivá nebo nepravdivá podle toho, zda v BrnÏ pröelo nebo nepröelo. Konstrukce (6*) je samoz ejmï opït zcela nezávislá na Ëase pronesenì vïty (6). Tato vïta ani nem ûe obsahovat (implicitnì) referenci k Ëasu, ve kterém byla pronesena. Protoûe kdyby tomu tak bylo, pak by tento Ëas byl souëástì této vïty. VyslovenÌ stejné vïty v ËasovÏ odliöném okamûiku by vöak vyjad ovalo zcela jinou konstrukci, neboù by do této vïty zavedlo jako sloûku odliön Ëas promluvy. To by znemoûúovalo efektivnì komunikaci. Avöak jediná reference, o které vïta (6) mluvì a kterou konstrukce (6*) konstruuje, je interval - den Konstrukce (6*) tedy referuje k jednomu konstantnìmu Ëasu, coû zachovává jejì obsah, resp. nemïnì propozici, kterou ta vïta v r zn ch Ëasech svého pouûitì denotuje. OpÏt: jediné, co se mïnì, je pravdivostnì hodnota této vïty. Anal za vïty (7) Kdyû podraûilo pivo, v BrnÏ pröelo" je následujìcì:

21 INDEXICKÉ V RAZY (I) 21 (7*) kw'kt [ M, [ Jed, XwXt [ Pr B]] XwXt h, r M, [ Jed J XwXt Ì Po.., "Pili 0.11 (Po(draûit)/(OÌ) TO ; P(ivo)/i 44 ; ostatnì typy jako v öe). Fráze kdyû podraûilo pivo" se chápe ve smyslu v Ëase f takovém, ûe v, podraûilo pivo" a denotuje T-vlastnost (temporálnì vlastnost), konstruovanou podtrûenou Ëásti konstrukce. Tuto vlastnost má Ëasov interval, v nïmû v Ëesk ch zemìch podraûilo pivo. Platnost vïty (7) tvrdìme tak, ûe ekneme, ûe v BrnÏ pröelo (alespoú jednou) v r-t ÌdÏ, která je aktuálnì extenzì vlastnosti b t Ëasem, ve kterém v Ëesk ch zemìch podraûilo pivo"; T-vlastnost je tedy nïco, co majì rozdìlné soubory Ëas v rozdìln ch svïtech a rozdiln ch Ëasech. Typ T- vlastnosti: (OT) t <. Tato vlastnost p ipisuje podmìnku, za které nepodtrûená konstrukce konstruuje propozici. OpÏt: tato vïta, tak jako v p ipadï vït (3), (4) a (5) nereferuje k ûádnému jednotlivému Ëasovému intervalu. To vöak neznamená, ûe by konstrukce (3*), (4*) a (5*), které ty vïty v tomto po adì vyjad ujì, nemïly konstruovat zcela urëité propozice. OpÏt jediné, co podléhá zmïnï, je pravdivostnì hodnota propozice, nikoli denotovaná propozice sama. Souhrn eëeného Gramatické Ëasy vït jsou p irozenï chápány jako podstatn prvek jejich sémantiky. Lze je sémantizovat tak, ûe se reprezentujì funkcemi z Ëasov ch okamûik do a-objekt, a takto je chápána jejich sïmantizace: gramaticky Ëasované vïty jsou sémanticky sobïstaëné entity, které denotujì urëité propozice, resp. kter ch pravdivostnì podmìnky jsou dány. To se neobejde bez ontologick ch p edpoklad, které byly tematizovány ve FregovÏ stati Myölenka". Tichého konstrukce je explikacì Fregovy myölenky. Tichého p Ìstup k sémantice gramatick ch Ëas je samoz ejmï jen jeden z moûn ch. V dalöì kapitole nahlédneme, jak toto zadáni eöì Quine. 3.3 Quine a gramatick Ëas Tichého teoretick program je dán otázkou, o Ëem mluvìme. Tich by na ni mohl odpovïdït, ûe obvykle mluvìme sice o entitách Ëty rozmïrného svïta, avöak, v intencìch Frega (viz fregovsk smysl), nikdy ne p Ìmo. Kaûd smyslupln v raz má sv j abstraktnì protïjöek. Abychom dob e pouûìvali p irozen jazyk, nenì podle Tichého nutné znát hodnoty v raz tohoto jazyka v tomto svïtï a tomto Ëase. To, co totiû konstruujì (syntetické, empirické a 44 Typová anal za hromadného terminu pivo" je z ejmï komplikovanïjöì. Pro jednoduchost analyzuji tento v raz tak, ûe denotuje logick typ individua.

S T A r E INDEXICKÉ VÝRAZY (III) Rostislav NIEDERLE

S T A r E INDEXICKÉ VÝRAZY (III) Rostislav NIEDERLE S T A r E INDEXICKÉ VÝRAZY (III) Rostislav NIEDERLE The goal of this article is a general inspection of indexicals as a specific phenomenon of natural language on the one side, and a consideration of "semantization"

Více

S T A r F INDEXICKÉ VÝRAZY (II) Rostislav NIEDERLE. 4. Individuové a prostorové indexické v razy Fregovské principy (i) 1

S T A r F INDEXICKÉ VÝRAZY (II) Rostislav NIEDERLE. 4. Individuové a prostorové indexické v razy Fregovské principy (i) 1 S T A r F INDEXICKÉ VÝRAZY (II) Rostislav NIEDERLE The goal of this article is a general inspection of indexicals as a specific phenomenon of natural language on the one side, and a consideration of "semantization"

Více

RECENZIE. Ján äefránek: Inteligencia ako v poëet. IRIS, Bratislava 2000, 427 s.

RECENZIE. Ján äefránek: Inteligencia ako v poëet. IRIS, Bratislava 2000, 427 s. RECENZIE Ján äefránek: Inteligencia ako v poëet IRIS, Bratislava 2000, 427 s. UmÏlá inteligence (AI) j e velice öiroká problematika. Je to oblast, ve které se setkáváme s nejrozmanitïjöìmi p Ìstupy k lidsk

Více

INTERPRETACE: TYPY A KRITÉRIA 1

INTERPRETACE: TYPY A KRITÉRIA 1 P R E K L A D Y INTERPRETACE: TYPY A KRITÉRIA 1 Gôran HERMÉREN AËkoli je termìn interpretace" hojné pouûìván, jen z Ìdka jeho uûivatel uvede, co p esnï jìm má na mysli. Tak je mnohdy koöatá homonymie tohoto

Více

VY»ERPÁVAJÍ AKTUÁLNÍ ENTITY VäECHNY MOéNÉ OBJEKTY?

VY»ERPÁVAJÍ AKTUÁLNÍ ENTITY VäECHNY MOéNÉ OBJEKTY? s r a r e VY»ERPÁVAJÍ AKTUÁLNÍ ENTITY VäECHNY MOéNÉ OBJEKTY? Radim BÏlohrad DO ACTUAL ENTITIES EXHAUST ALL POSSIBLE OBJECTS? This essay presents a comparison of modal theories with flexible and constant

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

BUDOUCNOST FILOSOFIE. Moritz SCHLICK

BUDOUCNOST FILOSOFIE. Moritz SCHLICK P R E K L A D Y BUDOUCNOST FILOSOFIE Moritz SCHLICK Studium historie filosofie snad nejvìc zaujme toho, kdo chce porozumït civilizaci a kultu e lidstva. Kaûdá sloûka lidské p irozenosti, která nïjak m

Více

VopÏnka, Petr: Meditace o základech vïdy

VopÏnka, Petr: Meditace o základech vïdy VopÏnka, Petr: Meditace o základech vïdy Praha, Práh 2001, s. 205 Meditace o základech vïdy (dále jen Meditace) korunujì dosavadnì dìlo filosofa a matematika Petra VopÏnky. NabÌzejÌ nov vhled do zp sobu,

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

ZLATO JAKO INVESTICE

ZLATO JAKO INVESTICE ZLATO JAKO INVESTICE Jiû v roce 1966 napsal Alan Greenspan ve své stati Zlato a finanëní svoboda : «...bez zlatého standardu neexistuje moûnost, jak ochránit úspory p ed zcizením inflací. Bez nïj neexistuje

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

10 je 0,1; nebo taky, že 256

10 je 0,1; nebo taky, že 256 LIMITY POSLOUPNOSTÍ N Á V O D Á V O D : - - Co to je Posloupnost je parta očíslovaných čísel. Trabl je v tom, že aby to byla posloupnost, musí těch čísel být nekonečně mnoho. Očíslovaná čísla, to zavání

Více

ZMÃNA Ë. 2 ÚPO PELECHY TEXTOVÁ A GRAFICKÁ»ÁST. Ing. arch. Ladislav Bareö PAFF - architekti

ZMÃNA Ë. 2 ÚPO PELECHY TEXTOVÁ A GRAFICKÁ»ÁST. Ing. arch. Ladislav Bareö PAFF - architekti ZMÃNA Ë. 2 ÚPO PELECHY TEXTOVÁ A GRAFICKÁ»ÁST Ing. arch. Ladislav Bareö PAFF - architekti KVÃTEN 2011 POÿIZOVATEL: MÏstsk ú ad Domaûlice adresa: MÏstsk ú ad Domaûlice Odbor v stavby a územního plánování

Více

DOPLNÃK K INSTALA»NÕMU

DOPLNÃK K INSTALA»NÕMU DOPLNÃK K INSTALA»NÕMU A PROGRAMOVACÕMU MANU LU Pouze pro modely: S A-39 -A S P-39 -A S A-39 -B S P-39 -B S A-38 -A S P-38 -A S A-38 -B S P-38 -B Výrobce: NIVELCO Process Control Co.Ltd. H-1043 Budapest,

Více

Logika. Prokop Sousedík. pro studenty humanitních oborů

Logika. Prokop Sousedík. pro studenty humanitních oborů VYäEHRAD PROKOP SOUSEDÕK Logika Prokop Sousedík pro studenty humanitních oborů VYäEHRAD 2008 VÏnuji svè ûenï AlenÏ Prokop SousedÌk, 2008 ISBN 978-80-7021-970-6 OBSAH P edmluva ñ ñ 9 P edmluva k druhèmu

Více

StavebnÌ spo enì v»r. StavebnÌ spo enì v»r

StavebnÌ spo enì v»r. StavebnÌ spo enì v»r Rok 23 byl v oblasti stavebnìho spo enì rokem v znamn ch legislativnìch zmïn. Po dlouh ch debat ch byla na podzim parlamentem schv lena novela stavebnìho spo enì, jejìmû cìlem bylo p iblìûit Ëesk systèm

Více

Operace s maticemi. Studijnı materia ly. Pro listova nı dokumentem NEpouz ı vejte kolec ko mys i nebo zvolte moz nost Full Screen.

Operace s maticemi. Studijnı materia ly. Pro listova nı dokumentem NEpouz ı vejte kolec ko mys i nebo zvolte moz nost Full Screen. U stav matematiky a deskriptivnı geometrie Operace s maticemi Studijnı materia ly Pro listova nı dokumentem NEpouz ı vejte kolec ko mys i nebo zvolte moz nost Full Screen. Brno 2014 RNDr. Rudolf Schwarz,

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

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

Ú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

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

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

v trojúhelníku P QC sestrojíme vý¹ky na základnu a jedno rameno, patu vý¹ky na rameno oznaèíme R a patu na základnu S

v trojúhelníku P QC sestrojíme vý¹ky na základnu a jedno rameno, patu vý¹ky na rameno oznaèíme R a patu na základnu S Øe¹ení 5. série IV. roèníku kategorie JUNIOR RS-IV-5-1 Pro na¹e úvahy bude vhodné upravit si na¹í rovnici do tvaru 3 jx 1 4 j+2 = 5 + 4 sin 2x: Budeme uva¾ovat o funkci na pravé stranì na¹í rovnice, tj.

Více

3.5.8 Otočení. Předpoklady: 3506

3.5.8 Otočení. Předpoklady: 3506 3.5.8 Otočení Předpoklady: 3506 efinice úhlu ze základní školy: Úhel je část roviny ohraničená dvojicí polopřímek se společným počátečním bodem (konvexní a nekonvexní úhel). Nevýhody této definice: Nevíme,

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

Transparentní intenzionální logika (TIL)

Transparentní intenzionální logika (TIL) Marek Rychlý Ústav informačních systémů, Fakulta informačních technologií, Vysoké učení technické v Brně, Božetěchova 2, Brno 612 66, Czech Republic rychly@fit.vutbr.cz Abstrakt Transparentní intenzionální

Více

Zásady pro vypracování disertační práce Fakulty strojní VŠB-TUO

Zásady pro vypracování disertační práce Fakulty strojní VŠB-TUO Účinnost dokumentu od: 1. 4. 2014 Fakulty strojní VŠB-TUO Řízená kopie č.: Razítko: Není-li výtisk tohoto dokumentu na první straně opatřen originálem razítka 1/6 Disertační práce je výsledkem řešení konkrétního

Více

Gaussovou eliminac nı metodou

Gaussovou eliminac nı metodou U stav matematiky a deskriptivnı geometrie R es enı soustav linea rnıćh algebraicky ch rovnic Gaussovou eliminac nı metodou Studijnı materia ly Pro listova nı dokumentem NEpouz ı vejte kolec ko mys i nebo

Více

Obsah. Logická zkoumání

Obsah. Logická zkoumání Obsah Logická zkoumání O smyslu a významu 17 Výklady o smyslu a významu 43 Funkce a pojem 55 Pojem a předmět 79 Myšlenka. Logické zkoumání 95 Recenze Husserlovy Filosofie aritmetiky 123 Základy aritmetiky

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

MANUÁL PRO PRÁCI S POČÍTAČOVÝM PROGRAMEM SLUNÍČKO

MANUÁL PRO PRÁCI S POČÍTAČOVÝM PROGRAMEM SLUNÍČKO UNIVERZITA PALACKÉHO V OLOMOUCI Pedagogická fakulta Katedra speciální pedagogiky RADKA BENEŠOVÁ III. roč ník prezenč ní studium obor: speciální pedagogika př edškolního vě ku MANUÁL PRO PRÁCI S POČÍTAČOVÝM

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

Inteligentní systémy (TIL)

Inteligentní systémy (TIL) Inteligentní systémy (TIL) Marie Duží http://www.cs.vsb.cz/duzi/ Přednáška 8 Příklady ze cvičení 1. Analyzujte následující úsudek (a) intensionálně, (b) hyperintensionálně a zdůvodněte, při které analýze

Více

5. 18 Konverzace v anglickém jazyce

5. 18 Konverzace v anglickém jazyce Charakteristika předmětu 5. 18 Konverzace v anglickém jazyce Cílem výuky Konverzace v anglickém jazyce je rozvíjet u žáků předpoklady pro mezikulturní komunikaci v rámci Evropy i světa a k užívání jazyka

Více

Kompendium o topných kabelech Část 1: Úsporné vytápění

Kompendium o topných kabelech Část 1: Úsporné vytápění Kompendium o topných kabelech Část 1: Úsporné vytápění DE-VI s. r. o., Břeclav 1999 é dn Ë st z obsahu tohoto kompendia nesmì b t kopìrov na a rozmnoûov na bez pìsemnèho souhlasu vydavatele. 3 Všeobecné

Více

Modifikace: atributivní použití adjektiv, druhy adjektiv,

Modifikace: atributivní použití adjektiv, druhy adjektiv, : atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory událostí/predikáty vyššího řádu FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik

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

Metody tvorby ontologií a sémantický web. Martin Malčík, Rostislav Miarka

Metody tvorby ontologií a sémantický web. Martin Malčík, Rostislav Miarka Metody tvorby ontologií a sémantický web Martin Malčík, Rostislav Miarka Obsah Reprezentace znalostí Ontologie a sémantický web Tvorba ontologií Hierarchie znalostí (D.R.Tobin) Data jakékoliv znakové řetězce

Více

Operace s maticemi. Studijnı materia ly. Pro listova nı dokumentem NEpouz ı vejte kolec ko mys i nebo zvolte moz nost Full Screen.

Operace s maticemi. Studijnı materia ly. Pro listova nı dokumentem NEpouz ı vejte kolec ko mys i nebo zvolte moz nost Full Screen. Jdi na stranu Celá obr./okno Zavřít 1 Operace s maticemi Studijnı materia ly Pro listova nı dokumentem NEpouz ı vejte kolec ko mys i nebo zvolte moz nost Full Screen. Brno 2014 RNDr. Rudolf Schwarz, CSc.

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

Fyzick dostupnost byt a bytov v stavba v okresech»eskè republiky

Fyzick dostupnost byt a bytov v stavba v okresech»eskè republiky Fyzick dostupnost byt a bytov v stavba v okresech»eskè republiky N sledujìcì sèrie mapek pod v z kladnì p ehled o fyzickè dostupnosti byt a bytovè v stavbï v okresech»eskè republiky. Data o fyzickè dostupnosti

Více

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

postaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy Formální systémy (výrokové) logiky postaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy cíl: získat formální teorii jako souhrn dokazatelných

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

ČÁST PÁTÁ POZEMKY V KATASTRU NEMOVITOSTÍ

ČÁST PÁTÁ POZEMKY V KATASTRU NEMOVITOSTÍ ČÁST PÁTÁ POZEMKY V KATASTRU NEMOVITOSTÍ Pozemkem se podle 2 písm. a) katastrálního zákona rozumí část zemského povrchu, a to část taková, která je od sousedních částí zemského povrchu (sousedních pozemků)

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

Kočí, R.: Účelové pozemní komunikace a jejich právní ochrana Leges Praha, 2011

Kočí, R.: Účelové pozemní komunikace a jejich právní ochrana Leges Praha, 2011 Kočí, R.: Účelové pozemní komunikace a jejich právní ochrana Leges Praha, 2011 Účelové komunikace jsou důležitou a rozsáhlou částí sítě pozemních komunikací v České republice. Na rozdíl od ostatních kategorií

Více

Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 1 / 14

Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 1 / 14 Д1Х3Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika FF MU Mojm r DoБ0Н0ekal Б0Й3JABL Logika: syst movб0л5 r Ґmec rozvoje oboru v Б0М9R a koncepce logickб0л5ch

Více

Komunikace s veřejností

Komunikace s veřejností Vzdělávání zaměstnanců MěÚ Slaný Tento projekt je financován z prostředků Evropského sociálního fondu prostřednictvím Operačního programu Lidské zdroje a zaměstnanost a obecního rozpočtu." Komunikace s

Více

vztahy, konverzační implikatury, presupozice

vztahy, konverzační implikatury, presupozice : sémantika, formální sémantika, významové vztahy, konverzační implikatury, presupozice FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová

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

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

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

Inteligentní systémy (TIL)

Inteligentní systémy (TIL) Inteligentní systémy (TIL) Marie Duží http://www.cs.vsb.cz/duzi/ Přednáška 9 hyperintensionální kontext Celá konstrukce C je objektem predikace (argumentem), tedy její výstup funkce, kterou konstruuje,

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

Doporučené zásady pro vypracování diplomových prací

Doporučené zásady pro vypracování diplomových prací 1 PRACOVNÕ KNIHA Ë. 1/96 Doporučené zásady pro vypracování diplomových prací RNDr. Jiří Dvořák, CSc. Mgr. Dan Smítal 2 O B S A H 1. vod.................................................................

Více

PSANÍ. Anglický jazyk 5. třída Hana Stryalová

PSANÍ. Anglický jazyk 5. třída Hana Stryalová PSANÍ Jazyk Úroveň Autor Kód materiálu Anglický jazyk 5. třída Hana Stryalová Aj5-kap-str-psa-06 Z á k l a d o v ý t e x t : Dear Jessica! I am in Spain now. I am here with a Spanish girl. Her name is

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

Zefektivnění zadávání znaků na mobilním telefonu bez T9

Zefektivnění zadávání znaků na mobilním telefonu bez T9 Rok / Year: Svazek / Volume: Číslo / Number: 2011 13 2 Zefektivnění zadávání znaků na mobilním telefonu bez T9 More effective letter typing on mobile phone without using T9 Jan Beneš xbenes32@stud.feec.vutbr.cz

Více

Výsledky srovnávacích testů za školní rok 2014/2015. Při interpretaci výsledků testů je samozřejmě zapotřebí jisté opatrnosti a uvědomění toho, že:

Výsledky srovnávacích testů za školní rok 2014/2015. Při interpretaci výsledků testů je samozřejmě zapotřebí jisté opatrnosti a uvědomění toho, že: Výsledky srovnávacích testů za školní rok 2014/2015 Při interpretaci výsledků testů je samozřejmě zapotřebí jisté opatrnosti a uvědomění toho, že: - výsledky testu mohou být ovlivněny nejrůznějšími faktory,

Více

Specialista pro vytvá řenívztahů Specialist for Creating Relations

Specialista pro vytvá řenívztahů Specialist for Creating Relations Specialista pro vytvá řenívztahů Specialist for Creating Relations Roman KOZEL If universities want to succeed on the market, they have to deal with higher assertivity their graduates. They need a specialist,

Více

A. PODÍL JEDNOTLIVÝCH DRUHŮ DOPRAVY NA DĚLBĚ PŘEPRAVNÍ PRÁCE A VLIV DÉLKY VYKONANÉ CESTY NA POUŽITÍ DOPRAVNÍHO PROSTŘEDKU

A. PODÍL JEDNOTLIVÝCH DRUHŮ DOPRAVY NA DĚLBĚ PŘEPRAVNÍ PRÁCE A VLIV DÉLKY VYKONANÉ CESTY NA POUŽITÍ DOPRAVNÍHO PROSTŘEDKU A. PODÍL JEDNOTLIVÝCH DRUHŮ DOPRAVY NA DĚLBĚ PŘEPRAVNÍ PRÁCE A VLIV DÉLKY VYKONANÉ CESTY NA POUŽITÍ DOPRAVNÍHO PROSTŘEDKU Ing. Jiří Čarský, Ph.D. (Duben 2007) Komplexní přehled o podílu jednotlivých druhů

Více

Data v počítači EIS MIS TPS. Informační systémy 2. Spojení: e-mail: jan.skrbek@tul.cz tel.: 48 535 2442 Konzultace: úterý 14 20-15 50

Data v počítači EIS MIS TPS. Informační systémy 2. Spojení: e-mail: jan.skrbek@tul.cz tel.: 48 535 2442 Konzultace: úterý 14 20-15 50 Informační systémy 2 Data v počítači EIS MIS TPS strategické řízení taktické řízení operativní řízení a provozu Spojení: e-mail: jan.skrbek@tul.cz tel.: 48 535 2442 Konzultace: úterý 14 20-15 50 18.3.2014

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

Statistika pro geografy. Rozd lení etností DEPARTMENT OF GEOGRAPHY

Statistika pro geografy. Rozd lení etností DEPARTMENT OF GEOGRAPHY Statistika pro geografy Rozd lení etností DEPARTMENT OF GEOGRAPHY Faculty of Science Palacký University Olomouc t. 17. listopadu 1192/12, 771 46 Olomouc Pojmy etnost = po et prvk se stejnou hodnotou statistického

Více

PodmÌnky. pln podmìnïn p Ìkaz if. P Ìklady tvorby konstrukcì s if

PodmÌnky. pln podmìnïn p Ìkaz if. P Ìklady tvorby konstrukcì s if PodmÌnky Činnost řady příkazů v PHP je řízena tzv. podmínkou. Podmínka je zjednodušeně řečeno zápis, který PHP vyhodnotí a zjistí, zda je pravdivý nebo ne. Podmínky se v PHP používají zejména k řízení

Více

OBCHODNÍ PRÁVO Vysoká škola ekonomie a managementu 2012

OBCHODNÍ PRÁVO Vysoká škola ekonomie a managementu 2012 OBCHODNÍ PRÁVO Vysoká škola ekonomie a managementu 2012 Obchodní právo JUDr. Ing. Jaroslav Staněk, CSc. Copyright Vysoká škola ekonomie a managementu 2012. Vydání první. Všechna práva vyhrazena. ISBN 978-80-86730-93-6

Více

Preference v u ívání prost edk elektronické komunikace áky a studenty

Preference v u ívání prost edk elektronické komunikace áky a studenty Preference v u ívání prost edk elektronické komunikace áky a studenty (dotazníkový pr zkum) Zuzana Pustinová Dne ní doba nabízí mnohé mo nosti, jak komunikovat, ani by se ú astníci hovoru nacházeli 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

Společné stanovisko GFŘ a MZ ke změně sazeb DPH na zdravotnické prostředky od 1. 1. 2013

Společné stanovisko GFŘ a MZ ke změně sazeb DPH na zdravotnické prostředky od 1. 1. 2013 Společné stanovisko GFŘ a MZ ke změně sazeb DPH na zdravotnické prostředky od 1. 1. 2013 Od 1. 1. 2013 došlo k novelizaci zákona č. 235/2004 Sb., o dani z přidané hodnoty (dále jen zákon o DPH ), mj. i

Více

Limity funkcí v nevlastních bodech. Obsah

Limity funkcí v nevlastních bodech. Obsah Limity funkcí v nevlastních bodech V tomto letáku si vysv tlíme, co znamená, kdyº funkce mí í do nekone na, mínus nekone na nebo se blíºí ke konkrétnímu reálnému íslu, zatímco x jde do nekone na nebo mínus

Více

Zápis. z 23. mimořádného zasedání Rady města Valašské Meziříčí konaného dne 29. listopadu 2011 v 8:00 hodin v malé zasedací místnosti, budova radnice

Zápis. z 23. mimořádného zasedání Rady města Valašské Meziříčí konaného dne 29. listopadu 2011 v 8:00 hodin v malé zasedací místnosti, budova radnice Zápis z 23. mimořádného zasedání Rady města Valašské Meziříčí konaného dne 29. listopadu 2011 v 8:00 hodin v malé zasedací místnosti, budova radnice Přítomni: Ověřovatelé zápisu: Zapisovatelka: dle presenční

Více

Logika a formální sémantika: 8. Game-theoretical semantics

Logika a formální sémantika: 8. Game-theoretical semantics Logika a formální sémantika: 8. Game-theoretical semantics Ji í Raclavský (raclavsky@phil.muni.cz) Department of Philosophy, Masaryk University, Brno (Gödel's hometown) Logika: systémový rámec rozvoje

Více

Výroková logika syntaxe a sémantika

Výroková logika syntaxe a sémantika syntaxe a sémantika Jiří Velebil: AD0B01LGR 2015 Handout 01: & sémantika VL 1/16 1 Proč formální jazyk? 1 Přirozené jazyky jsou složité a často nejednoznačné. 2 Komunikace s formálními nástroji musí být

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

Komplexita a turbulence

Komplexita a turbulence SA414 - přednáška č. 5 Sociální systémy, systémy lidských aktivit Kybernetika (2. řádu): člověk a znalos(i) Povaha znalosti - mentální modely jako vzory Externalizace znalostí symboly a jazyk Znalosti

Více

PARLAMENT ČESKÉ REPUBLIKY Poslanecká sněmovna 2005 IV. volební období

PARLAMENT ČESKÉ REPUBLIKY Poslanecká sněmovna 2005 IV. volební období PARLAMENT ČESKÉ REPUBLIKY Poslanecká sněmovna 2005 IV. volební období 1207 Návrh poslanců Waltera Bartoše, Vlastimila Tlustého, Petra Nečase a dalších na vydání zákona, kterým se mění zákon č. 561/2004

Více

Exponenciála matice a její užití. fundamentálních matic. Užití mocninných řad pro rovnice druhého řádu

Exponenciála matice a její užití. fundamentálních matic. Užití mocninných řad pro rovnice druhého řádu 1 Tutoriál č. 3 Exponenciála matice a její užití řešení Cauchyovy úlohy pro lineární systémy užitím fundamentálních matic. Užití mocninných řad pro rovnice druhého řádu 0.1 Exponenciála matice a její užití

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

ZÁKLADNÍ VZDĚLANOSTNÍ A OBOROVÁ STRUKTURA UŽIVATELŮ KNIHOVNY (Několik pohledů prostřednictvím statistik a pár dobrých rad)

ZÁKLADNÍ VZDĚLANOSTNÍ A OBOROVÁ STRUKTURA UŽIVATELŮ KNIHOVNY (Několik pohledů prostřednictvím statistik a pár dobrých rad) ZÁKLADNÍ VZDĚLANOSTNÍ A OBOROVÁ STRUKTURA UŽIVATELŮ KNIHOVNY (Několik pohledů prostřednictvím statistik a pár dobrých rad) Hanuš Hemola, Národní knihovna ČR Uživatele knihovny lze zkoumat z různých úhlů

Více

PRŮZKUM KABELOVÝCH KANÁLKŮ ZA POUŽITÍ GEORADARU

PRŮZKUM KABELOVÝCH KANÁLKŮ ZA POUŽITÍ GEORADARU PRŮZKUM KABELOVÝCH KANÁLKŮ ZA POUŽITÍ GEORADARU Ing. Jiří Hruška Kolej Consult & Servis Ing. Martin Vilč DOPRAVOPROJEKT Ostrava, spol. s r.o. Cable canals investigation with the use of the georadar Georadar

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

Malé vodní elektrárny

Malé vodní elektrárny Malé vodní elektrárny Malé vodní elektrárny slouží k ekologicky šetrné výrobě elektrické energie. Mohou využívat potenciálu i těch vodních toků, které mají kolísavý průtok vody a jsou silně závislé na

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

5. 15 Hudební výchova

5. 15 Hudební výchova Charakteristika vyučovacího předmětu 5. 15 Hudební výchova Hudební výchova vede žáka k porozumění hudebnímu umění. Umožňuje mu hudebně se projevovat jak při individuálních, tak při skupinových aktivitách,

Více

http://www.coptkm.cz/ Měření výkonu zesilovače

http://www.coptkm.cz/ Měření výkonu zesilovače http://www.coptkm.cz/ Měření výkonu zesilovače Měření výkonu zesilovače se neobejde bez zobrazování a kontroly výstupního průběhu osciloskopem. Při měření výkonu zesilovače místo reprodukční soustavy zapojíme

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

Mendelova zemědělská a lesnická univerzita v Brně Agronomická fakulta Ústav techniky a automobilové techniky

Mendelova zemědělská a lesnická univerzita v Brně Agronomická fakulta Ústav techniky a automobilové techniky Mendelova zemědělská a lesnická univerzita v Brně Agronomická fakulta Ústav techniky a automobilové techniky Měření fyzikálních veličin Bakalářská práce Vedoucí práce: Vypracoval: doc. Ing. Josef Filípek,

Více

Matematický model kamery v afinním prostoru

Matematický model kamery v afinním prostoru CENTER FOR MACHINE PERCEPTION CZECH TECHNICAL UNIVERSITY Matematický model kamery v afinním prostoru (Verze 1.0.1) Jan Šochman, Tomáš Pajdla sochmj1@cmp.felk.cvut.cz, pajdla@cmp.felk.cvut.cz CTU CMP 2002

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

MODUL 10 Jazykové vzdělávání v učící se obci, městě, regionu

MODUL 10 Jazykové vzdělávání v učící se obci, městě, regionu MODUL 10 Jazykové vzdělávání v učící se obci, městě, regionu Napsala Renata Vystrčilová (Právnická fakulta, Univerzita Palackého, Olomouc, Česká republika, vystrcil@pfnw.upol.cz) a profesor Norman Longworth

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

VYSOKÁ ŠKOLA FINANČNÍ A SPRÁVNÍ, o.p.s. Fakulta ekonomických studií katedra řízení podniku. Předmět: ŘÍZENÍ LIDSKÝCH ZDROJŮ (B-RLZ)

VYSOKÁ ŠKOLA FINANČNÍ A SPRÁVNÍ, o.p.s. Fakulta ekonomických studií katedra řízení podniku. Předmět: ŘÍZENÍ LIDSKÝCH ZDROJŮ (B-RLZ) VYSOKÁ ŠKOLA FINANČNÍ A SPRÁVNÍ, o.p.s. Fakulta ekonomických studií katedra řízení podniku Předmět: ŘÍZENÍ LIDSKÝCH ZDROJŮ (B-RLZ) Téma 7: HODNOCENÍ PRACOVNÍHO VÝKONU, ODMĚŇOVÁNÍ ŘÍZENÍ PRACOVNÍHO VÝKONU

Více

DAŇOVÉ AKTULITY 2013. Daň z přidané hodnoty

DAŇOVÉ AKTULITY 2013. Daň z přidané hodnoty DAŇOVÉ AKTULITY 2013 Po dlouhém období daňově lability v oblasti očekávání pro rok 2013 a následující došlo ke schválení kontroverzního daňového balíčku a dalších daňových zákonů a jejich zveřejnění ve

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

Číslo: RP 1/08 Téma: Periodická tabulka prvků Jméno: Šárka Čudová

Číslo: RP 1/08 Téma: Periodická tabulka prvků Jméno: Šárka Čudová Číslo: RP 1/08 Téma: Periodická tabulka prvků Jméno: Šárka Čudová Tématem mé ročníkové práce je Periodická tabulka prvků. Práce je rozdělena do několika částí. V první části se zabývám samotným pojmem

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

Základní umělecká škola Sokolov, Staré náměstí 37, 356 01 Sokolov

Základní umělecká škola Sokolov, Staré náměstí 37, 356 01 Sokolov Základní umělecká škola Sokolov, Staré náměstí 37, 356 01 Sokolov Název projektu Podpora profesního rozvoje pedagogických pracovníků ZUŠ Karlovarského kraje při zavádění nových studijních oborů v rámci

Více

Výzva k podání nabídky na zpracování územního plánu obce Vyžlovka

Výzva k podání nabídky na zpracování územního plánu obce Vyžlovka Výzva k podání nabídky na zpracování územního plánu obce Vyžlovka 1) Název zakázky, údaje o výzvě Název zakázky: Zpracování územního plánu obce Vyžlovka Režim zakázky: Zakázka malého rozsahu, mimo režim

Více