Results for 'Logic, Symbolic and mathematical'

1000+ found
Order:
  1.  22
    Foundations of Logic and Mathematics.Rudolf Carnap - 1937 - Chicago, IL, USA: U. Of Chicago P.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   101 citations  
  2.  4
    Dictionary of Symbols of Mathematical Logic.Robert Feys (ed.) - 1969 - Amsterdam: North-Holland Pub. Co..
  3.  36
    Foundations of Logic and Mathematics. [REVIEW]E. N. - 1939 - Journal of Philosophy 36 (23):636-637.
  4.  6
    Collected Papers on Mathematics, Logic, and Philosophy.Gottlob Frege - 1991 - Wiley-Blackwell.
  5. Internal Logic Foundations of Mathematics From Kronecker to Hilbert.Yvon Gauthier - 2002
  6. The Theory of Probability: An Inquiry Into the Logical and Mathematical Foundations of the Calculus of Probability.Hans Reichenbach - 1949 - Berkeley: University of California Press.
    We must restrict to mere probability not only statements of comparatively great uncertainty, like predictions about the weather, where we would cautiously ...
    Direct download  
     
    Export citation  
     
    Bookmark   215 citations  
  7. Logic, Sets and Information: Proceedings of the Tenth Brazilian Conference on Mathematical Logic.Walter A. Carnielli & Luiz Carlos P. D. Pereira (eds.) - 1995 - Centro de Lógica, Epistemologia e História da Ciência, Unicamp.
    Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Coleção CLE, volume 14, 1995. Centro De Lógica, Epistemologia e História da Ciência, Unicamp, Campinas, SP, Brazil.
     
    Export citation  
     
    Bookmark  
  8.  39
    Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
    This is identical with the first edition (see 21: 2716) except for the addition of a Supplement containing 5 previously published articles and the bringing of the bibliography (now 73 items) up to date. The 5 added articles present clarifications or modifications of views expressed in the first edition. (PsycINFO Database Record (c) 2009 APA, all rights reserved).
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   325 citations  
  9.  3
    Mathematical Logic and Hilbert's & Symbol.A. C. Leisenring - 1969 - London: Macdonald Technical & Scientific.
  10. Proofs and Refutations: The Logic of Mathematical Discovery.Imre Lakatos (ed.) - 1976 - Cambridge and London: 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 or (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   197 citations  
  11. Logic Colloquium '80 Papers Intended for the European Summer Meeting of the Association for Symbolic Logic.D. van Dalen, Daniel Lascar, T. J. Smiley & Association for Symbolic Logic - 1982
  12.  35
    An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities.George Boole - 1854 - London, England: Dover Constable.
    Self-taught mathematician and father of Boolean algebra, George Boole (1815-1864) published An Investigation of the Laws of Thought in 1854. In this highly original investigation of the fundamental laws of human reasoning, a sequel to ideas he had explored in earlier writings, Boole uses the symbolic language of mathematics to establish a method to examine the nature of the human mind using logic and the theory of probabilities. Boole considers language not just as a mode of expression, but as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   113 citations  
  13.  1
    Logic, Methodology and Philosophy of Science: Proceedings.Patrick Suppes - 1973 - North-Holland.
  14.  93
    Constructibility and Mathematical Existence.Charles S. Chihara - 1990 - Oxford, England: Oxford University Press.
    This book is concerned with `the problem of existence in mathematics'. It develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. It explores the philosophical implications of such an approach through an examination of the writings of Field, Burgess, Maddy, Kitcher, and others.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   101 citations  
  15.  28
    The Origin of the Logic of Symbolic Mathematics: Edmund Husserl and Jacob Klein.Burt C. Hopkins - 2011 - Indiana University Press.
    Burt C. Hopkins presents the first in-depth study of the work of Edmund Husserl and Jacob Klein on the philosophical foundations of the logic of modern symbolic mathematics. Accounts of the philosophical origins of formalized concepts—especially mathematical concepts and the process of mathematical abstraction that generates them—have been paramount to the development of phenomenology. Both Husserl and Klein independently concluded that it is impossible to separate the historical origin of the thought that generates the basic concepts of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  16.  17
    Gödel '96 Logical Foundations of Mathematics, Computer Science and Physics Kurt GÖdel's Legacy.Petr Hájek & Jiří Zlatuška - 1996 - Bulletin of Symbolic Logic 2 (4):473-473.
  17. Reviews: Mathematics and Logic-Symbols, Impossible Numbers, and Geometric Entanglements: British Algebra Through the Commentaries on Newton's Universal Arithmetick. [REVIEW]Helena M. Pycior & M. Seltman - 1998 - Annals of Science 55 (4):438-439.
     
    Export citation  
     
    Bookmark  
  18. Philosophical and Mathematical Correspondence. [REVIEW]A. Reix - 1982 - Revue Philosophique de la France Et de l'Etranger 172 (1):64-64.
    Translate
     
     
    Export citation  
     
    Bookmark   167 citations  
  19. Foundations of Logic and Mathematics.Ernest Bloomfield Zeisler - 1955 - Chicago: A.J. Isaacs.
  20.  34
    Logic, Methodology and Philosophy of Science.Patrick Suppes (ed.) - 1963 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  21. Symbolic Logic, Method and Development.Henry Bradford Smith - 1927 - New York: F. S. Crofts & Co..
  22. Compound Statements and Mathematical Logic.Vincent E. Cangelosi - 1967 - Columbus, Ohio, C.E. Merrill Books.
  23.  13
    Kolmogorov and Mathematical Logic.Vladimir A. Uspensky - 1992 - Journal of Symbolic Logic 57 (2):385-412.
  24.  4
    The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning.George Boole - 1847 - Cambridge, England: Macmillan, Barclay & Macmillan.
    This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...)
    Direct download  
     
    Export citation  
     
    Bookmark   41 citations  
  25.  21
    Logic, Methodology and Philosophy of Science.Ernest Nagel (ed.) - 1962 - Stanford, Calif., Stanford University Press.
  26.  47
    Logic and Philosophy of Mathematics in the Early Husserl.Stefania Centrone - 2009 - Dordrecht, Netherland: 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 (2 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  27.  1
    Language, Logic and Mathematics.Cliff W. Kilmister - 1967 - New York: Barnes & Noble.
  28.  1
    The Theory of Probability an Inquiry Into the Logical and Mathematical Foundations of the Calculus of Probability.Hans Reichenbach - 1949 - Berkeley, CA, USA: University of California Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  29. Logical Foundations of Mathematics for Behavioral Scientists [by] Abraham S. Luchins [and] Edith H. Luchins. --.Abraham S. Luchins - 1965 - Holt, Rinehart and Winston.
  30.  2
    Logic, Methodology and Philosophy of Science: Proceedings of the 1964 International Congress.Yehoshua Bar-Hillel (ed.) - 1965 - Amsterdam: North-Holland Pub. Co..
  31.  58
    Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW]Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paulo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  16
    Temporal Logic: Mathematical Foundations and Computational Aspects.Dov M. Gabbay, Ian Hodkinson & Mark A. Reynolds - 1994 - Oxford University Press on Demand.
    This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal logic to covering the central topics of predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositionalquantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results.Much of the research presented (...)
    Direct download  
     
    Export citation  
     
    Bookmark   35 citations  
  33.  3
    Mathematical Logic and Formalized Theories a Survey of Basic Concepts and Results.Robert Rogers - 1971 - Amsterdam, Netherlands: North-Holland.
  34. Lewis Carroll's Symbolic Logic Part I, Elementary, 1896, Fifth Edition, Part Ii, Advanced, Never Previously Published : Together with Letters From Lewis Carroll to Eminent Nineteenth-Century Logicians and to His "Logical Sister," and Eight Versions Of.Lewis Carroll & William Warren Bartley - 1977
     
    Export citation  
     
    Bookmark  
  35. Mathematical Logic.W. V. Quine - 1940 - 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  
     
    Bookmark   144 citations  
  36.  32
    Philosophical Grammar: Part I, the Proposition, and its Sense, Part Ii, on Logic and Mathematics.Ludwig Wittgenstein - 1974 - Oxford, England: University of California Press.
    i How can one talk about 'understanding' and 'not understanding' a proposition? Surely it is not a proposition until it's understood ? ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  37.  81
    A Mathematical Introduction to Logic.Herbert Bruce Enderton - 1972 - 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 queries, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   119 citations  
  38. Introduction to Symbolic Logic and its Applications.Rudolf Carnap - 1958 - New York: Dover Publications.
    Clear, comprehensive, intermediate introduction to logical languages, applications of symbolic logic to physics, mathematics, biology.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   63 citations  
  39. Logic and Mathematics in the Seventeenth Century. History and Philosophy of Logic, Vol. 31.Massimo Mugnai - 2011 - Bulletin of Symbolic Logic 17 (2):270-271.
     
    Export citation  
     
    Bookmark  
  40.  7
    Aristotelian and Mathematical Logic.Johannes Bendiek - 1951 - Journal of Symbolic Logic 16 (2):149-149.
  41. The Foundations of Mathematics and Other Logical Essays.Frank Plumpton Ramsey - 1925 - London, England: Routledge & Kegan Paul.
  42.  3
    Logic, Computers, and Sets.Hao Wang - 1962 - New York: Chelsea Pub. Co..
  43.  38
    Proofs and Refutations: The Logic of Mathematical Discovery.Imre Lakatos, John Worrall & Elie Zahar (eds.) - 1976 - Cambridge and London: 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 raises some philosophical problems and some problems about the nature of mathematical discovery or creativity. Imre Lakatos is concerned throughout to combat the classical (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  44.  77
    Mathematical Logic.Stephen Cole Kleene - 1967 - New York, NY, USA: 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  
     
    Bookmark   80 citations  
  45.  55
    Logic, Meaning and Computation: Essays in Memory of Alonzo Church.Alonzo Church, C. Anthony Anderson & Michael Zelëny (eds.) - 2001 - Dordrecht, Netherland: Kluwer Academic Publishers.
    This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, computer (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  46. Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995.Andrea Cantini, Ettore Casari & Pierluigi Minari (eds.) - 1999 - Dordrecht, Netherland: Springer.
    The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comprehensive picture of the present state of research in all directions of Logic and Philosophy of Science. The final program counted 51 invited lectures and around 700 contributed papers, distributed in 15 sections. Following the tradition of previous LMPS-meetings, some authors, whose papers aroused particular interest, were invited to submit their works for publication in a collection of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  47
    Wilfried Buchholz. Notation Systems for Infinitary Derivations. Archive for Mathematical Logic, Vol. 30 No. 5–6 , Pp. 277–296. - Wilfried Buchholz. Explaining Gentzen's Consistency Proof Within Infinitary Proof Theory. Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25–29, 1997, Proceedings, Edited by Georg Gottlob, Alexander Leitsch, and Daniele Mundici, Lecture Notes in Computer Science, Vol. 1289, Springer, Berlin, Heidelberg, New York, Etc., 1997, Pp. 4–17. - Sergei Tupailo. Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals. Logic Colloquium '98, Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Prague, Czech Republic, August 9–15, 1998, Edited by Samuel R. Buss, Petr Háajek, and Pavel Pudlák, Lecture Notes in Logic, No. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., Etc., 2000, Pp. 465–499. [REVIEW]Toshiyasu Arai - 2002 - Bulletin of Symbolic Logic 8 (3):437-439.
  48.  32
    Mathematical Logic.Joseph R. Shoenfield - 1967 - Reading, MA, USA: Reading, Mass., Addison-Wesley Pub. Co..
    8.3 The consistency proof -- 8.4 Applications of the consistency proof -- 8.5 Second-order arithmetic -- Problems -- Chapter 9: Set Theory -- 9.1 Axioms for sets -- 9.2 Development of set theory -- 9.3 Ordinals -- 9.4 Cardinals -- 9.5 Interpretations of set theory -- 9.6 Constructible sets -- 9.7 The axiom of constructibility -- 9.8 Forcing -- 9.9 The independence proofs -- 9.10 Large cardinals -- Problems -- Appendix The Word Problem -- Index.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   211 citations  
  49. Phenomenology, Logic, and the Philosophy of Mathematics.Richard Tieszen - 2005 - 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 2005 book is divided into three parts. Part I 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 Quine, Penelope Maddy and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   40 citations  
  50.  9
    Symbolic Logic and Mechanical Theorem Proving.Chin-Liang Chang - 1973 - New York, NY, USA: Academic Press.
    This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4–9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   18 citations  
1 — 50 / 1000