Logika II Kierunek studiów: Kognitywistyka
Kod programu: 05-N1KO15.2018

Nazwa modułu: Logika II
Kod modułu: KOG_m24
Kod programu: 05-N1KO15.2018
Semestr: semestr zimowy 2019/2020
Język wykładowy: polski
Forma zaliczenia: egzamin
Punkty ECTS: 5
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 (15 godzin) zawierającego kanon wiedzy ilustrowany analizą przykładów oraz ćwiczeń (30 godzin) ułatwiających właściwe zrozumienie zagadnień wprowadzonych na wykładzie.
Wymagania wstępne:
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, tj. metafizyka, epistemologia lub filozofia umysłu. logika, [KOG_m24_1]
 KO1_W03 [5/5]
zna podstawowe metody badawcze i strategie argumentacyjne właściwe dla logiki oraz pokrewnych subdyscyplin fi8lozoficznych [KOG_m24_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 [KOG_m24_3]
 KO1_U05 [3/5]
zna podstawy logiki oraz potrafi zastosować typowe strategie argumentacyjne [KOG_m24_4]
 KO1_U06 [5/5]
dobiera strategie argumentacyjne, na poziomie elementarnym konstruuje krytyczne argumenty, formułuje odpowiedzi na krytykę [KOG_m24_5]
 KO1_U12 [1/5]
na podstawie twórczej analizy nowych sytuacji i problemów samodzielnie formułuje propozycje ich rozwiązania [KOG_m24_6]
 KO1_K03 [1/5]
Typ Opis Kody efektów modułowych do których odnosi się sposób weryfikacji
Egzamin pisemny [KOG_m24_w_1]
Egzamin składa się z kilku zadań. Rozwiązanie zadań musi zawierać dokładne uzasadnienie poprawności przeprowadzonych rozumowań. Student powinien wykazać się znajomością i zrozumieniem pojęć oraz umiejętnością wykorzystania i przypomnienia poznanych na zajęciach faktów.
 KOG_m24_1 KOG_m24_2 KOG_m24_4
Aktywność na ćwiczeniach [KOG_m24_w_2]
Obecność na zajęciach (maksymalnie dwie nieobecności) i udział w dyskusji podczas rozwiązywania przykładów
 KOG_m24_3 KOG_m24_4 KOG_m24_5 KOG_m24_6
Kolokwia [KOG_m24_w_3]
Uzyskanie pozytywnej oceny z dwóch kolokwiów sprawdzających stopień opanowania i zrozumienia przerobionego materiału
 KOG_m24_1 KOG_m24_3 KOG_m24_4 KOG_m24_5
Rodzaj prowadzonych zajęć Praca własna studenta Sposoby weryfikacji
Typ Opis (z uwzględnieniem metod dydaktycznych) Liczba godzin Opis Liczba godzin
wykład [KOG_m24_fs_1]
Wykład z elementami dyskusji
 10
Przygotowanie do egzaminu końcowego
 40 Egzamin pisemny [KOG_m24_w_1]
ćwiczenia [KOG_m24_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 do kolokwiów pisemnych
 40 Aktywność na ćwiczeniach [KOG_m24_w_2] Kolokwia [KOG_m24_w_3]
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)