Logika

brak

Łą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

sprawdzian pisemny

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.

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.

B. Stanosz, Wprowadzenie do logii formalnej

A, Tarski, Wprowadzenie do logiki

W. Pogorzelski, Elementarny słownik logiki formalnej,

W. Marciszewski, Mała encyklopedia logiki

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.