Przedmiotem podjętych w tej rozprawie dociekań jest związek logiki i ontologii, mający swój wyraz w postaci ontologii formalnej. Autor za cel stawia sobie ustalenie warunków konstrukcji ontologii formalnej. W publikacji zostały omówione zagadnienia dotyczące m.in. stosowania logiki w ontologii, metod i języka ontologii formalnej czy typów ontologii formalnej. Książka rozszerza wiadomości nie tylko z dziedziny ontologii i logiki, ale również filozofii nauki, informatyki, matematyki i fizyki.