Logika a metodologie vědy - KFIL003

• Anglický název: Logic and Methodology of Science
• Zajišťuje: Katedra systematické teologie a filosofie (do 2023) (26-KST)
• Fakulta: Katolická teologická fakulta
• Platnost: od 2020 do 2021
• Semestr: zimní
• E-Kredity: 3
• Způsob provedení zkoušky: zimní s.:
• Rozsah, examinace: zimní s.:2/0, Zk [HT]
• Počet míst: neurčen / neurčen (neurčen)
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: nevyučován
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Poznámka: předmět je možno zapsat mimo plán; povolen pro zápis po webu; při zápisu přednost, je-li ve stud. plánu
• Garant: Mgr. Ing. Prokop Sousedík, Ph.D.
• Je korekvizitou pro: KFIL133, KFIL006
• Je prerekvizitou pro: KFIL118

Anotace

čeština

Kurs přibližuje tato témata: (1) Základní logické pojmy: logická forma, proměnná, syntax, sémiotika, vztah vyplývání. (2) Dějiny logiky: Aristotelova sylogistika, počátky výrokové logiky u stoiků, scholastická logika, znovuzrození formální logiky u G. W. Leibnize, založení současné logiky G. Fregem. (3)Současná logika: výroková logika, jazyk výrokové logiky, přirozená dedukce (výroková, predikátová logika), neklasické logiky (trojhodnotová logika, modální logika).

Poslední úprava: Sousedík Prokop, Mgr. Ing., Ph.D. (26.12.2018)

angličtina

The course approaches the following topics: (1) Basic concepts of logic: logical form, variable, syntax, semiotics, th relationship of inference. (2) History of logic: Aristotle sylogistic, the beginnings of propositional logic in Stoa, scholastic logic, rebirth of formal logic in Leibniz`s work, establishing a current logic by G. Frege. (3)Current logic: propositional logic, the language of propositional logic, natural deduction (propositional and predicate logic), nonclassical logic (three-valued logic, modal logic).

Poslední úprava: Sousedík Prokop, Mgr. Ing., Ph.D. (26.12.2018)

Cíl předmětu

Seznámit studenty se základními techikami ověřování správnosti argumentů a s dějinami této disciplíny.

Poslední úprava: Sousedík Prokop, Mgr. Ing., Ph.D. (26.12.2018)

Literatura

Povinná literatura

SOUSEDÍK P. Logika pro studenty humanitních oborů, Praha. , 2001.

Doporučená literatura

JAURIS, M. Logika, Praha. , 1970.

Poslední úprava: Sousedík Prokop, Mgr. Ing., Ph.D. (02.12.2019)

Metody výuky

přednáška, cvičení příkladů

Poslední úprava: Sousedík Prokop, Mgr. Ing., Ph.D. (26.12.2018)

Požadavky ke zkoušce

čeština

orientace v probrané látce, schopnost řešit příklady

Poslední úprava: Sousedík Prokop, Mgr. Ing., Ph.D. (02.12.2019)

angličtina

Orientation in the subject matter, ability to solve logical problems.

Poslední úprava: Sousedík Prokop, Mgr. Ing., Ph.D. (02.12.2019)

Sylabus

1. Základní pojmy

2. Dějinný přehled a problém vzniku logiky.

3. Aristotelská logika, spisy Organonu, deduktivní pojetí vědy.

4. Nauka o pojmu a nauka o výroku.

5. Aristotelská sylogistika: převody nedokonalých modů na mody dokonalé.

6. Řešení aristotelských sylogismů pomocí Vennových diagramů.

7. Megarsko - stoická škola: obecná charakteristika.

8. Megarsko - stoická metoda přirozené dedukce.

9. Tabulková metoda.

10. Scholastická logika.

11. Novověká logika: F. Bacon - induktivní pojetí vědy; G. W. Leibniz - characteristica universalis.

12. G. Frege: vznik moderní logiky, přepisy pomocí predikátové logiky.

13. Neklasické logiky.

 

Poslední úprava: Sousedík Prokop, Mgr. Ing., Ph.D. (26.12.2018)