User:Ameliawarner1992

From Protege Wiki
Revision as of 14:39, March 28, 2016 by Csnyulas (talk | contribs) (Creating user page for new user.)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

I m 23 year old student, Doing BSC IT From Graphic Era university, Computers have been in my life since I was a child and I always loved anything related most of my skills and knowledge are self taught. In our research lab, we have developed such a theory: the axiomatic theory of abstract objects and relations. In many ways, this theory is like a machine for detecting abstract objects (hence the name ‘research lab’), for among the recursively enumerable theorems, there are statements which assert the existence of the abstract objects mentioned above. Moreover, the properties of these abstracta can be formally derived as consequences of the axioms. The theory systematizes ideas of philosophers such as Plato, Leibniz, Frege, Meinong, and Mally. Our results are collated in the document Principia Metaphysica, which is authored by Edward N. Zalta (Ph.D./Philosophy), a Senior Research Scholar at CSLI. An online version of Principia Metaphysica can be found by following the link to The Theory of Abstract Objects (see below). In published work, the theory has been applied to problems in the philosophy of language, intensional logic, the philosophy of mathematics, and the history of philosophy.