Zapomniałeś hasła? |

Sylabus przedmiotu

Drukuj
Przedmiot: Wprowadzenie do logiki
Kierunek: Kognitywistyka, I stopień [6 sem], stacjonarny, ogólnoakademicki, rozpoczęty w: 2012
Tytuł lub szczegółowa nazwa przedmiotu: wykład
Rok/Semestr: I/1
Liczba godzin: 30,0
Nauczyciel: Paśniczek Jacek, prof. dr hab.
Forma zajęć: wykład
Rodzaj zaliczenia: egzamin
Punkty ECTS: 5,0
Godzinowe ekwiwalenty punktów ECTS (łączna liczba godzin w semestrze):
0 Godziny kontaktowe z prowadzącym zajęcia realizowane w formie konsultacji
0 Godziny kontaktowe z prowadzącym zajęcia realizowane w formie zajęć dydaktycznych
0 Przygotowanie się studenta do zajęć dydaktycznych
0 Przygotowanie się studenta do zaliczeń i/lub egzaminów
0 Studiowanie przez studenta literatury przedmiotu
Wstępne wymagania:

brak
Metody dydaktyczne:
  • konsultacje
  • objaśnienie lub wyjaśnienie
  • wykład problemowy
Zakres tematów:

Czym jest logika? Wprowadzenie do logiki. Kategorialne ujęcie języka - kategorie syntaktyczne a kategorie semantyczne. Zdania i sądy. Nazwy, ich funkcje semantyczne, typy nazw.Spójniki

zdaniowe. Definicje i definiowanie. Ogólne pojęcie prawa logiki. Klasyczny rachunek zdań w ujęciu semantycznym: metoda matrycowa. Podstawowe prawa rachunku zdań.

Wzajemna definiowalność spójników. Aksjomatyczne ujęcie rachunku zdań. Pojęcie dowodu i konsekwencji. Twierdzenie o pełności rachunku zdań. Wprowadzenie do rachunku

predykatów (język formalny). Analiza języka naturalnego w oparciu o język rachunku predykatów, analiza zwrotów kwantyfikacyjnych.Podstawowe prawa rachunku predykatów.

Aksjomatyczny rachunek predykatów. Wnioskowanie dedukcyjne. Niezawodne schematy wnioskownia (reguły wnioskowania). Prawa logiki a reguły wnioskowania.
Forma oceniania:
  • egzamin pisemny
Literatura:

1. Grzegorz Malinowski, Logika ogólna, Wydawnictwo Uniwersytetu Łódzkiego, Łódź 2007

2. Barbara Stanosz,Wprowadzenie do logiki formalnej, PWN 1999.

3. Barbara Stanosz,Ćwiczenia z logiki, PWN 1999.

4. Ludwik Borkowski,Wprowadzenie do logiki i teorii mnogości, Wydawnictwo KUL 1991

5. Witold A. Pogorzelski,Elementarny słownik logiki formalnej, Dział Wydawnictw Filii Uniwersytetu Warszawskiego 1992.

6. Ryszard Wójcicki,Wykłady z logiki z elementami teorii wiedzy, Wydawnictwo Naukowe Scholar 2003

7. Katarzyna Paprzycka,Logika nie gryzie, Zysk i S-ka, 2009.