Sylaby kurzu LOGIKA - Filozofická fakulta UK

Sylaby kurzu LOGIKA
1. Predmet logiky
1.1. Kompetencie logiky - vzťah vyplývania a správne konštruovanie pojmov, súdov a
úsudkov.
1.2. Paradoxy a logika.
1.3. O čom logika nie je? (Mimologické problémy, domnelé logické dôkazy a predsudky)
1.4. Viac právd o tom istom? (Logicky zlučiteľné tvrdenia a logické kontradikcie)
2. Aristotelovská subjekt-predikátová logika a kategorický sylogizmus.
2.1. Subjekt predikátová štruktúra výrokov, kvalita a kvantita výrokov; logický štvorec -
kontrárnosť, kontradikcia, subkontrárnosť, subsumpcia (subalternácia).
2.2. Figúry a platné mody kategorického sylogizmu - Vennove diagramy, dôkazy v Boolovej
algebre (v jazyku teórii množín), príklady úsudkov v prirodzenom jazyku.
3.Výroková logika
3.1. Výrok, súd (propozícia), výroky jednoduché (atomárne) a zložené;
3.2. Výrokové spojky v prirodzenom jazyku: a; nie je pravda, že, ak-tak; pokiaľ; vtedy, keď;
alebo; buď-alebo; vtedy a len vtedy, keď; len pokiaľ; ibaže; okrem ak, inak; ani-ani.
Definície spojok a príklady v prirodzenom jazyku; syntaktická mnohoznačnosť v
textoch v súvislosti so spojkami (napr. elipsa a sylepsa, anafora).
3.3. Tabuľková metóda - logické pravdy (tautológie, logické fakty), log. kontradikcie,
empirické fakty a nepravdy (neutrálne formuly);
3.4.Výrokovo-logické vyplývanie; axiomatická a pravidlová výstavba deduktívnych systémov
VL; usudzovanie, deduktívno-logické usudzovanie; logická úsudková forma (premisy,
záver); VL - vyplývanie, úsudok; entymematické vyplývanie;
3.5. Dokazovanie v systéme prirodzenej dedukcie; formula VL, schéma, základné logické
pravidlá správneho usudzovania; základné a strategické pravidlá odvodzovania;
odvodené pravidlá a zákony; príklady v prirodzenom jazyku.
4. Sémantika prirodzeného jazyka
4.1. Jazyk ako systém kódovania; syntaktika, sémantika, pragmatika - semiotika;
4.2. Pojem verzus predstava - logické verzus psychologické; jazyková kompetencia;
4.3. Obsah a rozsah pojmu (rozsahovo prázdne prázdne, singulárne, konečné a nekonečné);
4.4. Pojmy zlučiteľné, nezlučiteľné; pojmy rozsahovo rovnocenné, podradené, nadradené a
prekrývajúce sa pojmy; nepriamy pomer medzi obsahom a rozsahom pojmu;
4.5. Zmysel a denotát mena, designát mena;vyjadrovanie, označovanie, koncipovanie;
indivíduový koncept, vlastnosť, vzťah, súd (propozícia), resp. indivíduum, množina,
relácia, pravdivostná hodnota;
4.6. Princíp skladobnosti - extenzionality pre nevýrokové výrazy.
4.7. Rovnocennosť, rovnoznačnosť a mnohoznačnosť (ekvivalencia, homonymia, synonymia,
polysémia, syntaktická mnohoznačnosť - ambiguita).
4.8. Prirodzený jazyk a spôsoby vyjadrenia všeobecných tvrdení.

5. Teória definícií
5.1. Aristotelovská definícia termínov.
5.2. Analytická, syntetická, regulujúca definícia - ich príklady v právnych normách; kritéria
pravdivosti, resp. správnosti definícií (rozsahová totožnosť, nahraditeľnosť v texte,
epistemologické požiadavky - ostré a jasné pojmy v definiense, podstatné a pozitívne
znaky) .
5.3. Kontextové, nekontextové definície; definície abstrakciou, rekurzívne definície.
5.4. Chyby definovania - syntaktické, sémantické.
6. Teória odpovedí a otázok
6.1. Druhy otázok: zisťovacie, doplňovacie; pozitívny a negatívny predpoklad
pragmatickej zmyslupnosti otázky; presupozícia; sugestívne a kapciózne otázky.
6.2. Druhy odpovedí: vhodné - nevhodné; pravdivé (správne) - nepravdivé (nesprávne);
vlastné - nevlastné; úplné - neúplné (čiastočné); vyčerpávajúce - nevyčerpávajúce.
7. Základné typy argumentácie v právnej praxi
7.1. Typy diskusií: teoretická, praktická, dogmatická; námietky: vecné, formálne.
7.2. Logicky chybná argumentácia
7.3. Typy eristickej argumentácie v praxi: argumentum ad hominem, … ad personam,… ad
populum, … ad vanitatem, … ad misericordiam, … ad ignorantiam, … ad verecundiam.
Odporúčaná literatúra:
1. Berka, K. -Jauris, M.: Logika,Praha,1978
2. Tarski, A.: Úvod do logiky a metodologie deduktívnich věd, Praha 1966
3. Mates, B. : Elementary Logic, Oxford, 1965 (i v nem.)
4. Church, A.: Introduction to Mathematical Logic, Princenton 1956
5. Gahér, F. : Logika pre každého, Bratislava - IRIS, 2003 (doplnené III. vydanie).
6. Zouhar, M.: Základy logiky, Bratislava – Veda, 2008.
Hodnotenie:
Účasť je nevyhnutnou podmienkou, aby študent mohol absolvovať skúšku!
Priebežne:
V skúškovom období: 100%
Mgr. Tomáš Orieščik
Katedra logiky a metodológie vied
Filozofická fakulta Univerzity Komenského
Šafárikovo nám.6 (miestnosť č. 522/a)
Bratislava