Results for 'axiom'

390 found
Order:
  1. 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   9 citations  
  2. 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  
  3. The Search for New Axioms in the Hyperuniverse Programme.Claudio Ternullo & Sy-David Friedman - 2016 - In Andrea Sereni & Francesca Boccuni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Berlin: Springer. 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 of these statements (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  72
    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 and actualism face complementary problems. The latter view is unable to use maximality axioms that make use of extensions, where the former has to contend with the existence (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. 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  
  6.  77
    The Axiom of Infinity.Bertrand Russell - 1903 - Hibbert Journal 2:809-812.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. 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   13 citations  
  8. 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 guarantee that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. 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   1 citation  
  10.  60
    The Axiom of Infinity.Cassius Jackson Keyser - 1904 - Hibbert Journal 3:380-383.
    Download  
     
    Export citation  
     
    Bookmark  
  11.  50
    The Axiom of Infinity: A New Presupposition of Thought.Cassius Jackson Keyser - 1903 - Hibbert Journal 2:532-552.
    Download  
     
    Export citation  
     
    Bookmark  
  12.  94
    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 the Weyl’s (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. 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 distinct (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Arithmetic Without the Successor Axiom.Andrew Boucher - manuscript
    Second-order Peano Arithmetic minus the Successor Axiom is developed from first principles through Quadratic Reciprocity and a proof of self-consistency. This paper combines 4 other papers of the author in a self-contained exposition.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  77
    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  
  16. 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 axioms are restrictive. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Defending the Axioms-On the Philosophical Foundations of Set Theory, Penelope Maddy. [REVIEW]Eduardo Castro - 2012 - Teorema: International Journal of Philosophy 31 (1):147-150.
    Review of Maddy, Penelope "Defending the Axioms".
    Download  
     
    Export citation  
     
    Bookmark  
  18.  94
    A System of Axioms for Minkowski Spacetime.Lorenzo Cocco & Joshua Babic - 2020 - Journal of Philosophical Logic: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 and a (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  22
    Do Abstract Mathematical Axioms About Infinite Sets Apply To The Real, Physical Universe?Roger Granet - manuscript
    In mathematics, if one starts with the infinite set of positive integers, P, and want to compare the size of the subset of odd positives, O, with P, this is done by pairing off each odd with a positive, using a function such as P=2O+1. This puts the odds in a one-to-one correspondence with the positives, thereby, showing that the subset of odds and the set of positives are the same size, or have the same cardinality. This counter-intuitive result ignores (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20.  89
    Generalized Löb’s Theorem. Strong Reflection Principles and Large Cardinal Axioms.Jaykov Foukzon - 2013 - Advances in Pure Mathematics (3):368-373.
    In this article, a possible generalization of the Löb’s theorem is considered. Main result is: let κ be an inaccessible cardinal, then ¬Con( ZFC +∃κ) .
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  21. 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  
  22.  32
    Everything is Conceivable: A Note on an Unused Axiom in Spinoza’s Ethics.Justin Vlasits - forthcoming - British Journal for the History of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark  
  23.  22
    Can Redescriptions of Outcomes Salvage the Axioms of Decision Theory?Jean Baccelli & Philippe Mongin - forthcoming - Philosophical Studies:1-28.
    The basic axioms or formal conditions of decision theory, especially the ordering condition put on preferences and the axioms underlying the expected utility formula, are subject to a number of counter-examples, some of which can be endowed with normative value and thus fall within the ambit of a philosophical reflection on practical rationality. Against such counter-examples, a defensive strategy has been developed which consists in redescribing the outcomes of the available options in such a way that the threatened axioms or (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. The Gödel Incompleteness Theorems (1931) by the Axiom of Choice.Vasil Penchev - 2020 - Econometrics: Mathematical Methods and Programming eJournal (Elsevier: SSRN) 13 (39):1-4.
    Those incompleteness theorems mean the relation of (Peano) arithmetic and (ZFC) set theory, or philosophically, the relation of arithmetical finiteness and actual infinity. The same is managed in the framework of set theory by the axiom of choice (respectively, by the equivalent well-ordering "theorem'). One may discuss that incompleteness form the viewpoint of set theory by the axiom of choice rather than the usual viewpoint meant in the proof of theorems. The logical corollaries from that "nonstandard" viewpoint the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25.  15
    Introduction to CAT4. Part 1. Axioms.Andrew Thomas Holster - manuscript
    CAT4 is proposed as a general method for representing information, enabling a powerful programming method for large-scale information systems. It enables generalised machine learning, software automation and novel AI capabilities. It is based on a special type of relation called CAT4, which is interpreted to provide a semantic representation. This is Part 1 of a five-part introduction. The focus here is on defining the key mathematical structures first, and presenting the semantic-database application in subsequent Parts. We focus in Part 1 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. 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  
  27. Generalized Löb’s Theorem.Strong Reflection Principles and Large Cardinal Axioms. Consistency Results in Topology.Jaykov Foukzon - 2015 - Pure and Applied Mathematics Journal (Vol. 4, No. 1-1):1-5.
    Download  
     
    Export citation  
     
    Bookmark  
  28. 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   5 citations  
  29.  19
    Display to Labeled Proofs and Back Again for Tense Logics.Agata Ciabattoni, Tim Lyon, Revantha Ramanayake & Alwen Tiu - 2021 - ACM Transactions on Computational Logic 22 (3):1-31.
    We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that is translatable to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. Consciousness and the End of Materialism: Seeking Identity and Harmony in a Dark Era.Spyridon Kakos - 2018 - International Journal of Theology, Philosophy and Science 2 (2):17-33.
    “I am me”, but what does this mean? For centuries humans identified themselves as conscious beings with free will, beings that are important in the cosmos they live in. However, modern science has been trying to reduce us into unimportant pawns in a cold universe and diminish our sense of consciousness into a mere illusion generated by lifeless matter. Our identity in the cosmos is nothing more than a deception and all the scientific evidence seem to support this idea. Or (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  26
    Zur Deutung von Axiomensystemen bei Popper.Hans-Peter Leeb - 2002 - In Was wir Karl R. Popper und seiner Philosophie verdanken. Zu seinem 100. Geburtstag. Academia Verlag. pp. 133-159.
    In Popper's Logik der Forschung, a theoretical system is a set of sentences that describe a particular sub-area of science, in particular of empirical science. The goal of axiomatizing a theoretical system is to specify a small number of "axioms" describing all presuppositions of the sub-area under consideration, so that all other sentences of this system can be derived from them by means of logical or mathematical transformations. The paper discusses two philosophical interpretations of these proper axioms. First, proper axioms (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32. Consciousness and Special Relativity.F. de Silva - 1996 - IEEE Engineering in Medicine and Biology Magazine 15: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 distinct (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. From Galileo to Hubble: Copernican Principle as a Philosophical Dogma Defining Modern Astronomy.Spyridon Kakos - 2018 - International Journal of Theology, Philosophy and Science 2 (3):13-37.
    For centuries the case of Galileo Galilei has been the cornerstone of every major argument against the church and its supposedly unscientific dogmatism. The church seems to have condemned Galileo for his heresies, just because it couldn’t and wouldn’t handle the truth. Galileo was a hero of science wrongfully accused and now – at last – everyone knows that. But is that true? This paper tries to examine the case from the point of modern physics and the conclusions drawn are (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  34. Axiomatische Überlegungen zu Grundlagen für Maße der Verteilungsgerechtigkeit am Beispiel von Bedarfsgerechtigkeit.Alexander Max Bauer - 2017 - Forsch! 3 (1):23-42.
    Verteilungsgerechtigkeit befasst sich mit der Verteilung von Gütern innerhalb einer Gruppe, wobei verschiedene Verteilungsprinzipien und -ergebnisse als mögliche Ideale einer solchen Verteilung verhandelt werden. Diese normativen Ansätze sind oft rein verbal formuliert, wodurch ihre Anwendung auf unterschiedliche konkrete Verteilungssituationen, die hinsichtlich ihrer Gerechtigkeit beurteilt werden sollen, häufig schwer fällt. Eine Möglichkeit, fein abgestufte Gerechtigkeitsbeurteilungen verschiedener Verteilungen präzise erfassen zu können, besteht in der formalen Modellierung solcher Ideale durch Maße oder Indizes. Die Auswahl eines geeigneten Maßes, das ein gewisses Ideal abbilden (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  35.  27
    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  
  36. Cognition According to Quantum Information: Three Epistemological Puzzles Solved.Vasil Penchev - 2020 - Epistemology eJournal (Elsevier: SSRN) 13 (20):1-15.
    The cognition of quantum processes raises a series of questions about ordering and information connecting the states of one and the same system before and after measurement: Quantum measurement, quantum in-variance and the non-locality of quantum information are considered in the paper from an epistemological viewpoint. The adequate generalization of ‘measurement’ is discussed to involve the discrepancy, due to the fundamental Planck constant, between any quantum coherent state and its statistical representation as a statistical ensemble after measurement. Quantum in-variance designates (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37.  82
    High-Order Metaphysics as High-Order Abstractions and Choice in Set Theory.Vasil Penchev - 2020 - Epistemology eJournal (Elsevier: SSRN) 13 (21):1-3.
    The link between the high-order metaphysics and abstractions, on the one hand, and choice in the foundation of set theory, on the other hand, can distinguish unambiguously the “good” principles of abstraction from the “bad” ones and thus resolve the “bad company problem” as to set theory. Thus it implies correspondingly a more precise definition of the relation between the axiom of choice and “all company” of axioms in set theory concerning directly or indirectly abstraction: the principle of abstraction, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38.  39
    Quantum Invariance.Vasil Penchev - 2020 - Epistemology eJournal (Elsevier: SSRN) 13 (22):1-6.
    Quantum invariance designates the relation of any quantum coherent state to the corresponding statistical ensemble of measured results. The adequate generalization of ‘measurement’ is discussed to involve the discrepancy, due to the fundamental Planck constant, between any quantum coherent state and its statistical representation as a statistical ensemble after measurement. A set-theory corollary is the curious invariance to the axiom of choice: Any coherent state excludes any well-ordering and thus excludes also the axiom of choice. It should be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39.  39
    Skolem’s “Paradox” as Logic of Ground: The Mutual Foundation of Both Proper and Improper Interpretations.Vasil Penchev - 2020 - Epistemology eJournal (Elsevier: SSRN) 13 (19):1-16.
    A principle, according to which any scientific theory can be mathematized, is investigated. That theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted rather a metamathematical axiom about the relation of mathematics and reality. Its investigation needs (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. The Frontier of Time: The Concept of Quantum Information.Vasil Penchev - 2020 - Cosmology and Large-Scale Structure eJournal (Elsevier: SSRN) 2 (17):1-5.
    The concept of formal transcendentalism is utilized. The fundamental and definitive property of the totality suggests for “the totality to be all”, thus, its externality (unlike any other entity) is contained within it. This generates a fundamental (or philosophical) “doubling” of anything being referred to the totality, i.e. considered philosophically. Thus, that doubling as well as transcendentalism underlying it can be interpreted formally as an elementary choice such as a bit of information and a quantity corresponding to the number of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41.  95
    The Isomorphism of Minkowski Space and the Separable Complex Hilbert Space and its Physical Interpretation.Vasil Penchev - 2020 - Philosophy of Science eJournal (Elsevier:SSRN) 13 (31):1-3.
    An isomorphism is built between the separable complex Hilbert space (quantum mechanics) and Minkowski space (special relativity) by meditation of quantum information (i.e. qubit by qubit). That isomorphism can be interpreted physically as the invariance between a reference frame within a system and its unambiguous counterpart out of the system. The same idea can be applied to Poincaré’s conjecture (proved by G. Perelman) hinting another way for proving it, more concise and meaningful physically. Mathematically, the isomorphism means the invariance to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42.  94
    The Temporal Foundation of the Principle of Maximal Entropy.Vasil Penchev - 2020 - Logic and Philosophy of Mathematics eJournal 12 (11):1-3.
    The principle of maximal entropy (further abbreviated as “MaxEnt”) can be founded on the formal mechanism, in which future transforms into past by the mediation of present. This allows of MaxEnt to be investigated by the theory of quantum information. MaxEnt can be considered as an inductive analog or generalization of “Occam’s razor”. It depends crucially on choice and thus on information just as all inductive methods of reasoning. The essence shared by Occam’s razor and MaxEnt is for the relevant (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Poincaré on the Foundation of Geometry in the Understanding.Jeremy Shipley - 2017 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. Springer. pp. 19-37.
    This paper is about Poincaré’s view of the foundations of geometry. According to the established view, which has been inherited from the logical positivists, Poincaré, like Hilbert, held that axioms in geometry are schemata that provide implicit definitions of geometric terms, a view he expresses by stating that the axioms of geometry are “definitions in disguise.” I argue that this view does not accord well with Poincaré’s core commitment in the philosophy of geometry: the view that geometry is the study (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Axiomatic Foundations for Metrics of Distributive Justice Shown by the Example of Needs-Based Justice.Alexander Max Bauer - 2017 - Forsch! 3 (1):43-60.
    Distributive justice deals with allocations of goods and bads within a group. Different principles and results of distributions are seen as possible ideals. Often those normative approaches are solely framed verbally, which complicates the application to different concrete distribution situations that are supposed to be evaluated in regard to justice. One possibility in order to frame this precisely and to allow for a fine-grained evaluation of justice lies in formal modelling of these ideals by metrics. Choosing a metric that is (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  45. 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  
  46. 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   14 citations  
  47. 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  
  48. Making Risk-Benefit Assessments of Medical Research Protocols.Alex Rajczi - 2004 - Journal of Law, Medicine and Ethics 32 (2):338-348.
    An axiom of medical research ethics is that a protocol is moral only if it has a “favorable risk-benefit ratio”. This axiom is usually interpreted in the following way: a medical research protocol is moral only if it has a positive expected value -- that is, if it is likely to do more good (to both subjects and society) than harm. I argue that, thus interpreted, the axiom has two problems. First, it is unusable, because it requires (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  49.  45
    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   1 citation  
  50. Objectivity in Ethics and Mathematics.Justin Clarke-Doane - 2015 - Proceedings of the Aristotelian Society: The Virtual Issue 3.
    How do axioms, or first principles, in ethics compare to those in mathematics? In this companion piece to G.C. Field's 1931 "On the Role of Definition in Ethics", I argue that there are similarities between the cases. However, these are premised on an assumption which can be questioned, and which highlights the peculiarity of normative inquiry.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
1 — 50 / 390