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

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.
Keywords Conception  Conception Language  Formal Ontology  Terminological Knowledge
Categories (categorize this paper)
Buy the book Find it on
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,163
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

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

Add more citations

Similar books and articles

Towards Contingent World Descriptions in Description Logics.Farshad Badie - 2020 - Logic and Logical Philosophy 29 (1):115-141.
A Description Logic Based Knowledge Representation Model for Concept Understanding.Farshad Badie - 2017 - In Jasper van den Herik, A. Rocha & J. Filipe (eds.), Agents and Artificial Intelligence. Cham, Switzerland: Springer.
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. Newcastle-under-Lyme, UK: Cambridge Scholars.


Added to PP index

Total views
11 ( #852,497 of 2,507,062 )

Recent downloads (6 months)
2 ( #277,393 of 2,507,062 )

How can I increase my downloads?


My notes