Results for 'Stanford Encyclopedia of Philosophy, formal ontology'

935 found
Order:
  1. Answer Set Programming on Expert Feedback to Populate and Extend.Colin Allen - 2008 - In David Wilson & H. Chad Lane (eds.), Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference. AAAI Press. pp. 500-505.
    dynamic ontologies must be inferred and populated in part from the reference corpora themselves, but ontological rela-.
    Download  
     
    Export citation  
     
    Bookmark  
  2.  46
    How is a relational formal ontology relational? An introduction to the semiotic logic of agency in physics, mathematics and natural philosophy.Timothy M. Rogers - manuscript
    A speculative exploration of the distinction between a relational formal ontology and a classical formal ontology for modelling phenomena in nature that exhibit relationally-mediated wholism, such as phenomena from quantum physics and biosemiotics. Whereas a classical formal ontology is based on mathematical objects and classes, a relational formal ontology is based on mathematical signs and categories. A relational formal ontology involves nodal networks (systems of constrained iterative processes) that are dynamically (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. The Blind Shadows of Narcissus - a psychosocial study on collective imaginary. (2nd edition).Roberto Thomas Arruda (ed.) - 2020 - Terra à vista.
    In this work, we will approach some essential questions about the collective imaginary and their relations with reality and truth. We should face this subject in a conceptual framework, followed by the corresponding factual analysis of demonstrable behavioral realities. We will adopt not only the methodology, but mostly the tenets and propositions of the analytic philosophy, which certainly will be apparent throughout the study, and may be identified by the features described by Perez : -/- Rabossi (1975) defends the idea (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Imprecise Probabilities in Quantum Mechanics.Stephan Hartmann - 2015 - In Colleen E. Crangle, Adolfo García de la Sienra & Helen E. Longino (eds.), Foundations and Methods From Mathematics to Neuroscience: Essays Inspired by Patrick Suppes. Stanford Univ Center for the Study. pp. 77-82.
    In his entry on "Quantum Logic and Probability Theory" in the Stanford Encyclopedia of Philosophy, Alexander Wilce (2012) writes that "it is uncontroversial (though remarkable) the formal apparatus quantum mechanics reduces neatly to a generalization of classical probability in which the role played by a Boolean algebra of events in the latter is taken over the 'quantum logic' of projection operators on a Hilbert space." For a long time, Patrick Suppes has opposed this view (see, for example, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. The formal ontology of boundaries.Barry Smith & Achille C. Varzi - 1997 - Electronic Journal of Analytic Philosophy 5 (5).
    Revised version published as Barry Smith and Achille Varzi, “Fiat and Bona Fide Boundaries”, Philosophy and Phenomenological Research, 60: 2 (March 2000), 401–420.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. The Essences of Objects: Explicating a Theory of Essence in Object-Oriented Ontology.Stanford Howdyshell - 2020 - Open Philosophy 3 (1):01-10.
    In this paper, I will discuss the need for a theory of essences within Object-Oriented Ontology (OOO) and then formulate one. I will do so by drawing on Graham Harman’s work on OOO and Martin Heidegger’s thought on the essence of being, presented in his Introduction to Metaphysics. Harman touches on essences, describing them as the tension between a withdrawn object and its withdrawn qualities, but fails to distinguish between essential and inessential qualities within this framework. To fill in (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  7. Anselm of Canterbury (Internet Encyclopedia of Philosophy entry).Greg Sadler - 2006 - Internet Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark  
  8. Philosophy of immunology.Bartlomiej Swiatczak & Alfred I. Tauber - 2020 - Stanford Encyclopedia of Philosophy 2020.
    Philosophy of immunology is a subfield of philosophy of biology dealing with ontological and epistemological issues related to the studies of the immune system. While speculative investigations and abstract analyses have always been part of immune theorizing, until recently philosophers have largely ignored immunology. Yet the implications for understanding the philosophical basis of organismal functions framed by immunity offer new perspectives on fundamental questions of biology and medicine. Developed in the context of history of medicine, theoretical biology, and medical anthropology, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  9. Building Ontologies with Basic Formal Ontology.Robert Arp, Barry Smith & Andrew D. Spear - 2015 - Cambridge, MA: MIT Press.
    In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that (...)
    Download  
     
    Export citation  
     
    Bookmark   73 citations  
  10. Foundations of an ontology of philosophy.Pierre Grenon & Barry Smith - 2011 - Synthese 182 (2):185-204.
    We describe an ontology of philosophy that is designed to aid navigation through philosophical literature, including literature in the form of encyclopedia articles and textbooks and in both printed and digital forms. The ontology is designed also to serve integration and structuring of data pertaining to the philosophical literature, and in the long term also to support reasoning about the provenance and contents of such literature, by providing a representation of the philosophical domain that is oriented around (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  11. george boole.John Corcoran - 2006 - In Encyclopedia of Philosophy. 2nd edition. macmillan.
    2006. George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA. -/- George Boole (1815-1864), whose name lives among modern computer-related sciences in Boolean Algebra, Boolean Logic, Boolean Operations, and the like, is one of the most celebrated logicians of all time. Ironically, his actual writings often go unread and his actual contributions to logic are virtually unknown—despite the fact that he was one of the clearest writers in the field. Working with various students including Susan Wood and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Wholistic reference, truth-values, universes of discourse, and formal ontology: tréplica to Oswaldo Chateaubriand.John Corcoran - 2005 - Manuscrito 28 (1):143-167.
    ABSTRACT: In its strongest unqualified form, the principle of wholistic reference is that in any given discourse, each proposition refers to the whole universe of that discourse, regardless of how limited the referents of its non-logical or content terms. According to this principle every proposition of number theory, even an equation such as "5 + 7 = 12", refers not only to the individual numbers that it happens to mention but to the whole universe of numbers. This principle, its history, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Parts and Moments. Studies in Logic and Formal Ontology.Barry Smith (ed.) - 1982 - Philosophia Verlag.
    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.
    Download  
     
    Export citation  
     
    Bookmark   115 citations  
  14. On The Logical Formalization of Ansem's Ontological Argument.Ricardo Silvestre - 2015 - Revista Brasileira de Filosofia da Religião 2 (1):142–161.
    he general theme of this paper is the issue of formalization in philosophy; in a more specific way, it deals with the issue of formalization of arguments in analytic philosophy of religion. One argument in particular – Anselm’s Proslogion II ontological argument – and one specific attempt to formalize it – Robert Adams’ formalization found in his paper “The Logical Structure of Anselm’s Arguments”, published in The Philosophical Review in 1971 – are taken as study cases. The purpose of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Using philosophy to improve the coherence and interoperability of applications ontologies: A field report on the collaboration of IFOMIS and L&C.Jonathan Simon, James Matthew Fielding & Barry Smith - 2004 - In Gregor Büchel, Bertin Klein & Thomas Roth-Berghofer (eds.), Proceedings of the First Workshop on Philosophy and Informatics. Deutsches Forschungs­zentrum für künstliche Intelligenz, Cologne: 2004 (CEUR Workshop Proceedings 112). pp. 65-72.
    The collaboration of Language and Computing nv (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is guided by the hypothesis that quality constraints on ontologies for software ap-plication purposes closely parallel the constraints salient to the design of sound philosophical theories. The extent of this parallel has been poorly appreciated in the informatics community, and it turns out that importing the benefits of phi-losophical insight and methodology into application domains yields a variety of improvements. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  16. Philosophy of Blockchain Technology - Ontologies.Nicolae Sfetcu - 2019 - Bucharest, Romania: MultiMedia Publishing.
    About the necessity and usefulness of developing a philosophy specific to the blockchain technology, emphasizing on the ontological aspects. After an Introduction that highlights the main philosophical directions for this emerging technology, in Blockchain Technology I explain the way the blockchain works, discussing ontological development directions of this technology in Designing and Modeling. The next section is dedicated to the main application of blockchain technology, Bitcoin, with the social implications of this cryptocurrency. There follows a section of Philosophy in which (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Who Cares about Axiomatization? Representation, Invariance, and Formal Ontologies.R. Ferrario - 2006 - Epistemologia 29 (2):323-342.
    The philosophy of science of Patrick Suppes is centered on two important notions that are part of the title of his recent book (Suppes 2002): Representation and Invariance. Representation is important because when we embrace a theory we implicitly choose a way to represent the phenomenon we are studying. Invariance is important because, since invariants are the only things that are constant in a theory, in a way they give the “objective” meaning of that theory. Every scientific theory gives a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Engineering ontologies: Foundations and theories from philosophy and logical theory.Nicola Guarino & Barry Smith - 2006 - In Nicola Guarino & Barry Smith (eds.), Engineering ontologies: Foundations and theories from philosophy and logical theory. pp. 1-13.
    Ontology as a branch of philosophy is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality. ‘Ontology’ is often used by philosophers as a synonym for ‘metaphysics’ (literally: ‘what comes after the Physics’), a term which was used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’. The term ‘ontology’ (or ontologia) was itself coined in 1613, independently, by two (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Review of Classical Philosophy: A History of Philosophy without Any Gaps, Volume 1. [REVIEW]Chatterjee Subhasis Chattopadhyay - 2017 - Prabuddha Bharata or Awakened India 122 (10):715.
    Adamson has written a very readable history of philosophy in times when the discipline of philosophy is under unprecedented threat of annihilation.
    Download  
     
    Export citation  
     
    Bookmark  
  20. Is there such a thing as pragmatics?--Review of Concise Encyclopedia of Pragmatics 2nd ed (2009).Michael Starks - 2016 - In Suicidal Utopian Delusions in the 21st Century: Philosophy, Human Nature and the Collapse of Civilization-- Articles and Reviews 2006-2017 2nd Edition Feb 2018. Las Vegas, USA: Reality Press. pp. 381-399.
    Clearly neither I nor anyone will ever read any substantial part of this massive tome so I will discuss the one article that interests me most and which I think provides the framework necessary for the understanding of all the rest. I refer to the one on Ludwig Wittgenstein (W). Even were I to try to discuss others, we would not get past the first page as all the issues here arise immediately in any discussion of behavior. The differentiation of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Formal Approaches to the Ontological Argument.Ricardo Silvestre & Jean-Yves Beziau - 2018 - Journal of Applied Logics 5 (7):1433-1440.
    This paper introduces the special issue on Formal Approaches to the Ontological Argument of the Journal of Applied Logics (College Publications). The issue contains the following articles: Formal Approaches to the Ontological Argument, by Ricardo Sousa Silvestre and Jean-Yves Béziau; A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant, by Ricardo Sousa Silvestre; A Mechanically Assisted Examination of Begging the Question in Anselm’s Ontological Argument, by John Rushby; A Tractarian Resolution (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Mad Speculation and Absolute Inhumanism: Lovecraft, Ligotti, and the Weirding of Philosophy.Ben Woodard - 2011 - Continent 1 (1):3-13.
    continent. 1.1 : 3-13. / 0/ – Introduction I want to propose, as a trajectory into the philosophically weird, an absurd theoretical claim and pursue it, or perhaps more accurately, construct it as I point to it, collecting the ground work behind me like the Perpetual Train from China Mieville's Iron Council which puts down track as it moves reclaiming it along the way. The strange trajectory is the following: Kant's critical philosophy and much of continental philosophy which has followed, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  23. (4 other versions)The Fixation of Belief.C. S. Peirce - 1877 - Popular Science Monthly 12 (1):1-15.
    “Probably Peirce’s best-known works are the first two articles in a series of six that originally were collectively entitled Illustrations of the Logic of Science and published in Popular Science Monthly from November 1877 through August 1878. The first is entitled ‘The Fixation of Belief’ and the second is entitled ‘How to Make Our Ideas Clear.’ In the first of these papers Peirce defended, in a manner consistent with not accepting naive realism, the superiority of the scientific method over other (...)
    Download  
     
    Export citation  
     
    Bookmark   298 citations  
  24. Reasons explanations (of actions) as structural explanations.Megan Fritts - 2021 - Synthese 199 (5-6):12683-12704.
    Non-causal accounts of action explanation have long been criticized for lacking a positive thesis, relying primarily on negative arguments to undercut the standard Causal Theory of Action The Stanford Encyclopedia of Philosophy, 2016). Additionally, it is commonly thought that non-causal accounts fail to provide an answer to Donald Davidson’s challenge for theories of reasons explanations of actions. According to Davidson’s challenge, a plausible non-causal account of reasons explanations must provide a way of connecting an agent’s reasons, not only (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  65
    Democracia.Thomas Christiano & Gustavo Dalaqua - 2021 - In Everton Maciel (ed.), Textos selecionados de filosofia política. Ed. UFPel: NEPFIL Online.
    Tradução do verbete "Democracy", publicado por Thomas Christiano na Stanford Encyclopedia of Philosophy, acrescida de um apêndice.
    Download  
     
    Export citation  
     
    Bookmark  
  26. Série Investigações Filosóficas: Textos Selecionados de Filosofia da Ciência II [Philosophical Investigation Series: Selected Texts on Philosophy of Science II].Luana Poliseli (ed.) - 2021 - Pelotas: Editora da Universidade Federal de Pelotas.
    A Série Investigação Filosófica, uma iniciativa do Núcleo de Ensino e Pesquisa em Filosofia do Departamento de Filosofia da UFPel e do Grupo de Pesquisa Investigação Filosófica do Departamento de Filosofia da UNIFAP, sob o selo editorial do NEPFil online e da Editora da Universidade Federal de Pelotas, com auxílio financeiro da John Templeton Foundation, tem por objetivo precípuo a publicação da tradução para a língua portuguesa de textos selecionados a partir de diversas plataformas internacionalmente reconhecidas, tal como a (...) Encyclopedia of Philosophy, por exemplo. O objetivo geral da série é disponibilizar materiais bibliográficos relevantes tanto para a utilização enquanto material didático quanto para a própria investigação filosófica. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Ontology for Conceptual Modeling: Reality of What Thinging Machines Talk About, e.g., Information.Sabah Al-Fedaghi - manuscript
    In conceptual modeling (CM) as a subdiscipline of software engineering, current proposed ontologies (categorical analysis of entities) are typically established through whole adoption of philosophical theories (e.g. Bunge’s). In this paper, we pursue an interdisciplinary research approach to develop a diagrammatic-based ontological foundation for CM using philosophical ontology as a secondary source. It is an endeavor to escape an offshore procurement of ontology from philosophy and implant it in CM. In such an effort, the CM diagrammatic language plays (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. (1 other version)Is there such a thing as pragmatics?--Review of Concise Encyclopedia of Pragmatics 2nd ed (2009).Starks Michael - 2016 - In Michael Starks (ed.), Suicidal Utopian Delusions in the 21st Century: Philosophy, Human Nature and the Collapse of Civilization-- Articles and Reviews 2006-2017 2nd Edition Feb 2018. Las Vegas, USA: Reality Press. pp. 381-399.
    Clearly neither I nor anyone will ever read any substantial part of this massive tome so I will discuss the one article that interests me most and which I think provides the framework necessary for the understanding of all the rest. I refer to the one on Ludwig Wittgenstein (W). Even were I to try to discuss others, we would not get past the first page as all the issues here arise immediately in any discussion of behavior. The differentiation of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. The Density of Symbol Systems – A Critique of Nelson Goodman’s Notion.Krzysztof Guczalski - 2022 - Philosophia 50 (3):1131-1152.
    Nelson Goodman’s theory of symbol systems expounded in his Languages of Art has been frequently criticized on many counts (cf. list of secondary literature in the entry “Goodman’s Aesthetics” of Stanford Encyclopedia of Philosophy and Sect. 3 below). Yet it exerts a strong influence and is treated as one of the major twentieth-century theories on the subject. While many of Goodman’s controversial theses are criticized, the technical notions he used to formulate them seem to have been treated as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Nietzsche’s Theory of Empathy.Vasfi O. Özen - 2021 - Philosophical Papers 50 (1-2):235-280.
    Nietzsche is not known for his theory of empathy. A quick skimming of the Stanford Encyclopedia of Philosophy entry on empathy demonstrates this. Arthur Schopenhauer, Robert Vischer, and Theodor Lipps are among those whose views are considered representative, but Nietzsche has been simply forgotten in discussion of empathy. Nietzsche’s theory of empathy has not yet aroused sufficient interest among commentators. I believe that his views on this subject merit careful consideration. Nietzsche scholars have been interested in his naturalistic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. An Axiomatisation of Basic Formal Ontology with Projection Functions.Kerry Trentelman, Alan Ruttenberg & Barry Smith - 2010 - In Kerry Taylor (ed.), Advances in Ontologies, Proceedings of the Sixth Australasian Ontology Workshop. University of Adelaide. pp. 71-80.
    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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. The metaphysics of downward causation: Rediscovering the formal cause.Mariusz Tabaczek - 2013 - Zygon 48 (2):380-404.
    The methodological nonreductionism of contemporary biology opens an interesting discussion on the level of ontology and the philosophy of nature. The theory of emergence (EM), and downward causation (DC) in particular, bring a new set of arguments challenging not only methodological, but also ontological and causal reductionism. This argumentation provides a crucial philosophical foundation for the science/theology dialogue. However, a closer examination shows that proponents of EM do not present a unified and consistent definition of DC. Moreover, they find (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  33.  66
    Philosophical Investigation Series: Selected Texts on Memory and Imagination / Série Investigação Filosófica: Textos Selecionados sobre Memória e Imaginação.Danilo Fraga Dantas (ed.) - 2024 - Pelotas: UFPEL's Publisher / Editora da UFPEL (2024). Translated by Fabrício Dutra, Susie Kovalczyk, Arthur Silva Fachi, Vitor R. Almeida, Gabriel Zaccaro, Jonathas Kilque Villanova & Marcos Júnior Junges Panciera.
    A Série Investigação Filosófica é uma série de livros de traduções de verbetes da Enciclopédia de Filosofia da Stanford (Stanford Encyclopedia of Philosophy), que intenciona servir tanto como material didático para os professores das diferentes subáreas e níveis da Filosofia quanto como material de estudo para a pesquisa e para concursos da área. Nós, professores, sabemos o quão difícil é encontrar bom material em português para indicarmos. E há uma certa deficiência na graduação brasileira de filosofia, principalmente (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant.Ricardo Silvestre - 2018 - Journal of Applied Logics 5 (7):1441-1474.
    The purpose of this paper is twofold. First, it aims at introducing the ontological argument through the analysis of five historical developments: Anselm’s argument found in the second chapter of his Proslogion, Gaunilo’s criticism of it, Descartes’ version of the ontological argument found in his Meditations on First Philosophy, Leibniz’s contribution to the debate on the ontological argument and his demonstration of the possibility of God, and Kant’s famous criticisms against the (cartesian) ontological argument. Second, it intends to critically examine (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Self-consciousness and human evil. Proposal for an evolutionary approach (ASSC 22, 2018).Christophe Menant - manuscript
    Theories have been formulated to address the problem of evil [“The concept of Evil”. Stanford Encyclopedia of Philosophy]. We look here at a possible origin of human evil in pre-human times by using an evolutionary scenario for self-consciousness based on identifications with conspecifics [“Proposal for an evolutionary approach to self-consciousness”. Menant 2014]. The key point is that these identifications have also taken place with suffering or endangered conspecifics, thus creating in the minds of our ancestors a huge anxiety (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. UFO: Unified Foundational Ontology.Giancarlo Guizzardi, Alessander Bottes Benevides, Claudemir M. Fonseca, João Paulo A. Almeida, Tiago Prince Sales & Daniele Porello - 2022 - Applied ontology 1 (17):167-210.
    The Unified Foundational Ontology (UFO) was developed over the last two decades by consistently putting together theories from areas such as formal ontology in philosophy, cognitive science, linguistics, and philosophical logics. It comprises a number of micro-theories addressing fundamental conceptual modeling notions, including entity types and relationship types. The aim of this paper is to summarize the current state of UFO, presenting a formalization of the ontology, along with the analysis of a number of cases to (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  37. W poszukiwaniu ontologicznych podstaw prawa. Arthura Kaufmanna teoria sprawiedliwości [In Search for Ontological Foundations of Law: Arthur Kaufmann’s Theory of Justice].Marek Piechowiak - 1992 - Instytut Nauk Prawnych PAN.
    Arthur Kaufmann is one of the most prominent figures among the contemporary philosophers of law in German speaking countries. For many years he was a director of the Institute of Philosophy of Law and Computer Sciences for Law at the University in Munich. Presently, he is a retired professor of this university. Rare in the contemporary legal thought, Arthur Kaufmann's philosophy of law is one with the highest ambitions — it aspires to pinpoint the ultimate foundations of law by explicitly (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  38. A unified framework for building ontological theories with application and testing in the field of clinical trials.Heller Barbara, Herre Heinrich & Barry Smith - 2004 - In Vizenor Lowell, Smith Barry & Ceusters Werner (eds.), Ifomis Reports. Ifomis.
    The objective of this research programme is to contribute to the establishment of the emerging science of Formal Ontology in Information Systems via a collaborative project involving researchers from a range of disciplines including philosophy, logic, computer science, linguistics, and the medical sciences. The re­searchers will work together on the construction of a unified formal ontology, which means: a general framework for the construction of ontological theories in specific domains. The framework will be constructed using the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Dancing-with Cognitive Science: Three Therapeutic Provocations.Joshua M. Hall - forthcoming - Middle Voices.
    According to the “Embodied Cognition” entry in the Stanford Encyclopedia of Philosophy, the three landmark texts in the 4E cognitive science tradition are Lakoff and Johnson’s Metaphors We Live By, Varela, Thompson, and Rosch’s The Embodied Mind, and Andy Clark’s Being There. In my first section, I offer a phenomenological interpretation of these three texts, identifying recuring affirmations of the figure of dance alongside explicit marginalization of the practice of dance, perhaps in part due to cognitive science’s overemphasis (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. The bridge between philosophy and information-driven science.Barry Smith - 2021 - Journal of Knowledge Structures and Systems 2 (2):47-55.
    This essay is a response to Luis M. Augusto’s intriguing paper on the rift between mainstream and formal ontology. I will show that there are in fact two questions at issue here: 1. concerning the links between mainstream and formal approaches within philosophy, and 2. concerning the application of philosophy (and especially philosophical ontology) in support of information-driven research for example in the life sciences.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  41. Bridging mainstream and formal ontology: A causality-based upper ontology in Dietrich of Freiberg.Luis M. Augusto - 2021 - Journal of Knowledge Structures and Systems 2 (2):35.
    Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  42. On philosophical motivations for paraconsistency: an ontology-free interpretation of the logics of formal inconsistency.Walter Carnielli & Abilio Rodrigues - manuscript
    In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Political Realism in International Relations.W. Julian Korab-Karpowicz - 2010 - The Stanford Encyclopedia of Philosophy.
    In the discipline of international relations there are contending general theories or theoretical perspectives. Realism, also known as political realism, is a view of international politics that stresses its competitive and conflictual side. It is usually contrasted with idealism or liberalism, which tends to emphasize cooperation. Realists consider the principal actors in the international arena to be states, which are concerned with their own security, act in pursuit of their own national interests, and struggle for power. The negative side of (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  44. Are current AIs moral agents?Xin Guan - manuscript
    In the following essay, I will argue that the current AIs are not moral agents. I will first criticize the influential argument from sentience accounted by Véliz. According to Véliz, AIs are not moral agents because AIs can not feel pleasure and pain. However, I will show that moral agency does not necessarily require the ability to be sentient and refute Véliz’s argument. Instead, I will propose an argument from responsibility. First, I will establish the truth that moral agents necessarily (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Buclele cauzale în călătoria în timp.Nicolae Sfetcu - 2018 - Bucharest, Romania: MultiMedia Publishing.
    În această lucrare analizez posibilitatea călătoriei în timp pe baza mai multor lucrări de specialitate, printre care cele ale lui Nicholas J.J. Smith ("Time Travel", The Stanford Encyclopedia of Philosophy”), William Grey (”Troubles with Time Travel”), Ulrich Meyer (”Explaining causal loops”), Simon Keller și Michael Nelson (”Presentists should believe in time-travel”), Frank Arntzenius și Tim Maudlin ("Time Travel and Modern Physics") și David Lewis (“The Paradoxes of Time Travel”). Lucrarea începe cu o Introducere în care fac o scurtă (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  46. Formal Ontology for Natural Language Processing and the Integration of Biomedical Databases.Jonathan Simon, James M. Fielding, Mariana C. Dos Santos & Barry Smith - 2005 - International Journal of Medical Informatics 75 (3-4):224-231.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  47. Logic-Language-Ontology.Urszula B. Wybraniec-Skardowska - 2022 - Cham, Switzerland: Springer Nature, Birkhäuser, Studies in Universal Logic series.
    The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Ontology or Practice? An Ingardenian Examination of Crittenden’s Ficta.Hicham Jakha - 2024 - Eidos. A Journal for Philosophy of Culture 8 (2):126-157.
    In this article, I analyze Charles Crittenden’s account of fictional objects in his Unreality: The Metaphysics of Fictional Objects (1991). I argue that Crittenden’s sketchy ontology of fictional objects does not support his weak eliminativism. Going along the lines of Amie Thomasson (1999), I stress that the problem of fictional objects is a strictly ontological problem, which requires an ontological solution. A solution to the problem of fictional objects (or ficta) that accommodates “practice” (ordinary language and literary practices) is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Causal Decision Theory and EPR correlations.Arif Ahmed & Adam Caulton - 2014 - Synthese 191 (18):4315-4352.
    The paper argues that on three out of eight possible hypotheses about the EPR experiment we can construct novel and realistic decision problems on which (a) Causal Decision Theory and Evidential Decision Theory conflict (b) Causal Decision Theory and the EPR statistics conflict. We infer that anyone who fully accepts any of these three hypotheses has strong reasons to reject Causal Decision Theory. Finally, we extend the original construction to show that anyone who gives any of the three hypotheses any (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  50. Ontology: Towards a new synthesis.Barry Smith & Chris Welty - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press.
    This introduction to the second international conference on Formal Ontology and Information Systems presents a brief history of ontology as a discipline spanning the boundaries of philosophy and information science. We sketch some of the reasons for the growth of ontology in the information science field, and offer a preliminary stocktaking of how the term ‘ontology’ is currently used. We conclude by suggesting some grounds for optimism as concerns the future collaboration between philosophical ontologists and (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 935