Results for ' Mathematical Logic and Foundations'

949 found
Order:
  1.  7
    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  
  2.  61
    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  
  3.  19
    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  
  4. 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  
  5. Mathematical Logic and Foundations of Set Theory. Y. Bar-Hillel - 1972 - Synthese 23 (4):491-493.
    No categories
     
    Export citation  
     
    Bookmark  
  6.  12
    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  
  7. Logic and foundations of mathematics.D. van Dalen, J. G. Dijkman, A. Heyting, Stephen Cole Kleene & A. S. Troelstra (eds.) - 1969 - Groningen,: Wolters-Noordhoff.
  8.  22
    Mathematical logic and the foundations of mathematics.R. L. Goodstein - 1963 - Philosophical Books 4 (2):8-9.
  9.  95
    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  
  10. 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   52 citations  
  11. 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  
  12.  14
    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  
  13.  55
    Foundations of Logic and Mathematics.Rudolf Carnap - 1937 - Chicago, IL, USA: U. Of Chicago P.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   136 citations  
  14. 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  
  15.  77
    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  
  16.  11
    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.
  17.  53
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18. Logic and foundations of science.Jean-Louis Destouches & Evert Willem Beth (eds.) - 1968 - Dordrecht,: D. Reidel.
  19.  74
    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  
  20.  36
    Mathematical Logic: On Numbers, Sets, Structures, and Symmetry.Roman Kossak - 2018 - Cham: Springer Verlag.
    This textbook is a second edition of the successful, Mathematical Logic: On Numbers, Sets, Structures, and Symmetry. It retains the original two parts found in the first edition, while presenting new material in the form of an added third part to the textbook. The textbook offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions. Part I, Logic Sets, and Numbers, shows how (...)
    No categories
  21.  12
    (1 other version)Philosophical and Mathematical Logic.Harrie de Swart - 2014 - Cham: Springer Verlag.
    Having studied mathematics, in particular foundations and philosophy of mathematics, it happened that I was asked to teach logic to the students in the Faculty of Philosophy of the Radboud University Nijmegen. It was there that I discovered that logic is much more than just a mathematical discipline consisting of definitions, theorems and proofs, and that logic can and should be embedded in a philosophical context. After ten years of teaching logic at the Faculty (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  26
    Selected Papers in Logic and Foundations, Didactics, Economics. [REVIEW]P. G. - 1982 - Review of Metaphysics 35 (4):887-888.
    This is volume ten in Reidel's Vienna Circle Collection. Twenty-six papers written during the period 1921-1978 are included, together with a bibliography of the author's works, a list of his principal dates, and a list of his fields of research. Seven papers are on logic and foundations of mathematics, twelve have to do with the improvement of mathematical notation and the teaching of mathematics, four are concerned with philosophical ramifications of geometric ideas, one is memoir about the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  16
    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  
  24.  81
    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.
  25. IF logic and the foundations of mathematics.Gabriel Sandu & Tapani Hyttinen - 2001 - Synthese 126 (1-2):37-47.
  26.  66
    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  
  27. (1 other version)Contemporary Philosophy. La philosophie contemporaine. A survey. Chroniques. Vol. I : Logic and Foundations of Mathematics. Logique et fondements des mathématiques. Vol. II : Philosophy of Science. Philosophie des sciences. [REVIEW]R. Klibansky - 1970 - Tijdschrift Voor Filosofie 32 (3):543-546.
    No categories
     
    Export citation  
     
    Bookmark  
  28.  16
    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
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  23
    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  
  30.  11
    Foundations of logic and mathematics.Ernest Bloomfield Zeisler - 1955 - Chicago,: A.J. Isaacs.
  31.  14
    A. Heyting. Intuitionism in mathematics. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I, Logique et fondements des mathématiques), edited by Raymond Klibansky, La Nuova Italia Editrice, Florence1968, pp. 316–323. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (3):472-472.
  32.  22
    On Turing’s legacy in mathematical logic and the foundations of mathematics.Joan Bagaria - 2013 - Arbor 189 (764):a079.
  33.  75
    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  
  34.  24
    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  
  35. 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   105 citations  
  36.  22
    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  
  37.  82
    A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
    A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   72 citations  
  38.  29
    On Infinitesimals and Indefinitely Cut Wooden Sticks: A Chinese Debate on ‘Mathematical Logic’ and Russell’s Introduction to Mathematical Philosophy from 1925.Jan Vrhovski - 2021 - History and Philosophy of Logic 42 (3):262-280.
    In the years following Bertrand Russell's visit in China, fragments from his work on mathematical logic and the foundations of mathematics started to enter the Chinese intellectual world. While up...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  44
    Contemporary Philosophy: La Philosophie contemporaine; Vol. I, Logic and Foundations of Mathematics. Edited by Raymond Klibansky. Florence: La Nuova Italia Editrice; Montreal: Mario Casalini Ltd. Pp. xi, 387. $9.80. [REVIEW]Alex C. Michalos - 1969 - Dialogue 8 (2):326-328.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  40.  10
    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  
  41.  39
    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.  51
    On the mathematical and foundational significance of the uncountable.Dag Normann & Sam Sanders - 2019 - Journal of Mathematical Logic 19 (1):1950001.
    We study the logical and computational properties of basic theorems of uncountable mathematics, including the Cousin and Lindelöf lemma published in 1895 and 1903. Historically, these lemmas were among the first formulations of open-cover compactness and the Lindelöf property, respectively. These notions are of great conceptual importance: the former is commonly viewed as a way of treating uncountable sets like e.g. [Formula: see text] as “almost finite”, while the latter allows one to treat uncountable sets like e.g. [Formula: see text] (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  43.  30
    Historical and Foundational Details on the Method of Infinite Descent: Every Prime Number of the Form 4 n + 1 is the Sum of Two Squares.Paolo Bussotti & Raffaele Pisano - 2020 - Foundations of Science 25 (3):671-702.
    Pierre de Fermat is known as the inventor of modern number theory. He invented–improved many methods useful in this discipline. Fermat often claimed to have proved his most difficult theorems thanks to a method of his own invention: the infinite descent. He wrote of numerous applications of this procedure. Unfortunately, he left only one almost complete demonstration and an outline of another demonstration. The outline concerns the theorem that every prime number of the form 4n + 1 is the sum (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  44. Hans Sluga (ed.), The philosophy of Frege. A four-volume collection of scholarly articles on all aspects of Frege's philosophy, vol.1: General assessments and historical accounts of Frege's philosophy, vol.2: Logic and foundations of mathematics in Frege's philosophy, vol.3: Meaning and ontology in Frege's philosophy, vol.4: Sense and reference in Frege's philosophy. [REVIEW]Jan Wolenński - 1997 - Erkenntnis 46 (3):407-410.
  45.  57
    Gerald E. Sacks. Metarecursively enumerable sets and admissible ordinals. Bulletin of the American Mathematical Society, vol. 72 , pp. 59–64. - Gerald E. Sacks. Post's problem, admissible ordinals, and regularity. Transactions of the American Mathematical Society, vol. 124 , pp. 1–23. - Gerald E. Sacks. Metarecursion theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 243–263. - Graham C. DriscollJr., Metarecursively enumerable sets and their metadegrees. The Journal of symbolic logic, vol. 33 , pp. 389–11. [REVIEW]Richard A. Platek - 1969 - Journal of Symbolic Logic 34 (1):115-116.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  35
    Ackermann Wilhelm. Philosophische Bemerkungen zur mathematischen Logik und zur mathematischen Grundlagenforschung. Ratio , vol. 1 no. 1 , pp. 1–20.Ackermann Wilhelm. Philosophical observations on mathematical logic and on investigations into the foundations of mathematics. English translation. Ratio , vol. 1 no. 1 , pp. 1–23. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (3):342-343.
  47.  12
    Hilary Putnam on Logic and Mathematics.John Burgess (ed.) - 2018 - Cham: Springer Verlag.
    This book explores the research of Professor Hilary Putnam, a Harvard professor as well as a leading philosopher, mathematician and computer scientist. It features the work of distinguished scholars in the field as well as a selection of young academics who have studied topics closely connected to Putnam's work. It includes 12 papers that analyze, develop, and constructively criticize this notable professor's research in mathematical logic, the philosophy of logic and the philosophy of mathematics. In addition, it (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  17
    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.
  49. Shôji Maehara. Logic in Japan. Contemporary philosophy, A survey, I, Logic and foundations of mathematics , edited by Raymond Klibansky, La Nuova Italia Editrice, Florence1968, pp. 228–231. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (3):472.
  50.  40
    (1 other version)Karp Carol. A proof of the relative consistency of the continuum hypothesis. 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. 1–32. [REVIEW]Leslie H. Tharp - 1970 - Journal of Symbolic Logic 35 (2):344-345.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 949