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

993 found
Sort by:
  1. Stanisław J. Surma (ed.) (1973). Studies in the History of Mathematical Logic. Wrocław,Zakład Narodowy Im. Ossolinskich.score: 936.0
  2. Roman Murawski (2010). Essays in the Philosophy and History of Logic and Mathematics. Rodopi.score: 746.0
  3. Volker Peckhaus (1999). 19th Century Logic Between Philosophy and Mathematics. Bulletin of Symbolic Logic 5 (4):433-450.score: 744.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 (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Geraldine Brady (2000). From Peirce to Skolem: A Neglected Chapter in the History of Logic. North-Holland/Elsevier Science Bv.score: 684.0
    This book is an account of the important influence on the development of mathematical logic of Charles S. Peirce and his student O.H. Mitchell, through the work of Ernst Schroder, Leopold Lowenheim, and Thoralf Skolem. As far as we know, this book is the first work delineating this line of influence on modern mathematical logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Michał Walicki (2012). Introduction to Mathematical Logic. World Scientific.score: 660.0
    A history of logic -- Patterns of reasoning -- A language and its meaning -- A symbolic language -- 1850-1950 mathematical logic -- Modern symbolic logic -- Elements of set theory -- Sets, functions, relations -- Induction -- Turning machines -- Computability and decidability -- Propositional logic -- Syntax and proof systems -- Semantics of PL -- Soundness and completeness -- First order logic -- Syntax and proof systems of FOL -- Semantics of FOL -- More (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Jarmo Pulkkinen (2005). Thought and Logic: The Debates Between German-Speaking Philosophers and Symbolic Logicians at the Turn of the 20th Century. P. Lang.score: 636.0
     
    My bibliography  
     
    Export citation  
  7. Imre Lakatos (1976). Proofs and Refutations: The Logic of Mathematical Discovery. Cambridge University Press.score: 606.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 (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. David Dinsmore Comey (1965). Review: N. I. Stazkin, V. D. Silakov, A Brief Outline of the History of General and Mathematical Logic in Russia. [REVIEW] Journal of Symbolic Logic 30 (3):370-371.score: 588.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. Andrzej Mostowski (1948). Review: Stanislaw Kaczorowski, Mathematical Logic. Part I. The Algebra of Logic. (An Outline of History.). [REVIEW] Journal of Symbolic Logic 13 (3):167-167.score: 588.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Steward Shapiro (1992). Review: Thomas Drucker, Perspectives on the History of Mathematical Logic. [REVIEW] Journal of Symbolic Logic 57 (4):1487-1489.score: 588.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. 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  
  12. 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  
  13. Johanna N. Y. Franklin (forthcoming). Reviewed Work(S): Lowness Properties and Randomness. Advances in Mathematics, Vol. 197 by André Nies; Lowness for the Class of Schnorr Random Reals. SIAM Journal on Computing, Vol. 35 by Bjørn Kjos-Hanssen; André Nies; Frank Stephan; Lowness for Kurtz Randomness. The Journal of Symbolic Logic, Vol. 74 by Noam Greenberg; Joseph S. Miller; Randomness and Lowness Notions Via Open Covers. Annals of Pure and Applied Logic, Vol. 163 by Laurent Bienvenu; Joseph S. Miller; Relativizations of Randomness and Genericity Notions. The Bulletin of the London Mathematical Society, Vol. 43 by Johanna N. Y. Franklin; Frank Stephan; Liang Yu; Randomness Notions and Partial Relativization. Israel Journal of Mathematics, Vol. 191 by George Barmpalias; Joseph S. Miller; André Nies. [REVIEW] Association for Symbolic Logic: The Bulletin of Symbolic Logic.score: 477.0
    Review by: Johanna N. Y. Franklin The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 115-118, March 2013.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. G. D. Bowne (1966). The Philosophy of Logic, 1880-1908. The Hague, Mouton.score: 456.0
     
    My bibliography  
     
    Export citation  
  15. C. J. Ducasse & Haskell B. Curry (1962). Early History of the Association for Symbolic Logic. Journal of Symbolic Logic 27 (3):255-258.score: 441.0
  16. G. Sabbagh (1994). Conference on Mathematical Logic: Co-Sponsored by the Association for Symbolic Logic, Pasris, 1992. Journal of Symbolic Logic 59 (1):345.score: 441.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  17. James W. Cummings (2000). Apter Arthur W.. On the Least Strongly Compact Cardinal. Israel Journal of Mathematics, Vol. 35 (1980), Pp. 225–233. Apter Arthur W.. Measurability and Degrees of Strong Compactness. The Journal of Symbolic Logic, Vol. 46 (1981), Pp. 249–254. Apter Arthur W.. A Note on Strong Compactness and Supercompactness. Bulletin of the London Mathematical Society, Vol. 23 (1991), Pp. 113–115. Apter Arthur W.. On the First N Strongly Compact Cardinals. Proceedings of the American Mathematical Society, Vol. 123 ... [REVIEW] Bulletin of Symbolic Logic 6 (1):86-89.score: 441.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Howard S. Becker (2002). Jackson Steve. A New Proof of the Strong Partition Relation on Ω1. Transactions of the American Mathematical Society, Vol. 320 (1990), Pp. 737–745. Jackson Steve. Admissible Suslin Cardinals in L (R). The Journal of Symbolic Logic, Vol. 56 (1991), Pp. 260–275. Jackson Steve. A Computation Of. Memoirs of the American Mathematical Society, No. 670. American Mathematical Society, Providence 1999, Viii+ 94 Pp. [REVIEW] Bulletin of Symbolic Logic 8 (4):546-548.score: 441.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. C. J. Ducasse & Haskell B. Curry (1963). Addendum to Early History of the Association for Symbolic Logic. Journal of Symbolic Logic 28 (4):279.score: 441.0
  20. Andrea Cantini (2002). Strahm Thomas. First Steps Into Metapredicativity in Explicit Mathematics. Sets and Proofs, Invited Papers From Logic Colloquium'97—European Meeting of the Association for Symbolic Logic, Leeds, July 1997, Edited by Cooper S. Barry and Truss John K., London Mathematical Society Lecture Note Series, No. 258, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1999, Pp. 383–402. [REVIEW] Bulletin of Symbolic Logic 8 (4):535-536.score: 441.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. Fernando Ferreira (2002). Strahm Thomas. Polynomial Time Operations in Explicit Mathematics. The Journal of Symbolic Logic, Vol. 62 (1997), Pp. 575–594. Cantini Andrea. Feasible Operations and Applicative Theories Based on Λη. Mathematical Logic Quarterly, Vol. 46 (2000), Pp. 291–312. [REVIEW] Bulletin of Symbolic Logic 8 (4):534-535.score: 441.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. Robert McNaughton (1997). Robinson Raphael M.. Restricted Set-Theoretical Definitions in Arithmetic. Proceedings of the American Mathematical Society, Vol. 9 (1958), Pp. 238–242. Robinson Raphael M.. Restricted Set-Theoretical Definitions in Arithmetic. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, NJ, 1960, Pp. 139–140. [REVIEW] Journal of Symbolic Logic 31 (4):659-660.score: 441.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  23. José Ferreirós (2010). La lógica matemática: una disciplina en busca de encuadre (Mathematical Logic). Theoria 25 (3):279-299.score: 432.0
    RESUMEN: Se ofrece un análisis de las transformaciones disciplinares que ha experimentado la lógica matemática o simbólica desde su surgimiento a fines del siglo XIX. Examinaremos sus orígenes como un híbrido de filosofía y matemáticas, su madurez e institucionalización bajo la rúbrica de “lógica y fundamentos”, una segunda ola de institucionalización durante la Posguerra, y los desarrollos institucionales desde 1975 en conexión con las ciencias de la computación y con el estudio de lenguaje e informática. Aunque se comenta algo de (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. S. B. Cooper & J. K. Truss (eds.) (1999). Models and Computability: Invited Papers From Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Cambridge University Press.score: 432.0
    Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  25. S. W. P. Steen (1972). Mathematical Logic with Special Reference to the Natural Numbers. Cambridge [Eng.]University Press.score: 432.0
    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 (...)
     
    My bibliography  
     
    Export citation  
  26. Robert Feys (1969). Dictionary of Symbols of Mathematical Logic. Amsterdam, North-Holland Pub. Co..score: 426.0
    No categories
     
    My bibliography  
     
    Export citation  
  27. A. C. Leisenring (1969). Mathematical Logic and Hilbert's & Symbol. London, Macdonald Technical & Scientific.score: 426.0
    No categories
     
    My bibliography  
     
    Export citation  
  28. John Corcoran (2006). Schemata: The Concept of Schema in the History of Logic. Bulletin of Symbolic Logic 12 (2):219-240.score: 424.0
    The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  29. Ian Chiswell (2007). Mathematical Logic. Oxford University Press.score: 423.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  
  30. Herbert B. Enderton (1972). A Mathematical Introduction to Logic. New York,Academic Press.score: 423.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 queries, (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. Gregory Landini (1998). Russell's Hidden Substitutional Theory. Oxford University Press.score: 420.0
    This book explores an important central thread that unifies Russell's thoughts on logic in two works previously considered at odds with each other, the Principles of Mathematics and the later Principia Mathematica. This thread is Russell's doctrine that logic is an absolutely general science and that any calculus for it must embrace wholly unrestricted variables. The heart of Landini's book is a careful analysis of Russell's largely unpublished "substitutional" theory. On Landini's showing, the substitutional theory reveals the unity of Russell's (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. Stefania Centrone (2010). Logic and Philosophy of Mathematics in the Early Husserl. Springer.score: 418.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  
  33. Peter Hylton (2005/2008). Propositions, Functions, and Analysis: Selected Essays on Russell's Philosophy. Oxford University Press.score: 408.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 engaged (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. Peter Hylton (2008). Propositions, Functions, and Analysis: Selected Essays on Russell's Philosophy. OUP Oxford.score: 408.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 of those (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. José Sanmartín Esplugues (1972). History of Mathematical Logic, de NI Styazhkin. Teorema: Revista Internacional de Filosofía 2 (5):133-134.score: 405.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. L. Vega (1997). On the History of Mathematical Logic. Theoria 28:7-160.score: 405.0
    No categories
     
    My bibliography  
     
    Export citation  
  37. I. Grattan-Guinness (1999). Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship. History and Philosophy of Logic 20 (3-4):159-167.score: 404.0
    Symbolic logics tend to be too mathematical for the philosophers and too philosophical for the mathematicians; and their history is too historical for most mathematicians, philosophers and logicians. This paper reflects upon these professional demarcations as they have developed during the century.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  38. Stephen Cole Kleene (1967/2002). Mathematical Logic. Dover Publications.score: 402.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  
  39. Rudolf Carnap (1958). Introduction to Symbolic Logic and its Applications. New York, Dover Publications.score: 402.0
    Clear, comprehensive, intermediate introduction to logical languages, applications of symbolic logic to physics, mathematics, biology.
    Direct download  
     
    My bibliography  
     
    Export citation  
  40. G. T. Kneebone (1963/2001). Mathematical Logic and the Foundations of Mathematics: An Introductory Survey. Dover.score: 402.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  
  41. 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: 402.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  
  42. Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. Oxford University Press.score: 402.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  
  43. Stephen K. Land (1974). From Signs to Propositions: The Concept of Form in Eighteenth-Century Semantic Theory. Longman.score: 396.0
     
    My bibliography  
     
    Export citation  
  44. Youding Shen (2006). Shen Youding Ji. Zhongguo She Hui Ke Xue Chu Ban She.score: 396.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  45. Patrick Suppes (1964/2002). First Course in Mathematical Logic. Dover Publications.score: 388.5
    This introduction to rigorous mathematical logic is simple enough in both presentation and context for students of a wide range of ages and abilities. Starting with symbolizing sentences and sentential connectives, it proceeds to the rules of logical inference and sentential derivation, examines the concepts of truth and validity, and presents a series of truth tables. Subsequent topics include terms, predicates, and universal quantifiers; universal specification and laws of identity; axioms for addition; and universal generalization. Throughout the book, the (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. P. B. Andrews (2002). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer Academic Publishers.score: 387.0
    This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. W. V. Quine (1951). Mathematical Logic. Cambridge, Harvard University Press.score: 387.0
    INTRODUCTION MATHEMATICAL logic differs from the traditional formal logic so markedly in method, and so far surpasses it in power and subtlety, ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  48. Hao Wang (1981/1993). Popular Lectures on Mathematical Logic. Dover Publications.score: 387.0
    Noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. After historical survey, lucid treatment of set theory, model theory, recursion theory and constructivism and proof theory. Place of problems in development of theories of logic, logic’s relationship to computer science, more. Suitable for readers at many levels of mathematical sophistication. 3 appendixes. Bibliography. 1981 edition.
    Direct download  
     
    My bibliography  
     
    Export citation  
  49. David Hilbert (1950/1999). Principles of Mathematical Logic. Ams Chelsea.score: 387.0
    Although symbolic logic has grown considerably in the subsequent decades, this book remains a classic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. A. Prestel (2011). Mathematical Logic and Model Theory: A Brief Introduction. Springer.score: 387.0
    Therefore, the text is divided into three parts: an introduction into mathematical logic (Chapter 1), model theory (Chapters 2 and 3), and the model theoretic ...
    Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 993