Logic 09-LOG-FK-11

Basics of logic.

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 - Korean philology

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,
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

credit with a grade on the basis of test

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-FK-11 in USOSweb