1. Korespondenční teorie pravdy Veritas est adaequatio rei et intellectus Předpoklady klasické teorie adekvace

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

Download "1. Korespondenční teorie pravdy Veritas est adaequatio rei et intellectus Předpoklady klasické teorie adekvace"

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í 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

1. Matematická logika

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ů

Více

Člověk na cestě k moudrosti. Filozofie 20. století

Č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/ / 23 Úvod do logiky (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 23 Co je logika? Čeho se týkají logické zákony? Tři možnosti: (1) světa (2) myšlení (3) jazyka (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216

Více

Logika 5. Základní zadání k sérii otázek: V uvedených tezích doplňte z nabízených adekvátní pojem, termín, slovo. Otázka číslo: 1. Logika je věda o...

Logika 5. Základní zadání k sérii otázek: V uvedených tezích doplňte z nabízených adekvátní pojem, termín, slovo. Otázka číslo: 1. Logika je věda o... Logika 5 Základní zadání k sérii otázek: V uvedených tezích doplňte z nabízených adekvátní pojem, termín, slovo. Otázka číslo: 1 Logika je věda o.... slovech správném myšlení myšlení Otázka číslo: 2 Základy

Více

1. Matematická logika

1. Matematická logika MATEMATICKÝ JAZYK Jazyk slouží člověku k vyjádření soudů a myšlenek. Jeho psaná forma má tvar vět. Každá vědní disciplína si vytváří svůj specifický jazyk v úzké návaznosti na jazyk živý. I matematika

Více

Matematická logika. Lekce 1: Motivace a seznámení s klasickou výrokovou logikou. Petr Cintula. Ústav informatiky Akademie věd České republiky

Matematická logika. Lekce 1: Motivace a seznámení s klasickou výrokovou logikou. Petr Cintula. Ústav informatiky Akademie věd České republiky Matematická logika Lekce 1: Motivace a seznámení s klasickou výrokovou logikou Petr Cintula Ústav informatiky Akademie věd České republiky www.cs.cas.cz/cintula/mal Petr Cintula (ÚI AV ČR) Matematická

Více

teorie logických spojek chápaných jako pravdivostní funkce

teorie logických spojek chápaných jako pravdivostní funkce Výroková logika teorie logických spojek chápaných jako pravdivostní funkce zabývá se způsoby tvoření výroků pomocí spojek a vztahy mezi pravdivostí různých výroků používá specifický jazyk složený z výrokových

Více

Ludwig WITTGENSTEIN: Tractatus Logico-Philosophicus, 1922 Překlad: Jiří Fiala, Praha: Svoboda, 1993

Ludwig WITTGENSTEIN: Tractatus Logico-Philosophicus, 1922 Překlad: Jiří Fiala, Praha: Svoboda, 1993 Ludwig WITTGENSTEIN: Tractatus Logico-Philosophicus, 1922 Překlad: Jiří Fiala, Praha: Svoboda, 1993 l Svět je všechno, co fakticky je. 1.l Svět je celkem faktů a nikoli věcí. l.2 Svět se rozpadá na fakty.

Více

Logika a jazyk. filosofický slovník, Praha:Svoboda 1966)

Logika a jazyk. filosofický slovník, Praha:Svoboda 1966) Logika a jazyk V úvodu bylo řečeno, že logika je věda o správnosti (lidského) usuzování. A protože veškeré usuzování, odvozování a myšlení vůbec se odehrává v jazyce, je problematika jazyka a jeho analýza

Více

ZÁKLADY LOGIKY A METODOLOGIE

ZÁKLADY LOGIKY A METODOLOGIE ZÁKLADY LOGIKY A METODOLOGIE Metodický list č. 1 Téma: Předmět logiky a metodologie, základy logiky a formalizace. Toto téma lze rozdělit do tří základních tématických oblastí: 1) Předmět logiky a metodologie

Více

Té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 a Číny 3. Nejvýznamnější představitelé a školy řecké filosofie před Sókratem 4. Sofisté

Více

Matematika pro informatiky KMA/MATA

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

Více

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. 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íce

Formální systém výrokové logiky

Formální systém výrokové logiky Formální systém výrokové logiky 1.Jazyk výrokové logiky Nechť P = {p,q,r, } je neprázdná množina symbolů, které nazýváme prvotní formule. Symboly jazyka L P výrokové logiky jsou : a) prvky množiny P, b)

Více

Té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Š 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íce

4.9.70. Logika a studijní předpoklady

4.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íce

Logický důsledek. Petr Kuchyňka (7765@mail.muni.cz)

Logický důsledek. Petr Kuchyňka (7765@mail.muni.cz) Logický důsledek Petr Kuchyňka (7765@mail.muni.cz) Úvod P 1 Logický důsledek je hlavním předmětem zájmu logiky. Je to relace mezi premisami a závěry logicky platných úsudků: v logicky platném úsudku závěr

Více

Otá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 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í. Ú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íce

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 α

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

Více

SOCIÁLNÍ KON SOCIÁL STRUKT NÍ KON IVISMU STRUKT

SOCIÁ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íce

Predikátová logika Individua a termy Predikáty

Predikátová logika Individua a termy Predikáty Predikátová logika Predikátová logika je rozšířením logiky výrokové o kvantifikační výrazy jako každý, všichni, někteří či žádný. Nejmenší jazykovou jednotkou, kterou byla výroková logika schopna identifikovat,

Více

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

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 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íce

Příklad z učebnice matematiky pro základní školu:

Příklad z učebnice matematiky pro základní školu: Příklad z učebnice matematiky pro základní školu: Součet trojnásobku neznámého čísla zvětšeného o dva a dvojnásobku neznámého čísla zmenšeného o pět se rovná čtyřnásobku neznámého čísla zvětšeného o jedna.

Více

λογος - LOGOS slovo, smysluplná řeč )

λογος - 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íce

LOGIKA VÝROKOVÁ LOGIKA

LOGIKA VÝROKOVÁ LOGIKA LOGIKA Popisuje pravidla odvozování jedněch tvrzení z druhých. Je to myšlenková cesta ke správným závěrům. Vznikla jako součást filosofie. Zakladatelem byl Aristoteles. VÝROKOVÁ LOGIKA Obsahuje syntaktická,

Více

Obsah. Co je metafyzika? Dějiny pojmu "metafyzika" 17 Antika... 17

Obsah. 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íce

1. Predikátová logika jako prostedek reprezentace znalostí

1. 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íce

Logika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD.

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á

Více

0. ÚVOD - matematické symboly, značení,

0. Ú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. 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íce

FILOSOFIE ČLOVĚKA a VĚDY

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

Více

Výbor textů k moderní logice

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

Více

RENESANCE A OSVÍCENSTVÍ

RENESANCE 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íce

filosofie je soustava kritického myšlení o problémech (bytí, života, člověka)

filosofie 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íce

ETIKA 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 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íce

GYMNÁZIUM JOSEFA JUNGMANNA LITOMĚŘICE, Svojsíkova 1, příspěvková organizace ČÍSLO PROJEKTU: CZ.1.07/1.5.00/34.1082

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 Š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íce

Matematická logika. Miroslav Kolařík

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

Více

Unární je také spojka negace. pro je operace binární - příkladem může být funkce se signaturou. Binární je velká většina logických spojek

Unární je také spojka negace. pro je operace binární - příkladem může být funkce se signaturou. Binární je velká většina logických spojek Otázka 06 - Y01MLO Zadání Predikátová logika, formule predikátové logiky, sentence, interpretace jazyka predikátové logiky, splnitelné sentence, tautologie, kontradikce, tautologicky ekvivalentní formule.

Více

Střední odborná škola a Střední odborné učiliště, Hustopeče, Masarykovo nám. 1

Stř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íce

Základní pojmy matematické logiky

Základní pojmy matematické logiky KAPITOLA 1 Základní pojmy matematické logiky Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. 1. Výroková logika Co je

Více

Místo pojmu výroková formule budeme používat zkráceně jen formule. Při jejich zápisu

Místo pojmu výroková formule budeme používat zkráceně jen formule. Při jejich zápisu VÝROKOVÁ LOGIKA Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. Co je výrok nedefinujejme, pouze si řekneme, co si pod

Více

VÝUKOVÝ MATERIÁL. Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632 Číslo projektu

VÝ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íce

POL 181 Co je věda? A co je podstatou výzkumu?

POL 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:

Č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íce

Co 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í 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íce

Výrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá.

Vý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íce

Obsah Předmluva Rekapitulace základních pojmů logiky a výrokové logiky Uvedení do predikátové logiky...17

Obsah Předmluva Rekapitulace základních pojmů logiky a výrokové logiky Uvedení do predikátové logiky...17 Obsah Předmluva...3 0. Rekapitulace základních pojmů logiky a výrokové logiky...11 0.1 Logika jako věda o vyplývání... 11 1. Uvedení do predikátové logiky...17 1.1 Základní terminologie... 17 1.2 Základní

Více

Matematická indukce, sumy a produkty, matematická logika

Matematická 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íce

Jacques Le Goff Středověký člověk a jeho vnímání světa

Jacques 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 Ú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 Ú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íce

Teoreticko-metodologický seminář. Zdeňka Jastrzembská

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ý

Více

Primární a sekundární výskyt označující fráze. Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5.

Primární a sekundární výskyt označující fráze. Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5. Primární a sekundární výskyt označující fráze Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5. 2012 Russellovo rozlišení jména a popisu Označující fráze Primární a sekundární

Více

Definice. Petr Kuchyňka

Definice. Petr Kuchyňka Definice Petr Kuchyňka (7765@mail.muni.cz) 1 Úvod Pravdivost vět či platnost argumentů lze kompetentně posoudit, jen když je jasné, co přesně znamenají výrazy v nich užité. Základním prostředkem specifikace

Více

Konceptová 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 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íce

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) 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íce

Jestliže prší, pak je mokro.

Jestliž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íce

Filozofie křesťanského středověku. Dr. Hana Melounová

Filozofie 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íce

Výroková logika. Teoretická informatika Tomáš Foltýnek

Výroková logika. Teoretická informatika Tomáš Foltýnek Výroková logika Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz Teoretická informatika strana 2 Opakování z minulé přednášky Co je to formalismus a co je jeho cílem? Formulujte Russelův paradox

Více

Predikátová logika. Teoretická informatika Tomáš Foltýnek

Prediká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íce

Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška:

Matematika 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íce

Základy logiky a teorie množin

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

Více

1 Výrok a jeho negace

1 Výrok a jeho negace 1 Výrok a jeho negace Výrokem se rozumí sdělení, u něhož má smysl otázka, zda je, či není pravdivé. Budeme určovat tzv. pravdivostní hodnotu výroku (PH). Příklady výroků: V Úhlopříčky čtverce jsou na sebe

Více

E L O G O S, ELECTRONIC JOURNAL FOR PHILOSOPHY/2003, ISSN Vladimír Kyprý.

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ť

Více

Kosmologický důkaz Boží existence

Kosmologický 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íce

Okruh č.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 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íce

Predikátová logika (logika predikátů)

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íce

2.hodina. Jak pracuje věda

2.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íce

Výroková logika - opakování

Vý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íce

přednáška 2 Marie Duží

př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íce

Dě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. 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íce

1. Přednáška K čemu je právní filosofie?

1. 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íce

M - Výroková logika VARIACE

M - 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íce

Výroková logika. Sémantika výrokové logiky

Výroková logika. Sémantika výrokové logiky Výroková logika Výroková logika se zabývá vztahy mezi dále neanalyzovanými elementárními výroky. Nezabývá se smyslem těchto elementárních výroků, zkoumá pouze vztahy mezi nimi. Elementární výrok je takový

Více

KMA/MDS Matematické důkazy a jejich struktura

KMA/MDS Matematické důkazy a jejich struktura Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.0141 KMA/MDS Matematické důkazy a jejich struktura Seminář 3 Predikátový počet Uvažujme následující úsudek.

Více

Matematická logika. Miroslav Kolařík

Matematická logika. Miroslav Kolařík Matematická logika přednáška šestá Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika

Více

Konstruktivistické principy v online vzdělávání

Konstruktivistické 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íce

Okruh č.3: Sémantický výklad predikátové logiky

Okruh č.3: Sémantický výklad predikátové logiky Okruh č.3: Sémantický výklad predikátové logiky Predikátová logika 1.řádu formalizuje úsudky o vlastnostech předmětů a vztazích mezi předměty pevně dané předmětné oblasti (univerza). Nebudeme se zabývat

Více

Premisa Premisa Závěr

Premisa Premisa Závěr Studijní text Argumentace Jak to v komunikaci přirozeně děláme, jak argumentujeme? Leden má 31 dní, protože je prvním měsícem roku. Vím, že nelze nekomunikovat. Tzn. každý člověk komunikuje. A Petr je

Více

Inteligentní systémy (TIL) Marie Duží

Inteligentní systémy (TIL) Marie Duží Inteligentní systémy (TIL) Marie Duží http://www.cs.vsb.cz/duzi/ /d Přednáška 3 Sémantické schéma Výraz vyjadřuje označuje Význam (konstrukce konstrukce) k ) konstruuje denotát Ontologie TIL: rozvětvená

Více

VÝUKOVÝ MATERIÁL. Varnsdorf, IČO: tel Využití ICT při hodinách občanské nauky

VÝ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íce

Negativní informace. Petr Štěpánek. S použitím materiálu M.Gelfonda a V. Lifschitze. Logické programování 15 1

Negativní informace. Petr Štěpánek. S použitím materiálu M.Gelfonda a V. Lifschitze. 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íce

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

Logika a formální sémantika: 8. Game-theoretical semantics Logika a formální sémantika: 8. Game-theoretical semantics 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

Ú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íce

Sémantika predikátové logiky

Sémantika predikátové logiky Sémantika predikátové logiky pro analýzu sémantiky potřebujeme nejprve specifikaci jazyka (doména, konstanty, funkční a predikátové symboly) příklad: formální jazyk s jediným binárním predikátovým symbolem

Více

Sémantika výrokové logiky. Alena Gollová Výroková logika 1/23

Sémantika výrokové logiky. Alena Gollová Výroková logika 1/23 Výroková logika Alena Gollová Výroková logika 1/23 Obsah 1 Formule výrokové logiky 2 Alena Gollová Výroková logika 2/23 Formule výrokové logiky Výrok je oznamovací věta, o jejíž pravdivosti lze rozhodnout.

Více

Spojování výroků (podmínek) logickými spojkami

Spojová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íce

Booleovská algebra. Booleovské binární a unární funkce. Základní zákony.

Booleovská algebra. Booleovské binární a unární funkce. Základní zákony. 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íce

Logika. 1. Úvod, Výroková logika

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,

Více

Obsah ZÁKLADNÍ POJMY LOGIKA DESKRIPTIVNÍHO JAZYKA 2 VÝROKOVÁ LOGIKA 49 3 VNITŘNÍ STAVBA VÝROKŮ 78

Obsah 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íce

SINGULÁRNÍ VÝROKY: Jednoduchý singulární výrok vznikne spojením singulárního termínu s termínem obecným pomocí spony=slova je.

SINGULÁRNÍ VÝROKY: Jednoduchý singulární výrok vznikne spojením singulárního termínu s termínem obecným pomocí spony=slova je. Studijní text Co je singulární výrok SINGULÁRNÍ VÝROKY: PETR Petr je veselý. Jednoduchý singulární výrok vznikne spojením singulárního termínu s termínem obecným pomocí spony=slova je. Příklad: Pavel je

Více

Nepřijde a nedám 100 Kč měl jsem pravdu, o této

Nepřijde a nedám 100 Kč měl jsem pravdu, o této 1.4.4 Implikace Předpoklady: 010403 Implikace Implikace libovolných výroků a,b je výrok, který vznikne jejich spojením slovním obratem jestliže, pak, píšeme a b a čteme jestliže a, pak b. Výroku a se říká

Více

Výroková a predikátová logika - II

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

Více

Univerzita Palackého v Olomouci Pedagogická fakulta Katedra společenských věd

Univerzita 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íce

Marie Duží

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.

Více

Matematická analýza 1

Matematická 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íce

Rozšířené tematické okruhy

Rozšíř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