Universal Transcendental Logic-Based Ontology
نویسندگان
چکیده
منابع مشابه
?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملHow DoesStrawson Unify Epistemology, Ontology and Logic
Strawson’s conception of analysis as a ‘connective linguistic analysis’ makes it possible for him to achieve an indefinitely large range of ideas or concepts among them are certain numbers of fundamental, general and pervasive concepts or concept-types which not only are pre-theoretical or ahistorical, but also together constitute a structural framework only within whichlogic, ontology and epis...
متن کاملSymbol Grounding and Transcendental Logic
Symbol Grounding tries to answer the question as to how it is possible for a computer program to use symbols which are not arbitrarily inter-pretable. Whereas the signs in conventional programs are just \parasitic on the meaning in our heads", grounded symbols should possess at least some \intrinsic meaning." This paper gives a brief overview of what Symbol Grounding is and summarizes some of t...
متن کاملA Formalization of Kant's Transcendental Logic
Although Kant envisaged a prominent role for logic in the argumentative structure of his Critique of pure reason [12], logicians and philosophers have generally judged Kant’s logic negatively. What Kant called ‘general’ or ‘formal’ logic has been dismissed as a fairly arbitrary subsystem of first order logic, and what he called ‘transcendental logic’ is considered to be not a logic at all: no s...
متن کاملLogMap: Logic-Based and Scalable Ontology Matching
In this paper, we present LogMap—a highly scalable ontology matching system with ‘built-in’ reasoning and diagnosis capabilities. To the best of our knowledge, LogMap is the only matching system that can deal with semantically rich ontologies containing tens (and even hundreds) of thousands of classes. In contrast to most existing tools, LogMap also implements algorithms for ‘on the fly’ unsati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer and Information Science
سال: 2021
ISSN: 1913-8997,1913-8989
DOI: 10.5539/cis.v14n2p1