Dostosuj tekst do każdego urządzenia
Twórz notatki
Rozpocznij czytanie tam, gdzie ostatnio skończyłeś
Mam już konto w internetowej bibliotece IBUK Libra
Nie mam konta w internetowej bibliotece IBUK Libra
PAMIĘTAJ!
Twój PIN do zasobów w:
Wygasa: dzisiaj
Aby zdobyć nowy PIN, skontaktuj się z Twoją biblioteką.
Zaakceptuj Regulamin, aby kontynuować korzystanie z serwisu.
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.