Results for 'Axiom'

126 found
Order:
  1. 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   4 citations  
  2. 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  
  3.  34
    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 restrictive, employing (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4.  81
    Two Approaches to Ontology Aggregation Based on Axiom Weakening.Daniele Porello, Nicolaas Troquard, Oliver Kutz, Rafael Penaloza, Roberto Confalonieri & Pietro Galliani - 2018 - In 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. If It's Clear, Then It's Clear That It's Clear, or is It? Higher-Order Vagueness and the S4 Axiom.Susanne Bobzien - 2012 - In B. Morison K. Ierodiakonou (ed.), Episteme, etc.: Essays in honour of Jonathan Barnes. OUP UK.
    The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  6. The Many Faces of Spinoza's Causal Axiom.Martin Lin - 2019 - In Dominik Perler & Sebastian Bender (eds.), Causation and Cognition: Perspectives on Early Modern Philosophy. New York: Routledge.
    Download  
     
    Export citation  
     
    Bookmark  
  7.  29
    The Axiom of Infinity.Cassius Jackson Keyser - 1904 - Hibbert Journal 3:380-383.
    Download  
     
    Export citation  
     
    Bookmark  
  8.  28
    The Axiom of Infinity: A New Presupposition of Thought.Cassius Jackson Keyser - 1903 - Hibbert Journal 2:532-552.
    Download  
     
    Export citation  
     
    Bookmark  
  9.  21
    The Axiom of Infinity.Bertrand Russell - 1903 - Hibbert Journal 2:809-812.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. 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   7 citations  
  11. Prospects for a Naive Theory of Classes.Hartry Field, Harvey Lederman & Tore Fjetland Øgaard - 2017 - Notre Dame Journal of Formal Logic 58 (4):461-506.
    The naive theory of properties states that for every condition there is a property instantiated by exactly the things which satisfy that condition. The naive theory of properties is inconsistent in classical logic, but there are many ways to obtain consistent naive theories of properties in nonclassical logics. The naive theory of classes adds to the naive theory of properties an extensionality rule or axiom, which states roughly that if two classes have exactly the same members, they are identical. (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  12. The Wonder of Colors and the Principle of Ariadne.Walter Carnielli & Carlos di Prisco - 2017 - In How Colours Matter to Philosophy. New . York: Springer. pp. 309-317.
    The Principle of Ariadne, formulated in 1988 ago by Walter Carnielli and Carlos Di Prisco and later published in 1993, is an infinitary principle that is independent of the Axiom of Choice in ZF, although it can be consistently added to the remaining ZF axioms. The present paper surveys, and motivates, the foundational importance of the Principle of Ariadne and proposes the Ariadne Game, showing that the Principle of Ariadne, corresponds precisely to a winning strategy for the Ariadne Game. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. A Theory of Names and True Intensionality.Reinhard Muskens - 2012 - In Maria Aloni, V. Kimmelman, Floris Roelofsen, G. Weidman Sassoon, Katrin Schulz & M. Westera (eds.), Logic, Language and Meaning: 18th Amsterdam Colloquium. Springer. pp. 441-449.
    Standard approaches to proper names, based on Kripke's views, hold that the semantic values of expressions are (set-theoretic) functions from possible worlds to extensions and that names are rigid designators, i.e.\ that their values are \emph{constant} functions from worlds to entities. The difficulties with these approaches are well-known and in this paper we develop an alternative. Based on earlier work on a higher order logic that is \emph{truly intensional} in the sense that it does not validate the axiom scheme (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. McKinsey Algebras and Topological Models of S4.1.Thomas Mormann - manuscript
    The aim of this paper is to show that every topological space gives rise to a wealth of topological models of the modal logic S4.1. The construction of these models is based on the fact that every space defines a Boolean closure algebra (to be called a McKinsey algebra) that neatly reflects the structure of the modal system S4.1. It is shown that the class of topological models based on McKinsey algebras contains a canonical model that can be used to (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. The Systems of Relevance Logic.Ryszard Mirek - 2011 - Argument: Biannual Philosophical Journal 1 (1):87-102.
    The system R, or more precisely the pure implicational fragment R›, is considered by the relevance logicians as the most important. The another central system of relevance logic has been the logic E of entailment that was supposed to capture strict relevant implication. The next system of relevance logic is RM or R-mingle. The question is whether adding mingle axiom to R› yields the pure implicational fragment RM› of the system? As concerns the weak systems there are at least (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16.  13
    The Kochen - Specker Theorem in Quantum Mechanics: A Philosophical Comment (Part 2).Vasil Penchev - 2013 - Philosophical Alternatives 22 (3):74-83.
    The text is a continuation of the article of the same name published in the previous issue of Philosophical Alternatives. The philosophical interpretations of the Kochen- Specker theorem (1967) are considered. Einstein's principle regarding the,consubstantiality of inertia and gravity" (1918) allows of a parallel between descriptions of a physical micro-entity in relation to the macro-apparatus on the one hand, and of physical macro-entities in relation to the astronomical mega-entities on the other. The Bohmian interpretation ( 1952) of quantum mechanics proposes (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Univalent Foundations as a Foundation for Mathematical Practice.Harry Crane - manuscript
    I prove that invoking the univalence axiom is equivalent to arguing 'without loss of generality' (WLOG) within Propositional Univalent Foundations (PropUF), the fragment of Univalent Foundations (UF) in which all homotopy types are mere propositions. As a consequence, I argue that practicing mathematicians, in accepting WLOG as a valid form of argument, implicitly accept the univalence axiom and that UF rightly serves as a Foundation for Mathematical Practice. By contrast, ZFC is inconsistent with WLOG as it is applied, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18.  8
    A New Reading and Comparative Interpretation of Gödel’s Completeness (1930) and Incompleteness (1931) Theorems.Vasil Penchev - 2016 - Логико-Философские Штудии 13 (2):187-188.
    Peano arithmetic cannot serve as the ground of mathematics for it is inconsistent to infinity, and infinity is necessary for its foundation. Though Peano arithmetic cannot be complemented by any axiom of infinity, there exists at least one (logical) axiomatics consistent to infinity. That is nothing else than a new reading at issue and comparative interpretation of Gödel’s papers (1930; 1931) meant here. Peano arithmetic admits anyway generalizations consistent to infinity and thus to some addable axiom(s) of infinity. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Intuitionism and the Modal Logic of Vagueness.Susanne Bobzien & Ian Rumfitt - 2020 - Journal of Philosophical Logic 49 (2):221-248.
    Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics.Vladimir Kanovei, Mikhail G. Katz & Thomas Mormann - 2013 - Foundations of Science 18 (2):259-296.
    We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  21. C. I. Lewis: History and Philosophy of Logic.John Corcoran - 2006 - Transactions of the Charles S. Peirce Society 42 (1):1-9.
    C. I. Lewis (I883-I964) was the first major figure in history and philosophy of logic—-a field that has come to be recognized as a separate specialty after years of work by Ivor Grattan-Guinness and others (Dawson 2003, 257).Lewis was among the earliest to accept the challenges offered by this field; he was the first who had the philosophical and mathematical talent, the philosophical, logical, and historical background, and the patience and dedication to objectivity needed to excel. He was blessed with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Completeness of an Ancient Logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.
    In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...)
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  23. Topological Models of Columnar Vagueness.Thomas Mormann - 2020 - Erkenntnis:1-24.
    This paper intends to further the understanding of the formal properties of (higher-order) vagueness by connecting theories of (higher-order) vagueness with more recent work in topology. First, we provide a “translation” of Bobzien's account of columnar higher-order vagueness into the logic of topological spaces. Since columnar vagueness is an essential ingredient of her solution to the Sorites paradox, a central problem of any theory of vagueness comes into contact with the modern mathematical theory of topology. Second, Rumfitt’s recent topological reconstruction (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Prototypes, Poles, and Topological Tessellations of Conceptual Spaces.Thomas Mormann - manuscript
    The aim of this paper is to present a general method for constructing natural tessellations of conceptual spaces that is based on their topological structure. This method works for a class of spaces that was defined some 80 years ago by the Russian mathematician Pavel Alexandroff. Alexandroff spaces, as they are called today, are distinguished from other topological spaces by the fact that they exhibit a 1-1 correspondence between their specialization orders and their topological structures. Recently, Ian Rumfitt (apparently not (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25.  46
    On the Axiomatic Systems of Syntactically-Categorial Languages.Urszula Wybraniec-Skardowska - 1984 - Bulletin of the Section of Logic 13 (4):241-249.
    The paper contains an overview of the most important results presented in the monograph of the author "Teorie Językow Syntaktycznie-Kategorialnych" ("Theories of Syntactically-Categorial Languages" (in Polish), PWN, Warszawa-Wrocław 1985. In the monograph four axiomatic systems of syntactically-categorial languages are presented. The first two refer to languages of expression-tokens. The others also takes into consideration languages of expression-types. Generally, syntactically-categorial languages are languages built in accordance with principles of the theory of syntactic categories introduced by S. Leśniewski [1929,1930]; they are connected (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. À Maneira de Um Colar de Pérolas?André Porto - 2017 - Revista Portuguesa de Filosofia 73 (3-4):1381-1404.
    This paper offers an overview of various alternative formulations for Analysis, the theory of Integral and Differential Calculus, and its diverging conceptions of the topological structure of the continuum. We pay particularly attention to Smooth Analysis, a proposal created by William Lawvere and Anders Kock based on Grothendieck’s work on a categorical algebraic geometry. The role of Heyting’s logic, common to all these alternatives is emphasized.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. Meanings of Hypothesis.John Corcoran - 2014 - Bulletin of Symbolic Logic 20 (2):348-9.
    The primary sense of the word ‘hypothesis’ in modern colloquial English includes “proposition not yet settled” or “open question”. Its opposite is ‘fact’ in the sense of “proposition widely known to be true”. People are amazed that Plato [1, p. 1684] and Aristotle [Post. An. I.2 72a14–24, quoted below] used the Greek form of the word for indemonstrable first principles [sc. axioms] in general or for certain kinds of axioms. These two facts create the paradoxical situation that in many cases (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Democratic Public Discourse in the Coming Autarchic Communities.Gheorghe-Ilie Farte - 2010 - Meta 2 (2):386-409.
    The main purpose of this article is to tackle the problem of living together – as dignified human beings – in a certain territory in the field of social philosophy, on the theoretical grounding ensured by some remarkable exponents of the Austrian School − and by means of the praxeologic method. Because political tools diminish the human nature not only of those who use them, but also of those who undergo their effects, people can live a life worthy of a (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Domains of Discourse.Philip Hugly & Charles Sayward - 1987 - Logique Et Analyse 117 (17):173-176.
    Suppose there is a domain of discourse of English, then everything of which any predicate is true is a member of that domain. If English has a domain of discourse, then, since ‘is a domain of discourse of English’ is itself a predicate of English and true of that domain, that domain is a member of itself. But nothing is a member of itself. Thus English has no domain of discourse. We defend this argument and go on to argue to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Philosophy of Logic – Reexamining the Formalized Notion of Truth.Pete Olcott - manuscript
    Because formal systems of symbolic logic inherently express and represent the deductive inference model formal proofs to theorem consequences can be understood to represent sound deductive inference to true conclusions without any need for other representations such as model theory.
    Download  
     
    Export citation  
     
    Bookmark  
  31.  15
    Free Will in Human Behavior and Physics.Vasil Penchev - 2020 - Labor and Social Relations 30 (6):185-196.
    If the concept of “free will” is reduced to that of “choice” all physical world shares the latter quality. Anyway the “free will” can be distinguished from the “choice”: The “free will” involves implicitly a certain goal, and the choice is only the mean, by which the aim can be achieved or not by the one who determines the target. Thus, for example, an electron has always a choice but not free will unlike a human possessing both. Consequently, and paradoxically, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  70
    Önermeler Analizi.Berke Nihat Akay - manuscript
    Önermelerin oluşturduğu sonsuz onaylanma mekanizmasının epistemolojik, sözel, ve analitik olarak incelemesi.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  14
    God's Dice.Vasil Penchev - 2015 - In Actas: VIII Conference of the Spanish Society for Logic, Methodology, and Philosophy of Sciences (eds. J. Martínez, García-Carpintero, J. Díez, S. Oms),. Barcelona: Universitat de Barcelona. pp. 297-303.
    Einstein wrote his famous sentence "God does not play dice with the universe" in a letter to Max Born in 1920. All experiments have confirmed that quantum mechanics is neither wrong nor “incomplete”. One can says that God does play dice with the universe. Let quantum mechanics be granted as the rules generalizing all results of playing some imaginary God’s dice. If that is the case, one can ask how God’s dice should look like. God’s dice turns out to be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34.  97
    Nothingness-Definition Antinomy Analysis.Berke Nihat Akay - manuscript
    Trying to define nothingness has always been a challenge for philosophers. What exactly is it? Does it share properties similar to spaces? Can we treat it as a ''thing'' ? We can say an object is inside nothingness, but how do we imagine that ''containment'' ?
    Download  
     
    Export citation  
     
    Bookmark  
  35.  58
    Univalent Foundations and the UniMath Library.Anthony Bordg - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Springer Verlag.
    We give a concise presentation of the Univalent Foundations of mathematics outlining the main ideas, followed by a discussion of the UniMath library of formalized mathematics implementing the ideas of the Univalent Foundations (section 1), and the challenges one faces in attempting to design a large-scale library of formalized mathematics (section 2). This leads us to a general discussion about the links between architecture and mathematics where a meeting of minds is revealed between architects and mathematicians (section 3). On the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36.  42
    Crisis of Fundamentality → Physics, Forward → Into Metaphysics → The Ontological Basis of Knowledge: Framework, Carcass, Foundation.Vladimir Rogozhin - 2018 - FQXi.
    The present crisis of foundations in Fundamental Science is manifested as a comprehensive conceptual crisis, crisis of understanding, crisis of interpretation and representation, crisis of methodology, loss of certainty. Fundamental Science "rested" on the understanding of matter, space, nature of the "laws of nature", fundamental constants, number, time, information, consciousness. The question "What is fundametal?" pushes the mind to other questions → Is Fundamental Science fundamental? → What is the most fundamental in the Universum?.. Physics, do not be afraid of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37.  46
    Goal → New Heuristic Model of Ideality: Logos → Coincidentia Oppositorum → Primordial Generating Structure.Vladimir Rogozhin - 2017 - Contest FQXi Essay 2017.
    Fundamental knowledge endures deep conceptual crisis manifested in total crisis of understanding, crisis of interpretation and representation, loss of certainty, troubles with physics, crisis of methodology. Crisis of understanding in fundamental science generates deep crisis of understanding in global society. What way should we choose for overcoming total crisis of understanding in fundamental science? It should be the way of metaphysical construction of new comprehensive model of ideality on the basis of the "modified ontology". Result of quarter-century wanderings: sum of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38.  78
    It From Δ-Logit.Vladimir Rogozhin - 2013 - The Foundational Questions Institute (FQXi).
    Total ontological unification of matter at all levels of reality as a whole, its “grasp” of its dialectical structure, space dimensionality and structure of the language of nature – “house of Being” [1], gives the opportunity to see the “place” and to understand the nature of information as a phenomenon of Ontological Memory, the measure of being of the whole, “the soul of matter”, qualitative quality of the absolute forms of existence of matter (absolute states). “Information” and “time” are multivalent (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Three Dogmas of First-Order Logic and Some Evidence-Based Consequences for Constructive Mathematics of Differentiating Between Hilbertian Theism, Brouwerian Atheism and Finitary Agnosticism.Bhupinder Singh Anand - manuscript
    We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what may (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40.  25
    Отвъд машината на Тюринг: квантовият компютър.Vasil Penchev - 2014 - Sofia: BAS: ISSK (IPS).
    Quantum computer is considered as a generalization of Turing machine. The bits are substituted by qubits. In turn, a "qubit" is the generalization of "bit" referring to infinite sets or series. It extends the consept of calculation from finite processes and algorithms to infinite ones, impossible as to any Turing machines (such as our computers). However, the concept of quantum computer mets all paradoxes of infinity such as Gödel's incompletness theorems (1931), etc. A philosophical reflection on how quantum computer might (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. Infinite Prospects.Jeffrey Sanford Russell & Yoaav Isaacs - forthcoming - Philosophy and Phenomenological Research.
    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  
  42.  93
    Non-Archimedean Preferences Over Countable Lotteries.Jeffrey Sanford Russell - 2020 - Journal of Mathematical Economics 88 (May 2020):180-186.
    We prove a representation theorem for preference relations over countably infinite lotteries that satisfy a generalized form of the Independence axiom, without assuming Continuity. The representing space consists of lexicographically ordered transfinite sequences of bounded real numbers. This result is generalized to preference orders on abstract superconvex spaces.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. What Is the Well-Foundedness of Grounding?T. Scott Dixon - 2016 - Mind 125 (498):439-468.
    A number of philosophers think that grounding is, in some sense, well-founded. This thesis, however, is not always articulated precisely, nor is there a consensus in the literature as to how it should be characterized. In what follows, I consider several principles that one might have in mind when asserting that grounding is well-founded, and I argue that one of these principles, which I call ‘full foundations’, best captures the relevant claim. My argument is by the process of elimination. For (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  44. Utilitarianism with and Without Expected Utility.David McCarthy, Kalle Mikkola & Joaquin Teruji Thomas - 2016 - Journal of Mathematical Economics 87:77-113.
    We give two social aggregation theorems under conditions of risk, one for constant population cases, the other an extension to variable populations. Intra and interpersonal welfare comparisons are encoded in a single ‘individual preorder’. The theorems give axioms that uniquely determine a social preorder in terms of this individual preorder. The social preorders described by these theorems have features that may be considered characteristic of Harsanyi-style utilitarianism, such as indifference to ex ante and ex post equality. However, the theorems are (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  70
    Between Atomism and Superatomism.T. Scott Dixon - forthcoming - Journal of Philosophical Logic:1-27.
    There are at least three vaguely atomistic principles that have come up in the literature, two explicitly and one implicitly. First, standard atomism is the claim that everything is composed of atoms, and is very often how atomism is characterized in the literature. Second, superatomism is the claim that parthood is well-founded, which implies that every proper parthood chain terminates, and has been discussed as a stronger alternative to standard atomism. Third, there is a principle that lies between these two (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. The Doctrinal Paradox, the Discursive Dilemma, and Logical Aggregation Theory.Philippe Mongin - 2012 - Theory and Decision 73 (3):315-355.
    Judgment aggregation theory, or rather, as we conceive of it here, logical aggregation theory generalizes social choice theory by having the aggregation rule bear on judgments of all kinds instead of merely preference judgments. It derives from Kornhauser and Sager’s doctrinal paradox and List and Pettit’s discursive dilemma, two problems that we distinguish emphatically here. The current theory has developed from the discursive dilemma, rather than the doctrinal paradox, and the final objective of the paper is to give the latter (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  47. On the Concept of Creal: The Politico-Ethical Horizon of a Creative Absolute.Luis De Miranda - 2017 - In The Dark Precursor: Deleuze and Artistic Research. Leuven University Press. pp. 510-516.
    Process philosophies tend to emphasise the value of continuous creation as the core of their discourse. For Bergson, Whitehead, Deleuze, and others the real is ultimately a creative becoming. Critics have argued that there is an irreducible element of (almost religious) belief in this re-evaluation of immanent creation. While I don’t think belief is necessarily a sign of philosophical and existential weakness, in this paper I will examine the possibility for the concept of universal creation to be a political and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Ought, Can, and Presupposition: An Experimental Study.Moti Mizrahi - 2015 - Methode 4 (6):232-243.
    In this paper, I present the results of an experimental study on intuitions about moral obligation (ought) and ability (can). Many philosophers accept as an axiom the principle known as “Ought Implies Can” (OIC). If the truth of OIC is intuitive, such that it is accepted by many philosophers as an axiom, then we would expect people to judge that agents who are unable to perform an action are not morally obligated to perform that action. The results of (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  49. 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  
  50.  26
    Aggregation Theory and the Relevance of Some Issues to Others.Franz Dietrich - 2015 - Journal of Economic Theory 160:463-493.
    I propose a relevance-based independence axiom on how to aggregate individual yes/no judgments on given propositions into collective judgments: the collective judgment on a proposition depends only on people’s judgments on propositions which are relevant to that proposition. This axiom contrasts with the classical independence axiom: the collective judgment on a proposition depends only on people’s judgments on the same proposition. I generalize the premise-based rule and the sequential-priority rule to an arbitrary priority order of the propositions, (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
1 — 50 / 126