Logic 09-LOG-22

Students are supposed to learn how to use formal logical tools in the studies of chosen knowledge field.

Module learning aims

Acquisition of knowledge of elementary logic and metalogic, in particular in the field of classical propositional calculus, predicate calculus and set theory. Acquisition of the ability to apply appropriate formal apparatus in the analysis of sentences and inferences.

Major

philology - ethnolinguistics

Cycle of studies

1st cycle

Module type

compulsory

Year of studies (where relevant)

Year 1

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, defining language expressions by using syntactic categories)
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%)

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:

Description of 09-LOG-22 in USOSweb