Ontologia formalna. Przykład: ontologia w Polsce

Na przykładzie ontologii uprawianej w Polsce podjęta zostaje próba określenia, czym jest ontologia formalna. Wskazane zostają typy twierdzeń wypracowanych w ramach ontologii oraz podane są przykłady twierdzeń, które tu nazywamy twierdzeniami formalnymi i twierdzeniami interpretacyjnymi. Dzięki temu można zrozumieć, czym jest ontologia formalna, oraz jaki jest jej stosunek do ontologii jako takiej. Temat tu podjęty jest fragmentem szerszego programu, którego celem jest prezentacja podstawowych koncepcji i problemów opracowanych bądź analizowanych w dziedzinie formalnej ontologii w Polsce.