Results for 'Savage axioms'

583 found
Order:
  1. Qualitative Axioms of Uncertainty as a Foundation for Probability and Decision-Making.Patrick Suppes - 2016 - Minds and Machines 26 (2):185-202.
    Although the concept of uncertainty is as old as Epicurus’s writings, and an excellent quantitative theory, with entropy as the measure of uncertainty having been developed in recent times, there has been little exploration of the qualitative theory. The purpose of the present paper is to give a qualitative axiomatization of uncertainty, in the spirit of the many studies of qualitative comparative probability. The qualitative axioms are fundamentally about the uncertainty of a partition of the probability space of events. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Descriptive Names and Shifty Characters: A Case for Tensed Rigidity.Heidi Savage - manuscript
    Standard rigid designator accounts of a name’s meaning have trouble accommodating what I will call a descriptive name’s “shifty” character -- its tendency to shift its referent over time in response to a discovery that the conventional referent of that name does not satisfy the description with which that name was introduced. I offer a variant of Kripke’s historical semantic theory of how names function, a variant that can accommodate the character of descriptive names while maintaining rigidity for proper names. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Four Problems for Empty Names.Heidi Savage - manuscript
    Empty names vary in their referential features. Some of them, as Kripke argues, are necessarily empty -- those that are used to create works of fiction. Others appear to be contingently empty -- those which fail to refer at this world, but which do uniquely identify particular objects in other possible worlds. I argue against Kripke's metaphysical and semantic reasons for thinking that either some or all empty names are necessarily non-referring, because these reasons are either not the right reasons (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. An Integrated Interpretation of Montague Grammar.Heidi Savage - manuscript
    This is what I hope is an illuminating, and to a certain degree, novel exposition of Montague Grammar. It is against many standard interpretations, and perhaps even against things Montague himself says at times. However, it makes more sense of how his various commitments fit together in a systematic way. Why, for instance, is it called "Montague Grammar" rather than "Montague Semantics," and what role does his commitment to Fregeanism plays in his conception of language? It is clear that he (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Constraints on the Universe as a Numerical Simulation.Silas Beane, Davoudi Zohreh & Martin J. Savage - manuscript
    Observable consequences of the hypothesis that the observed universe is a numerical simulation performed on a cubic space-time lattice or grid are explored. The simulation scenario is first motivated by extrapolating current trends in computational resource requirements for lattice QCD into the future. Using the historical development of lattice gauge theory technology as a guide, we assume that our universe is an early numerical simulation with unimproved Wilson fermion discretization and investigate potentially-observable consequences. Among the observables that are considered are (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. How I Stopped Worrying and Started Loving 'Sherlock Holmes': A Reply to Garcia-Carpintero.Heidi Savage - 2020 - Teorema: International Journal of Philosophy 1 (XXXIX):105-134.
    In “Semantics of Fictional Terms,” Garcia-Carpintero critically surveys the most recent literature on the topic of fictional names. One of his targets is realism about fictional discourse. Realists about fictional discourse believe that: (a) it contains true sentences that have fictional names as their subjects; (b) sentences containing names can be true only if those names have referents; (c) fictional names have fictional characters – abstract objects – as their referents. The fundamental problem that arises for realists is that not (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. The Truth and Nothing but the Truth: Non-Literalism and The Habits of Sherlock Holmes.Heidi Savage - 2020 - Southwest Philosophy Review 36 (2).
    Abstract: Many, if not most philosophers, deny that a sentence like ‘Sherlock Holmes smokes’ could be true. However, this attitude conflicts with the assignment of true to that sentence by natural language speakers. Furthermore, this process of assigning truth values to sentences like ‘Sherlock Holes smokes’ seems indistinguishable from the process that leads speakers to assign true to other sentences, those like ‘Bertrand Russell smokes’. I will explore the idea that when speakers assign the value true to the first sentence, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Names Are Not Predicates.Heidi Savage - manuscript
    There are many examples offered as evidence that proper names are predicates. Not all of these cases speak to a name’s semantic content, but many of them do. Some of these include attributive, quantifier, and ambiguity cases. We will explore those cases here, and we will see that none of them conclusively show that names are predicates. In fact, all of these constructions can be given alternative analyses that eliminate the predicative characteristics of names they feature. These analyses do not (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Why the Predicativist Calling Account Fails: Names Can Never Hurt You.Heidi Savage - manuscript
    Recently, and rather startlingly, given the history of the debate about a name's semantic content, some claim that names are in fact predicates -- predicativism. Some of predicativists claim that a name's semantic content involves the concept of being called -- calling accounts that have been traditionally meta-linguistic. However, these accounts fail to be informative. Inspired by Burge's claim that proper names are literally true of the individuals that have them, Fara develops a non-meta-linguistic concept of being called analysed in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. "No" Means No: Feminist and Victim Understandings of Sexual Assault.Heidi Savage - manuscript
    This was a public talk given in the spring of 2013 during sexual assault awareness week. I believe roughly 800 attended. The philosophy dept was NOT expecting that but at any rate, this is the gist: While there are many different motivations for raising questions about the Sexual Assault Awareness Movement, at least one motivation comes from feminist controversies about what counts as consensual sex. Historically, this controversy arose between those known as "anti-pornography feminists", and "sex positive feminists" whose proponents (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Kypris, Aphrodite, and Venus: More Puzzles about Belief.Heidi Savage - manuscript
    My aim in this paper is to show that the existence of empty names raise problems for the Millian that go beyond the traditional problems of accounting for their meanings. Specifically, they have implications for Millian strategies for dealing with puzzles about belief. The standard move of positing a referent for a fictional name to avoid the problem of meaning, because of its distinctly Millian motivation, implies that solving puzzles about belief, when they involve empty names, do in fact hang (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. On Diachronic, Synchronic, and Logical Necessity.Heidi Savage - manuscript
    According to EJ Lowe, diachronic necessity and synchronic necessity are logically independent. Diachronic possibility concerns what could happen to an object over time and therefore concerns future possibilities for that object given its past history. Synchronic possibility concerns what is possible for an object in the present or at a past present moment. These are logically independent, given certain assumptions. While it may true that because I am 38, it is impossible diachronically for me to be 30 (at least once (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Naming and Referring: Table of Contents.Heidi Savage - manuscript
    This book is about whether reference to an individual is the essential feature of a proper name -- a widely held view -- or whether referring to an individual is simply a contingent feature. Three questions need resolving, then. First, whether all names in particular contexts are themselves referring devices. Second, whether recognizing names types and the consequent issue of their ambiguity can be resolved simply by distinguishing between name types and tokens thereof. Last, whether names are ever referential in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Risk and Tradeoffs.Lara Buchak - 2014 - Erkenntnis 79 (S6):1091-1117.
    The orthodox theory of instrumental rationality, expected utility (EU) theory, severely restricts the way in which risk-considerations can figure into a rational individual's preferences. It is argued here that this is because EU theory neglects an important component of instrumental rationality. This paper presents a more general theory of decision-making, risk-weighted expected utility (REU) theory, of which expected utility maximization is a special case. According to REU theory, the weight that each outcome gets in decision-making is not the subjective probability (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  15. The Sure-Thing Principle.Jean Baccelli & Lorenz Hartmann - 2023 - Journal of Mathematical Economics 109 (102915).
    The Sure-Thing Principle famously appears in Savage’s axiomatization of Subjective Expected Utility. Yet Savage introduces it only as an informal, overarching dominance condition motivating his separability postulate P2 and his state-independence postulate P3. Once these axioms are introduced, by and large, he does not discuss the principle any more. In this note, we pick up the analysis of the Sure-Thing Principle where Savage left it. In particular, we show that each of P2 and P3 is equivalent (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Bayesian Decision Theory and Stochastic Independence.Philippe Mongin - 2017 - TARK 2017.
    Stochastic independence has a complex status in probability theory. It is not part of the definition of a probability measure, but it is nonetheless an essential property for the mathematical development of this theory. Bayesian decision theorists such as Savage can be criticized for being silent about stochastic independence. From their current preference axioms, they can derive no more than the definitional properties of a probability measure. In a new framework of twofold uncertainty, we introduce preference axioms (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  17. Infinite Prospects.Jeffrey Sanford Russell & Yoaav Isaacs - 2021 - Philosophy and Phenomenological Research 103 (1):178-198.
    People with the kind of preferences that give rise to the St. Petersburg paradox are problematic---but not because there is anything wrong with infinite utilities. Rather, such people cannot assign the St. Petersburg gamble any value that any kind of outcome could possibly have. Their preferences also violate an infinitary generalization of Savage's Sure Thing Principle, which we call the *Countable Sure Thing Principle*, as well as an infinitary generalization of von Neumann and Morgenstern's Independence axiom, which we call (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  18. Countable Additivity, Idealization, and Conceptual Realism.Yang Liu - 2020 - Economics and Philosophy 36 (1):127-147.
    This paper addresses the issue of finite versus countable additivity in Bayesian probability and decision theory -- in particular, Savage's theory of subjective expected utility and personal probability. I show that Savage's reason for not requiring countable additivity in his theory is inconclusive. The assessment leads to an analysis of various highly idealised assumptions commonly adopted in Bayesian theory, where I argue that a healthy dose of, what I call, conceptual realism is often helpful in understanding the interpretational (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  19. A Revolutionary New Metaphysics, Based on Consciousness, and a Call to All Philosophers.Lorna Green - manuscript
    June 2022 A Revolutionary New Metaphysics, Based on Consciousness, and a Call to All Philosophers We are in a unique moment of our history unlike any previous moment ever. Virtually all human economies are based on the destruction of the Earth, and we are now at a place in our history where we can foresee if we continue on as we are, our own extinction. As I write, the planet is in deep trouble, heat, fires, great storms, and record flooding, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Truth Evaluability in Radical Interpretation Theory.Eleni Manolakaki - 2000 - Dissertation, Philosophy
    The central problem of the dissertation concerns the possibility of a distinction between truth-evaluable and non-truth-evaluable utterances of a natural language. The class of truth-evaluable utterances includes assertions, con. ectures and other kinds of speech act susceptible of truth evaluation. The class of non-truth-evaluable utterances includes commands, exhortations, wishes i.e. utterances not evaluated as being true or false. The problem is placed in the context of radical interpretation theory and it shown that it is a substantial problem of Davidson‘s early (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21.  76
    Savage and civilized on controlling the weather, from The Golden Bough.Terence Rajivan Edward - manuscript
    Sir James Frazer’s The Golden Bough presents a puzzle regarding how primitive peoples believe they can control something which civilized people regard as beyond their control: the weather. I clarify the puzzle and consider Frazer’s solution to it, as well as other solutions.
    Download  
     
    Export citation  
     
    Bookmark  
  22. Adam Smith on Savages.Sergio Cremaschi - 2017 - Revue de Philosophie Économique 1 (1):13-36.
    I argue that (i) even though Adam Smith’s four stages theory has been criticized with good reasons as both vitiated by undue generalization from modern Europe to the first stage and made bottom-heavy by assumptions of modern episteme, yet, in his writings an alternative view emerges where the savage is not just crushed under the weight of want and isolation but is endowed with imagination and sympathy; (ii) his picture of the fourth stage is, far from a triumphal apology (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23.  86
    The hidden use of new axioms.Deborah Kant - 2023 - In Carolin Antos, Neil Barton & Giorgio Venturi (eds.), The Palgrave Companion to the Philosophy of Set Theory. Palgrave.
    This paper analyses the hidden use of new axioms in set-theoretic practice with a focus on large cardinal axioms and presents a general overview of set-theoretic practices using large cardinal axioms. The hidden use of a new axiom provides extrinsic reasons in support of this axiom via the idea of verifiable consequences, which is especially relevant for set-theoretic practitioners with an absolutist view. Besides that, the hidden use has pragmatic significance for further important sub-groups of the set-theoretic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Savages, Wild Men, and Monstrous Races: The Social Construction of Race in the Early Modern Era.Velazco Y. Trianosky - forthcoming - In Peggy Zeglin Brand (ed.), Beauty Revisited. Indiana University Press.
    Download  
     
    Export citation  
     
    Bookmark  
  25.  51
    Savages and Slaves.Garvin Rampersad - 2009 - Dissertation, Birkbeck, University of London
    An opinion piece on the history of the black man and the prisoner which assimilates them, their history, their politics, their geography and status. The fiction associated with them, the psychology and general authors opinion on their futures.
    Download  
     
    Export citation  
     
    Bookmark  
  26. The Axiom of choice in Quine's New Foundations for Mathematical Logic.Ernst P. Specker - 1954 - Journal of Symbolic Logic 19 (2):127-128.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  27. Moral Hazard, the Savage Framework, and State-Dependent Utility.Jean Baccelli - 2019 - Erkenntnis 86 (2):367-387.
    In this paper, I investigate the betting behavior of a decision-maker who can influence the likelihood of the events upon which she is betting. In decision theory, this is best known as a situation of moral hazard. Focusing on a particularly simple case, I sketch the first systematic analysis of moral hazard in the canonical Savage framework. From the results of this analysis, I draw two philosophical conclusions. First, from an observational and a descriptive point of view, there need (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Axioms for actuality.Harold T. Hodes - 1984 - Journal of Philosophical Logic 13 (1):27 - 34.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  29. Restricting Spinoza's Causal Axiom.John Morrison - 2015 - Philosophical Quarterly 65 (258):40-63.
    Spinoza's causal axiom is at the foundation of the Ethics. I motivate, develop and defend a new interpretation that I call the ‘causally restricted interpretation’. This interpretation solves several longstanding puzzles and helps us better understand Spinoza's arguments for some of his most famous doctrines, including his parallelism doctrine and his theory of sense perception. It also undermines a widespread view about the relationship between the three fundamental, undefined notions in Spinoza's metaphysics: causation, conception and inherence.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  30. Towards Even More Irresistible Axiom Weakening.Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti & Nicolas Toquard - 2020 - In Proceedings of the 33rd International Workshop on Description Logics {(DL} 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning {(KR} 2020), Online Event, Rhodes, Greece.
    Axiom weakening is a technique that allows for a fine-grained repair of inconsistent ontologies. Its main advantage is that it repairs on- tologies by making axioms less restrictive rather than by deleting them, employing the use of refinement operators. In this paper, we build on pre- viously introduced axiom weakening for ALC, and make it much more irresistible by extending its definitions to deal with SROIQ, the expressive and decidable description logic underlying OWL 2 DL. We extend the definitions (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. The Axiom of Infinity.Cassius Jackson Keyser - 1904 - Hibbert Journal 3:380-383.
    Download  
     
    Export citation  
     
    Bookmark  
  32. The axiom of infinity: A new presupposition of thought.Cassius Jackson Keyser - 1903 - Hibbert Journal 2:532-552.
    Download  
     
    Export citation  
     
    Bookmark  
  33. The axiom of infinity.Bertrand Russell - 1903 - Hibbert Journal 2:809-812.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  34. A System of Axioms for Minkowski Spacetime.Lorenzo Cocco & Joshua Babic - 2020 - Journal of Philosophical Logic (1):1-37.
    We present an elementary system of axioms for the geometry of Minkowski spacetime. It strikes a balance between a simple and streamlined set of axioms and the attempt to give a direct formalization in first-order logic of the standard account of Minkowski spacetime in [Maudlin 2012] and [Malament, unpublished]. It is intended for future use in the formalization of physical theories in Minkowski spacetime. The choice of primitives is in the spirit of [Tarski 1959]: a predicate of betwenness (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  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: (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. The Search for New Axioms in the Hyperuniverse Programme.Claudio Ternullo & Sy-David Friedman - 2016 - In Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Cham, Switzerland: Springer International Publishing. pp. 165-188.
    The Hyperuniverse Programme, introduced in Arrigoni and Friedman (2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the `maximal iterative concept', and the programme identi fies higher-order statements motivated by the maximal iterative concept. The satisfaction (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. An Elementary System of Axioms for Euclidean Geometry Based on Symmetry Principles.Boris Čulina - 2018 - Axiomathes 28 (2):155-180.
    In this article I develop an elementary system of axioms for Euclidean geometry. On one hand, the system is based on the symmetry principles which express our a priori ignorant approach to space: all places are the same to us, all directions are the same to us and all units of length we use to create geometric figures are the same to us. On the other hand, through the process of algebraic simplification, this system of axioms directly provides (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Operational axioms for diagonalizing states.Giulio Chiribella & Carlo Maria Scandolo - 2015 - EPTCS 195:96-115.
    In quantum theory every state can be diagonalized, i.e. decomposed as a convex combination of perfectly distinguishable pure states. This elementary structure plays an ubiquitous role in quantum mechanics, quantum information theory, and quantum statistical mechanics, where it provides the foundation for the notions of majorization and entropy. A natural question then arises: can we reconstruct these notions from purely operational axioms? We address this question in the framework of general probabilistic theories, presenting a set of axioms that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Maximality and ontology: how axiom content varies across philosophical frameworks.Sy-David Friedman & Neil Barton - 2017 - Synthese 197 (2):623-649.
    Discussion of new axioms for set theory has often focused on conceptions of maximality, and how these might relate to the iterative conception of set. This paper provides critical appraisal of how certain maximality axioms behave on different conceptions of ontology concerning the iterative conception. In particular, we argue that forms of multiversism (the view that any universe of a certain kind can be extended) and actualism (the view that there are universes that cannot be extended in particular (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  40. Repairing Ontologies via Axiom Weakening.Daniele Porello & Oliver Kutz Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello - 2018 - In Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in Artificial Intelligence (EAAI-18). pp. 1981--1988.
    Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies while preserving as much of the original knowledge as possible increases. Most previous approaches to this task are based on removing a few axioms from the ontology to regain consistency. We propose a new method based on weakening these axioms to make them less (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Are Large Cardinal Axioms Restrictive?Neil Barton - manuscript
    The independence phenomenon in set theory, while pervasive, can be partially addressed through the use of large cardinal axioms. A commonly assumed idea is that large cardinal axioms are species of maximality principles. In this paper, I argue that whether or not large cardinal axioms count as maximality principles depends on prior commitments concerning the richness of the subset forming operation. In particular I argue that there is a conception of maximality through absoluteness, on which large cardinal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Sufficient Reason & The Axiom of Choice, an Ontological Proof for One Unique Transcendental God for Every Possible World.Assem Hamdy - manuscript
    Chains of causes appear when the existence of God is discussed. It is claimed by some that these chains must be finite and terminated by God. But these chains seem endless through our knowledge search. This endlessness for the physical reasons for any world event expresses the greatness and complexity of God’s creation and so the transcendence of God. So, only we can put our hands on physical reasons in an endless forage for knowledge. Yet, the endlessness of the physical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. The Splendid and the Savage: The Dance of the Opposites in Indigenous Andean Thought.Hillary S. Webb - 2013 - Journal of Transpersonal Research 4 (1).
    One of the most well-known and defining characteristics of indigenous Andean thought is its adherence to a “complementary dualism” in which the “opposites” of existence are viewed as interdependent parts of a harmonious whole. This is in many ways in stark contrast to Western philosophical models, which have historically tended towards an “antagonistic dualism,” the view that the opposites are engaged in an eternal struggle for dominance. This paper considers how a culture’s relationship to the opposites—whether seen as a “war” (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Foundation of all Axioms the Axioms of Consciousness (Consciousness and special relativity?).Frank de Silva - 1996 - Engineering in Medicine and Biology 15 (3):21-26.
    A description of consciousness leads to a contradiction with the postulation from special relativity that there can be no connections between simultaneous event. This contradiction points to consciousness involving quantum level mechanisms. The Quantum level description of the universe is re- evaluated in the light of what is observed in consciousness namely 4 Dimensional objects. A new improved interpretation of Quantum level observations is introduced. From this vantage point the following axioms of consciousness is presented. Consciousness consists of two (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Russell’s method of analysis and the axioms of mathematics.Lydia Patton - 2017 - In Sandra Lapointe Christopher Pincock (ed.), Innovations in the History of Analytical Philosophy. London: Palgrave-Macmillan. pp. 105-126.
    In the early 1900s, Russell began to recognize that he, and many other mathematicians, had been using assertions like the Axiom of Choice implicitly, and without explicitly proving them. In working with the Axioms of Choice, Infinity, and Reducibility, and his and Whitehead’s Multiplicative Axiom, Russell came to take the position that some axioms are necessary to recovering certain results of mathematics, but may not be proven to be true absolutely. The essay traces historical roots of, and motivations (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  46. Two Approaches to Ontology Aggregation Based on Axiom Weakening.Daniele Porello, Nicolaas Troquard, Oliver Kutz, Rafael Penaloza, Roberto Confalonieri & Pietro Galliani - 2018 - In Daniele Porello, Nicolaas Troquard, Oliver Kutz, Rafael Penaloza, Roberto Confalonieri & Pietro Galliani (eds.), Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden. pp. 1942--1948.
    Axiom weakening is a novel technique that allows for fine-grained repair of inconsistent ontologies. In a multi-agent setting, integrating ontologies corresponding to multiple agents may lead to inconsistencies. Such inconsistencies can be resolved after the integrated ontology has been built, or their generation can be prevented during ontology generation. We implement and compare these two approaches. First, we study how to repair an inconsistent ontology resulting from a voting-based aggregation of views of heterogeneous agents. Second, we prevent the generation of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  47. Do Abstract Mathematical Axioms About Infinite Sets Apply To The Real, Physical Universe?Roger Granet - manuscript
    Suppose one has a system, the infinite set of positive integers, P, and one wants to study the characteristics of a subset (or subsystem) of that system, the infinite subset of odd positives, O, relative to the overall system. In mathematics, this is done by pairing off each odd with a positive, using a function such as O=2P+1. This puts the odds in a one-to-one correspondence with the positives, thereby, showing that the subset of odds and the original set of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Repairing Socially Aggregated Ontologies Using Axiom Weakening.Daniele Porello, Nicolas Triquard, Roberto Confalonieri, Pietro Galliani, Oliver Kutz & Rafael Penaloza - 2017 - In {PRIMA} 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings. Lecture Notes in Computer Science 10621,. pp. 441-449.
    Ontologies represent principled, formalised descriptions of agents’ conceptualisations of a domain. For a community of agents, these descriptions may differ among agents. We propose an aggregative view of the integration of ontologies based on Judgement Aggregation (JA). Agents may vote on statements of the ontologies, and we aim at constructing a collective, integrated ontology, that reflects the individual conceptualisations as much as possible. As several results in JA show, many attractive and widely used aggregation procedures are prone to return inconsistent (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. might just be an axiom.Matthew Arnatt - manuscript
    It might be that the phrase ‘local holism’ covers a range of explanatory possibilities spreading to consistencies of theories generally, that we can take something from Peacocke’s caution about delimiting and differentiating modes of support for abstracts to sort something in the varieties of tensions at work in settling contents of theories self-determined to be consistent (facing a barrage of neo-consistencies). The subject-matter becomes then a holism in its entirety in self-consistent self-representation underpinned by that recognition operating over items formulated (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Everything is conceivable: a note on an unused axiom in Spinoza's Ethics.Justin Vlasits - 2021 - British Journal for the History of Philosophy 30 (3):496-507.
    Spinoza's Ethics self-consciously follows the example of Euclid and other geometers in its use of axioms and definitions as the basis for derivations of hundreds of propositions of philosophical si...
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 583