Předměty
Logika (PH1101, PH1201)
Logika (PHK1101, PHK1201)
Logika (VIKBB02)

Vyučující
Mgr. Jiří Raclavský, Ph.D.
Mgr. Jiří Raclavský, Ph.D.
Mgr. Jiří Raclavský, Ph.D.

On-line studijní texty
Výroková logika
Predikátová logika

On-line studijní texty v PDF
Výroková logika (PDF)
Predikátová logika (PDF)
Oba texty (PDF.ZIP)

Tisk textů
Vzhledem k možným potížím při zobrazení či tisku logických znaků v HTML (resp. PHP) textech (znaková sada je ISO-8859-2, logické symboly jsou obrázky gif) jsou doporučeny verze textů ve formátu PDF.

Zobrazení textů PDF
Pokud nejde PDF soubor otevřít, patrně je třeba na počítač (s OS Windows, Mac OS) nainstalovat Acrobat Reader (freeware). Alternativně lze použít Ghostscript a současně GSview (obojí freeware/shareware).

Kopírování z textů
Kopírování textů z HTML (resp. PHP) či PDF do textového editoru jako např. MS Word zatrhnutím "do bloku" lze podle případu s újmou na logických znacích.

Copyright
Pokud není uvedeno jinak, autorem všech zde uveřejněných textů (i zdrojových kódů a programů) je Mgr. Jiří Raclavský, Ph.D.

Základní studijní literatura
GAHÉR, František (1994): Logika pre každého. Bratislava: Iris.
GAHÉR, František (2001): Logika pre každého. Bratislava: Iris. (rozšířené vydání)
ŠTĚPÁN, Jan (1992): Logika a logické systémy. Olomouc: Votobia.
ŠTĚPÁN, Jan (1995): Formální logika. Olomouc: FIN.
ŠTĚPÁN, Jan (2001): Klasická logika. Olomouc: Univerzita Palackého v Olomouci.

Další studijní literatura
BERKA, Karel (1994): Stručné dějiny logiky. Praha: Karolinum.
ČECHÁK, Vladimír & BERKA, Karel & ZAPLETAL, Ivo (1981): Co víte o moderní logice. Praha: Horizont.
BOKR, Josef & SVATEK, Jan (2000): Základy logiky a argumentace pro zájemce o umělou inteligenci, filozofii, práva a učitelství. Plzeň: Vydavatelství a nakladatelství Aleš Čeněk.
JANÁK, Vladimír (1974, 1976): Základy formální logiky. Praha: Státní pedagogické nakladatelství.
MATERNA, Pavel & PALA, Karel & ZLATUŠKA, Jiří (1989): Logická analýza přirozeného jazyka. Praha: Academia.
SOUSEDÍK, Prokop (1991): Logika pro studenty humanitních oborů. Praha: Vyšehrad.
SVATEK, Jan & DOSTÁLOVÁ, Ludmila (2003): Logika pro humanistiku. Dobrá voda: Aleš Čeněk.
TARSKI, Alfred (1966): Úvod do logiky a metodologie přírodních věd. Praha: Academia.
TICHÝ, Pavel (1968): Logická stavba vědeckého jazyka. Praha: FF UK.
ZAPLETAL, Ivo (1972): Antologie příkladů z logiky. Praha (skripta).

Další doporučené texty
FREGE, Gottlob (1999): 17 podstatných vět k logice.
RACLAVSKÝ, Jiří (2001): Co je a k čemu je logika, ProFil 2, 1,
http://profil.muni.cz/01_2001/raclavsky_logika.html