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: 692.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. G. T. Kneebone (1963/2001). Mathematical Logic and the Foundations of Mathematics: An Introductory Survey. Dover.score: 676.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  
  3. Stefania Centrone (2010). Logic and Philosophy of Mathematics in the Early Husserl. Springer.score: 670.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  
  4. Stewart Shapiro (ed.) (2005). The Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press.score: 668.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  
  5. Imre Lakatos (1976). Proofs and Refutations: The Logic of Mathematical Discovery. Cambridge University Press.score: 666.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. Volker Peckhaus (1999). 19th Century Logic Between Philosophy and Mathematics. Bulletin of Symbolic Logic 5 (4):433-450.score: 660.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  
  7. Stephen Cole Kleene (1967/2002). Mathematical Logic. Dover Publications.score: 608.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  
  8. Roman Murawski (2010). Essays in the Philosophy and History of Logic and Mathematics. Rodopi.score: 606.0
  9. Frank Plumpton Ramsey (1931/1978). Foundations: Essays in Philosophy, Logic, Mathematics, and Economics. Humanties Press.score: 600.0
  10. Hans D. Sluga (ed.) (1993). Logic and Foundations of Mathematics in Frege's Philosophy. Garland Pub..score: 600.0
  11. 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  
  12. Marie McGinn (2006/2009). Elucidating the Tractatus: Wittgenstein's Early Philosophy of Logic and Language. Oxford University Press.score: 588.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  
  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.score: 558.0
    No categories
     
    My bibliography  
     
    Export citation  
  14. Ernest Nagel (ed.) (1962). Logic, Methodology, and Philosophy of Science. Stanford, Calif.,Stanford University Press.score: 558.0
    No categories
     
    My bibliography  
     
    Export citation  
  15. 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: 558.0
  16. 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: 558.0
     
    My bibliography  
     
    Export citation  
  17. Gila Sher & Richard L. Tieszen (eds.) (2000). Between Logic and Intuition: Essays in Honor of Charles Parsons. Cambridge University Press.score: 540.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  
  18. Charles S. Chihara (1990). Constructibility and Mathematical Existence. Oxford University Press.score: 540.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  
  19. A. Fuhrmann & Hans Rott (eds.) (1996). Logic, Action, and Information: Essays on Logic in Philosophy and Artificial Intelligence. W. De Gruyter.score: 540.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  
  20. P. H. Nidditch (1962). The Development of Mathematical Logic. New York, Free Press of Glencoe.score: 540.0
  21. Ian Chiswell (2007). Mathematical Logic. Oxford University Press.score: 530.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  
  22. Herbert B. Enderton (1972). A Mathematical Introduction to Logic. New York,Academic Press.score: 528.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  
  23. 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: 508.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  
  24. Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. Oxford University Press.score: 508.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  
  25. Bertrand Russell (1994). Foundations of Logic, 1903-05. Routledge.score: 500.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  
  26. Robert Tubbs (2009). What is a Number?: Mathematical Concepts and Their Origins. Johns Hopkins University Press.score: 500.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  
  27. Ian Mueller (1981/2006). Philosophy of Mathematics and Deductive Structure in Euclid's Elements. Dover Publications.score: 492.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  
  28. John Bigelow (1988). The Reality of Numbers: A Physicalist's Philosophy of Mathematics. Oxford University Press.score: 480.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  
  29. Wolfgang Rautenberg (2006). A Concise Introduction to Mathematical Logic. Springer.score: 480.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. Michael Morris (2008). Routledge Philosophy Guidebook to Wittgenstein and the Tractatus. Routledge.score: 480.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  
  31. Peter Hylton (2008). Propositions, Functions, and Analysis: Selected Essays on Russell's Philosophy. OUP Oxford.score: 480.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  
  32. M. Giaquinto (2002). The Search for Certainty: A Philosophical Account of Foundations of Mathematics. Oxford University Press.score: 476.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  
  33. Alan Weir (2010). Truth Through Proof: A Formalist Foundation for Mathematics. OUP Oxford.score: 476.0
    Truth Through Proof defends an anti-platonist philosophy of mathematics derived from game formalism. Classic formalists claimed implausibly that mathematical utterances are truth-valueless moves in a game. Alan Weir aims to develop a more satisfactory successor to game formalism utilising a widely accepted, broadly neo-Fregean framework, in which the proposition expressed by an utterance is a function of both sense and background circumstance. This framework allows for sentences whose truth-conditions are not representational, which are made true or false by (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. Ludwig Wittgenstein (1974). Philosophical Grammar: Part I, the Proposition, and its Sense, Part Ii, on Logic and Mathematics. University of California Press.score: 474.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  
  35. Alfred North Whitehead & Bertrand Russell (1962/1997). Principia Mathematica, to *56. Cambridge University Press.score: 470.0
    The great three-volume Principia Mathematica is deservedly the most famous work ever written on the foundations of mathematics. Its aim is to deduce all the fundamental propositions of logic and mathematics from a small number of logical premisses and primitive ideas, and so to prove that mathematics is a development of logic. This abridged text of Volume I contains the material that is most relevant to an introductory study of logic and the philosophy of mathematics (more advanced students will (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. William Demopoulos (ed.) (1995). Frege's Philosophy of Mathematics. Harvard University Press.score: 468.0
  37. Michael A. E. Dummett (1991). Frege: Philosophy of Mathematics. Harvard University Press.score: 468.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  
  38. Rudolf Carnap (1935/1979). Philosophy and Logical Syntax. Ams Press.score: 468.0
  39. Robert M. Exner (1959/2011). Logic in Elementary Mathematics. New York, Mcgraw-Hill.score: 468.0
     
    My bibliography  
     
    Export citation  
  40. Michael Detlefsen (ed.) (1992). Proof and Knowledge in Mathematics. Routledge.score: 456.0
    Proof and Knowledge in Mathematics tackles the main problem that arises when considering an epistemology for mathematics, the nature and sources of mathematical justification. Focusing both on particular and general issues, these essays from leading philosophers of mathematics raise important issues for our current understanding of mathematics. Is mathematical justification a priori or a posteriori? What role, if any, does logic play in mathematical reasoning or inference? And how epistemologically important is the formalizability of proof? Michael Detlefsen (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  41. Raymond Louis Wilder (1965/2012). Introduction to the Foundations of Mathematics: Second Edition. Dover Publications, Inc..score: 456.0
    This_classic undergraduate text_elegantly acquaints students with the_fundamental concepts and methods of mathematics. In addition to introducing_many noteworthy historical figures_from the 18th through the mid-20th centuries, it examines_the axiomatic method, set theory, infinite sets, the linear continuum and the real number system, groups, intuitionism,_formal systems, mathematical logic, and other topics.
     
    My bibliography  
     
    Export citation  
  42. Frank Plumpton Ramsey (1960). The Foundations of Mathematics and Other Logical Essays. Paterson, N.J.,Littlefield, Adams.score: 448.0
    THE FOUNDATIONS OF MATHEMATICS () PREFACE The object of this paper is to give a satisfactory account of the Foundations of Mathematics in accordance with ...
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. Peter Carruthers (1990). The Metaphysics of the Tractatus. Cambridge University Press.score: 444.0
    In this clear and original study of the Tractatus Peter Carruthers has two principal aims. He seeks to make sense of Wittgenstein's metaphysical doctrines, showing how powerful arguments may be deployed in their support. He also aims to locate the crux of the conflict between Wittgenstein's early and late philosophies. This is shown to arise from his earlier commitment to the objectivity of logic and logical relations, which is the true target of attack of his later discussion of rule-following. Within (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  44. Matthew B. Ostrow (2002). Wittgenstein's Tractatus: A Dialectical Interpretation. Cambridge University Press.score: 444.0
    Wittgenstein once wrote that 'The philosopher strives to find the liberating word, that is, the word that finally permits us to grasp what up until now has intangibly weighed down our consciousness'. Would Wittgenstein have been willing to describe the Tractatus as an attempt to find 'the liberating word'? This is the basic contention of this strikingly innovative new study of the Tractatus. Matthew Ostrow argues that, far from seeking to offer a new theory in logic in the tradition of (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  45. Peter Hylton (2005/2008). Propositions, Functions, and Analysis: Selected Essays on Russell's Philosophy. Oxford University Press.score: 444.0
    The work of Bertrand Russell had a decisive influence on the emergence of analytic philosophy, and on its subsequent development. The prize-winning Russell scholar Peter Hylton presents here some of his most celebrated essays from the last two decades, all of which strive to recapture and articulate Russell's monumental vision. Relating his work to that of other philosophers, particularly Frege and Wittgenstein, and featuring a previously unpublished essay and a helpful new introduction, the volume will be essential for anyone (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. 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: 444.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  
  47. Daniel D. Hutto (2003). Wittgenstein and the End of Philosophy: Neither Theory nor Therapy. Palgrave Macmillan.score: 444.0
    What is the true worth of Wittgenstein's contribution to philosophy? Answers to this question are strongly divided. However, most assessments rest on certain popular misreadings of his purpose. This book challenges both "theoretical" and "therapeutic" interpretations. In their place, it seeks to establish that, from beginning to end, Wittgenstein regarded clarification as the true end of philosophy. It argues that, properly understood, his approach exemplifies rather than betrays critical philosophy and provides a viable alternative to other contemporary (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  48. 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: 444.0
    Logic, Methodology and Philosophy of Science VII.
    Direct download  
     
    My bibliography  
     
    Export citation  
  49. Yehoshua Bar-Hillel (ed.) (1965). Logic, Methodology and Philosophy of Science. Amsterdam, North-Holland Pub. Co..score: 444.0
     
    My bibliography  
     
    Export citation  
  50. Douglas Patterson (ed.) (2008). New Essays on Tarski and Philosophy. Oxford University Press.score: 436.0
    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  
     
    My bibliography  
     
    Export citation  
1 — 50 / 993