PHBL2 Logika II

Filozofická fakulta
jaro 2023
Rozsah
1/1/0. kombinovaná forma: 16 hodin/semestr. 5 kr. Ukončení: zk.
Vyučováno prezenčně.
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
Rozvrh
Čt 10:00–11:40 A11
Předpoklady
zápočet z předmětu Logika I
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
Cíle předmětu
Po absolvování předmětu bude student schopen: porozumět základním pojmům predikátové logiky prvního řádu (pojem tautologie, pojem logického vyplývání, pojem formálního jazyka, axiomatizace predikátové logiky, pojem formálního důkazu) a také všších řádů či neklasických logik; bude ovládat techniky ověření toho, zda formule je tautologií (metoda interpretace a z ní vycházející metoda protipříkladu), ověření, zda úsudek je logicky korektní (metoda protipříkladu na základě interpretace) bude ovládat techniky ekvivalentních transformací, základních dokazovacích technik přirozené dedukce, sémantických tabel pro případ predikátové logiky aplikovat tyto techniky v každodenním uvažování (ekvivalence a negace vět, korektnost úsudků);
Výstupy z učení
Kromě důležitých poznatků o klasické predikátové logice jako takové je student postupně seznamován jednak s metodami prošetřování sémantických vlastností formulí a metodami formálního dokazování, jednak s aplikacemi tohoto na oblast přirozeného jazyka. Student absolvuje řadu praktických cvičení, v nichž se kromě formálních postupů naučí zejména pohotově budovat ekvivalenty či negace vět a ověřovat platnost úsudků.
Osnova
  • Predikátová logika 1. řádu - neformální úvod (predikát, kvantifikace)
  • - syntaxe, sémantika
  • logicky pravdivé formule
  • negace, ekvivalence
  • - logický čtverec
  • - sylogistika
  • - důkaz, přirozená dedukce
  • - rozšíření o identitu
  • - salší výhledy: vyšší řády, modální a intenzionální logiky
  • - formalizované teorie, aritmetika přirozených čísel, věty o neúplnosti
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
Výukové metody
Přednáška objasňující teorii a teoretické i praktické řešení problémovýh úloh. Základní praktické příklady. V případě nouzových opatření se realizuje v MS Teams (každé video-setkání je nahráváno a archivováno v MS Streams, přístupno jen studentům předmětu). E-learningová podpora: v Elfu najdete kurz "Logika II.", kde jsou postupně uveřejňovány prezentace a především průběžné e-testy.
Metody hodnocení
* PODMÍNKA připuštění ke zkoušce: splnění průběžných kontrolních E-TESTů. Průběžný e-test je úspěšně splněn, pokud je zvládnut na nejméně 80 % (např. zisk 4 bodů z 5 možných). Průběžné e-testy jsou splněny, pokud je průběžně úspěšně splněno nejméně 80 % e-testů. * ZKOUŠKA je souhrnný e-test; od kvality splnění souhrnného e-testu se odvíjí známka (známka A odpovídá jeho cca 80%-nímu zvládnutí). Jednotlivé otázky souhrnného e-testu jsou obvykle reformulací/obměnou otázek z průběžných e-testů. (Kdo má ukončení předmětu "z" (zápočet), nikoli "Zk", ke zkoušce nemusí.) * BONIFIKACE: na přednáškách se vyplňuje jednoduchý KvIS (přes QR aplikaci a browser), za dostatek získaných bodů se zlepšuje známka.
Navazující předměty
Informace učitele
http://www.phil.muni.cz/~raclavsky/logika/
Doporučeno zapsat si zároveň (nepovinný) seminář "PHV242 Logika II: seminář."
Další komentáře
Studijní materiály
Předmět je vyučován každoročně.
Studentům kombinovaného studijního programu je doporučeno zapsat si současně předmět PHV244 Logika II: otázky a odpovědi.
Nachází se v prerekvizitách jiných předmětů
Předmět je zařazen také v obdobích jaro 2020, jaro 2021, jaro 2022, jaro 2024, jaro 2025.