Charles Explorer logo
🇬🇧

Logic

Class at Faculty of Arts |
AIS100010

This text is not available in the current language. Showing version "cs".Syllabus

* 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

This text is not available in the current language. Showing version "cs".Annotation

Cílem předmětu je seznámit posluchače s historií logiky, s jejím významem pro vědeckou práci a výuku. Naučit užívat logiku v praxi, tj. v jazyce základní formální logiky, tj. výroková a preditová logika.