Logika (ćwiczenia) - 2018/2019

Opis zajęć
Informacje ogólne
Prowadzący:dr hab. Bożena Czernecka-Rej prof. KUL
Organizator:Wydział Matematyki, Informatyki i Architektury Krajobrazu - Instytut Matematyki i Informatyki
Liczba godzin tydzień/semestr: 1/15
Język wykładowy:Język polski
Cele przedmiotu
1. Zapoznanie studenta z głównymi pojęciami, problemami i osiągnięciami logiki.
2. Zapoznanie studenta z klasycznym rachunkiem logicznym.
3. Wykształcenie u studenta umiejętności rozwiązywania prostych zadań z logiki.
4. Uczulenie studenta na problematykę poprawności logicznej i błędu logicznego.
Wymagania wstępne
Znajomość gramatyki języka polskiego i matematyki na elementarnym poziomie szkoły średniej.
Efekty kształcenia dla przedmiotu
WIEDZA
1. Student zna podstawowe typy wyrażeń, elementarne typy czynności wiedzotwórczych oraz główne sposoby uzasadniania twierdzeń i rozumie ich specyfikę (T_W02, T_W09).
2. Student zna typy nauk, rozumie ich metodologiczną specyfikę i wzajemne związki (T_W02, T_W09).
UMIEJĘTNOŚCI
3. Student potrafi analizować proste rozumowania, ustalając ich strukturę i oceniając poprawność (T_U02, T_U03, T_U08, T_U09).
4. Student umie rozwiązywać proste zadania w zakresie klasycznego rachunku logicznego (T_U02, T_U03, T_U08, T_U09).
5. Student umie rozpoznawać i charakteryzować podstawowe błędy logiczne (T_U02, T_U03, T_U08, T_U09).
KOMPETENCJE SPOŁECZNE (POSTAWY)
6. Student wykazuje gotowość do zespołowego rozwiązywania zadań i merytorycznej dyskusji (T_K05).
Metody dydaktyczne
Wykład: tradycyjny wykład z elementami metody problemowej i dyskusji.
Ćwiczenia: analiza wykładu, wspólna analiza tekstu, wspólne i samodzielne rozwiązywanie zadań, dyskusja.
Treści programowe przedmiotu
Budowa, rodzaje i własności wnioskowania, poprawność wnioskowania i błędy we wnioskowaniu. Wynikanie logiczne, sprzeczność i zależności pokrewne. Budowa rachunku logicznego, pojęcie interpretacji i modelu. Klasyczny rachunek zdań. Logika pierwszego rzędu, teoria identyczności. Geneza logik nieklasycznych, logika w sporach filozoficznych i światopoglądowych, wybrane logiki nieklasyczne. Budowa i własności teorii, teorie pierwszego rzędu, aksjomatyzacja, dowodzenie, definiowanie. Pluralizm typów wiedzy, typy nauk.
Kryteria oceny i sposoby weryfikacji zakładanych efektów kształcenia
OCENA NIEDOSTATECZNA
WIEDZA
Student nie posiada wymaganej wiedzy na temat wnioskowania lub definicji. Student nie ma elementarnej wiedzy o budowie teorii, typach wiedzy lub wiedzy z zakresu semiotyki.
UMIEJĘTNOŚCI
Student nie potrafi analizować wnioskowań, definicji, rozpoznawać błędów logicznych, rozwiązywać nawet prostych zadań z logiki.
KOMPETENCJE SPOŁECZNE
Student nie angażuje się w proces kształcenia.
OCENA DOSTATECZNA
WIEDZA
Student opanował materiał dotyczący budowy, własności, rodzajów i poprawności wnioskowania oraz definicji. Student ma ogólne pojęcie o budowie teorii, typach wiedzy i wiedzę z zakresu semiotyki.
UMIEJĘTNOŚCI
Student potrafi ustalać strukturę prostych wnioskowań, dyskutować ich poprawność, rozpoznawać i omawiać błędy logiczne. Z pomocą nauczyciela potrafi
rozwiązywać najprostsze zadania z logiki formalnej.
KOMPETENCJE SPOŁECZNE
Student angażuje się w proces kształcenia.
OCENA DOBRA
WIEDZA
Wiedza studenta obejmuje całość przedstawionego materiału, ale może mieć braki w nieistotnych szczegółach.
UMIEJĘTNOŚCI
Student potrafi samodzielnie rozwiązywać typowe zadania w zakresie wszystkich wymaganych umiejętności.
KOMPETENCJE SPOŁECZNE
Student angażuje się w proces kształcenia.
OCENA BARDZO DOBRA
WIEDZA
Student ma ugruntowaną i uporządkowaną wiedzę, obejmującą całość
przedstawionego materiału, i potrafi swobodnie korzystać z tej wiedzy w sytuacjach
problemowych.
UMIEJĘTNOŚCI
Student potrafi samodzielnie rozwiązywać typowe i nieco trudniejsze od typowych zadania w zakresie wszystkich wymaganych umiejętności, potrafi samodzielnie formułować problemy, wskazywać ich możliwe rozwiązania oraz znajdować przykłady.
KOMPETENCJE SPOŁECZNE
Student wzorowo angażuje się w proces kształcenia.
Literatura podstawowa i uzupełniająca
Obowiązuje materiał przerobiony na zajęciach. Literatura jest podawana dla chętnych.
LITERATURA PODSTAWOWA
Skrypt udostępniony przez prowadzącego wykład.
LITERATURA UZUPEŁNIAJĄCA
K. Ajdukiewicz, Zarys logiki, Warszawa 1955.
K. Ajdukiewicz, Logika pragmatyczna, Warszawa 1965.
D. Bonevac, Deduction. Introductory Symbolic Logic,
Blackwell Publishers Ltd., 2003.
Kierunek studiów: Informatyka (stacjonarne I stopnia)
Lokalizacja w planach rocznych:
Etap:Rok I - Semestr 1
Punkty ECTS: 0
Forma zaliczenia: Zal. na ocenę