1. Korespondenční teorie pravdy Veritas est adaequatio rei et intellectus Předpoklady klasické teorie adekvace
|
|
- Aleš Fišer
- před 7 lety
- Počet zobrazení:
Transkript
1 1. Korespondenční teorie pravdy Pravda (řecky alétheia, latinsky veritas) je filosofický termín, jímž se označuje základní hodnota poznání a vztah k sobě i ke světu. Nelze najít jednotnou definici pravdy, každé její určení závisí na kritériích, která jsou pro zjištění pravdivosti zvolena. Aristoteles chápe ve shodě se zákonem sporu pravdu jako akt myšlení, jehož výrok adekvátně (tj. pravdivě) odpovídá tomu, co je aktuálně dáno v bytí: Říci o tom, co jest, že to jest a o tom, co není, že to není to je pravdivé. (Met b 26, srov. Met b 25). Podobné formulace má již Platon (Kratylos 385 b 2, Sofistes 263 b ). Moderní problém těchto definice spočívá v nedostatečné definici dané korespondence. Říká se sice něco o něčem vzhledem k realitě; ale není jasné, jak je korespondence založena a která část reality odpovídá danému výroku (viz problém reference). Klasické pojetí u Tomáše Akvinského (De Veritate, Summa Theologiae): Veritas est adaequatio rei et intellectus nebo opis: Výrok je pravdivý, pokud odpovídá vnější realitě. Toto pojetí sahá k neoplatonským arabským myslitelům (Avicenna, Averroes). Předpoklady klasické teorie adekvace 1. Rozumové poznání pravdy se děje výlučně soudy. Problém: tento předpoklad je analytický, neboť soudy nejsou nic jiného než poznávací akty lidského myšlení. 2. K poznání korespondence soudu a faktu nestačí poznat jen soud, nýbrž je třeba poznat oba členy tohoto vztahu. Definice pravdivosti soudu je založena na vztahu mezi soudem a něčím, co stojí mimo soud. To nemůže popřít ani protivník, mluví o něčem. Problém: korespondence se nevyjasněně vztahuje k realitě a k jazyku, což v analytické filosofie vedlo ke dvěma směrům vzhledem k teorii pravdy. 1. Koherenční teorie pravdy (logický atomismus) Viz soubory věnované Fregemu, ranému Wittgensteinovi a Russellovi, první fáze analytické filosofie, logický pozitivismus. 1. Adekvace dvou řádů: vědecky ověřitelné věty (viz protokolární věty ) se vztahují ke pravdivě pozorovatelným a definovatelným vztahům ve světě, které jsou empiricky ověřitelné ( fakta ). 1
2 2. Princip pravdivosti: základním stavebním kamenům světa odpovídají základní stavební kameny jazyka (slova); atomickým proto-faktům odpovídají atomické (tj. jednoduché) výroky; atomickým faktům odpovídají ty atomické výroky, které jsou pravdivé. 3. Koherence: pravdivý výrok nemůže být v rozporu s jinými pravdivými výroky, které se týkají stejného obsahu. Koherenci zajišťuje rozdělení na deduktivní logickou kostru jazyka (analytické výroky), která nese pozitivně verifikovatelné poznání (syntetické výroky). Formulování pravdivé adekvace myšlení a reality v logickém pozitivismu vypadá následovně: 1) x je pravdivé, když a jen když (iff ) x odpovídá určitému faktu // x je nepravdivé když a jen když x neodpovídá určitému faktu; 2) x je pravdivé, když a jen když x odpovídá určitému fakticky nastalému stavu věcí // x je nepravdivé, když a jen když x nekoresponduje s nastalým stavem věcí; Pozdější záměna kvantifikátoru tehdy a jen tehdy (angl. if) za formální zpřesnění když a jen když (angl. iff) ukazuje na základní problém této teorie. Staví na existenci dvou striktně oddělených řádů reality ( fakta a stavy věcí ) a jazyka ( analytické a deduktivní výroky ). Tyto dva řády uvádí do korespondence analytické soudy a metoda verifikace (viz soubor logický pozitivismus ). Kritika pozitivistické teorie pravdy se soustředila na následující body (viz soubory Wittgenstein + přehled 3 fází analytické filosofie, Quine + řečové akty + teorie reference). 1. Jazyk Traktátu je umělý formální systém, který v jazykové realitě existuje pouze díky běžnému pojetí jazyka jako souboru pravidel v odpovídající jazykové hře (pozdní Wittgenstein). Padl mýtus samostatného jazyka vědy, který kriticky a objektivně normuje běžné užití řeči. 2. Akt mínění tvoří základní součást reference a nelze jej oddělit od čisté či vědecky pojaté reference. Viz problémy kolem historical + causal account of referring (Strawson, Donellan, Kripke). Padl mýtus jazyka odděleného od uživatele a jeho intencionality. 2
3 3. Existují případy jazykového vyjadřování, které jsou klíčové pro utváření reality a pravdy a tvoří je pouze výkon jazyka spojený s intencí mluvčího (viz soubor řečové akty). Padl mýtus jazyka odděleného od konkrétní řečové situace. 4. Rozdělení analytických a syntetických výroků je neověřitelné dogma pozitivismu, stejně jako metoda ověřování odděleného parciálního faktu (viz Quine). Padl mýtus spojení mezi logem reality a jazyka založeným na stejné struktuře. Tato zdrcující kritika již nešla odvrátit. Tzv. deflacionistická (okleštěná) teorie pravdy reagovala na předešlé námitky tím, že se snažila zrušit nejasný pojem reference, tj. adekvaci pravdy a vnější reality. Obrana se soustředila na formální autoreferenční pojetí pravdy známé z Tarského knize o logice (Der Wahrheitsbegriff in den formalisierten Sprachen, 1935). Představitelé formální větve analytické filosofie se proto soustředili pouze na zachování základního dogmatu, tj. obrany logické pravdy jako nezbytné součásti analytického výroku. Debata se soustředila kolem tzv. formálně pravdivých vět (Truthsentences). 2. Formální pojetí pravdy (T-sentences, A. Tarski) Alfred Tarski ( ) se narodil jako Alfred Tajtelbaum do varšavské židovské rodiny. Po získání doktorátu biologie učil Tarski matematiku a logiku na několika polských univerzitách. Roku 1939 byl pozván na kongres konaný na Harvard University v USA. Z Polska odjel v srpnu 1939 poslední lodí do Spojených států, která z Polska vyplula před německou invazí. Jeho žena a dvě děti přežily válku v Polsku. Od roku 1942 učil Tarski na univerzitě v Berkeley, kde strávil zbytek svého života. Tarského formalismus se týká matematického pojetí definice: Vezměme tento definiens (co se definuje): Prostor s operacemi, které splňují následující vlastnosti 1 až 8. Matematik toto definiens zavede jako následující definici: Vektorový prostor pod zkratkou V. Princip pravdivosti ve formálních matematických větách splňuje pouze ekvivalence S-P: "V je vektorový prostor, tehdy a jen tehdy, když spolu se svými operacemi splňuje vlastnosti 1 až 8." Z principu je jasné, že zde musí jít o obousměrný proces. Striktně a formálně jednoznačně si odpovídá definiens a daná definice. 3
4 Tarski upozorňuje, že matematici říkají jen "jestliže," (if) takže namísto správné ekvivalence vyslovují implikaci. Ale v pravdivostních definicích matematiky z principu musí být ekvivalence (iff). Příklad T-věty v angličtině je následující: (T) p is true if and only if p. ( Snow is white is true if and only if snow is white). Charakter P-vět, tj. transformace ontologické implikace na formální ekvivalenci (if > iff), lze shrnout následovně: Pravda není vázána na substanciální vlastnosti věcí. P-věty jsou meta-jazykem řídícím pouze formální predikaci pravdivostních výroků: proto jsou analytické a nutně dané. Pravda se vztahuje pouze na formalizovaný vztah mezi S-P, plyne pouze z tohoto vztahu a její danost je možné vysvětlit pouze na základě P-vět. Z předešlého vyplývá, že pojem pravdy se vztahuje pouze k logické potřebě jazyka; vyjadřuje zobecnění, generalizaci, řetěz nekonečných konjunkcí nebo disjunkcí. Formalizované pojetí pravdy vyřadilo problém reference tím, že se soustředilo na problém formální ekvivalence S a P, popř. jej vyjadřovalo tautologickými definicemi dané třídy. Adekvace v teorii pravdy se týká pouze metajazykové shody S-P, která se neváže na vnější realitu světa. Viz formální (ale nikoliv pravdivostní!) analýzu výroku Současný francouzský král je moudrý u Russella. Toto pojetí pravdivosti napadla komunikativní (konsensuální) teorie pravdy (viz soubor Habermas a článek o komunikativní teorii jazyka Apel). Kritériem pravdy je souhlas poznávacích výroků, pravdivé je to, na čem se shodneme a předpokladem této shody je kompetentnost mluvčích a svobodná výměna názorů. 3. Kritika pojetí pravdy jako adekvace a reprezentace V anglosaském světě se kritika P-vět soustředila do tzv. pragmatické teorie pravdy. Pravda je spojena s naším jednáním a pokud je výsledek zdárný, jsou poznatky pravdivé. Pravda není primárně posuzována ve vztahu k izolované skutečnosti jazyka a světa, ale z hlediska pragmatické použitelnosti daných vyjádření. 4
5 Donald Herbert Davidson ( ) Americký analytický filosof, zabýval se teorií pravdy, problémem mínění a smyslu jazykových vyjádření vázaných na poznání světa. V článku z roku 1974 nazvaném "On the Very Idea of a Conceptual Scheme" napadl Quineho tezi o dvou dogmatech empirismu (viz přehled tři fází analytické filosofie). Podle D. se prý Q. implicitně drží třetí teze, která je nesprávná: rozdílu mezi konceptuálním schématem a zkušenostním obsahem. Nemožnost absolutního překladu slova gavagai vychází u Quina z faktu, že koncept slova jazyk mediatizuje mezi věcí a mluvčím. Může to být jiné schéma: zkušenost světa nebo mysl atd. Tyto koncepty zajišťují podle Q. fakt, že mluvíme o něčem. Pak platí, že celek jazyka odpovídá celku holisticky pojaté zkušenosti. Schémata jako jazyk a zkušenost jsou podle D. prázdné pojmy, které nelze v reálné mluvě nijak verifikovat. Q. uměle oddělil koncept a obsah mluvy. Pak vznikne absurdita: dané x (gavagai) je jazykem, i když toto x nemůžeme totálně přeložit. Díky mediaci konceptu jazyk může Quine zaujmout metapozici a říci: vím o čem domorodec a Angličan mluví. Koncept jazyk zajišťuje důkaz o nemožnosti totálního překladu: 1. Vím, co je jazyk (jakýkoliv, jde o schéma jako takové); 2. Díky této metapozici nad jazykem vím, že angličtina a domorodý jazyk se nevztahují k téže okolnosti ( gavagai ). Podle D. je tato metapozice mýtus. V případě nemožnosti překladu je tato nemožnost prostě nesrozumitelná, a ne pouze nepřeložitelná. V reálné mluvě chybí jakékoliv mediační schéma, které by ji mohlo vyjádřit tím, že by stálo nad samotným jazykem. Nothing, however, no thing, makes our sentences and theories true: not experience, not surface irritations, not the world, can make a sentence a true.... The sentence 'My skin is warm' is true if and only if my skin is warm. Here there is no reference to a fact, a world, an experience, or a piece of evidence. Pro Davidsona se jazyk vztahuje ke světu kauzálně: cítím teplo na své kůži a popisuji daný stav. Quine bere jazyk intelektualisticky a abstraktně jako epistemologický nástroj poznání, metodicky stojí nad jazykem. Vytváří univerzální koncepty ( jazyk, zkušenost, kůže ). Tyto koncepty zajišťují, že jazyk ve své holistické povaze odpovídá realitě. Davidsonovo pragmatické pojetí T-sentences lze shrnout takto: 5
6 1. Nevycházet z mýtu zvaného meaning, jde o primát konceptu postaveného mimo reálný obsah výroku (třetí dogma empirismu); 2. Věty mají smysl pouze za předpokladu, že určíme reálně dané podmínky, které určují jejich pravdivost (tzv. correpondence without confrontation). 3. Většina našich mínění a přesvědčení, jimiž se vztahujeme ke světu, je pravdivá (realismus); věda dosahuje jen upřesňující, pragmaticky pojaté koherence myšlení a světa. Viz Rortyho shrnutí Davidsonova pojetí pravdy v přiloženém díle Pragmatism, relativism and truth. Richard McKay Rorty ( ) Americký filosof, představitel postmoderní filosofie jazyka, dlouholetý profesor filosofie na Princetownské univerzitě. Představitel tzv. pragmatického obratu části analytické filosofie k post-analytické filosofii. Hlavní dílo: Philosophy and the Mirror of Nature (1979, kritika západní teorie reprezentace, kdy mysl zrcadlí realitu mimo ni); Contingency, irony, and solidarity (1989), Objectivity, Relativism and Truth (1991, zde soubor článků věnovaných teorii pravdy). Stručný přehled Rortyho filosofie napsal J. Peregrin, výborný přehled hlavních témat díla Objectivity, Relativism and Truth najdete v článku O. Fundy. Rortyho teorie pravdy stojí na následujících tvrzeních: rozpadem platonismu v v racionalismu a empirismu 17. století zanikla říše Pravdy. kterou může intelektuál nazírat a teoreticky popsat; na straně predikátů zmizela jednotná reference na svět zajištěná klasickou metafyzikou a klasickou analytickou filosofií; rozpad subjektu (Marx, Freud, Nietzsche) zrušil možnost objektivity i na straně subjektu, který v klasické podobě přestal existovat; z hlediska pravdy došlo k problematizaci subjektu, který se rozplynul v podobě osvícenského základu svobodného a objektivního poznání. Zánikem metafyziky a subjektu došlo k zásadnímu narušení vztahu S-P z hlediska jeho odkazu na pravou realitu i na čistý poznávací subjekt. Rorty proto navazuje na koncepci běžných mínění a názorů, tj. beliefs (James, Davidson), která nepotřebuje ani metafyziku ani epistemologii. Pravda se chápe jako to, čemu je v danou chvíli nejvhodnější věřit, neboť neexistuje žádné lepší vysvětlení. Relativismus je obhajovaný 6
7 jako etnocentrismus. O pravdě a racionalitě nelze říci nic konkrétnějšího, než podat popis známých způsobů justifikace, které dané společenství v té či oné oblasti zkoumání užívá. Důsledky pragmatické teorie pravdy v pojetí Rortyho: teoretické debaty o úloze vědy (epistemologie, problém ověřitelnosti, metodologie...) nevedou k řešení žádných konkrétních otázek, ale samy otevírají další specifické problémy; klíčem k solidárnímu vztahu ke světu je fenomén kultury: jsme její součástí, vytváříme ji svým jednáním; myšlení by se mělo vztahovat k dílčím požadavkům a potřebám jednotlivých úrovní kulturního systému; otázky objektivních hodnot či racionální povahy vědy se pak začnou jevit jako nesrozumitelné a zaniknou přirozeným způsobem; touhu po objektivitě (tj. přání být ve spojení s realitou přesahující společenství, s nímž se identifikujeme), má být nahrazeno konkrétní solidaritou s tímto společenstvím. Post-analytický filozof se v kritice analyticky založené objektivity ve vztahu k vědě a k realitě odvolává na hermeneutickou tradici ve filosofii (Heidegger, Gadamer). Ve filozofii nejde v první řadě o shromažďování a zastřešování poznatků, ale o projekt vzdělávání, dovedení člověka k sobě samému a ke světu v kritickém postoji vůči všemu, co by na něj vznášelo nárok na absolutní platnost. 7
Základní problémy teorie poznání
Základní problémy teorie poznání Základní přístupy k teorii poznání Metafyzická epistemologie - nejdříve co existuje, pak jak to můžeme poznat (Platón, Aristotelés) Skeptická epistemologie - nejdříve je
Ví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íceČlověk na cestě k moudrosti. Filozofie 20. století
Autor: Tematický celek: Učivo (téma): Stručná charakteristika: Pavel Lečbych Člověk na cestě k moudrosti Filozofie 20. století Materiál má podobu pracovního listu, pomocí něhož se žáci seznámí s filozofií
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í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í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í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í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í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í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í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íceTémata ke státní závěrečné zkoušce pro studijní obor Základy společenských věd pro SŠ
FILOSOFIE 1. Filosofie, její hlavní disciplíny, vztah ke speciálním vědám 2. Orientální myšlení, zejména staré Indie a Číny 3. Nejvýznamnější představitelé a školy řecké filosofie před Sókratem 4. Sofisté
VíceMatematika 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
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íceFormální systém výrokové logiky
Formální systém výrokové logiky 1.Jazyk výrokové logiky Nechť P = {p,q,r, } je neprázdná množina symbolů, které nazýváme prvotní formule. Symboly jazyka L P výrokové logiky jsou : a) prvky množiny P, b)
VíceTémata ke státní závěrečné zkoušce pro studijní obor Základy společenských věd pro SŠ
Témata ke státní závěrečné zkoušce pro studijní obor Základy společenských věd pro SŠ FILOSOFIE 1. Filosofie, její hlavní disciplíny, vztah ke speciálním vědám 2. Orientální myšlení, zejména staré Indie
Více4.9.70. Logika a studijní předpoklady
4.9.70. Logika a studijní předpoklady Seminář je jednoletý, je určen pro studenty posledního ročníku čtyřletého studia, osmiletého studia a sportovní přípravy. Cílem přípravy je orientace ve formální logice,
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íceOtázka: Scholastika. Předmět: Základy společenských věd. Přidal(a): Michael
Otázka: Scholastika Předmět: Základy společenských věd Přidal(a): Michael Scholastika (periodizace a charakteristika, představitelé, základní problémy, spor o univerzálie, myšlení sv. Tomáše) Periodizace
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íceKaždé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α
1. JAZYK ATEATIKY 1.1 nožiny nožina je souhrn objektů určitých vlastností, které chápeme jako celek. ZNAČENÍ. x A x A θ A = { { a, b a A = B A B 0, 1 2 a, a,..., a n x patří do množiny A x nepatří do množiny
VíceSOCIÁLNÍ KON SOCIÁL STRUKT NÍ KON IVISMU STRUKT
Vladan Hodulák SOCIÁLNÍ KONSTRUKTIVISMUS Anglická škola Od 60. let hlavně ve Velké Británii Střední proud mezi realismem a liberalismem Důraz na interpretativní přístup Představa mezinárodních vztahů Mezinárodní
VícePredikátová logika Individua a termy Predikáty
Predikátová logika Predikátová logika je rozšířením logiky výrokové o kvantifikační výrazy jako každý, všichni, někteří či žádný. Nejmenší jazykovou jednotkou, kterou byla výroková logika schopna identifikovat,
VíceMaturitní témata ze základů společenských věd pro ústní profilovou zkoušku 2012/2013 pro všechny třídy 4. ročníku
Maturitní témata ze základů společenských věd pro ústní profilovou zkoušku 2012/2013 pro všechny třídy 4. ročníku 1. Psychologie jako věda: předmět, vývoj, směry Počátky psychologie, základní psychologické
VícePříklad z učebnice matematiky pro základní školu:
Příklad z učebnice matematiky pro základní školu: Součet trojnásobku neznámého čísla zvětšeného o dva a dvojnásobku neznámého čísla zmenšeného o pět se rovná čtyřnásobku neznámého čísla zvětšeného o jedna.
Víceλογος - LOGOS slovo, smysluplná řeč )
MATA P1: Výroky, množiny a operace s nimi Matematická logika (z řeckého slova λογος - LOGOS slovo, smysluplná řeč ) Výrok primitivní pojem matematické logiky. Tvrzení, pro které má smysl otázka o jeho
VíceLOGIKA VÝROKOVÁ LOGIKA
LOGIKA Popisuje pravidla odvozování jedněch tvrzení z druhých. Je to myšlenková cesta ke správným závěrům. Vznikla jako součást filosofie. Zakladatelem byl Aristoteles. VÝROKOVÁ LOGIKA Obsahuje syntaktická,
VíceObsah. Co je metafyzika? Dějiny pojmu "metafyzika" 17 Antika... 17
Obsah Úvodní slovo překladatele Předběžné poznámky. 11 12 ÚVOD. 15 Co je metafyzika?.. 17 Dějiny pojmu "metafyzika" 17 Antika... 17 Středověk. 19 Novověk.. 21 Po Kantovi 23 Definice metafyziky a její vysvětlení
Více1. Predikátová logika jako prostedek reprezentace znalostí
1. Predikátová logika jako prostedek reprezentace znalostí 1.1 Historie výrokové logiky Problém explicitních znalostí a údaj, kterých je obrovské množství, vedl ke vzniku výrokové logiky. lovk si obecn
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íce0. ÚVOD - matematické symboly, značení,
0. ÚVOD - matematické symboly, značení, číselné množiny Výroky Výrok je každé sdělení, u kterého lze jednoznačně rozhodnout, zda je či není pravdivé. Každému výroku lze proto přiřadit jedinou pravdivostní
VíceČ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
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í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íceRENESANCE A OSVÍCENSTVÍ
RENESANCE A OSVÍCENSTVÍ pracovní list Mgr. Michaela Holubová Autorem materiálu a všech jeho částí, není-li uvedeno jinak, je Mgr. Michaela Holubová. RENESANCE A VĚK ROZUMU Renesance kulturní znovuzrození
Vícefilosofie je soustava kritického myšlení o problémech (bytí, života, člověka)
Otázka: Pojetí filosofie Předmět: Základy společenských věd Přidal(a): Petr Novák filosofie je soustava kritického myšlení o problémech (bytí, života, člověka) klade si otázky ohledně smyslu všeho a zkoumá
VíceETIKA A FILOSOFIE Zkoumání zdroje a povahy mravního vědomí. METAETIKA etika o etice
ETIKA A FILOSOFIE Zkoumání zdroje a povahy mravního vědomí METAETIKA etika o etice 1 Zdroje mravního vědění Hledáme, jakou povahu má naše mluvení a uvažování o etice. Co je etika ve své podstatě. Jaký
VíceGYMNÁZIUM JOSEFA JUNGMANNA LITOMĚŘICE, Svojsíkova 1, příspěvková organizace ČÍSLO PROJEKTU: CZ.1.07/1.5.00/34.1082
NÁZEV ŠKOLY: GYMNÁZIUM JOSEFA JUNGMANNA LITOMĚŘICE, Svojsíkova 1, příspěvková organizace ČÍSLO PROJEKTU: CZ.1.07/1.5.00/34.1082 NÁZEV MATERIÁLU: TÉMA SADY: ROČNÍK: VY_32_INOVACE_4B_15_Kritický racionalismus
VíceMatematická logika. Miroslav Kolařík
Matematická logika přednáška první Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika
Ví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íceStřední odborná škola a Střední odborné učiliště, Hustopeče, Masarykovo nám. 1
Škola Střední odborná škola a Střední odborné učiliště, Hustopeče, Masarykovo nám. 1 Číslo projektu CZ.1.07/1.5.00/34.0394 Autor Mgr. Jiří Pokorný Číslo VY_32_INOVACE_13_ZSV_2.01_Periodizace antické filozofie
VíceZákladní pojmy matematické logiky
KAPITOLA 1 Základní pojmy matematické logiky Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. 1. Výroková logika Co je
VíceMísto pojmu výroková formule budeme používat zkráceně jen formule. Při jejich zápisu
VÝROKOVÁ LOGIKA Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. Co je výrok nedefinujejme, pouze si řekneme, co si pod
VíceVÝUKOVÝ MATERIÁL. Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632 Číslo projektu
VÝUKOVÝ MATERIÁL Identifikační údaje školy Vyšší odborná škola a Střední škola, Varnsdorf, příspěvková organizace Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632
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íceČlenové Vídeňského filosofického kroužku diskutovali a rozvíjeli především teoretické práce:
Filozofie 05 Otázka číslo: 1 " Na přísné formulaci kauzálního zákona: známe-li přesně přítomnost, můžeme vypočítat budoucnost, není nesprávná druhá věta, ale věta první. Přítomnost ve všech stupních její
VíceCo jsou uměnovědná studia? Úvod do uměnovědných studií
Co jsou uměnovědná studia? Úvod do uměnovědných studií Požadavky Zpracovat slovníkové heslo z minimálně 2 různých zdrojů Umělecké dílo; Otevřené dílo; Mimoumělecké estetično; Funkce umění; Umělecká hodnota;
VíceVýrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá.
Výroková logika I Výroková logika se zabývá výroky. (Kdo by to byl řekl. :-)) Výrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá. U výroku
Ví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íceMatematická indukce, sumy a produkty, matematická logika
Matematická indukce, sumy a produkty, matematická logika 8.9. -.0.009 Matematická indukce Jde o následující vlastnost přirozených čísel: Předpokládejme:. Nějaké tvrzení platí pro.. Platí-li tvrzení pro
VíceJacques Le Goff Středověký člověk a jeho vnímání světa
Středověká estetika Jacques Le Goff Středověký člověk a jeho vnímání světa středověký člověk obklopen propracovaným ideologickým a kulturním systémem pro středověkého člověka je viditelný svět jenom stopou
VíceÚvod do filosofie. Pojem a vznik filosofie, definice filosofie. Vztah filosofie a ostatních věd
Úvod do filosofie Pojem a vznik filosofie, definice filosofie Vztah filosofie a ostatních věd Filosofické disciplíny, filosofické otázky, základní pojmy Periodizace Cíl prezentace studenti budou schopni
VíceÚvod do matematiky. Mgr. Radek Horenský, Ph.D. Důkazy
Úvod do matematiky Mgr. Radek Horenský, Ph.D. Důkazy Matematika a matematické chápání jako takové je založeno na logické výstavbě. Základními stavebními prvky jsou definice, věty a důkazy. Definice zavádějí
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í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í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íceKonceptová analýza. Analýza obsahové transformace ve výuce a jejích strukturních opor obsahová jádra jádrové činnosti
Konceptová analýza Analýza obsahové transformace ve výuce a jejích strukturních opor obsahová jádra jádrové činnosti Jednotky transformace obsahu v učební situaci prekoncept / představa výraz koncept SITUACE
VíceZÁ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
VíceJestliže prší, pak je mokro.
Může být voda suchá? Aneb jak snadno a rychle státi se logikem začátečníkem. V logice můžeme vztah příčiny a následku symbolicky zapsat také jako příčina následek. Takovému zápisu říkáme materiální implikace
VíceFilozofie křesťanského středověku. Dr. Hana Melounová
Filozofie křesťanského středověku Dr. Hana Melounová Středověk / 5. 15. st. n. l. / Křesťanství se utvářelo pod vlivem zjednodušené antické filozofie a židovského mesionaismu. Základní myšlenky už konec
VíceVýroková logika. Teoretická informatika Tomáš Foltýnek
Výroková logika Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz Teoretická informatika strana 2 Opakování z minulé přednášky Co je to formalismus a co je jeho cílem? Formulujte Russelův paradox
VícePredikátová logika. Teoretická informatika Tomáš Foltýnek
Predikátová logika Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz strana 2 Opakování z minulé přednášky Z čeho se skládá jazyk výrokové logiky? Jaká jsou schémata pro axiomy VL? Formulujte
VíceMatematika I. Přednášky: Mgr. Radek Výrut, Zkouška:
Přednášky: Mgr. Radek Výrut, Matematika I katedra matematiky, UL-605, rvyrut@kma.zcu.cz tel.: 377 63 2658 Zkouška: Písemná část zkoušky - příklady v rozsahu zápočtových prací Ústní část zkoušky - základní
VíceZá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
Více1 Výrok a jeho negace
1 Výrok a jeho negace Výrokem se rozumí sdělení, u něhož má smysl otázka, zda je, či není pravdivé. Budeme určovat tzv. pravdivostní hodnotu výroku (PH). Příklady výroků: V Úhlopříčky čtverce jsou na sebe
Ví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í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íceOkruh č.9: sémantické metody dokazování v PL1 model formule Tradiční Aristotelova logika kategorický sylogismus subjekt predikátové výroky
Okruh č.9: sémantické metody dokazování v PL1 Pomocí metody Vennových diagramů a relačních struktur vytváříme grafický model situace, která je úsudkem vyjádřena. Ověřujeme, zda náš graficky znázorněný
VícePrediká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íce2.hodina. Jak pracuje věda
2.hodina Jak pracuje věda 3.Hodina kritický racionalismus. https://cs.wikipedia.org/wiki/karl_popper K. Popper, Otevřená společnost a její nepřátelé I./II. Praha 1994, opravené vydání 2011/2015 K. Popper,
VíceVýroková logika - opakování
- opakování ormální zavedení Výroková formule: Máme neprázdnou nejvýše spočetnou množinu A výrokových proměnných. 1. Každá proměnná je výroková formule 2. Když α, β jsou formule, potom ( α), (α β), (α
Vícepřednáška 2 Marie Duží
Logika v praxi přednáška 2 Marie Duží marie.duzi@vsb.cz 1 1 Výroková logika Analyzuje způsoby skládání jednoduchých výroků do výroků složených pomocí logických spojek. Co je to výrok? Výrok je tvrzení,
VíceDějiny sociologie I. Periodizace, protosociologie a klasická sociologie (Comte, Spencer) VY_32_INOVACE_ZSV3r0103 Mgr.
Dějiny sociologie I. Periodizace, protosociologie a klasická sociologie (Comte, Spencer) VY_32_INOVACE_ZSV3r0103 Mgr. Jaroslav Knesl Dějiny sociologie - periodizace 1. Protosociologie: Antika 40 léta 19.stol.
Více1. Přednáška K čemu je právní filosofie?
1. Přednáška K čemu je právní filosofie? Osnova přednášky: a) Co je filosofie a filosofování b) Proč vznikla právní filosofie c) Předmět a funkce právní filosofie Co znamená slovo filosofie? slovo filosofie
VíceM - Výroková logika VARIACE
M - Výroková logika Autor: Mgr. Jaromír Juřek Kopírování a další šíření povoleno pouze s uvedením odkazu na www.jarjurek.cz. VARIACE 1 Tento dokument byl kompletně vytvořen, sestaven a vytištěn v programu
VíceVýroková logika. Sémantika výrokové logiky
Výroková logika Výroková logika se zabývá vztahy mezi dále neanalyzovanými elementárními výroky. Nezabývá se smyslem těchto elementárních výroků, zkoumá pouze vztahy mezi nimi. Elementární výrok je takový
VíceKMA/MDS Matematické důkazy a jejich struktura
Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.0141 KMA/MDS Matematické důkazy a jejich struktura Seminář 3 Predikátový počet Uvažujme následující úsudek.
Ví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íceKonstruktivistické principy v online vzdělávání
Konstruktivistické principy v online vzdělávání Erika Mechlová Ostravská univerzita ESF Čeladná, 4.11.2005 Teorie poznání Teorie poznání, noetika - část filozofie Jak dospíváme k vědění toho, co víme Co
VíceOkruh č.3: Sémantický výklad predikátové logiky
Okruh č.3: Sémantický výklad predikátové logiky Predikátová logika 1.řádu formalizuje úsudky o vlastnostech předmětů a vztazích mezi předměty pevně dané předmětné oblasti (univerza). Nebudeme se zabývat
VícePremisa Premisa Závěr
Studijní text Argumentace Jak to v komunikaci přirozeně děláme, jak argumentujeme? Leden má 31 dní, protože je prvním měsícem roku. Vím, že nelze nekomunikovat. Tzn. každý člověk komunikuje. A Petr je
Ví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íceVÝUKOVÝ MATERIÁL. Varnsdorf, IČO: tel Využití ICT při hodinách občanské nauky
VÝUKOVÝ MATERIÁL Identifikační údaje školy Vyšší odborná škola a Střední škola, Varnsdorf, příspěvková organizace Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632
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í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í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íceSémantika predikátové logiky
Sémantika predikátové logiky pro analýzu sémantiky potřebujeme nejprve specifikaci jazyka (doména, konstanty, funkční a predikátové symboly) příklad: formální jazyk s jediným binárním predikátovým symbolem
VíceSémantika výrokové logiky. Alena Gollová Výroková logika 1/23
Výroková logika Alena Gollová Výroková logika 1/23 Obsah 1 Formule výrokové logiky 2 Alena Gollová Výroková logika 2/23 Formule výrokové logiky Výrok je oznamovací věta, o jejíž pravdivosti lze rozhodnout.
VíceSpojování výroků (podmínek) logickými spojkami
Spojování výroků (podmínek) logickými spojkami Spojování výroků logickými spojkami a) Konjunkce - spojení A B; Pravdivostní tabulka konjunkce A B A B 0 0 0 0 1 0 1 0 0 1 1 1 AND; A a současně B Konjunkce
VíceBooleovská algebra. Booleovské binární a unární funkce. Základní zákony.
Booleovská algebra. Booleovské binární a unární funkce. Základní zákony. Tomáš Bayer bayertom@natur.cuni.cz Katedra aplikované geoinformatiky a kartografie, Přírodovědecká fakulta UK. Tomáš Bayer bayertom@natur.cuni.cz
VíceLogika. 1. Úvod, Výroková logika
Logika 1. Úvod, Výroková logika RNDr. Luděk Cienciala, Ph. D. Tato inovace předmětu Úvod do logiky je spolufinancována Evropským sociálním fondem a Státním rozpočtem ČR, projekt č. CZ. 1.07/2.2.00/28.0216,
VíceObsah ZÁKLADNÍ POJMY LOGIKA DESKRIPTIVNÍHO JAZYKA 2 VÝROKOVÁ LOGIKA 49 3 VNITŘNÍ STAVBA VÝROKŮ 78
259 Obsah PŘEDMLUVA 5 ZÁKLADNÍ POJMY 1 ÚVODNÍ ÚVAHY 1.1 o povaze a úkolech logiky 1.2 Logika a právo. Pojem právní logiky 1.3 Vyjadřovací soustava a sdělovací proces. 1.4 Několik základních pojmů potřebných
VíceSINGULÁRNÍ VÝROKY: Jednoduchý singulární výrok vznikne spojením singulárního termínu s termínem obecným pomocí spony=slova je.
Studijní text Co je singulární výrok SINGULÁRNÍ VÝROKY: PETR Petr je veselý. Jednoduchý singulární výrok vznikne spojením singulárního termínu s termínem obecným pomocí spony=slova je. Příklad: Pavel je
VíceNepřijde a nedám 100 Kč měl jsem pravdu, o této
1.4.4 Implikace Předpoklady: 010403 Implikace Implikace libovolných výroků a,b je výrok, který vznikne jejich spojením slovním obratem jestliže, pak, píšeme a b a čteme jestliže a, pak b. Výroku a se říká
VíceVýroková a predikátová logika - II
Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 1 / 17 Předběžnosti Základní pojmy n-ární relace a funkce
VíceUniverzita Palackého v Olomouci Pedagogická fakulta Katedra společenských věd
Tematické okruhy státní závěrečné zkoušky pro studijní obor: N7504T275 Učitelství základů společenských věd a občanské výchovy pro střední školy a 2. stupeň základních škol Státní závěrečná zkouška je
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íceMatematická analýza 1
Matematická analýza 1 ZS 2019-20 Miroslav Zelený 1. Logika, množiny a základní číselné obory 2. Limita posloupnosti 3. Limita a spojitost funkce 4. Elementární funkce 5. Derivace 6. Taylorův polynom Návod
VíceRozšířené tematické okruhy
Rozšířené tematické okruhy 1. Metodologie vědy jako nauka, která se zabývá vědeckými metodami (užší i širší pojetí) (54, 35, 21) o nauka o metodách, o vědeckých metodách o nejméně dva směry speciální metodologie
Více