Results for 'axiom'

1000+ found
Order:
  1.  4
    From Axiom to Dialogue: A Philosophical Study of Logics and Argumentation.Else Margarete Barth & Erik C. W. Krabbe - 1982 - Berlin and New York: De Gruyter.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   105 citations  
  2.  1
    From Axiom to Dialogue: A Philosophical Study of Logics and Argumentation.E. M. Barth - 1982 - Berlin and New York: W. De Gruyter.
  3.  34
    Strong Axioms of Infinity and Elementary Embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.
  4. Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.
    On the basis of a wide range of historical examples various features of axioms are discussed in relation to their use in mathematical practice. A very general framework for this discussion is provided, and it is argued that axioms can play many roles in mathematics and that viewing them as self-evident truths does not do justice to the ways in which mathematicians employ axioms. Possible origins of axioms and criteria for choosing axioms are also examined. The distinctions introduced aim at (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  5. Natural Axioms for Classical Mereology.Aaron Cotnoir & Achille C. Varzi - 2019 - Review of Symbolic Logic 12 (1):201-208.
    We present a new axiomatization of classical mereology in which the three components of the theory—ordering, composition, and decomposition prin-ciples—are neatly separated. The equivalence of our axiom system with other, more familiar systems is established by purely deductive methods, along with additional results on the relative strengths of the composition and decomposition axioms of each theory.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6. New Axioms for Probability and Likelihood Ratio Measures.Vincenzo Crupi, Nick Chater & Katya Tentori - 2013 - British Journal for the Philosophy of Science 64 (1):189-204.
    Probability ratio and likelihood ratio measures of inductive support and related notions have appeared as theoretical tools for probabilistic approaches in the philosophy of science, the psychology of reasoning, and artificial intelligence. In an effort of conceptual clarification, several authors have pursued axiomatic foundations for these two families of measures. Such results have been criticized, however, as relying on unduly demanding or poorly motivated mathematical assumptions. We provide two novel theorems showing that probability ratio and likelihood ratio measures can be (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  7.  17
    Resurrection Axioms and Uplifting Cardinals.Joel David Hamkins & Thomas A. Johnstone - 2014 - Archive for Mathematical Logic 53 (3-4):463-485.
    We introduce the resurrection axioms, a new class of forcing axioms, and the uplifting cardinals, a new large cardinal notion, and prove that various instances of the resurrection axioms are equiconsistent over ZFC with the existence of an uplifting cardinal.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  8.  84
    Axioms of Symmetry: Throwing Darts at the Real Number Line.Chris Freiling - 1986 - Journal of Symbolic Logic 51 (1):190-200.
    We will give a simple philosophical "proof" of the negation of Cantor's continuum hypothesis (CH). (A formal proof for or against CH from the axioms of ZFC is impossible; see Cohen [1].) We will assume the axioms of ZFC together with intuitively clear axioms which are based on some intuition of Stuart Davidson and an old theorem of Sierpinski and are justified by the symmetry in a thought experiment throwing darts at the real number line. We will in fact show (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  9. From Axiom to Dialogue.E. M. Barth & E. C. W. Krabbe - 1985 - Studia Logica 44 (2):228-230.
  10.  24
    The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal.W. Hugh Woodin - 2002 - Bulletin of Symbolic Logic 8 (1):91-93.
  11.  32
    An Axiom System for the Modular Logic.Jerzy Kotas - 1967 - Studia Logica 21 (1):17 - 38.
  12.  20
    Defending the Axioms: On the Philosophical Foundations of Set Theory.Penelope Maddy - 2011 - Oxford, England: Oxford University Press.
    Mathematics depends on proofs, and proofs must begin somewhere, from some fundamental assumptions. For nearly a century, the axioms of set theory have played this role, so the question of how these axioms are properly judged takes on a central importance. Approaching the question from a broadly naturalistic or second-philosophical point of view, Defending the Axioms isolates the appropriate methods for such evaluations and investigates the ontological and epistemological backdrop that makes them appropriate. In the end, a new account of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  13.  61
    Axioms for the Part Relation.Nicholas Rescher - 1955 - Philosophical Studies 6 (1):8-11.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  14. Axioms for Determinateness and Truth.Solomon Feferman - 2008 - Review of Symbolic Logic 1 (2):204-217.
    elaboration of the last part of my Tarski Lecture, “Truth unbound”, UC Berkeley, 3 April 2006, and of the lecture, “A nicer formal theory of non-hierarchical truth”, Workshop on Mathematical Methods in Philosophy, Banff , 18-23 Feb. 2007.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  15.  37
    Reduction Axioms for Epistemic Actions.Johan van Benthem & Barteld Kooi - unknown
    Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added. In this paper we propose new versions that extend the underlying static epistemic language in such a way that dynamic completeness proofs can be obtained by perspicuous reduction axioms.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   18 citations  
  16.  57
    Local Axioms in Disguise: Hilbert on Minkowski Diagrams.Ivahn Smadja - 2012 - Synthese 186 (1):315-370.
    While claiming that diagrams can only be admitted as a method of strict proof if the underlying axioms are precisely known and explicitly spelled out, Hilbert praised Minkowski’s Geometry of Numbers and his diagram-based reasoning as a specimen of an arithmetical theory operating “rigorously” with geometrical concepts and signs. In this connection, in the first phase of his foundational views on the axiomatic method, Hilbert also held that diagrams are to be thought of as “drawn formulas”, and formulas as “written (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  17.  15
    Weak Axioms of Determinacy and Subsystems of Analysis II.Kazuyuki Tanaka - 1991 - Annals of Pure and Applied Logic 52 (1-2):181-193.
    In [10], we have shown that the statement that all ∑ 1 1 partitions are Ramsey is deducible over ATR 0 from the axiom of ∑ 1 1 monotone inductive definition,but the reversal needs П 1 1 - CA 0 rather than ATR 0 . By contrast, we show in this paper that the statement that all ∑ 0 2 games are determinate is also deducible over ATR 0 from the axiom of ∑ 1 1 monotone inductive definition, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  18. Axioms for Deliberative Stit.Ming Xu - 1998 - Journal of Philosophical Logic 27 (5):505-552.
    Based on a notion of "companions to stit formulas" applied in other papers dealing with astit logics, we introduce "choice formulas" and "nested choice formulas" to prove the completeness theorems for dstit logics in a language with the dstit operator as the only non-truth-functional operator. The main logic discussed in this paper is the basic logic of dstit with multiple agents, other logics discussed include the basic logic of dstit with a single agent and some logics of dstit with multiple (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  19.  50
    Fundamental Axioms for Preference Relations.Bengt Hansson - 1968 - Synthese 18 (4):423 - 442.
    The basic theory of preference relations contains a trivial part reflected by axioms A1 and A2, which say that preference relations are preorders. The next step is to find other axims which carry the theory beyond the level of the trivial. This paper is to a great part a critical survey of such suggested axioms. The results are much in the negative — many proposed axioms imply too strange theorems to be acceptable as axioms in a general theory of preference. (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  20. The Axiom of Choice.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.
    The principle of set theory known as the Axiom of Choice has been hailed as “probably the most interesting and, in spite of its late appearance, the most discussed axiom of mathematics, second only to Euclid's axiom of parallels which was introduced more than two thousand years ago” (Fraenkel, Bar-Hillel & Levy 1973, §II.4). The fulsomeness of this description might lead those unfamiliar with the axiom to expect it to be as startling as, say, the Principle (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  21. The Axiom of Choice and the Law of Excluded Middle in Weak Set Theories.John L. Bell - 2008 - Mathematical Logic Quarterly 54 (2):194-201.
    A weak form of intuitionistic set theory WST lacking the axiom of extensionality is introduced. While WST is too weak to support the derivation of the law of excluded middle from the axiom of choice, we show that bee.ng up WST with moderate extensionality principles or quotient sets enables the derivation to go through.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  79
    Axioms and Tests for the Presence of Minimal Consciousness in Agents I: Preamble.Igor L. Aleksander & B. Dunmall - 2003 - Journal of Consciousness Studies 10 (4-5):7-18.
    This paper relates to a formal statement of the mechanisms that are thought minimally necessary to underpin consciousness. This is expressed in the form of axioms. We deem this to be useful if there is ever to be clarity in answering questions about whether this or the other organism is or is not conscious. As usual, axioms are ways of making formal statements of intuitive beliefs and looking, again formally, at the consequences of such beliefs. The use of this style (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  23. Axioms for Collections of Indistinguishable Objects.Décio Krause - 1996 - Logique Et Analyse 153 (154):69-93.
  24.  19
    Axioms for Abstract Model Theory.K. Jon Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.
  25. Axioms for Actuality.Harold T. Hodes - 1984 - Journal of Philosophical Logic 13 (1):27 - 34.
  26.  52
    The Axiom of Choice is False Intuitionistically.Charles Mccarty, Stewart Shapiro & Ansten Klev - forthcoming - Bulletin of Symbolic Logic:1-26.
  27. Strong Axioms of Infinity and the Debate About Realism.Kai Hauser & W. Hugh Woodin - 2014 - Journal of Philosophy 111 (8):397-419.
    One of the most distinctive and intriguing developments of modern set theory has been the realization that, despite widely divergent incentives for strengthening the standard axioms, there is essentially only one way of ascending the higher reaches of infinity. To the mathematical realist the unexpected convergence suggests that all these axiomatic extensions describe different aspects of the same underlying reality.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  28.  8
    The Axioms of Subjective Probability.Peter C. Fishburn - 1986 - Statistical Science 1 (3):335-358.
  29.  71
    Rejected Axioms for the “Nonsense-Logic” W and the K-Valued Logic of Sobociński.Robert Sochacki - 2008 - Logic and Logical Philosophy 17 (4):321-327.
    In this paper rejection systems for the “nonsense-logic” W and the k-valued implicational-negational sentential calculi of Sobociński are given. Considered systems consist of computable sets of rejected axioms and only one rejection rule: the rejection version of detachment rule.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30. The Axiom of Choice in Quine's New Foundations for Mathematical Logic.Ernst P. Specker - 1954 - Journal of Symbolic Logic 19 (2):127-128.
  31. Reduction Axioms for Epistemic Actions. Kooi, Barteld & van Benthem, Johan - unknown
    Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added. In this paper we propose new versions that extend the underlying static epistemic language in such a way that dynamic completeness proofs can be obtained by perspicuous reduction axioms.
    Translate
     
     
    Export citation  
     
    Bookmark   14 citations  
  32. The Axiom of Infinity and Transformations J: V → V.Paul Corazza - 2010 - Bulletin of Symbolic Logic 16 (1):37-84.
    We suggest a new approach for addressing the problem of establishing an axiomatic foundation for large cardinals. An axiom asserting the existence of a large cardinal can naturally be viewed as a strong Axiom of Infinity. However, it has not been clear on the basis of our knowledge of ω itself, or of generally agreed upon intuitions about the true nature of the mathematical universe, what the right strengthening of the Axiom of Infinity is—which large cardinals ought (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  33.  47
    Axioms of Set Theory.Joseph R. Shoenfield - 1977 - In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 90.
  34.  26
    On Axiom Systems of Słupecki for the Functionally Complete Three-Valued Logic.Mateusz Radzki - 2017 - Axiomathes 27 (4):403-415.
    The article concerns two axiom systems of Słupecki for the functionally complete three-valued propositional logic: W1–W6 and A1–A9. The article proves that both of them are inadequate—W1–W6 is semantically incomplete, on the other hand, A1–A9 governs a functionally incomplete calculus, and thus, it cannot be a semantically complete axiom system for the functionally complete three-valued logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  68
    Axioms for Classical, Intuitionistic, and Paraconsistent Hybrid Logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
    In this paper we give axiom systems for classical and intuitionistic hybrid logic. Our axiom systems can be extended with additional rules corresponding to conditions on the accessibility relation expressed by so-called geometric theories. In the classical case other axiomatisations than ours can be found in the literature but in the intuitionistic case no axiomatisations have been published. We consider plain intuitionistic hybrid logic as well as a hybridized version of the constructive and paraconsistent logic N4.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  19
    The Axioms of Constructive Geometry.Jan von Plato - 1995 - Annals of Pure and Applied Logic 76 (2):169-200.
    Elementary geometry can be axiomatized constructively by taking as primitive the concepts of the apartness of a point from a line and the convergence of two lines, instead of incidence and parallelism as in the classical axiomatizations. I first give the axioms of a general plane geometry of apartness and convergence. Constructive projective geometry is obtained by adding the principle that any two distinct lines converge, and affine geometry by adding a parallel line construction, etc. Constructive axiomatization allows solutions to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  37. Some Axioms for Constructive Analysis.Joan Rand Moschovakis & Garyfallia Vafeiadou - 2012 - Archive for Mathematical Logic 51 (5-6):443-459.
    This note explores the common core of constructive, intuitionistic, recursive and classical analysis from an axiomatic standpoint. In addition to clarifying the relation between Kleene’s and Troelstra’s minimal formal theories of numbers and number-theoretic sequences, we propose some modified choice principles and other function existence axioms which may be of use in reverse constructive analysis. Specifically, we consider the function comprehension principles assumed by the two minimal theories EL and M, introduce an axiom schema CFd asserting that every decidable (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  47
    Axioms for Grounded Truth.Thomas Schindler - 2014 - Review of Symbolic Logic 7 (1):73-83.
    We axiomatize Leitgeb's (2005) theory of truth and show that this theory proves all arithmetical sentences of the system of ramified analysis up to $\epsilon_0$. We also give alternative axiomatizations of Kripke's (1975) theory of truth (Strong Kleene and supervaluational version) and show that they are at least as strong as the Kripke-Feferman system KF and Cantini's VF, respectively.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  39.  8
    Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory.Kurt Gödel - 1940 - Princeton, NJ, USA: Princeton University Press.
  40. A Note on Cancellation Axioms for Comparative Probability.Matthew Harrison-Trainor, Wesley H. Holliday & Thomas F. Icard - 2016 - Theory and Decision 80 (1):159-166.
    We prove that the generalized cancellation axiom for incomplete comparative probability relations introduced by Rios Insua and Alon and Lehrer is stronger than the standard cancellation axiom for complete comparative probability relations introduced by Scott, relative to their other axioms for comparative probability in both the finite and infinite cases. This result has been suggested but not proved in the previous literature.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  41.  28
    Equivocation Axiom on First Order Languages.Soroush Rafiee Rad - 2017 - Studia Logica 105 (1):121-152.
    In this paper we investigate some mathematical consequences of the Equivocation Principle, and the Maximum Entropy models arising from that, for first order languages. We study the existence of Maximum Entropy models for these theories in terms of the quantifier complexity of the theory and will investigate some invariance and structural properties of such models.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  42.  14
    Choosing Axioms of Correlativity.Andrew Halpin - 2019 - American Journal of Jurisprudence 64 (2):225-258.
    This article explores an axiomatic approach to distinguishing different usages of correlativity and investigates Hurd and Moore’s disagreement with Hohfeldian correlativity, in terms of a choice of axioms. Detailed critical consideration is provided of three negative steps, ascribing theoretical positions to Hohfeld that Hurd and Moore wish to amend or depart from; and three positive steps taken towards vindicating their stated objectives of avoiding moral combat and providing recognition to active rights. The conclusion is reached that the actual state of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Die Axiome der Geometry Eine Philosophische Untersuchung der Riemann-Helmholtz'schen Raumtheorie.Benno Erdmann - 1877 - L. Voss.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  44.  18
    Intricate Axioms as Interaction Axioms.Guillaume Aucher - 2015 - Studia Logica 103 (5):1035-1062.
    In epistemic logic, some axioms dealing with the notion of knowledge are rather convoluted and difficult to interpret intuitively, even though some of them, such as the axioms.2 and.3, are considered to be key axioms by some epistemic logicians. We show that they can be characterized in terms of understandable interaction axioms relating knowledge and belief or knowledge and conditional belief. In order to show it, we first sketch a theory dealing with the characterization of axioms in terms of interaction (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45. The Axiom of Determinancy Implies Dependent Choices in L(R).Alexander S. Kechris - 1984 - Journal of Symbolic Logic 49 (1):161 - 173.
    We prove the following Main Theorem: $ZF + AD + V = L(R) \Rightarrow DC$ . As a corollary we have that $\operatorname{Con}(ZF + AD) \Rightarrow \operatorname{Con}(ZF + AD + DC)$ . Combined with the result of Woodin that $\operatorname{Con}(ZF + AD) \Rightarrow \operatorname{Con}(ZF + AD + \neg AC^\omega)$ it follows that DC (as well as AC ω ) is independent relative to ZF + AD. It is finally shown (jointly with H. Woodin) that ZF + AD + ¬ DC (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  46.  31
    An Axiom System for Deontic Logic.Nicholas Rescher - 1958 - Philosophical Studies 9 (1-2):24 - 30.
  47. Quantum Nonlocality as an Axiom.Sandu Popescu & Daniel Rohrlich - 1994 - Foundations of Physics 24 (3):379-385.
    In the conventional approach to quantum mechanics, indeterminism is an axiom and nonlocality is a theorem. We consider inverting the logical order, making nonlocality an axiom and indeterminism a theorem. Nonlocal “superquantum” correlations, preserving relativistic causality, can violate the CHSH inequality more strongly than any quantum correlations.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   53 citations  
  48.  49
    The Axiom of Choice in Quantum Theory.Norbert Brunner, Karl Svozil & Matthias Baaz - 1996 - Mathematical Logic Quarterly 42 (1):319-340.
    We construct peculiar Hilbert spaces from counterexamples to the axiom of choice. We identify the intrinsically effective Hamiltonians with those observables of quantum theory which may coexist with such spaces. Here a self adjoint operator is intrinsically effective if and only if the Schrödinger equation of its generated semigroup is soluble by means of eigenfunction series expansions.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  9
    Axiom (Cc0) and Verifiability in Two Extracanonical Logics of Formal Inconsistency.Thomas Macaulay Ferguson - 2018 - Principia: An International Journal of Epistemology 22 (1):113-138.
    In the field of logics of formal inconsistency, the notion of “consistency” is frequently too broad to draw decisive conclusions with respect to the validity of many theses involving the consistency connective. In this paper, we consider the matter of the axiom 0—i.e., the schema ◦ ◦ϕ—by considering its interpretation in contexts in which “consistency” is understood as a type of verifiability. This paper suggests that such an interpretation is implicit in two extracanonical LFIs—Sören Halldén’s nonsense-logic C and Graham (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  31
    The Axiom of Choice in Second‐Order Predicate Logic.Christine Gaßner - 1994 - Mathematical Logic Quarterly 40 (4):533-546.
    The present article deals with the power of the axiom of choice within the second-order predicate logic. We investigate the relationship between several variants of AC and some other statements, known as equivalent to AC within the set theory of Zermelo and Fraenkel with atoms, in Henkin models of the one-sorted second-order predicate logic with identity without operation variables. The construction of models follows the ideas of Fraenkel and Mostowski. It is e. g. shown that the well-ordering theorem for (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000