Ontologia formalna bada najogólniejsze formalno-strukturalne aspekty rzeczywistości stosując w tych badaniach odpowiednie metody formalne. Wśród tych metod najważniejsze są metody wykorzystujące aparaturę logiczną.
W prezentowanej monografii centralnym pojęciem, wokół którego ogniskują się rozważania ontologiczne jest pojęcie predykacji wyrażające przysługiwanie własności przedmiotom. Predykacja jest traktowana jako relacja między fundamentalnymi kategoriami ontologicznymi – kategoriami przedmiotów i własności. Tak rozumiana, predykacja współdeterminuje te kategorie, a zarazem wyznacza zależności ontologiczne między nimi. Logika analizuje różne możliwe pojęcia predykacji i tym samym stanowi podstawę teoretyczną przyjętej w niniejszej monografii ontologicznej perspektywy badawczej. Dyskutowane są różne logiczne systemy predykacji, w tym oryginalne systemy stworzone przez Autora.
WSTĘP
WPROWADZENIE
0.1 Typy predykacji w logice
0.2 Predykacja w logice a zagadnienia uniwersaliów
0.3 Predykacja a teoriomnogościowa relacja należenia
Rozdział 1
NIEODRÓŻNIALNOŚĆ PRZEDMIOTÓW I WŁASNOŚCI W LOGICE
1.1 Teza Ramseya
1.2 Nazwy i predykaty w logice klasycznej
1.3 Ontologie przedmiotów i własności
1.4 Język monadycznej logiki klasycznej. Interpretacja kategorialna
1.5 Pojęcia nieodróżnialności przedmiotów i własności w języku logiki
1.6 Pojęcia nieodróżnialności przedmiotów i własności w logice
1.7 Nieodróżnialność przy predykacji jednokategorialnej
1.8 Nieodróżnialność przy predykacji mieszanej
1.9 Nieodróżnialność a predykacja wieloargumentowa
1.10 Argumentacja Strawsona na rzecz asymetrii predykacji
1.11 Nieodróżnialność przedmiotów i własności a zagadnienie intensjonalności
1.12 Granice nieodróżnialności
Rozdział 2
ROLA WŁASNOŚCI ZŁOŻONYCH W PREDYKACJI
2.1 Typy zależności między własnościami złożonymi
2.2 Negacja i koniunkcja własności. Domkniętość, zupełność i niesprzeczność przedmiotów
2.3 Indywidua w algebrze Boole’a własności
2.4 Własności złożone relacyjne i definiowalność indywiduów
Rozdział 3
SYTUACJE I PRZEDMIOTY SYTUACYJNE
3.1 Idea przedmiotu sytuacyjnego
3.2 Podstawowa teoria przedmiotów sytuacyjnych
3.3 Horyzont i „uprawdziwiacze”
3.4 Definiowanie własności, sądów i przedmiotów
3.5 Zupełność i niesprzeczność przedmiotów sytuacyjnych. Indywidua a światy możliwe
3.6 Przedmioty intencjonalne jako przedmioty aspektualne
Rozdział 4
PREDYKACJA MEINONGOWSKA
4.1 Podstawowe intuicje językowe związane z predykacją meinongowską
4.2 Logika meinongowska: M-logika
4.2.1 M-język, M-system
4.2.2 Semantyka M-logiki (M-semantyka)
4.3 Ontologia M-logiki
4.4 „Wolna” wersja M-logiki
4.5 Predykacja a kategorie przedmiotów i własności w M-logice
Rozdział 5
ONTOLOGICZNA PERSPEKTYWA OPOZYCJI EKSTENSJA-INTENSJA
5.1 Ekstensja-intensja w języku i w logice
5.2 Zależności ontologiczne
5.3 Zagadnienie intensjonalności logiki meinongowskiej
5.4 Predykacja meinongowska a predykacja kwantyfikacyjna
Rozdział 6
MODALNE ROZSZERZENIA M-LOGIKI
6.1 M-przedmioty w semantyce światów możliwych
6.2 M-logika intensjonalna
6.3 Światy i sytuacje meinongowskie
6.3.1 Formalna konstrukcja N-światów
6.3.2 Język i semantyka N-logiki
6.3.3 N-logika
6.3.4 N-światy a M-przedmioty
6.3.5 Połączenie M-logiki z N-logiką
Rozdział 7
SYSTEMY LOGICZNE Z PREDYKACJĄ JEDNOKATEGORIALNĄ
7.1 Ontologia Leśniewskiego z predykacją wieloargumentową
7.1.1 Problemy z interpretacją zmiennych w Ontologii Leśniewskiego
7.1.2 Uogólnienie Ontologii Leśniewskiego na predykację wieloargumentową
7.1.3 Definiowalność funktorów nazwotwórczych w uogólnionej Ontologii Leśniewskiego
7.1.4 Semantyka uogólnionej Ontologii Leśniewskiego
7.2 Meinongowski rachunek nazw
7.2.1 Problem własności wykluczających się i dopełniających
7.2.2 Krata De Morgana przedmiotów meinongowskich
7.2.3 Interpretacja predykacji w kracie meinongowskiej
7.2.4 Predykacja w ekstensjonalnej kracie meinongowskiej
7.2.5 Teoriomnogościowa krata De Morgana
7.2.6 Meinongowski rachunek nazw a M-logika
Rozdział 8
PODWÓJNA PREDYKACJA W M-LOGICE
8.1 Podwójna struktura predykacji przedmiotów intencjonalnych
8.2 Paradoksy formalnych teorii przedmiotów intencjonalnych
8.3 M-logika z podwójną predykacją
8.3.1 M-logika z kwantyfikacją podmiotów zewnętrznych
8.3.2 M-logika z kwantyfikacją podmiotów wewnętrznych
8.4 Przedmioty fikcyjne jako M-przedmioty: problem relacji
8.5 Przedmioty fikcyjne jako M-przedmioty: problem struktury formalno-ontologicznej
8.5.1 Wzbogacanie zawartości przedmiotów fikcyjnych o ich status ontologiczny
8.5.2 Przedmioty fikcyjne jako M-przedmioty aspektualne
8.5.3 Problem „dziesięciu magicznych pierścieni”
DODATEK: KRATA MEINONGOWSKA
BIBLIOGRAFIA
INDEKS