Normalne logiki pozycyjne

Wstęp

Rozdział 1. Klasyczne podstawy
1.1. Uwagi wstępne
1.2. Oznaczenia i pojęcia teoriomnogościowe
1.3. Klasyczna Logika Zdań
1.3.1. Semantyka KLZ
1.3.2. Podejście dowodowe do KLZ
1.4. Klasyczna Logika Kwantyfikatorów
1.4.1. Semantyka KLK
1.4.2. Podejście dowodowe do KLK

Rozdział 2. Geneza i rozwój logik pozycyjnych
2.1. Operator R
2.2. Historia
2.2.1. Czasowa interpretacja logiki pozycyjnej oraz logiki topologiczne
2.2.2. SystemŁosia

Rozdział 3. Logika minimalnej realizacji MR
3.1. Uwagi wstępne
3.2. System MR
3.2.1. Semantyka MR
3.2.2. Aksjomatyzacja MR
3.2.3. Niezależność aksjomatów MR
3.3. Adekwatność systemu MR

Rozdział 4. Alternatywne podejście do MR
4.1. Uwagi wstępne
4.2. Funkcje wartościujące formuły MR
4.2.1. Poprawność aksjomatyzacji MR
4.2.2. Alternatywna semantyka
4.2.3. Tabele prawdziwościowe
4.2.4. Pełność aksjomatyzacji MR

Rozdział 5. Bezkwantyfikatorowe rozszerzenia MR
5.1. Uwagi wstępne
5.2. Alternatywne aksjomatyzacje
5.3. Normalne logiki pozycyjne
5.4. Rozszerzenia MR
5.4.1. Zagnieżdżanie operatora R
Jałowe iteracje
Relewantne iteracje
5.4.2. Formuły poza zasięgiem operatora R
Wyróżnienie pozycji
Prawdziwość w każdej pozycji
5.5. Podejście tablicowe do logik pozycyjnych

Rozdział 6. MRQ - kwantyfikatorowa logika pozycyjna
6.1. Uwagi wstępne
6.2. System MRQ
6.2.1. Semantyka MRQ
6.2.2. Aksjomatyzacja MRQ
6.3. Adekwatność systemu MRQ
6.4. Metalogiczne własności MRQ
6.5. Rozszerzenia MRQ

Rozdział 7. Zastosowania logik pozycyjnych
7.1. Uwagi wstępne
7.2. Zastosowania filozoficzne
7.2.1. Rekonstrukcja F. S.Michaela
7.2.2. Rekonstrukcja N. Reschera
7.3. Rekonstrukcja logik modalnych w języku pozycyjnym
7.3.1. Poprawność normalnych logik modalnych w MRQ
7.3.2. Pełność normalnych logik modalnych w MRQ

Podsumowanie - perspektywy dalszych badań
Wykaz symboli
Wykaz pojęć
Bibliografia