Wybrane elementy logiki

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ŚCI1. Wprowadzenie. Rys historyczny2. Elementy logiki formalnej2.1. Rachunek zdań2.2. Rachunek predykatów (klasyczny rachunek logiczny)3. Teoria mnogości3.1. Aksjomatyka teorii mnogości3.2. Działania na zbiorach3.3. Relacje3.4. Odwzorowania - funkcje4. Elementy analizy języka naturalnego4.1. Podstawowe własności języka4.2. Kategorie semantyczne4.3. Wybrane elementy analizy języka naturalnego4.3.1. Definicje4.3.2. Normy i oceny4.3.3. Podział logiczny4.3.4. Dowodzenie i argumentacja4.3.5. Argumentacja w sporze4.3.6. Praktyczny przykład stosowania logicznej analizy językanaturalnego4.4. Działania na połączenieZadania - rozwiązaniaBibliografiaIndeks rzeczowySpis ilustracjiSpis tabel