Results for 'Logic, Symbolic and mathematical '

1000+ found
Order:
  1.  7
    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 - North-Holland.
  2.  16
    Dictionary of symbols of mathematical logic.Robert Feys (ed.) - 1969 - Amsterdam,: North-Holland Pub. Co..
  3. Logic, sets and information: proceedings of the tenth Brazilian Conference on Mathematical Logic.Walter A. Carnielli & Luiz Carlos P. D. Pereira (eds.) - 1995 - Campinas, SP, Brazil: 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  
  4.  50
    Foundations of Logic and Mathematics.Rudolf Carnap - 1937 - Chicago, IL, USA: U. Of Chicago P.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   106 citations  
  5.  15
    Logic Colloquium '73: Proceedings of the Logic Colloquium, Bristol, July 1973.H. E. Rose, J. C. Shepherdson & Association for Symbolic Logic - 1975 - North-Holland.
  6.  23
    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.
  7.  13
    Classification Theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985.J. T. Baldwin & U. Workshop on Model Theory in Mathematical Logic - 1987 - Springer.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  70
    Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil.Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999 - American Mathematical Soc..
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society 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 their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Sets, Models and Recursion Theory Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965.John N. Crossley & Logic Colloquium - 1967 - North-Holland.
     
    Export citation  
     
    Bookmark  
  10.  85
    Advances in Experimental Philosophy of Logic and Mathematics.Andrew Aberdein & Matthew Inglis (eds.) - 2019 - London: Bloomsbury Academic.
    This book explores the results of applying empirical methods to the philosophy of logic and mathematics. Much of the work that has earned experimental philosophy a prominent place in twenty-first century philosophy is concerned with ethics or epistemology. But, as this book shows, empirical methods are just as much at home in logic and the philosophy of mathematics. -/- Chapters demonstrate and discuss the applicability of a wide range of empirical methods including experiments, surveys, interviews, and data-mining. Distinct themes emerge (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  7
    Language, logic, and mathematics.Cliff W. Kilmister - 1967 - New York,: Barnes & Noble.
  12.  20
    Mathematical logic and Hilbert's & symbol.A. C. Leisenring - 1969 - London,: Macdonald Technical & Scientific.
  13. Compound statements and mathematical logic.Vincent E. Cangelosi - 1967 - Columbus, Ohio,: C.E. Merrill Books.
  14.  48
    Foundations of Logic and Mathematics. [REVIEW]E. N. - 1939 - Journal of Philosophy 36 (23):636-637.
  15.  8
    Proceedings of the Tarski Symposium: An International Symposium Held to Honor Alfred Tarski on the Occasion of His Seventieth Birthday.Leon Henkin, Alfred Tarski & Association for Symbolic Logic - 1979 - Amer Mathematical Society.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  3
    Symbolic logic, method and development.Henry Bradford Smith - 1927 - New York,: F. S. Crofts & Co..
  17.  59
    Logic, methodology and philosophy of science.Patrick Suppes (ed.) - 1973 - 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  
  18. Proofs and refutations: the logic of mathematical discovery.Imre Lakatos (ed.) - 1976 - New York: 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 (...)
  19.  19
    Philosophical Approaches to the Foundations of Logic and Mathematics: In Honor of Stanisław Krajewski.Marcin Trepczyński (ed.) - 2021 - Boston: Brill | Rodopi.
    _Philosophical Approaches to the Foundations of Logic and Mathematics_ consists of eleven articles addressing various aspects of the "roots" of logic and mathematics, their basic concepts and the mechanisms that work in the practice of their use.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  67
    Logic and philosophy of mathematics in the early Husserl.Stefania Centrone - 2010 - New York: 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   24 citations  
  21.  38
    Logic, methodology, and philosophy of science.Ernest Nagel (ed.) - 1962 - Stanford, Calif.,: Stanford University Press.
  22.  10
    Foundations of logic and mathematics.Ernest Bloomfield Zeisler - 1955 - Chicago,: A.J. Isaacs.
  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.
  24.  22
    Logic, methodology and philosophy of science.Yehoshua Bar-Hillel (ed.) - 1965 - Amsterdam,: North-Holland Pub. Co..
  25. Logical Foundations of Mathematics for Behavioral Scientists [by] Abraham S. Luchins [and] Edith H. Luchins. --.Abraham S. Luchins - 1965 - Holt, Rinehart and Winston.
  26.  70
    Logic, meaning, and computation: essays in memory of Alonzo Church.C. Anthony Anderson & Michael Zelëny (eds.) - 2001 - Boston: 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 (...)
  27.  8
    Essays in the philosophy and history of logic and mathematics.Roman Murawski - 2010 - New York, NY: Rodopi. Edited by Thomas Bedürftig, Izabela Bondecka-Krzykowska & Jan Woleński.
    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 contains essays in the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  9
    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  
  29.  13
    Logic, methodology, and philosophy of science VI: proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979.Laurence Jonathan Cohen (ed.) - 1982 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
  30.  57
    Philosophical grammar: part I, The proposition, and its sense, part II, On logic and mathematics.Ludwig Wittgenstein - 1974 - Berkeley: University of California Press. Edited by Rush Rhees.
    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   9 citations  
  31.  12
    Logic and discrete mathematics: a concise introduction.Willem Conradie - 2015 - Hoboken, NJ, USA: Wiley. Edited by Valentin Goranko.
    A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  32. Mathematical logic and the foundations of mathematics: an introductory survey.G. T. Kneebone - 1963 - Mineola, N.Y.: Dover Publications.
    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  
     
    Bookmark   12 citations  
  33.  12
    Laws of form.George Spencer-Brown - 1969 - New York,: Julian Press.
  34. Constructibility and mathematical existence.Charles S. Chihara - 1990 - New York: 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   106 citations  
  35. Mathematical logic.Willard Van Orman Quine - 1951 - 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, ...
  36.  36
    Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
    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  
  37.  24
    Tools and techniques in modal logic.Marcus Kracht - 1999 - New York: Elsevier.
    This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply. It presupposes training in mathematical or logic. Very little specific knowledge is presupposed, most results which are needed are proved in this book.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   56 citations  
  38.  45
    Symbolic logic.John Venn - 1894 - 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   45 citations  
  39.  7
    Proceedings of the Fifth International Congress of Logic, Methodology, and Philosophy of Science, London, Ontario, Canada, 1975: Logic, foundations of mathematics, and computability theory.Robert E. Butts & Jaakko Hintikka - 1977
  40.  9
    Logic in elementary mathematics.Robert M. Exner - 1959 - New York,: McGraw-Hill. Edited by Myron Frederick Rosskopf.
    "This accessible, applications-related introductory treatment explores some of the structure of modern symbolic logic useful in the exposition of elementary mathematics. Topics include axiomatic structure and the relation of theory to interpretation. No prior training in logic is necessary, and numerous examples and exercises aid in the mastery of the language of logic. 1959 edition"--.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  11
    Mathematical Logic: An Introduction.Daniel W. Cunningham - 2023 - Boston: De Gruyter.
    Mathematical Logic: An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In particular, the concepts of proof and truth are examined. The book presents the fundamental topics in mathematical logic and presents clear and complete proofs throughout the text. Such proofs are used to develop the language of propositional logic and the language of first-order logic, including the notion of a formal deduction. The text also covers Tarski’s definition of truth and the computability (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. An introduction to mathematical logic and type theory: to truth through proof.Peter Bruce Andrews - 1986 - Boston: 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   34 citations  
  43.  50
    An Investigation of the Laws of Thought: On Which Are Founded the Mathematical Theories of Logic and Probabilities.George Boole - 2009 - [New York]: Cambridge University Press.
    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   120 citations  
  44.  6
    Symbolic logic and its applications.Hugh MacColl - 1906 - Bombay,: Longmans, Green, and co..
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  45.  43
    Logic, methodology, and philosophy of science, VII: proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983.Ruth Barcan Marcus, Georg Dorn & Paul Weingartner (eds.) - 1986 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
    Logic, Methodology and Philosophy of Science VII.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  46.  6
    Internal Logic: Foundations of Mathematics from Kronecker to Hilbert.Yvon Gauthier - 2002 - Springer Verlag.
    Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker's work, which includes not only Hilbert, but also Frege, Cantor, Dedekind, Husserl and Brouwer. The (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  47.  95
    One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   61 citations  
  48.  16
    Logic: theory and practice.M. K. Rennie - 1973 - Brisbane,: University of Queensland Press. Edited by Roderick A. Girle.
  49. Logic, Methodology, and Philosophy Proceedings.Yehoshua Bar-Hillel - 1965 - North-Holland Pub. Co.
  50. Logic, Methodology, and Philosophy of Science Proceedings.Ernest Nagel - 1962 - Stanford University Press.
1 — 50 / 1000