Logic 09-LOG-12
Basics of logic.
Module learning aims
Major
Cycle of studies
Module type
Year of studies (where relevant)
Learning outcomes
After the course the student:
Knows how to use formal logical tools in the studies of their chosen knowledge field, e.g.:
is familiar with the basic notions of formal logic,
knows and understands the main laws of logic,
can differentiate between the basic types of logical reasoning,
can define the dependencies between sets and relations.
Assessment criteria
> In the winter semester: credit with a grade on the basis of tests (pass mark - more than 50%);
> In the summer semester: credit with a grade on the basis of tests and written exam covering material from both semesters;
> (pass mark - more than 50%).
> All written work will be done remotely or stationary in accordance with the relevant regulations of the university authorities.
Bibliography
B. Stanosz Ćwiczenia z logiki
B. Stanosz Wprowadzenie do logiki formalnej
K. Wieczorek Wprowadzenie do logiki
O. Nawrot - Wprowadzenie do logiki dla prawników
N. Gubareni Logika dla studentów
K. Paprzycka Logika nie gryzie. Samouczek logiki zdań
M. Sieruga Logika dla prawników i nie tylko
W. Patryas Elementy logiki dla prawników
S. Lewandowski et al. Logika dla prawników
L. Borkowski Elementy logiki formalnej
J. Słupecki et al. Logika i teoria mnogości
M. Omyła Logika - wybrane zagadnienia
A. Wojciechowska Elementy logiki i teorii mnogości
W. Marek, J. Onyszkiewicz Elementy logiki i teorii mnogości w zadaniach
T. Batóg Podstawy logiki
W. Wolter, M. Lipczyńska Elementy logiki
A. Grzegorczyk Logika popularna
J. Sobiecki W kręgu logiki
R. Wójcicki Wykłady z logiki z elementami teorii wiedzy
J. Przybyłowski Logika z ogólną metodologią nauk
E. Żarnecka-Biały Mała logika
Mała encyklopedia logiki
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: