An attempt to make a definition of existence and constructing a foundation for an axiomatic system of ontology

Çağatay, Hasan
This thesis aims to make an analysis of the concepts of ‘existence’. It also constructs four new definitions based on the concept of ‘effect’ for different concepts of beings. By reasoning based on these definitions and some pre-suppositions, a foundation for an axiomatic system of ontology is tried to construct.


A study on the relation between logic and information
Beygu, Tankut; Grünberg, David; Department of Philosophy (2003)
Gaining prominence at first as a technological concept, information has found a significant role in the study of various problems in philosophy as well as in the diverse fields of science and technology.Though widely employed and studied, information is a complex notion, as it were, resisting a compact description of its characteristics, appearing non-uniformly in such miscellaneous ways as an organizing principle, a form of knowledge, and a connotation of entropy. Apparently, there is a need for further st...
A Critical inquiry into the demarcation of logical constants
Beygu, Tankut; Grünberg, Teo; Department of Philosophy (2013)
The dissertation aims to set out a methodological framework conducive to further research into the demarcation problem of logical constants through a critical examination of the principal proposals for the problem. Logical constants should be characterised so as the essential values of logic, i.e., necessity, normativity and formality, are secured. Formality is central to the proposed framework in consideration of its relation to validity; necessity and normativity are established with reference to formalit...
Logic as an integral aspect of philosophy proper: a case study of Thomas Hobbes
Ertan, Şebnem; Bağçe, Samet; Department of Philosophy (2022-8)
This thesis addresses itself to the following questions: 1) What is the relationship between logic and philosophy? 2) How do logic and philosophy affect each other? To find the answers to both questions, it offers a methodological-cum-historical case study of Thomas Hobbes. Concerning the first question, the relationship between logic and philosophy has been discussed since Aristotle, for whom the former is an organon to the latter. Logic does not have an existence independent of philosophy. As for the seco...
Stable controller design for T-S fuzzy systems based on Lie algebras
Banks, SP; Gurkan, E; Erkmen, İsmet (Elsevier BV, 2005-12-01)
In this paper, we study the stability of fuzzy control systems of Takagi-Sugeno-(T-S) type based on the classical theory of Lie algebras. T-S fuzzy systems are used to model nonlinear systems as a set of rules with consequents of the type x(t) = A(l)x (t) + B(l)u (t). We conduct the stability analysis of such T-S fuzzy models using the Lie algebra LA generated by the A(l) matrices of these subsystems for each rule in the rule base. We first develop our approach of stability analysis for a commuting algebra ...
A Philosophical approach to upper-level ontologies
Satıoğlu, Dilek; Zambak, Aziz Fevzi; Department of Philosophy (2015)
The aim of this thesis is to provide a philosophical approach to upper-level ontologies. The ontologies and/or categorical system of Aristotle, Kant, Husserl, and Quine are evaluated in order to give a philosophical understanding of ontologies. After an explanation of the developments in ontology as a new interdisciplinary study, the most well known upper-level ontologies, BFO, DOLCE, SUMO, and Cyc, are analysed technically. In the light of philosophical ontologies and categorical systems, these upper-level...
Citation Formats
H. Çağatay, “An attempt to make a definition of existence and constructing a foundation for an axiomatic system of ontology,” M.S. - Master of Science, Middle East Technical University, 2007.