This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

16 found
Order:
  1. added 2020-07-31
    A Mathematical Model of Quantum Computer by Both Arithmetic and Set Theory.Vasil Penchev - 2020 - Information Theory and Research eJournal 1 (15):1-13.
    A practical viewpoint links reality, representation, and language to calculation by the concept of Turing (1936) machine being the mathematical model of our computers. After the Gödel incompleteness theorems (1931) or the insolvability of the so-called halting problem (Turing 1936; Church 1936) as to a classical machine of Turing, one of the simplest hypotheses is completeness to be suggested for two ones. That is consistent with the provability of completeness by means of two independent Peano arithmetics discussed in Section I. (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2. added 2020-07-29
    Choice, Infinity, and Negation: Both Set-Theory and Quantum-Information Viewpoints to Negation.Vasil Penchev - 2020 - Logic and Philosophy of Mathematics eJournal 12 (14):1-3.
    The concepts of choice, negation, and infinity are considered jointly. The link is the quantity of information interpreted as the quantity of choices measured in units of elementary choice: a bit is an elementary choice between two equally probable alternatives. “Negation” supposes a choice between it and confirmation. Thus quantity of information can be also interpreted as quantity of negations. The disjunctive choice between confirmation and negation as to infinity can be chosen or not in turn: This corresponds to set-theory (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3. added 2020-07-28
    Conceptions of Infinity and Set in Lorenzen’s Operationist System.Carolin Antos - forthcoming - In Logic, Epistemology and the Unity of Science. Springer.
    In the late 1940s and early 1950s Lorenzen developed his operative logic and mathematics, a form of constructive mathematics. Nowadays this is mostly seen as the precursor to the more well-known dialogical logic and one could assumed that the same philosophical motivations were present in both works. However we want to show that this is not always the case. In particular, we claim, that Lorenzen’s well-known rejection of the actual infinite as stated in Lorenzen (1957) was not a major motivation (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  4. added 2020-07-12
    Universism and Extensions of V.Carolin Antos, Neil Barton & Sy-David Friedman - forthcoming - Review of Symbolic Logic:1-50.
    A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often model-theoretic constructions that add sets to models are cited as evidence in favour of the latter. This paper informs this debate by developing a way for a Universist to interpret talk that (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. added 2020-07-04
    Logic of Paradoxes in Classical Set Theories.Boris Čulina - 2013 - Synthese 190 (3):525-547.
    According to Cantor (Mathematische Annalen 21:545–586, 1883 ; Cantor’s letter to Dedekind, 1899 ) a set is any multitude which can be thought of as one (“jedes Viele, welches sich als Eines denken läßt”) without contradiction—a consistent multitude. Other multitudes are inconsistent or paradoxical. Set theoretical paradoxes have common root—lack of understanding why some multitudes are not sets. Why some multitudes of objects of thought cannot themselves be objects of thought? Moreover, it is a logical truth that such multitudes do (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6. added 2020-06-16
    Парадоксът на Скулем и квантовата информация. Относителност на пълнота по Гьодел.Vasil Penchev - 2011 - Philosophical Alternatives 20 (2):131-147.
    In 1922, Thoralf Skolem introduced the term of «relativity» as to infinity от set theory. Не demonstrated Ьу Zermelo 's axiomatics of set theory (incl. the axiom of choice) that there exists unintended interpretations of anу infinite set. Тhus, the notion of set was also «relative». We сan apply his argurnentation to Gödel's incompleteness theorems (1931) as well as to his completeness theorem (1930). Then, both the incompleteness of Реапо arithmetic and the completeness of first-order logic tum out to bе (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. added 2020-05-28
    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 (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. added 2019-12-26
    The Ontological Import of Adding Proper Classes.Alfredo Roque Freire & Rodrigo de Alvarenga Freire - 2019 - Manuscrito 42 (2):85-112.
    In this article, we analyse the ontological import of adding classes to set theories. We assume that this increment is well represented by going from ZF system to NBG. We thus consider the standard techniques of reducing one system to the other. Novak proved that from a model of ZF we can build a model of NBG (and vice versa), while Shoenfield have shown that from a proof in NBG of a set-sentence we can generate a proof in ZF of (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  9. added 2019-10-14
    Conservativity of Transitive Closure Over Weak Operational Set Theory.Laura Crosilla & Andrea Cantini - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter.
    Constructive set theory a' la Myhill-Aczel has been extended in (Cantini and Crosilla 2008, Cantini and Crosilla 2010) to incorporate a notion of (partial, non--extensional) operation. Constructive operational set theory is a constructive and predicative analogue of Beeson's Inuitionistic set theory with rules and of Feferman's Operational set theory (Beeson 1988, Feferman 2006, Jaeger 2007, Jaeger 2009, Jaeger 1009b). This paper is concerned with an extension of constructive operational set theory (Cantini and Crosilla 2010) by a uniform operation of Transitive (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  10. added 2017-05-21
    Arithmetic, Set Theory, Reduction and Explanation.William D’Alessandro - 2018 - Synthese 195 (11):5059-5089.
    Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In defense (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  11. added 2017-04-06
    Set Theory: Constructive and Intuitionistic Zf.Laura Crosilla - 2010 - Stanford Encyclopedia of Philosophy.
    Constructive and intuitionistic Zermelo-Fraenkel set theories are axiomatic theories of sets in the style of Zermelo-Fraenkel set theory (ZF) which are based on intuitionistic logic. They were introduced in the 1970's and they represent a formal context within which to codify mathematics based on intuitionistic logic. They are formulated on the basis of the standard first order language of Zermelo-Fraenkel set theory and make no direct use of inherently constructive ideas. In working in constructive and intuitionistic ZF we can thus (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  12. added 2016-05-22
    Die Axiome der Arithmetik mit besonderer Berücksichtigung der Beziehungen zur Mengenlehre.Kurt Grelling - 1910 - Dissertation, Georg-Augusts-Universität Göttingen
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. added 2015-12-14
    On the Concepts of Function and Dependence.André Bazzoni - 2015 - Principia: An International Journal of Epistemology 19 (1):01-15.
    This paper briefly traces the evolution of the function concept until its modern set theoretic definition, and then investigates its relationship to the pre-formal notion of variable dependence. I shall argue that the common association of pre-formal dependence with the modern function concept is misconceived, and that two different notions of dependence are actually involved in the classic and the modern viewpoints, namely effective and functional dependence. The former contains the latter, and seems to conform more to our pre-formal conception (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14. added 2014-05-26
    The Inadequacy of a Proposed Paraconsistent Set Theory.Frode Bjørdal - 2011 - Review of Symbolic Logic 4 (1):106-108.
    We show that a paraconsistent set theory proposed in Weber (2010) is strong enough to provide a quite classical nonprimitive notion of identity, so that the relation is an equivalence relation and also obeys full substitutivity: a = b -> F(b)). With this as background it is shown that the proposed theory also proves the negation of x=x. While not by itself showing that the proposed system is trivial in the sense of proving all statements, it is argued that this (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. added 2013-12-19
    La Dinamica Delle Teorie Scientifiche. Strutturalismo Ed Interpretazione Logico-Formale Dell’Epistemologia di Kuhn, with a Preface of C. Ulises Moulines.Tommaso Perrone - 2012 - Franco Angeli.
    Philosophy of science in the 20th century is to be considered as mostly characterized by a fundamentally systematic heuristic attitude, which looks to mathematics, and more generally to the philosophy of mathematics, for a genuinely and epistemologically legitimate form of knowledge. Rooted in this assumption, the book provides a formal reconsidering of the dynamics of scientific theories, especially in the field of the physical sciences, and offers a significant contribution to current epistemological investigations regarding the validity of using formal (especially: (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. added 2013-03-23
    Gestalt, Equivalency, and Functional Dependency. Kurt Grelling’s Formal Ontology.Arkadiusz Chrudzimski - 2013 - In Nikolay Milkov & Volker Peckhaus (eds.), The Berlin Group and the Philosophy of Logical Empiricism. Springer. pp. 245--261.
    In his ontological works Kurt Grelling tries to give a rigorous analysis of the foundations of the so-called Gestalt-psychology. Gestalten are peculiar emergent qualities, ontologically dependent on their foundations, but nonetheless non reducible to them. Grelling shows that this concept, as used in psychology and ontology, is often ambiguous. He distinguishes two important meanings in which the word “Gestalt” is used: Gestalten as structural aspects available to transposition and Gestalten as causally self-regulating wholes. Gestalten in the first meaning are, according (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark