PHV242 Logika II: seminář

Filozofická fakulta
jaro 2022
Rozsah
0/2. kombinovaná forma: 16 hodin/semestr. 2 kr. Ukončení: z.
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
každý lichý čtvrtek 12:00–13:40 A11
Předpoklady
PHBL2 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
Cíle předmětu
Předmět rozvíjí zejména prakticky orientované poznatky z kurzu PHBL2. 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ů 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
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 s ohledem na celkové množství studentů).
Navazující předměty
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 II).
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 2023.