Descriptive, Formal and Formalized Ontologies

I shall distinguish descriptive, formal and formalized ontology. Each of these ontologies comes in two guises: domain-dependent and domain-independent. Domain-dependent ontologies concern categorically closed regions of being; on the other hand, a domain-independent ontology may be properly called general ontology.

[1]  R. Wójcicki.  Theory of Logical Calculi: Basic Theory of Consequence Operations , 1988 .

[2]  Jan Zygmunt,et al.  Roman Suszko (1919–1979): A bibliography of the published work with an outline of his logical investigations , 1984 .

[3]  Bernhard Thalheim,et al.  Information Modelling and Knowledge Bases XXVI , 2005 .

[4]  R. Suszko.  Abolition of the fregean axiom , 1975 .

[5]  Roberto Poli.  Bimodality of formal ontology and mereology , 1995, Int. J. Hum. Comput. Stud..

[6]  B. Wolniewicz.  Logical space and metaphysical systems , 1983 .

[7]  David Woodruff Smith.  On Situations and States of Affairs , 1991 .

[8]  Barry Smith,et al.  Questions: An essay in daubertian phenomenology , 1987 .

[9]  F. William Lawvere,et al.  Adjointness in Foundations , 1969 .

[10]  J. Perzanowski.  The Way of Truth , 1996 .

[11]  Boris Hennig.  What is Formal Ontology , 2004 .

[12]  Nino B. Cocchiarella,et al.  Predication versus membership in the distinction between logic as language and logic as calculus , 1988, Synthese.

[13]  Guerino Mazzola,et al.  Semiotic Aspects of Generalized Bases of Data , 1999, EJC.

[14]  Roman Suszko,et al.  Investigations into the sentential calculus with identity , 1972, Notre Dame J. Formal Log..

[15]  K. Gödel.  Philosophy of mathematics: Russell's mathematical logic , 1984 .

[16]  Nino B. Cocchiarella.  Logical Investigations of Predication Theory and the Problem of Universals , 1987 .

[17]  G. E. R. Haddock.  On Husserl’s Distinction between State of Affairs (Sachverhalt) and Situation of Affairs (Sachlage) , 1991 .

[18]  C. Laymon.  A. study , 2018, Predication and Ontology.

[19]  J. Perzanowski.  What is non-fregean in the semantics of Wittgenstein'sTractatus and why? , 1993 .

[20]  Roman Suszko,et al.  Ontology in the Tractatus of L. Wittgenstein , 1968, Notre Dame J. Formal Log..

[21]  G. E. M. Anscombe.  Under a Description , 1979 .

[22]  Guillermo E. Rosado Haddock,et al.  Husserl or Frege?: Meaning, Objectivity, and Mathematics , 1991 .

[23]  Roman Suszko,et al.  The Fregean Axiom and Polish mathematical logic in the 1920s , 1977 .

[24]  Poli Roberto,et al.  Husserl's conception of formal ontology , 1993 .

[25]  A formal ontology of situations , 1982 .