What is a formalized ontology today? an example of IIC

Bulletin of the Section of Logic

Volumn 37, Issue 3-4, 2008, Pages 233-244

  Kaczmarek, Janusz ^a  

^a UNIVERSITY OF LODZ   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 80052964789     PISSN: 01380680     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (16)

1. N. B. Cocchiarella, Formal ontology, [in:] H. Burkhard and B. Smith (eds.), Handbook of Metaphisics and Ontology, vol. 2, 1991, Philosophia Verlag, Münich, pp. 640-647.
2. N. D. Belnap N.D, M. Perloff, Seeing to it that: a cannonical form for agentives, Theoria, No 54 (1989).
3. W. Degen, B. Heller, H. Herre, B. Smith, GOL: Towards an Axiomatized Upper-Level Ontology, FOIS01, October 1719, 2001, Ogunquit, Maine, USA.
4. K. Fine, The Logic of Essence, Journal of Philosophical Logic (1995), pp. 241-273.
5. K. Fine, Semantics for the Logic of Essence, Journal of Philosophical Logic (2000), pp. 543-584.
6. N. Guarino, Formal ontology, conceptual analysis and knowledge representation, International Journal of Human and Computer Studies 43(5/6), (1995), pp. 625-640.
7. J. Kaczmarek, On the Porphyrian Tree Structure and an Operation of Determination, Bulletin of the Section of Logic, vol. 31/1 (2002), pp. 37-46.
8. J. Kaczmarek, Positive and negative Properties. A Logical Interpretation, Bulletin of the Section of Logic, vol. 32/4 (2003), pp. 179-189.
9. J. Kaczmarek, Indywidua, Idee, Pojȩcia. Badania a zakresu ontologii sformalizowanej, (Individuals. Ideas. Concepts. Investigations into Formalized Ontology), Wyd. U L, 2008, 283pp.
10. U. Meixner, Axiomatic Formal Ontology, Synthese Library 264 (1997), Kluver Academic Publishers, NorthHolland, pp. 412.
11. J. Perzanowski, Logiki modalne a filozofia, [in:] Jak filozofować? Studia z metodologii filozofii, (Modal Logic and Philosophy, [in:] How to philosophize? Studies in Methodology of Philosophy),(ed.) Perzanowski J., PWN Warszawa 1989, pp. 262-346.
12. R. Poli, Descriptive, Formal, and Rormalized Ontologies, [in:] D. Fisette (red.), Husserls Logical Investigations Reconsidered, Springer 2003, pp. 183-210.
13. J. F. Sowa, Knowledge Representation. Philosophical and Computational Foundations, Brooks Cole Publishing Co., Pacific Grove, CA, 2002, pp. 594.
14. B. Wolniewicz, Ontologia sytuacji, (Situations Ontology), PWN Warszawa 1985.
15. E. N. Zalta, Intensional Logic and the Mataphysics of Intensionality, Cambridge, MA: Bradford Books/The MIT Press, 1988.
16. E. N. Zalta, Twenty-Five Basic Theorems in Situation and World Theory, Journal of Philosophical Logic 12 (1993), pp. 385-428.