PHV141 Logika pro každého

Filozofická fakulta
podzim 2024

Předmět se v období podzim 2024 nevypisuje.

Rozsah
0/2. kombinovaná forma: 16 hodin/semestr. 4 kr. Ukončení: k.
Vyučující
prof. PhDr. BcA. Jiří Raclavský, Ph.D. (cvičící)
Garance
prof. PhDr. BcA. Jiří Raclavský, Ph.D.
Katedra filozofie – Filozofická fakulta
Dodavatelské pracoviště: Katedra filozofie – Filozofická fakulta
Předpoklady
Žádné zvláštní předpoklady. Předmět není určen studentům Katedry filozofie (těm je určen jiný 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
Po absolvování předmětu bude student schopen: porozumět základním pojmům výrokové a predikátové logiky - pojem tautologie, pojem vyplývání, pojem formálního jazyka, pojem axiomatické teorie, pojem formálního důkazu; a aplikovat nejzákladnější logické 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é výrokové a predikátové logice jako takové je čtenář postupně seznamován jednak s metodami prošetřování sémantických vlastností formulí či formalizovaných úsudků. Student absolvuje rovněž ř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
  • - povaha logiky jako analytické vědy
  • - neformální charakteristika vyplývání jakožto ústředního pojmu logiky
  • - pravdivostní funkce
  • - tautologie
  • - negace, ekvivalence
  • - výrokově logické vyplývání
  • - formální jazyk
  • - pojem formálního důkazu
  • - přirozená dedukce
  • - predikát, kvantifikace
  • - logický čtverec
  • - sylogistika
  • - axiomatické teorie
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
  • 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
Přednáška s cvičením.
Metody hodnocení
Po prvním semestru písemný zápočtový test (po druhém pak zkouška - první část písemná, druhá ústní). Zápočtový test má deset otázek; v jedné třetině je prověřována obeznámenost s teoretickými pojmy, ve dvou třetinách praktické dovednosti jako zvládání negací vět a zejména kontrola platnosti úsudků.
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 dostupné v příslušném e-learningovém kurzu v ELFu.
Další komentáře
Předmět již není vypisován.
Výuka probíhá každý druhý týden.
  • Permalink: https://is.muni.cz/predmet/phil/podzim2024/PHV141