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í
Bc. Martin Nosek (přednášejí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
Rozvrh
každý sudý čtvrtek 12:00–13:40 B2.23
Předpoklady
Předpokládají se znalosti z úvodové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
Anotace
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ě řešení 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í

Dovednosti ve středně pokročilých základech formální logiky, s obvyklým přesahem do matematiky (teorie množin a relací, elementy algebry). Viz okruhy klíčových témat.


Klíčová témata
  • Třetina kurzu se týká několika pokročilejších úkolů z výrokové logiky VL, zejm. 
  • ekvivalence v Booleově algebře k VL
  • převod formulí do disjunktivních formálních forem VL
  • dokazování v přirozené dedukci pro VL.
  • Dvě třetiny kurzu se týkají podstatných základů predikátové logiky PL, zejm. 
  • syntax a množinově-teoretická sémantika jazyka PL, 
  • klíčové pojmy teorie množin a jejich obraz v PL
  • pokročilejší formalizace přirozeného jazyka prostředky PL
  • přirozená dedukce pro PL
  • sémantická tabla (stromy) pro PL
  • reprezentace komplexnějších dat relačního typu
  • axiomatizované teorie a jejich vlastnosti.
Studijní zdroje a 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
  • GORANKO, Valentin. Logic as a tool : a guide to formal logical reasoning. First published. Chichester: Wiley, 2016, xxii, 358. ISBN 9781118880005. info
Přístupy, postupy a metody používané ve výuce
Cvičení-seminář, v nichž jsou logické techniky procvičovány a je vedena diskuze.
Způsob ověření výstupů z učení a požadavky na ukončení
  • Z důvodů rozvrhové kolize s povinnými předměty a realizace dálkového studia není povinná docházka ani aktivity.
  • Zápočet  bude udělen tomu, kdo odevzdá minimálně 80 % ofocených (stačí přes mobil) vypracovaných pracovních listů.
  • Tyto odevzdávané pracovní listy jsou vypracovány vámi ručně (typicky na  hodinách).
    • Navazující předměty
    Studijní opora
    https://is.muni.cz/auth/el/phil/jaro2026/PHV242/index.qwarp
    Další komentáře
    Studijní materiály
    Předmět je vyučován každoročně.
    Předmět je zařazen také v obdobích jaro 2020, jaro 2021, jaro 2022, jaro 2023, jaro 2027.
    • Statistika zápisu (nejnovější)
    • Permalink: https://is.muni.cz/predmet/phil/jaro2026/PHV242