Results for ' formalization'

1000+ found
Order:
  1. Designometry – Formalization of Artifacts and Methods.Soenke Ziesche & Roman Yampolskiy - manuscript
    Two interconnected surveys are presented, one of artifacts and one of designometry. Artifacts are objects, which have an originator and do not exist in nature. Designometry is a new field of study, which aims to identify the originators of artifacts. The space of artifacts is described and also domains, which pursue designometry, yet currently doing so without collaboration or common methodologies. On this basis, synergies as well as a generic axiom and heuristics for the quest of the creators of artifacts (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  3. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  4. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  5. 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 is of (...)
    Download  
     
    Export citation  
     
    Bookmark   68 citations  
  6. 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.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  7. 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.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  94
    Can “Formal Theology” Ground a Religion for Science, or, a Religion for Scientists?Johan Gamper - manuscript
    In 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. The explanation game: a formal framework for interpretable machine learning.David S. Watson & Luciano Floridi - 2020 - Synthese 198 (10):1–⁠32.
    We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  10. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  11. The Formal Cause in the Posterior Analytics.Petter Sandstad - 2016 - Filozofski Vestnik 37 (3):7-26.
    I argue that Aristotle’s account of scientific demonstrations in the Posterior Analytics is centred upon formal causation, understood as a demonstration in terms of essence (and as innocent of the distinction between form and matter). While Aristotle says that all four causes can be signified by the middle term in a demonstrative syllogism, and he discusses at some length efficient causation, much of Aristotle’s discussion is foremost concerned with the formal cause. Further, I show that Aristotle had very detailed procedures (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  12. Pregeometry, Formal Language and Constructivist Foundations of Physics.Xerxes D. Arsiwalla, Hatem Elshatlawy & Dean Rickles - manuscript
    How 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  14. Formal Theology.Johan Gamper - manuscript
    Ontology 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  16. 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) (...)
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  17. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  18. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Facts, Formal Objects and Ontology.Kevin Mulligan - 2009 - Swiss Philosophical Preprints.
    What is a fact ? Are there such things ?
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  20. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21.  29
    A Formal Epistemological Defence of Direct Realism: Rebutting the Colour Delusion Argument.Wilfrid Wulf - forthcoming - Oxford Studies in Epistemology.
    I defend J. L. Austin's direct realism against the colour delusion argument by employing epistemic logic to demonstrate that perceiving colours does not necessitate an intermediary such as sense-data, thus preserving the directness of perception.
    Download  
     
    Export citation  
     
    Bookmark  
  22. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Formal Causes for Powers Theorists.Giacomo Giannini & Stephen Mumford - 2021 - In Ludger Jansen & Petter Sandstad (eds.), Neo-Aristotelian Perspectives on Formal Causation. Abingdon, Oxon: Routledge. pp. 87-106.
    In this paper we examine whether and how powers ontologies can back formal causation. We attempt to answer three questions: i) what is formal causation; ii) whether we need formal causation, and iii) whether formal causation need powers and whether it can be grounded in powers. We take formal causal explanations to be explanations in which something's essence features prominently in the explanans. Three kinds of essential explanations are distinguished: constitutive, consequential, and those singling out something's propria. This last kind (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  24. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  26. Formal Axiology and Its Critics.Rem Blanchard Edwards (ed.) - 1995 - Amsterdam - Atlanta: Rodopi.
    This book is a collection of articles dealing with criticisms of Robert S. Hartman’s theory of formal axiology. During his lifetime, Hartman wrote responses to many of his critics. Some of these were previously published but many are published here for the first time. In particular, published here are Hartman’s replies to such critics as Hector Neri Castañeda, Charles Hartshorne, Rem B. Edwards, Robert E. Carter, G. R. Grice, Nicholas Rescher, Robert W. Mueller, Gordon Welty, Pete Gunter, George Kimball Plochmann, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. 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.
    Download  
     
    Export citation  
     
    Bookmark  
  28. The Formalization of Arguments.Robert Michels - 2020 - Dialectica 74 (2).
    The purpose of this introduction is to give a rough overview of the discussion of the formalization of arguments, focusing on deductive arguments. The discussion is structured around four important junctions: i) the notion of support, which captures the relation between the conclusion and premises of an argument, ii) the choice of a formal language into which the argument is translated in order to make it amenable to evaluation via formal methods, iii) the question of quality criteria for such (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Why formal objections to the error theory are sound.Christine Tiefensee & Gregory Wheeler - 2022 - Analysis 82 (4):608-616.
    Recent debate about the error theory has taken a ‘formal turn’. On the one hand, there are those who argue that the error theory should be rejected because of its difficulties in providing a convincing formal account of the logic and semantics of moral claims. On the other hand, there are those who claim that such formal objections fail, maintaining that arguments against the error theory must be of a substantive rather than a formal kind. In this paper, we argue (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. The Formal-Structural View of Logical Consequence.Gila Sher - 2001 - Philosophical Review 110 (2):241-261.
    This paper offers a response to William’s Hanson’s criticism of Sher’s formal-structural conception of logical consequence and logical constants.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  31. Formal ontology, common sense, and cognitive science.Barry Smith - 1995 - International Journal of Human-Computer Studies 43 (5-6):641–667.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  32. A Formal Model of Metaphor in Frame Semantics.Vasil Penchev - 2015 - In Proceedings of the 41st Annual Convention of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour. New York: Curran Associates, Inc.. pp. 187-194.
    A formal model of metaphor is introduced. It models metaphor, first, as an interaction of “frames” according to the frame semantics, and then, as a wave function in Hilbert space. The practical way for a probability distribution and a corresponding wave function to be assigned to a given metaphor in a given language is considered. A series of formal definitions is deduced from this for: “representation”, “reality”, “language”, “ontology”, etc. All are based on Hilbert space. A few statements about a (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  33. A formal semantics for Wittgenstein's builder language.Brian Rabern - manuscript
    Wittgenstein 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?
    Download  
     
    Export citation  
     
    Bookmark  
  34.  38
    Heidegger, Formal Indication, and Sexual Difference.Eric S. Nelson - 2022 - Eksistenz. Philosophical Hermeneutics and Intercultural Philosophy 1 (1):65-77.
    This contribution unfolds an existential-ontological response to the question of sexual difference in the context of Heidegger’s formally indicative concept of “Dasein.” The question of Dasein’s “neutrality” concerns how formal indication formalizes, empties, and neutralizes the givenness of factical human existence. Ostensibly “given” biological and anthropological facts, such as sexual difference, are interpreted from an emptied and neutralized perspective that appears abstract and fictional to Heidegger’s critics. How, then, is the “neutrality” of formalizing emptying related to the “facticity” of in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Formalizing Euclid’s first axiom.John Corcoran - 2014 - Bulletin of Symbolic Logic 20 (3):404-405.
    Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Formal and Transcendental Logic- Husserl's most mature reflection on mathematics and logic.Mirja Helena Hartimo - 2021 - In Hanne Jacobs (ed.), The Husserlian Mind. pp. 50-59.
    This essay presents Husserl’s Formal and Transcendental Logic (1929) in three main sections following the layout of the work itself. The first section focuses on Husserl’s introduction where he explains the method and the aim of the essay. The method used in FTL is radical Besinnung and with it an intentional explication of proper sense of formal logic is sought for. The second section is on formal logic. The third section focuses on Husserl’s “transcendental logic,” which is needed to make (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Formal ontology for biomedical knowledge systems integration.J. M. Fielding, J. Simon & Barry Smith - 2004 - Proceedings of Euromise:12-17.
    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 will greatly benefit software application ontologies. To this end LinKBase®, 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, we aim to move beyond the level (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Formalizing the intuitions on the meaning of life / Formalizando as intuições sobre o sentido da vida.Rodrigo Cid - 2010 - Revista Do Seminário Dos Alunos Do PPGLM/UFRJ 1:paper 10.
    When we ask ourselves about the meaning of life, two analyses are possible in principle: 1. that we are asking something about the purpose or the reason of being of life or of a life, or 2. that we are asking something the value of life or of a life. At the present article, I do not approach 1 neither the life as a whole, but I take the individual lives in the context of 2. I briefly explain what would (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39.  97
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Formalizing Kant’s Rules.Richard Evans, Andrew Stephenson & Marek Sergot - 2019 - Journal of Philosophical Logic 48:1-68.
    This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. On the application of formal principles to life science data: A case study in the Gene Ontology.Jacob Köhler, Anand Kumar & Barry Smith - 2004 - In Köhler Jacob, Kumar Anand & Smith Barry (eds.), Proceedings of DILS 2004 (Data Integration in the Life Sciences), (Lecture Notes in Bioinformatics 2994). Springer. pp. 79-94.
    Formal principles governing best practices in classification and definition have for too long been neglected in the construction of biomedical ontologies, in ways which have important negative consequences for data integration and ontology alignment. We argue that the use of such principles in ontology construction can serve as a valuable tool in error-detection and also in supporting reliable manual curation. We argue also that such principles are a prerequisite for the successful application of advanced data integration techniques such as ontology-based (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  42. Formalizing Reasons, Oughts, and Requirements.Robert Mullins - 2020 - Ergo: An Open Access Journal of Philosophy 7:568-599.
    Reasons-based accounts of our normative conclusions face difficulties in distinguishing between what ought to be done and what is required. This article addresses this problem from a formal perspective. I introduce a rudimentary formalization of a reasons-based account and demonstrate that that the model faces difficulties in accounting for the distinction between oughts and requirements. I briefly critique attempts to distinguish between oughts and requirements by appealing to a difference in strength or weight of reasons. I then present a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. A Formal Theory of Substances, Qualities, and Universals.Fabian Neuhaus, Pierre Grenon & Barry Smith - 2004 - In Achille Varzi & Laure Vieu (eds.), Formal Ontology in Information Systems. Proceedings of the Third International Conference. IOS Press.
    One of the tasks of ontology in information science is to support the classification of entities according to their kinds and qualities. We hold that to realize this task as far as entities such as material objects are concerned we need to distinguish four kinds of entities: substance particulars, quality particulars, substance universals, and quality universals. These form, so to speak, an ontological square. We present a formal theory of classification based on this idea, including both a semantics for the (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  44. Constructing formal semantics from an ontological perspective. The case of second-order logics.Thibaut Giraud - 2014 - Synthese 191 (10):2115-2145.
    In a first part, I defend that formal semantics can be used as a guide to ontological commitment. Thus, if one endorses an ontological view \(O\) and wants to interpret a formal language \(L\) , a thorough understanding of the relation between semantics and ontology will help us to construct a semantics for \(L\) in such a way that its ontological commitment will be in perfect accordance with \(O\) . Basically, that is what I call constructing formal semantics from an (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  45. Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007.B. Dunin-Keplicz & R. Verbrugge - 2013 - Logic Journal of the IGPL 21 (3):309-310.
    Over the last decade, multi-agent systems have come to form one of the key tech- nologies for software development. The Formal Approaches to Multi-Agent Systems (FAMAS) workshop series brings together researchers from the fields of logic, theoreti- cal computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems. FAMAS addresses the issues of logics for multi-agent systems, formal methods for verification, for example model check- ing, and formal approaches to cooperation, multi-agent planning, communication, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2009.B. Dunin-Keplicz & R. Verbrugge - 2013 - Logic Journal of the IGPL 21 (3):404-406.
    This special issue of the Logic Journal of the IGPL includes revised and updated versions of the best work presented at the fourth edition of the workshop Formal Ap- proaches to Multi-Agent Systems, FAMAS'09, which took place in Turin, Italy, from 7 to 11 September, 2009, under the umbrella of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW). -/- Just like its predecessor, research reported in this FAMAS 2009 special issue is very much inspired by practical concerns. This time (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. A Strange Kind of Power: Vetter on the Formal Adequacy of Dispositionalism.David Yates - 2020 - Philosophical Inquiries 8 (1):97-116.
    According to dispositionalism about modality, a proposition <p> is possible just in case something has, or some things have, a power or disposition for its truth; and <p> is necessary just in case nothing has a power for its falsity. But are there enough powers to go around? In Yates (2015) I argued that in the case of mathematical truths such as <2+2=4>, nothing has the power to bring about their falsity or their truth, which means they come out both (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  48. Formal Arithmetic Before Grundgesetze.Richard Kimberly Heck - 2019 - In Philip A. Ebert & Marcus Rossberg (eds.), Essays on Frege's Basic Laws of Arithmetic. Oxford: Oxford University Press. pp. 497-537.
    A speculative investigation of how Frege's logical views change between Begriffsschrift and Grundgesetze and how this might have affected the formal development of logicism.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  49. Some Formal Moments of Truth.Barry Smith - 1982 - In Werner Leinfellner (ed.), Language and Ontology. Vienna: Hölder-Pichler-Tempsky / Reidel. pp. 186-90.
    A preliminary statement of the formal theory of the truthmaker relation advanced in the paper “Truth-makers” (Mulligan, Simons and Smith) in 1984. Correspondence theories of truth have. I give a brief account of some more or less obvious formal characteristics of this almost forgotten basic truthmaker relation. I then attempt to show how this account may be extended to provide elements of a theory of truth which is in keeping with the spirit of Wittgenstein’s Tractatus.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  50. Formal operations and simulated thought.John-Michael Kuczynski - 2006 - Philosophical Explorations 9 (2):221-234.
    A series of representations must be semantics-driven if the members of that series are to combine into a single thought: where semantics is not operative, there is at most a series of disjoint representations that add up to nothing true or false, and therefore do not constitute a thought at all. A consequence is that there is necessarily a gulf between simulating thought, on the one hand, and actually thinking, on the other. A related point is that a popular doctrine (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000