Logika kognitywna - Kognitywistyka i Komunikacja

Logika kognitywna
SYLABUS
A. Informacje ogólne
Nazwa jednostki
Nazwa kierunku
studiów
Poziom kształcenia
Profil studiów
Forma studiów
Kod przedmiotu
Język przedmiotu
Rodzaj przedmiotu
Rok studiów /semestr
Wymagania wstępne
Liczba godzin zajęć
Założenia i cele
przedmiotu
Metody dydaktyczne
oraz ogólna forma
zaliczenia przedmiotu
Wydział Historyczno-Socjologiczny, Instytut Socjologii i Kognitywistyki
Kognitywistyka i komunikacja
Studia pierwszego stopnia
Ogólnoakademicki
Stacjonarne
0500-KS1-LOK
Polski
Podstawowy
Rok II, semestr III
Logika formalna, teoria mnogości, Ogólna metodologia nauk
15 (wykład), 15 (ćwiczenia)
Przedmiotem logiki kognitywnej są wybrane logiki nieklasyczne i ich
zastosowania w teorii informacji i komunikacji. Student uzyskuje
podstawową wiedzę z zakresu wybranych systemów logik nieklasycznych.
Studenci są aktywnymi uczestnikami wykładu (zadają pytania, oczekiwane
są ich komentarze i przykłady do wykładanego materiału). Ćwiczenia uczą
formalnych metod logiki nieklasycznej.
Wykład zaliczony jest na podstawie egzaminu.
Ocena z ćwiczeń jest wypadkową oceny z pisemnego kolokwium (70%) i
aktywności (30%).
Liczba dopuszczalnych nieobecności: zgodnie z regulaminem studiów.
Odpracowanie nieobecności na zajęciach możliwe na podstawie pracy
pisemnej zgodnej z treścią zajęć, na których student był nieobecny. Wymiar
godzin na przygotowanie tej pracy jest zgodny z wymiarem czasu
nieobecności.
Efekty kształcenia
1. Ma podstawową wiedzę o wybranych systemach logik
nieklasycznych (W).
2. Posiada wiedzę dotyczącą formalnej reprezentacji procesów
poznawczych (W).
3. Ma wiedzę na temat podstawowych twierdzeń logiki modalnej (W,
Ćw.).
4. Potrafi ująć procesy poznawcze przy zastosowaniu elementarnych
metod logicznych. (Ćw.)
5. Potrafi zidentyfikować podstawowe struktury formalne zjawisk
poznawczych (Ćw.)
6. Potrafi współdziałać w grupie (Ćw.)
7. Rozumie potrzebę podnoszenia swoich kompetencji logicznych. (W,
Ćw.)
Punkty ECTS
3
Odniesienie do
kierunkowych efektów
kształcenia
K_W04, K_W11, K_W12
K_W04, K_W11, K_W12,
K_W13
K_W04, K_W11, K_W12,
K_W13
K_U01, K_U08, K_U09
K_U01, K_U08, K_U09
K_K03, K_K07
K_K08
Bilans nakładu pracy
studenta
Wskaźniki ilościowe
Data
opracowania:
Udział w wykładach – 15
Udział w ćwiczeniach – 15
Udział w konsultacjach – 5
Przygotowanie do zajęć – 25
Lektura tekstów – 15
Przygotowanie do kolokwium zaliczeniowego – 10
Przygotowanie do egzaminu – 10
Nakład pracy studenta związany z
Liczba
zajęciami:
godzin
wymagającymi bezpośredniego udziału
35
nauczyciela
o charakterze praktycznym
60
2 października 2016
Koordynator
przedmiotu:
Punkty
ECTS
dr hab. Dariusz Surowik
1
2
SYLABUS
B. Informacje szczegółowe
Nazwa przedmiotu
Kod przedmiotu
Nazwa kierunku
Nazwa jednostki
Język przedmiotu
Rok studiów/ semestr
Liczba godzin oraz forma
Liczba punktów ECTS
Prowadzący
Treści merytoryczne przedmiotu
Efekty kształcenia wraz ze
sposobem ich weryfikacji
Forma i warunki zaliczenia
przedmiotu
Wykaz literatury podstawowej
i uzupełniającej
Logika kognitywna
0500-KS1-LOK
Kognitywistyka i komunikacja
Wydział Historyczno-Socjologiczny, Instytut Socjologii
polski
Rok II, sem. III
Wykład– 15 godz.
dr hab. Dariusz Surowik
1. Problemy analizy języka naturalnego w oparciu o język
logiki klasycznej.
2. Semantyki intensjonalne.
3. Wybrane logiki nieklasyczne i ich odniesienie do
problematyki poznawczej.
4. Zastosowania
wybranych
rachunków
logiki
nieklasycznej do reprezentacji rozumowań w warunkach
niepewności
5. Reprezentacja wiedzy w języku logiki.
6. Logiczna teoria informacji i komunikacji.
1. Zna podstawowe pojęcia i twierdzenia wybranych logik
nieklasycznych (K_W04, K_W11, K_W12).
2. Zna podstawowe pojęcia i twierdzenia dotyczące
reprezentacji wiedzy w języku logiki (K_W04, K_W11,
K_W12, K_W13).
3. Rozumie potrzebę kultury logicznej w dyskursie
społecznym (K_K01,K_K02,K_K08).
4. Uświadamia sobie potrzebę krytycznej oceny
poprawności rozumowań i jako warunku efektywnej i
niekonfliktowej aktywności społecznej (K_K07).
Sposoby weryfikacji efektów kształcenia: egzamin, dyskusja
w trakcie na wykładu.
Wykład jest zaliczany na podstawie egzaminu.
1. Wójcicki R. ,Wykłady z logiki z elementami teorii
wiedzy, Wydawnictwo Naukowe Scholar ,2003 .
2. Perzanowski J., Logiki modalne a filozofia, Wyd.
Uniwersytetu Jagiellońskiego, Kraków,1989.
3. Świrydowicz K, Podstawy logiki modalnej,
Wydawnictwo Naukowe UAM, Poznań 2004.
4. Lechniak M., Przekonania i zmiana przekonań,
Wydawnictwo KUL, 2011.
5. Indrzejczak A., Hybrydowe systemy dedukcyjne w
logikach modalnych, Uniwersytet Łodzki, 2006
6. Surowik D. Logika, wiedza i czas. Problemy i metody
temporalno-logicznej reprezentacji wiedzy,
Wydawnictwo UwB, 2013.
dr hab. Dariusz Surowik
podpis osoby składającej sylabus
SYLABUS
C. Informacje szczegółowe
Nazwa przedmiotu
Kod przedmiotu
Nazwa kierunku
Nazwa jednostki
Język przedmiotu
Rok studiów/ semestr
Liczba godzin oraz forma
Liczba punktów ECTS
Prowadzący
Treści merytoryczne przedmiotu
Efekty kształcenia wraz ze
sposobem ich weryfikacji
Forma i warunki zaliczenia
przedmiotu
Logika kognitywna
0500-KS1-LOK
Kognitywistyka i komunikacja
Wydział Historyczno-Socjologiczny, Instytut Socjologii
polski
Rok II, sem. III
Ćwiczenia – 15 godz.
dr hab. Dariusz Surowik
1. Translacja zdań języka naturalnego na języki
wybranych logik nieklasycznych.
2. Przykłady zastosowania wybranych logik modalnych do
analizy rozumowań.
3. Przykłady zastosowania wybranych rachunków logiki
nieklasycznej do reprezentacji rozumowań w
warunkach niepewności.
4. Podstawowe
zagadnienia
modalnych
logik
epistemicznych i ich zastosowanie do reprezentacji
wiedzy.
5. Wybrane logiki temporalno-epistemiczne i ich
zastosowania
w
formalizacji
procesów
komunikacyjnych.
1. Zna podstawowe pojęcia i twierdzenia wybranych logik
nieklasycznych (K_W04, K_W11, K_W12).
2. Potrafi dokonać translacji zdań języka naturalnego na
język logiki modalnej (K_W04, K_W11, K_W12,
K_W13, K_U01, K_U08, K_U09).
3. Potrafi zastosować narzędzia logiki do formalnej
reprezentacji podstawowych problemów
teorii
komunikacji podmiotów poznających (K_W11, K_W12,
K_W13, K_W14, K_U01, K_U08, K_U09)
4. Zna podstawowe pojęcia i twierdzenia dotyczące
reprezentacji wiedzy w języku logiki (K_W04, K_W11,
K_W12, K_W13).
5. Rozumie potrzebę kultury logicznej w dyskursie
społecznym (K_K01,K_K02,K_K08).
6. Uświadamia sobie potrzebę krytycznej oceny
poprawności rozumowań i jako warunku efektywnej i
niekonfliktowej aktywności społecznej (K_K07).
Sposoby weryfikacji efektów kształcenia: kolokwium, ocena
aktywności w trakcie zajęć.
Ocena z ćwiczeń jest wypadkową oceny z pisemnego
kolokwium (70%) i aktywności (30%).
Liczba dopuszczalnych nieobecności: zgodnie z
regulaminem studiów. Nieobecność na zajęciach może być
odpracowana na podstawie pracy pisemnej zgodnej z
treścią zajęć, na których student był nieobecny. Wymiar
godzin na przygotowanie tej pracy jest zgodny z wymiarem
Wykaz literatury podstawowej
i uzupełniającej
czasu nieobecności.
1. Lechniak M. , Przekonania i zmiana przekonań,
Wydawnictwo KUL, 2011.
2. Marciszewski W. Podstawy logicznej teorii przekonań.
PWN, Warszawa 1972.
3. Perzanowski J., Logiki modalne a filozofia, Wyd.
Uniwersytetu Jagiellońskiego, Kraków,1989.
4. Surowik D., Logika, wiedza i czas. Problemy i metody
temporalno-logicznej reprezentacji wiedzy,
Wydawnictwo UwB, 2013.
5. Świrydowicz K, Podstawy logiki modalnej,
Wydawnictwo Naukowe UAM, Poznań 2004.
6. Wójcicki R. ,Wykłady z logiki z elementami teorii
wiedzy, Wydawnictwo Naukowe Scholar 2003.
dr hab. Dariusz Surowik
podpis osoby składającej sylabus