W naszym wystąpieniu przedstawimy dwa epizody z historii symbolicznego paradygmatu badań nad sztuczną inteligencją, które to epizody są związane z tzw. ontologiami stosowanymi. Przedstawiając te epizody zwrócimy uwagę na sposób wykorzystania narzędzi formalnych. Na podstawie tak sformułowanych opisów zaproponujemy pewne wnioski co do sposobów uprawiania filozofii formalnej.