75931 skanuj0001 (203)

Dr hab. Halina Swięczkowska

Logika

Program wykładów

Przedmiot len łączy elementarne wiadomości z logiki formalnej i semiotyki logicznej w aspekcie poprawności rozumowań i skuteczności tccimik argumcnlacyjnych.

Logika formalna wprowadzona jest w zakresie kształcącym przede wszystkim umiejętność oceny poprawności rozumowań. Semiotyka logiczna obejmuje ic informacje o języku, które decydują o spójności i poprawności tekstu językowego. Elementy retoryki pozwalają dostrzec praktyczny wymiar uuiwersalnycii reguł joąiki i jeżyka w dyskursie siewnym.

1.    Język - tekst językowy. Właściwości języka naturalnego - języki sztuczne. Fur,keje tekstu językowego. Reguły gramatyczne, reguły znaczeniowe, reguły pragmatyczne. Kategorie gramatyczne (składniowe) wyrażeń - nazwa, zdanie, funkior. Błędy w słownym formułowaniu myśli.

2.    Nazwy. Klasyfikacja wyrażeń nozwowych. Zbiory. Zbiór w sensie dystrybulywnym. Elementy zbioru. Stosunki między zbiorami. Działania na zbiorach. Stosunki miedzy zakresami nazw, Twierdzenia racimnkit zbiorów. Podział logiczny.

3.    Zdanie. Zdanie w sensie logicznym. Rachunek zdań. Pojęcie algorytmu -metoda zero-jedynkow-u. Wynikanie logiczne. Metoda dowodów założeniowych (studia dzienne), tabele analityczne (metod:: Sumilyana) - studia zaoczne.

Wprowadzenie do rachunku predykatów. Wybrane tezy rachunku predykatów. Dowód założeniowy lub tabele analityczne w rachunku predykatów.

5.    TTl-¹ Tuawwńi- Wnioskowania jako rozumowania. Wnioskowanie dedukcyjne, linie typy wnioriww ;ń. Rachunek zdań i metody dowodowe jako narzędzia badania poprawności wnioskowań. Teoria argumentacji.

6.    Definicje. Definicje metajęzykowe a definicje przedmiotowe. Definicje równościowe. Definicje nicrówiiościowc. Definicje sprawozdawcze. projckiiijące. Definicje perswazyjne. Błędy w definiowaniu.

Literatura:

Witold Mnreiszewski. ..Mała encyklopedia logiki". PWN 1973.

Wojciech Pairyas, ..Elementy logiki dla prawników^-'. Poznań 1996. ■

Bu barn Si.rnosż! „Ćwiczenia z logiki^-’, PWN, Warszawa i 997.

Kazimierz Ti zosicki. ..Logika, nauka i sztuka^-’. Temida 11. Białystok 1996.

Zygmunt Ziembiński: ..Logika praklyczn./^-. PWN Warszawa 1998.

Zadania:

W> bierz w iaściwą odpowiedź:

I. W zdaniu ..Jan dziś nic pobił żony, bo ma pieniądze.^-- występuje b!a<!^^amfibolii . b). ekutwokacii e) nieciopow iedzenia

*

2. Nazara „prezes Sądu Najwyższego^-- lo nazwa a). indyyyidualniiBprgeneralna.

T Między zakresami nazz.r ..starostwo" i „starosta” występuje stosunek

«i:: ui iv. cci::;.. ś c i / j; o d: v.ę d n c >ś c i roziącznoszi kremowani;’

■1. Jeśli poprzednik implikacji jest tautologią, to cale zdanie implikncyjno jest a) zawsze prawdziwo