Základní myšlenková témata filosofie Pavla Tichého
|
|
- Drahomíra Urbanová
- před 5 lety
- Počet zobrazení:
Transkript
1 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 emigration (New Zealand). His contribution to philosophy is often misrepresented, since Tichý is regarded only as a logician. But the detection of his basic philosophical topics has been not reflected so far. The purpose of the present paper is to begin the proper interpretation of his philosophy. Ač vlastně ze Vsetína, Pavel Tichý se narodil v Brně ( ). Na Karlově univerzitě vystudoval filosofii a matematiku, kde postupně získal tituly PhDr., CSc., a taktéž docent. Po dalším doktorském studiu v britském Exeteru mu bylo nabídnuto místo logika na University of Otago v novozélandském Dunedinu. Tam působil od r. 1971, přičemž jako první novozélandský filosof dostal samostatné profesorské křeslo (1981). V roce 1994 se stal vedoucím katedry Logiky na UK, leč pro předčasné úmrtí ( , Dunedin) na toto místo již nezastoupil. 1 Tichý byl analytický filosof (což i explicitně prohlásil), jaký nejenom explicitně uplatňoval ve své filosofické práci logiku, ale dokonce jistou logiku navrhl a snažil se pomocí ní analyzovat přirozený jazyk. Velký díl své celoživotní práce Tichý věnoval vyvinutí své Transparentní intenzionální logiky (TILky), byl tedy i filosofickým logikem. Hlavní aplikabilitu TILky skutečně viděl v jejím nasazení na explikaci přirozeného jazyka; nicméně v korespondenci se Cmorejem zalitoval, že nemá dostatek času na její aplikace ve filosofii. U nás je Tichý žel jednostranně chápán jakožto logik, načež jeho filosofie není řádně reflektována. Započít interpretaci Tichého filosofie je smyslem následujících pasáží. Jako typický analytický filosof Tichý spoléhal na hodnotu poznání světa přírodními vědami. Ty kromě zcela nových osobitých poznatků podávají explikace našeho běžného, před-teoretického poznání světa (např. pre-teoretický pojem tepla je explikován coby rychlý pohyb molekul). Filosof pak explikuje ty pre-teoretické pojmy, které neexplikuje jiná věda, což zahrnuje i ty pojmy, které filosofie pojednává tradičně. Právě zde bychom měli hledat zdroj motivace Tichého díla. Systematicky se Tichý pojmu explikace sice nevěnoval, nicméně v celém svém díle slovo explikace opakovaně používal. V závěru předmluvy k [3] 1 Bližší podrobnosti lze získat z příloh [4], [5] či z mnou udržovaného pramene [7] (tam viz přesné bibliografické odkazy). 1
2 píše: Budu argumentovat, že hierarchie entit [tj. objektuální verze Russellovy rozvětvené teorie typů; J.R.], která je výsledkem opravy Russellova systému... je pravé médium pro modelování celého našeho konceptuálního schématu. Zdá se proto oprávněné tvrdit, že právě k tomuto cíli se programově přihlašuje sám Tichý. Načež modelování, explikace celého našeho pojmového schématu je ideální vhodný klíč k adekvátní interpretaci celého Tichého díla. Důraz na (objektivní) poznání světa, ať už prostředky přírodních věd či běžným způsobem, je velmi dobře patrný z Tichým mnohokráte opakované skici situace, v níž se nachází subjekt poznávající vnější svět. Zní následovně. Při konfrontaci s externí realitou si poznávající subjekt uvědomuje platné fakty a prostřednictvím jazyka J si své poznatky zaznamenává. Vnější materiální svět je kolekcí individuí, skrze něž jsou určitým způsobem rozdistribuovány atributy (vlastnosti a vztahy). Subjekt zkoumající individua disponuje před-teoreticky danou intenzionální bází, tj. kolekcí jednoduchých atributů, které odpovídají (primitivním) predikátům J. Modelovat atributy jakožto třídy jak činí extenzionální rámec explikace je neadekvátní, protože každá třída objektů je definičně dána tím, které objekty do ní patří; proto náležení určitého objektu do jisté třídy je věc logicky nutná, jenže (empirické) fakty jsou nepochybně kontingentní. Existuje přitom spousta logicky uvažovatelných (realizovatelných) distribucí atributů skrze individua, tedy možné světy. Na základě nich pak budeme vysvětlovat modální variabilitu. Lze se domnívat, že ze snahy vyložit detaily obsahu této skici podat tedy intenzionální rámec empirického zkoumání, jak to nazývám plyne celé Tichého dílo. Explikace přirozeného jazyka se o tuto vizi přímočaře opírá (odtud materiální adekvátnost této explikace). Jazyk slouží subjektům např. k zaznamenání toho, že objekt O váží N kg. Věta O váží N kg kóduje pojem individua O a pojem vlastnosti vážit N kg. Rozumět této větě obnáší uchopit příslušné pojmy, které se skládají v jistou strukturovanou proceduru. Verifikovat onu větu znamená empiricky vykonat tuto (empirickou) proceduru, čili vykonat empirický test na O, jenž spočívá ve vážení. O musí být, stejně tak jako daná vlastnost, subjektu předem známa; jediné, co subjekt neví, je, jaký je rozsah dané vlastnosti v aktuálním světě, tj. zda-li ji O aktuálně má (kdyby subjekt znal aktuální možný svět, musel by být vševědoucí). První model toho, co věta říká, podal Tichý v pojmech Turingových strojů (Intension in Terms of Turing Machines, 1969; zkrácenou verzí je Smysl a procedura, 1968). Posléze se setkal Churchovou jednoduchou teorií typů, čili λ-kalkulem, v Montagueho adaptaci pro 2
3 analýzu přirozeného jazyka, tj. s jeho intenzionální logikou. Už r Tichý předložil svoji vlastní adaptaci λ-kalkulu v An Approach to Intensional Analysis. Od Montagueho se liší především explicitním přidáním kategorie (typu) možných světů a dále tím, že funkce z možných světů, tj. intenze, jsou reprezentovány λ-termy vážícími proměnnou možných světů. Tichý ukazuje (i v Two Kinds of Intensional Logic, 1978) formální chyby, které absence této explicitní intenzionalizace způsobuje. Dokládá, že při respektování té jeho logiky se není třeba vzdát principu extenzionality (což je hlavní námitkou proti intenzionálním logikám). Další radikální odlišnost tkví v tom, že Tichý explikoval všechny empirické výrazy pomocí intenzí a to v jakémkoli kontextu i v kontextech přímých, nikoli jen v nepřímých. Jakýkoli empirický výraz tedy vždy hovoří o označované intenzi (What Do We Talk About?, 1975). 2 V r dopsal, ale neuveřejnil, rozsáhlou stať On Describing [6], v níž ukázal mnohé výhodné aplikace své logiky při explikaci tradičních problémů filosofie jazyka. V letech sepsal (nakonec žel nepublikovanou) rozsáhlou knihu Introduction to Intensional Logic [2]. Ta již obsahuje objektuální chápání λ-termů. λ-termy podle Tichého vyobrazují svébytné nemnožinové strukturované abstraktní procedury, tzv. konstrukce. Tyto jsou způsoby dosažení nestrukturovaných objektů, jakými jsou třeba intenze. Jiný příklad: číslo 7 může být konstruováno různými konstrukcemi, které vyjadřují výrazy 3+4, 49, atd. (jak později Tichý tvrdí, celá matematika je o konstrukcích). Tímto se jeho logika postupně stává hyperintenzionální. Hned za objevem kategorie konstrukcí je zřejmě nejvýznamnějším Tichého příspěvkem pojem úřadu, jemuž nejdříve říkal role (úvod k [2], Jednotliviny a jejich role, vyšel nejprve německy r. 1987). Úřad není jednotlivina, ale něco, čím určitá jednotlivina může být, co může zastávat. Např. G.W. Bush může zastávat, plnit úřad prezident USA. Objekt a úřad, který náhodou plní, často zaměňovány, musí být odlišovány. Tichý diskutuje historické předchůdce onoho konceptu (Meinong, Frege, Russell, Church, Carnap). Zcela obecně však explikuje úřad zastávatelný objekty určitého typu jako funkci z možných světů do takovýchto objektů. Např. individuové úřady (označované individuovými deskripcemi) jsou plněny individui, vlastnosti individuí jsou plněny třídami individuí, propozice jsou plněny pravdivostními hodnotami. Úřady mohou plnit úřady vyššího stupně. S tématem úřadů souvisí Tichého zcela zobecněné de dicto / de re, které se neomezuje jen na propoziční postoje (De Dicto and De Re, 1978). De re obnáší, že predikace jako ve větě Prezident USA je modrooký se týká držitele individuového úřadu, tedy výrazem prezident USA nezmíněné 2 Často citovanou je aplikace jeho logiky na problém otázek, Questions, Answers, and Logic (1978). 3
4 res. De dicto obnáší, že predikace se týká objektu explicitně zmíněného (dictum) výrazem, v případě prezident USA tedy úřadu jako takového ( Prezident USA je pozoruhodný politický post ). V postojích pojmových ( XY hledá jednorožce ) či propozičních jsou výrazy pro objekt postoje typicky v supozici de dicto. V rámci obhajoby uvažovaného intenzionálního rámce empirického zkoumání se Tichý rozešel s některými vlivnými filosofickými doktrínami. Už v Plantinga on Essence: A Few Questions (1972) argumentuje, že individuum nesmí mít esenci danou tzv. netriviálními vlastnostmi. Individuum I má nutně jen vlastnosti triviální tj. s konstantním průběhem rozsahů ( být se sebou identické, být identické s I ); takovéto individuum je tzv. holé. Čili zjistit, kterou netriviální vlastnost I má, je úkol empirického zkoumání. Esencialismus Tichý potírá i v Kripke on Necessity a posteriori (1983), kde též argumentuje proti koextenzivitě syntetického a apriorního. Tichý také trvá na tom, že existence individuí je vlastnost triviální (její mětí je tedy zjistitelné apriorně), avšak netriviální je existence coby vlastnost úřadů ta obnáší, že daný úřad je (náhodou) obsazen. Tichý se věnoval také rozboru Anselmova ontologického důkazu (Existence and God, 1979), přičemž zpochybnil premisu, že nutná existence je dobrá vlastnost úřadu úřadů to, nad co většího nelze myslet. Unikátní je Tichého pojetí možných světů, které je vlastně kombinatorické. Tichý nepřipouští, aby možné světy obsahovaly individua. I díky explicitnímu odlišení individuí od úřadů Tichý vlastně stojí mezi aktualismem a posibilismem. Fakty explikuje jako propozice. V [3] vysvětluje, že abychom se vyhnuli explikačnímu kruhu, pre-teoreticky daným distribucím jsou přiřazeny prvky typu možných světů; tyto tedy nejsou třídami propozic či faktů. Kromě záznamů faktů vědci předkládají hypotézy, které fakty aktuálně platí. Tichý mezinárodně proslul vyvrácením (1974) Popperových definic výpočtu pravděblízkosti teorií (vzhledem k aktuálnímu světu), přičemž záhy přišel s novou exaktní definicí výpočtu ve Verisimilitude Redefined (1976), kterou mírně korigoval ve Verisimilitude Revisited (1978). Tichého metoda se opírá o poměr úspěšnosti určitého počtů odhadů o platných faktech v určité oblasti v poměru k odhadům neúspěšným (jejímu rozpracování se věnoval Tichého někdejší žák Oddie). Explikaci subjunktivních kondicionálů ( Kdyby platilo A, nastalo by B ), jež je nezbytná k adekvátnímu vysvětlení vědeckého poznání světa, se Tichý obsáhle věnoval už v [2], odkud čerpá stať A New Theory of Subjunctive Conditionals (1978; předcházel jí jeho 4
5 protipříklad vůči uznávané teorii Lewise a Stalnakera). Nejen svou teorii později napadl v Subjunctive Conditionals: Two Parameters vs. Three (1984), neboť v oněch větách nebývá uveden tacitně nezbytný uvažovaný třetí parametr C. Roku 1979 Tichý přijal pro explikaci i temporální parametr. Vždy pak přesvědčivě zdůvodňoval, že mít nějaký atribut není odvislé jen od toho, v kterém je to světě, ale i v jaký je to čas. Tichému se tak otevřela možnost podat své nejbrilantnější logicko-sémantické analýzy, totiž explikace slovesných časů v The Logic of Temporal Discourse (1980) a epizodických sloves ( vstávat, chodit ) v The Semantics of Episodic Verbs (1980; tato stať obsahuje i analýzu pojmu událost). V několikrát přetištěné stati The Transiency of Truth (1980) napadl mýtus atemporální predikace (Frege, Russell a další); ukazuje též, že daná chyba vede k McTaggartovu paradoxu. Temporalita umožnila i adekvátní explikace dalších pojmů, kterým se Tichý věnoval vždy ve spolupráci s Oddiem. Jsou to schopnost, zodpovědnost, svoboda (Ability nad Freedom, 1983; [1]), přičemž se věnovali i příslušné dedukci (The Logic of Ability, Freedom, and Responsibility, 1982). Základní myšlence předchází, že možný svět je charakterizován i spojeními ( nexus ) mezi událostmi, např. spojením kauzálním. V určitém následku pak schopnost něco učinit není prostou kombinační možností, ale možností vzhledem k souhrnu dosavadního jednání agens a jeho okolí. S ohledem na intence, strategie, aj., jsou pak vyloženy pojmy zodpovědnosti a svobody (tu nechápou deterministicky). Subjekty poznávající svět přirozeně poznatky nejenom komunikují, ale uvádí je i do inferenčních vztahů. Proto je nezbytné přijmout určitou filosofii inference a předložit systém dedukce. Tichého přirozená dedukce v rámci jednoduché teorie typů (a tedy i klasické TILky) počítá s parciálními funkcemi a je plně integrální součástí už [2]. Komprimovanou podobu publikoval později v ceněné stati Foundations of Partial Type Theory (1983). Rozvinutí zvláště pro případy tvrzení identity se věnoval v Indiscernibility of Identicals (1986). Jak obhajuje zejm. v [3], přiklonil se k tzv. dvoudimenzionální pojetí inference (už Frege). V druhé polovině 80. let se Tichý více soustředil na úlohu pojmu konstrukce. Snažil se pomoci něho vyložit nejasnosti ve Fregeho teorii (Constructions, 1986), přičemž měl zato, že jsou produktem kolísání mezi funkcí coby strukturovanou procedurou a funkcí coby plochým zobrazením. Na další problém narazil ve stati Frege and the Case of Missing Sense (1986), jež mj. byla celá přejata do mohutného rozboru Fregeho díla, knihy The Foundations of Frege s Logic [3]. V ní ukazuje, že zvláště Fregeho myšlenka, ale v mnohém i Russellovy 5
6 propoziční funkce jsou vlastně jeho konstrukcemi. Dle Tichého je logika o konstrukcích. Toto ho později vede i k úvahám (Constructions as the Subject Matter of Mathematics, 1995), že jediné pravé komplexy jsou konstrukce, protože jako jediné entity mají jeden jedinečný rozklad. Knihu [3] můžeme chápat jako vysvětlení a zdůvodnění Tichého explikačního rámce. Pro porovnání si zvolil filosoficky odůvodněný explikační rámec Fregeho, návrhy Churche či Russella, podrobil je kritickému rozboru, čímž také ukázal, proč nemohou konkurenční explikační rámce dostát materiálně adekvátní explikace. Poznamenejme, že daný rámec je v základu funkcionální, nikoli množinový. Z tohoto období pochází statě Sinn & Bedeutung Revisited (1992), The Tractatus in the Light of Intensional Logic (1994), The Myth of Non- Rigid Designators (1994), které spíše než s Fregem, Wittgensteinem a Kripkem jsou polemikami s tím, jak jsou tito obyčejně vykládáni. Nejvýznamnějším příspěvkem [3] je opuštění rámce jednoduché teorie typů ve prospěch rozvětvené teorie typů. V jednoduché teorii typů totiž nemohly být konstrukce diskutovány, uchopovány např. věta 3 0 je nedefinováno nemohla být adekvátně analyzována. Tichý mění i koncepci aboutness: výraz hovoří o konstrukci, kterou vyjadřuje, např. 3 0 hovoří o jisté konstrukci, nikoli přece o denotátu. Propoziční postoje jsou postoje k propozičním konstrukcím, nikoli k pouhým propozicím, jak uvažoval dříve. K diskutování konstrukcí bylo nezbytné přijmout plnohodnotný objektuální pendant konstant, jimiž nejsou objekty coby své vlastní konstrukce, jak to Tichý pojímal dříve, ale tzv. trivializace (jde o nový druh konstrukcí) těchto entit objektů či konstrukcí. Když mohou být konstrukce konstruovány jinými konstrukcemi, k vyhnutí se bludnému kruhu je rozvětvená teorie typů nezbytná. Následně Tichý získal adekvátní prostředky pro řešení paradoxu lháře. Klíčové je zjištění, že výraz je pravdivý v určitém jazyce J, pokud je pravdivé, co v J říká; daná konstrukce je pak pravdivá, pokud konstruuje propozici, která nabývá pravdivostní hodnoty Pravda. Je vyloučeno, aby J jakožto kód tedy funkce z výrazů do významů-konstrukcí obsahoval výraz J, jehož významem v J by byla konstrukce tohoto kódu. Desambiguovaná věta Tato věta je nepravdivá v J nemůže být pravdivá či nepravdivá v J (je v něm významuprostá, neboť J i nepravdivá v J jsou v J významuprosté). Po dopsání [3] se Tichý věnoval práci na vysoce ambiciózním projektu, který nazval Meaning-Driven Grammar (MDG, gramatika vyrůstající z významu ). Jak vysvětluje v pilotní studii, Cracking the Natural Language Code (1994), sémantická analýza přirozeného jazyka 6
7 spočívající v tom, že se k výrazu přiloží model jeho významu, je jen sepisováním seznamu dvojic výraz-význam, který je vzhledem k povaze přirozených jazyků nekonečný. Proto je třeba odhalit spíše gramatická pravidla, která takovýto seznam generují. Ta dle Tichého obsahují nejen bohatě indexované syntaktické složky (s různými lingvistickými parametry výrazů), ale na straně sémantické i dedukci. V pozůstalosti se našlo torzo knihy, jejíž předmluva a obsah byly vydány jako The Analysis of Natural Language (1994). Ta (podobně The Scandal of Linguistics, 1992) obsahuje i důvody, proč ani Montagueáni, ani Chomskyáni nesměřují k adekvátnímu modelování významu. MDG, kterou chtěl dokončit s našimi logiky a lingvisty, zůstává velkou výzvou do budoucna. Literatura 3 [1] ODDIE, G., TICHÝ, P.: What Agents Can Do. In: Foo, N. et al. (eds.), Record of the Workshop on Logic and Action, Sydney : University of Sydney 1994, [2] TICHÝ, P.: Introduction to Intensional Logic. Nepublikováno [3] TICHÝ, P.: The Foundations of Frege s Logic. Berlin-New York : Walter de Gruyter [4] TICHÝ, P.: O čem mluvíme? (Vybrané stati k logice a sémantice). Peregrin, J. (ed.), Praha : Filosofia [5] TICHÝ, P.: Pavel Tichý s Collected Papers in Logic and Philosophy. Svoboda, V., Jespersen, B., Cheyne, C. (eds.), Dunedin : Otago UP, Praha : Filosofia [6] TICHÝ, P.: On Describing. In: Organon F XIV (2007), č. 4, [7] Mgr. Jiří Raclavský, Ph.D. Katedra filozofie FF MU Arna Nováka 1, Brno Česká republika raclavsk@phil.muni.cz 3 Pomíjíme Tichého dvoje skripta logiky. Kniha [4] obsahuje překlad 7 Tichého článků. Kniha [5] obsahuje 46 vydaných textů, chybí v ní [1] a [6]. 7
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í
VíceLogický 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íceLogika 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ícePAVEL TICHÝ NÁSTIN ŽIVOTA A DÍLA
SBORNÍK PRACÍ FILOZOFICKÉ FAKULTY BRNĚNSKÉ UNIVERZITY STUDIA MINORA FACULTATIS PHILOSOPHICAE UNIVERSITATIS BRUNENSIS B 43, 1996 JIŘÍ RACLAVSKÝ PAVEL TICHÝ NÁSTIN ŽIVOTA A DÍLA Český logik a filosof Pavel
VíceInteligentní 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íceInteligentní 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íceDefinice. 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ícePředmluva Jak známo, Gottlob Frege si zvláště v proslulé stati Über Sinn und Bedeutung (Frege 1892) povšiml, že věty tvaru a=b ( Jitřenka=Večernice, 2
Jak známo, Gottlob Frege si zvláště v proslulé stati Über Sinn und Bedeutung (Frege 1892) povšiml, že věty tvaru a=b ( Jitřenka=Večernice, 2+3=8-3, apod.) nejenže nejsou kontradiktorické (každý objekt
VíceATOMISTICKÁ SÉMANTIKA:
Pozn.: výrazy jazyka jsou psány v uvozovkách ( pes ), význam výrazu je psán kurzívou (pes) a objekt-referent výrazu je psán velkými písmeny (PES) definované výrazy jsou podtrhávané mentální reprezentace
VíceTransparentní 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íceCharakter logické analýzy přirozeného jazyka Jiří Raclavský
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í
VíceExplikace. Petr Kuchyňka
Explikace Petr Kuchyňka (7765@mail.muni.cz) 1 Úvod Při komunikaci v přirozeném jazyce jsme neustále vystaveni hrozbě nedorozumění: řídíme se pravidly, která nejsou nikde explicitně uvedená ani nejsou dostatečně
VícePrimá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íceSeznam literatury. Původně otištěno v Proceedings of the Aristotelian Society 38, 1964.
Seznam literatury ALLAIRE, Edwin B. (1963): Bare Particulars. Philosophical Studies 14, 1-2, 1-8. ALLAIRE, Edwin B. (1965): Another Look at Bare Particulars. Philosophical Studies 16, 1/2, 16-21. ALSTON,
VíceZÁKLADY LOGIKY A METODOLOGIE
ZÁKLADY LOGIKY A METODOLOGIE Metodický list č. 1 Téma: Předmět logiky a metodologie, základy logiky a formalizace. Toto téma lze rozdělit do tří základních tématických oblastí: 1) Předmět logiky a metodologie
VíceHolá 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
VíceHOLÁ INDIVIDUA NEJSOU BEZ VLASTNOSTÍ
HOLÁ INDIVIDUA NEJSOU BEZ VLASTNOSTÍ Jiří Raclavský I. HOLÁ INDIVIDUA VS. NAHÁ INDIVIDUA Teorie holých individuí je naneštěstí od nepaměti zásadně dezinterpretována. Proponenti této teorie v podstatě říkají,
VíceJe Tichého logika logikou? (O vztahu logické analýzy a dedukce)
Je Tichého logika logikou? (O vztahu logické analýzy a dedukce) Jiří Raclavský Abstract (Is Tichý s logic a logic? On the relation of logical analysis and deduction): It is sometimes objected that Tichý
VíceZnovu 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Úvod do logiky a logického programování.
Úvod do logiky a logického programování Luboš Popelínský popel@fi.muni.cz www.fi.muni.cz/~popel Přehled učiva Opakování základů výrokové a predikátové logiky Normální formy ve výrokové a predikátové logice
VíceVýbor textů k moderní logice
Mezi filosofií a matematikou 5 Logika 20. století: mezi filosofií a matematikou Výbor textů k moderní logice K vydání připravil a úvodními slovy opatřil Jaroslav Peregrin 2006 Mezi filosofií a matematikou
VíceTeoreticko-metodologický seminář. Zdeňka Jastrzembská
Teoreticko-metodologický seminář Zdeňka Jastrzembská jastrzem@phil.muni.cz A) Co je to věda? Věda je každý celek hodný toho, aby mohl být předmětem intelektuální výuky na vysokých školách. Věda je specifický
VíceLogika a formální sémantika: 8. Game-theoretical semantics
Logika a formální sémantika: 8. Game-theoretical semantics 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) doc.
VíceInteligentní 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íceLudwig 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íceIndividua v myšlence-propozici: Tichého přístup
Individua v myšlence-propozici: Tichého přístup Jiří Raclavský Abstract (Individuals in Thoughts-Propositions: Tichý s Approach): Stephen Schiffer s paradox of meaning shows that both Fregeanism and Russellianism
VíceINDIVIDUA V MYŠLENCE-PROPOZICI: TICHÉHO PŘÍSTUP
FILOZOFIA Roč. 64, 2009, č. 7 INDIVIDUA V MYŠLENCE-PROPOZICI: TICHÉHO PŘÍSTUP JIŘÍ RACLAVSKÝ, Katedra filozofie FF MU, Brno, ČR RACLAVSKÝ, J.: Individuals in Thoughts-Propositions: Tichý s Approach FILOZOFIA
VíceÚvod do logiky (PL): sémantika predikátové logiky
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (PL): sémantika predikátové logiky doc. PhDr. Jiří
VíceJe logicko-sémantická analýza výrazů přirozeného jazyka překladem?
Je logicko-sémantická analýza výrazů přirozeného jazyka překladem? Jiří Raclavský V tomto textu je zkoumána důležitá otázka spjatá se samou podstatou logicko-sémantické analýzy výrazů přirozeného jazyka,
VíceZREVIDOVÁ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
VíceNalézání po hledání coby vědění kdo. Jiří Raclavský
1 Nalézání po hledání coby vědění kdo Jiří Raclavský V tomto textu se vracím k problému nalézání po hledání a postulátového nalézání, ovšem nejde mi o (opakovanou) obhajobu mého někdejšího návrhu [Raclavský
VíceTIL jako procedurální logika
TIL jako procedurální logika Průvodce zvídavého čtenáře Transparentní intensionální logikou Marie Duží, Pavel Materna aleph Bratislava 2012 NOEMA edícia časopisu Organon F 1. zväzok 2 TIL jako procedurální
VíceMatematická 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Ú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íceOdpověď na Sousedíkovu kritiku Fregeho výroku o existenci
Discussions Odpověď na Sousedíkovu kritiku Fregeho výroku o existenci Antonín Dolák Stanislav Sousedík ve svém příspěvku (Sousedík 2008, 489 492) zareagoval na mou recenzi (Dolák 2008) týkající se jeho
VíceDějiny antropologického myšlení (Bi1221 Ekonomická a politická antropologie) podzim Antropologická archeologie
Antropologická archeologie 1 Procesuální archeologie 60. a 70, léta 20. století nová archeologie (USA); analytická archeologie (GB) L. R. Binford, D. L. Clarke, W. L. Rathje, I. Hodder 2 Lewis Roberts
VíceSublexiká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íceBakalář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é
Více3. Rekvizity úřadů a vlastností
3. Rekvizity úřadů a vlastností S filosofickým pojmem úřadu Pavel Tichý vázal pojem rekvizity. Jeho názory jsou (neformálně) podány v textu Existence and God (Tichý 1979). Po technické stránce i v některých
VíceK 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
VíceExplikace a dedukce: od jednoduché k rozvětvené teorii typů
Organon F 20 (Supplementary Issue 2) 2013: 37-53 Explikace a dedukce: od jednoduché k rozvětvené teorii typů JIŘÍ RACLAVSKÝ Katedra filozofie. Filozofická fakulta. Masarykova univerzita Arna Nováka 1.
VíceSémantika jmen ve fikci: obhajoba a rozvinutí Tichého koncepce
Sémantika jmen ve fikci: obhajoba a rozvinutí Tichého koncepce Jiří Raclavský V diskusním příspěvku (Sousedík 2011) Stanislav Sousedík hlouběji otevřel téma sémantiky jmen ve fikci, přičemž z několika
VícePavel Tichý: O čem mluvíme? (vybrané stati k logice a sémantice) FILOSOFIA, Praha, 1996
Pavel Tichý: O čem mluvíme? (vybrané stati k logice a sémantice) FILOSOFIA, Praha, 1996 Obsah Předmluva Úvod: Pavel Tichý a jeho logika Jaroslav Peregrin Přehled základních fakt o životě a díle P.Tichého
VíceObsah Předmluva Rekapitulace základních pojmů logiky a výrokové logiky Uvedení do predikátové logiky...17
Obsah Předmluva...3 0. Rekapitulace základních pojmů logiky a výrokové logiky...11 0.1 Logika jako věda o vyplývání... 11 1. Uvedení do predikátové logiky...17 1.1 Základní terminologie... 17 1.2 Základní
VíceÚvod do logiky (PL): analýza vět přirozeného jazyka
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (PL): analýza vět přirozeného jazyka doc. PhDr.
VíceMgr. Miroslav Hanke. Jan Buridan a nominalistická teorie racionality
Mgr. Miroslav Hanke Jan Buridan a nominalistická teorie racionality JOHN BURIDAN AND THE NOMINALIST THEORY OF RATIONALITY Autoreferát k dizertační práci Dizertační práce Jan Buridan a nominalistická teorie
VíceRigidita predikátů. 1. Úvod
Rigidita predikátů Abstrakt: Zatímco v případě otázek rigidity singulárních termínů panuje obecná shoda, v případě rigidity predikátů tomu tak překvapivě není. Záměrem této statě je opřít distinkci rigidní
VíceTéma: Studie k logice Pavla Tichého
Filosofický časopis ročník / Téma: Studie k logice Pavla Tichého V období kolem roku 2000 se v zahraničí poměrně běžně vědělo a zcela vážně tvrdilo, že v Čechách existuje Pražská logická škola, která pěstuje
VíceCO OBNÁŠÍ KONTINGENTNÍ EXISTENCE INDIVIDUÍ?
CO OBNÁŠÍ KONTINGENTNÍ EXISTENCE INDIVIDUÍ? Jiří Raclavský Se zájmem sleduji dlouhotrvající diskusi o kontingentní existenci individuí mezi Stanislavem Sousedíkem, Antonínem Dolákem a už i Pavlem Maternou.
VícePLIN041 Vývoj počítačové lingvistiky Algebraická lingvistika. Mgr. Dana Hlaváčková, Ph.D. od 2. pol. 50. let 20. st.
PLIN041 Vývoj počítačové lingvistiky Algebraická lingvistika Mgr. Dana Hlaváčková, Ph.D. od 2. pol. 50. let 20. st. Algebraická lingvistika matematika algebra logika formální logika logická analýza jazyka
VícePrincipy logické analýzy jazyka
Principy logické analýzy jazyka (Jazyk a pojmy, aneb O čem a jak mluvíme ) http://www.cs.vsb.cz/duzi (odkazy: TIL, De dicto / de re, Principles of Logical Analysis) http://www.phil.muni.cz/fil/logika/til/constructions_duzi_materna.pdf
VíceLhářský paradox, význam a pravdivost
Lhářský paradox, význam a pravdivost Jiří Raclavský Lhářským paradoxem je příznačně ten, který plodí lhářská věta: L: Věta L je nepravdivá. ovšem již od antiky známe Epimenidovu variantu: Kréťan Epimenidés:
VíceK 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
VíceOntologie. Otakar Trunda
Ontologie Otakar Trunda Definice Mnoho různých definic: Formální specifikace sdílené konceptualizace Hierarchicky strukturovaná množina termínů popisujících určitou věcnou oblast Strukturovaná slovní zásoba
VícePROCEDURÁLNÍ TEORIE POJMŮ
STUDIA PHILOSOPHICA 62, 2015, 2 MARIE DUŽÍ PROCEDURÁLNÍ TEORIE POJMŮ 1. Úvod Cílem tohoto článku je představit souhrnně příspěvek česko-slovenské logické školy k sémantice jazyka, a to zejména z pohledu
VíceZákladní problémy teorie poznání
Základní problémy teorie poznání Základní přístupy k teorii poznání Metafyzická epistemologie - nejdříve co existuje, pak jak to můžeme poznat (Platón, Aristotelés) Skeptická epistemologie - nejdříve je
VíceÚ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
VíceUná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íceFILOSOFIE Č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
Více1. Matematická logika
Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/07.0018 1. Matematická logika Základem každé vědy (tedy i matematiky i fyziky) je soubor jistých znalostí. To, co z těchto izolovaných poznatků
VíceTřída vlastnost pojem
Třída vlastnost pojem Pavel Materna Akademie věd České republiky Abstract: It is argued that the terms class, property, concept are exactly distinguishable and that defining this distinction helps to avoiding
VíceSémantika jmen ve fikci: obhajoba a rozvinutí Tichého koncepce
Sémantika jmen ve fikci: obhajoba a rozvinutí Tichého koncepce Jiří Raclavský Masarykova univerzita, Brno V diskusním příspěvku Sousedík (2011) Stanislav Sousedík hlouběji otevřel téma sémantiky jmen ve
VíceLogika a logické programování
Logika a logické programování témata ke zkoušce Poslední aktualizace: 16. prosince 2009 Zkouška je písemná, skládá se obvykle ze sedmi otázek (může být více nebo méně, podle náročnosti otázek), z toho
Vícepropoziční, 44 singularizace, 49 trivializační, 50 funkcionální sestup, 117 (FV(M)), 257
Rejstřík A Abadi, 260 aktuální možný svět, 124 Alchourrón, 131 algoritmický výpočet, 6 analytičnost, 112 Andrews, 66 antecedent sekvent, 231 Aristoteles, 138 Asher, 86 atributivní slovesa, 151 atributy,
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 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íceR E C E N Z I E. Bertrand Russell: Jazyk a poznanie. Přeložil Marián Zouhar. Kalligram, Bratislava 2005, 784 s.
R E C E N Z I E Bertrand Russell: Jazyk a poznanie Přeložil Marián Zouhar. Kalligram, Bratislava 2005, 784 s. Představit stručně v úvodu recenze autora recenzované knihy patří bezesporu k dobrým mravům
VícePOL 181 Co je věda? A co je podstatou výzkumu?
POL 181 Co je věda? A co je podstatou výzkumu? Věda jako kriminalistika Věda Možná pojetí vědy: Individualistické, úzké individuální aktivita, cílem pozorovat, popsat a vysvětlit (sociální) realitu, porozumět
VíceO č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
VíceLogika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD.
Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD. Tematické okruhy: 1. Stručné dějiny logiky a její postavění ve vědě 2. Analýza složených výroků pomocí pravdivostní tabulky 3. Subjekt-predikátová
VícePavel Materna: Concepts and Objects. Acta Philosophica Fennica vol 63, Societas Philosophica Fennica, Helsinky 1998; 177 pp.
Pavel Materna: Concepts and Objects. Acta Philosophica Fennica vol 63, Societas Philosophica Fennica, Helsinky 1998; 177 pp. Pavel Materna je logikem a filosofem, na kterého se, domnívám se, mimořádně
VíceMatematická 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íceCo je přesně vzato předmětem naší diskuse o existenci
Co je přesně vzato předmětem naší diskuse o existenci Stanislav Sousedík Universita Karlova, Praha Považuji právě probíhající diskusi o existenci pro svou osobu za zajímavou a inspirující. Záleží mi proto
VíceZáklady explikace sémantických pojmů
Základy explikace sémantických pojmů Jiří Raclavský Masarykova Univerzita, Brno Abstract: It is a truism that semantic concepts (concepts of meaning, denotation, reference and even truth, etc.) are relative
VíceO různých pojmech holosti
Discussions O různých pojmech holosti Jiří Raclavský V tomto textu reaguji na některé teze článku Martina Schmidta (Schmidt 2010; na místa jeho textu níže referuji jen čísly stránek). Ten byl nedávno otištěn
VíceInteligentní systémy (TIL)
Inteligentní systémy (TIL) Marie Duží http://www.cs.vsb.cz/duzi/ Přednáška 7 hyperintensionální kontext Celá konstrukce C je objektem predikace (argumentem), tedy její výstup funkce, kterou konstruuje,
VíceE L O G O S, ELECTRONIC JOURNAL FOR PHILOSOPHY/2003, ISSN Vladimír Kyprý.
1 E L O G O S, ELECTRONIC JOURNAL FOR PHILOSOPHY/2003, ISSN 1211-0442. ---------------------- Ještě k problematice filosofické antropologie jako antropologické ontologie. Vladimír Kyprý. Resumé: Tato stať
VíceLogika pro sémantický web
ZVYŠOVÁNÍ ODBORNÝCH KOMPETENCÍ AKADEMICKÝCH PRACOVNÍKŮ OSTRAVSKÉ UNIVERZITY V OSTRAVĚ A SLEZSKÉ UNIVERZITY V OPAVĚ Logika pro sémantický web Martin Žáček PROČ BALÍČEK? 1. balíček Formální logické systémy
VíceNegativní informace. Petr Štěpánek. S použitím materiálu M.Gelfonda a V. Lifschitze. Logické programování 15 1
Negativní informace Petr Štěpánek S použitím materiálu M.Gelfonda a V. Lifschitze 2009 Logické programování 15 1 Negace jako neúspěch Motivace: Tvrzení p (atomická formule) neplatí, jestliže nelze odvodit
Více1 Úvod. Zdálo by se, že vyložit, jak je to s lidskou myslí, není až tak obtížné:
1 Úvod Zdálo by se, že vyložit, jak je to s lidskou myslí, není až tak obtížné: My všichni lidé jsme myslící bytosti, neboli všichni máme mysl. Do své mysli můžeme každý nahlížet, rojí se nám tam různé
Více1. 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ícePojem problému z hlediska teorie konstrukcí
Pojem problému z hlediska teorie konstrukcí Pavel Materna Akademie věd České republiky, Praha Abstract: Transparent Intensional Logic (TIL) explicates objective abstract procedures as so-called constructions.
VíceJazyk 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
VíceETIKA. 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íceKosmologický důkaz Boží existence
Kosmologický důkaz Boží existence Petr Dvořák Filosofický ústav AV ČR Cyrilometodějská teologická fakulta UP Postup Dějinný a systematický kontext, literatura Důkaz Hume-Edwardsova námitka a její řešení,
VíceMožné světy v logice. Jaroslav Peregrin. Carnap
Možné světy v logice Jaroslav Peregrin Carnap S pojmem možného světa se můžeme setkat již ve scholastice. Na úsvitu novověké filosofie ho G. Leibniz použil, když se pokoušel odpovědět na otázku, proč Bůh
VíceNázev Autor Bc. Tereza Roznerová Vedoucí práce MUDr. Viktor Mravčík, Ph.D. Oponent práce Mgr. Jaroslav Vacek
Název Autor Bc. Tereza Roznerová Vedoucí práce MUDr. Viktor Mravčík, Ph.D. Oponent práce Mgr. Jaroslav Vacek POSUDEK BAKALÁŘSKÉ / MAGISTERSKÉ PRÁCE VEDOUCÍ PRÁCE Hazardní hráčství a jeho dopady - kvalitativní
VíceExplikace druhů pravdivosti
Explikace druhů pravdivosti Jiří Raclavský Shrnutí: Prostředky Tichého Transparentní intenzionální logiky v této stati rigorózně explikujeme tři druhy predikátu být pravdivý (jde tedy o tři typy vlastností).
VíceÚvod do logiky (VL): 11. Ověřování, zda je formule tautologií metodou protipříkladu
Jiří Raclavský (214): Úvod do logiky: klasická výroková logika Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.7/2.2./28.216, OPVK) Úvod
VíceLogika. 6. Axiomatický systém výrokové logiky
Logika 6. Axiomatický systém výrokové logiky RNDr. Luděk Cienciala, Ph. D. Tato inovace předmětu Úvod do logiky je spolufinancována Evropským sociálním fondem a Státním rozpočtem ČR, projekt č. CZ. 1.07/2.2.00/28.0216,
VíceTeorie argumentace Pavel Arazim
Teorie argumentace Pavel Arazim Druhá lekce 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) Otázky v argumentaci
Více1 Výroková logika 1. 2 Predikátová logika 3. 3 Důkazy matematických vět 4. 4 Doporučená literatura 7
1 Výroková logika 1 Výroková logika 1 2 Predikátová logika 3 3 Důkazy matematických vět 4 4 Doporučená literatura 7 Definice 1.1 Výrokem rozumíme každé sdělení, o kterém má smysl uvažovat, zda je, či není
VíceSLOŽ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í
VíceTŘÍDY A FUNKCE. I. Význam
2. Konstrukce V této kapitole exponujeme Pavlem Tichým explikovaný pojem konstrukce, který Tichý a další teoretici využívají k (logické) explikaci pojmu významu. Tento pojem není v širším kontextu zcela
VíceZáklady explikace sémantických pojmů
Základy explikace sémantických pojmů Jiří Raclavský Abstract (Foundations of Explication of Semantic Concepts): It is a truism that semantic concepts (concepts of meaning, denotation, reference and even
Více2.2 Sémantika predikátové logiky
14 [101105-1155] 2.2 Sémantika predikátové logiky Nyní se budeme zabývat sémantikou formulí, tj. jejich významem a pravdivostí. 2.2.1 Interpretace jazyka predikátové logiky. Interpretace predikátové logiky
Víceteorie 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íceMarie Duží
Marie Duží marie.duzi@vsb.cz Učební texty: http://www.cs.vsb.cz/duzi Tabulka Courses, odkaz Mathematical Učební texty, Presentace přednášek kursu Matematická logika, Příklady na cvičení + doplňkové texty.
VíceUsuzová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
VíceTypy predikátů: slovesa, predikativní jména, adjektiva, tranzitivní slovesa, relativní 1 věty / 10
: slovesa, predikativní jména, adjektiva, tranzitivní slovesa, relativní věty FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia
VíceLogika 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