Abstract
The components of LIR that will constitute it as a formal ontology, an interpreted formal system, from which the categories of LIR will be constructed, are completed in this chapter. The three components are: (1) its axioms; (2) the ‘language’ of LIR and its rather unusual semantics; and (3) the ontological constants and predicates which correspond to interpretations of the language. Additional sections address three concepts that are critical for the development of the LIR categories – dynamisms, processes and properties. A new definition of intrinsic and extrinsic properties is suggested. Comparison with classical logic is made in a section that reviews the metalogical properties of classical logics with those of LIR. The problem of the logical foundation of reality – being and existence – is discussed in relation to the fundamental LIR principle of dynamic opposition, and the position defended that metaphysics grounds logic and not the contrary. A brief discussion of abstract or non-spatio-temporal objects concludes the chapter.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Boyd, Richard. 2002. Scientific Realism. In The Stanford Encyclopedia of Philosophy (Summer2002 Edition), ed. Edward N. Zalta. http://plato.stanford.edu/archives/spr2002/entries/scientific-realism/.
Bueno, Otávio and Newton C. A. da Costa. 2007. Quasi-Truth, Paraconsistency, and the Foun-dations of Science. SYNTHESE 154: 383-399.
Cocchiarella, Nino. 1991. Ontology, Formal. In Handbook of Metaphysics and Ontology, eds. Barry Smith and Hans Burkhardt. Munich: Philosophia Verlag.
Cocchiarella, Nino. 1996. Conceptual Realism as a Formal Ontology. In Formal Ontology, eds. R. Poli and P. Simon. Dordrecht, The Netherlands: Kluwer.
Dummett, Michael. 1991. The Logical Basis of Metaphysics. Cambridge, MA: Harvard University Press.
Esfeld, Michael. 2003. Do Relations Require Underlying Intrinsic Properties? A Physical Argument for a Metaphysics of Relations. Metaphysica 4: 5-25.
Esfeld, Michael and Vincent Lam. Holism and Structural Realism. In Worldviews, Science and Us: Studies of Analytical Metaphysics. A Selection of Topics from a Methodological Per-spective, eds. R. Vanderbeeken and E. Weber. Dordrecht, The Netherlands: Springer (in press).
Jacquette, Dale. 2002. Ontology. Montreal and Kingston, Canada: McGill-Queens University Press.
Lowe, E. Jonathan. 2006. The Four-Category Ontology: A Metaphysical Foundation for Natural Science. Oxford: Oxford University Press.
Peeters, Marc. 2006. L’oeuvre de jeunesse. In Introduction à l’oeuvre de S. Lesniewski. Vol. IV, CdRS. Neuchâtel, Switzerland: University of Neuchâtel.
Poli, Roberto. 2003. Descriptive, Formal and Formalized Ontologies. In Husserl’s Logical Investigations Reconsidered, ed. D. Fisette. Dordrecht, The Netherlands: Kluwer.
Priest, Graham. 2005. Towards Non-being. Oxford: Clarendon.
Resnik, Michael D. 1999. Against Logical Realism. In History and Philosophy of Logic 20: 181-194.
Sartre, Jean-Paul. 1943. L’être et le néant. Paris: Gallimard (Paris: telGallimard 1998).
Seibt, Johanna. 2001. Ontological Categories: The Explanation of Categorial Inference. In Wahrheit-System-Struktur: Auseinandersetzungen mit Metaphysik. Stuttgart, Germany: Olms Verlag.
Simons, Peter. 2002. Reasoning on a Tight Budget: Lesniewski’s Nominalistic Metalogic. Erkenntnis 56: 99-122.
Smith, David Woodruff. 2004. Mind World. Cambridge: Cambridge University Press.
Swoyer, Chris. 2000. Properties. In The Stanford Encyclopedia of Philosophy (Winter 2000 Edition), ed. Edward N. Zalta. http://plato.stanford.edu/archives/win2000/entries/properties/
Rights and permissions
Copyright information
© 2008 Springer Science + Business Media B.V
About this chapter
Cite this chapter
(2008). LIR as a Formal Ontology. In: Logic in Reality. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-8375-4_3
Download citation
DOI: https://doi.org/10.1007/978-1-4020-8375-4_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-8374-7
Online ISBN: 978-1-4020-8375-4
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)