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.Prof. Jacek Paśniczek kieruje Zakładem Logiki i Filozofii Nauki na Uniwersytecie Marii Curie Skłodowskiej w Lublinie. Jest filozofem i logikiem, a jego głównymi dziedzinami badawczymi są logika filozoficzna, ontologia formalna, logika fikcji, teorie intencjonalności, filozofia marzeń sennych. Swoje prace publikował w renomowanych czasopismach i wydawnictwach, zarówno w Polsce, jak i za granicą. Autor monografii The Logic of Intentional Objects. A Meinongian Versionof Classical Logic. Jest członkiem wielu instytucji akademickich i towarzystw naukowych, w tym członkiem elitarnego Institut Internationale de Philosophie w Paryżu. źródło opisu: Matras źródło okładki: Matras