Logic II Field of study: Cognitive Science
Programme code: W1-N1KO19.2021

Module name: Logic II
Module code: KO1_m23
Programme code: W1-N1KO19.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). Moduł składa się z wykładu zawierającego kanon wiedzy ilustrowany analizą przykładów oraz ćwiczeń ułatwiających właściwe zrozumienie zagadnień wprowadzonych na wykładzie.
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 oraz pokrewnych subdyscyplin filozoficznych, takich jak metafizyka, epistemologia lub filozofia umysłu. [KO1_m23_1]
 KO1_W03 [5/5]
Zna podstawowe metody badawcze i strategie argumentacyjne właściwe dla logiki oraz pokrewnych subdyscyplin filozoficznych. [KO1_m23_2]
 KO1_W04 [5/5]
Trafnie definiuje pojęcia języka potocznego i poprawnie projektuje definicje własnych terminów używanych we własnych wypowiedziach. [KO1_m23_3]
 KO1_U04 [4/5] KO1_U05 [4/5]
Zna podstawy logiki oraz potrafi zastosować typowe strategie argumentacyjne. [KO1_m23_4]
 KO1_U06 [5/5] KO1_U25 [4/5] KO1_U27 [4/5] KO1_U31 [5/5]
Dobiera strategie argumentacyjne, na poziomie elementarnym konstruuje krytyczne argumenty, formułuje odpowiedzi na krytykę, [KO1_m23_5]
 KO1_U12 [4/5] KO1_U28 [4/5] KO1_U32 [5/5]
Na podstawie twórczej analizy nowych sytuacji i problemów samodzielnie formułuje propozycje ich rozwiązania. [KO1_m23_6]
 KO1_K03 [3/5]
Komunikuje się językiem zrozumiałym i jasnym także dla nie-kognitywistów. [KO1_m23_7]
 KO1_K08 [5/5]
Type Description Codes of the learning outcomes of the module to which assessment is related
Egzamin [KO1_m23_w_1]
Na zasadach określonych w sylabusie.
 KO1_m23_1 KO1_m23_2 KO1_m23_4 KO1_m23_7
Zaliczenie [KO1_m23_w_2]
Na zasadach określonych w sylabusie.
 KO1_m23_3 KO1_m23_4 KO1_m23_5 KO1_m23_6 KO1_m23_7
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 [KO1_m23_fs_1]
Wykład z elementami dyskusji.
 10
Przygotowanie do egzaminu końcowego.
 50 Egzamin [KO1_m23_w_1]
practical classes [KO1_m23_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ń.
 20
Przygotowanie do ćwiczeń poprzez przyswojenie sobie podstawowych pojęć i faktów z wykładu oraz samodzielne rozwiązywanie zadań z zaproponowanych zestawów. Przygotowanie się do kolokwiów pisemnych.
 80 Zaliczenie [KO1_m23_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)