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

414 found
Order:
1 — 50 / 414
  1. A Note on Hahn's Philosophy of Logic.Fred Ablondi - 2002 - History and Philosophy of Logic 23 (1):37-42.
    Hans Hahn, mathematician, philosopher and co-founder of the Vienna Circle, attempted to reconcile the validity and applicability of both logic and mathematics with a strict empiricism. This article begins with a review of this attempt, focusing on his view of the relation of language to logic and his answer to the question of why we need logic. I then turn to some recent work by Stephen Yablo in an attempt to show that Yablo's fictionalism, and in particular his use of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  2. Aus Dem Briefwechsel Wilhelm Ackermanns.Hans Richard Ackermann - 1983 - History and Philosophy of Logic 4 (1-2):181-202.
    A selection from the correspondence of the logician Wilhelm Ackermann (1896?1962) is presented in this article. The most significant letters were exchanged with Bernays, Scholz and Lorenzen, from which extensive passages are transcribed. Some remarks from other letters, with quotations, are also included.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  3. Frege and His Groups.Tuomo Aho - 1998 - History and Philosophy of Logic 19 (3):137-151.
    Frege's docent's dissertation Rechnungsmethoden, die sich auf eine Erweiterung des Grössenbegriffes gründen(1874) contains indications of a bold attempt to extend arithmetic. According to it, arithmetic means the science of magnitude, and magnitude must be understood structurally without intuitive support. The main thing is insight into the formal structure of the operation of ?addition?. It turns out that a general ?magnitude domain? coincides with a (commutative) group. This is an interesting connection with simultaneous developments in abstract algebra. As his main application, (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  4. Diagonalisation and Church's Thesis: Kleene's Homework.Enrique Alonso & Maria Manzano - 2005 - History and Philosophy of Logic 26 (2):93-113.
    In this paper we will discuss the active part played by certain diagonal arguments in the genesis of computability theory. 1?In some cases it is enough to assume the enumerability of Y while in others the effective enumerability is a substantial demand. These enigmatical words by Kleene were our point of departure: When Church proposed this thesis, I sat down to disprove it by diagonalizing out of the class of the ??definable functions. But, quickly realizing that the diagonalization cannot be (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5. Russell and His Sources for Non-Classical Logics.Irving H. Anellis - 2009 - Logica Universalis 3 (2):153-218.
    My purpose here is purely historical. It is not an attempt to resolve the question as to whether Russell did or did not countenance nonclassical logics, and if so, which nonclassical logics, and still less to demonstrate whether he himself contributed, in any manner, to the development of nonclassical logic. Rather, I want merely to explore and insofar as possible document, whether, and to what extent, if any, Russell interacted with the various, either the various candidates or their, ideas that (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6. Theology Against Logic: The Origins of Logic in Old Russia.Irving H. Anellis - 1992 - History and Philosophy of Logic 13 (1):15-42.
    We consider the history of logic in pre-Petrine. Petrine. and immediate post-Pctrine Russia (from the 15th to the mid-18th centuries) and especially of the Petrine era from the late 17th to early 18th century. Throughout much of this time, the clergy evinced strong hostility towards logic. Nevertheless, a small number of academics and clerics such as Stefan Iavorskii and Fcofan Prokopovich kept Aristotelian logic alive during this period and provided the foundation for its development in the modern era.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  7. Mathematical Logic in the Soviet Union, 1917–1980.Irving H. Anellis - 1987 - History and Philosophy of Logic 8 (1):71-76.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  8. The Heritage of S. A. Janovskaja.Irving H. Anellis - 1987 - History and Philosophy of Logic 8 (1):45-56.
    A survey is provided of the Soviet-Russian logician and historian Sof'ja A. Janovskaya (1896?1966). She wrote survey articles on logic, and also historical and philosophical essays on logic and on mathematics. A selected bibliography of her writings is appended.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  9. Frege: Fra Estensionalismo E Logicismo.Aldo Antonelli - manuscript
    Due programmi diversi si intersecano nel lavoro di Frege sui fondamenti dell’aritmetica: • Logicismo: l’aritmetica `e riducibile alla logica; • Estensionalismo: l’aritmetica `e riducibile a una teoria delle estensioni. Sia nei Fondamenti che nei Principi, Frege articola l’idea che l’aritmetica sia riducibile a una teoria logica delle estensioni.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  10. Frege's New Science.G. Aldo Antonelli & Robert C. May - 2000 - Notre Dame Journal of Formal Logic 41 (3):242-270.
    In this paper, we explore Fregean metatheory, what Frege called the New Science. The New Science arises in the context of Frege’s debate with Hilbert over independence proofs in geometry and we begin by considering their dispute. We propose that Frege’s critique rests on his view that language is a set of propositions, each immutably equipped with a truth value (as determined by the thought it expresses), so to Frege it was inconceivable that axioms could even be considered to be (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  11. Book Review: Raymond Bradley. The Nature of All Being: A Study of Wittgenstein's Modal Atomism. [REVIEW]D. M. Armstrong - 1992 - Notre Dame Journal of Formal Logic 34 (1):150-156.
  12. On Magari's Concept of General Calculus: Notes on the History of Tarski's Methodology of Deductive Sciences.S. Arpaia - 2006 - History and Philosophy of Logic 27 (1):9-41.
    This paper is an historical study of Tarski's methodology of deductive sciences (in which a logic S is identified with an operator Cn S , called the consequence operator, on a given set of expressions), from its appearance in 1930 to the end of the 1970s, focusing on the work done in the field by Roberto Magari, Piero Mangani and by some of their pupils between 1965 and 1974, and comparing it with the results achieved by Tarski and the Polish (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  13. Leśniewski's Work and Nonclassical Set Theories.F. G. Asenjo - 1977 - Studia Logica 36 (4):249-255.
  14. The Epsilon Calculus.Jeremy Avigad & Richard Zach - 2008 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Center for the Study of Language and Information, Stanford University.
    The epsilon calculus is a logical formalism developed by David Hilbert in the service of his program in the foundations of mathematics. The epsilon operator is a term-forming operator which replaces quantifiers in ordinary predicate logic. Specifically, in the calculus, a term εx A denotes some x satisfying A(x), if there is one. In Hilbert's Program, the epsilon terms play the role of ideal elements; the aim of Hilbert's finitistic consistency proofs is to give a procedure which removes such terms (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15. Completeness and Categoricity. Part I: Nineteenth-Century Axiomatics to Twentieth-Century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.
    This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography   17 citations  
  16. Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-First-Century Semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (2):77-94.
    This paper is the second in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  17. Completeness and Categoricity, Part I: 19th Century Axiomatics to 20th Century Metalogic.Steve Awodey & Erich H. Reck - unknown
    This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  18. Omaggio a Ludovico Geymonat. Saggi e Testimonianze.Francesco Barone & Ludovico Geymonat - 1992 - Franco Muzzio Editore.
    Il volume comprende i saggi dei seguenti autori: Corrado Mangione, Enrico Bellone, Giulio Giorello, Marco Mondadori, Gabriele Lolli, Silvano Tagliagambe, Francesco Barone, Umberto Bottazzini, Vincenzo Cappelletti, Domenico Costantini, Piero Mangani, Carlos Minguez, Alberto Pasquinelli, Rossano Pancaldi, Mario Servi.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  19. Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação).Tomás Barrero - 2004 - Dissertation, Universidade Estadual de Campinas
    This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive com- pleteness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend this constructive (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  20. Book Review: Mark van Atten. On Brouwer. [REVIEW]O. Bradley Bassler - 2006 - Notre Dame Journal of Formal Logic 47 (4):581-599.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  21. Problems of Traditional Logic in the Works of Adam Wiegner.T. Batóg - 1968 - Studia Logica 23 (1):147-147.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  22. Davis Martin. On Formally Undecidable Propositions of the Principia Mathematica and Related Systems. I. The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions, Edited by Davis Martin, Raven Press, Hewlett, New York, 1965, P. 4. Gödel Kurt. On Formally Undecidable Propositions of Principia Mathematica and Related Systems I. English Translation of 4183 by Elliott Mendelson. The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems and ... [REVIEW]Stefan Bauer-Mengelberg - 1996 - Journal of Symbolic Logic 31 (3):484-494.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  23. Review: Kurt Godel, B. Meltzer, On Formally Undecidable Propositions of Principia Mathematica and Related Systems I. [REVIEW]Stefan Bauer-Mengelberg - 1965 - Journal of Symbolic Logic 30 (3):359-362.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  24. Gödel Kurt. On Formally Undecidable Propositions of Principia Mathematica and Related Systems I. English Translation of 4183 by Meltzer B.. Oliver & Boyd, Edinburgh and London 1962, Pp. 37–72. [REVIEW]Stefan Bauer-Mengelberg - 1965 - Journal of Symbolic Logic 30 (3):359-362.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25. In Memoriam: Paul Erdös, 1913-1996.James E. Baumgartner - 1997 - Bulletin of Symbolic Logic 3 (1):70-72.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  26. Review: Morris Weitz, Analysis and the Unity of Russell's Philosophy. [REVIEW]Charles A. Baylis - 1944 - Journal of Symbolic Logic 9 (3):77-77.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  27. Weitz Morris. Analysis and the Unity of Russell's Philosophy. The Philosophy of Bertrand Russell, Edited by Schilpp Paul Arthur, Northwestern University, Evanston and Chicago 1944, Pp. 55–121. [REVIEW]Charles A. Baylis - 1944 - Journal of Symbolic Logic 9 (3):77.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. The Fruits of Logicism.Timothy Bays - 2000 - Notre Dame Journal of Formal Logic 41 (4):415-421.
    You’ll be pleased to know that I don’t intend to use these remarks to comment on all of the papers presented at this conference. I won’t try to show that one paper was right about this topic, that another was wrong was about that topic, or that several of our conference participants were talking past one another. Nor will I try to adjudicate any of the discussions which took place in between our sessions. Instead, I’ll use these remarks to make (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  29. Non-Classical Stems From Classical: N. A. Vasiliev's Approach to Logic and His Reassessment of the Square of Opposition. [REVIEW]Valentin A. Bazhanov - 2008 - Logica Universalis 2 (1):71-76.
    . In the XIXth century there was a persistent opposition to Aristotelian logic. Nicolai A. Vasiliev (1880–1940) noted this opposition and stressed that the way for the novel – non-Aristotelian – logic was already paved. He made an attempt to construct non-Aristotelian logic (1910) within, so to speak, the form (but not in the spirit) of the Aristotelian paradigm (mode of reasoning). What reasons forced him to reassess the status of particular propositions and to replace the square of opposition by (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  30. Book Review:Logic and Knowledge: Essays 1901-1950 Bertrand Russell, Robert Charles Marsh. [REVIEW]Hugo A. Bedau - 1958 - Philosophy of Science 25 (2):136-.
  31. Kotarbiński Tadeusz. Wykłady Z Dziejów Logiki (Lectures From the History of Logic). Państwowe Wydawnictwo Naukowe, Warsaw 1985, 226 Pp. [REVIEW]John Bednarz - 1990 - Journal of Symbolic Logic 55 (3):1322-1324.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  32. Bertrand Russell Memorial Logic Conference £200 Essay Prize.J. L. Bell, M. A. Dickmann, M. Machover, G. Priest, A. B. Slomson, Y. Suzuki & G. M. Wilmers - 1975 - Journal of Symbolic Logic 40 (2):298.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33. Omaggio a Ludovico Geymonat.Enrico Bellone, Corrado Mangione, Giulio Giorello, Marco Mondadori, Gabriele Lolli, Silvano Tagliagambe, Francesco Barone, Umberto Bottazzini, Vincenzo Cappelletti, Domenico Costantini, Piero Mangani, Carlos Minguez, Alberto Pasquinelli, Rossano Pancaldi & Mario Servi - 1992 - Franco Muzzio Editore.
  34. Is Russell's Antinomy Derivable in Bolzano's Logic? In Bolzano-Studien.J. Berg - 1987 - Philosophia Naturalis 24 (4):406-413.
  35. Axiomatic Investigations of the Propositional Calculus of Principia Mathematica.Paul Bernays - 2012 - In Universal Logic: An Anthology. New York and Basel: pp. 43-58.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  36. Review: Peter Nidditch, A Note on the Redundant Axiom of Principia Mathematica. [REVIEW]Paul Bernays - 1971 - Journal of Symbolic Logic 36 (2):332-333.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. Nidditch Peter. A Note on the Redundant Axiom of Principia Mathematica. Mind, N.S. Vol. 69 , Pp. 251–252.Paul Bernays - 1971 - Journal of Symbolic Logic 36 (2):332-333.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. Review: Kurt Godel, Russell's Mathematical Logic. [REVIEW]Paul Bernays - 1946 - Journal of Symbolic Logic 11 (3):75-79.
  39. Gödel Kurt. Russell's Mathematical Logic. The Philosophy of Bertrand Russell, Edited by Schilpp Paul Arthur, Northwestern University, Evanston and Chicago 1944, Pp. 123–153. [REVIEW]Paul Bernays - 1946 - Journal of Symbolic Logic 11 (3):75-79.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  40. Remark on Nicod's Reduction of Principia Mathematica.B. A. Bernstein - 1937 - Journal of Symbolic Logic 2 (4):165-166.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  41. Norms, Reasons and Reasoning: A Guide Through Lewis Carroll’s Regress Argument.Corine Besson - forthcoming - In Daniel Star (ed.), The Oxford Handbook of Reasons and Normativity.
    This paper concerns connection between knowing or accepting a logical principle such as Modus Ponens and actions of reasoning involving it. Discussions of this connection typically mention the so-called ‘Lewis Carroll Regress’ and there is near consensus that the regress shows something important about it. Also, although the regress explicitly concerns logic, many philosophers think that it establishes a more general truth, about the structurally similar connection between epistemic or practical principles and actions involving them. This paper’s first aim is (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  42. The Strange Case of Savonarola and the Painted Fish. On the Bolzanization of Polish Thought.A. Betti - unknown
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  43. Łukasiewicz and Leśniewski on Contradiction.A. Betti - unknown
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  44. Leśniewski's Characteristica Universalis.Arianna Betti - 2010 - Synthese 174 (2):295-314.
    Leśniewski’s systems deviate greatly from standard logic in some basic features. The deviant aspects are rather well known, and often cited among the reasons why Leśniewski’s work enjoys little recognition. This paper is an attempt to explain why those aspects should be there at all. Leśniewski built his systems inspired by a dream close to Leibniz’s characteristica universalis: a perfect system of deductive theories encoding our knowledge of the world, based on a perfect language. My main claim is that Leśniewski (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  45. Lesniewski's Early Liar, Tarski and Natural Language.Arianna Betti - 2004 - Annals of Pure and Applied Logic 127 (1-3):267-287.
    This paper is a contribution to the reconstruction of Tarski’s semantic background in the light of the ideas of his master, Stanislaw Lesniewski. Although in his 1933 monograph Tarski credits Lesniewski with crucial negative results on the semantics of natural language, the conceptual relationship between the two logicians has never been investigated in a thorough manner. This paper shows that it was not Tarski, but Lesniewski who first avowed the impossibility of giving a satisfactory theory of truth for ordinary language, (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  46. Notes on a Remark by Lord Russell.F. E. Binet - 1954 - British Journal for the Philosophy of Science 5 (17):67-70.
  47. Review: Harold R. Smart, Paul Arthur Schilpp, Cassirer's Theory of Mathematical Concepts. [REVIEW]Max Black - 1950 - Journal of Symbolic Logic 15 (2):156-156.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  48. Review: Albert Einstein, Paul Arthur Schilpp, Autobiographical Notes. [REVIEW]Max Black - 1950 - Journal of Symbolic Logic 15 (2):157-157.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  49. Feibleman James. An Introduction to Peirce's Philosophy Interpreted as a System. With a Foreword by Bertrand Russell. Harper and Brothers, New York and London 1946, Xx + 503 Pp. [REVIEW]Max Black - 1947 - Journal of Symbolic Logic 12 (1):19.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. Review: James Feibleman, Bertrand Russell, An Introduction to Peirce's Philosophy Interpreted as a System. [REVIEW]Max Black - 1947 - Journal of Symbolic Logic 12 (1):19-19.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 414