- Submit
-
Browse
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- More
Results for 'formale Ontologie'
1000+ found
Order:
- Biomedizinische Ontologie: Wissen strukturieren für den Informatik-Einsatz.Ludger Jansen & Barry Smith (eds.) - 2008 - Zürich: Vdf Hochschulverlag.Dieses Buch betritt Neuland. Es ist eine Einführung in das neue Gebiet der angewandten Ontologie, jenem multidisziplinären Arbeitsgebiet, in dem Philosophen gemeinsam mit Informatikern und Vertretern der jeweils thematischen Wissenschaftsbereiche, in unserem Fall mit Biologen und Medizinern, daran arbeiten, wissenschaftliches Wissen informationstechnisch zu repräsentieren. Es zeigt, wie Philosophie eine praktische Anwendung findet, die von zunehmender Wichtigkeit nicht nur in den heutigen Lebenswissenschaften ist. Und so richtet sich dieses Buch an Philosophen, aber auch an interessierte Biologen, Mediziner und Informatiker.
- Braucht die Logik Objekte? Die Ontologie logischer Gegenstände im Tractatus und Erfahrung und Urteil.Miguel Ohnesorge - 2019 - Bulletin D’Analyse Phénoménologique 15 (2):1-32.Ludwig Wittgenstein’s Tractatus logico-philosophicus and Edmund Husserl’s Experience and Judgement (Erfahrung und Urteil) are based on remarkably different conceptual frameworks and methodologies. After analyzing their respective accounts on the foundations of (formal) logic, I map out their common aims and different conclusions. I hold that Husserl and Wittgenstein both use the epistemic necessity of the existence of logical relations among things as an argument against philosophical scepticism, but their different epistemological convictions lead them to decisively diverging accounts of the nature (...)
- Lasst uns den Weg einer neuen Ontologie einschlagen! (Teil 1).Gianluigi Segalerba - 2017 - Analele Universitatii Din Craiova, Seria Filosofie 40 (2):91-183.The present essay is the first part of an analysis regarding aspects of Aristotle’s ontology. Aristotle’s ontology is, in my opinion, a formal ontology that examines the fundamental structures of reality and that investigates the features belonging to entities such as substance, quantity, quality, universals. Aristotle’s ontology investigates, moreover, the reciprocal relations existing between these entities. Aristotle’s interpretation of universals is not, in my opinion, a nominalist interpretation of universals: I do not think Aristotle regards universals as being only mental (...)
- Ontologische Relationen.Ulf Schwarz & Barry Smith - 2008 - In L. Jansen & Barry Smith (eds.), Biomedizinische Ontologie: Wissen strukturieren für den Informatik-Einsatz. Zurich: vdf. pp. 155-172.In Kapitel 5 dieses Buches wurde mit dem ontologischen Sextett eine Klassifizierung der Realität vorgestellt, die das klassische Aristotelische Viereck erweitert, indem sie Einzeldinge und Universalien in insgesamt sechs Kategorien umfaßt. Zwischen den Entitäten dieser Kategorien sind bestimmte Beziehungen postuliert worden, wie zum Beispiel Inhärenz, Partizipation, Instantiierung, Exemplifizierung und Charakterisierung. In diesem Kapitel soil der Frage nachgegangen werden, wie eben diese Beziehungen zwischen den Entitäten dieser Kategorien genauer charakterisiert und die sie bezeichnenden relationalen Ausdrücke eindeutig formal definiert werden konnen.
- Filosofia tehnologiei blockchain - Ontologii.Nicolae Sfetcu - manuscriptDespre necesitatea şi utilitatea dezvoltării unei filosofii specifice tehnologiei blockchain, accentuând pe aspectele ontologice. După o Introducere în care evidenţiez principalele direcţii filosofice pentru această tehnologie emergentă, în Tehnologia blockchain explicitez modul de funcţionare al blockchain, punând în discuţie direcţiile ontologice de dezvoltare în Proiectarea şi Modelarea acestei tehnologii. Următoarea secţiune este dedicată principalei aplicaţii a tehnologiei blockchain, Bitcoin, cu implicaţiile sociale ale acestei criptovalute. Urmează o secţiune de Filosofie în care identific tehnologia blockchain cu conceptul de heterotopie dezvoltat de (...)
- Cunoaștere și Informații.Nicolae Sfetcu - 2016 - Drobeta Turnu Severin: MultiMedia Publishing.Cunoașterea și informațiile (abordate în ansamblu sau în componentele lor distincte) sunt o preocupare majoră pentru tehnologia informației, sisteme de informații, știința informației și activitatea de informații în general. Procesul obţinerii, prelucrării şi analizei informaţiilor este o preocupare majoră pentru societatea actuală. În acest scop se folosesc procedee şi tehnici specifice pentru culegerea sau generarea de informaţii, prelucrarea acestora prin analiză şi sinteză, generarea de predicţii şi strategii, transmisia şi prezentarea informaţiilor factorilor de decizie, şi stocarea lor. Analiza informațiilor poate (...)
- L'ontologie du virtuel.Alexandre Declos - 2022 - Klēsis Revue Philosophique 52:1-25.David Chalmers a récemment soutenu que la réalité virtuelle est réelle, plutôt que fictionnelle. Dans cet article, j’examine les implications ontologiques de ce « réalisme virtuel ». Comme je le suggère, cette position s’associe naturellement à une ontologie algorithmique, qui identifie les objets virtuels à des structures de données comprises de manière fonctionnelle. Je présente ensuite plusieurs objections à cette ontologie algorithmique. Tant que celles-ci ne sont pas réglées, la question de l’identité des mondes et des objets virtuels (...)
- Die Ontologie des Embryos.Barry Smith & Berit Brogaard - 2008 - In Ludger Jansen & Barry Smith (eds.), Biomedizinische Ontologie: Wissen strukturieren für den Informatik-Einsatz. Zurich: UTB Forum (vdf). pp. 199-228.Der Abschluß der Gastrulation, der gleichzeitig auch den Anfang der Neurulation bedeutet, ist die zeitliche Grenze, die Beginn eines menschlichen Individuums markiert. Oft wird behauptet, daß jegliche natürliche Veränderung stetig ist. Wie ist es dann aber möglich, eine zeitliche Grenze auszuzeichnen, an der ein menschliches Lebewesen zu existieren beginnt? Man beachte, was geschieht, wenn wir vom Thema zeitlicher Unstetigkeit zum räumlichen übergehen. Lebewesen haben räumliche Grenzen (wie sie durch ihre Haut geformt wird). Die letzteren sind genuine Diskontinuitäten, auch angesichts der (...)
- Ontologie quantistiche di particelle, campi e lampi.Valia Allori & Nino Zanghi - 2007 - In Vincenzo Fano & Mauro Antonelli (eds.), "Strutture dello spazio tra fisica e psicologia" Teorie e Modelli XII, III. Pitagora. pp. 9-29.La meccanica quantistica è una delle più grandi conquiste intellettuali del xx secolo. Le sue leggiregolano il mondo atomico e subatomico e si riverberano su una miriade di fenomeni del mondomacroscopico, dalla formazione dei cristalli alla superconduttività, dalle proprietà dei fluidi a bassatemperatura agli spettri di emissione di una candela che brucia o di una supernova che esplode, daimeccanismi di combustione della fornace solare ai principi di base delle nanotecnologie. Non c’èquasi nulla nel mondo che ci circonda su cui non (...)
- Ontologie des Embryos: Wann beginnt menschliches Leben.Barry Smith & Berit Brogaard - 2007 - In Honnefelder L. & Schmidt M. C. (eds.), Naturalismus als Paradigma - Wie weit reicht die naturwissenschaftliche Erklärung des Menschen? , 2007,. Berlin University Press. pp. 196-204.Der Abschluß der Gastrulation, der gleichzeitig auch den Anfang der Neurulation bedeutet, ist die zeitliche Grenze, die Beginn eines menschlichen Individuums markiert. Oft wird behauptet, daß jegliche natürliche Veränderung stetig ist. Wie ist es dann aber möglich, eine zeitliche Grenze auszuzeichnen, an der ein menschliches Lebewesen zu existieren beginnt? Man beachte, was geschieht, wenn wir vom Thema zeitlicher Unstetigkeit zum räumlichen übergehen. Lebewesen haben räumliche Grenzen (wie sie durch ihre Haut geformt wird). Die letzteren sind genuine Diskontinuitäten, auch angesichts der (...)
- L'ontologie des singularités.Nicolae Sfetcu - manuscriptLa relativité générale permet les singularités et nous devons comprendre l'ontologie si nous voulons comprendre la nature de l'espace et du temps dans l'univers d'aujourd'hui. Bien que certains physiciens pensent que les singularités indiquent un échec de la relativité générale, d'autres pensent que les singularités ouvrent un nouvel horizon dans la cosmologie, avec de réels phénomènes physiques pouvant contribuer à un progrès profond dans notre compréhension du monde. DOI: 10.13140/RG.2.2.24491.18728 .
- Métaphysique et Ontologie.Kevin Mulligan - 2009 - Swiss Philosophical Preprints.Les mots « métaphysique » et « ontologie » se disent de façons multiples à l’intérieur de la philosophie analytique et ailleurs dans la philosophie du vingtième siècle. Ils sont souvent employés pour parler de la théorie ou l’analyse de ce qu’il y a, des espèces principales de ce qu’il y a et de leurs rapports. Mais les positivistes viennois, par exemple, appelaient « métaphysiques » les philosophies qu’ils n’aimaient pas (Carnap 1985, Campbell 1976 ch. 2)1. Et si Quine (...)
- Formal Ontology.Jani Hakkarainen & Markku Keinänen - 2023 - Cambridge: Cambridge University Press.Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which we illustrate by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ontologies. We discuss critically different accounts of ontological form in the literature. Of ontological form, we propose a character- neutral relational account. In this metatheory, ontological forms of entities (...)
- Ontologie de l'activité de renseignement.Sfetcu Nicolae - manuscriptDans l'activité de renseignement, le problème ontologique est lié à la nature et aux caractéristiques des entités qui menacent et sont menacées. La menace est un objet ontologique très complexe et, par conséquent, une ontologie appropriée doit être construite conformément aux principes métaphysiques formels qui peuvent prendre en compte la complexité des objets, des attributs, des processus, des événements et des relations qui composent ces états de choses. DOI: 10.13140/RG.2.2.22693.73446.
- Defectiveness of formal concepts.Carolin Antos - manuscriptIt is often assumed that concepts from the formal sciences, such as mathematics and logic, have to be treated differently from concepts from non-formal sciences. This is especially relevant in cases of concept defectiveness, as in the empirical sciences defectiveness is an essential component of lager disruptive or transformative processes such as concept change or concept fragmentation. However, it is still unclear what role defectiveness plays for concepts in the formal sciences. On the one hand, a common view sees formal (...)
- Ontologie des Mesokosmos. Soziale Objekte und Umwelten.Barry Smith - 1998 - Zeitschrift für Philosophische Forschung 52 (4):521-540.The paper relates classical treatments of physics and metaphysics to contemporary work on common sense in the field of artificial intelligence (J. Hobbs, P. Hayes, et al.). It defends the universality (and truth) of certain basic principles of common-sense physics and shows why these basic principles must leave certain issues undetermined.
- Normative Formal Epistemology as Modelling.Joe Roussos - forthcoming - The British Journal for the Philosophy of Science.I argue that normative formal epistemology (NFE) is best understood as modelling, in the sense that this is the reconstruction of its methodology on which NFE is doing best. I focus on Bayesianism and show that it has the characteristics of modelling. But modelling is a scientific enterprise, while NFE is normative. I thus develop an account of normative models on which they are idealised representations put to normative purposes. Normative assumptions, such as the transitivity of comparative credence, are characterised (...)
- L’ontologie de la realité sociale.Barry Smith & John Searle - 2000 - In P. Livet & R. Ogien (eds.), L’Enquête ontologique, du mode de l'existence des objets sociaux. Paris: Editions EHESS. pp. 185--208.Part 1 of this exchange consists in a critique by Smith of Searle’s The Construction of Social Reality focusing on Searle’s use of the formula ‘X counts as Y in context C’. Smith argues that this formula works well for social objects such as dollar bills and presidents where the corresponding X terms (pieces of paper, human beings) are easy to identify. In cases such as debts and prices and money in a banks computers, however, the formula fails, because these (...)
- Ontologie de la relativité générale.Nicolae Sfetcu - manuscriptDans la vision classique, l'espace et le temps sont des conteneurs ; la matière est le contenu. La propriété distinctive de la matière est qu'elle transporte de l'énergie et des impulsions, préservée dans le temps, ce qui donne à ces impulsions un caractère ontologique fondamental. La relativité générale a généré diverses interprétations philosophiques anciennes. Ses adhérents ont mis en avant la « relativisation de l'inertie » et le concept de simultanéité, les kantiens et les néo-kantiens ont souligné l'approche de certaines (...)
- Mappe concettuali vs ontologie. Un confronto sull'utilizzo di strumenti informatici per la didattica.Antonio Lieto & Francesco Vittorio Rebuffo - 2019 - In Cristiano Chesi (ed.), Atti dell'Associazione Italiana di Scienze Cogntitive. 27100 Pavia, Province of Pavia, Italy: pp. 4-7.Questo lavoro propone un confronto tra diversi strumenti utilizzabili per modellare la conoscenza di dominio in ambito didattico: le mappa concettuali, Novak e Cañas (2006), (uno strumento tradizionalmente utilizzato nelle scuole) e le ontologie computazionali (dei sistemi formali di modellazione concettuale, attualmente molto usati nei sistemi di intelligenza artificiale per le loro capacità di “ragionamento automatico”, si veda Guarino, (1995)). Nello specifico, questo articolo presenta il risultato di un un doppio esperimento sul campo condotto presso il Liceo Scientifico “Guido (...)
- „Die Ontologie von Geist: Das Sein von Wahrnehmung, Bewusstsein, Intentionalität und Handeln“.Wolfgang Barz - 2020 - In Jan Urbich & Jörg Zimmer (eds.), Handbuch Ontologie. Stuttgart: Metzler. pp. 436-442.
- The formal sciences discover the philosophers' stone.James Franklin - 1994 - Studies in History and Philosophy of Science Part A 25 (4):513-533.The formal sciences - mathematical as opposed to natural sciences, such as operations research, statistics, theoretical computer science, systems engineering - appear to have achieved mathematically provable knowledge directly about the real world. It is argued that this appearance is correct.
- Ontologie-basierte Qualitätssicherung medizinischer Terminologien.Barry Smith - 2004 - Kooperative Versorgung, Vernetzte Forschung, Ubiquitäre Information, Proceedings of Gmds 2004:193-195.
- Phänomenologische Ontologie des Sozialen.Rastko Jovanov (ed.) - 2015 - IFDT.
- Ontologie des virus : choses, êtres, processus ou information ?Sfetcu Nicolae - manuscriptL'étude des virus soulève des questions conceptuelles et philosophiques pressantes sur leur nature, leur classification et leur place dans le monde biologique. Un ensemble majeur de problèmes concerne l'individualité et l'identité diachronique d'un virus: qu'est-ce que le virus, la particule virale (virion) ou l'ensemble du cycle viral? L'identification correcte du virus a des conséquences ontologiques importantes, également liées au lieu et au moment où les entités biologiques commencent et se terminent. DOI: 10.13140/RG.2.2.32904.24327.
- An Essay in Formal Ontology.Barry Smith - 1978 - Grazer Philosophische Studien 6 (1):39-62.As conceived by analytic philosophers ontology consists in the application of the methods of mathematical logic to the analysis of ontological discourse. As conceived by realist philosophers such as Meinong and the early Husserl, Reinach and Ingarden, it consists in the investigation of the forms of entities of various types. The suggestion is that formal methods be employed by phenomenological ontologists, and that phenomenological insights may contribute to the construction of adequate formal-ontological languages. The paper sketches an account of what (...)
- Formal logic: Classical problems and proofs.Luis M. Augusto - 2019 - London, UK: College Publications.Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.
- Ontologie relazionali e metafisica trinitaria. Sussistenze, eventi e gunk.Damiano Migliorini - 2022 - Brescia: Morcelliana.The book aims to examine how a Trinitarian Theism can be formulated through the elaboration of a Relational Ontology and a Trinitarian Metaphysics, in the context of a hyperphatic epistemology. This metaphysics has been proposed by some supporters of the so-called Open Theism as a solution to the numerous dilemmas of Classical Theism. The hypothesis they support is that the Trinitarian nature of God, reflected in a world of multiplicity, relationality, substance and relations, demands that we think of God as (...)
- A Formal Model of Primitive Aspects of Cognition and Learning in Cell Biology as a Generalizable Case Study of Peircean Logic.Timothy M. Rogers - manuscriptA formal model of the processes of digestion in a hypothetical cell is developed and discussed as a case study of how the threefold logic of Peircean semiotics works within Rosen’s paradigm of relational ontology. The formal model is used to demonstrate several fundamental differences between a relational description of biological processes and a mechanistic description. The formal model produces a logic of embodied generalization that is mediated and determined by the cell through its interactions with the environment. Specifically, the (...)
- De Ontologie van den Paradox.Karin Verelst - 2006 - Dissertation, Vrije Universiteit BrusselSince the dawn of philosophy, the paradoxical interconnection between the continuous and the discrete plays a central rôle in attempts to understand the ontology of the world, while defying all attempts at consistent formulation. I investigate the relation between (classical) logic and concepts of “space” and “time” in physical and metaphysical theories, starting with the Greeks. An important part of my research consists in exploring the strong connections between paradoxes as they appear and are dealt with in ancient philosophy, and (...)
- Can “Formal Theology” Ground a Religion for Science, or, a Religion for Scientists?Johan Gamper - manuscriptIn my old manuscript “Formal Theology” that now is out as a preprint I show that science and theology can be founded upon the same set of basic assumptions. I now follow up this idea with the thought that Formal Theology may be used to ground also a religion. “Religion“, in this regard, as related to beliefs. I’m not going into any details, neither concerning the original manuscript, nor this new idea. The important thing, I think, is to explore if (...)
- Ontologie und Metaphilosophie in Leibniz’ Mühlenargument.Andreas Blank - 2017 - In Thomas Leinkauf & Stefan Meier-Oeser (eds.), Harmonie und Realität. Beiträge zu Leibniz’ später Philosophie. pp. 161-177.
- Pregeometry, Formal Language and Constructivist Foundations of Physics.Xerxes D. Arsiwalla, Hatem Elshatlawy & Dean Rickles - manuscriptHow does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual building blocks for (...)
- Mere formalities: fictional normativity and normative authority.Daniel Wodak - 2019 - Canadian Journal of Philosophy 49 (6):1-23.It is commonly said that some standards, such as morality, are ‘normatively authoritative’ in a way that other standards, such as etiquette, are not; standards like etiquette are said to be ‘not really normative’. Skeptics deny the very possibility of normative authority, and take claims like ‘etiquette is not really normative’ to be either empty or confused. I offer a different route to defeat skeptics about authority: instead of focusing on what makes standards like morality special, we should focus on (...)
- A formalization of kant’s transcendental logic.Theodora Achourioti & Michiel van Lambalgen - 2011 - Review of Symbolic Logic 4 (2):254-289.Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order logic, namely what (...)
- On formal aspects of the epistemic approach to paraconsistency.Walter Carnielli, Marcelo E. Coniglio & Abilio Rodrigues - 2018 - In Max Freund, Max Fernandez de Castro & Marco Ruffino (eds.), Logic and Philosophy of Logic: Recent Trends in Latin America and Spain. London: College Publications. pp. 48-74.This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...)
- Formal inconsistency and evolutionary databases.Walter A. Carnielli, João Marcos & Sandra De Amo - 2000 - Logic and Logical Philosophy 8 (2):115-152.This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...)
- Die Ontologie des Geschlechts.Ludger Jansen - 2009 - In Hella Ehlers, Beate Rudlof, Heike Trappe, Gabriele Linke & Heike Kahlert (eds.), Geschlechterdifferenz – und kein Ende? Sozial- und geisteswissenschaftliche Beiträge zur Genderforschung. LIT-Verlag. pp. 19-39.
- The Formal and Real Subsumption of Gender Relations.Elizabeth Portella & Larry Alan Busk - forthcoming - Historical Materialism.Attempts to unify Marxist and feminist social critique have been vexed by the fact that ‘patriarchy’ predates the advent of capitalism (its transhistorical status). Feminists within the Marxist, socialist, and materialist traditions have responded to this point by either granting patriarchy a certain autonomy relative to capitalism (the ‘dual/triple systems’ approach), or by suggesting that patriarchal relations have a foundational and necessary status in the history of capitalist development (which we term the ‘origins-subsistence’ approach). This paper offers an alternative account (...)
- Formal Theology.Johan Gamper - manuscriptOntology and theology cannot be combined if ontology excludes non physical causes. This paper examines some possibilities for ontology to be combined with theology in so far as non physical causes are permitted. The paper builds on metaphysical findings that shows that separate ontological domains can interact causally indirectly via interfaces. As interfaces are not universes a first universe is allowed to be caused by an interface without violating the principle of causal closure of any universe. Formal theology can therefore (...)
- A Formal Theory of Democratic Deliberation.Hun Chung & John Duggan - 2020 - American Political Science Review 114 (1):14-35.Inspired by impossibility theorems of social choice theory, many democratic theorists have argued that aggregative forms of democracy cannot lend full democratic justification for the collective decisions reached. Hence, democratic theorists have turned their attention to deliberative democracy, according to which “outcomes are democratically legitimate if and only if they could be the object of a free and reasoned agreement among equals” (Cohen 1997a, 73). However, relatively little work has been done to offer a formal theory of democratic deliberation. This (...)
- Formal Methods.Richard Pettigrew - manuscript(This is for the Cambridge Handbook of Analytic Philosophy, edited by Marcus Rossberg) In this handbook entry, I survey the different ways in which formal mathematical methods have been applied to philosophical questions throughout the history of analytic philosophy. I consider: formalization in symbolic logic, with examples such as Aquinas’ third way and Anselm’s ontological argument; Bayesian confirmation theory, with examples such as the fine-tuning argument for God and the paradox of the ravens; foundations of mathematics, with examples such as (...)
- A Formal-Logical Approach to the Concept of God.Ricardo Sousa Silvestre - 2021 - Manuscrito. Revista Internacional de Filosofia 44 (4):224-260.In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. I (...)
- 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 aim to move beyond the level of (...)
- A formal ontology of artefacts.Gilles Kassel - 2010 - Applied ontology 5 (3):223-246.This article presents a formal ontology which accounts for the general nature of artefacts. The objective is to help structure application ontologies in areas where specific artefacts are present - in other words, virtually any area of activity. The conceptualization relies on recent philosophical and psychological research on artefacts, having resulted in a largely consensual theoretical basis. Furthermore, this ontology of artefacts extends the foundational DOLCE ontology and supplements its axiomatization. The conceptual primitives are as follows: artificial entity, intentional production (...)
- Formal thought disorder and logical form: A symbolic computational model of terminological knowledge.Luis M. Augusto & Farshad Badie - 2022 - Journal of Knowledge Structures and Systems 3 (4):1-37.Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...)
- Formal differential variables and an abstract chain rule.Samuel Alexander - 2023 - Proceedings of the ACMS 23.One shortcoming of the chain rule is that it does not iterate: it gives the derivative of f(g(x)), but not (directly) the second or higher-order derivatives. We present iterated differentials and a version of the multivariable chain rule which iterates to any desired level of derivative. We first present this material informally, and later discuss how to make it rigorous (a discussion which touches on formal foundations of calculus). We also suggest a finite calculus chain rule (contrary to Graham, Knuth (...)
- Formal Ontology as an Operative Tool in the Theories of the Objects of the Life-World.Horacio Banega - 2012 - Symposium 16 (2):64-88.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.
- A formal semantics for Wittgenstein's builder language.Brian Rabern - manuscriptWittgenstein asks: “Now what do the words of this language signify?—What is supposed to shew what they signify, if not the kind of use they have?” Might one answer that rhetorical question by giving a compositional semantics for Wittgenstein’s builder language?
- 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 to the (...)
| 1 — 50 / 1000 |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-hc2g5 uwo