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

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

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

Definice. Petr Kuchyňka

ZÁKLADY LOGIKY A METODOLOGIE

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

Kvantita (u subjektu) všechny prvky množiny (všichni, každý, nikdo, žádní ) některé prvky množiny (některý, existuje,.) predikát.

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

LOGIKA je účinným nástrojem mnoha vědních disciplin i každodenní mezilidské komunikace.

Úvod do logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 23

Okruh č.9: sémantické metody dokazování v PL1 model formule Tradiční Aristotelova logika kategorický sylogismus subjekt predikátové výroky

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

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.

Sylogistika. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 16

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

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

Úvod do logiky a logického programování.

1 Výroková logika 1. 2 Predikátová logika 3. 3 Důkazy matematických vět 4. 4 Doporučená literatura 7

NAIVNÍ TEORIE MNOŽIN, okruh č. 5

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

Úvod do logiky (PL): logický čtverec (cvičení)

O nakladatelství. Nakladatelství SOKRATES se specializuje také na odbornou právnickou a ekonomickou literaturu.

O nakladatelství. Nakladatelství SOKRATES se specializuje také na odbornou právnickou a ekonomickou literaturu.

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

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

Úvod do logiky (PL): sémantika predikátové logiky

Logika a studijní předpoklady

Úvod do TI - logika 1. přednáška. Marie Duží

MO-ME-N-T MOderní MEtody s Novými Technologiemi CZ.1.07/1.5.00/

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

LOGIKA VÝROKOVÁ LOGIKA

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

Úvod do predikátové logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 1

Kognitivní technologie. Akademie managementu a komunikace PhDr. Peter Jan Kosmály, Ph.D

Matematika pro informatiky KMA/MATA

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

Základy logiky I. Pochopit jazykový výraz Na co ukazuje jazykový výraz? láhev, dům, šest, bolest, prvočíslo Ukazuje jazykový výraz na věci? Ukazuje na

Pro každé formule α, β, γ, δ platí: Pro každé formule α, β, γ platí: Poznámka: Platí právě tehdy, když je tautologie.

VY_42_Inovace_17_MA_2.02_ Výroky prověření znalostí. Jednotlivé snímky lze použít jako studijní materiál.

Matematická logika. Miroslav Kolařík

Matematická indukce, sumy a produkty, matematická logika

Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce

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

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

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

Úvod do informatiky. Miroslav Kolařík

Úvod do logiky (PL): analýza vět přirozeného jazyka

Matematická logika. Miroslav Kolařík

Ontologie. Otakar Trunda

Logický čtverec. Tradiční logický čtverec

Cvičení Aktivita 1. část 2. část 3. část Ústní Celkem Známka

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

Mezi... aspekty řadíme obecné pojmy, tvrzení či soudy a tvrzení následně vyvozená.

Marie Duží

I) Příklady (převeďte následující věty do formulí PL1 a ověřte jejich ekvivalenci pomocí de Morganových zákonů):

UDL 2004/2005 Cvičení č.6 řešení Strana 1/5

Logika. 6. Axiomatický systém výrokové logiky

CHARAKTERISTIKA PŘEDMĚTU MATEMATIKA 1

Výroková logika: splnitelnost, vyplývání, tautologie, úsudky. Splnitelnost. 1. Ověřte splnitelnost množiny formulí

Teorie argumentace Pavel Arazim

Odpověď na Sousedíkovu kritiku Fregeho výroku o existenci

Kosmologický důkaz Boží existence

Predikátová logika: Axiomatizace, sémantické stromy, identita. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 13

výrok-každésdělení,uněhožmásmyslseptát,zdaječinenípravdivé, aproněžprávějednaztěchtodvoumožnostínastává.

Sociologie (jednooborové studium) N 6703 Sociologie (Platnost akreditace: )

Logika III. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12

Premisa Premisa Závěr

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

NĚMECKÝ JAZYK A LITERATURA (jednooborové navazující magisterské studium) N 7310 Filologie

3. přednáška z předmětu GIS1 atributové a prostorové dotazy

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

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

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

Sémantika predikátové logiky

LITERATURA. Čechák V.: Základy logiky a metodologie. Praha Eupress 2007

Úvod do filosofie. Pojem a vznik filosofie, definice filosofie. Vztah filosofie a ostatních věd

Úvod do logiky: PL analýza vět mimo logický čtverec (cvičení)

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

ETIKA. Benedictus de SPINOZA

Podmínky pro hodnocení žáka v předmětu matematika

1. Matematická logika

MATEMATICKÁ TEORIE ROZHODOVÁNÍ

2.2 Sémantika predikátové logiky

Databázové systémy. Přednáška 1

OBOROVÁ DIDAKTIKA, HISTORIE DIDAKTIKY A VÝUKY CHEMIE

B i n á r n í r e l a c e. Patrik Kavecký, Radomír Hamřík

Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace

Databázové systémy. Ing. Radek Holý

Cvičení z logiky I. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12

Studium informatiky: přehled českých vysokých škol

23. Splnitelnost a platnost výrokových formulí, dedukce ve výrokové logice

Miroslav Svítek. Víc než součet částí. Systémový pohled na proces poznání ACADEMIA. edice ggerstner

Převyprávění Gödelova důkazu nutné existence Boha

MATEMATICKÁ TEORIE ROZHODOVÁNÍ

Úvod do logiky (PL): negace a ekvivalence vět mimo logický

Logika. 2. Výroková logika. RNDr. Luděk Cienciala, Ph. D.

Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/ Množiny, funkce

Autoškoly a zaměstnavatelé jaký má být řidič profesionál?/ Kulatý stůl. Rozvoj aplikačního potenciálu CZ.1.07/2.4.00/

1. MATEMATICKÁ LOGIKA A MNOŽINY

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

Transkript:

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á logika Aristotelovský čtverec 5. Polysémie, synonymie, homonymie, antonymie 6. Analýza chybných argumentací 7. Interpretace 8. Analýza konkrétního dialogu

Základní studijní literatura: Online materiály plus jakákoli příručka základů logiky, např. BEK, Roman. Logika. Praha: ČVUT, 1996, 2001. GAHÉR, František. Logika pre každého. Bratislava: Iris, 1994, 2001. PEREGRIN, Jaroslav. Logika a logiky. Praha: Academia, 2004 ŠTĚPÁN, Jan. Logika a logické systémy. Olomouc: Votobia, 1992. ŠTĚPÁN, Jan. Klasická logika. Olomouc: Univerzita Palackého v Olomouci, 2001. NYTROVÁ, Olga - PIKÁLKOVÁ, Marcela. Etika a logika v komunikaci. Praha: UJAK, 2007. Požadavky na kontrolní práce - absolvovat průběžná seminární cvičení, ze kterých každé bude ověřovat jednak porozumění studenta přednášené látce a jednak jeho schopnost použít nabyté poznatky v praxi. Cvičení budou mít charakter elektronických testů s výběrem z několika odpovědí nebo doplnění krátké odpovědi.

presupozice (předpoklad), pragmatické i sémantické (syn má otce); rozlišujeme od logického vyplývání (nejmladší syn má sourozence) Teorie pojmů - pojem je abstraktní entita, které má různé zakódování, lingvistické reprezentace v různých jazycích - pojmy jsou nenázorní entity (nezkušenostní, abitrérní: Saussure) - náhodilé vlastnosti konkrétní entity nereprezentují pojem - obsah pojmu: soubor všech atributů, které nevyhnutelně přináleží všem a pouze těm předmětům, které spadají pod pojem - rozsah pojmu: je možina předmětů, které patří pod daný pojem - logická třída: souhrn všech předmětů se společným znakem, kterým se odlišují od jiných předmětů

: Vlastnosti pojmů Pojmy jedinečné (individuální) se vztahují na individuální předměty (Praha, hlavní město Česka, Vyšehrad, Jan Novák) Pojmy obecné se vztahují na skupinu předmětů stejného druhu (město, strom, auto, ) Pojmy konkrétní se vztahují na jednotlivé předměty nebo jejich skupiny, které mohou existovat konkrétně a nezávisle na lidském myšlení, jsou přístupné smyslům více lidí současně (pes, stůl) Pojmy abstraktní se vztahují na vlastnosti předmětů, které samy o sobě neexistují a jako samostatné jsou možné pouze v myšlení jednoho konkrétního člověka (statečnost, pravdivost, krása, velikost, pravda, lež) upraveno podle: NYTROVÁ, Olga - PIKÁLKOVÁ, Marcela. Etika a logika v komunikaci. Praha: UJAK, 2007.

: Vlastnosti pojmů Pojmy hromadné se vztahují na skupinu předmětů myslitelnou jako jeden celek (les, knihovna) Pojmy kladné vyjadřují, že předmět má určité znaky příznak (slaný rohlík, veselý kluk, slušný člověk) Pojmy záporné vyjadřují, že předmět nemá určité znaky příznak (neslaný guláš, neveselý=smutný příběh, neslušný projev) ----------------------------------------------------------------------- Kategorie: vědecké pojmy odrážející nejobecnější a nejpodstatnější vztahy a souvislosti (filozofie: příčina a účinek, fyzika: síla, biologie: buňka) upraveno podle: NYTROVÁ, Olga - PIKÁLKOVÁ, Marcela. Etika a logika v komunikaci. Praha: UJAK, 2007.

Teorie pojmů - rozsahově neprázdné pojmy: a) singulární (země, nejvyšší hora) b) plurální s konečným počtem předmětů (naše třída) c) nekonečný počet předmětů (sudá nebo lichá čísla) - rozsahově prázdné pojmy: a) striktně prázdné (největší prvočíslo) b) kvazi-prázdné (čtyřhraný kruh) Rozsahově prázdné pojmy jsou imaginární nebo logicky sporné.

Teorie pojmů - rozsahové poměry pojmů: 1. sloučitelné a) překrytí (společný průnik) b) podrazenost c) nadrazenost d) rovnocennost 2. nesloučitelné - nemají společné nevyhnutelné prvky Chudší obsah znamená bohatší rozsah...

Definice slouží vysvětlení a přesnějšímu vyjádření nebo stanovení významu nějakého výrazu s pomocí jiných výrazů. Soubor elementárních pojmů označujeme slovníkem jazyka. Podle Aristotela je definice horismós, hranice, a při definování se postupuje určením nejbližšího rodu a druhové specifikace (člověk = zoonpolitikon). Definice vždy zahrnuje definiendum (definované) a definiens (definující).

Požadavky na definice: 1. Logicko-sémantické 2. Logicko-epistemologické Přeložitelnost (nahraditelnost definienda definiensem) a rozsahová totožnost obou. Definiens má vyjádřovat pouze podstatné znaky, v mají v něm vystupovat pouze známé a přesné, ostré výrazy a pozitivní (kladné) formy.

Analytická definice definice jednoduchého nebo složeného výrazu, kterého význam je již v jazyce tradičně stanoven Syntetická definice definice nového výrazu, zavádí se do slovníků a terminologií Nominální definice (základní) musí splňovat: kritérium eliminovatelnosti (nahraditelnosti) kritérium nekreativity (neodvoditelnost nových teorém) kritérium existence (musí existovat alespoň jeden předmět)

Skřížená definice definice bludným kruhem, definiendum a definiens se překrývají a nachází se tam i jiné prvky (tautologie dobro je vykonat dobrou věc) Široká definice rozsah definiense obsahuje rozsah definienda Úzká definice nedostačující