Logika a formální sémantika: 5. Modální logika
|
|
- Denis Marian Ševčík
- před 5 lety
- Počet zobrazení:
Transkript
1 Logika a formální sémantika: 5. Modální logika Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/ , OPVK) doc. PhDr. Jiří Raclavský, Ph.D. (raclavsky@phil.muni.cz) Department of Philosophy, Masaryk University, Brno
2 1 V. Kalkul striktní implikace - kromě trojhodnotové logiky má modální logika předchůdce v kalkulu striktní implikace - tu založil Clarence Irving Lewis v roce 1918 (A Survey of Symbolic Logic; spolu s C.H. Langfordem (1932): Symbolic Logic) - C. I. Lewis vyšel z určité kritiky implikace a formuluje striktní implikaci (značena budiž třeba =>) do podoby "není pravda, aby bylo možné, že A je pravdivé a B nepravdivé" - formálně (A=>B) = df (A B) (kde je znak pro je možné ) - z kalkulu striktní implikace (40. léta 20. století) vyšla i modální logička Ruth Barcan (později Ruth Barcan Marcus) - literatura např: Marcus, Ruth Barcan (1946): A Functional Calculus of First Order Based on Strict Implication, Journal of Symbolic Logic 11, 1-16
3 2 V. Modální logika (1.) - (modal logic) - první kniha, kde je modální logika uvedena je Lewis, C. I. & Langford, C. H., (1932): Symbolic Logic, New York: Dover Publications, modální logika využila formalizovaného pojmu možnosti a nutnosti k vystavění celé řady logických systémů (nejpoužívanější jsou systémy mezi S4 a S5) (box) je nutné, že... (diamond) je možné, že... - modální operátory se chovají přibližně jako kvantifikátory, avšak vztažené k větám - aplikujeme-li však modální operátory na predikáty, věc se stane méně samozřejmou a po formální i výkladové stránce vznikne řada problémů
4 3 V. Modální logika (2.) - vývoj modální logiky má dvě etapy: první je syntaktická, budují se systémy a pracuje se jen s intuitivním pojetím možnosti a nutnosti (např. Carnap, R (1947): Meaning and Necessity), druhá etapa začíná Kripkeho sémantikou modální logiky na základě pojmu možného světa (1963), viz níže - přední modální logikové: Ruth Barcan Marcus, Saul Kripke, David Lewis, Frederic B. Fitch; další: Krister Segerberg, Patrick Blackburn, E.J. Lemmon - modální logiky má řada úspešných aplikací ve filosofii (zejm. S. Kripke-Naming and Necessity (1973), Alvin Plantiga-The Nature of Necessity (1974) a D. Lewiskontrafaktuály)
5 4 V. Propoziční modální logika: : systém K - systém K (podle Saula Kripkeho, ale byl znám již C.I. Lewisovi) je základní systém; někdy označován T; je příliš slabý - vznikne tak, že k VL přidáme: Pravidlo necesiace (Necessitation Rule): Jestliže -A, tak - A. tj. jestliže A je teorémem K, pak také A je teorémem. Axiom distributivity: (A B) ( A B). - možnost je zavedena jako: A = df A - operátory a se chovají zcela podobně jako kvantifikátory (z A B) vyplývá A B a naopak; avšak z A B sice vyplývá (A B), ale není tomu naopak
6 5 V. Propoziční modální logika: : systémy T a B - systém T - přidání teorému (M) ke K (M) A A ( cokoli je nutné, je ); není dokazatelný v K - systém B - (podle Brouwera) přidáním axiomu (B) k M: (B) A A ( je-li něco možné, je nutné, že to je možné )
7 6 V. Propoziční modální logika: : systémy S4 a S5 systémy S4 a S5 - vzniknou přidáním tzv. iteračních axiomů - S4 znám již C.I. Lewisovi; - S5 může být formulován i přidáním (B) k S4 (4) A A ( je-li něco nutné, je nutné, že to je nutné ) (5) A A ( je-li něco možné, je možné, že to je možné ) - v S4:... = a... = (sekvence operátorů stejného druhu může být nahrazena jedním operátorem toho druhu) - v S5: = a =, kde každé 0 je buď nebo (sekvence obsahující jak boxy, tak diamondy, jsou ekvivalentní sekvenci s jedním operátorem, který byl v nezkrácené sekvenci posledním)
8 7 V. Sémantika ML na základě pojmu možného světa (1.) - někdy též kripkeovská sémantika; Saul Aaron Kripke; krom toho se na ní podíleli i Jaako Hintikka a Arthur N. Prior - již v Kripke, Saul (1959): A Completness Theorem in Modal Logic, Journal of Symbolic Logic 24, ale hlavně Kripke, Saul (1963): Semantical Considerations on Modal Logic, Acta Philosophica Fennica 16, k běžné sémantice na základě teorie modelů přibírá pojem možného světa - uvažujme možný svět jako bezrozporný maximální soubor faktů, které mohou platit - jsou to souhrny vět popisujících svět tak, jak by mohl vypadat (a to případně odlišně od světa aktuálního) - aktuální svět (jeden z možných světů) je tedy soubor všech aktuálně platných faktů
9 8 V. Sémantika ML na základě pojmu možného světa (2.) - valuace v přiřazuje každé propoziční proměnné pravdivostní hodnotu pro každý možný svět (w), tj. hodnota v pro p ve w se může lišit od hodnoty ve w' - význam věty je (pod)množina možných světů, což je tedy funkce z možných světů do pravdivostních hodnot (w->p/n) - množina všech možných světů se běžně značí W, či K - v( A, w)=pravda právě tehdy, když v(a, w)=nepravda - v(a B, w)=pravda právě tehdy, když v(a, w)=nepravda nebo v(b, w)=pravda - (v( A, w)=pravda právě tehdy, když pro každý možný svět w' ve W, v(a, w')=pravda - tj. A je pravdivá ve světě w právě tehdy, když A je pravdivá ve všech možných světech, A je pravdivá ve světě w právě tehdy, když A je pravdivá alespoň v jednom z možných světů
10 9 V. Sémantika ML na základě pojmu možného světa (3.) - rámec. angl. frame; někdy též Kripke s frame <W, R> - dvojice neprázdné množiny W (světů) a binární relace R na W - R je relace dosažitelnosti či dostupnosti (accessibility) - je reflexivní, symetrická, tranzitivní - zajišťuje např. identitu individua skrze různé možné světy, obecně dosažitelnost mezi světy - model <F, v> sestává z rámu F a valuace v, která přiřazuje pravdivostní hodnoty každé atomické větě v každém světě ve W
11 10 V. Kvantifikovaná modální logika - quantified modal logic (QML) - přesun kvantifikátorů k symbolům predikátů, což nese hodně potíží s přirozenou interpretací - Formule Barcanové (Barcan Formula. BF): x Fx xfx - Konverze formule Barcanové (Converse Barcan Formula, CBF): xfx x Fx - aktualismus (např. Linsky a Zalta 1994): kvantifikujeme pouze přes aktualizovaná individua; fixní doména (possibilismus)- kvantifikujeme přes všechna (tedy i posibilní) individua
12 11 V. Temporální logika - z modální logiky vychází řada logik specializovaných na jiné než tzv. aletické modality (nutnost a možnost) - temporální logika - vlastně propoziční modální logika s relací uspořádání pro časové okamžiky - zakladatelské práce Prior, A.N. (1959): Time and Modality, Oxford: Oxford UP), Prior, A.N. (1967): Past, Present and Future, Oxford: Oxford UP - doaxastic/epistemic logic - Jaakko Hintikka, Knowledge and Belief 1963, Ithaca - operátor je interpretován jako znalost (anebo K je přidán jako další modalita)
13 12 V. Deontická logika - deontos (řecky): povinný, žádoucí - jako první rakouský filosof Ernst Mally (ale neintutivní systém) - finský logiky Georg Henryk von Wright ((1951): Deontic Logic; - operátory O (obligatory - přikázáno), P (permitted - dovoleno), F (forbidden - zakázáno) se chovají poněkud jako modální operátory - v češtině viz např. Kolář, Petr & Svoboda, Vladimír (1997): Logika a etika, Praha: Filosofia - Relevance Logic - Anderson a Belnap (1975); nyní opět relevantní téma - Counterfactual Logic - David Lewis (1973): Counterfactuals.
14 13 V. Spor o modální logiku Je nutné, že 9 větší než 7. Počet (velkých) planet je 9. Tudíž je nutné, že počet (velkých) planet je větší než 7. - nevyplývá, ačkoli jsou zdánlivě možné substituce; musíme odlišit výrazy empirické a neempirické-matematické - Willard van Orman Quine stať ((1947): The Problem of Interpretating Modal Logic, Journal of Symbolic Logic 12, 42-48), Ruth Barcan Marcus ((1962): Modalities and Intensional Languages, Synthese, )
15 14 Odkazy Carnap, Rudolf(1946): Modalities and Quantification, Journal of Symbolic Logic 11,33-64 Carnap, Rudolf (1947): Meaning and Necessity. Chicago: The University of Chicago Press - Phoenic Edition. Cresswell, Max J. (1975): Frames and Models in Modal Logic. In: (eds.), Berlin & Heidelberg & New York: Springer. Garson, James W. (2000): Modal logic, Hintikka, Jaako (1969): Models for Modalities (Selected Essays). Dordrecht: D. Riedel Publishing Company. Hughes, G. E. & Cresswell, Max J. (1968): An Introduction to Modal Logic. London: Methuen Hughes, G. E. & Cresswell, Max J. (1996): A New Introduction to Modal Logic, London: Routledge Chellas, Brian F. (1980): Modal Logic: An Introduction, New York: Cambridge Konyndyk, Kenneth (1986): Introductory Modal Logic. Notre Dame: University of Notre Dame Press.
16 15 Kripke, Saul (1959): A Completness Theorem in Modal Logic, Journal of Symbolic Logic 24, 1-14 Kripke, Saul (1963): Semantical Considerations on Modal Logic, Acta Philosophica Fennica 16, Marcus, Ruth Barcan (1993): Modalities (Philosophical Essays). Oxford: Oxford UP Mleziva, Miroslav (1970): Neklasické logiky, Praha: Svoboda. Montague, Richard (1960): Logical Necessity, Physical Necessity, Ethics and Quantifiers, Inquiry 4, ; repr. In: Montague (1974): Formal Philosophy (Selected Papers of Richard Montague). New Haven and London: Yale UP, Menzel, Christopher (2000): Actualism,
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 (PL): sémantika predikátové logiky
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (PL): sémantika predikátové logiky doc. PhDr. Jiří
VíceÚvod do logiky (VL): 15. Neklasické výrokové logiky
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (VL): 15. Neklasické výrokové logiky doc. PhDr.
VíceÚvod do logiky (PL): analýza vět přirozeného jazyka
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (PL): analýza vět přirozeného jazyka doc. PhDr.
VíceLogický důsledek. Petr Kuchyňka (7765@mail.muni.cz)
Logický důsledek Petr Kuchyňka (7765@mail.muni.cz) Úvod P 1 Logický důsledek je hlavním předmětem zájmu logiky. Je to relace mezi premisami a závěry logicky platných úsudků: v logicky platném úsudku závěr
VíceLogika a formální sémantika: 8. Game-theoretical semantics
Logika a formální sémantika: 8. Game-theoretical semantics Ji í Raclavský (raclavsky@phil.muni.cz) Department of Philosophy, Masaryk University, Brno (Gödel's hometown) Logika: systémový rámec rozvoje
VíceÚvod do predikátové logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 1
Úvod do predikátové logiky (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 1 Relace Neuspořádaná vs. uspořádaná dvojice {m, n} je neuspořádaná dvojice. m, n je uspořádaná dvojice. (FLÚ AV ČR) Logika:
VíceÚvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz
Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz Jednoduché úsudky, kde VL nestačí Všechny opice mají rády banány Judy je opice Judy má ráda banány Z hlediska VL
VíceTransparentní intenzionální logika (TIL)
Marek Rychlý Ústav informačních systémů, Fakulta informačních technologií, Vysoké učení technické v Brně, Božetěchova 2, Brno 612 66, Czech Republic rychly@fit.vutbr.cz Abstrakt Transparentní intenzionální
Ví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íceVýroková a predikátová logika - VI
Výroková a predikátová logika - VI Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VI ZS 2017/2018 1 / 24 Predikátová logika Úvod Predikátová logika Zabývá
VíceMatematická logika. Rostislav Horčík. horcik
Matematická logika Rostislav Horčík horcik@math.feld.cvut.cz horcik@cs.cas.cz www.cs.cas.cz/ horcik Rostislav Horčík (ČVUT FEL) Y01MLO Letní semestr 2007/2008 1 / 20 Predikátová logika Motivace Výroková
Víceale třeba i výroky, kde se za modifikátorem nachází složený výrok jako
Modální logika Nejběžnějším výrokovým modifikátorem, se kterým se setkáváme v přirozeném jazyce je negace. Operátor negace je jedním z klíčových spojek klasické logiky. Běžně se ovšem v přirozeném jazyce
VícePredikátová logika dokončení
Predikátová logika dokončení Jiří Velebil: X01DML 1. října 2010: Predikátová logika dokončení 1/18 Syntaktická analýza Jako ve výrokové logice (syntaktické stromy). Každý list úspěšného stromu je obsazen
Víceplatné nejsou Sokrates je smrtelný. (r) 1/??
Predikátová logika plně přejímá výsledky výrokové logiky zabývá se navíc strukturou jednotlivých jednoduchých výroků na základě této analýzy lze odvodit platnost některých výroků, které ve výrokové logice
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íceÚvod do logiky (PL): logický čtverec (cvičení)
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (PL): logický čtverec (cvičení) doc. PhDr. Jiří
VíceÚvod do logiky (VL): 4. Zjištění průběhu pravdivostních hodnot formule tabulkovou metodou
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (VL): 4. Zjištění průběhu pravdivostních hodnot
VíceLogika. 6. Axiomatický systém výrokové logiky
Logika 6. Axiomatický systém výrokové logiky RNDr. Luděk Cienciala, Ph. D. Tato inovace předmětu Úvod do logiky je spolufinancována Evropským sociálním fondem a Státním rozpočtem ČR, projekt č. CZ. 1.07/2.2.00/28.0216,
VíceÚvod do logiky (VL): 12. Ověřování platnosti úsudků metodou protipříkladu
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (VL): 12. Ověřování platnosti úsudků metodou protipříkladu
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íceDalší (neklasické) logiky. Jiří Velebil: AD0B01LGR 2015 Predikátová logika 1/20
Predikátová logika Jiří Velebil: AD0B01LGR 2015 Predikátová logika 1/20 Jazyk predikátové logiky Má dvě sorty: 1 Termy: to jsou objekty, o jejichž vlastnostech chceme hovořit. Mohou být proměnné. 2 Formule:
VíceFuzzy logika a reálný svět, aneb jsou všechny hromady skutečně malé?
Fuzzy logika a reálný svět, aneb jsou všechny hromady skutečně malé? Jiří Močkoř University of Ostrava Department of Mathematics Institute for Research and Applications of Fuzzy Modeling 30. dubna 22,
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íceNeklasické logiky. Už od Aristotela se logika řídí dvěma základními logickými principy a sice: principem extenzionality a principem dvouhodnotovosti.
Neklasické logiky Už od Aristotela se logika řídí dvěma základními logickými principy a sice: principem extenzionality a principem dvouhodnotovosti. Pro první přiblížení stačí, řekne-li se, že princip
VíceÚvod do logiky (VL): 5. Odvození výrokových spojek z jiných
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (VL): 5. Odvození z jiných doc. PhDr. Jiří Raclavský,
VíceÚvod do logiky (PL): analýza vět mimo logický čtverec
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (PL): analýza vět mimo logický čtverec doc. PhDr.
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í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í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í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ícePredikátová logika. prvního řádu
Predikátová logika prvního řádu 2 Predikát Predikát je n-ární relace - vyjadřuje vlastnosti objektů a vztahy mezi objekty - z jednoduchého výroku vznikne vypuštěním alespoň jednoho jména objektu (individua)
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í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íceSeznam literatury. Původně otištěno v Proceedings of the Aristotelian Society 38, 1964.
Seznam literatury ALLAIRE, Edwin B. (1963): Bare Particulars. Philosophical Studies 14, 1-2, 1-8. ALLAIRE, Edwin B. (1965): Another Look at Bare Particulars. Philosophical Studies 16, 1/2, 16-21. ALSTON,
VíceRejstřík. anotace 167 krok 167 nepřímý 169 podmiňovaný 181 rezolucí 210 rozborem případů 170 sporem 170 z hypotéz 167 z předpokladů 167 Duns Scotus 79
Rejstřík Rejstřík A antecedent 27 Aristotelés 13 axiom 163 nezávislá množina 164 axiomatické systémy 163 axiom distributivity 222 axiomová schémata 164 B Beth 197 bezesporný 171 Bolzano 14 booleovské funktory
VíceZobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 1 / 20 p
Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně polaritní výrazy FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik
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íceLogika. 2. Výroková logika. RNDr. Luděk Cienciala, Ph. D.
Logika 2. 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, Logika:
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í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íceVýroková a predikátová logika - VIII
Výroková a predikátová logika - VIII Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VIII ZS 2017/2018 1 / 21 Tablo Tablo metoda v PL - rozdíly Formule
VíceSémantické úvahy o modální logice
Sémantické úvahy o modální logice Saul A. Kripke Tento příspěvek si klade za úkol objasnit některé vlastnosti sémantických teorií modální logiky.' Pro určité rozšíření systému SS o kvantifikátory byla
VíceMatematická logika. Miroslav Kolařík
Matematická logika přednáška desátá Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. Obsah 1 Úvod do modální logiky 2 Logické programování a Prolog 3
VíceVýroková a predikátová logika - IX
Výroková a predikátová logika - IX Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - IX ZS 2018/2019 1 / 13 Dokončené tablo Chceme, aby dokončená bezesporná
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íceÚvod do logiky (PL): ekvivalence a negace výroků logického
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (PL): ekvivalence a negace výroků logického čtverce
VíceVýroková a predikátová logika - VIII
Výroková a predikátová logika - VIII Petr Gregor KTIML MFF UK ZS 2016/2017 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VIII ZS 2016/2017 1 / 21 Tablo Tablo metoda v PL - rozdíly Formule
VíceThe Beginnings of Analysis of Modalities in Modern Logic
Univerzita Karlova v Praze Filozofická fakulta Katedra logiky Počátky analýzy modalit v moderní logice The Beginnings of Analysis of Modalities in Modern Logic Diplomová práce Petra Barančíková Praha,
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íce10. Techniky formální verifikace a validace
Fakulta informačních technologií MI-NFA, zimní semestr 2011/2012 Jan Schmidt EVROPSKÝ SOCIÁLNÍ FOND PRAHA & EU: INVESTUJENE DO VAŠÍ BUDOUCNOSTI 10. Techniky formální verifikace a validace 1 Simulace není
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íceVýroková a predikátová logika - IV
Výroková a predikátová logika - IV Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - IV ZS 2018/2019 1 / 17 Tablo metoda Tablo Tablo - příklady F (((p q)
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íceMatematická logika. Rostislav Horčík. horcik
Matematická logika Rostislav Horčík horcik@math.feld.cvut.cz horcik@cs.cas.cz www.cs.cas.cz/ horcik Rostislav Horčík (ČVUT FEL) Y01MLO Letní semestr 2007/2008 1 / 18 Příklad Necht L je jazyk obsahující
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íceÚvod do logiky (PL): negace a ekvivalence vět mimo logický
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (PL): negace a ekvivalence vět mimo logický čtverec
VíceMatematika B101MA1, B101MA2
Matematika B101MA1, B101MA2 Zařazení předmětu: povinný předmět 1.ročníku bc studia 2 semestry Rozsah předmětu: prezenční studium 2 + 2 kombinované studium 16 + 0 / semestr Zakončení předmětu: ZS zápočet
VíceTEORIE PROTĚJŠKŮ A MODÁLNÍ PREDIKÁTOVÁ LOGIKA 1
TEORIE PROTĚJŠKŮ A MODÁLNÍ PREDIKÁTOVÁ LOGIKA 1 David K. Lewis 1 Teorie protějšků Pomocí všestranně použitelné extenzionální logiky můžeme formálně uvažovat o valné většině věcí. Stačí mít k dispozici
VíceStefan Ratschan. Fakulta informačních technologíı. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti
Logika pro každodenní přežití Stefan Ratschan Katedra číslicového návrhu Fakulta informačních technologíı České vysoké učení technické v Praze Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti
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íceExplikace. Petr Kuchyňka
Explikace Petr Kuchyňka (7765@mail.muni.cz) 1 Úvod Při komunikaci v přirozeném jazyce jsme neustále vystaveni hrozbě nedorozumění: řídíme se pravidly, která nejsou nikde explicitně uvedená ani nejsou dostatečně
VícePredikátová logika: Axiomatizace, sémantické stromy, identita. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 13
Predikátová logika: Axiomatizace, sémantické stromy, identita (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 13 Axiomatizace predikátové logiky Axiomatizace predikátové logiky Definice Hilbertovský
VíceÚvod do logiky (VL): 7. Ekvivalentní transformace
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (VL): 7. Ekvivalentní transformace doc. PhDr. Jiří
VícePro každé formule α, β, γ, δ platí: Pro každé formule α, β, γ platí: Poznámka: Platí právě tehdy, když je tautologie.
Zpracoval: hypspave@fel.cvut.cz 5. Výroková logika, formule výrokové logiky a jejich pravdivostní ohodnocení, splnitelné formule, tautologie, kontradikce, sémantický důsledek, tautologicky ekvivalentní
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ícePřevyprávění Gödelova důkazu nutné existence Boha
Převyprávění Gödelova důkazu nutné existence Boha Technické podrobnosti Důkaz: Konečná posloupnost výrokůkorektně utvořených formulí nějakého logického kalkulu), z nichž každý jelogickým) axiomem, postulátemteorie),
VíceGeorge J. Klir State University of New York (SUNY) Binghamton, New York 13902, USA
A Tutorial Vícehodnotové logiky George J. Klir Radim Bělohlávek State University of New York (SUNY) Binghamton, New York 13902, USA gklir@binghamton.edu Palacky University, Olomouc, Czech Republic prepared
VíceImplikace letitá, ale stále atraktivní dáma
Implikace letitá, ale stále atraktivní dáma Jan Kábrt Proč se zajímat o logiku a v ní právě o implikaci? Mimo jiné pro souvislost s takovými oblastmi lidského myšlení, jako jsou matematika, ostatní přírodní
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íceVýroková a predikátová logika - VII
Výroková a predikátová logika - VII Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VII ZS 2013/2014 1 / 21 Sémantika PL Teorie Vlastnosti teorií Teorie
Více4.2 Syntaxe predikátové logiky
36 [070507-1501 ] 4.2 Syntaxe predikátové logiky V tomto oddíle zavedeme syntaxi predikátové logiky, tj. uvedeme pravidla, podle nichž se tvoří syntakticky správné formule predikátové logiky. Význam a
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ícePřednáška 2: Formalizace v jazyce logiky.
Přednáška 2: Formalizace v jazyce logiky. Marie Duží marie.duzi@vsb.cz Úvod do teoretické informatiky (logika) Dva základní logické systémy: Výroková logika a predikátová logika. řádu. Výroková logika
VíceVýroková a predikátová logika - V
Výroková a predikátová logika - V Petr Gregor KTIML MFF UK ZS 2015/2016 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - V ZS 2015/2016 1 / 21 Dokazovací systémy VL Hilbertovský kalkul Hilbertovský
VíceÚvod do logiky a logického programování.
Úvod do logiky a logického programování Luboš Popelínský popel@fi.muni.cz www.fi.muni.cz/~popel Přehled učiva Opakování základů výrokové a predikátové logiky Normální formy ve výrokové a predikátové logice
VíceVýroková a predikátová logika - VII
Výroková a predikátová logika - VII Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VII ZS 2018/2019 1 / 15 Platnost (pravdivost) Platnost ve struktuře
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í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íceSublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda 1 / 12 a
Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda abstrakce FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik
Vícevztahy, konverzační implikatury, presupozice
: sémantika, formální sémantika, významové vztahy, konverzační implikatury, presupozice FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová
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íceEpistemická logika: Ivo Pezlar. úvod se zaměřením na studenty humanitních oborů. Masarykova univerzita Brno 2015
Ivo Pezlar Tato kniha je určena každému, kdo se chce seznámit s epistemickou logikou (tj. logikou zabývající se formální analýzou pojmů znalost a přesvědčení) a problémy, které s sebou tato rychle se rozvíjející
VíceGödelovy věty o neúplnosti
Gödelovy věty o neúplnosti Miloš Jakubíček PB016 Úvod do umělé inteligence Fakulta informatiky, Masarykova univerzita 23. listopadu 2007 1 Gödel & historie Kurt Gödel Historický kontext 2 Jazyk a metajazyk
VíceLogika I. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12
Logika I. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı České vysoké učení technické v Praze c Kateřina Trlifajová, 2010 BI-MLO, ZS 2011/12 Evropský sociální
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íceÚvod do logiky (PL): logický čtverec
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (PL): logický čtverec doc. PhDr. Jiří Raclavský,
VíceEvropský sociální fond Praha & EU: Investujeme do vaší budoucnosti
Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti MI-SOC: 11 METODY VERIFIKACE SYSTÉMŮ NA ČIPU Hana Kubátov vá doc. Ing. Hana Kubátová, CSc. Katedra číslicového návrhu Fakulta 1 informačních
VíceÚvod do logiky: PL analýza vět mimo logický čtverec (cvičení)
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky: PL analýza vět mimo logický čtverec (cvičení) doc.
VíceLogika a logické programování
Logika a logické programování témata ke zkoušce Poslední aktualizace: 16. prosince 2009 Zkouška je písemná, skládá se obvykle ze sedmi otázek (může být více nebo méně, podle náročnosti otázek), z toho
Více2.2 Sémantika predikátové logiky
14 [101105-1155] 2.2 Sémantika predikátové logiky Nyní se budeme zabývat sémantikou formulí, tj. jejich významem a pravdivostí. 2.2.1 Interpretace jazyka predikátové logiky. Interpretace predikátové logiky
Ví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íceÚvod do teoretické informatiky(2017/2018) cvičení 6 1
Úvod do teoretické informatiky(2017/2018) cvičení 6 1 Cvičení 6 Příklad 1: Pro každou z následujících sekvencí symbolů rozhodněte, zda se jedná o a) term, b) formuli predikátové logiky(používejte běžné
Více1 Pravdivost formulí v interpretaci a daném ohodnocení
1 Pravdivost formulí v interpretaci a daném ohodnocení Než uvedeme konkrétní příklady, zopakujme si definici interpretace, ohodnocení a pravdivosti. Necht L je nějaký jazyk. Interpretaci U, jazyka L tvoří
VíceKlauzulární logika. Znalostní báze. Šárka Vavrečková
Klauzulární logika Znalostní báze Šárka Vavrečková Ústav informatiky, Filozoficko-přírodovědecká fakulta Slezské univerzity v Opavě sarka.vavreckova@fpf.slu.cz 26. listopadu 2007 (Znalostní báze) Klauzulární
VícePredik atov a logika - pˇredn aˇska () Predik atov a logika - pˇredn aˇska / 16
Predikátová logika - přednáška 3 6. 1. 2015 () Predikátová logika - přednáška 3 6. 1. 2015 1 / 16 Věta (o dedukci) Bud L jazyk, T teorie pro L, ϕ L-sentence a ψ L-formule. Pak Věta (o kompaktnosti) T ϕ
VíceAplikace: Znalostní báze
Aplikace: Znalostní báze 1 Znalostní báze je systém, který dostává fakta o prostředí a dotazy o něm. Znalostní báze je agentem ve větším systému, který obsahuje prostředí (také agent), správce (agent),
VíceVýroková a predikátová logika - III
Výroková a predikátová logika - III Petr Gregor KTIML MFF UK ZS 2014/2015 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - III ZS 2014/2015 1 / 21 Výroková logika Horn-SAT Horn-SAT Jednotková
Vícepostaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy
Formální systémy (výrokové) logiky postaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy cíl: získat formální teorii jako souhrn dokazatelných
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íce