Předmět seznamuje studenty se základy výrokové a predikátové logiky. Studenti se seznamují i s klasifikací klamných argumentů, kterou následně využívají při analýzách textů. Cílem předmětu je, aby studenti pomocí znalosti základů logiky byli schopni posuzovat správnost argumentů. Dále by studenti m ěli být schopni analyzovat klamné argumenty při analýze textu.
1. Základní pojmy - sémiotika, vztah vyplývání a sylogysmus.
2. Výroková logika - určení pravdivostní hodnoty složeného výroku, analýza správnosti argumentu, jazyk výrokové logiky.
3. Predikátová logika - kvantifikátory, vztah k výrokové logice, De Morganovy zákony, vyvracení úsudku protipříkladem.
4. Důkazní postupy (přímý, sporem, indukcí).
5. Vennovy diagramy.
6. Nutná a postačující podmínka
7. Argumentace, klamné argumenty - užití při analýze textu.