Results for 'Logic, Symbolic and mathematical'

1000+ found
Order:
  1.  1
    Dictionary of Symbols of Mathematical Logic.Robert Feys - 1969 - Amsterdam: North-Holland Pub. Co..
  2. Foundations of Logic and Mathematics.Rudolf Carnap - 1939 - U. Of Chicago P.
    No categories
     
    Export citation  
     
    Bookmark   63 citations  
  3. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.P. B. Andrews - 2002 - Kluwer Academic Publishers.
    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 (2 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  4.  35
    Foundations of Logic and Mathematics.E. N. - 1939 - Journal of Philosophy 36 (23):636-637.
  5.  69
    Introduction to Mathematical Logic.ALONZO CHURCH - 1944 - London: Oxford University PRess.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   183 citations  
  6.  37
    Proofs and Refutations: The Logic of Mathematical Discovery.Imre Lakatos, John Worrall & Elie Zahar (eds.) - 1976 - 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  
     
    Export citation  
     
    Bookmark   5 citations  
  7. 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   194 citations  
  8.  1
    Mathematical Logic and Hilbert's & Symbol.A. C. Leisenring - 1969 - London: Macdonald Technical & Scientific.
  9.  35
    Symbolic Logic.John Venn - 1881 - New York: B. Franklin.
    SYMBOLIC LOGIC. CHAPTER I. ON THE FORMS OF LOGICAL PROPOSITION. IT has been mentioned in the Introduction that the System of Logic which this work is ...
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  10.  21
    Logical Dynamics of Information and Interaction.Johan van Benthem - 2011 - Cambridge University Press.
    This book develops a view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action and strategic interaction in games. Throughout, the book (...)
    Direct download  
     
    Export citation  
     
    Bookmark   78 citations  
  11.  83
    Constructibility and Mathematical Existence.Charles S. Chihara - 1990 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   93 citations  
  12. Proofs and Refutations: The Logic of Mathematical Discovery.Imre Lakatos (ed.) - 1976 - 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   188 citations  
  13.  22
    Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship.I. Grattan-Guinness - 1999 - History and Philosophy of Logic 20 (3-4):159-167.
    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)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  39
    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]Dag Prawitz, Brian Skyrms & Dag Westerståhl (eds.) - 1994 - 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  
     
    Bookmark   1 citation  
  15.  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.
  16.  1
    Thought and Logic: The Debates Between German-Speaking Philosophers and Symbolic Logicians at the Turn of the 20th Century.Jarmo Pulkkinen - 2005 - P. Lang.
    The book deals with the reception and critique of symbolic logic among German-speaking philosophers at the turn of the 20th century. The first part discusses the period from the late 1870s up to the end of the 19th century. The main issue is the arrival of the Boolean algebra of logic in Germany and Austria. It examines also the reasons why Gottlob Frege was so unsuccessful in his attempts to draw the attention of philosophers to his logicist programme. The (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  18
    Logic, Methodology and Philosophy of Science.Ernest Nagel (ed.) - 1962 - Stanford, Calif., Stanford University Press.
  18.  32
    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  
  19.  29
    Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978.Ayda I. Arruda, R. Chuaqui & Newton C. A. Costa (eds.) - 1980 - Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
    (or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  20.  2
    Temporal Logic: Mathematical Foundations and Computational Aspects.Dov M. Gabbay, Ian Hodkinson & Mark 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   28 citations  
  21.  39
    Logic and Philosophy of Mathematics in the Early Husserl.Stefania Centrone - 2009 - 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  
     
    Bookmark   18 citations  
  22.  24
    Logic From a to Z: The Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical Terms.John B. Bacon, Michael Detlefsen & David Charles McCarty - 1999 - Routledge.
    First published in the most ambitious international philosophy project for a generation; the _Routledge Encyclopedia of Philosophy_. _Logic from A to Z_ is a unique glossary of terms used in formal logic and the philosophy of mathematics. Over 500 entries include key terms found in the study of: * Logic: Argument, Turing Machine, Variable * Set and model theory: Isomorphism, Function * Computability theory: Algorithm, Turing Machine * Plus a table of logical symbols. Extensively cross-referenced to help comprehension and add (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. 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 (2 more)  
     
    Export citation  
     
    Bookmark   53 citations  
  24.  66
    Handbook of Mathematical Logic.Jon Barwise (ed.) - 1977 - North-Holland.
  25.  13
    Kolmogorov and Mathematical Logic.Vladimir A. Uspensky - 1992 - Journal of Symbolic Logic 57 (2):385-412.
  26. 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   125 citations  
  27. 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  
  28.  65
    A Concise Introduction to Mathematical Logic.Wolfgang Rautenberg - 2006 - 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 in that (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  57
    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  
  30.  65
    A Mathematical Introduction to Logic.Herbert B. 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 (2 more)  
     
    Export citation  
     
    Bookmark   117 citations  
  31.  26
    Mathematical Logic.Joseph R. Shoenfield - 1967 - 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   200 citations  
  32.  72
    Mathematical Logic.Stephen Cole Kleene - 1967 - 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   75 citations  
  33.  5
    Symbolic Logic and Mechanical Theorem Proving.Chin-Liang Chang - 1973 - 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  
     
    Export citation  
     
    Bookmark   17 citations  
  34. Algebraic Logic and Predicate Functors.W. V. Quine - 1971 - [Indianapolis, Bobbs-Merrill.
  35. Logical Foundations of Mathematics for Behavioral Scientists [by] Abraham S. Luchins [and] Edith H. Luchins. --.Abraham S. Luchins - 1965 - Holt, Rinehart and Winston.
  36.  53
    Logic, Meaning and Computation: Essays in Memory of Alonzo Church.Alonzo Church, C. Anthony Anderson & Michael Zelëny (eds.) - 2001 - 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  
     
    Export citation  
     
    Bookmark   5 citations  
  37.  24
    Symbolic Logic.Clarence Irving Lewis - 1932 - Dover Publications.
  38. The Foundations of Mathematics and Other Logical Essays.Frank Plumpton Ramsey - 1925 - Routledge & Kegan Paul.
  39. Mathematical Logic, the Theory of Algorithms, and the Theory of Sets.S. I. Adi͡an (ed.) - 1977 - American Mathematical Society.
    Proceedings of the Steklov Institute of Mathematics is a cover-to-cover translation of the Trudy Matematicheskogo Instituta imeni V.A. Steklova of the Russian Academy of Sciences. Each issue ordinarily contains either one book-length article or a collection of articles pertaining to the same topic.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - University of Chicago Press.
    "This book is valuable as expounding in full a theory of meaning that has its roots in the work of Frege and has been of the widest influence.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   582 citations  
  41.  34
    The Theory of Probability. An Inquiry Into the Logical and Mathematical Foundations of the Calculus of Probability.Ernest Nagel, Hans Reichenbach, Ernest H. Hutten & Maria Reichenbach - 1950 - Journal of Philosophy 47 (19):551-555.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  42.  28
    Philosophical Grammar: Part I, the Proposition, and its Sense, Part Ii, on Logic and Mathematics.Ludwig Wittgenstein - 1974 - 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  
     
    Export citation  
     
    Bookmark   5 citations  
  43.  1
    Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results.Robert Rogers - 1971 - Amsterdam: North-Holland Pub. Co..
  44. 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   32 citations  
  45.  22
    Symbolic Logic and the Game of Logic.Lewis Carroll - 1958 - Dover Publications.
    This Is A New Release Of The Original 1897 Edition.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  46. 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  
  47. Symbolic Logic, Method and Development.Henry Bradford Smith - 1927 - New York: F. S. Crofts & Co..
  48. Logical Reasoning with Diagrams.Gerard Allwein & Jon Barwise (eds.) - 1996 - Oxford University Press.
    One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that employs visualization? What are the cognitive advantages and pitfalls of this reasoning? What kinds of tools can be developed to aid in the use of visual representation? This newest volume on the Studies in Logic and Computation series addresses the logical aspects of the visualization of information. The authors of these specially commissioned papers explore (...)
    Direct download  
     
    Export citation  
     
    Bookmark   42 citations  
  49.  51
    Symbolic Logic.Frederic B. Fitch - 1952 - New York: Ronald Press Co..
  50. Introduction to Mathematical Logic.Alonzo Church - 1956 - Princeton: Princeton University Press.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   182 citations  
1 — 50 / 1000