Search results for 'formal ontology' (try it on Scholar)

1000+ found
Sort by:
  1. Kerry Trentelman & Barry (2010). An Axiomatisation of Basic Formal Ontology with Projection Functions. In Kerry Taylor (ed.), Advances in Ontologies, Proceedings of the Sixth Australasian Ontology Workshop. University of Adelaide.score: 93.0
    This paper proposes a reformulation of the treatment of boundaries, at parts and aggregates of entities in Basic Formal Ontology. These are currently treated as mutually exclusive, which is inadequate for biological representation since some entities may simultaneously be at parts, boundaries and/or aggregates. We introduce functions which map entities to their boundaries, at parts or aggregations. We make use of time, space and spacetime projection functions which, along the way, allow us to develop a simple temporal theory.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Horacio Banega (2012). Formal Ontology as an Operative Tool in the Theories of Objecs of the Life-World: Stumpf, Husserl and Ingarden. Symposium 16 (2):64-88.score: 90.0
    Formal ontology as it is presented in Husserl`s Third Logical Investigation can be interpreted as a fundamental tool to describe objects in a formal sense. It is presented one of the main sources: chapter five of Carl Stumpf`s Ûber den psycholoogischen Ursprung der Raumovorstellung (1873), and then it is described how Husserlian Formal Ontology is applied in Fifth Logical Investigation. Finally, it is applied to dramatic structures, in the spirit of Roman Ingarden.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Arkadiusz Chrudzimski (2013). Gestalt, Equivalency, and Functional Dependency. Kurt Grelling’s Formal Ontology. In Nikolay Milkov & Volker Peckhaus (eds.), The Berlin Group and the Philosophy of Logical Empiricism. Springer. 245--261.score: 78.0
    In his ontological works Kurt Grelling tries to give a rigorous analysis of the foundations of the so-called Gestalt-psychology. Gestalten are peculiar emergent qualities, ontologically dependent on their foundations, but nonetheless non reducible to them. Grelling shows that this concept, as used in psychology and ontology, is often ambiguous. He distinguishes two important meanings in which the word “Gestalt” is used: Gestalten as structural aspects available to transposition and Gestalten as causally self-regulating wholes. Gestalten in the first meaning are, (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Barry Smith (1998). Basic Concepts of Formal Ontology. In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press. 19--28.score: 75.0
    The term ‘formal ontology’ was first used by the philosopher Edmund Husserl in his Logical Investigations to signify the study of those formal structures and relations – above all relations of part and whole – which are exemplified in the subject-matters of the different material sciences. We follow Husserl in presenting the basic concepts of formal ontology as falling into three groups: the theory of part and whole, the theory of dependence, and the theory of (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Christopher Menzel, Formal Ontology and Philosophical Content on the Semantic Web.score: 75.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  6. Barry Smith & Kevin Mulligan (1983). Framework for Formal Ontology. Topoi 2 (1):73-85.score: 66.0
    The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  7. Barry Smith (ed.) (1982). Parts and Moments: Studies in Logic and Formal Ontology. Philosophia Verlag.score: 63.0
    A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  8. Barry Smith (1995). Formal Ontology, Common Sense, and Cognitive Science. International Journal of Human-Computer Studies 43:641–667.score: 60.0
    Common sense is on the one hand a certain set of processes of natural cognition - of speaking, reasoning, seeing, and so on. On the other hand common sense is a system of beliefs (of folk physics, folk psychology and so on). Over against both of these is the world of common sense, the world of objects to which the processes of natural cognition and the corresponding belief-contents standardly relate. What are the structures of this world? How does the scientific (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Roberto Poli (1993). Husserl's Conception of Formal Ontology. History and Philosophy of Logic 14 (1):1-14.score: 60.0
    The concept of formal ontology was first developed by Husserl. It concerns problems relating to the notions of object, substance, property, part, whole, predication, nominalization, etc. The idea of formal ontology is present in many of Husserl?s works, with minor changes. This paper provides a reconstruction of such an idea. Husserl?s proposal is faced with contemporary logical orthodoxy and it is presented also an interpretative hypothesis, namely that the original difference between the general perspective of usual (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Gregory Landini (2009). Cocchiarella's Formal Ontology and the Paradoxes of Hyperintensionality. Axiomathes 19 (2):115-142.score: 60.0
    This is a critical discussion of Nino B. Cocchiarella’s book “Formal Ontology and Conceptual Realism.” It focuses on paradoxes of hyperintensionality that may arise in formal systems of intensional logic.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. Peter Simons (1994). New Categories for Formal Ontology. Grazer Philosophische Studien 49:77-99.score: 60.0
    What primitive concepts does formal ontology require? Forsaking as too indirect the linguistic way of discerning the categories of being, this paper considers what primitives might be required for representing things in themselves (noumena) and representations of them in a thoroughly crafted large autonomous multi-purpose database. Leaving logical concepts and material ontology aside, the resulting 32 categories in 13 families range from the obvious (identity/difference, existence/non-existence) through the fairly obvious (part/whole, one/many, sequential order) and the surprisingly familiar (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. J. Pustejovsky (1998). Formal Ontology and Lexical Semantics. In. In Nicola Guarino (ed.), Formal Ontology in Information Systems. Ios Press. 98.score: 60.0
    No categories
     
    My bibliography  
     
    Export citation  
  13. Jonathan Simon (2005). Formal Ontology for Natural Language Processing and the Integration of Biomedical Databases. International Journal of Medical Informatics 75:224-231.score: 60.0
    The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies. To this end r®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this project we (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  14. Achille C. Varzi, On the Boundary Between Material and Formal Ontology.score: 57.0
    There are two main ways, philosophically, of characterizing the business of ontology, and it is good practice to try and keep them separate. On one account, made popular by Quine, ontology is concerned with the question of what there is. Since to say that there are things that are not would be selfcontradictory, Quine famously pronounced that such a question can be answered in a single word—‘Everything’. However, to say ‘Everything’ is to say nothing. It is merely to (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  15. Natan Berber (2008). A Situational Formal Ontology of the Tracatus. Polish Journal of Philosophy 2 (2):5-20.score: 57.0
    This paper disucsses the Boolean algebraic axiomatic system of situations suggested by the Polish logician Roman Suszko (1919-1979). The paper will specifically examine the adequacy of the axioms, definitions and theorems of Suszko’s system as a model for Ludwig Wittgenstein’s Tracatus Logico-Philosophicus. It will be shown how the formal properties of Suszko’s system - the atomicity and completeness of the Boolean algebraic system - can be employed in order to clarify key concepts of the situational part of the Tractarian (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  16. Barry Smith (2012). Classifying Processes: An Essay in Applied Ontology. Ratio 25 (4):463-488.score: 54.0
    We begin by describing recent developments in the burgeoning discipline of applied ontology, focusing especially on the ways ontologies are providing a means for the consistent representation of scientific data. We then introduce Basic Formal Ontology (BFO), a top-level ontology that is serving as domain-neutral framework for the development of lower level ontologies in many specialist disciplines, above all in biology and medicine. BFO is a bicategorial ontology, embracing both three-dimensionalist (continuant) and four-dimensionalist (occurrent) perspectives (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  17. Paul Thom (2010). Three Conceptions of Formal Logic. Vivarium 48 (1-2):228-242.score: 54.0
    Aristotle's logical and metaphysical works contain elements of three distinct types of formal theory: an ontology, a theory of consequences, and a theory of reasoning. His formal ontology (unlike that of certain later thinkers) does not require all propositions of a given logical form to be true. His formal syllogistic (unlike medieval theories of consequences) was guided primarily by a conception of logic as a theory of reasoning; and his fragmentary theory of consequences exists merely (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  18. Barry Smith, Pierre Grenon & Louis Goldberg (2004). Biodynamic Ontology: Applying BFO in the Biomedical Domain. Studies in Health and Technology Informatics 102:20–38.score: 54.0
    Current approaches to formal representation in biomedicine are characterized by their focus on either the static or the dynamic aspects of biological reality. We here outline a theory that combines both perspectives and at the same time tackles the by no means trivial issue of their coherent integration. Our position is that a good ontology must be capable of accounting for reality both synchronically (as it exists at a time) and diachronically (as it unfolds through time), but that (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  19. Thom Paul (2010). Three Conceptions of Formal Logic. Vivarium 48 (1-2):228-242.score: 54.0
    Aristotle's logical and metaphysical works contain elements of three distinct types of formal theory: an ontology, a theory of consequences, and a theory of reasoning. His formal ontology (unlike that of certain later thinkers) does not require all propositions of a given logical form to be true. His formal syllogistic (unlike medieval theories of consequences) was guided primarily by a conception of logic as a theory of reasoning; and his fragmentary theory of consequences exists merely (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  20. Luc Schneider (2010). Revisiting the Ontological Square. In Anthony Galton & Riichiro Mizoguchi (eds.), Proceeding of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010). IOS Press.score: 51.0
    Considerations regarding predication in ordinary language as well as the ontology of relations suggest a refinement of the Ontological Square, a conceptual scheme used in many foundational ontologies and which consists of particular substrates as well as their types on the one hand and particular attributes as well as their types on the other hand. First, the distinction between particulars and universals turns out to be one of degree, since particulars are merely the least elements in the subsumption hierarchy. (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  21. Robert Trypuz (2008). Formal Ontology of Action: A Unifying Approach. Wydawn. Kul.score: 51.0
     
    My bibliography  
     
    Export citation  
  22. Thomas Bittner & Barry Smith (2004). Normalizing Medical Ontologies Using Basic Formal Ontology. In Proceedings of GMDS 2004.score: 49.0
    Description Logics are nowadays widely accepted as formalisms which provide reasoning facilities which allow us to discover inconsistencies in ontologies in an automatic fashion. Where ontologies are developed in modular fashion, they allow changes in one module to propogated through the system of ontologies automatically in a way which helps to maintain consistency and stability. For this feature to be utilized effectively, however, requires that domain ontologies be represented in a normalized form.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. Marcello Frixione & Antonio Lieto (2012). Representing Concepts in Formal Ontologies: Compositionality Vs. Typicality Effects&Quot;,. Logic and Logical Philosophy 21 ( Logic, Reasoning and Rationalit):391-414.score: 48.0
    The problem of concept representation is relevant for many sub-fields of cognitive research, including psychology and philosophy, as well as artificial intelligence. In particular, in recent years it has received a great deal of attention within the field of knowledge representation, due to its relevance for both knowledge engineering as well as ontology-based technologies. However, the notion of a concept itself turns out to be highly disputed and problematic. In our opinion, one of the causes of this state of (...)
    Direct download (13 more)  
     
    My bibliography  
     
    Export citation  
  24. Frederick James Crosson (1962). Formal Logic and Formal Ontology in Husserl's Phenomenology. Notre Dame Journal of Formal Logic 3 (4):259-269.score: 48.0
  25. B. Smith (1989). Logic and Formal Ontology. In Husserl’s Phenomenology: A Textbook. University Press of America.score: 48.0
    The current resurgence of interest in cognition and in the nature of cognitive processing has brought with it also a renewed interest in the early work of Husserl, one of the most sustained attempts to come to grips with the problems of logic from a cognitive point of view. Logic, for Husserl, is a theory of science; but it is a theory which takes seriously the idea that scientific theories are constituted by the mental acts of cognitive subjects. The present (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  26. Gert Jan Lokhorst (1988). Ontology, Semantics and Philosophy of Mind in Wittgenstein's Tractatus: A Formal Reconstruction. [REVIEW] Erkenntnis 29 (1):35 - 75.score: 48.0
    The paper presents a formal explication of the early Wittgenstein's views on ontology, the syntax and semantics of an ideal logical language, and the propositional attitudes. It will be shown that Wittgenstein gave a language of thought analysis of propositional attitude ascriptions, and that his ontological views imply that such ascriptions are truth-functions of (and supervenient upon) elementary sentences. Finally, an axiomatization of a quantified doxastic modal logic corresponding to Tractarian semantics will be given.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  27. Steven E. Boër (2003). Thought-Contents and the Formal Ontology of Sense. Journal of Philosophical Logic 32 (1):43-114.score: 48.0
    This paper articulates a formal theory of belief incorporating three key theses: (1) belief is a dyadic relation between an agent and a property; (2) this property is not the belief's truth condition (i.e., the intuitively self-ascribed property which the agent must exemplify for the belief to be true) but is instead a certain abstract property (a "thought-content") which contains a way of thinking of that truth condition; (3) for an agent a to have a belief "about" such-and-such items (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  28. Werner Ceusters & Barry Smith (2010). Malaria Diagnosis and the Plasmodium Life Cycle: The BFO Perspective. In Interdisciplinary Ontology. Proceedings of the Third Interdisciplinary Ontology Meeting. Keio University Press.score: 48.0
    Definitive diagnosis of malaria requires the demonstration through laboratory tests of the presence within the patient of malaria parasites or their components. Since malaria parasites can be present even in the absence of malaria manifestations, and since symptoms of malaria can be manifested even in the absence of malaria parasites, malaria diagnosis raises important issues for the adequate understanding of disease, etiology and diagnosis. One approach to the resolution of these issues adopts a realist view, according to which the needed (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  29. Stefano Borgo, Matteo Cristani & Roberta Cuel (2006). Formal Ontology Meets Industry. Applied Ontology 1 (3):217-220.score: 48.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Nino B. Cocchiarella (2010). Actualism Versus Possibilism in Formal Ontology. In Roberto Poli & Johanna Seibt (eds.), Theory and Applications of Ontology: Philosophical Perspectives. Springer Verlag. 105--117.score: 48.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. Nino B. Cocchiarella (1991). Formal Ontology. In Hans Burkhardt & Barry Smith (eds.), Handbook of Metaphysics and Ontology. Philosophia Verlag. 640--647.score: 48.0
    No categories
     
    My bibliography  
     
    Export citation  
  32. Boris Hennig (2008). What is Formal Ontology? In Katherine Munn & Barry Smith (eds.), Applied Ontology. An Introduction. Ontos Verlag.score: 48.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  33. Mohamed Hedi Karray, Brigitte Chebel-Morello & Noureddine Zerhouni (2012). A Formal Ontology for Industrial Maintenance. Applied Ontology 7 (3):269-310.score: 48.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. Gilles Kassel (2010). A Formal Ontology of Artefacts. Applied Ontology 5 (3):223-246.score: 48.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. Gert-Jan Lokhorst (1988). Ontology, Semantics and Philosophy of Mind in Wittgenstein's "Tractatus": A Formal Reconstruction. Erkenntnis 29 (1):35 - 75.score: 48.0
    The paper presents a formal explication of the early Wittgenstein's views on ontology, the syntax and semantics of an ideal logical language, and the propositional attitudes. It will be shown that Wittgenstein gave a "language of thought" analysis of propositional attitude ascriptions, and that his ontological views imply that such ascriptions are truth-functions of (and supervenient upon) elementary sentences. Finally, an axiomatization of a quantified doxastic modal logic corresponding to Tractarian semantics will be given.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. Ryszard Maciołek (2008). Is Formal Logic a Kind of Ontology? Roczniki Filozoficzne 56 (1):191-219.score: 48.0
    This paper addresses the question of the relationship between the object of formal logic and the object of ontology. The history of logic and philosophy shows a kinship and overlapping between the two sciences. The analyses were conducted on the basis of three approaches to formal logic, i.e. Aristotle’s logic Rus­sell’s and Whitehead’s logic, and Leśniewski’s logic. At the same time, it sought to grasp its material and formal object. Now with regard to ontology mainly (...)
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  37. Raul Corazzon, Edmund Husserl: Formal Ontology and Transcendental Logic.score: 46.0
    "Husserl's work include lengthy treatment of universals, categories, meanings, numbers, manifolds, etc. from an ontological perspective. Here, however, we shall concentrate almost exclusively on the Logical Investigations, which contain in a clear form the ontological ideas which provided the terminological and theoretical basis both for much of the detailed phenomenological description and for many of the metaphysical theses presented in Husserl's later works.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  38. Barry Smith (1978). An Essay in Formal Ontology. Grazer Philosophische Studien 6:39–62.score: 46.0
    The present paper may be conceived both as a working introduction to certain aspects of the ontological theory put forward by the Polish phenomenologist Roman Ingarden in his mammoth treatise Der Streit um die <span class='Hi'>Existenz</span> der Welt,1 and also as a development of Ingarden’s views in the light of current tendencies in analytic philosophical logic. The central theme of the paper – though one which does not become apparent until very near the end – is the ontological analysis of (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  39. Nikolay Milkov (2011). Towards a Reistic Social-Historical Philosophy. In Petrov V. (ed.), Ontological Landscapes: Recent Thought on Conceptual Interfaces between Science and Philosophy. Ontos.score: 46.0
    The present essay advances a theory of social reality which concurs with the formal ontology developed in Wittgenstein’s Tractatus. Furthermore, we identify this formal ontology as reistic but in a rather wide sense: in the sense that social objects are primary whereas social relations are super-structured over them. This thesis has been developed in opposition to John Searle’s claim, made in his book Construction of Social Reality (1995), that the building blocks of social reality are institutions. (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  40. Steven E. Boër (1994). Propositional Attitudes and Formal Ontology. Synthese 98 (2):187 - 242.score: 46.0
    This paper develops — within an axiomatic theory of properties, relations, and propositions which accords them well-defined existence and identity conditions — a sententialist-functionalist account of belief as a symbolically mediated relation to a special kind of propositional entity, theproxy-encoding abstract proposition. It is then shown how, in terms of this account, the truth conditions of English belief reports may be captured in a formally precise and empirically adequate way that accords genuinely semantic status to familiar opacity data.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  41. E. J. Lowe (2011). The Rationality of Metaphysics. Synthese 178 (1):99-109.score: 45.0
    In this paper, it is argued that metaphysics, conceived as an inquiry into the ultimate nature of mind-independent reality, is a rationally indispensable intellectual discipline, with the a priori science of formal ontology at its heart. It is maintained that formal ontology, properly understood, is not a mere exercise in conceptual analysis, because its primary objective is a normative one, being nothing less than the attempt to grasp adequately the essences of things, both actual and possible, (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  42. R. Brown, J. F. Glazebrook & I. C. Baianu (2007). A Conceptual Construction of Complexity Levels Theory in Spacetime Categorical Ontology: Non-Abelian Algebraic Topology, Many-Valued Logics and Dynamic Systems. [REVIEW] Axiomathes 17 (3-4):409-493.score: 45.0
    A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  43. Thomas Bittner, Maureen Donnelly & Barry Smith (2004). Individuals, Universals, Collections: On the Foundational Relations of Ontology. In Achille Varzi & Laure Vieu (eds.), Formal Ontology in Information Systems. Proceedings of the Third International Conference, 37–48. IOS Press. 37–48..score: 45.0
    This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. Gilbert T. Null (2007). The Ontology of Intentionality II: Dependence Ontology as Prolegomenon to Noetic Modal Semantics. [REVIEW] Husserl Studies 23 (2):119-159.score: 45.0
    This is the second in a sequence of three essays which axiomatize and apply Edmund Husserl's dependence ontology of parts and wholes as a non-Diodorean, non-Kantian temporal semantics for first-order predicate modal languages. The Ontology of Intentionality I introduced enough of Husserl's dependence-ontology of parts and wholes to formulate his account of order as effected by relating moments of unity, and The Ontology of Intentionality II extends that axiomatic dependence-ontology far enough to enable its semantic (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  45. Bogusław Wolniewicz (1982). A Formal Ontology of Situations. Studia Logica 41 (4):381 - 413.score: 45.0
    A generalized Wittgensteinian semantics for propositional languages is presented, based on a lattice of elementary situations. Of these, maximal ones are possible worlds, constituting a logical space; minimal ones are logical atoms, partitioned into its dimensions. A verifier of a proposition is an elementary situation such that if real it makes true. The reference (or objective) of a proposition is a situation, which is the set of all its minimal verifiers. (Maximal ones constitute its locus.) Situations are shown to form (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  46. Nino B. Cocchiarella (2009). Reply to Gregory Landini's Review of Formal Ontology and Conceptual Realism. Axiomathes 19 (2):143-153.score: 45.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  47. John Scanlon (1975). Formal Logic and Formal Ontology. Research in Phenomenology 5 (1):95-107.score: 45.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  48. Nino B. Cocchiarella (1972). Properties as Individuals in Formal Ontology. Noûs 6 (2):165-187.score: 45.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  49. Nino B. Cocchiarella (2009). Reply to Andriy Vasylchenko's Review of Formal Ontology and Conceptual Realism. Axiomathes 19 (2):167-178.score: 45.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  50. John Corcoran (2005). Wholistic Reference, Truth-Values, Universes of Discourse, and Formal Ontology: Tréplica to Oswaldo Chateaubriand. Manuscrito 28 (1).score: 45.0
1 — 50 / 1000