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

993 found
Sort by:
  1. Richard L. Tieszen (2005). Phenomenology, Logic, and the Philosophy of Mathematics. Cambridge University Press.score: 840.0
    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  
     
    My bibliography  
     
    Export citation  
  2. Stefania Centrone (2010). Logic and Philosophy of Mathematics in the Early Husserl. Springer.score: 806.0
    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  
     
    My bibliography  
     
    Export citation  
  3. Stewart Shapiro (ed.) (2005). The Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press.score: 804.0
    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  
     
    My bibliography  
     
    Export citation  
  4. Volker Peckhaus (1999). 19th Century Logic Between Philosophy and Mathematics. Bulletin of Symbolic Logic 5 (4):433-450.score: 796.0
    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)  
     
    My bibliography  
     
    Export citation  
  5. Imre Lakatos (1976). Proofs and Refutations: The Logic of Mathematical Discovery. Cambridge University Press.score: 774.0
    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)  
     
    My bibliography  
     
    Export citation  
  6. G. T. Kneebone (1963/2001). Mathematical Logic and the Foundations of Mathematics: An Introductory Survey. Dover.score: 772.0
    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  
     
    My bibliography  
     
    Export citation  
  7. Roman Murawski (2010). Essays in the Philosophy and History of Logic and Mathematics. Rodopi.score: 746.0
  8. Frank Plumpton Ramsey (1931/1978). Foundations: Essays in Philosophy, Logic, Mathematics, and Economics. Humanties Press.score: 736.0
  9. Hans D. Sluga (ed.) (1993). Logic and Foundations of Mathematics in Frege's Philosophy. Garland Pub..score: 736.0
  10. Stephen Cole Kleene (1967/2002). Mathematical Logic. Dover Publications.score: 704.0
    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)  
     
    My bibliography  
     
    Export citation  
  11. Marie McGinn (2006/2009). Elucidating the Tractatus: Wittgenstein's Early Philosophy of Logic and Language. Oxford University Press.score: 684.0
    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  
     
    My bibliography  
     
    Export citation  
  12. 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.score: 666.0
    No categories
     
    My bibliography  
     
    Export citation  
  13. Ernest Nagel (ed.) (1962). Logic, Methodology, and Philosophy of Science. Stanford, Calif.,Stanford University Press.score: 666.0
    No categories
     
    My bibliography  
     
    Export citation  
  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.score: 666.0
  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.score: 666.0
     
    My bibliography  
     
    Export citation  
  16. A. Fuhrmann & Hans Rott (eds.) (1996). Logic, Action, and Information: Essays on Logic in Philosophy and Artificial Intelligence. W. De Gruyter.score: 636.0
    Janusz Czelakowski Elements of Formal Action Theory 1. Elementary Action Systems 1.1 Introductory Remarks. In contemporary literature one may distinguish ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. P. H. Nidditch (1962). The Development of Mathematical Logic. New York, Free Press of Glencoe.score: 636.0
  18. Frederic B. Fitch, J. B. Rosser, A. R. Turquette, R. M. Martin, Nelson Goodman, Soren Hallden & Paul Bernays (2013). The Journal of Symbolic Logic Publishes Original Scholarly Work in Symbolic Logic. Founded in 1936, It has Become the Leading Research Journal in the Field. The Journal Aims to Represent Logic Broadly, Including its Connections with Mathematics and Philosophy as Well as Newer Aspects Related to Computer Science and Linguistics. [REVIEW] Journal of Symbolic Logic 106 (107).score: 630.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Timothy Smiley, Frederic B. Fitch, Shih-Chao Liu, S. C. Kleene, Keith Lehrer, Thomas E. Patton, Maria Kokoszynska, Arto Salomaa, Abraham Robinson & Gerald E. Sacks (2013). The Journal of Symbolic Logic Publishes Original Scholarly Work in Symbolic Logic. Founded in 1936, It has Become the Leading Research Journal in the Field. The Journal Aims to Represent Logic Broadly, Including its Connections with Mathematics and Philosophy as Well as Newer Aspects Related to Computer Science and Linguistics. [REVIEW] Journal of Symbolic Logic 175 (176).score: 630.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Victor Harnik, Terrence S. Millar, Michael L. Wage, Saharon Shelah, Helmut Schwichtenberg, Daniel Lascar, Bruno Poizat, Warren D. Goldfarb, On Carnap & Hugues Leblanc (2013). The Journal of Symbolic Logic Publishes Original Scholarly Work in Symbolic Logic. Founded in 1936, It has Become the Leading Research Journal in the Field. The Journal Aims to Represent Logic Broadly, Including its Connections with Mathematics and Philosophy as Well as Newer Aspects Related to Computer Science and Linguistics. [REVIEW] Journal of Symbolic Logic 309 (318).score: 630.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. Laszlo Kalmar, Janos Suranyi, W. V. Quine, Ernest Nagel, George Dw Berry, George W. Brown, Th Skolem, Evert W. Beth, Max Black & H. E. Vaughan (2013). The Journal of Symbolic Logic Publishes Original Scholarly Work in Symbolic Logic. Founded in 1936, It has Become the Leading Research Journal in the Field. The Journal Aims to Represent Logic Broadly, Including its Connections with Mathematics and Philosophy as Well as Newer Aspects Related to Computer Science and Linguistics. [REVIEW] Journal of Symbolic Logic 102 (104).score: 630.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. Leopold Lowenheim, S. C. Kleene, Paul Bernays, Saunders MacLane, Ernest Nagel, Albert Wohlstetter, J. C. C. McKinsey, Charles A. Baylis, Carl G. Hempel & C. H. Langford (2013). The Journal of Symbolic Logic Publishes Original Scholarly Work in Symbolic Logic. Founded in 1936, It has Become the Leading Research Journal in the Field. The Journal Aims to Represent Logic Broadly, Including its Connections with Mathematics and Philosophy as Well as Newer Aspects Related to Computer Science and Linguistics. [REVIEW] Journal of Symbolic Logic 43 (44).score: 630.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  23. Andrzej Mostowski, W. V. Quine, Arthur Francis Smullyan, Virgil Hinshaw, Alonzo Church, Charles A. Baylis, Maurice L'Abbe, Max Black, Paul Bernays & David Nelson (2013). The Journal of Symbolic Logic Publishes Original Scholarly Work in Symbolic Logic. Founded in 1936, It has Become the Leading Research Journal in the Field. The Journal Aims to Represent Logic Broadly, Including its Connections with Mathematics and Philosophy as Well as Newer Aspects Related to Computer Science and Linguistics. [REVIEW] Journal of Symbolic Logic 63 (64).score: 630.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Ian Chiswell (2007). Mathematical Logic. Oxford University Press.score: 626.0
    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  
     
    My bibliography  
     
    Export citation  
  25. Herbert B. Enderton (1972). A Mathematical Introduction to Logic. New York,Academic Press.score: 624.0
    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)  
     
    My bibliography  
     
    Export citation  
  26. 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.score: 604.0
    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  
     
    My bibliography  
     
    Export citation  
  27. Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. Oxford University Press.score: 604.0
    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 (...)
     
    My bibliography  
     
    Export citation  
  28. Bernard Linsky (2011). The Evolution of Principia Mathematica: Bertrand Russell's Manuscripts and Notes for the Second Edition. Cambridge University Press.score: 588.0
    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  
     
    My bibliography  
     
    Export citation  
  29. Wolfgang Rautenberg (2006). A Concise Introduction to Mathematical Logic. Springer.score: 576.0
    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  
     
    My bibliography  
     
    Export citation  
  30. Gila Sher & Richard L. Tieszen (eds.) (2000). Between Logic and Intuition: Essays in Honor of Charles Parsons. Cambridge University Press.score: 564.0
    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  
     
    My bibliography  
     
    Export citation  
  31. Charles S. Chihara (1990). Constructibility and Mathematical Existence. Oxford University Press.score: 564.0
    Chihara here develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. He utilizes this system in the analysis of the nature of mathematics, and discusses many recent works in the philosophy of mathematics from the viewpoint of the constructibility theory developed. This innovative analysis will appeal to mathematicians and philosophers of logic, mathematics, and science.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  32. 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.score: 552.0
    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  
     
    My bibliography  
     
    Export citation  
  33. 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..score: 552.0
    Logic, Methodology and Philosophy of Science VII.
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. Yehoshua Bar-Hillel (ed.) (1965). Logic, Methodology and Philosophy of Science. Amsterdam, North-Holland Pub. Co..score: 552.0
     
    My bibliography  
     
    Export citation  
  35. Ian Mueller (1981/2006). Philosophy of Mathematics and Deductive Structure in Euclid's Elements. Dover Publications.score: 540.0
    A survey of Euclid's Elements, this text provides an understanding of the classical Greek conception of mathematics and its similarities to modern views as well as its differences. It focuses on philosophical, foundational, and logical questions — rather than strictly historical and mathematical issues — and features several helpful appendixes.
     
    My bibliography  
     
    Export citation  
  36. John Bigelow (1988). The Reality of Numbers: A Physicalist's Philosophy of Mathematics. Oxford University Press.score: 528.0
    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)  
     
    My bibliography  
     
    Export citation  
  37. 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.score: 526.5
    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  
     
    My bibliography  
     
    Export citation  
  38. Ludwig Wittgenstein (1974). Philosophical Grammar: Part I, the Proposition, and its Sense, Part Ii, on Logic and Mathematics. University of California Press.score: 526.0
    i How can one talk about 'understanding' and 'not understanding' a proposition? Surely it is not a proposition until it's understood ? ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. Bertrand Russell (1994). Foundations of Logic, 1903-05. Routledge.score: 524.0
    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  
     
    My bibliography  
     
    Export citation  
  40. Robert Tubbs (2009). What is a Number?: Mathematical Concepts and Their Origins. Johns Hopkins University Press.score: 524.0
    Mathematics often seems incomprehensible, a melee of strange symbols thrown down on a page. But while formulae, theorems, and proofs can involve highly complex concepts, the math becomes transparent when viewed as part of a bigger picture. What Is a Number? provides that picture. Robert Tubbs examines how mathematical concepts like number, geometric truth, infinity, and proof have been employed by artists, theologians, philosophers, writers, and cosmologists from ancient times to the modern era. Looking at a broad range of (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  41. Patrick Suppes (ed.) (1973). Logic, Methodology and Philosophy of Science. New York,American Elsevier Pub. Co..score: 522.0
    ELEMENTARY LOGIC GR. C. MOISIL Institute of Mathematics, Rumanian Academy, Bucharest, Rumania 1. We shall consider a typified logic of propositions. ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  42. 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.score: 522.0
    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)  
     
    My bibliography  
     
    Export citation  
  43. William Demopoulos (ed.) (1995). Frege's Philosophy of Mathematics. Harvard University Press.score: 516.0
  44. Michael A. E. Dummett (1991). Frege: Philosophy of Mathematics. Harvard University Press.score: 516.0
    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)  
     
    My bibliography  
     
    Export citation  
  45. Rudolf Carnap (1935/1979). Philosophy and Logical Syntax. Ams Press.score: 516.0
  46. Robert M. Exner (1959/2011). Logic in Elementary Mathematics. New York, Mcgraw-Hill.score: 516.0
     
    My bibliography  
     
    Export citation  
  47. Michael Morris (2008). Routledge Philosophy Guidebook to Wittgenstein and the Tractatus. Routledge.score: 504.0
    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  
     
    My bibliography  
     
    Export citation  
  48. Peter Hylton (2008). Propositions, Functions, and Analysis: Selected Essays on Russell's Philosophy. OUP Oxford.score: 504.0
    The work of Bertrand Russell had a decisive influence on the emergence of analytic philosophy, and on its subsequent development. The essays collected in this volume, by one of the leading authorities on Russell's philosophy, all aim at recapturing and articulating aspects of Russell's philosophical vision during his most influential and important period, the two decades following his break with Idealism in 1899. One theme of the collection concerns Russell's views about propositions and their analysis, and the relation (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  49. L. Jonathan Cohen (ed.) (1982). Logic, Methodology, and Philosophy of Science Vi: Proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979. Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.score: 498.0
  50. M. Giaquinto (2002). The Search for Certainty: A Philosophical Account of Foundations of Mathematics. Oxford University Press.score: 484.0
    Marcus Giaquinto tells the compelling story of one of the great intellectual adventures of the modern era: the attempt to find firm foundations for mathematics. From the late nineteenth century to the present day, this project has stimulated some of the most original and influential work in logic and philosophy.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 993