Search results for 'Logic, Symbolic and mathematical Philosophy' (try it on Scholar)

1000+ found
Order:
  1. Benedikt Löwe, Wolfgang Malzkorn & Thoralf Räsch (2003). Foundations of the Formal Sciences Ii Applications of Mathematical Logic in Philosophy and Linguistics : Papers of a Conference Held in Bonn, November 10-13, 2000. [REVIEW] Monograph Collection (Matt - Pseudo).
     
    Export citation  
     
    My bibliography   1 citation  
  2.  99
    Imre Lakatos (ed.) (1976). Proofs and Refutations: The Logic of Mathematical Discovery. Cambridge University Press.
    Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion (which mirrors certain real developments in the history of mathematics) raises some philosophical problems and some problems about the nature of mathematical discovery (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   158 citations  
  3.  79
    Richard L. Tieszen (2005). Phenomenology, Logic, and the Philosophy of Mathematics. Cambridge University Press.
    Offering a collection of fifteen essays that deal with issues at the intersection of phenomenology, logic, and the philosophy of mathematics, this book is divided into three parts. Part I, Reason, Science, and Mathematics contains a general essay on Husserl's conception of science and logic, an essay of mathematics and transcendental phenomenology, and an essay oN phenomenology and modern pure geometry. Part II is focused on Kurt Godel's interest in phenomenology. It explores Godel's ideas and also some work of (...)
    Direct download  
     
    Export citation  
     
    My bibliography   12 citations  
  4.  48
    Stephen Cole Kleene (1967/2002). Mathematical Logic. Dover Publications.
    Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   29 citations  
  5.  43
    G. T. Kneebone (1963/2001). Mathematical Logic and the Foundations of Mathematics: An Introductory Survey. Dover.
    Graduate-level historical study is ideal for students intending to specialize in the topic, as well as those who only need a general treatment. Part I discusses traditional and symbolic logic. Part II explores the foundations of mathematics, emphasizing Hilbert’s metamathematics. Part III focuses on the philosophy of mathematics. Each chapter has extensive supplementary notes; a detailed appendix charts modern developments.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  6. Roman Murawski (ed.) (2010). Essays in the Philosophy and History of Logic and Mathematics. Rodopi.
    The book is a collection of the author’s selected works in the philosophy and history of logic and mathematics. Papers in Part I include both general surveys of contemporary philosophy of mathematics as well as studies devoted to specialized topics, like Cantor's philosophy of set theory, the Church thesis and its epistemological status, the history of the philosophical background of the concept of number, the structuralist epistemology of mathematics and the phenomenological philosophy of mathematics. Part II (...)
     
    Export citation  
     
    My bibliography  
  7. Gottlob Frege (1991). Collected Papers on Mathematics, Logic, and Philosophy. Wiley-Blackwell.
    No categories
     
    Export citation  
     
    My bibliography   98 citations  
  8.  21
    Marie McGinn (2006/2009). Elucidating the Tractatus: Wittgenstein's Early Philosophy of Logic and Language. Oxford University Press.
    Discussion of Wittgenstein's Tractatus is currently dominated by two opposing interpretations of the work: a metaphysical or realist reading and the 'resolute' reading of Diamond and Conant. Marie McGinn's principal aim in this book is to develop an alternative interpretative line, which rejects the idea, central to the metaphysical reading, that Wittgenstein sets out to ground the logic of our language in features of an independently constituted reality, but which allows that he aims to provide positive philosophical insights into how (...)
    Direct download  
     
    Export citation  
     
    My bibliography   7 citations  
  9.  15
    Stefania Centrone (2010). Logic and Philosophy of Mathematics in the Early Husserl. Springer.
    This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to ...
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  10.  64
    Stewart Shapiro (ed.) (2005). The Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press.
    Mathematics and logic have been central topics of concern since the dawn of philosophy. Since logic is the study of correct reasoning, it is a fundamental branch of epistemology and a priority in any philosophical system. Philosophers have focused on mathematics as a case study for general philosophical issues and for its role in overall knowledge- gathering. Today, philosophy of mathematics and logic remain central disciplines in contemporary philosophy, as evidenced by the regular appearance of articles on (...)
    Direct download  
     
    Export citation  
     
    My bibliography   7 citations  
  11.  51
    Volker Peckhaus (1999). 19th Century Logic Between Philosophy and Mathematics. Bulletin of Symbolic Logic 5 (4):433-450.
    The history of modern logic is usually written as the history of mathematical or, more general, symbolic logic. As such it was created by mathematicians. Not regarding its anticipations in Scholastic logic and in the rationalistic era, its continuous development began with George Boole's The Mathematical Analysis of Logic of 1847, and it became a mathematical subdiscipline in the early 20th century. This style of presentation cuts off one eminent line of development, the philosophical development of (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  12.  2
    Ernest Nagel (ed.) (1962). Logic, Methodology, and Philosophy of Science. Stanford, Calif.,Stanford University Press.
  13. Eva Álvarez, Roger Bosch & Lorena Villamil (eds.) (2003). Volume of Abstracts: 12th International Congress of Logic, Methodology, and Philosophy of Science, Oviedo, August 7-13, 2003. [REVIEW] Departamento de Filosofía, Universidad de Oviedo.
     
    Export citation  
     
    My bibliography  
  14. Mieszko Tałasiewicz (ed.) (2002). Logic, Methodology and Philosophy of Science at Warsaw University: Studies and Contributions to the 11th International Congress of Logic, Methodology and Philosophy of Science, Kraków (Cracow) August 20-26, 1999. [REVIEW] Wydawn. Nauk. Semper.
  15. Halina Święczkowska (ed.) (1999). Topics in Logic, Informatics and Philosophy of Science. Chair of Logic, Informatics and Philosophy of Science, University of Białystok.
     
    Export citation  
     
    My bibliography  
  16.  13
    Herbert B. Enderton (1972). A Mathematical Introduction to Logic. New York,Academic Press.
    A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   64 citations  
  17. Frank Plumpton Ramsey (1931/1978). Foundations: Essays in Philosophy, Logic, Mathematics, and Economics. Humanties Press.
  18.  12
    A. Fuhrmann & Hans Rott (eds.) (1996). Logic, Action, and Information: Essays on Logic in Philosophy and Artificial Intelligence. W. De Gruyter.
    Janusz Czelakowski Elements of Formal Action Theory 1. Elementary Action Systems 1.1 Introductory Remarks. In contemporary literature one may distinguish ...
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  19.  4
    P. H. Nidditch (1962). The Development of Mathematical Logic. New York, Free Press of Glencoe.
  20. Hans D. Sluga (ed.) (1993). Logic and Foundations of Mathematics in Frege's Philosophy. Garland Pub..
  21.  21
    Ian Chiswell (2007). Mathematical Logic. Oxford University Press.
    Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed with clean formal mathematics. Alongside the practical examples, readers learn what can and can't be calculated; for example the correctness of a (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  22.  18
    Bernard Linsky (2011). The Evolution of Principia Mathematica: Bertrand Russell's Manuscripts and Notes for the Second Edition. Cambridge University Press.
    Originally published in 1910, Principia Mathematica led to the development of mathematical logic and computers and thus to information sciences. It became a model for modern analytic philosophy and remains an important work. In the late 1960s the Bertrand Russell Archives at McMaster University in Canada obtained Russell's papers, letters and library. These archives contained the manuscripts for the new Introduction and three Appendices that Russell added to the second edition in 1925. Also included was another manuscript, 'The (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  23. S. W. P. Steen (1972). Mathematical Logic with Special Reference to the Natural Numbers. Cambridge [Eng.]University Press.
    This book presents a comprehensive treatment of basic mathematical logic. The author's aim is to make exact the vague, intuitive notions of natural number, preciseness, and correctness, and to invent a method whereby these notions can be communicated to others and stored in the memory. He adopts a symbolic language in which ideas about natural numbers can be stated precisely and meaningfully, and then investigates the properties and limitations of this language. The treatment of mathematical concepts in (...)
     
    Export citation  
     
    My bibliography  
  24. Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. Oxford University Press.
    Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning computer program MacLogic, and a special appendix that shows how to use MacLogic as a teaching aid. There are graded exercises at the end of each chapter--more than 900 in all--with selected answers at the end of the book. Unlike competing texts, Modern (...)
     
    Export citation  
     
    My bibliography   3 citations  
  25.  15
    Costas Dimitracopoulos (ed.) (2008). Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28-August 3, 2005. [REVIEW] Cambridge University Press.
    The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of recent developments. Highlights of this volume from the 2005 meeting include three papers on different aspects of connections between model theory and algebra; a survey of recent major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  26.  23
    Wolfgang Rautenberg (2006). A Concise Introduction to Mathematical Logic. Springer.
    Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create a logistic foundation for mathematics. It steadily developed during the 20th century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguistics and philosophy. While there are already several well-known textbooks on mathematical logic, this book is unique (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  27. W. V. Quine (1960). Word and Object. The MIT Press.
    In the course of the discussion, Professor Quine pinpoints the difficulties involved in translation, brings to light the anomalies and conflicts implicit in our ...
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1402 citations  
  28.  43
    Gila Sher & Richard L. Tieszen (eds.) (2000). Between Logic and Intuition: Essays in Honor of Charles Parsons. Cambridge University Press.
    This collection of new essays offers a 'state-of-the-art' conspectus of major trends in the philosophy of logic and philosophy of mathematics. A distinguished group of philosophers addresses issues at the centre of contemporary debate: semantic and set-theoretic paradoxes, the set/class distinction, foundations of set theory, mathematical intuition and many others. The volume includes Hilary Putnam's 1995 Alfred Tarski lectures, published here for the first time.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  29. Yehoshua Bar-Hillel (ed.) (1965). Logic, Methodology and Philosophy of Science. Amsterdam, North-Holland Pub. Co..
     
    Export citation  
     
    My bibliography   20 citations  
  30.  73
    W. V. Quine (1951). Mathematical Logic. Cambridge, Harvard University Press.
    INTRODUCTION MATHEMATICAL logic differs from the traditional formal logic so markedly in method, and so far surpasses it in power and subtlety, ...
    Direct download  
     
    Export citation  
     
    My bibliography   85 citations  
  31.  6
    Ruth Barcan Marcus, Georg Dorn & Paul Weingartner (eds.) (1986). Logic, Methodology, and Philosophy of Science, Vii: Proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..
    Logic, Methodology and Philosophy of Science VII.
    Direct download  
     
    Export citation  
     
    My bibliography  
  32.  13
    Dag Prawitz, Brian Skyrms & Dag Westerståhl (eds.) (1994). Logic, Methodology, and Philosophy of Science Ix: Proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991. [REVIEW] Elsevier.
    This volume is the product of the Proceedings of the 9th International Congress of Logic, Methodology and Philosophy of Science and contains the text of most of ...
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33. Alfred Tarski (1956). Logic, Semantics, Metamathematics. Oxford, Clarendon Press.
    I ON THE PRIMITIVE TERM OF LOGISTICf IN this article I propose to establish a theorem belonging to logistic concerning some connexions, not widely known, ...
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   258 citations  
  34.  47
    Rudolf Carnap (1958). Introduction to Symbolic Logic and its Applications. New York, Dover Publications.
    Clear, comprehensive, intermediate introduction to logical languages, applications of symbolic logic to physics, mathematics, biology.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   28 citations  
  35.  55
    David Hilbert (1950/1999). Principles of Mathematical Logic. Ams Chelsea.
    Although symbolic logic has grown considerably in the subsequent decades, this book remains a classic.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   17 citations  
  36. Walter Carnielli (1986). Seventh Latin American on Mathematical Logic- Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985. Journal of Symbolic Logic 51 (4):1093-1103.
    This publication refers to the proceedings of the Seventh Latin American on Mathematical Logic held in Campinas, SP, Brazil, from July 29 to August 2, 1985. The event, dedicated to the memory of Ayda I. Arruda, was sponsored as an official Meeting of the Association for Symbolic Logic. Walter Carnielli. -/- The Journal of Symbolic Logic Vol. 51, No. 4 (Dec., 1986), pp. 1093-1103.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  25
    Susanne Katherina Knauth Langer (1967). An Introduction to Symbolic Logic. New York, Dover Publications.
    Famous classic has introduced hundreds of thousands to symbolic logic, via clear, thorough, precise exposition.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38.  54
    Michael A. E. Dummett (1991). Frege: Philosophy of Mathematics. Harvard University Press.
    In this work Dummett discusses, section by section, Frege's masterpiece The Foundations of Arithmetic and Frege's treatment of real numbers in the second volume ...
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   86 citations  
  39. John Bigelow (1988). The Reality of Numbers: A Physicalist's Philosophy of Mathematics. Oxford University Press.
    Challenging the myth that mathematical objects can be defined into existence, Bigelow here employs Armstrong's metaphysical materialism to cast new light on mathematics. He identifies natural, real, and imaginary numbers and sets with specified physical properties and relations and, by so doing, draws mathematics back from its sterile, abstract exile into the midst of the physical world.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   76 citations  
  40.  19
    Patrick Suppes (ed.) (1973). Logic, Methodology and Philosophy of Science. New York,American Elsevier Pub. Co..
    ELEMENTARY LOGIC GR. C. MOISIL Institute of Mathematics, Rumanian Academy, Bucharest, Rumania 1. We shall consider a typified logic of propositions. ...
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   19 citations  
  41. Carlo Cellucci (1996). Mathematical Logic: What has It Done for the Philosophy of Mathematics? In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel, pp. 365-388. A K Peters
    onl y to discuss some claims concerning the relationship between mathematical logic and the philosophy of mathematics that repeatedly occur in his writings. Although I do not know to what extent they are representative of his present position, they correspond to widespread views of the logical community and so seem worth discussing anyhow. Such claims will be used as reference to make some remarks about the present state of relations between mathematical logic and the philosophy of (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  42.  36
    Alonzo Church (1944). Introduction to Mathematical Logic. London, H. Milford, Oxford University Press.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   117 citations  
  43.  14
    Michael Morris (2008). Routledge Philosophy Guidebook to Wittgenstein and the Tractatus. Routledge.
    Introduction -- The nature of the world -- The legacy of Frege and Russell -- The general theory of representation -- Sentences as models -- Logic and compound sentences -- Solipsism, idealism, and realism -- Metaphysics, ethics, and the limits of philosophy -- Appendix: The substance argument.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  44. Yehoshua Bar-Hillel, Jerusalem, Akademyah Ha-le Umit Ha-Yi Sre Elit le-Mada Im & International Union of the History and Philosophy of Science (1965). Logic, Methodology, and Philosophy Proceedings. North-Holland Pub. Co.
    No categories
     
    Export citation  
     
    My bibliography  
  45. Ernest Nagel & International Union of the History and Philosophy of Science (1962). Logic, Methodology, and Philosophy of Science Proceedings. Stanford University Press.
     
    Export citation  
     
    My bibliography  
  46. Patrick Suppes, International Union of the History and Philosophy of Science & Academia Republicii Socialiste România (1973). Logic, Methodology and Philosophy of Science. Proceedings. Monograph Collection (Matt - Pseudo).
     
    Export citation  
     
    My bibliography  
  47.  41
    Douglas Patterson (ed.) (2008). New Essays on Tarski and Philosophy. Oxford University Press.
    The essays can be seen as addressing Tarski's seminal treatment of four basic questions about logical consequence. (1) How are we to understand truth, one of ...
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  48.  22
    Dale Jacquette (ed.) (2002). Philosophy of Logic: An Anthology. Blackwell Publishers.
    The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  49.  12
    Bertrand Russell (1956). Logic and Knowledge: Essays, 1901-1950. Macmillan.
    ٣ ك٠ايم . ثم ع . ع ب عرس . ع يلتسين/تيسل كقهن تهنف.تتهك ؟رإئو. ا فىجين، ثهىميينتاتمتهييم ٠يإوثمق يبز. تينة «تم» يينم٠ همت٠كبه،فؤإ .ووهم.كوب. ...
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   116 citations  
  50.  40
    Bertrand Russell (1994). Foundations of Logic, 1903-05. Routledge.
    This volume covers the period from the beginning of Russell's work on Volume Two of the Principles of Mathematics to the critical discovery of the theory of descriptions in 1905. Foundations of Logic gives a vivid picture of Russell wrestling with the logical paradoxes, often unsuccessfully, as he tries out one foundational scheme after another. This volume provides the key to both Bertrand Russell's philosophy of logic and philosophy of mathematics. It includes unpublished work on the theory of (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
1 — 50 / 1000