PHV242 Logika II: seminář

Filozofická fakulta
jaro 2026
Rozsah
0/2. 1x za 14 dní. 3 kr. Ukončení: z.
Vyučováno kontaktně
Vyučující
prof. PhDr. BcA. Jiří Raclavský, Ph.D. (přednášející)
Garance
prof. PhDr. BcA. Jiří Raclavský, Ph.D.
Katedra filozofie – Filozofická fakulta
Dodavatelské pracoviště: Katedra filozofie – Filozofická fakulta
Předpoklady
Předpokládají se znalosti z úvodního kurzu formální logiky, např. PHBL2.
Omezení zápisu do předmětu
Předmět je určen pouze studentům mateřských oborů.
Mateřské obory/plány
předmět má 27 mateřských oborů, zobrazit
Cíle předmětu
Předmět rozvíjí zejména prakticky orientované poznatky z kurzu PHV445 Formální logika, reprezentace a vyvozování znalostí, k němuž je tento kurz doplňkem. Kromě počítání praktických příkladů může dojít na analýzu vybraných textů, v nichž se uplatňuje formální logika.
Výstupy z učení
[bude upraveno únor/březen 2026] a) Metody prošetřování sémantických vlastností formulí a metody formálního dokazování, aplikace tohoto na oblast přirozeného jazyka. b) Čtení a kritická analýza vybraných textů od analytických filosofů, jež byli/jsou zároveň logiky.
Osnova
  • [bude upraveno únor/březen 2026] Cvičení se týká následujících okruhů predikátová logiky 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 Seznam textů není ustálen (Frege, Russell, Carnap, Wittgenstein, ...)
Literatura
    doporučená literatura
  • RACLAVSKÝ, Jiří. Úvod do logiky: klasická predikátová logika. 1. vyd. Brno: Masarykova univerzita, 2015, 348 s. ISBN 978-80-210-7867-3. info
    neurčeno
  • RUSSELL, Stuart J. a Peter NORVIG. Artificial intelligence : a modern approach. Fourth edition. Hoboken: Pearson, 2021, xvii, 1115. ISBN 9780134610993. info
  • LEARY, Christopher C. A friendly introduction to mathematical logic. New Jersey: Prentice-Hall, 2000, xiv, 218. ISBN 0130107050. info
Výukové metody
Cvičení-seminář, v nichž jsou logické techniky procvičovány a je realizováno čtení a diskuse.
Metody hodnocení
[bude upraveno únor/březen 2026] * Zápočet je udělen za odpovídající docházku a aktivity. * Docházka: 50% % (proto není předmět vhodný pro kombinované studenty). * Aktivita - plnění úkolů na hodině: nejméně 3x aktivní vystoupení (může být upraveno s ohledem na celkové množství studentů).
Navazující předměty
Informace učitele
http://www.phil.muni.cz/~raclavsky/logika/
Další komentáře
Studijní materiály
Předmět je vyučován každoročně.
Výuka probíhá každý druhý týden.
Předmět je zařazen také v obdobích jaro 2020, jaro 2021, jaro 2022, jaro 2023.