3850508941

LOGIKA Z ELEMENTAMI RETORYKI

Kod ECTS przedmiotu

| A06 - IA

Nazwa przedmiotu_

| Logika z elementami retoryki

Imię, nazwisko i tytuł/stopień prowadzącego

1 dr hab. Halina Święczkowska; dr Anna Zalewska

Tryb zajęć, liczba godzin oraz forma zaliczenia

Forma kursu	Wykład		Ćwiczenia		Seminarium
Rodzaj studiów	dzienne	z/w	dzienne	z/w	dzienne	z/w
Tygodniowa liczba qodzin	—	1	2
Forma zaliczenia	Egzamin pisemny		Zaliczenie pisemne

Wymagania wstępne_

Znajomość prostych procedur algorytmicznych. Podstawy opisu gramatycznego języka. Wiedza z zakresu kultury języka. Rozumienie procesu rozumowania i argumentacji.

Zestaw pojęć kluczowych przedmiotu (maks. 25-30 pojęć)_

Kategorie gramatyczne; zdanie; nazwa funktorów; zbiór; element; zdanie w sensie logicznym; prawda; fałsz; algorytm; dowód; wynikanie logiczne; kwantyfikacja; wnioskowanie dedukcyjne; wnioskowanie redukcyjne; argumentacja; definicje - typy definicji; rozstrzygalność; spełnienie; błąd logiczny.

Spis tematów z podziałem na jednostki dydaktyczne

Zawartość tematyczna poszczególnych wykładów

Godz.

1.    Język - tekst językowy: właściwości języka naturalnego - języki sztuczne, funkcje tekstu językowego, reguły gramatyczne, reguły znaczeniowe, reguły pragmatyczne, kategorie gramatyczne (składniowe) wyrażeń - nazwa, zdanie, funktor, błędy w słownym formułowaniu myśli. 2.    Nazwy: semantyka wyrażeń nazwowych, klasyfikacja nazw, zbiory: •    zbiór w sensie dystrybutywnym, •    elementy zbioru, •    stosunki między zbiorami, •    działania na zbiorach, stosunki między zakresami nazw, twierdzenia rachunku zbiorów, podział logiczny. 3.    Zdanie: zdanie w sensie logicznym, rachunek zdań, pojęcie algorytmu - metoda zero-jedynkowa, wynikanie logiczne, metoda dowodów założeniowych, tabele analityczne (metoda Smullyana). 4.    Wprowadzenie do rachunku predykatów: