Two types of ontological structure. Concepts Structures and lattices of elementary situations

• Autorzy: Janusz Kaczmarek
• Języki publikacji: EN

Abstrakty

EN

In 1982, Wolniewicz proposed a formal ontology of situations based on the lattice of elementary situations (cf. [7, 8]). In [3], I constructed some types of formal structure - Porphyrian Tree Structures (PTS), Con- cepts Structures (CS) and the Structures of Individuals (U) - that formally represent ontologically fundamental categories: species and genera (PTS), concepts (CS) and individual beings (U) (cf. [3, 4]). From an ontological perspective, situations and concepts belong to different categories. But, unexpectedly, as I shall show, some variants of CS and Wolniewicz’s lattice are similar. The main theorem states that a subset of a modified concepts structure (called CS+) based on CS fulfils the axioms of Wolniewicz’ lattice. Finally, I shall draw some philosophical conclusions and state some formal facts.

Słowa kluczowe

EN

formal (formalized) ontology; ontology of situations; concepts structure; lattice

• Wydawca: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Czasopismo: Logic and Logical Philosophy
• Rocznik: 2012
• Tom: 21
• Numer: 2
• Strony: 165-174

Daty

wydano

2012-06-01

online

2013-07-02

Twórcy

autor

Janusz Kaczmarek

• Lodz University Department of Logic ul. Kopcińskiego 16/18 87-100 Łodź, Poland,

Bibliografia

• [1] Hawranek, J., and J. Zygmunt, “Some elementary properties of condition- ally distributive lattices”, Bulletin of the Section of Logic 12, 3 (1983): 117-120.
• [2] Kaczmarek, J., “Positive and negative Properties. A Logical Interpreta- tion”, Bulletin of the Section of Logic 32, 4 (2003): 179-189.
• [3] Kaczmarek, J., Indywidua. Idee. Pojęcia. Badania z zakresu ontologii sfor-malizowanej (Individuals. Ideas. Concepts. Investigations on formalized on- tology), Wyd. UŁ, Łodź 2008.
• [4] Kaczmarek, J., “What is a formalized ontology today? An example of IIC”, Bulletin of the Section of Logic 37, 3/4 (2008): 233-244.
• [5] Nasieniewski, M., and A. Pietruszczak, “An elementary proof of equivalence of conditions in definition of conditionally distributive lattices”, Bulletin ofthe Section of Logic 26, 4 (1997): 193-196.
• [6] Pawlak, Z., “Information systems - theoretical foundations”, Informationsystems 6, 3 (1981): 205-218.
• [7] Wolniewicz, B., “A formal ontology of situations”, Studia Logica 41, 4 (1982): 381-413.
• [8] Wolniewicz, B., Ontologia sytuacji (Ontology of Situations), PWN, War- szawa, 1985.
• [9] Wolniewicz, B., Logic and Metaphysics. Studies in Wittgenstein’s Ontologyof Facts, Biblioteka Myśli Semiotycznej, no 45, J. Pelc (ed.), Warszawa, 1999.

Identyfikatory

DOI

10.12775/LLP.2012.009