Uniwersytet Marii Curie-Skłodowskiej w Lublinie - Centralny System Uwierzytelniania
Strona główna

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) Podstawowe informacje o zasadach przyporządkowania punktów ECTS:
  • roczny wymiar godzinowy nakładu pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się dla danego etapu studiów wynosi 1500-1800 h, co odpowiada 60 ECTS;
  • tygodniowy wymiar godzinowy nakładu pracy studenta wynosi 45 h;
  • 1 punkt ECTS odpowiada 25-30 godzinom pracy studenta potrzebnej do osiągnięcia zakładanych efektów uczenia się;
  • tygodniowy nakład pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się pozwala uzyskać 1,5 ECTS;
  • nakład pracy potrzebny do zaliczenia przedmiotu, któremu przypisano 3 ECTS, stanowi 10% semestralnego obciążenia studenta.

zobacz reguły punktacji
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 2022/2023" (zakończony)

Okres: 2022-10-01 - 2023-02-01
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Konwersatorium, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Jacek Paśniczek
Prowadzący grup: Andrzej Nowakowski, Jacek Paśniczek
Lista studentów: (nie masz dostępu)
Zaliczenie: Egzamin

Zajęcia w cyklu "Semestr zimowy 2023/2024" (zakończony)

Okres: 2023-10-01 - 2024-02-04
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Konwersatorium, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Andrzej Nowakowski
Prowadzący grup: Kamil Lemanek, Andrzej Nowakowski
Lista studentów: (nie masz dostępu)
Zaliczenie: Egzamin

Zajęcia w cyklu "Semestr letni 2023/2024" (zakończony)

Okres: 2024-02-26 - 2024-06-23
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Konwersatorium, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: (brak danych)
Prowadzący grup: Andrzej Nowakowski
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzamin
Konwersatorium - Zaliczenie na ocenę
Wykład - Egzamin

Zajęcia w cyklu "Semestr zimowy 2024/2025" (w trakcie)

Okres: 2024-10-01 - 2025-02-03

Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Konwersatorium, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Andrzej Nowakowski
Prowadzący grup: Kamil Lemanek, Andrzej Nowakowski
Lista studentów: (nie masz dostępu)
Zaliczenie: Egzamin
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Marii Curie-Skłodowskiej w Lublinie.
kontakt deklaracja dostępności mapa serwisu USOSweb 7.1.0.0