Spór o granice języka

Spór o granice języka - Jacek Juliusz Jadacki

I. OBIEKTY SEMIOTYCZNE Znaki. Sygnały i symptomy. Sygnaty i symbole. Wyrażenia-egzemplarze i wyrażenia-typy II. SYNTAKTYKA a) Analiza syntaktyczna (Słowa i zwroty. Rzędy członów wyrażenia złożonego. Pozycja syntaktyczna. Opis syntaktyczny. Wyrażenia-leksemy. Wyrażenia stałe i zmienne. Wyrażenia zamknięte i otwarte) b) Relacje syntaktyczne (Inkluzja. Identyczność i synonimiczność. Kontradyktoryczność) c) Transformacje syntaktyczne (Wyprowadzalność. Przestawienie i zastępowanie. Podstawianie i uzmiennianie. Dołączanie i odrywanie. Wiązanie i uwalnianie) III. RACHUNKI LOGICZNE a) Klasyczny rachunek zdań (Zdania proste i złożone. Spójniki jednoargumentowe. Spójniki dwuargumentowe. Tautologie klasycznego rachunku zdań. Metoda matrycowa. Skrótowa metoda matrycowa) b) Modalny rachunek zdań (Możliwość i konieczność. Operatory modalne de dicto i de re. Zgodność i pociąganie. Tautologie modalnego rachunku zdań) c) Deontyczny rachunek zdań (Dozwolenie i nakaz. Tautologie deontycznego rachunku zdań) d) Elementarny rachunek kwantyfikatorów (Struktura zdań prostych. Tautologie elementarnego rachunku kwantyfikatorów) e) Elementarny rachunek zbiorów (Relacje między zbiorami i operacje na zbiorach. rekonstrukcja struktury zdań prostych w języku rachunku zbiorów. Tautologie elementarnego rachunku zbiorów) f) Elementarny rachunek relacji (Charakterystyka formalna relacji. Symetryczność. Tranzytywność. Zwrotność i spójność. Relacja pusta, pełna i równościowa. Funkcja. Funkcje odwracalne i nieodwracalne. Operacje na relacjach. Tautologie elementarnego rachunku relacji) g) Teoria konsekwencji (Prawda logiczna i wynikanie logiczne. Wynikanie definicyjne i kauzalne)