Results for 'Logic, Symbolic and mathematical'

1000+ found
Order:
  1.  9
    Dictionary of symbols of mathematical logic.Robert Feys (ed.) - 1969 - Amsterdam,: North-Holland Pub. Co..
  2.  35
    Foundations of Logic and Mathematics.Rudolf Carnap - 1937 - Chicago, IL, USA: U. Of Chicago P.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   106 citations  
  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. 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  
  5.  62
    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  
  6. Compound statements and mathematical logic.Vincent E. Cangelosi - 1967 - Columbus, Ohio,: C.E. Merrill Books.
  7. Foundations of logic and mathematics.Ernest Bloomfield Zeisler - 1955 - Chicago,: A.J. Isaacs.
  8.  9
    Mathematical logic and Hilbert's & symbol.A. C. Leisenring - 1969 - London,: Macdonald Technical & Scientific.
  9.  1
    Language, logic, and mathematics.Cliff W. Kilmister - 1967 - New York,: Barnes & Noble.
  10.  37
    Foundations of Logic and Mathematics. [REVIEW]E. N. - 1939 - Journal of Philosophy 36 (23):636-637.
  11. Symbolic logic, method and development.Henry Bradford Smith - 1927 - New York,: F. S. Crofts & Co..
  12. Logical Foundations of Mathematics for Behavioral Scientists [by] Abraham S. Luchins [and] Edith H. Luchins. --.Abraham S. Luchins - 1965 - Holt, Rinehart and Winston.
  13. 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  
  14.  21
    Logic, methodology, and philosophy of science.Ernest Nagel (ed.) - 1962 - Stanford, Calif.,: Stanford University Press.
  15.  43
    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  
  16.  9
    Logic, methodology and philosophy of science.Yehoshua Bar-Hillel (ed.) - 1965 - Amsterdam,: North-Holland Pub. Co..
  17. 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  
  18. 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   103 citations  
  19.  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.
  20.  5
    Philosophical Approaches to the Foundations of Logic and Mathematics: In Honor of Professor 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  
  21. Logic, Methodology, and Philosophy Proceedings.Yehoshua Bar-Hillel, Jerusalem, Akademyah Ha-le Umit Ha-Yi Sre Elit le-Mada Im & International Union of the History and Philosophy of Science - 1965 - North-Holland Pub. Co.
  22.  4
    Logic, computers, and sets.Hao Wang - 1962 - New York,: Chelsea Pub. Co..
  23.  59
    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
    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  
  24. 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  
  25. Logic, Methodology, and Philosophy of Science Proceedings.Ernest Nagel & International Union of the History and Philosophy of Science - 1962 - Stanford University Press.
  26.  4
    Logic: theory and practice.M. K. Rennie - 1973 - Brisbane,: University of Queensland Press. Edited by Roderick A. Girle.
  27. Two Papers on Symbolic Logic Form and Content in Quantification Theory and Reductions in the Theory of Types.Jaakko Hintikka - 1955 - [Suomalaisen Kirjallisuuden Seuran Kirjapainon,].
     
    Export citation  
     
    Bookmark  
  28. 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.
  29. 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 (...)
  30.  58
    Logic, meaning, and computation: essays in memory of Alonzo Church.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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  31.  38
    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   8 citations  
  32.  7
    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  
  33.  4
    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.
  34.  18
    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.
  35.  50
    Logic and philosophy of mathematics in the early Husserl.Stefania Centrone - 2009 - 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   23 citations  
  36. 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
  37.  1
    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
  38.  4
    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  
  39. Internal Logic Foundations of Mathematics From Kronecker to Hilbert.Yvon Gauthier - 2002
  40.  13
    Kolmogorov and mathematical logic.Vladimir A. Uspensky - 1992 - Journal of Symbolic Logic 57 (2):385-412.
  41. Logic, Methodology and Philosophy of Science Proceedings of the 1964 International Congress. Edited by Yehoshua Bar-Hillel.Yehoshua Bar-Hillel & Universitah Ha- Ivrit Bi-Yerushalayim - 1965 - North-Holland Pub. Co.
  42.  50
    Logic, action, and information: essays on logic in philosophy and artificial intelligence.André Fuhrmann & Hans Rott (eds.) - 1996 - New York: 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  
     
    Bookmark   1 citation  
  43.  1
    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  
  44.  18
    Mathematical logic and computation.Jeremy Avigad - 2023 - Boca Raton: Cambridge University Press.
    Every branch of mathematics has its subject matter, and one of the distinguishing features of logic is that so many of its fundamental objects of study are rooted in language. The subject deals with terms, expressions, formulas, theorems, and proofs. When we speak about these notions informally, we are talking about things that can be written down and communicated with symbols. One of the goals of mathematical logic is to introduce formal definitions that capture our intuitions about such objects (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  7
    Aristotelian and Mathematical Logic.Johannes Bendiek - 1951 - Journal of Symbolic Logic 16 (2):149-149.
  46.  2
    Logic, methodology and philosophy of science.Patrick Suppes (ed.) - 1973 - New York,: American Elsevier Pub. Co..
  47.  2
    Mathematical logic, the theory of algorithms, and the theory of sets.S. I. Adi︠a︡n (ed.) - 1977 - Providence, R.I.: 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  
  48.  23
    Models and computability: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997.S. B. Cooper & J. K. Truss (eds.) - 1999 - New York: Cambridge University Press.
    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  
     
    Export citation  
     
    Bookmark  
  49.  39
    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 (...)
  50.  6
    Mathematical logic and formalized theories.Robert Rogers - 1971 - Amsterdam,: North-Holland Pub. Co..
1 — 50 / 1000