PH1201 Logika II

Filozofická fakulta
jaro 2004
Rozsah
2/1/0. 4 kr. Ukončení: zk.
Vyučující
prof. PhDr. Pavel Materna, CSc. (přednášející)
prof. PhDr. BcA. Jiří Raclavský, Ph.D. (cvičící)
Garance
prof. PhDr. Jan Zouhar, CSc.
Katedra filozofie – Filozofická fakulta
Kontaktní osoba: Hana Holmanová
Rozvrh
každý lichý pátek 8:20–9:55 7, každý lichý pátek 10:00–11:35 7 a každý sudý pátek 8:20–9:55 7, každý sudý pátek 10:00–11:35 7
Předpoklady
zápočet Logika I
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
Cíle předmětu
Predikátová logika 1.řádu: Sémantika a syntax, rozšíření o identitu, deskriptivní operátor a funkce. Informativně: Logiky vyšších řádů. Pojem algoritmu. 'Neklasické logiky'. Intenzionální logiky, modální systémy. Pojem pojmu, definice.
Osnova
  • Predikátová logika 1. řádu Neformální úvod Syntaxe, sémantika Důkaz, přirozená dedukce Rozšíření o identitu, deskriptivní operátor, funkce
  • Další výhledy: vyšší řády, modální a intenzionální logiky
  • Formalizované teorie, aritmetika přirozených čísel, věty o neúplnosti
  • Algoritmus
  • Pojem, definice
Literatura
  • Jakákoli učebnice logiky po konzultaci s prof. Maternou
  • ŠTĚPÁN, Jan. Logika a logické systémy. Vyd. 1. Olomouc: Votobia, 1992, 165 s. ISBN 80-85619-29-6. info
Metody hodnocení
Přednáška, cvičení, zápočet, zkouška
Informace učitele
phil.muni.cz
Viz Logika I
Další komentáře
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2000, jaro 2001, jaro 2002, jaro 2003, jaro 2005, jaro 2006, jaro 2007, jaro 2008, jaro 2009, jaro 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015, jaro 2016, jaro 2017, jaro 2018, jaro 2019, jaro 2020.