Charakter logické analýzy přirozeného jazyka Jiří Raclavský
|
|
- Jana Vacková
- před 8 lety
- Počet zobrazení:
Transkript
1 Charakter logické analýzy přirozeného jazyka Jiří Raclavský V nedávném čísle tohoto časopisu vyšla stať Vladimíra Svobody Logická analýza a přirozený jazyk, 1 která polemizuje s názory na fundamentální otázky logické analýzy přirozeného jazyka, které prezentoval Pavel Materna, 2 přičemž Materna v něčem navazoval na expozici relevantních problémů podanou Pavlem Cmorejem. 3 Ačkoli leccos v názorech Vladimíra Svobody sdílím, přece jen v některých formulacích shledávám, že celkové vyznění jeho úvah se zdá neslučitelné s pozicemi, které zastávají mezi jinými např. příznivci Tichého Transparentní intenzionální logiky (TIL). Obhajoba nejen třeba smysluplnosti logické analýzy jazyka, avšak i např. analytičnosti těchto analýz, je cílem této mé diskusní reakce. Domnívám se, že právě takováto osvětlování jsou něčím, k čemu Svoboda ve svém článku vybízel. Výrazy významuplné a významuprázdné Pavel Cmorej vyšel ve své stati z distinkce, která je obecně přijatelná pro mnohé logické koncepce, avšak i zastánci TIL (např. jak Materna, tak i já 4 ) zjistili její přijatelnost v rámci TIL. Cmorej upozorňuje, že slovo výraz se mezi logiky a filosofy jazyka obecně vyskytuje ve dvojím smyslu, přičemž jedním je pojetí výrazu jakožto něčeho, co je obdařeno v daném jazyce významem výraz v tomto smyslu nazývá Cmorej jazykový výraz, druhým pak je pojetí výrazu jakožto znaku, jemuž v nějakém jazyce žádný význam neodpovídá takovýto výraz nazývá Cmorej semivýraz. Cmorej dále pracovně vysvětluje jazykový výraz jako dvojici <semivýraz, význam>; já ovšem budu spíše než takovouto dvojici uvažovat zobrazení z výrazu-znaku do významu. Osobně též spíše než jazykový výraz / semivýraz preferuji dvojici významuplný / významuprázdný (výraz); pro toho, kdo by zjistil, že tyto predikáty nejsou navzdory perfektní srozumitelnosti jejich významu v jazyce spisovné češtiny, dodávám analogickou dvojici výraz smysluplný / nesmyslný (jak je patrné, druhý predikát má zbytečně nevhodné konotace). Obecně vzato může filosof či vědec při nazývání nějakých jím zjištěných skutečností používat dva postupy: a) explikuje nějaký běžný výraz, čili určí na přesně které věci se tento výraz vztahuje (to je případ termínu jazykový výraz ), b) zavede (a definuje) neologismus (to je případ termínu semivýraz ). Domnívám se proto, že kvůli tomuto není třeba namítat to (s. 628), že slovo semivýraz se v jazyku aktuální spisovné češtiny nevyskytuje. On se v něm sice zatím nevyskytuje, nicméně skutečnost jeho zavedení ovšem coby neologismu je přece běžný postup uplatňovaný v mnoha vědních disciplínách, aniž by se tyto neologismy dostaly do slovníku spisovné češtiny (slovníku, který je ať chceme či nechceme takto neúplný). Jistě má Svoboda pravdu, že neologismus musí být zaveden řádně (s. 628), tedy správnou definicí; pokud se mu jeví Maternovo vymezení nedostatečné, stačí nahlédnout do Cmorejovy statě, kde je tak učiněno. Svoboda uvažuje, že odborný termín semivýraz není výrazem běžné češtiny 1, ale speciální (Maternovy, logikovy) češtiny 2 (s. 628). V důsledku těchto svých úvah se obává, že se pohybujeme v nepřehledném reji různých jazyků (Čeština 1,..., Čeština n ), z nichž žádný 1 Svoboda, Vladimír (2005): Logická analýza a přirozený jazyk, Filosofický časopis 53, 4, (V textu budu na tuto stať odkazovat jen uvedením čísla stránky.) 2 Materna, Pavel (2005): Je logická analýza jazyka možná?, Filosofický časopis 53, 2, Cmorej, Pavel (2005): Semivýrazy a výrazy, In: P. Sousedík (ed.), Jazyk-logika-věda, Praha: Filosofia, Raclavský, Jiří (2005): Cmorej a Tichý o jazyce a jeho logické analýze, Slovo a slovesnost, (v tisku). 1
2 není češtinou tak, jak ji běžně chápeme (s. 629). Domnívám se, že zde jde o obavu zcela zbytečnou existence odborných (profesních) sub-jazyků určitého jazyka je naprosto samozřejmou věcí, která se děje jazykům všech (v určitém směru) vyspělejších národů (pomněme např. filosofický subjazyk řečtiny starých Řeků). Jazyk modelovaný jakožto kód Přátelé konstrukcí, jak Svoboda nazývá příznivce TIL, pokud vím akceptují Tichého koncepci jazyka jakožto kódu. 5 Jazyk coby kód je zobrazením z gödelizovaných výrazů-znaků (ty budu značit g(v i ) 6 ) do konstrukcí (ty budu značit K i ), které jsou v TIL chápány jako významy těchto výrazů (výrazy jsou syntaktickou složkou, významy-konstrukce sémantickou složkou). Naneštěstí se dá zjistit, že kódy přirozených jazyků jsou typicky parciálními zobrazeními neboli že pro některé (gödelizované) výrazy není přiřazen význam): Kód i : g(v 1 ) K 1 g(v 2 ) K 2 : : g(v 10 ) K 1 : : g(v 13 ) : : g(v n ) K n výraz V 13 je významuprostý v Kódu i. 7 Na základu pojetí jazyka jakožto kódu lehce vysvětlíme otázku, kterou Svoboda správně považuje za velmi důležitou, totiž kolik významů je se zmíněnou větou [větou obsahující slovo semivýraz; uvažujme však pro obecnost jakýkoli výraz; J.R.]... spjato zda jeden, dva, pět, či třeba 864 (s. 629). Zcela souhlasím se Svobodou, že tato otázka musí mít... jednoznačnou odpověď (s. 629), ačkoli Svoboda nevěří, že by Materna vážně prosazoval nějaké určité číslo (s. 629). Odpověď je však opravdu jednoduchá. Kódy, které jsou uvažovány, jsou vždy zobrazeními (jev synonymie pak zapříčiňuje to, že takováto zobrazení jsou mnoho-jednoznačná). Kód je funkční zobrazení, je to funkce; jenže žádné jednomnohoznačné (či mnoho-mnohoznačné) zobrazení vůbec není funkčním zobrazením. 8 Takže a) pokud je určitý výraz významuplný v určitém kódu, pak v něm má právě jeden význam, b) pokud je určitý výraz významuprázdný v určitém kódu, pak v něm nemá žádný význam. Obecně řečeno: výraz má v určitém kódu nanejvýš jeden význam. Svoboda se možná nemusí cítit být takovou odpovědí zcela uspokojen, uvažuje-li různé jazyky (Čeština 1, Čeština 2,...). Ovšem i kdyby byly uvažovány jazyky evidentně málo související (např. angličtina a čeština), je jisté, že ono mětí významu je vždy vázáno na to, v kterém z těchto jazyků to má být. Pokud bychom se ptali, kolik má nějaký výraz významů ať už v tom či jiném kódu, čili vlastně ve všech kódech, pak je odpovědí jednoduše nekonečně mnoho. Důvodem je to, že kódů coby zobrazení z (gödelizovaných) výrazů do 5 Tichý, Pavel (1986): Indiscernibility of Identicals, Studia Logica 45, (všechny Tichého publikované statě jsou přetištěny v V. Svoboda, B. Jespersen, Ch. Collin (eds.) (2004): Pavel Tichý's Collected Papers in Logic and Philosophy. Dunedin: Otago UP, Praha: Filosofia); nebo též Tichý, Pavel (1988): The Foundations of Frege s Logic. Berlin-New York: Walter de Gruyter. Popř. moji stať Složení přirozeného jazyka z hlediska Transparentní intenzionální logiky (patrně vyjde r ve sborníku z letošního symposia Česko-slovenské analytické filosofie). 6 V Cmorejově terminologii jde o zakódované semivýrazy. 7 Výrazy V 1 a V 10 jsou v Kódu i synonymní vyjadřují-kódují tutéž konstrukci. 8 Proto žádný kód v principu nemůže obsahovat ambivalentní výrazy (k problematice ambivalentních výrazů srov. níže). 2
3 významů je nekonečně mnoho (pochopitelně v mnoha z nich nemá daný výraz význam žádný; to však nic nemění na tom, že existuje nekonečně mnoho kódů, v nichž význam má). Analytičnost logických analýz vs. syntetičnost lingvistických analýz Cmorej, Materna i další příznivci TIL (počínaje jejím zakladatelem) chápou logickou analýzu jakožto analytickou disciplínu, disciplínu, jejíž tvrzení tvaru Významem výrazu V je v jazyce (kódu) J konstrukce K. jsou ontologicky vzato analytická a epistemologicky vzato apriorní. Svoboda toto přesvědčení problematizuje, ovšem než budu rozebírat jeho argumenty, uvedu rozbor důvodů logických analytiků používajících TIL. Je všeobecně známo, že jazyk může být chápán synchronně (jakožto daný) nebo diachronně (coby v čase proměňovaný jazyk). Logický analytik, který chce zůstat v rámci logiky (disciplíny tradičně řazené mezi disciplíny neempirické), nesmí překročit hranici mezi neempirickým a empirickým, musí zůstat v oblasti neempirické. Toto je naplněno tehdy, když nezkoumá jazyk coby diachronní systém, ale jakožto jazyk, který je v určitém stavu dán (např. právě k dispozici pro logickou analýzu). Temporální (i modální) podmíněnost při tomto pojetí jazyka jakožto synchronního systému není brána v potaz. Věta tvaru ( SJ je synchronně daný jazyk, kód): Významem výrazu V v jazyce SJ je konstrukce K. je apriorní, analytická věta logického analytika, hovoří totiž o neempirické relaci mezi gödelizovaným výrazem, kódem a konstrukcí-významem. Svoboda vlastně souhlasí s apriorností takovýchto logických analýz, 9 přesto však pochybuje nad celkovou koncepcí jazyka pojímaného jako kódu: Nevěřím ale, že by nás úspěchy dosažené v rámci takovýchto bádání měly vést k přijetí představy, že přirozený jazyk reálně funguje jako systém kódování abstraktních logických předmětů (s. 633). Proti takovýmto pochybám je třeba poukázat na skutečnost, že ve vědách se nezřídka pracuje s nějakým modelem; jazyk chápaný jakožto kód (legitimně) je takovýmto modelem. Navíc idea, že jakýkoli jazyk lze chápat jakožto kódový systém, pomocí jehož kódových znaků je předávána informace-zpráva-význam, je pro svou přirozenost poměrně rozšířená v kybernetice, lingvistice, ba i ve filosofii jazyka. Pozastavme se též nad Svobodovým jak přirozený jazyk reálně funguje. Jen málokterý logický analytik by pochyboval o tom, že jeho práce ve skutečnosti nevysvětluje plně reálné fungování přirozeného jazyka, 10 nebo to, že vůbec není v jeho kompetenci reálné používání jazykových výrazů různou měrou kompetentními uživateli tohoto jazyka. Nedílným doplňkem (v idealizovaném modelu dělby práce) k logickému analytikovi (zabývajícím se sémantikou, významy) je lingvista zabývající se aktuálním stavem jazyka. Takto se lingvistika konkrétního přirozeného jazyka zabývá aktuálním stavem jazykové konvence, tedy tím, k jakým přesně výrazům se mluvčí určité komunity vztahují, aby vyjádřili určitou konstrukci. 11 Uvědomme si, že v diachronním pojímání jazyka se jazyk 9 souhlasím s tím, že analýzy struktur v rámci tohoto konstruktu [tj. jazyk je kód; J.R.] lze provádět a priori a že takové analýzy představují jádro logické analýzy přirozeného jazyka (s. 633). 10 Pominu-li nadměrně optimistický výklad výroku Richarda Montagueho: Podle mého názoru není žádný důležitý teoretický rozdíl mezi jazyky přirozenými a umělými jazyky logiků (Montague, Richard (1974): Formal Philosophy. New Haven-London: Yale UP; cit. s. 222, stať Universal Grammar z r. 1970) či: Odmítám spor o to, že existuje důležitý teoretický rozdíl mezi formálními a přirozenými jazyky (tamtéž; cit. s. 188, stať English as a Formal Language z r. 1970). 11 Zabývají se takto jazykovou aktivitou, což je vlastně jazyková pragmatika (ovšem je-li pragmatika definována klasicky, tj. jakožto disciplína, jak uživatelé určitého znakového systému tyto znaky užívají). Dlužno 3
4 vyvíjí, mění. Jazyk coby diachronní systém v určitém čase užívá jistý kód, v němž jsou např. jisté výrazy významuprosté, v jiném čase však používá kód, v němž jsou tytéž výrazy významuplné. 12 Velmi často to probíhá tak, že jazyk je jakoby obohacován přibýváním počtu významuplných výrazů (např. slovo robot, které v češtině 19. století bylo nesmyslné, bylo Čapkem přeměněno na významuplné slovo češtiny 20. století). Přesněji: v různých časových intervalech byl aktuálním kódem češtiny jiný, byť jistě velmi příbuzný kód. 13 Jazyk coby diachronní systém je plně určen až tehdy, je-li zjištěno, přesně jaké kódy užívá v tom či kterém čase (a v tom či kterém možném světě). Je to lingvista, kdo zjišťuje, hledá, ten aktuální kód, který určitý jazyk (coby diachronní systém) užívá v určitý čas. Vzhledem k empirické (syntetické) povaze lingvistou zjištěných poznatků, je zjevné, že tyto poznatky jsou aposteriorní. Typické jsou přitom poznatky o jazykové aktivitě, které jsou následujícího tvaru ( DJ je diachronně daný jazyk): Mluvčí M používá výraz V (aktuálního) jazyka DJ pro konstrukci K. kde používat je označením empirické relace-vztahu mezi mluvčím, gödelizovaným výrazem, aktuálním kódem a konstrukcí-významem. Tento výrok bezpochyby vypovídá o faktu vypozorovaném nějakým pozorovatelem, proto je aposteriorním syntetickým empirickým tvrzením. Zrovna tak jsou aposteriorní a syntetická tvrzení tvaru: Významem výrazu V v jazyce DJ v 19. století je konstrukce K. či: Významem výrazu V v aktuálním jazyce DJ je konstrukce K. v nichž výraz (být) významem sice opět označuje neempirickou relaci mezi gödelizovaným výrazem, kódem a konstrukcí-významem, avšak výraz aktuální jazyk DJ (potažmo jazyk DJ v 19. století 14 ), označuje úřad, jenž může v určitém čase (a možném světě) ten či který kód vyplnit, zastávat (výraz aktuální jazyk je v supozici de re, slouží tedy k referenci ke kódu, který je aktuálně používán jazykem pojatým diachronně). 15 Dělba práce mezi logickým analytikem a lingvistou Materna uvažoval právě takovouto ideální dělbu práce, kdy jak píše Pavel Tichý Lingvistovou rolí je zkoumat, jak jsou logické konstrukce zakódovány v různých mateřštinách., 16 je totiž na lingvistovi, aby zjistil, jakým způsobem nějaký konkrétní jazyk kóduje určitou konstrukci [logik] nechává na lingvistovi zkoumat zvláštnosti určitých jazyků., 17 Syntax a sémantika konkrétních jazyků, přirozených či umělých, není předmětem logiky, ale lingvistiky.. 18 poznamenat, že i lingvisté nemají úplné pochopení pro některé aktivity málo kompetentních mluvčích, soustředí se přece jen na ono nejkompetentnější či nejmasovější jádro jazykové komunity. 12 Analogická situace je s gramatikou, kterou lze nahlížet jako soubor operací s výrazy určitého jazyka. 13 Dodávám, že obrat vazba semivýrazu s významem je kontingentní, je jen metaforou. Vazba (semi)výrazu s významem v určitém kódu je totiž naprosto pevná, apriorně daná. Poukaz na kontingentnost má znamenat, že např. určitý (semi)výraz má např. v aktuálním kódu češtiny jiný význam než v kódu češtiny 19. století, či v aktuálním kódu angličtiny. 14 Ačkoli se zde zdá, že časová podmíněnost je fixována, přinejmenším modální podmíněnost určitě fixována není znamenalo by to znát aktuální svět, všechna platná fakta (tedy i to, který kód je určitým jazykem právě užíván), což je nesplnitelné přání. 15 Zatímco výrok logika vyjadřuje konstrukci triviální (konstantně pravdivé, konstantně nepravdivé, či konstantně nedefinované) propozice, výrok lingvisty vyjadřuje konstrukci propozice netriviální (kontingentně pravdivé). 16 Tichý, Pavel (1994a): The Analysis of Natural Language, From the Logical Point of View 3, 2, 42-80; cit. s Tichý, Pavel (1976): Introduction to Intensional Logic. (nepublikovaný manuskript), cit. z Tichý, Pavel (1986a): Constructions, Philosophy of Science 53, ; cit. s
5 Myslím, že s tímto příliš nesouvisí Svobodův názor, že Být lingvistou, na Maternovu nabídku dělby práce bych nepřistoupil. Jako lingvista bych se zajímal především o gramatické struktury (s. 631). Jednak lingvistovi žádný logický analytik žádným způsobem nezakazuje zabývat se gramatickými strukturami. Prozkoumání gramatiky, tedy vlastně obecných pravidel, je jistě efektivním způsobem, jak determinovat dvojice výraz-význam zkoumaného jazyka. Pro oblast logické analýzy důležitost vystižení (obecné, univerzální) gramatiky spíše než enumerace vlastně nekonečného seznamu dvojic výraz-význam, zdůrazňoval právě Pavel Tichý v rámci (žel jen započatého) projektu Meaning-Driven Grammar. 19 Svoboda dále pozoruje: nezdá se mi, že by v popisu jejich práce [totiž lingvistů; J.R.] bylo konstatování, že výrazy daného jazyka se chovají v souladu s určitými logickými strukturami. (s. 631). 20 Ano, takto v mnohém vypadá minulý i přítomný stav v lingvistice. Právě tato skutečnost, že lingvisté se dvojicemi výraz-význam (program vyhlášený už Chomskym) ve skutečnosti nezabývají a že prakticky vzato se omezili jen na syntax, 21 je to, co např. Tichému dosti vadilo. 22 Jistěže se někteří současní lingvisté obhajují, že tomu již tak obecně není; to by šlo považovat za obrat v jejich práci (a tím i popisu jejich práce ). Logik je pro účel zkoumání aktuálního stavu přirozených jazyků ve specifickém (řekl bych dokonce služebném) postavení, poskytuje totiž rámec analýz konkrétních jazyků: logika obstarává rámec pro analyzování výrazů jakéhokoli libovolného jazyka. Logik se zajímá o to, co je společné všem jazykům. 23 Opravdu není cílem popsat (objevit), jak se to skutečně má s významy v češtině, angličtině a dalších jazycích (s. 633), ale jak se to s významy skutečně [řekl bych obecně ; J.R.] má (s. 633) a to v tom smyslu, že logický analytik předvádí vztah mezi určitým výrazem a významem, ovšem tak, že vybraný výraz je zástupcem výrazů, které mají analogický charakter a který je ve vztahu k určitému jazyka (ba i k určitému pojmovému systému). Nepochybně využívá pro své analýzy logického systému, pro jehož výhodnost (v porovnání s jinými) též argumentuje. Je pravdou, že individuální logický analytik užívá hodnotící postupy, které s ohledem na praktické cíle posuzují funkčnost jednotlivých analytických přístupů. (s. 633). V statích a knihách logických analytiků se typicky jedná o ukázky neadekvátnosti logické analýzy např. prostředky predikátové logiky a argumentaci např. ve prospěch adekvátnějších analýz učiněných prostředky např. hyperintenzionální logiky. Nevím přesně, v jakém smyslu si mám vyložit Svobodovu poznámku o tom, že ten, kdo předkládá logickou analýzu, tedy musí stále brát ohled na [to]... aby struktury, které v jazyku nachází (do nichž jazyk vtěsnává), nebyly příliš složité (s. 631). Jistěže každý konkrétní výzkum je vždy v něčem omezen některé aspekty zkoumaných jevů jsou ignorovány (je užit principu ceteris paribus); např. při zkoumání výrazů pro pojmové postoje byly zanedbány analýzy slovesných časů, těmi se totiž zabýval výzkum jiný; atp. Pokud však má být míněno, že logická analýza má být provedena v nejjednodušším formálním jazyce, tak je dobře známo, že takovéto jazyky jsou málo expresívní na to, aby postihly bohatou povahu našich výrazů. To, že by měl být volen nejjednodušší a přitom dostatečně expresivní formální jazyk, je zdůvodňovanou zásadou. 19 Tichý, Pavel (1994b): Cracking the Natural Language Code, From the Logical Point of View 3, 2, Mj. konstatování o shodě chování výrazů s určitými logickými strukturami je explicitně prohlašováno např. kategoriálními gramatiky. 21 Což byl mj. v Chomskyho době progresivní trend. 22 Srov. např. Tichý, Pavel (1992): The Scandal of Linguistics, From the Logical Point of View 1, 3, 70-80, či (Tichý 1994a). 23 (Tichý 1976), cit. z 23. 5
6 Mohou však vyvstat i další otázky na ty budu podávat následující vysvětlení. Zaměřme se nyní na to, kterým kódem se logický analytik vlastně zabývá. Svoboda bádání logickému analytikovi nepochybně nezabraňuje zabývat se kódem jazyka, který nikdy nikdo neužíval, jazykem jakýmkoli způsobem smyšleným atp. (svoboda je tu obdobná jako u matematiků budující nějakou matematickou teorii, která třeba nikdy nebude nějak prakticky využitelná). Svoboda (tentokrát opět Vladimír) nám připomíná, že v zájmu užitečnosti je třeba zohledňovat praktickou využitelnost logických analýz ( logická analýza přirozeného jazyka je prakticky orientovaná disciplína., s. 633) je třeba uvést, že tak logičtí analytikové zcela dobrovolně (a domnívám se, že i rádi) činí. 24 Logický analytik volí analýzu toho kódu, který je vysoce příbuzný kódu, který diachronně chápaný jazyk aktuálně využívá. Svobodovo tvrzení ten, kdo předkládá logickou analýzu, tedy musí stále brát ohled na [to]... aby se příliš nevzdálil od běžného užívání jazyka (protože jinak by nedělal analýzu přirozeného jazyka) (s. 631), v němž běžné užívání jazyka chápu jako aktuálně využívaného kódu, je plně slučitelné s koncepcí logické analýzy v rámci TIL. Nemohu ovšem přímo souhlasit se Svobodou, že Úkolem logické analýzy přirozeného jazyka je zkoumání logických vztahů v rámci přirozeného jazyka, např. češtiny 21. století (s. 626). Konstatování, že cosi je významem daného výrazu jistého jazyka v určitém čase (či časovém intervalu, třeba v 19. století) je kontingentní výrok, k jeho ověření musí být uskutečněno empirické zkoumání a to není v kompetenci logika. 25 Povšimněme si přece, že analytik vždy pracuje s určitým (apriorně daným) kódem, tedy jazykem chápaným synchronně, proto jsou jeho analýzy analytické a apriorní. Uvědomme si ještě, že konkrétní výzkum logického analytika je vždy omezen na určitý výsek jazyka, tedy na analýzu výrazů vyjadřujících např. pojmové postoje. Pracuje-li s oněmi výrazy, které jsou součástí aktuálního kódu češtiny, tak je kombinatorickou zákonitostí, že existuje mnoho kódů příbuzných aktuálnímu kódu češtiny, které obsahují ony výrazy, které kódují tytéž významy, jako v aktuálním kódu češtiny. Také si uvědomme, že logický analytik postihuje invarianty, nikoli všechny jejich instance, zkrátka hledá obecná pravidla a ta umožňují postihnout nekonečný počet dvojic výraz-význam. Je pravdou, že logický analytik nedostává k logické analýze zcela desambiguovaný jazyk. Při provádění analýz nezřídka usoudí na základě své jazykové schopnosti v daném jazyce, že např. význam určitého výraz není jednoznačně jeden význam, ale že v jistých slovních situacích vyjadřuje tento ambivalentní výraz i význam jiný. Tehdy zastoupí z hlediska námi uvažovaného modelu lingvistu a prohlásí, že daný ambivalentní výraz skrývá z logického hlediska dva různé výrazy, které kódují dva odlišné významy. Jedině v tomto smyslu souhlasím se Svobodou, že K tomu [tj. k logické analýze; J.R.] musí [logický analytik; J.R.] využívat apriorní i empirická zkoumání přirozeného jazyka (s. 633). 26 (Pro ilustraci ještě příklad: při analýzách pojmových postojů jsme v TIL analyzovali větu Xenie obdivuje prezidenta USA ; zjistili jsme, že jde o dva druhy obdivování: jedno je vztahem k osobě, která je aktuálním prezidentem USA, druhé je vztahem k úřadu (logiky modelovanému coby intenze) amerického prezidentství (bez ohledu na to, zda jím někdo aktuálně je onen úřad lze obdivovat např. pro moc, kterou skýtá atp.)) 24 Opravdu není tendence produkovat výsledky, které nemají valné použití, jak se snad obává Svoboda (s. 632). 25 Přirovnání filosofického logika ke sládkovi (s. 632) se proto jeví nepřípadné. 26 Proto nezřídka platí, že práce toho, kdo se zabývá logickou analýzou přirozeného jazyka, má v sobě prvek empirické činnosti (s. 632). 6
7 Uváděl jsem výše, že logický analytik pracuje na rámci přirozených jazyků. Ačkoli demonstruje své analýzy pro příklad určitého kódu jednoho aktuálního jazyka (např. současné češtiny, jíž mluví), jeho poznatky jsou přenositelné pro analýzu aktuálního kódu jiného jazyka. (Pro příklad (opět z pojmových postojů): české nalézt, které jsme desambiguovali v TIL v základě na dva nejtypičtější případy (celkem jsou však čtyři) pojmových postojů, totiž nalézání po předchozím hledání a nalézání bez předchozího hledání, jimž např. v maďarštině odpovídají dva odlišné výrazy, megtalálni, találni. Takže lingvista, který si pročetl třeba anglicky psanou studii o významech výrazů pro nalézání, může při zkoumání maďarštiny odhalit, že maďarština ony dvě konstrukce-významy kóduje právě uváděnými odlišnými výrazy.) Existuje další jev, před kterým Svoboda varuje Rozhodně to není mluvčí, kdo určuje, jaký význam je tomu kterému semivýrazu v Češtině přiřazen. Mluvčí je pouze jeho uživatelem, a i když významy jazykových výrazů zná a priori, nemá privilegium určovat, jaký význam je s českou větou, kterou vyslovil, skutečně spjat. Měli bychom tedy postulovat úřad nějakého ideálního mluvčího, který ví, jak to s významy českých jazykových výrazů doopravdy je? (s. 629). Obezřetnost je jistě namístě a my jsme si již uváděli, že logický analytik určitě není tím, kdo je povolán svou profesní kompetencí říci, jaký je význam kdekterého výrazu v aktuální češtině. Logický analytik, který prozkoumává část kódu aktuální češtiny, je kompetentní pouze pro tento výsek a to ještě v té míře, v jaké je kompetentním mluvčím, což vlastně (opět v idealizaci) musí být posouzeno lingvisty. Užitečnost logických analýz přirozeného jazyka K tomu, co jsem rozebíral již v sekci o dělbě práce mezi logickým analytikem a lingvistou, mohu jen přidat, že hovoří-li Svoboda o údajné nejistotě v určení významu, nelze než připomenout, že otázka zde opravdu nestojí tak, že si nikdy nemůžeme být jisti, zda objektivně, ve skutečnosti není v Češtině s daným (semi)výrazem spjat s jiným významem, který si s ním... spojujeme (s. 630). Jednak tu jsou přece k ruce logické analýzy a explikace prováděné logickým analytikem, jednak jsou tu ku pomoci lingvisté. Další význam logické analýzy stojí v kooperaci logické analýzy, tj. vlastně primárního výzkumu, s lingvisty a informatiky na takových projektech, které se soustřeďují na automatizaci převodu jazyků ( automatický překlad ) či aplikace, jakými jsou např. dotazovací jazyky u databázových systémů. Zvláštní je Svobodovo upozornění, že logická analýza přirozeného jazyka má daleko prostší ambice než objevovat, jaké jsou objektivní vztahy v rámci nějakých fixovaných systémů typu Čeština n (s. 630). Moderní logika si totiž za skromnější úkol vybrala zkoumat inference v notně idealizovaném jazyce, přičemž si odřekla zkoumání všech variant užití výrazů běžných jazyků, úkol jistě dík množství individuální jevů náročnější. Logická analýza následuje tendenci moderní logiky a omezuje se na objektivní vztahy v rámci nějakého fixovaného-daného systému; takto tedy pracuje s modelem přirozených jazyků (které mj. samy mohou být z hlediska lingvisty chápány jako model toho, co s výrazy určitého přirozeného jazyka jeho různě kompetentní mluvčí ve skutečnosti provozují). Je samozřejmé, že idealizace, model, je určitý konstrukt; je však zbytečné označovat modely, které splňují jisté nároky na ně kladené, za nepřirozené konstrukty (s. 633). Podstatné je vždy jen to, zda je model intuitivně přijatelný a nakolik nám usnadní vysvětlit jevy, které chceme objasnit. Pochopitelně platí, že až se nám podaří vyjasnit ty jednodušší otázky, můžeme bezpečně přejít k vysvětlování otázek složitějších. Jistě je tu též filosofie 7
8 logiky, filosofie jazyka, filosofie logické analýzy (filosofie logické sémantiky), které pomáhají směrovat výzkum na vhodné otázky, mohou také upozorňovat např. na určitou nezobecnitelnost jednoduchých řešení pro řešení složitých jevů; atd. Svoboda připomíná nepochybný étos práce logických analytiků: Úkol logika... je především pomáhat k tomu, aby náš jazyk mohl sloužit jako nástroj přesné, jednoznačné a efektivní komunikace (s. 633). Připomeňme, že již otcové analytické filosofie využívali logicko-analytických prostředků k tomu, aby zpřesňovali komunikaci, ba dokonce k tomu, aby myšlení zbavili omylů způsobených jazykovými zmateními. Logická analýza takto působí pozitivně jak v běžném jazyce (díky působení ve společnosti ať už prostřednictvím vědy či prostřednictvím vysokoškolské výuky), tak i ve filosofii, kde se stala nástrojem jakožto subdisciplína logiky, kterou již Aristoteles chápal coby organon řešení nemála epistemologických, ontologických problémů (ba i problémů v etice). Opravdu se vyplatí nepodcenit účinnost logické analýzy jazyka v odhalování složitějších logických vztahů mezi jazykovými výrazy ((Materna 2005), s. 274), vždyť rozumění některým výrazům složeným z výrazů nám důvěrně známých bývá někdy ne zrovna přímočaře jednoduché. * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Raclavský, Jiří (2005): Charakter logické analýzy přirozeného jazyka, Filosofický časopis 53, 6, preprint URL: 8
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
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á
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
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.
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í
Ú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
Pojem struktury z hlediska formální logiky
let Filosofického časopisu Pojem struktury z hlediska formální logiky Úvodní poznámka Petra Dvořáka Článek je věnován klíčovému pojmu poválečné filosofie, pojmu struktury. V matematice učinil Bourbaki
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.
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
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
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ů
Základní myšlenková témata filosofie Pavla Tichého
Základní myšlenková témata filosofie Pavla Tichého Jiří Raclavský Abstract (Basic Themes of Pavel Tichý s Philosophy): The work of Pavel Tichý (1936 Brno, 1994 Dunedin) was developed mainly during his
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
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í
Ú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.
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ě
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)
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ý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
Ú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
SLOŽENÍ PŘIROZENÉHO JAZYKA Z HLEDISKA TRANSPARENTNÍ INTENZIONÁLNÍ LOGIKY
SLOŽENÍ PŘIROZENÉHO JAZYKA Z HLEDISKA TRANSPARENTNÍ INTENZIONÁLNÍ LOGIKY Jiří Raclavský ÚVOD To, čím se chci v této stati kromě jiného zabývat, jsou věty vyjadřující postoje, které Pavel Tichý nazval lingvální
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
Jazyk coby kód a logická analýza
Jazyk coby kód a logická analýza Jiří Raclavský Téma logické analýzy přirozeného jazyka, její koncepce, charakteru, je v poslední době námětem více statí českých a slovenských filosofů. Do této diskuse
Počítačové zpracování přirozeného jazyka a Transparentní intenzionální logika
Počítačové zpracování přirozeného jazyka a Transparentní intenzionální logika Jiří Raclavský V této stati bych chtěl stručně pojednat o tématu zmíněném v názvu. Nejprve bude charakterizována Transparentní
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
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
Množiny, relace, zobrazení
Množiny, relace, zobrazení Množiny Množinou rozumíme každý soubor určitých objektů shrnutých v jeden celek. Zmíněné objekty pak nazýváme prvky dané množiny. Pojem množina je tedy synonymem pojmů typu soubor,
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
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
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,
Člověk a společnost. 16. Vznik a význam filozofie. Vznik a vývoj význam filozofie. Vytvořil: PhDr. Andrea Kousalová.
Člověk a společnost 16. Vznik a význam filozofie www.ssgbrno.cz Vytvořil: PhDr. Andrea Kousalová Vznik a a význam vývoj filozofie Vznik a vývoj význam filozofie Strana: 1 Škola Ročník Název projektu Číslo
KLIMA ŠKOLY. Zpráva z evaluačního nástroje Klima školy. Škola Testovací škola - vyzkoušení EN, Praha. Termín
KLIMA ŠKOLY Zpráva z evaluačního nástroje Klima školy Škola Testovací škola - vyzkoušení EN, Praha Termín 29.9.2011-27.10.2011-1 - Vážená paní ředitelko, vážený pane řediteli, milí kolegové! Dovolte, abychom
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
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
Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/ Množiny, funkce
Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/07.0018 2. Množiny, funkce MNOŽIN, ZÁKLDNÍ POJMY Pojem množiny patří v matematice ke stěžejním. Nelze jej zavést ve formě definice pomocí
LOGIKA A ETIKA úvod do metaetiky. zpracovala Zuzana Mrázková
LOGIKA A ETIKA úvod do metaetiky zpracovala Zuzana Mrázková Autoři Petr Kolář *1961 Vystudoval teoretickou kybernetiku na Přírodovědecké fakultě Palackého univerzity v Olomouci Pracuje ve Filozofickém
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,
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á
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
Úvod do TI - logika 1. přednáška. Marie Duží
Úvod do TI - logika 1. přednáška Marie Duží marie.duzi@vsb.cz Úvod do TI - logika Učební texty: http://www.cs.vsb.cz/duzi Courses Introduction to Logic: Informace pro studenty Učební texty: Kapitoly: Úvod
Itálie Dotazník pro učitele VŠ připravující budoucí učitele cizích jazyků Zpracování údajů
Itálie Dotazník pro učitele VŠ připravující budoucí učitele cizích jazyků Zpracování údajů O Vás 1. Dotazník vyplnilo sedm vysokoškolských pedagogů připravujících budoucí učitele cizích jazyků. 2. Šest
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.
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.
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
Základy logiky a teorie množin
Pracovní text k přednášce Logika a teorie množin (I/2007) 1 1 Struktura přednášky Matematická logika 2 Výroková logika Základy logiky a teorie množin Petr Pajas pajas@matfyz.cz Predikátová logika 1. řádu
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
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
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
Matematika pro informatiky KMA/MATA
Matematika pro informatiky KMA/MATA Informace k předmětu Mgr. Přemysl Rosa rosapr00@pf.jcu.cz, J349 Konzultační hodiny v ZS: úterý 10-11, čtvrtek 15-16 nebo individuálně po předchozí domluvě aktivní účast
Ú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
INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.
INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.0141 Relace, zobrazení, algebraické struktury Michal Botur Přednáška
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
Holá individua a tři teze
Discussions Holá individua a tři teze Jiří Raclavský Masarykova univerzita, Brno Za další náměty v uvažování obtížného ba i kontroverzního tématu teorií holých individuí (HI) vděčíme Martinu Schmidtovi
K CMOREJOVĚ KRITICE. Karel Šebela
K CMOREJOVĚ KRITICE Karel Šebela Ve 3. čísle Organonu F (2007) vyšla v rubrice Diskusie kritická stať P. Cmoreje K Šebelovej kritike jednej kritiky antiesencialismu, v níž si její autor bere na paškál
2. Množiny, funkce. Poznámka: Prvky množiny mohou být opět množiny. Takovou množinu, pak nazýváme systém množin, značí se
MNOŽIN, ZÁKLDNÍ POJMY Pojem množiny patří v matematice ke stěžejním. Nelze jej zavést ve formě definice pomocí primitivních pojmů; považuje se totiž rovněž za pojem primitivní. Představa o pojmu množina
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ý
Matice. a m1 a m2... a mn
Matice Nechť (R, +, ) je okruh a nechť m, n jsou přirozená čísla Matice typu m/n nad okruhem (R, +, ) vznikne, když libovolných m n prvků z R naskládáme do obdélníkového schematu o m řádcích a n sloupcích
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é
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.
1 Linearní prostory nad komplexními čísly
1 Linearní prostory nad komplexními čísly V této přednášce budeme hledat kořeny polynomů, které se dále budou moci vyskytovat jako složky vektorů nebo matic Vzhledem k tomu, že kořeny polynomu (i reálného)
NÁRODNÍ TESTOVÁNÍ 2018/2019
průměrný percentil Průměrný celkový percentil po jednotlivých třídách y 6. A 6. B 6. C ZŠ GYM 54 64 53 47 61 51 55 55 55 OSP ČJ MA Graf znázorňuje průměrné celkové percentily všech tříd u vaší školy. Zároveň
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
K ZOUHAROVĚ DESKRIPČNÍ TEORII VÝZNAMU VLASTNÍCH JMEN
K ZOUHAROVĚ DESKRIPČNÍ TEORII VÝZNAMU VLASTNÍCH JMEN Jiří RACLAVSKÝ Před nedávnem publikoval Marián Zouhar knihu Podoby referencie ([Zouhar 2004]), která byla příznivě recenzována J. Peregrinem 1 i mnou
Ú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
Slohový útvar Výklad hypotézy Požadavky:
Jan Vožen enílek Gymnázium F. X. Šaldy Slohový útvar Výklad je útvar, který přináší čtenáři odborné poučení, neboť podává a vysvětluje vědecké poznatky. (Ne tedy názory, domněnky, city, přesvědčení ) Ve
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
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
STANOVISKO VĚDECKÉ RADY PRO SOCIÁLNÍ PRÁCI
Příloha č. 1 k zápisu z 10. jednání Vědecké rady pro sociální práci konaného dne 19. května 2014 STANOVISKO VĚDECKÉ RADY PRO SOCIÁLNÍ PRÁCI K PRACOVNÍM DOKUMENTŮM PRO TVORBU VĚCNÉHO ZÁMĚRU ZÁKONA O SOCIÁLNÍCH
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
Sylogistika. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 16
(FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 16 Výstavba logické teorie Sylogistika 1) Syntax základní symboly (logické, mimologické) gramatická pravidla (pojem formule) 2) Sémantika pojem interpretace
SLOHOVÁ VÝCHOVA Mgr. Soňa Bečičková
SLOHOVÁ VÝCHOVA Mgr. Soňa Bečičková ÚVAHA VY_32_INOVACE_CJ_2_11 OPVK 1.5 EU peníze středním školám CZ.1.07/1.500/34.0116 Modernizace výuky na učilišti jeden z nejnáročnějších slohových útvarů osvětluje
Deskripční logika. Petr Křemen FEL ČVUT. Petr Křemen (FEL ČVUT) Deskripční logika 37 / 157
Deskripční logika Petr Křemen FEL ČVUT Petr Křemen (FEL ČVUT) Deskripční logika 37 / 157 Co nás čeká 1 Základy deskripční logiky 2 Jazyk ALC Syntax a sémantika 3 Cyklické a acyklické TBOXy Petr Křemen
Ú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
Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace
RELACE Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace slouží k vyjádření vztahů mezi prvky nějakých množin. Vztahy mohou být různé povahy. Patří sem vztah býti potomkem,
FILOSOFIE ČLOVĚKA a VĚDY
FILOSOFIE ČLOVĚKA a VĚDY Filosofie.. Vznik v antickém Řecku - KRITICKÉ, SAMOSTATNÉ myšlení - V SOUVISLOSTECH - sobě vlastní otázky, které neřeší speciální vědy - člověk ve VZTAHU k přírodě, společnosti
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ť
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í
OPAKOVÁNÍ SLOHOVÝCH ÚTVARŮ II. Tento výukový materiál vznikl za přispění Evropské unie, státního rozpočtu ČR a Středočeského kraje
OPAKOVÁNÍ SLOHOVÝCH ÚTVARŮ II. Tento výukový materiál vznikl za přispění Evropské unie, státního rozpočtu ČR a Středočeského kraje Únor 2011 Mgr. Jitka Riedlová Opakování slohových útvarů II. Vypravování
Mgr. Petr Čadek, Mgr. Karel Šulc, Bc. Lukáš Javůrek, Hana Solarová
Mgr. Petr Čadek, Mgr. Karel Šulc, Bc. Lukáš Javůrek, Hana Solarová KOGNITIVNÍ LINGVISTIKA Jazyk a jeho užívání jsou jednou z kognitivních aktivit lidské mysli. Kognitivní lingvisté předpokládají, že jazyk
POSUDEK VEDOUCÍHO BAKALÁŘSKÉ PRÁCE
POSUDEK VEDOUCÍHO BAKALÁŘSKÉ PRÁCE Jméno studenta Branný Jan Název práce Jméno vedoucího práce Jméno oponenta práce Realizace modulárního CMS pro digitální agentury Ing. David Hartman Ph.D. Ing. Lukáš
Kognitivní informatika očima studentů
Kognitivní informatika očima studentů Výsledky ankety ZS 2011/2012 Kateřina Farská O dotazníku Reponse rate relativně vysoká: 49% (odpovědělo 26 z 53 aktuálně studujících) Až na výjimky vysoká kvalita
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
SYSTÉMOVÁ METODOLOGIE (VII) Kybernetika. Ak. rok 2011/2012 vbp 1
SYSTÉMOVÁ METODOLOGIE (VII) Kybernetika Ak. rok 2011/2012 vbp 1 ZÁKLADNÍ SMĚRY A DISCIPLÍNY Teoretická kybernetika (vědecký aparát a metody ke zkoumání kybernetických systémů; používá abstraktní modely
Bakalářský seminář - 3
- 3 JUDr. Ing. Otakar Schlossberger, Ph.D., vedoucí katedry financí VŠFS a externí odborný asistent katedry bankovnictví a pojišťovnictví VŠE Obsah: Postup při vypracování samotné závěrečné bakalářské
Usuzování za neurčitosti
Usuzování za neurčitosti 25.11.2014 8-1 Usuzování za neurčitosti Hypotetické usuzování a zpětná indukce Míry postačitelnosti a nezbytnosti Kombinace důkazů Šíření pravděpodobnosti v inferenčních sítích
Předmět: Konverzace v ruském jazyce
Vzdělávací oblast: Vzdělávací obor: Jazyk a jazyková komunikace Cizí jazyk Konverzace v ruském jazyce Vyučovací předmět Konverzace v ruském jazyce vychází ze vzdělávacího oboru Další cizí jazyk, který
Hodnocení maturitní zkoušky v profilové části ve školním roce 2015/2016
Hodnocení maturitní zkoušky v profilové části ve školním roce 2015/2016 Ústní zkouška ze všeobecně vzdělávacích předmětů dějepis, základy společenských věd Žák přesně ovládá požadované poznatky, fakta,
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á
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á
Copyright Jiří Janda ISBN 978-80-260-3716-3
1 Copyright Jiří Janda ISBN 978-80-260-3716-3 2 Mojí nejskvělejší manželce Lucii a všem mým studentům 3 PŘEDMLUVA" 4 CO JE TO KONDICIONÁL A PROČ JE V ANGLIČTINĚ POTŘEBA" 6 PRVNÍ KONDICIONÁL" 9 DRUHÝ KONDICIONÁL"
Predikátová logika (logika predikátů)
Predikátová logika (logika predikátů) Ve výrokové logice pracujeme s jednoduchými či složenými výroky, aniž nás zajímá jejich struktura. Příklad. Jestliže Karel je studentem, pak je (Karel) chytřejší než
Výroková logika dokazatelnost
Výroková logika dokazatelnost Ke zjištění, zda formule sémanticky plyne z dané teorie (množiny formulí), máme k dispozici tabulkovou metodu. Velikost tabulky však roste exponenciálně vzhledem k počtu výrokových
Diferenciální rovnice 1
Diferenciální rovnice 1 Základní pojmy Diferenciální rovnice n-tého řádu v implicitním tvaru je obecně rovnice ve tvaru,,,, = Řád diferenciální rovnice odpovídá nejvyššímu stupni derivace v rovnici použitému.
1) Navrhovaná právní úprava je v rozporu se zákonem č. 312/2006 Sb., o insolvenčních správcích, ve znění pozdějších předpisů
1) Navrhovaná právní úprava je v rozporu se zákonem č. 312/2006 Sb., o insolvenčních správcích, ve znění pozdějších předpisů Předložený návrh je učebnicovou ukázkou nepochopení smyslu a účelu podzákonné
Úvod do informatiky. Miroslav Kolařík
Úvod do informatiky přednáška pátá Miroslav Kolařík Zpracováno dle učebního textu R. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008 a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní
ZÁKLADNÍ METODOLOGICKÁ PRAVIDLA PŘI ZPRACOVÁNÍ ODBORNÉHO TEXTU. Martina Cirbusová (z prezentace doc. Škopa)
ZÁKLADNÍ METODOLOGICKÁ PRAVIDLA PŘI ZPRACOVÁNÍ ODBORNÉHO TEXTU Martina Cirbusová (z prezentace doc. Škopa) OSNOVA Metodologie vs. Metoda vs. Metodika Základní postup práce Základní vědecké metody METODOLOGIE
ZREVIDOVÁNÍ POJMU JAZYKOVÉHO FAKTU (DEFINICE POJMOVÉHO FAKTU)
ZREVIDOVÁNÍ POJMU JAZYKOVÉHO FAKTU (DEFINICE POJMOVÉHO FAKTU) Jiří Raclavský Úvod V knize Pravda a fakt ([Kolář 2002]) publikoval Petr Kolář rozsáhlý přehled teorií pravd, (svoji) teorii nepřímé korespondence
Diplomový seminář 1. Akademický rok 2008/2009. 17.9.2009 Ing. Václav Křivohlávek, CSc.
Diplomový seminář 1 Akademický rok 2008/2009 Vybrané metodologické otázky 1. Hierarchie pojmů 2. Věcná a formální struktura práce 3. Základní metody zkoumání a výkladu 4. Etika Hierarchie pojmů Pojmy (resp.
O čem je řeč v partikulárních větách
O čem je řeč v partikulárních větách Stanislav Sousedík Univerzita Karlova, Praha V časopisu Organon F si vyměňuje již déle než rok několik autorů názory na problematiku intencionálních jsoucen. Pokusím