FF:PH1102 Logika I - Informace o předmětu

PH1102 Logika I

Rozsah

2/1/0. 3 kr. Ukončení: z.

Vyučující

prof. PhDr. BcA. Jiří Raclavský, Ph.D. (přednášející)

Garance

prof. PhDr. Josef Krob, CSc.
Katedra filozofie – Filozofická fakulta
Dodavatelské pracoviště: Katedra filozofie – Filozofická fakulta

Rozvrh

Pá 14:00–15:40 K23

Předpoklady

SOUHLAS
Žádné zvláštní předpoklady

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.
Jiné omezení: Předmět je určen pouze pro studenty s imatrikulací do jaro 2019, včetně.

Mateřské obory/plány

• Filozofie (program FF, B-HS)
• Filozofie (program FF, B-PH) (3)
• Učitelství základů společenských věd pro střední školy (program FF, N-MA)
• Učitelství základů společenských věd pro střední školy (program FF, N-SS) (2)

Cíle předmětu

Po absolvování předmětu bude student schopen: porozumět základním pojmům výrokové logiky (pojem tautologie, pojem výrokově-logického vyplývání, pojem formálního jazyka, axiomatizace výrokové logiky, pojem formálního důkazu); ovládat techniky ověření toho, zda formule je tautologií (tabulková metoda a metoda protipříkladu), ověření, zda úsudek je logicky korektní (metoda protipříkladu) ovládat techniky ekvivalentních transformací, sestavení normálních forem, základních dokazovacích technik gentzenovského sekvenčního kalkulu; aplikovat tyto techniky v každodenním uvažování (ekvivalence a negace vět, korektnost úsudků);

Osnova

• - 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

Literatura

povinná literatura
• RACLAVSKÝ, Jiří. Úvod do logiky: klasická výroková logika. 1. vyd. Brno: Masarykova univerzita, 2015, 238 s. ISBN 978-80-210-7790-4. 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

neurčeno
• ŠTĚPÁN, Jan. Klasická logika. 1. vyd. Olomouc: Univerzita Palackého v Olomouci, 2001, 198 s. ISBN 8024402548. info
• ŠTĚPÁN, Jan. Logika a logické systémy. Vyd. 1. Olomouc: Votobia, 1992, 165 s. ISBN 80-85619-29-6. 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ů.

Navazující předměty

• PH1201 Logika II

Informace učitele

http://www.phil.muni.cz/elf/course/view.php?id=989
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 (http://www.phil.muni.cz/elf/course/view.php?id=989).

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

Informace k inovaci předmětu

Předmět byl inovován v rámci projektu „Filozofická fakulta jako pracoviště excelentního vzdělávání: Komplexní inovace studijních oborů a programů na FF MU s ohledem na požadavky znalostní ekonomiky (FIFA) – reg.č. CZ.1.07/2.2.00/28.0228, který je spolufinancován Evropským sociálním fondem a státním rozpočtem České republiky.

• Statistika zápisu (nejnovější)
  
• Permalink: https://is.muni.cz/predmet/phil/podzim2019/PH1102