Logic II Field of study: Philosophy
Programme code: W1-S1FI19.2021

Module name: Logic II
Module code: F1_m13
Programme code: W1-S1FI19.2021
Semester:
  • winter semester 2023/2024
  • winter semester 2022/2023
Language of instruction: Polish
Form of verification: exam
ECTS credits: 6
Description:
Moduł Logika II prezentuje elementarne zagadnienia logiki formalnej. Ujmuje specyfikę semantycznego i syntaktycznego ujęcia klasycznego rachunku zdań (KRZ) i klasycznego rachunku predykatów (KRP). Zapoznaje studentów z podstawowymi faktami z tych teorii (np. twierdzenia o dedukcji, o pełności, niesprzeczności) oraz metodami dowodzenia (wprost i nie wprost).
Prerequisites:
Zaliczenie modułu: Logika I
Key reading:
(no information given)
Learning outcome of the module Codes of the learning outcomes of the programme to which the learning outcome of the module is related [level of competence: scale 1-5]
Ma uporządkowaną znajomość i rozumie główne kierunki w obrębie logiki. [F1_m13_1]
 F1_W02 [4/5] F1_W07 [5/5]
Zna podstawowe metody badawcze i strategie argumentacyjne właściwe dla logiki. [F1_m13_2]
 F1_W15 [5/5]
Trafnie definiuje pojęcia języka potocznego i poprawnie projektuje definicje własnych terminów używanych we własnych wypowiedziach. [F1_m13_3]
 F1_U06 [5/5]
Zna KRZ i KRP oraz typowe strategie argumentacyjne. [F1_m13_4]
 F1_W03 [3/5] F1_U09 [5/5]
Dobiera strategie argumentacyjne, na poziomie elementarnym konstruuje krytyczne argumenty, formułuje odpowiedzi na krytykę. [F1_m13_5]
 F1_U08 [3/5] F1_U17 [4/5]
Na podstawie twórczej analizy nowych sytuacji i problemów samodzielnie formułuje propozycje ich rozwiązania. [F1_m13_6]
 F1_U10 [4/5] F1_K03 [4/5]
Type Description Codes of the learning outcomes of the module to which assessment is related
Egzamin [F1_m13_w_1]
Na zasadach określonych w sylabusie.
 F1_m13_1 F1_m13_2 F1_m13_4 F1_m13_5
Zaliczenie [F1_m13_w_2]
Na zasadach określonych w sylabusie.
 F1_m13_1 F1_m13_2 F1_m13_3 F1_m13_4 F1_m13_5 F1_m13_6
Form of teaching Student's own work Assessment of the learning outcomes
Type Description (including teaching methods) Number of hours Description Number of hours
lecture [F1_m13_fs_1]
Wykład z elementami dyskusji.
 15
Przygotowanie do egzaminu końcowego.
 45 Egzamin [F1_m13_w_1]
practical classes [F1_m13_fs_2]
Metody aktywizujące. Na ćwiczeniach rozwiązywane są liczne zadania ilustrujące wprowadzone na wykładzie treści. Studenci, analizując różnorodne przykłady doskonalą umiejętność uzasadniania, a podczas dyskusji mają możliwość wyjaśnić wszelkie wątpliwości dotyczące omawianych zagadnień.
 30
Przygotowanie do ćwiczeń poprzez przyswojenie sobie podstawowych pojęć i faktów z wykładu oraz samodzielne rozwiązywanie zadań z zaproponowanych zestawów. Przygotowanie do kolokwiów pisemnych.
 60 Zaliczenie [F1_m13_w_2]
Attachments
Module description (PDF)
Information concerning module syllabuses might be changed during studies.
Syllabuses (USOSweb)
Semester Module Language of instruction
(no information given)