Požadavky k zápočtu: účast na přednáškách, seminární práce z dějin logiky
Literatura:
K.Berka:Stručné dějiny logiky, skripta FF UK Praha 1994.
W.Kneale, M.Kneale: The Development of Logic, Clarendon Press, Oxford Uni Press, 1962
H.Greniewski: Elementy logiki formalnej, Warszawa 1955, 468 stran
T.Kotarbinski: Wyklady z dziejów logiki, Lódz, 1957, 376 stran
B.Mates: Elementary Logic, Oxford Uni Press, 1965, str.195-220
P.C.Popov, N.I.Sťažkin: Razvitie logičeskich idej ot antičnosti do epochi vozrožděnija
, Izd.Moskovskovo universiteta, 1974, 220 stranJ.Loužil:
Bernard Bolzano, Melantrich Praha, 1978, 405 stranB.I.Fedorov: Logika Bernarda Bolzano, izd.Leningradskovo universiteta,1980, 157 stran
J.Peregrin: Úvod do analytické filozofie, Herrmann a synové, Praha 1992
J. Peregrin: Úvod do teoretické sémantiky, Karolinum, Praha 1998
Prameny:
Platón: Sofistes, Praha 1933
Parmenides, Praha 1936
Alkibiades, Praha 1938
Aristoteles: Kategorie, ČSAV, Praha 1958, 75 stran
O vyjadřování, ČSAV, Praha 1959, 63 stran
První analytiky, ČSAV, Praha 1961, 220 stran
Druhé analytiky, ČSAV, Praha 1962, 190 stran
Topiky, ČSAV, Praha 1975, 295 stran
O sofistických důkazech, ČSAV, Praha 1978, 133 stran
Galénos: Úvod do logiky, ČSAV, Praha 1958, 79 stran
R.Descartes: Úvahy o první filosofii, Svoboda, Praha 1970, 145 stran
P.Horák: Svět Blaise Pascala, Vyšehrad, Praha 1985,str.233-263
C.I.Lewis: A Survey of Symbolic Logic, Dover Publications, Inc., New York, 1960, 327 stran