Logika 3501-DO1L

Elementarny kurs logicznej teorii języka oraz ogólnej metodologii nauk. Omawiane będą takie zagadnienia jak klasyczny rachunek zdań, klasyczny rachunek predykatów, nieklasyczne rachunki logiczne, elementy teorii zbiorów i relacji; pojawią się podstawowe wiadomości dotyczące definicji; wzmianka o nieklasycznych rachunkach logicznych; elementy pragmatyki logicznej, uzasadnianie twierdzeń, rodzaje wnioskowań, definicje.

Rodzaj przedmiotu

obowiązkowe

Efekty kształcenia

Zapoznanie studentów z elementarna logiką klasyczną oraz teorią argumentacji.

Kryteria oceniania

Test pisemny i krótki egzamin ustny.

Literatura

T. Hołówka, Kultura logiczna w przykładach,
M. Omyła, Zarys logiki,
B. Stanosz, Ćwiczenia z logiki,
K. Wieczorek, Wprowadzenie do logiki dla studentów wszystkich kierunków.