Logic WT-EM-LOG
Assessment: Final test. Obligate material presented in lectures.
Module content:
1. Introduction: the history of logic, its object and purpose of education.
2. Syntactic categories of expressions
3. The classical propositional calculus: building language.
4. The classical propositional calculus: logical tautologies, the truth-table decision procedure.
5. The ruth-table decision procedure (cont.).
6. The concept of logical consequence.
7. Classification of reasoning.
Subject level
Learning outcome code/codes
Bibliography
E. Nieznański, Logika. Podstawy - język - uzasadnianie, Warszawa 2000.
J. Wajszczyk, Wstęp do logiki, Olsztyn 2001.
Z. Ziembiński, Logika praktyczna, Warszawa 1992.
A. Malinowski, Przewodnik do ćwiczeń z logiki dla prawników, Warszawa 2008.
P. Smith, An introduction to formal logic, Cambridge 2009.
P. Tomassi, Logic, London and New York,2002.
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: