Formální a filosofická logika 2: Porovnání verzí

Z WiKi TF
Přejít na: navigace, hledání
Řádka 38: Řádka 38:
 
'''Přehled'''
 
'''Přehled'''
  
20.2.  
+
22.2.  
  
27.2.
 
  
06.3.
 
  
13.3.
 
  
20.3.
 
  
27.3.
+
17.5.  
 
 
03.4.
 
 
 
10.4.
 
 
 
17.4.
 
 
 
01.5. ''setkání není''
 
 
 
08.5. ''setkání není'' 
 
 
 
15.5.  
 
 
   
 
   
  

Verze z 25. 1. 2018, 14:39

Témata

1. Moderní logika

1.1. Výroková logika (přehled)

1.2. Predikátová logika (přehled)

1.3. Základní pojmy logické sémantiky a syntaxe (jazyk, individuová jména, predikáty, atomární výroky, molekulární výroky, spojky, proměnné, splňování, individuové deskripce, lambda abstrakce, atd.)

1.4. Tradiční vs. moderní logika (kategorický soud a funkce, úsudky ze složených soudů, atd.)

2. Varia z moderní filosofické logiky

Požadavky

Známka bude udělena dle počtu bodů, jež lze získat (a) účastí na semináři (13), (b) domácími úkoly (17), (c) opakovacími testy (asi 40) a dále různými úkoly "bonusovými" (nepovinnými, jež mohou nahradit chybějící úkoly povinné).

Literatura

Základní:

  • Berka, Karel, Jauris, Miroslav. Logika. SNP, Praha 1978.
  • Sousedík, Prokop. Logika pro studenty humanitních oborů, Vyšehrad, Praha 2001.

Rozšiřující:

  • Cmorej, Pavol. Úvod do logické syntaxe a sémantiky, Triton, Praha 2002.
  • Kolář, Petr. Argumenty filosofické logiky, Filosofia, Praha 1999.

Další zdroje

http://krypton.mnsu.edu/~jp5985fj/courses/609/Logic/Silly%20Syllogisms.htm


Přehled

22.2.



17.5.


Domácí úkoly


Studenti