Logika
Informacje ogólne
| Kod przedmiotu: | F-K.92 |
| Kod Erasmus / ISCED: | (brak danych) / (brak danych) |
| Nazwa przedmiotu: | Logika |
| Jednostka: | Wydział Filozofii i Socjologii |
| Grupy: |
kursy do rankingu kognitywistyka I sem. Przedmioty kierunkowe kognitywistyka lic. 2.0 I-III-V sem |
| Punkty ECTS i inne: |
0 LUB
6.00
(w zależności od programu)
|
| Język prowadzenia: | polski |
| Wymagania wstępne: | brak |
| Godzinowe ekwiwalenty punktów ECTS: | Łączna liczba godzin z udziałem nauczyciela akademickiego 30h Liczba punktów ECTS z udziałem nauczyciela akademickiego 1 Godziny niekontaktowe (praca własna studenta) Studiowanie literatury 15h Przygotowanie się do egzaminu 15h Łączna liczba godzin niekontaktowych 30h Liczba punktów ECTS za godziny niekontaktowe 1 Sumaryczna liczba punktów ECTS 2 |
| Sposób weryfikacji efektów kształcenia: | sprawdzian pisemny |
| Skrócony opis: |
Czym jest logika? Wprowadzenie do logiki. Kategorialne ujęcie języka - kategorie syntaktyczne. Zdania, nazwy, spójniki zdaniowe. Ogólne pojęcie prawa logiki. Klasyczny rachunek zdań w ujęciu semantycznym: metoda matrycowa. Podstawowe prawa rachunku zdań. Wzajemna definiowalność spójników. 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. Elementy semantyki dla rachunku predykatów, Tarskiego definicja spełniania i prawdziwości. Wprowadzenie do algebry Boole’a zbiorów. Rachunek relacji. Funkcje. |
| Pełny opis: |
Poznanie podstaw logiki klasycznej, w szczególności klasycznego rachunku zdań i rachunku zbiorów, ich związków z rozumowaniami formułowanymi w języku potocznym. Schematy zdań, spójniki zdaniowe, notacje klasyczna i beznawiasowa, wartość logiczna, wyznaczanie wartości logicznych, sprawdzanie tautologiczności i kontrtautologiczności schematów, prawa rachunku zdań, dowody aksjomatyczne, dowody zalożeniowe, rozumowania dedukcyjne, schematy rachunku predykatów, tautologie i kontrtautologie rachunku predykatów, prawa rachunku predykatów, wnioskowania dedukcyjne .Wprowadzenie do rachunku zbiorów, definicje podstawowych pojęć, relacje między zbiorami, działania na zbiorach, relacje, własności formalne relacji, funkcje. |
| Literatura: |
B. Stanosz, Wprowadzenie do logii formalnej A, Tarski, Wprowadzenie do logiki W. Pogorzelski, Elementarny słownik logiki formalnej, W. Marciszewski, Mała encyklopedia logiki |
| Efekty uczenia się: |
K_W02 Zna i definiuje elementarną terminologię z zakresu logiki. K_W03 Zna podstawowe metody badań w zakresie logiki zasady formułowania i uzasadniania tez. Zna metody badań i narzędzia w zakresie logiki K_W04 Zna strukturę logiczną języka. Rozumie podstawowe pojęcia syntaktyczne i semantyczne oraz wyjaśnia ich wzajemne relacje. K_U01 Potrafi wyszukiwać, selekcjonować, analizować i oceniać informacje przy wykorzystaniu różnych źródeł i metod. K_U03 Potrafi analizować teksty z zakresu logiki. K_U10 Potrafi podjąć dyskusję w zakresie logiki. K_K01 Jest przygotowany do krytycznej oceny własnej i dostępnej powszechnie wiedzy; w dyskusjach przejawia postawę konstruktywnego krytycyzmu. |
Zajęcia w cyklu "Semestr zimowy 2024/2025" (zakończony)
| Okres: | 2024-10-01 - 2025-02-03 |
 
PN WT KW
KW
KW
ŚR CZ PT W
KW
KW
|
| Typ zajęć: |
Konwersatorium, 30 godzin
Wykład, 30 godzin
|
|
| Koordynatorzy: | Andrzej Nowakowski | |
| Prowadzący grup: | Kamil Lemanek, Andrzej Nowakowski | |
| Lista studentów: | (nie masz dostępu) | |
| Zaliczenie: | Egzamin |
Właścicielem praw autorskich jest Uniwersytet Marii Curie-Skłodowskiej w Lublinie.
