Results for 'Mathematical Logic and Foundations'

985 found
Order:
  1.  68
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Mathematical Logic and Foundations of Set Theory. Y. Bar-Hillel - 1972 - Synthese 23 (4):491-493.
    No categories
     
    Export citation  
     
    Bookmark  
  3.  58
    Mathematical logic and foundations of set theory.Yehoshua Bar-Hillel (ed.) - 1970 - Amsterdam,: North-Holland Pub. Co..
    LN , so f lies in the elementary submodel M'. Clearly co 9 M' . It follows that 6 = {f(n): n em} is included in M'. Hence the ordinals of M' form an initial ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  5
    Mathematical Logic and Foundations of Set Theory: Proceedings of an International Colloquium Under the Auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.Yehoshua Bar-Hillel (ed.) - 1970 - Amsterdam and London: North-Holland.
    This volume comprises seven of the eight addresses presented before the International Colloquium on Mathematical Logic and Foundations of Set theory held at the Acadmey Building in Jerusalem, Israel, On November 11-14, 1968.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5. 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  
  6.  13
    Logic and foundations of mathematics in Frege's philosophy.Hans D. Sluga (ed.) - 1993 - New York: Garland.
    The four volumes of this collection bring together some of the major contributions to the literature on Gottlob Frege (1848-1925), one of the most formative influences on the course of philosophy during the last hundred years. The first volume provided general assessments of Frege's work and examined its historical context. The present volume deals with Frege's contributions to logic and the foundations of mathematics. The essays are arranged in order of their first publication, providing insight into the historical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  8
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  17
    Mathematical Logic and the Foundations of Mathematics.E. J. Cogan - 1964 - British Journal for the Philosophy of Science 15 (59):268-270.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  9. Logic and foundations of mathematics.D. van Dalen, J. G. Dijkman, A. Heyting, Stephen Cole Kleene & A. S. Troelstra (eds.) - 1969 - Groningen,: Wolters-Noordhoff.
  10.  11
    Mathematical logic and the foundations of mathematics.R. L. Goodstein - 1963 - Philosophical Books 4 (2):8-9.
  11. Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
    We discuss the differences between first-order set theory and second-order logic as a foundation for mathematics. We analyse these languages in terms of two levels of formalization. The analysis shows that if second-order logic is understood in its full semantics capable of characterizing categorically central mathematical concepts, it relies entirely on informal reasoning. On the other hand, if it is given a weak semantics, it loses its power in expressing concepts categorically. First-order set theory and second-order (...) are not radically different: the latter is a major fragment of the former. (shrink)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  12.  87
    Leśniewski's Systems of Logic and Foundations of Mathematics.Rafal Urbaniak - 2013 - Cham, Switzerland: Springer.
    With material on his early philosophical views, his contributions to set theory and his work on nominalism and higher-order quantification, this book offers a uniquely expansive critical commentary on one of analytical philosophy’s great ...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  13.  20
    Philosophical Observations on Mathematical Logic and on Investigations into the Foundations of Mathematics.Wilhelm Ackermann - 1958 - Journal of Symbolic Logic 23 (3):342-343.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. Studies in Logic and Foundations of Mathematics. Volume 74: Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971.Patrick Suppes, Leon Henkin, Joja Athanase & G. Moisil (eds.) - 1973 - Elsevier.
    No categories
     
    Export citation  
     
    Bookmark  
  15.  4
    Contemporary Philosophy, Vol. 1: Logic and Foundations of Mathematics.Raymond Klibansky (ed.) - 1968 - Florence, Italy: La Nuova Italia.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  25
    The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996.Yuzuru Kakuda, Kanji Namba & Nobuyoshi Motohashi - 1997 - Annals of the Japan Association for Philosophy of Science 9 (2):95-110.
  17.  17
    Contemporary Philosophy: Vol. I: Logic and Foundations of Mathematics.N. G. E. Harris & Raymond Klibansky - 1970 - Philosophical Quarterly 20 (79):183.
  18.  23
    Hypothetical Reasoning: Studies in Logic and the Foundations of Mathematics.Nicholas Rescher - 1968 - Philosophical Review 77 (1):112-114.
  19.  8
    Nomological Statements and Admissible Operations: Studies in Logic and the Foundations of Mathematics.Hans Reichenbach - 1955 - British Journal for the Philosophy of Science 5 (20):343-344.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  62
    Kenneth Kunen, The Foundations of Mathematics, Studies in Logic, Mathematical Logic and Foundations, vol. 19. College Publications, London, 2009, vii + 251 pp. [REVIEW]Steffen Lempp - 2016 - Bulletin of Symbolic Logic 22 (2):287-288.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  23
    Rabin Michael O.. Weakly definable relations and special automata. Mathematical logic and foundations of set theory, Proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968, edited by Bar-Hillel Yehoshua, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1970, pp. 1–23. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):622-623.
  22.  7
    Thirty Years of Foundational Studies Lectures on the Development of Mathematical Logic and the Study of the Foundations of Mathematics in 1930-1964.Andrzej Mostowski - 1965 - New York, NY, USA: Blackwell.
  23. Logic and foundations of science.Jean-Louis Destouches & Evert Willem Beth (eds.) - 1968 - Dordrecht,: D. Reidel.
  24. Thirty Years of Foundational Studies, Lectures on the Development of Mathematical Logic and the Study of the Foundations of Mathematics in 1930-1964.Andrzej Mostowski - 1968 - Studia Logica 22:169-170.
     
    Export citation  
     
    Bookmark   2 citations  
  25.  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  
  26.  8
    Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming.Krzysztof R. Apt & Association for Logic Programming - 1992 - MIT Press (MA).
    The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  11
    Mathematical Logic and Natural Language: Life at the border.Benedikt Lowe & Thoralf Rasch Malzkorn - 2003 - In Benedikt Löwe, Thoralf Räsch & Wolfgang Malzkorn (eds.), Foundations of the Formal Sciences II. Kluwer Academic Publishers.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  73
    IF logic and the foundations of mathematics.Gabriel Sandu & Tapani Hyttinen - 2001 - Synthese 126 (1-2):37-47.
  29.  50
    Foundations of Logic and Mathematics.Rudolf Carnap - 1937 - Chicago, IL, USA: U. Of Chicago P.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   107 citations  
  30.  8
    Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym & Eike Ritter - 2004 - New York: Oxford University Press. Edited by Eike Ritter.
    This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  70
    Computability: Computable Functions, Logic, and the Foundations of Mathematics.Richard L. Epstein - 2004
    This book is dedicated to a classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century, while presenting the basic ideas of whole number, function, proof, and real number. Part II starts with readings from Turing and Post leading to the formal theory of recursive functions. Part III presents (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  32.  13
    Bibliography of Soviet work in the field of mathematical logic and the foundations of mathematics, from 1917--1957.Guido Küng - 1962 - Notre Dame Journal of Formal Logic 3 (1):1-40.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  59
    Rafał Urbaniak. Leśniewski’s Systems of Logic and Foundations of Mathematics.Rafał Urbaniak & Peter Simons - forthcoming - Philosophia Mathematica:nkw031.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. Logic and the foundations of mathematics.Danielle Macbeth - 2008 - In Cheryl Misak (ed.), The Oxford handbook of American philosophy. New York: Oxford University Press.
  36.  14
    On Turing’s legacy in mathematical logic and the foundations of mathematics.Joan Bagaria - 2013 - Arbor 189 (764):a079.
  37.  30
    Selected Papers in Logic and Foundations, Didactics, Economics.Michael Hallett & Karl Menger - 1981 - Philosophical Quarterly 31 (122):92.
  38. Foundations of Logic and Mathematics.Rudolf Carnap - 1939 - In Otto Neurath, Rudolf Carnap & Charles Morris (eds.), International Encyclopedia of Unified Science. University of Chicago Press. pp. 139--213.
    No categories
     
    Export citation  
     
    Bookmark   115 citations  
  39.  11
    Mathematical logic: foundations for information science.Wei Li - 2014 - New York ;: Birkhäuser.
    Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  10
    Selected Papers in Logic and Foundations, Didactics, Economics.Karl Menger - 1978 - Dordrecht and Boston: Reidel.
    This volume brings together those papers of mine which may be of interest not only to various specialists but also to philosophers. Many of my writings in mathematics were motivated by epistemological considerations; some papers originated in the critique of certain views that at one time dominated the discussions of the Vienna Cirele; others grew out of problems in teaching fundamental ideas of mathematics; sti II others were occasioned by personal relations with economists. Hence a wide range of subjects will (...)
    No categories
  41.  25
    Computability. Computable Functions, Logic, and the Foundations of Mathematics.Richard L. Epstein & Walter A. Carnielli - 2002 - Bulletin of Symbolic Logic 8 (1):101-104.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  42.  21
    John Myhill. The formalization of intuitionism. Contemporary philosophy, A survey, I, Logic and foundations of mathematics , edited by Raymond Klibansky, La Nuova Italia Editrice, Florence 1968, pp. 324–341. [REVIEW]Joan Rand Moschovakis - 1975 - Journal of Symbolic Logic 40 (4):625.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  13
    Foundations of Logic and Mathematics.M. Kokoszyńska - 1939 - Journal of Symbolic Logic 4 (3):117-118.
    Direct download  
     
    Export citation  
     
    Bookmark   32 citations  
  44. A concise introduction to mathematical logic.Wolfgang Rautenberg - 2006 - New York, NY: 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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  45.  44
    Jensen R. B.. Concrete models of set theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by Crossley John N., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 44–74. [REVIEW]Frank R. Drake - 1970 - Journal of Symbolic Logic 35 (3):472-473.
  46.  10
    Foundations of logic and mathematics.Ernest Bloomfield Zeisler - 1955 - Chicago,: A.J. Isaacs.
  47.  8
    Five papers on logic and foundations.G. S. Ceitin (ed.) - 1971 - Providence, R.I.,: American Mathematical Society.
    Markov, A. A. On constructive mathematics.--Ceĭtin, G. S. Mean value theorems in constructive analysis.--Zaslavskiĭ, I. D. and Ceĭtlin, G. S. On singular coverings and properties of constructive functions connected with them.--Maslov, S. Ju. Certain properties of E. L. Post's apparatus of canonical calculi.--Zaslavskiĭ, I. D. Graph schemes with memory.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  51
    Barendregt H. P.. The lambda calculus. Its syntax and semantics. Studies in logic and foundations of mathematics, vol. 103. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xiv + 615 pp. [REVIEW]E. Engeler - 1984 - Journal of Symbolic Logic 49 (1):301-303.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.
    Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   104 citations  
  50.  9
    Computability. Computable Functions, Logic, and the Foundations of Mathematics. Second Edition of the Preceding.Carlos Augusto Di Prisco, Richard L. Epstein & Walter A. Carnielli - 2002 - Bulletin of Symbolic Logic 8 (1):101.
1 — 50 / 985