Skrypt zawiera materiał z zakresu logiki przeznaczony dla studentów ASzWoj.
Składa się z czterech rozdziałów. Pierwszy to zarys historyczny logiki, w drugim przedstawione są elementy logiki formalnej, wprowadzenie do teorii mnogości zamieszczone jest w rozdziale trzecim, zaś rozdział czwarty zawiera przykłady zastosowania wspomnianych pojęć do analizy języka naturalnego. Zawartość skryptu pokrywa treści programowe przedmiotu "Logika". Duża ilość przykładów, zwłaszcza związanych z zastosowaniem logiki w dowodzeniu, pokazuje znaczenie tego przedmiotu w praktyce.

SPIS TREŚCI

1. Wprowadzenie. Rys historyczny

2. Elementy logiki formalnej
2.1. Rachunek zdań
2.2. Rachunek predykatów (klasyczny rachunek logiczny)

3. Teoria mnogości
3.1. Aksjomatyka teorii mnogości
3.2. Działania na zbiorach
3.3. Relacje
3.4. Odwzorowania - funkcje

4. Elementy analizy języka naturalnego
4.1. Podstawowe własności języka
4.2. Kategorie semantyczne
4.3. Wybrane elementy analizy języka naturalnego
4.3.1. Definicje
4.3.2. Normy i oceny
4.3.3. Podział logiczny
4.3.4. Dowodzenie i argumentacja
4.3.5. Argumentacja w sporze
4.3.6. Praktyczny przykład stosowania logicznej analizy języka
naturalnego
4.4. Działania na połączenie

Zadania - rozwiązania

Bibliografia

Indeks rzeczowy

Spis ilustracji

Spis tabel