A Formal Ontology for Conception Representation in Terminological Systems

In Mariusz Urbański, Tomasz Skura & Paweł Łupkowski (eds.), Reasoning: Logic, Cognition, and Games. pp. 137-156 (2020)
  Copy   BIBTEX

Abstract

I have supposed that we need a formal system to represent and explain humans' conceptions of the world. According to this research, such a formal system is representable based on a Conception Language (CL) that is a terminological knowledge representation formalism. In this research, I will offer a formal ontology for conception representation in terminological systems. Such a CL-based ontology will specify the conceptualization of humans' conceptions as well as of the effects of their conceptions on the world.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Towards Contingent World Descriptions in Description Logics.Farshad Badie - 2020 - Logic and Logical Philosophy 29 (1):115-141.
Formal ontologies in biomedical knowledge representation.S. Schulz & L. Jansen - 2013 - In M.-C. Jaulent, C. U. Lehmann & B. Séroussi (eds.), Yearbook of Medical Informatics 8. pp. 132-146.
Second-order reasoning in description logics.Andrzej Szalas - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):517-530.
Coherence of structural and functional descriptions of technical artefacts.Peter Kroes - 2006 - Studies in History and Philosophy of Science Part A 37 (1):137-151.
Autoreferential semantics for many-valued modal logics.Zoran Majkic - 2008 - Journal of Applied Non-Classical Logics 18 (1):79-125.
What is a Non-truth-functional Logic?João Marcos - 2009 - Studia Logica 92 (2):215-240.
Towards a Formal Symbolic Occurrence Logic.Farshad Badie - 2018 - In Hans Götzsche (ed.), The Meaning of Language. Cambridge Scholars Press.

Analytics

Added to PP
2020-02-13

Downloads
22 (#606,933)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Farshad Badie
Aalborg University

Citations of this work

Logic and Constructivism: A Model of Terminological Knowledge.Farshad Badie - 2020 - Journal of Knowledge Structures and Systems 1 (1):23-39.

Add more citations

References found in this work

No references found.

Add more references