Logika II Kierunek studiów: Kognitywistyka
Kod programu: 05-S1KO15.2019

Nazwa modułu: Logika II
Kod modułu: KO1_m23
Kod programu: 05-S1KO15.2019
Semestr:
  • semestr zimowy 2021/2022
  • semestr zimowy 2020/2021
Język wykładowy: polski
Forma zaliczenia: egzamin
Punkty ECTS: 6
Opis:
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.
Wymagania wstępne:
Zaliczenie modułu Logika I.
Literatura podstawowa:
(brak informacji)
Efekt modułowy Kody efektów kierunkowych do których odnosi się efekt modułowy [stopień realizacji: skala 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]
Typ Opis Kody efektów modułowych do których odnosi się sposób weryfikacji
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
Rodzaj prowadzonych zajęć Praca własna studenta Sposoby weryfikacji
Typ Opis (z uwzględnieniem metod dydaktycznych) Liczba godzin Opis Liczba godzin
wykład [KO1_m23_fs_1]
Wykład z elementami dyskusji.
 15
Przygotowanie do egzaminu końcowego.
 45 Egzamin [KO1_m23_w_1]
ćwiczenia [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ń.
 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 się do kolokwiów pisemnych.
 70 Zaliczenie [KO1_m23_w_2]
Załączniki
Opis modułu (PDF)
Informacje o sylabusach mogą ulec zmianie w trakcie trwania studiów.
Sylabusy (USOSweb)
Semestr Moduł Język wykładowy
(brak danych)