-
Oferta od
firmy
-
Stan
nowe
-
Tematyka
filozofia, historia filozofii
Ontologia zbiorów i pojęcie formy
Piotr Brykczyński
Wydział Filozofii i Socjologii Uniwersytetu Warszawskiego
Warszawa 1999
ISBN: 83-910113-7-2
Str. 3430
Oprawa miękka
SPIS TREŚCI
SŁOWO WSTĘPNE
I. LOGIKA, ONTOLOGIA ZBIORÓW I WARUNKI PRAWDZIWOŚCI SĄDÓW PREDYKACYJNYCH. HIERARCHIA ABSOLUTNA
Logika, ontologia zbiorów i warunki prawdziwości sądów predykacyjnych. Ontologie predykacyjne
Ontologia zbiorów i teoria klas
Ontologia zbiorów i pojęcie substancji pierwszych
Aksjomat ufundowania
O pojęciu zamkniętości klasy ze względu na relację i o pewnych pojęciach pokrewnych
Hierarchia absolutna i jej poziomy
Indeksowanie poziomów hierarchii absolutnej liczbami porządkowymi. Pojęcie potęgowych rozwinięć zbioru
Liczby porządkowe i zbiory von Neumanna
Indeksowanie poziomów hierarchii absolutnej liczbami porządkowymi. Rola badawcza
Hierarchia poziomów i pochodna hierarchia ich elementów. Pojęcie rangi przedmiotu
Hierarchia absolutna i klasa uniwersalna
II. INTUICYJNE PODSTAWY LOGICZNYCH BADAŃ NAD FORMĄ I FORMALNOŚCIĄ. WSZECHOBECNA FORMA
Formalność i logika. Znaczenie przymiotnika „logiczny"
O pojęciu formy logicznej
2.1. Forma logiczna i dystynkcja: forma, materia w logice
2.2. Forma logiczna i język rachunku predykatów
Od dystynkcji: forma, materia, w tradycji Arystotelesowsko-scholastycznej do pojęcia formy logicznej
Dystynkcja: forma, materia vs dystynkcja: forma, znaczenie. Morfologia języka
O pojęciu klas formalnych
5.1. Pojęcie klas formalnych. Definicje
5.2. Klasy formalne i poziomy języka
5.3. Klasy formalne i elementarność
5.4. Klasy formalne i zakresy zmiennych
5.5. Klasy formalne i funkcje zdaniowe wielu zmiennych
5.6. Klasy formalne i predykat identyczności
Logiczno-ontologiczne pojęcia formy i formalności
III. KU MNOGOŚCIOWEJ ONTOLOGII FORM
Izomorfizm relacji i równoliczność. Definicje obiegowe
Izomorfizm relacji, równoliczność i hierarchie typów
Izomorfizm systemów relacyjnych
Twierdzenia o izomorfizmie
Klasy formalne i klasy zamknięte ze względu na izomorfizmT
Zagadnienie odwracalności twierdzeń o izomorfizmie i problem kategoryczności teorii
Niezmienniki absolutne i klasy formalne
Kryteria równości pod względem formy
w zakresie należenia w mnogościowej ontologii form
Pojęcie relacji epsilonowych. Relacje epsilonowe pod przedmiotem i mocny izomorfizm
IV. MOCNY IZOMORFIZM, IZOMORFIZM I RÓWNOLICZNOŚĆ
Mocny izomorfizm i warunki wystarczające izomorfizmu oraz równoliczności
Pojęcie parapotęgowych rozszerzeń funkcji. Definicja i miejsce w aparacie pojęciowym ontologii zbiorów
Mocny izomorfizm, równoliczność podzbiorów zbioru bazowego i izomorfizm relacji bazowych oraz bazowych systemów relacyjnych
V. O NATURZE FUNKCJI USTALAJĄCYCH MOCNY IZOMORFIZM
Ustalanie mocnego izomorfizmu i przyporządkowania obrazujące
Ustalanie mocnego izomorfizmu i niepustość przecięcia dziedziny funkcji ze zbiorem bazowym
Przyporządkowania obrazujące, niepustość przecięcia dziedziny funkcji ze zbiorem bazowym i parapotęgowe oraz potęgowe rozszerzenia funkcji bazowych
Parapotęgowe oraz potęgowe rozszerzenia funkcji bazowych i ustalanie mocnego izomorfizmu
O pewnym równoważniku pojęcia mocnego izomorfizmu
VI. MOCNY IZOMORFIZM I NIEZMIENNICZOŚĆ ABSOLUTNA
Idea niezmienniczości absolutnej. Pojęciowe ramy i kierunki badań
Niezmienniczość absolutna i autoobrazowanie
Niezmienniki nad zbiorem bazowym i korespondowanie permutacyjne w trybie parapotęgowym nad zbiorem bazowym
Korespondowanie permutacyjne i korespondowanie różnowartościowe w trybie parapotęgowym nad zbiorem bazowym. Mocny izomorfizm i niezmienniczość absolutna
Mocny izomorfizm, niezmienniczość absolutna i czysta forma
POSŁOWIE
INDEKS TERMINÓW
INDEKS SKRÓTÓW SYMBOLICZNYCH
BIBLIOGRAFIA
STRESZCZENIE
THE ONTOLOGY OF SETS AND THE CONCEPT OF FORM.
SUMMARY