Results for ' Logic, Symbolic and mathematical'

1000+ found
Order:
  1.  2
    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.  41
    Foundations of Logic and Mathematics.Rudolf Carnap - 1937 - Chicago, IL, USA: U. Of Chicago P.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   105 citations  
  3.  11
    Dictionary of symbols of mathematical logic.Robert Feys (ed.) - 1969 - Amsterdam,: North-Holland Pub. Co..
  4. 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  
  5.  2
    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  
  6.  4
    Logic Colloquium '73: Proceedings of the Logic Colloquium, Bristol, July 1973.H. E. Rose, J. C. Shepherdson & Association for Symbolic Logic - 1975 - North-Holland.
  7.  2
    Logic and Combinatorics: Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference Held August 4-10, 1985.Stephen G. Simpson, American Mathematical Society, Institute of Mathematical Statistics & Society for Industrial and Applied Mathematics - 1987 - American Mathematical Soc..
    In recent years, several remarkable results have shown that certain theorems of finite combinatorics are unprovable in certain logical systems. These developments have been instrumental in stimulating research in both areas, with the interface between logic and combinatorics being especially important because of its relation to crucial issues in the foundations of mathematics which were raised by the work of Kurt Godel. Because of the diversity of the lines of research that have begun to shed light on these issues, there (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  8. Compound statements and mathematical logic.Vincent E. Cangelosi - 1967 - Columbus, Ohio,: C.E. Merrill Books.
  9.  3
    Language, logic, and mathematics.Cliff W. Kilmister - 1967 - New York,: Barnes & Noble.
  10.  61
    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  
  11. Symbolic logic, method and development.Henry Bradford Smith - 1927 - New York,: F. S. Crofts & Co..
  12.  69
    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  
  13.  11
    Mathematical logic and Hilbert's & symbol.A. C. Leisenring - 1969 - London,: Macdonald Technical & Scientific.
  14. 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  
  15. Logic, Methodology, and Philosophy of Science Proceedings.Ernest Nagel & International Union of the History and Philosophy of Science - 1962 - Stanford University Press.
  16. 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.
  17.  42
    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  
  18.  2
    Foundations of logic and mathematics.Ernest Bloomfield Zeisler - 1955 - Chicago,: A.J. Isaacs.
  19. 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  
  20. Logical Foundations of Mathematics for Behavioral Scientists [by] Abraham S. Luchins [and] Edith H. Luchins. --.Abraham S. Luchins - 1965 - Holt, Rinehart and Winston.
  21. 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  
  22.  9
    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  
  23.  2
    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  
  24.  18
    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.
  25. 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.
  26.  58
    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  
  27.  1
    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  
  28.  41
    Foundations of Logic and Mathematics. [REVIEW]E. N. - 1939 - Journal of Philosophy 36 (23):636-637.
  29.  62
    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  
  30.  7
    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 the Barber-shop Paradox.Lewis Carroll & William Warren Bartley - 1977 - Clarkson Potter Publishers.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  14
    Kolmogorov and mathematical logic.Vladimir A. Uspensky - 1992 - Journal of Symbolic Logic 57 (2):385-412.
  32. 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 (...)
  33.  14
    Logic, methodology and philosophy of science.Yehoshua Bar-Hillel (ed.) - 1965 - Amsterdam,: North-Holland Pub. Co..
  34.  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  
  35.  7
    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.
  36.  26
    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.
  37.  2
    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,].
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  7
    Logic, computers, and sets.Hao Wang - 1962 - New York,: Chelsea Pub. Co..
  39.  47
    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  
  40.  4
    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  
  41.  3
    Symbolic Logic and its Applications.Hugh MacColl - 1906 - London, England: Longmans, Green.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  42.  41
    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 (...)
  43.  54
    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  
  44.  3
    Logic, Methodology and Philosophy of Science: Proceedings.Patrick Suppes (ed.) - 1973 - New York,: North-Holland.
  45.  36
    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   2 citations  
  46.  3
    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
  47.  6
    Logic: theory and practice.M. K. Rennie - 1973 - Brisbane,: University of Queensland Press. Edited by Roderick A. Girle.
  48.  27
    Logic, methodology, and philosophy of science.Ernest Nagel (ed.) - 1962 - Stanford, Calif.,: Stanford University Press.
  49. Phenomenology, Logic, and the Philosophy of Mathematics.Richard L. Tieszen - 2005 - New York: 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.  36
    Temporal Logic: Mathematical Foundations and Computational Aspects.Dov M. Gabbay, Ian Hodkinson & Mark A. Reynolds - 1994 - Oxford University Press on Demand.
    This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on to cover predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. With its inclusion of cutting-edge results and unifying methodologies, this book is an indispensable reference (...)
    Direct download  
     
    Export citation  
     
    Bookmark   38 citations  
1 — 50 / 1000