Foundations of Logic - AIS10125

• Title: Základy logiky
• Guaranteed by: Institute of Information Studies and Librarianship (21-UISK)
• Faculty: Faculty of Arts
• Actual: from 2020
• Semester: winter
• Points: 0
• E-Credits: 6
• Examination process: winter s.:
• Hours per week, examination: winter s.:2/1, 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
• Teaching methods: full-time
• Is provided by: AIS100113
• Note: course can be enrolled in outside the study plan; enabled for web enrollment; can be fulfilled in the future
• Guarantor: doc. RNDr. Jiří Souček, DrSc.

Annotation

English

Last update: Ing. Martin Souček, Ph.D. (11.03.2012)

The aim of the lecture is to provide students with information on history of logic and its importance for scientific work and studies. The students will learn how to use logic in the practice, i.e. in the language of basic formal logic - propositional calculus and predicate logic.

Czech

Last update: PhDr. Blanka Vorlíčková, Ph.D. (14.05.2010)

Cílem předmětu je seznámit posluchače s historií logiky, s jejím významem pro vědeckou práci a výuku. Naučit užívat logiku
v praxi, tj. v jazyce základní formální logiky, tj. výroková a preditová logika.

Literature

Last update: PhDr. Blanka Vorlíčková, Ph.D. (14.05.2010)

ZÁKLADNÍ LITERATURA:

1. BERKA, K., JAURIS, M. Logika. Praha : SPN, 1978.

2. JAURIS, M.: Logika. Praha : SPN, 1970.

3. WEINBERGER, O., ZICH, O. Logika (pro právníky). Praha : SPN, 1965.

4. BERKA, K., RYBOVÁ, J. Logika a metodologie pro žurnalisty. Praha : Novinář, 1988.

5. JAURIS, M., ZASTÁVKA, Z. Základy neformální logiky. Praha : S a M, 1992.

6. JIRKŮ, P. Logika. Praha : VŠE, 1993.

7. TARSKI, A. Úvod do logiky. Praha : Academia, 1969.

Syllabus

Last update: PhDr. Blanka Vorlíčková, Ph.D. (14.05.2010)

Výrokový počet

Výrokové proměnné, spojky - konjunkce, disjunkce, negace, implikace, ekvivalence, sémantika - pravdivostní ohodnocení, logické vyplývání, pravidla, syntax - axiomy, odvozovací pravidla, důkaz. Věta o úplnosti výrokového počtu 2. Predikátový počet, otázka pojmů

Aristotelovský subjekt - predikátové soudy, sylogismy, teorie tříd, monadický predikátový počet, kvatifikátory, řešení sylogismů - Eulerovy diagramy, Vennovy diagramy, formálně logické důkazy, obecný predikátový počet, sémantika - modely, seyntax - axiomy, odvozovací pravidla, důkazy, práce s kvantifikátory, nejznámější relace (ekvivalence, uspořádání, náležení), paradoxy 3. Neformální logika

Chyby v argumentaci, definice, otázka a odpověď, logika v matematice a ve vědě, typy úsudků, neklasické logiky