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. 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.  83
    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.  54
    Stephen Cole Kleene (1967). 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   30 citations  
  5.  48
    G. T. Kneebone (1963). 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   2 citations  
  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.  23
    Marie McGinn (2006). 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.  18
    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.  69
    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.  54
    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 (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  12.  6
    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.  19
    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 & D. H. Mellor (eds.) (1978). Foundations: Essays in Philosophy, Logic, Mathematics, and Economics. Humanties Press; Routledge.
  18.  15
    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.  22
    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. John P. Burgess (1985). Boolos George. The Iterative Conception of Set. The Journal of Philosophy, Vol. 68 , Pp. 215–231.Scott Dana. Axiomatizing Set Theory. Axiomatic Set Theory, Edited by Jech Thomas J., Proceedings of Symposia in Pure Mathematics, Vol. 13 Part 2, American Mathematical Society, Providence 1974, Pp. 207–214.Reinhardt W. N.. Remarks on Reflection Principles, Large Cardinals, and Elementary Embeddings. Axiomatic Set Theory, Edited by Jech Thomas J., Proceedings of Symposia in Pure Mathematics, Vol. 13 Part 2, American Mathematical Society, Providence 1974, Pp. 189–205.Reinhardt W. N.. Set Existence Principles of Shoenfield, Ackermann, and Powell. Fundament a Mathematicae, Vol. 84 , Pp. 5–34.Wang Hao. Large Sets. Logic, Foundations of Mathematics, and Computahility Theory. Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada–1975, Edited by Butts Robert E. And Hintikka Jaakko, The University of Western Ontario S. [REVIEW] Journal of Symbolic Logic 50 (2):544-547.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. D. A. Clarke (1970). Kleene S. C.. Turing-Machine Computable Functionals of Finite Types I. Logic, Methodology and Philosophy of Science, Proceedings of the 1960 International Congress, Edited by Nagel Ernest, Suppes Patrick, and Tarski Alfred, Stanford University Press, Stanford, California, 1962, Pp. 38–45.Kleene S. C.. Turing-Machine Computable Functionals of Finite Types II. Proceedings of the London Mathematical Society, Ser. 3 Vol. 12 , Pp. 245–258. [REVIEW] Journal of Symbolic Logic 35 (4):588-589.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24. Alan Dow (1989). Todorčević Stevo, Forcing Positive Partition Relations, Transactions of the American Mathematical Society, Vol. 280 , Pp. 703–720.Todorčević Stevo, Directed Sets and Cofinal Types, Transactions of the American Mathematical Society, Vol. 290 , Pp. 711–723.Todorčević Stevo, Reals and Positive Partition Relations, Logic, Methodology and Philosophy of Science VII, Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983, Edited by Marcus Ruth Barcan, Dorn Georg J. W., and Weingartner Paul, Studies in Logic and the Foundations of Mathematics, Vol. 114, North-Holland, Amsterdam, New York, Oxford, and Tokyo, 1986, Pp. 159–169.Todorčević Stevo, Remarks on Chain Conditions in Products, Compositio Mathematica, Vol. 55 , Pp. 295–302.Todorčević Stevo, Remarks on Cellularity in Products, Compositio Mathematica, Vol. 57 , Pp. 357–372.Todorčević Stevo, Partition Relations for Partially Ordered Sets, Acta Mathematica, Vol. 155 , Pp. 1–25. [REVIEW] Journal of Symbolic Logic 54 (2):635-638.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25. Donald L. Kreider (1964). Addison J. W.. Separation Principles in the Hierarchies of Classical and Effective Descriptive Set Theory. Fundamenta Mathematicae, Vol. 46 No. 2 , Pp. 123–135.Addison J. W.. The Theory of Hierarchies. Logic, Methodology and Philosophy of Science, Proceedings of the 1960 International Congress, Edited by Nagel Ernest, Suppes Patrick, and Tarski Alfred, Stanford University Press, Stanford, Calif., 1962, Pp. 26–37.Addison J. W.. Some Problems in Hierarchy Theory. Recursive Function Theory, Proceedings of Symposia in Pure Mathematics, Vol. 5, American Mathematical Society, Providence 1962, Pp. 123–130. [REVIEW] Journal of Symbolic Logic 29 (1):60-62.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26. Brian H. Mayoh (1975). Markov A. A.. An Approach to Constructive Mathematical Logic. Logic, Methodology and Philosophy of Science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, Edited by van Rootselaar B. And Staal J. F., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1968, Pp. 283–294.Markov A. A.. Essai de Construction d'Une Logique de la Mathématique Constructive. Revue Internationale de Philosophic, Vol. 25 , Pp. 477–507. [REVIEW] Journal of Symbolic Logic 40 (1):85.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27.  2
    S. C. Kleene (1949). Popper K. R.. On the Theory of Deduction, Part I. Derivation and its Generalizations. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the Section of Sciences, Vol. 51 , Pp. 173–183; Also Indagationes Mathematicae, Vol. 10 , Pp. 44–54.Popper K. R.. On the Theory of Deduction, Part II. The Definitions of Classical and Intuitionist Negation. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the Section of Sciences, Vol. 51 , Pp. 322–331; Also Ibid., Pp. 111–120.Popper K. R.. The Trivialization of Mathematical Logic. Library of the Xlh International Congress of Philosophy . Vol. I. Proceedings of the Congress. Preprint 1948, Pp. 510–515. [REVIEW] Journal of Symbolic Logic 14 (1):62-63.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. Paul Bernays (1946). Gödel Kurt. Russell's Mathematical Logic. The Philosophy of Bertrand Russell, Edited by Schilpp Paul Arthur, Northwestern University, Evanston and Chicago 1944, Pp. 123–153. [REVIEW] Journal of Symbolic Logic 11 (3):75-79.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. Paul Henle (1937). Hailperin Theodore. Foundations of Probability in Mathematical Logic. Philosophy of Science, Vol. 4 , Pp. 125–150. See Corrections, Ibid., P. 287. [REVIEW] Journal of Symbolic Logic 2 (2):95-96.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30. C. H. Langford (1941). Greenwood Thomas. A Classical Approach to Mathematical Logic. The Australasian Journal of Psychology and Philosophy, Vol. 17 , Pp. 1–10. [REVIEW] Journal of Symbolic Logic 6 (2):69-70.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31. C. H. Langford (1939). Metz Rudolf. Mathematical Logic. A Hundred Years of British Philosophy, by Metz Rudolf, New York and London 1938, Pp. 705–726. Translation of IV 136. [REVIEW] Journal of Symbolic Logic 4 (4):168.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32.  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  
  33. 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  
  34. Alasdair Urquhart (1983). Dishkant Hermann. The First Order Predicate Calculus Based on the Logic of Quantum Mechanics. Reports on Mathematical Logic, No. 3 , Pp. 9–17.Georgacarakos G. N.. Orthomodularity and Relevance. Journal of Philosophical Logic, Vol. 8 , Pp. 415–432.Georgacarakos G. N.. Equationally Definable Implication Algebras for Orthomodular Lattices. Studia Logica, Vol. 39 , Pp. 5–18.Greechie R. J. And Gudder S. P.. Is a Quantum Logic a Logic? Helvetica Physica Acta, Vol. 44 , Pp. 238–240.Hardegree Gary M.. The Conditional in Abstract and Concrete Quantum Logic. The Logico-Algehraic Approach to Quantum Mechanics, Volume II, Contemporary Consolidation, Edited by Hooker C. A., The University of Western Ontario Series in Philosophy of Science, Vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, Pp. 49–108.Hardegree Gary M.. Material Implication in Orthomodular Lattices. Notre Dame Journal of Formal Logic, Vol. 22 , Pp. 163–182.Jauch J. M. And Piron C.. What is “Quantum-Logic”? Qu. [REVIEW] Journal of Symbolic Logic 48 (1):206-208.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35. Wim Veldman (1984). Aczel Peter. The Strength of Martin-Löf's Intuitionistic Type Theory with One Universe. Proceedings of the Symposiums on Mathematical Logic in Oulu 1974 and in Helsinki 1975, Edited by Miettinen Seppo and Väänänen Jouko, The Department of Philosophy, University of Helsinki, Helsinki 1977, Pp. 1–32. [REVIEW] Journal of Symbolic Logic 49 (1):313.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. 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  
  37.  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  
  38.  24
    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  
  39. 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  
  40. Yehoshua Bar-Hillel (ed.) (1965). Logic, Methodology and Philosophy of Science. Amsterdam, North-Holland Pub. Co..
     
    Export citation  
     
    My bibliography   20 citations  
  41.  79
    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  
  42.  16
    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   1 citation  
  43.  7
    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  
  44.  57
    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  
  45. 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  
  46.  61
    David Hilbert (1950). 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  
  47.  29
    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  
  48. 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  
  49.  22
    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  
  50. 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  
1 — 50 / 1000