Logic and Methodology of Science - KFIL003

• Title: Logika a metodologie vědy
• Guaranteed by: Department of Philosophy and Law (26-KFP)
• Faculty: Catholic Theological Faculty
• Actual: from 2022
• Semester: winter
• E-Credits: 3
• Examination process: winter s.:
• Hours per week, examination: winter s.:2/0, Ex [HT]
• Capacity: unknown / unknown (unknown)
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: not taught
• Language: Czech
• Teaching methods: full-time
• Note: course can be enrolled in outside the study plan; enabled for web enrollment; priority enrollment if the course is part of the study plan
• Guarantor: Mgr. Ing. Prokop Sousedík, Ph.D.
• Is co-requisite for: KFIL133, KFIL006
• Is pre-requisite for: KFIL118

Annotation

English

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).

Last update: Sousedík Prokop, Mgr. Ing., Ph.D. (26.12.2018)

Czech

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).

Last update: Sousedík Prokop, Mgr. Ing., Ph.D. (26.12.2018)

Aim of the course

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

Last update: Sousedík Prokop, Mgr. Ing., Ph.D. (26.12.2018)

Literature

Povinná literatura

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

Doporučená literatura

JAURIS, M. Logika, Praha. , 1970.

Last update: Sousedík Prokop, Mgr. Ing., Ph.D. (02.12.2019)

Teaching methods

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

Last update: Sousedík Prokop, Mgr. Ing., Ph.D. (26.12.2018)

Requirements to the exam

English

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

Last update: Sousedík Prokop, Mgr. Ing., Ph.D. (02.12.2019)

Czech

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

Last update: Sousedík Prokop, Mgr. Ing., Ph.D. (02.12.2019)

Syllabus

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.

 

Last update: Sousedík Prokop, Mgr. Ing., Ph.D. (26.12.2018)