Logic WT-DNK-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. The classification of reasoning.
8. The classification of names and definitions
(in Polish) Grupa przedmiotów ogólnouczenianych
Subject level
Learning outcome code/codes
Type of subject
Preliminary Requirements
Course coordinators
Term 2019/20_Z: | Term 2021/22_Z: |
Practical placement
none
Bibliography
E. Nieznański, Logika. Podstawy - język - uzasadnianie, Warszawa 2000.
J. Wajszczyk, Wstęp do logiki, Olsztyn 2001.
K. Pawłowski Podstawy logiki ogólnej.Skrypt dla studentów kierunków humanistycznych,Warszawa 2016..
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
Information on level of this course, year of study and semester when the course unit is delivered, types and amount of class hours - can be found in course structure diagrams of apropriate study programmes. This course is related to the following study programmes:
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: