PHV241 Logika I: seminář

Filozofická fakulta
podzim 2022
Rozsah
0/2. kombinovaná forma: 16 hodin/semestr. 2 kr. Ukončení: z.
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
každý lichý čtvrtek 12:00–13:40 A11
Předpoklady
PHBL1 (nejlépe simultánně zapsaný) nebo podobný kurz
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á 23 mateřských oborů, zobrazit
Cíle předmětu
Předmět rozvíjí zejména prakticky orientované poznatky z kurzu PHBL1. Dále jsou čteny i základní texty klasické analytické filozofie (např. Russell, Frege, Carnap). Poměr obou složek vychází z domluvy a může se upravovat i v průběhu semestru.
Výstupy z učení
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
  • Cvičení se týká následujících okruhů:
  • - povaha logiky jako analytické vědy
  • - neformální charakteristika vyplývání jakožto ústředního pojmu logiky
  • - pravdivostní funkce
  • - tautologie
  • - výrokově logické vyplývání
  • - formální jazyk
  • - dobře utvořené formule
  • - axiomatizace v Hilbertově stylu
  • - pojem formálního důkazu
  • - vztah syntaxe a sémantiky
  • - teorém dedukce
  • - normální formy
  • - gentzenovský sekvenční kalkul Seznam textů není ustálen (Frege, Russell, Carnap, Wittgenstein, ...)
Literatura
    doporučená literatura
  • RACLAVSKÝ, Jiří. Úvod do logiky: klasická výroková logika. 1. vyd. Brno: Masarykova univerzita, 2015, 238 s. ISBN 978-80-210-7790-4. URL info
Výukové metody
Cvičení-seminář, v nichž jsou logické techniky procvičovány a je realizováno čtení a diskuse.
Metody hodnocení
* 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 sníženo na 2x s ohledem na celkové množství studentů).
Informace učitele
http://www.phil.muni.cz/~raclavsky/logika/
Teoretické podklady (přednášky) + soubory k procvičování + informace k zápočtu jsou také dostupné v příslušném hlavním e-learningovém kurzu v ELFu (PHBL1 Logika I).
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 podzim 2019, podzim 2020, podzim 2021, podzim 2023.