Switch to: References

Add citations

You must login to add citations.
  1. In Defense of Logical Universalism: Taking Issue with Jean van Heijenoort. [REVIEW]Philippe de Rouilhan - 2012 - Logica Universalis 6 (3-4):553-586.
    Van Heijenoort’s main contribution to history and philosophy of modern logic was his distinction between two basic views of logic, first, the absolutist, or universalist, view of the founding fathers, Frege, Peano, and Russell, which dominated the first, classical period of history of modern logic, and, second, the relativist, or model-theoretic, view, inherited from Boole, Schröder, and Löwenheim, which has dominated the second, contemporary period of that history. In my paper, I present the man Jean van Heijenoort (Sect. 1); then (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Is the Royaumont Colloquium the Locus Classicus of the Divide Between Analytic and Continental Philosophy? Reply to Overgaard.Andreas Vrahimis - 2013 - British Journal for the History of Philosophy 21 (1):177 - 188.
    In his recent article, titled ‘Royaumont Revisited’, Overgaard challenges Dummett's view that one needs to go as far back as the late nineteenth century in order to discover examples of genuine dialogue between ‘analytic’ and ‘continental’ philosophy. Instead, Overgaard argues that in the 1958 Royaumont colloquium, generally judged as a failed attempt at communication between the two camps, one can find some elements which may be utilized towards re-establishing a dialogue between these two sides. Yet, emphasising this image of Royaumont (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Formal Semantics: Origins, Issues, Early Impact.Barbara H. Partee - 2010 - The Baltic International Yearbook of Cognition, Logic and Communication 6 (1).
    Formal semantics is an approach to SEMANTICS1, the study of meaning, with roots in logic, the philosophy of language, and linguistics, and since the 1980’s a core area of linguistic theory. Characteristics of formal semantics to be treated in this article include the following: Formal semanticists treat meaning as mind-independent (though abstract), contrasting with the view of meanings as concepts “in the head” (see I-LANGUAGE AND E-LANGUAGE and MEANING EXTERNALISM AND INTERNALISM); formal semanticists distinguish semantics from knowledge of semantics (Lewis (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Two Unpublished Contributions by Alfred Tarski.Francisco Rodriguez-Consuegra - 2007 - History and Philosophy of Logic 28 (3):257-264.
    Two unpublished contributions to meetings can be found in the Alfred Tarski Papers, at the University of California, Berkeley. The meetings took place in 1965, in Chicago and London, respectively....
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Schema.John Corcoran - 2008 - Stanford Encyclopedia of Philosophy.
    -/- A schema (plural: schemata, or schemas), also known as a scheme (plural: schemes), is a linguistic template or pattern together with a rule for using it to specify a potentially infinite multitude of phrases, sentences, or arguments, which are called instances of the schema. Schemas are used in logic to specify rules of inference, in mathematics to describe theories with infinitely many axioms, and in semantics to give adequacy conditions for definitions of truth. -/- 1. What is a Schema? (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The analytic/synthetic distinction.Gillian Russell - 2007 - Philosophy Compass 2 (5):712–729.
    Once a standard tool in the epistemologist’s kit, the analytic/synthetic distinction was challenged by Quine and others in the mid-twentieth century and remains controversial today. But although the work of a lot contemporary philosophers touches on this distinction – in the sense that it either has consequences for it, or it assumes results about it – few have really focussed on it recently. This has the consequence that a lot has happened that should affect our view of the analytic/synthetic distinction, (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Aristotle's demonstrative logic.John Corcoran - 2009 - History and Philosophy of Logic 30 (1):1-20.
    Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Two Poles Worlds Apart.Adam Trybus & Bernard Linsky - 2022 - Journal for the History of Analytical Philosophy 10 (5).
    The article describes the background of Roman Ingarden's 1922 review of Leon Chwistek's book Wielość rzeczywistości, and the back-and-forth that followed. Despite the differences, the two shared some interesting similarities. Both authors had important ties to the intellectual happenings outside Poland and were not considerd mainstream at home. In the end, however, it is these connections that allowed them to gain recognition. Ingarden, who had been a student of Husserl, became the leading phenomenologist in the postwar Poland. For Chwistek, a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The man who defined truth and the lvov crisis.Miroslava Trajkovski - 2021 - In Nenad Cekić (ed.), Етика и истина у доба кризе. Belgrade: University of Belgrade - Faculty of Philosophy. pp. 97-110.
    In the period after the First World War when the various national-ideological “truths” that led to it were not well resolved which resulted in the Second World War, one of the greatest world crises occurs. In those turbulent times, one philosopher renounces his national identity (changes his religion and name), wanting not to save himself from an evil world that is emerging but to join the creation of a completely new world – the world of modern logic. This man is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Етика и истина у доба кризе.Nenad Cekić (ed.) - 2021 - Belgrade: University of Belgrade - Faculty of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark  
  • Incompleteness and Computability: An Open Introduction to Gödel's Theorems.Richard Zach - 2019 - Open Logic Project.
    Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Sets, Logic, Computation: An Open Introduction to Metalogic.Richard Zach - 2019 - Open Logic Project.
    An introductory textbook on metalogic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. The audience is undergraduate students with some background in formal logic.
    Download  
     
    Export citation  
     
    Bookmark  
  • Maria Kokoszyńska: Between the Lvov-Warsaw School and the Vienna Circle.Anna Brożek - 2017 - Journal for the History of Analytical Philosophy 5 (2).
    Maria Kokoszyńska-Lutmanowa was one of the most outstanding female representatives of the Lvov-Warsaw School. After achieving her PhD in philosophy under Kazimierz Twardowski’s supervision, she was Kazimierz Ajdukiewicz’s assistant. She was also influenced by Alfred Tarski whose results in semantics she analyzed and popularized. After World War II, she got the chair of logic in University of Wrocław and she organized studies in logic in this academic center. In the 1930s, Kokoszyńska kept in contact with members of the Vienna Circle (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Carnapian and Tarskian semantics.Pierre Wagner - 2017 - Synthese 194 (1):97-119.
    Many papers have been devoted to the semantic turn Carnap took in the late 1930s after Tarski had explained to him his method for defining truth and his work on the establishment of scientific semantics. Commentators have often argued that the major turn in Carnap’s approach to languages had already been taken in the Logical Syntax of Language, but they have usually assumed that Carnap was happy to subsequently follow Tarski and adopt Tarskian semantics. In this paper, it is argued (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A decision procedure for probability calculus with applications.Branden Fitelson - 2008 - Review of Symbolic Logic 1 (1):111-125.
    (new version: 10/30/07). Click here to download the companion Mathematica 6 notebook that goes along with this paper.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Introduction.Elisabeth Camp - 2007 - The Baltic International Yearbook of Cognition, Logic and Communication 3 (1).
    Here, I offer a rapid overview of the theory of metaphor, in order to situate the contributions to this volume in relation to one another and within the field more generally.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Aristotle’s Prototype Rule-Based Underlying Logic.John Corcoran - 2018 - Logica Universalis 12 (1-2):9-35.
    This expository paper on Aristotle’s prototype underlying logic is intended for a broad audience that includes non-specialists. It requires as background a discussion of Aristotle’s demonstrative logic. Demonstrative logic or apodictics is the study of demonstration as opposed to persuasion. It is the subject of Aristotle’s two-volume Analytics, as its first sentence says. Many of Aristotle’s examples are geometrical. A typical geometrical demonstration requires a theorem that is to be demonstrated, known premises from which the theorem is to be deduced, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On Rereading van Heijenoort’s Selected Essays.Solomon Feferman - 2012 - Logica Universalis 6 (3):535-552.
    This is a critical reexamination of several pieces in van Heijenoort’s Selected Essays that are directly or indirectly concerned with the philosophy of logic or the relation of logic to natural language. Among the topics discussed are absolutism and relativism in logic, mass terms, the idea of a rational dictionary, and sense and identity of sense in Frege.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Formal Semantics: Origins, Issues, Early Impact.Barbara H. Partee - 2011 - The Baltic International Yearbook of Cognition, Logic and Communication 6:13.
    Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments in syntax, philosophy of language, computational linguistics, and cognitive science.In this paper I describe the environment in which formal semantics was born and took root, highlighting the differences in ways of thinking about natural language semantics in linguistics and in philosophy and logic. With Montague as (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • In Defense of Logical Universalism: Taking Issue with Jean van Heijenoort.Philippe Rouilhan - 2012 - Logica Universalis 6 (3-4):553-586.
    Van Heijenoort's main contribution to history and philosophy of modern logic was his distinction between two basic views of logic, first, the absolutist, or universalist, view of the founding fathers, Frege, Peano, and Russell, which dominated the first, classical period of history of modern logic, and, second, the relativist, or model-theoretic, view, inherited from Boole, Schröder, and Löwenheim, which has dominated the second, contemporary period of that history. In my paper, I present the man Jean van Heijenoort (Sect. 1); then (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Von Neumann, Gödel and complexity theory.Alasdair Urquhart - 2010 - Bulletin of Symbolic Logic 16 (4):516-530.
    Around 1989, a striking letter written in March 1956 from Kurt Gödel to John von Neumann came to light. It poses some problems about the complexity of algorithms; in particular, it asks a question that can be seen as the first formulation of the P=?NP question. This paper discusses some of the background to this letter, including von Neumann's own ideas on complexity theory. Von Neumann had already raised explicit questions about the complexity of Tarski's decision procedure for elementary algebra (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Proceedings of Sinn und Bedeutung 9.Emar Maier, Corien Bary & Janneke Huitink (eds.) - 2005 - Nijmegen Centre for Semantics.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Alfred Tarski: philosophy of language and logic.Douglas Patterson - 2012 - New York: Palgrave-Macmillan.
    This study looks to the work of Tarski's mentors Stanislaw Lesniewski and Tadeusz Kotarbinski, and reconsiders all of the major issues in Tarski scholarship in light of the conception of Intuitionistic Formalism developed: semantics, truth, paradox, logical consequence.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • (1 other version)On the relations between Heinrich Scholz and Jan Łukasiewicz.Hans-Christoph Schmidt Am Busch & Kai F. Wehmeier - 2007 - History and Philosophy of Logic 28 (1):67-81.
    The aim of the present study is (1) to show, on the basis of a number of unpublished documents, how Heinrich Scholz supported his Warsaw colleague Jan ?ukasiewicz, the Polish logician, during World War II, and (2) to discuss the efforts he made in order to enable Jan ?ukasiewicz and his wife Regina to move from Warsaw to Münster under life-threatening circumstances. In the first section, we explain how Scholz provided financial help to ?ukasiewicz, and we also adduce evidence of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Theory and Reality : Metaphysics as Second Science.Staffan Angere - unknown
    Theory and Reality is about the connection between true theories and the world. A mathematical framefork for such connections is given, and it is shown how that framework can be used to infer facts about the structure of reality from facts about the structure of true theories, The book starts with an overview of various approaches to metaphysics. Beginning with Quine's programmatic "On what there is", the first chapter then discusses the perils involved in going from language to metaphysics. It (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Henry M. Sheffer and Notational Relativity.Alasdair Urquhart - 2012 - History and Philosophy of Logic 33 (1):33 - 47.
    Henry M. Sheffer is well known to logicians for the discovery (or rather, the rediscovery) of the ?Sheffer stroke? of propositional logic. But what else did Sheffer contribute to logic? He published very little, though he is known to have been carrying on a rather mysterious research program in logic; the only substantial result of this research was the unpublished monograph The General Theory of Notational Relativity. The main aim of this paper is to explain, as far as possible (given (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Preface: The Generosity of Formal Languages. [REVIEW]Frits Staal - 2007 - Journal of Indian Philosophy 35 (5-6):405-412.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Alfred Tarski.Mario Gómez-Torrente - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Lvov-warsaw school.Jan Woleński - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Editor’s Introduction to Jean van Heijenoort, Historical Development of Modern Logic.Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):301-326.
    Van Heijenoort’s account of the historical development of modern logic was composed in 1974 and first published in 1992 with an introduction by his former student. What follows is a new edition with a revised and expanded introduction and additional notes.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Philosophy in Poland: Varieties of Anti-Irrationalism. A Commitment to Reason without the Worship of Reason.Konrad Werner - 2020 - Philosophia 48 (1):1-32.
    I shall elaborate more on the idea of anti-irrationalism proposed by the Polish analytic philosopher Kazimierz Ajdukiewicz, a prominent member of the Lvov-Warsaw School of philosophy and logic. In my reading, anti-irrationalism stands in opposition not only to overt irrationalism, which is made clear by the term itself, but also to all forms of rationalism that tip toward something like worship of reason. Having characterized anti-irrationalism as it originally appeared in Ajdukiewicz’s works, I shall propose a certain reformulation of it, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)On the relations between Heinrich Scholz and Jan Łukasiewicz.Hans-Christoph Schmidt Am Busch & Kai F. Wehmeier - 2007 - History and Philosophy of Logic 28 (1):67-81.
    The aim of the present study is (1) to show, on the basis of a number of unpublished documents, how Heinrich Scholz supported his Warsaw colleague Jan Łukasiewicz, the Polish logician, during World War II, and (2) to discuss the efforts he made in order to enable Jan Łukasiewicz and his wife Regina to move from Warsaw to Münster under life-threatening circumstances. In the first section, we explain how Scholz provided financial help to Łukasiewicz, and we also adduce evidence of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations