|
|
|
||
Last update: Ing. René Levínský, Ph.D. (02.10.2023)
|
|
||
Last update: Mgr. Adéla Jarolímková, Ph.D. (22.09.2022)
Předmět je zakončen písemným testem. |
|
||
Last update: Ing. René Levínský, Ph.D. (02.10.2023)
Jiří Raclavský, Úvod do logiky: klasická výroková logika https://munispace.muni.cz/library/catalog/book/762 Jiří Raclavský, Úvod do logiky: klasická predikátová logika https://munispace.muni.cz/library/catalog/book/764 |
|
||
Last update: Mgr. Adéla Jarolímková, Ph.D. (22.09.2022)
Cíl předmětu: Cílem přednášky je seznámit posluchače s historií logiky, s jejím významem pro vědeckou práci a výuku. Pozornost je věnována výrokové logice a stručně základům predikátové logiky. Dále jsou probírány: chyby v argumentaci, definice, otázka a odpověď, logika v matematice a ve vědě, typy úsudků, neklasické logiky. Cílem semináře je naučit studenty užívat logiku v praxi, tj. v jazyce základní formální logiky, tj. výroková a predikátová logika. Osnova: 1. Výrokový počet Výrokové proměnné, spojky - konjunkce, disjunkce, negace, implikace, ekvivalence, sémantika - pravdivostní ohodnocení, logické vyplývání, pravidla, syntax - axiomy, odvozovací pravidla, důkaz. Věta o úplnosti výrokového počtu 2. Predikátový počet, otázka pojmů Aristotelovský subjekt - predikátové soudy, sylogismy, teorie tříd, monadický predikátový počet, kvatifikátory, řešení sylogismů - Eulerovy diagramy, Vennovy diagramy, formálně logické důkazy, obecný predikátový počet, sémantika - modely, seyntax - axiomy, odvozovací pravidla, důkazy, práce s kvantifikátory, nejznámější relace (ekvivalence, uspořádání, náležení), paradoxy 3. Neformální logika Chyby v argumentaci, definice, otázka a odpověď, logika v matematice a ve vědě, typy úsudků, neklasické logiky |