Switch to: References

Citations of:

Principles of mathematical logic

Providence, R.I.: AMS Chelsea. Edited by W. Ackermann & Robert E. Luce (1950)

Add citations

You must login to add citations.
  1. Logical Form and Propositional Function in the Tractatus.Eric J. Loomis - 2005 - Theoria 71 (3):215-240.
    Wittgenstein's Tractatus carefully distinguished the concept all from\nthe notion of a truth-function, and thereby from the quantifiers.\nI argue that Wittgenstein's rationale for this distinction is lost\nunless propositional functions are understood within the context\nof his picture theory of the proposition. Using a model Tractatus\nlanguage, I show how there are two distinct forms of generality implicit\nin quantified Tractatus propositions. Although the explanation given\nin the Tractatus for this distinction is ultimately flawed, the distinction\nitself is a genuine one, and the forms of generality that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Identity, indiscernibility, and philosophical claims.Décio Krause & Antonio Mariano Nogueira Coelho - 2005 - Axiomathes 15 (2):191-210.
    The concept of indiscernibility in a structure is analysed with the aim of emphasizing that in asserting that two objects are indiscernible, it is useful to consider these objects as members of (the domain of) a structure. A case for this usefulness is presented by examining the consequences of this view to the philosophical discussion on identity and indiscernibility in quantum theory.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Fregean grammar: A formal outline.Timothy C. Potts - 1978 - Studia Logica 37 (1):7 - 26.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method.Carlo Cellucci - 2013 - Dordrecht, Netherland: Springer.
    This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions.John Corcoran & Hassan Masoud - 2015 - History and Philosophy of Logic 36 (1):39-61.
    Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On Bourbaki’s axiomatic system for set theory.Maribel Anacona, Luis Carlos Arboleda & F. Javier Pérez-Fernández - 2014 - Synthese 191 (17):4069-4098.
    In this paper we study the axiomatic system proposed by Bourbaki for the Theory of Sets in the Éléments de Mathématique. We begin by examining the role played by the sign \(\uptau \) in the framework of its formal logical theory and then we show that the system of axioms for set theory is equivalent to Zermelo–Fraenkel system with the axiom of choice but without the axiom of foundation. Moreover, we study Grothendieck’s proposal of adding to Bourbaki’s system the axiom (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Finite Partitions and Their Generators.George Weaver - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):255-260.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Lukasiewicz's symbolic logic.A. N. Prior - 1952 - Australasian Journal of Philosophy 30 (1):33 – 46.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • An interpretation of logical formulas.Jean A. Phillips - 1959 - Theoria 25 (3):158-172.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)The t‐variable method in gentzen‐style automatic theorem proving.Tryggvi Edwald - 1990 - Mathematical Logic Quarterly 36 (3):253-261.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)The t-variable method in gentzen-style automatic theorem proving.Tryggvi Edwald - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):253-261.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Schrödinger Logics.Newton C. A. da Costa & Décio Krause - 1994 - Studia Logica 53 (4):533-550.
    Schrödinger logics are logical systems in which the principle of identity is not true in general. The intuitive motivation for these logics is both Erwin Schrödinger's thesis that identity lacks sense for elementary particles of modern physics, and the way which physicists deal with this concept; normally, they understand identity as meaning indistinguishability . Observing that these concepts are equivalent in classical logic and mathematics, which underly the usual physical theories, we present a higher-order logical system in which these concepts (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Cut Elimination in Transfinite Type Theory.Kenneth A. Bowen - 1973 - Mathematical Logic Quarterly 19 (8-10):141-162.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)The Origins of the Use of the Argument of Trivialization in the Twentieth Century.M. Andrés Bobenrieth - 2010 - History and Philosophy of Logic 31 (2):111-121.
    The origin of paraconsistent logic is closely related with the argument, ‘from the assertion of two mutually contradictory statements any other statement can be deduced’; this can be referred to as ex contradictione sequitur quodlibet (ECSQ). Despite its medieval origin, only by the 1930s did it become the main reason for the unfeasibility of having contradictions in a deductive system. The purpose of this article is to study what happened earlier: from Principia Mathematica to that time, when it became well (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • La Lógica contemporánea en sus manuales. 1940-1980.Enrique Alonso & Víctor Aranda - 2020 - Endoxa 46:165.
    En este estudio analizamos dos tendencias claramente distintas y contrapuestas en la forma de impartir cursos elementales de Lógica en la formación superior. Para este propósito, se ha seleccionado una muestra de manuales angloamericanos clásicos, así como otra más pequeña de la tradición iberoamericana para comprobar nuestras hipótesis. Los estilos identificados y analizados en dichos manuales son lo que hemos denominado lógica matemática y lógica para filósofos. En ambos casos se trata de tendencias muy generales reconocibles en las más diversas (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Essays on the Logical.Nijaz Ibrulj - 2022 - Sarajevo: Academia Analitica.
    Already in ancient philosophy, there was a transition from the implicit and hidden action of the Logical ( lógos) in nature ( phýsis) to the scientific and explicit expression of the logical structures of thought, action, the world and language. Heraclitus' heno-logic with Logos as hidden implicit principle of homologization of opposites ( tà enantía) in nature differs from Parmenides' paraconsistent logic developed in a hypothetical hemidyalectics given in the formula ''All is One'' ( hén pánta eînai). Plato's concept of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)The Cogito Paradox.Arnold Cusmariu - forthcoming - Symposion. Theoretical and Applied Inquiries in Philosophy and Social Sciences.
    Arnold Cusmariu ABSTRACT: The Cogito formulation in Discourse on Method attributes properties to one conceptual category that belong to another. Correcting the error ends up defeating Descartes’ response to skepticism. His own creation, the Evil Genius, is to blame. Download PDF.
    Download  
     
    Export citation  
     
    Bookmark