Predykacja. Elementy ontologii formalnej przedmiotów własności i sytuacji (E-book) Kraków

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. Spis treści: WSTĘP9 WPROWADZENIE21 0.1 Typy predykacji w logice21 0.2 Predykacja w logice a zagadnienia uniwersaliów26 0.3 Predykacja a teoriomnogościowa relacja należenia32 Rozdział 1 NIEODRÓŻNIALNOŚĆ PRZEDMIOTÓW I WŁASNOŚCI W LOGICE35 1.1 Teza Ramseya35 1.2 Nazwy i predykaty w logice klasycznej39 1.3 Ontologie przedmiotów i własności41 1.4 Język monadycznej logiki klasycznej. Interpretacja kategorialna.45 1.5 Pojęcia nieodróżnialności przedmiotów i własności w języku logiki47 1.6 Pojęcia nieodróżnialności przedmiotów i własności w logice50 1.7 Nieodróżnialność przy predykacji jednokategorialnej55 1.8 Nieodróżnialność przy predykacji mieszanej59 1.9 Nieodróżnialność a predykacja wieloargumentowa62 1.10 Argumentacja Strawsona na rzecz asymetrii predykacji.65 1.11 Nieodróżnialność przedmiotów i własności a zagadnienie intensjonalności67 1.12 Granice nieodróżnialności70 Rozdział 2 ROLA WŁASNOŚCI ZŁOŻONYCH W PREDYKACJI77 2.1 Typy zależności między własnościami złożonymi78 2.2 Negacja i koniunkcja własności. Domkniętość, zupełność i niesprzecznoś? przedmiot?wć przedmiotów83 2.3 Indywidua w algebrze Boole’a własności86 2.4 Własności złożone relacyjne i definiowalność indywiduów89 Rozdział 3 SYTUACJE I PRZEDMIOTY SYTUACYJNE93 3.1 Idea przedmiotu sytuacyjnego93 3.2 Podstawowa teoria przedmiotów sytuacyjnych97 3.3 Horyzont i „uprawdziwiacze”100 3.4 Definiowanie własności, sądów i przedmiotów104 3.5 Zupełność i niesprzeczność przedmiotów sytuacyjnych. Indywidua a światy możliwe110 3.6 Przedmioty intencjonalne jako przedmioty aspektualne112 Rozdział 4 PREDYKACJA MEINONGOWSKA119 4.1 Podstawowe intuicje językowe związane z predykacją meinongowską121 4.2 Logika meinongowska: M-logika122 4.2.1 M-język, M-system123 4.2.2 Semantyka M-logiki (M-semantyka)126 4.3 Ontologia M-logiki128 4.4 „Wolna” wersja M-logiki138 4.5 Predykacja a kategorie przedmiotów i własności w M-logice143 Rozdział 5 ONTOLOGICZNA PERSPEKTYWA OPOZYCJI EKSTENSJA-INTENSJA147 5.1 Ekstensja-intensja w języku i w logice147 5.2 Zależności ontologiczne150 5.3 Zagadnienie intensjonalności logiki meinongowskiej155 5.4 Predykacja meinongowska a predykacja kwantyfikacyjna158 Rozdział 6 MODALNE ROZSZERZENIA M-LOGIKI165 6.1 M-przedmioty w semantyce światów możliwych165 6.2 M-logika intensjonalna171 6.3 Światy i sytuacje meinongowskie174 6.3.1 Formalna konstrukcja N-światów176 6.3.2 Język i semantyka N-logiki180 6.3.3 N-logika183 6.3.4 N-światy a M-przedmioty188 6.3.5 Poł?czenie ączenie M-logiki z N-logiką190 Rozdział 7 SYSTEMY LOGICZNE Z PREDYKACJĄ JEDNOKATEGORIALNĄ197 7.1 Ontologia Leśniewskiego z predykacją wieloargumentową197 7.1.1 Problemy z interpretacją zmiennych w Ontologii Leśniewskiego199 7.1.2 Uogólnienie Ontologii Leśniewskiego na predykację wieloargumentową203 7.1.3 Definiowalnoś? funktor?w nazwotw?rczych w?uog?lnionej ć funktorów nazwotwórczych w uogólnionej Ontologii Leśniewskiego207 7.1.4 Semantyka uogólnionej Ontologii Leśniewskiego209 7.2 Meinongowski rachunek nazw212 7.2.1 Problem własności wykluczających się i dopełniających214 7.2.2 Krata De Morgana przedmiotów meinongowskich216 7.2.3 Interpretacja predykacji w kracie meinongowskiej221 7.2.4 Predykacja w ekstensjonalnej kracie meinongowskiej224 7.2.5 Teoriomnogościowa krata De Morgana227 7.2.6 Meinongowski rachunek nazw a M-logika231 Rozdział 8 PODWÓJNA PREDYKACJA W M-LOGICE235 8.1 Podwójna struktura predykacji przedmiotów intencjonalnych235 8.2 Paradoksy formalnych teorii przedmiotów intencjonalnych242 8.3 M-logika z podwójną predykacją248 8.3.1 M-logika z kwantyfikacją podmiotów zewnętrznych248 8.3.2 M-logika z kwantyfikacją podmiotów wewnętrznych255 8.4 Przedmioty fikcyjne jako M-przedmioty: problem relacji266 8.5 Przedmioty fikcyjne jako M-przedmioty: problem struktury formalno-ontologicznej271 8.5.1 Wzbogacanie zawartości przedmiotów fikcyjnych o ich status ontologiczny272 8.5.2 Przedmioty fikcyjne jako M-przedmioty aspektualne275 8.5.3 Problem „dziesięciu magicznych pierścieni”279 DODATEK: KRATA MEINONGOWSKA283 BIBLIOGRAFIA305