Results for ' Wilkosz’s axioms'

948 found
Order:
  1. Russell’s method of analysis and the axioms of mathematics.Lydia Patton - 2017 - In Sandra Lapointe & Christopher Pincock (eds.), Innovations in the History of Analytical Philosophy. London, United Kingdom: Palgrave-Macmillan. pp. 105-126.
    In the early 1900s, Russell began to recognize that he, and many other mathematicians, had been using assertions like the Axiom of Choice implicitly, and without explicitly proving them. In working with the Axioms of Choice, Infinity, and Reducibility, and his and Whitehead’s Multiplicative Axiom, Russell came to take the position that some axioms are necessary to recovering certain results of mathematics, but may not be proven to be true absolutely. The essay traces historical roots of, and motivations (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Normativity and Instrumentalism in David Lewis’ Convention.S. M. Amadae - 2011 - History of European Ideas 37 (3):325-335.
    David Lewis presented Convention as an alternative to the conventionalism characteristic of early-twentieth-century analytic philosophy. Rudolf Carnap is well known for suggesting the arbitrariness of any particular linguistic convention for engaging in scientific inquiry. Analytic truths are self-consistent, and are not checked against empirical facts to ascertain their veracity. In keeping with the logical positivists before him, Lewis concludes that linguistic communication is conventional. However, despite his firm allegiance to conventions underlying not just languages but also social customs, he pioneered (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  3. Restricting Spinoza's Causal Axiom.John Morrison - 2015 - Philosophical Quarterly 65 (258):40-63.
    Spinoza's causal axiom is at the foundation of the Ethics. I motivate, develop and defend a new interpretation that I call the ‘causally restricted interpretation’. This interpretation solves several longstanding puzzles and helps us better understand Spinoza's arguments for some of his most famous doctrines, including his parallelism doctrine and his theory of sense perception. It also undermines a widespread view about the relationship between the three fundamental, undefined notions in Spinoza's metaphysics: causation, conception and inherence.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  4. Hume’s Principle, Bad Company, and the Axiom of Choice.Sam Roberts & Stewart Shapiro - 2023 - Review of Symbolic Logic 16 (4):1158-1176.
    One prominent criticism of the abstractionist program is the so-called Bad Company objection. The complaint is that abstraction principles cannot in general be a legitimate way to introduce mathematical theories, since some of them are inconsistent. The most notorious example, of course, is Frege’s Basic Law V. A common response to the objection suggests that an abstraction principle can be used to legitimately introduce a mathematical theory precisely when it is stable: when it can be made true on all sufficiently (...)
    Download  
     
    Export citation  
     
    Bookmark  
  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. Axiomatic foundations of Quantum Mechanics revisited: the case for systems.S. E. Perez-Bergliaffa, Gustavo E. Romero & H. Vucetich - 1996 - International Journal of Theoretical Phyisics 35:1805-1819.
    We present an axiomatization of non-relativistic Quantum Mechanics for a system with an arbitrary number of components. The interpretation of our system of axioms is realistic and objective. The EPR paradox and its relation with realism is discussed in this framework. It is shown that there is no contradiction between realism and recent experimental results.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  7. An Epistemological Analysis of the Challenge of Social Sciences' Deficiency in Iran.S. M. Reza Amiri Tehrani - 2023 - Philosophy of Science 13 (1):67-90.
    With regards to the inefficiencies and uncompromising situations within the humanities and social sciences field in Iran, the challenge of problematizing these sciences is inevitable. So far, numerous research analyzing humanities and social sciences’ problems in the Iranian academic system have been published. Considering the important role of humanities and social sciences in the modern Iranian society, we attempt to suggest a theoretical framework for the problematization of humanities and social sciences in Iran. The exploration of the main challenges facing (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. The Axiom of choice in Quine's New Foundations for Mathematical Logic.Ernst P. Specker - 1954 - Journal of Symbolic Logic 19 (2):127-128.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  9. If It's Clear, Then It's Clear That It's Clear, or is It? Higher-Order Vagueness and the S4 Axiom.Susanne Bobzien - 2011 - In Ben Morison & Katerina Ierodiakonou (eds.), Episteme, etc.: Essays in honour of Jonathan Barnes. Oxford, GB: Oxford University Press.
    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 are in play (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  10. An Elementary System of Axioms for Euclidean Geometry Based on Symmetry Principles.Boris Čulina - 2018 - Axiomathes 28 (2):155-180.
    In this article I develop an elementary system of axioms for Euclidean geometry. On one hand, the system is based on the symmetry principles which express our a priori ignorant approach to space: all places are the same to us, all directions are the same to us and all units of length we use to create geometric figures are the same to us. On the other hand, through the process of algebraic simplification, this system of axioms directly provides (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. 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  
  12. Everything is conceivable: a note on an unused axiom in Spinoza's Ethics.Justin Vlasits - 2021 - British Journal for the History of Philosophy 30 (3):496-507.
    Spinoza's Ethics self-consciously follows the example of Euclid and other geometers in its use of axioms and definitions as the basis for derivations of hundreds of propositions of philosophical si...
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Individuality, quasi-sets and the double-slit experiment.Adonai S. Sant'Anna - forthcoming - Quantum Studies: Mathematics and Foundations.
    Quasi-set theory $\cal Q$ allows us to cope with certain collections of objects where the usual notion of identity is not applicable, in the sense that $x = x$ is not a formula, if $x$ is an arbitrary term. $\cal Q$ was partially motivated by the problem of non-individuality in quantum mechanics. In this paper I discuss the range of explanatory power of $\cal Q$ for quantum phenomena which demand some notion of indistinguishability among quantum objects. My main focus is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. (1 other version)A System of Axioms for Minkowski Spacetime.Lorenzo Cocco & Joshua Babic - 2020 - Journal of Philosophical Logic (1):1-37.
    We present an elementary system of axioms for the geometry of Minkowski spacetime. It strikes a balance between a simple and streamlined set of axioms and the attempt to give a direct formalization in first-order logic of the standard account of Minkowski spacetime in [Maudlin 2012] and [Malament, unpublished]. It is intended for future use in the formalization of physical theories in Minkowski spacetime. The choice of primitives is in the spirit of [Tarski 1959]: a predicate of betwenness (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  15. 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  
  16. Sufficient Reason & The Axiom of Choice, an Ontological Proof for One Unique Transcendental God for Every Possible World.Assem Hamdy - manuscript
    Chains of causes appear when the existence of God is discussed. It is claimed by some that these chains must be finite and terminated by God. But these chains seem endless through our knowledge search. This endlessness for the physical reasons for any world event expresses the greatness and complexity of God’s creation and so the transcendence of God. So, only we can put our hands on physical reasons in an endless forage for knowledge. Yet, the endlessness of the physical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. God's Dice.Vasil Penchev - 2015 - In S. Oms, J. Martínez, M. García-Carpintero & J. Díez (eds.), Actas: VIII Conference of the Spanish Society for Logic, Methodology, and Philosophy of Sciences. 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   2 citations  
  18.  69
    Infinity, Choice, and Hume's Principle.Stephen Mackereth - forthcoming - Journal of Philosophical Logic.
    It has long been known that in the context of axiomatic second-order logic (SOL), Hume's Principle (HP) is mutually interpretable with "the universe is Dedekind infinite" (DI). I offer a more fine-grained analysis of the logical strength of HP, measured by deductive implications rather than interpretability. The main result is that HP is not deductively conservative over SOL + DI. That is, SOL + HP proves additional theorems in the language of pure second-order logic that are not provable from SOL (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Steel's Programme: Evidential Framework, the Core and Ultimate-L.Joan Bagaria & Claudio Ternullo - 2021 - Review of Symbolic Logic:1-25.
    We address Steel’s Programme to identify a ‘preferred’ universe of set theory and the best axioms extending ZFC by using his multiverse axioms MV and the ‘core hypothesis’. In the first part, we examine the evidential framework for MV, in particular the use of large cardinals and of ‘worlds’ obtained through forcing to ‘represent’ alternative extensions of ZFC. In the second part, we address the existence and the possible features of the core of MV_T (where T is ZFC+Large (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Foundation of all Axioms the Axioms of Consciousness (Consciousness and special relativity?).Frank de Silva - 1996 - Engineering in Medicine and Biology 15 (3):21-26.
    A description of consciousness leads to a contradiction with the postulation from special relativity that there can be no connections between simultaneous event. This contradiction points to consciousness involving quantum level mechanisms. The Quantum level description of the universe is re- evaluated in the light of what is observed in consciousness namely 4 Dimensional objects. A new improved interpretation of Quantum level observations is introduced. From this vantage point the following axioms of consciousness is presented. Consciousness consists of two (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. might just be an axiom.Matthew Arnatt - manuscript
    It might be that the phrase ‘local holism’ covers a range of explanatory possibilities spreading to consistencies of theories generally, that we can take something from Peacocke’s caution about delimiting and differentiating modes of support for abstracts to sort something in the varieties of tensions at work in settling contents of theories self-determined to be consistent (facing a barrage of neo-consistencies). The subject-matter becomes then a holism in its entirety in self-consistent self-representation underpinned by that recognition operating over items formulated (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Can redescriptions of outcomes salvage the axioms of decision theory?Jean Baccelli & Philippe Mongin - 2021 - Philosophical Studies 179 (5):1621-1648.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  23. (1 other version)The Many Faces of Spinoza's Causal Axiom.Martin Lin - 2019 - In Sebastian Bender & Dominik Perler (eds.), Introduction. London: Routledge.
    Download  
     
    Export citation  
     
    Bookmark  
  24. Boole's criteria for validity and invalidity.John Corcoran & Susan Wood - 1980 - Notre Dame Journal of Formal Logic 21 (4):609-638.
    It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  25. Fermat’s Last Theorem Proved by Induction (and Accompanied by a Philosophical Comment).Vasil Penchev - 2020 - Metaphilosophy eJournal (Elsevier: SSRN) 12 (8):1-8.
    A proof of Fermat’s last theorem is demonstrated. It is very brief, simple, elementary, and absolutely arithmetical. The necessary premises for the proof are only: the three definitive properties of the relation of equality (identity, symmetry, and transitivity), modus tollens, axiom of induction, the proof of Fermat’s last theorem in the case of n = 3 as well as the premises necessary for the formulation of the theorem itself. It involves a modification of Fermat’s approach of infinite descent. The infinite (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Gödel mathematics versus Hilbert mathematics. I. The Gödel incompleteness (1931) statement: axiom or theorem?Vasil Penchev - 2022 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 14 (9):1-56.
    The present first part about the eventual completeness of mathematics (called “Hilbert mathematics”) is concentrated on the Gödel incompleteness (1931) statement: if it is an axiom rather than a theorem inferable from the axioms of (Peano) arithmetic, (ZFC) set theory, and propositional logic, this would pioneer the pathway to Hilbert mathematics. One of the main arguments that it is an axiom consists in the direct contradiction of the axiom of induction in arithmetic and the axiom of infinity in set (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Hilbert's Metamathematical Problems and Their Solutions.Besim Karakadilar - 2008 - Dissertation, Boston University
    This dissertation examines several of the problems that Hilbert discovered in the foundations of mathematics, from a metalogical perspective. The problems manifest themselves in four different aspects of Hilbert’s views: (i) Hilbert’s axiomatic approach to the foundations of mathematics; (ii) His response to criticisms of set theory; (iii) His response to intuitionist criticisms of classical mathematics; (iv) Hilbert’s contribution to the specification of the role of logical inference in mathematical reasoning. This dissertation argues that Hilbert’s axiomatic approach was guided primarily (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. 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 philosophical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. (2 other versions)Societies differ in how they handle the same facts: an axiom of social anthropology?Terence Rajivan Edward - manuscript
    This paper challenges Marilyn Strathern’s claim that it is, or was, an axiom of social anthropology that societies differ in how they handle the same facts. I present a set of foundational commitments for conducting social anthropology which leave the truth of the proposition as an empirical question of the discipline.
    Download  
     
    Export citation  
     
    Bookmark  
  30. Love's Commitments and Epistemic Ambivalence.Larry A. Herzberg - manuscript
    [This paper was presented at the APA Eastern Division Conference in New York City, January 2024] -/- Can one reasonably doubt that one is voluntarily making a commitment, even when one is doing so? Given that one voluntarily makes a commitment if and only if one (personally) knows that one is doing so, the answer appears to be “No.” After all, knowing implies justifiably believing, and it seems impossible that one could (synchronically and from a single personal perspective) reasonably doubt (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. There’s Plenty of Boole at the Bottom: A Reversible CA Against Information Entropy.Francesco Berto, Jacopo Tagliabue & Gabriele Rossi - 2016 - Minds and Machines 26 (4):341-357.
    “There’s Plenty of Room at the Bottom”, said the title of Richard Feynman’s 1959 seminal conference at the California Institute of Technology. Fifty years on, nanotechnologies have led computer scientists to pay close attention to the links between physical reality and information processing. Not all the physical requirements of optimal computation are captured by traditional models—one still largely missing is reversibility. The dynamic laws of physics are reversible at microphysical level, distinct initial states of a system leading to distinct final (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. The Completeness: From Henkin's Proposition to Quantum Computer.Vasil Penchev - 2018 - Логико-Философские Штудии 16 (1-2):134-135.
    The paper addresses Leon Hen.kin's proposition as a " lighthouse", which can elucidate a vast territory of knowledge uniformly: logic, set theory, information theory, and quantum mechanics: Two strategies to infinity are equally relevant for it is as universal and t hus complete as open and thus incomplete. Henkin's, Godel's, Robert Jeroslow's, and Hartley Rogers' proposition are reformulated so that both completeness and incompleteness to be unified and thus reduced as a joint property of infinity and of all infinite sets. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. (1 other version)Kant's Views on Non-Euclidean Geometry.Michael Cuffaro - 2012 - Proceedings of the Canadian Society for History and Philosophy of Mathematics 25:42-54.
    Kant's arguments for the synthetic a priori status of geometry are generally taken to have been refuted by the development of non-Euclidean geometries. Recently, however, some philosophers have argued that, on the contrary, the development of non-Euclidean geometry has confirmed Kant's views, for since a demonstration of the consistency of non-Euclidean geometry depends on a demonstration of its equi-consistency with Euclidean geometry, one need only show that the axioms of Euclidean geometry have 'intuitive content' in order to show that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Fermat’s last theorem proved in Hilbert arithmetic. I. From the proof by induction to the viewpoint of Hilbert arithmetic.Vasil Penchev - 2021 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 13 (7):1-57.
    In a previous paper, an elementary and thoroughly arithmetical proof of Fermat’s last theorem by induction has been demonstrated if the case for “n = 3” is granted as proved only arithmetically (which is a fact a long time ago), furthermore in a way accessible to Fermat himself though without being absolutely and precisely correct. The present paper elucidates the contemporary mathematical background, from which an inductive proof of FLT can be inferred since its proof for the case for “n (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Tarski’s Convention T: condition beta.John Corcoran - forthcoming - South American Journal of Logic 1 (1).
    Tarski’s Convention T—presenting his notion of adequate definition of truth (sic)—contains two conditions: alpha and beta. Alpha requires that all instances of a certain T Schema be provable. Beta requires in effect the provability of ‘every truth is a sentence’. Beta formally recognizes the fact, repeatedly emphasized by Tarski, that sentences (devoid of free variable occurrences)—as opposed to pre-sentences (having free occurrences of variables)—exhaust the range of significance of is true. In Tarski’s preferred usage, it is part of the meaning (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Solving the Conjunction Problem of Russell's Principles of Mathematics.Gregory Landini - 2020 - Journal for the History of Analytical Philosophy 8 (8).
    The quantification theory of propositions in Russell’s Principles of Mathematics has been the subject of an intensive study and in reconstruction has been found to be complete with respect to analogs of the truths of modern quantification theory. A difficulty arises in the reconstruction, however, because it presents universally quantified exportations of five of Russell’s axioms. This paper investigates whether a formal system can be found that is more faithful to Russell’s original prose. Russell offers axioms that are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Fermat’s last theorem proved in Hilbert arithmetic. II. Its proof in Hilbert arithmetic by the Kochen-Specker theorem with or without induction.Vasil Penchev - 2022 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 14 (10):1-52.
    The paper is a continuation of another paper published as Part I. Now, the case of “n=3” is inferred as a corollary from the Kochen and Specker theorem (1967): the eventual solutions of Fermat’s equation for “n=3” would correspond to an admissible disjunctive division of qubit into two absolutely independent parts therefore versus the contextuality of any qubit, implied by the Kochen – Specker theorem. Incommensurability (implied by the absence of hidden variables) is considered as dual to quantum contextuality. The (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Deleuze's metaphysics of structure in Difference and Repetition.Yannis Chatzantonis - manuscript
    This essay describes and evaluates the conception of mereological structure that underpins Deleuze’s account of ontogenesis in Difference and Repetition. A theory of mereology is a theory of composition: it asks what it is to be a part making a whole, what it is to be a whole collecting its parts; in short, in what the relation of making or composing consists. The locus classicus for modern mereology is the third of Husserl’s Logical Investigations (‘On the Theory of Wholes and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Berkeley’s Best System: An Alternative Approach to Laws of Nature.Walter Ott - 2019 - Journal of Modern Philosophy 1 (1):4.
    Contemporary Humeans treat laws of nature as statements of exceptionless regularities that function as the axioms of the best deductive system. Such ‘Best System Accounts’ marry realism about laws with a denial of necessary connections among events. I argue that Hume’s predecessor, George Berkeley, offers a more sophisticated conception of laws, equally consistent with the absence of powers or necessary connections among events in the natural world. On this view, laws are not statements of regularities but the most general (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  40. 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. The most (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Aristotle's Theory of the Assertoric Syllogism.Stephen Read - manuscript
    Although the theory of the assertoric syllogism was Aristotle's great invention, one which dominated logical theory for the succeeding two millenia, accounts of the syllogism evolved and changed over that time. Indeed, in the twentieth century, doctrines were attributed to Aristotle which lost sight of what Aristotle intended. One of these mistaken doctrines was the very form of the syllogism: that a syllogism consists of three propositions containing three terms arranged in four figures. Yet another was that a syllogism is (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Frege's Basic Law V and Cantor's Theorem.Manuel Bremer - manuscript
    The following essay reconsiders the ontological and logical issues around Frege’s Basic Law (V). If focuses less on Russell’s Paradox, as most treatments of Frege’s Grundgesetze der Arithmetik (GGA)1 do, but rather on the relation between Frege’s Basic Law (V) and Cantor’s Theorem (CT). So for the most part the inconsistency of Naïve Comprehension (in the context of standard Second Order Logic) will not concern us, but rather the ontological issues central to the conflict between (BLV) and (CT). These ontological (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Topology and Leibniz's principle of the Identity of Indiscernibles.Mormann Thomas - manuscript
    The aim of this paper is to show that topology has a bearing on Leibniz’s Principle of the Identity of Indiscernibles (PII). According to (PII), if, for all properties F, an object a has property F iff object b has property F, then a and b are identical. If any property F whatsoever is permitted in PII, then Leibniz’s principle is trivial, as is shown by “identity properties”. The aim of this paper is to show that topology can make a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. A reductionist reading of Husserl’s phenomenology by Mach’s descriptivism and phenomenalism.Vasil Penchev - 2020 - Continental Philosophy eJournal 13 (9):1-4.
    Husserl’s phenomenology is what is used, and then the conception of “bracketing reality” is modelled to generalize Peano arithmetic in its relation to set theory in the foundation of mathematics. The obtained model is equivalent to the generalization of Peano arithmetic by means of replacing the axiom of induction with that of transfinite induction. A comparison to Mach’s doctrine is used to be revealed the fundamental and philosophical reductionism of Husserl’s phenomenology leading to a kind of Pythagoreanism in the final (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Rosenkranz’s Logic of Justification and Unprovability.Jan Heylen - 2020 - Journal of Philosophical Logic 49 (6):1243-1256.
    Rosenkranz has recently proposed a logic for propositional, non-factive, all-things-considered justification, which is based on a logic for the notion of being in a position to know, 309–338 2018). Starting from three quite weak assumptions in addition to some of the core principles that are already accepted by Rosenkranz, I prove that, if one has positive introspective and modally robust knowledge of the axioms of minimal arithmetic, then one is in a position to know that a sentence is not (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Neo-Logicism and Russell's Logicism.Kevin C. Klement - 2012 - Russell: The Journal of Bertrand Russell Studies 32 (2):127-159.
    Certain advocates of the so-called “neo-logicist” movement in the philosophy of mathematics identify themselves as “neo-Fregeans” (e.g., Hale and Wright), presenting an updated and revised version of Frege’s form of logicism. Russell’s form of logicism is scarcely discussed in this literature and, when it is, often dismissed as not really logicism at all (in light of its assumption of axioms of infinity, reducibility and so on). In this paper I have three aims: firstly, to identify more clearly the primary (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  47. Aristotle’s Principle of Non-Contradiction.Mohammad Bagher Ghomi - manuscript
    Some forms of defining PNC in Aristotle’s works are as follows: a) Everything must be either affirmed or denied (φάναι ἢ ἀποφάναι). (Met., B, 996b28-29) or: it will not be possible to assert and deny the same thing truly at the same time. (Met., Γ, 1008a36-b1) In other words, ‘contradictory statements (ἀντικειμένας φάσεις) are not at the same time true. (Met., Γ, 1011b13-14) Also, ‘It is impossible that contradictories (ἀντίφασιν) should be at the same time true of the same thing.’ (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. An axiomatic version of Fitch’s paradox.Samuel Alexander - 2013 - Synthese 190 (12):2015-2020.
    A variation of Fitch’s paradox is given, where no special rules of inference are assumed, only axioms. These axioms follow from the familiar assumptions which involve rules of inference. We show (by constructing a model) that by allowing that possibly the knower doesn’t know his own soundness (while still requiring he be sound), Fitch’s paradox is avoided. Provided one is willing to admit that sound knowers may be ignorant of their own soundness, this might offer a way out (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  49. Non-Philosophy and the uninterpretable axiom.Ameen Mettawa - 2018 - Labyrinth: An International Journal for Philosophy, Value Theory and Sociocultural Hermeneutics 20 (1):78-88.
    This article connects François Laruelle's non-philosophical experiments with the axiomatic method to non-philosophy's anti-hermeneutic stance. Focusing on two texts from 1987 composed using the axiomatic method, "The Truth According to Hermes" and "Theorems on the Good News," I demonstrate how non-philosophy utilizes structural mechanisms to both expand and contract the field of potential models allowed by non-philosophy. This demonstration involves developing a notion of interpretation, which synthesizes Rocco Gangle's work on model theory with respect to non-philosophy with Laruelle's critique of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Σ01 soundness isn’t enough: Number theoretic indeterminacy’s unsavory physical commitments.Sharon Berry - 2023 - British Journal for the Philosophy of Science 74 (2):469-484.
    It’s sometimes suggested that we can (in a sense) settle the truth-value of some statements in the language of number theory by stipulation, adopting either φ or ¬φ as an additional axiom. For example, in Clarke-Doane (2020b) and a series of recent APA presentations, Clarke-Doane suggests that any Σ01 sound expansion of our current arithmetical practice would express a truth. In this paper, I’ll argue that (given a certain popular assumption about the model-theoretic representability of languages like ours) we can’t (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 948