Results for 'Mathematical Logic and Foundations'

1000+ found
Order:
  1. Mathematical Logic and Foundations of Set Theory. Y. Bar-Hillel - 1972 - Synthese 23 (4):491-493.
    No categories
     
    Export citation  
     
    Bookmark  
  2.  52
    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.  1
    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. [REVIEW]Yehoshua Bar-Hillel (ed.) - 1970 - Amsterdam and London: North-Holland.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4. Mathematical Logic and the Foundations of Mathematics: An Introductory Survey.G. T. Kneebone - 1963 - New York, NY, USA: 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   9 citations  
  5. 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   49 citations  
  6. 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.  54
    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   8 citations  
  8.  13
    Mathematical Logic and the Foundations of Mathematics.E. J. Cogan - 1964 - British Journal for the Philosophy of Science 15 (59):268-270.
  9.  7
    Logic and Foundations of Mathematics in Frege's Philosophy.Hans D. Sluga (ed.) - 1993 - 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  
  10. Logic and Foundations of Mathematics.D. van Dalen, J. G. Dijkman, A. Heyting, Stephen Cole Kleene & A. S. Troelstra - 1968 - Wolters-Noordhoff.
  11.  9
    Mathematical Logic and the Foundations of Mathematics.R. L. Goodstein - 1963 - Philosophical Books 4 (2):8-9.
  12.  39
    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  
  13.  12
    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.
  14.  9
    Contemporary Philosophy . Volume I, Logic and Foundations of Mathematics. [REVIEW]H. K. R. - 1970 - Review of Metaphysics 23 (3):570-571.
    This is the first of a number of volumes designed to review the philosophical work which has been done in various areas of philosophy between the years 1956 and 1966. It succeeds an earlier three volume publication entitled Philosophy in the Mid-Century which covered the period from 1949 to 1955. This first volume in the series covers the fields of logic, philosophical logic, foundations and philosophy of mathematics. For anyone interested in these fields, the book is an (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. 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.  14
    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  
  17.  24
    Foundations of Logic and Mathematics.Rudolf Carnap - 1937 - Chicago, IL, USA: U. Of Chicago P.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   99 citations  
  18.  11
    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.
  19.  7
    Contemporary Philosophy: Vol. I: Logic and Foundations of Mathematics.N. G. E. Harris & Raymond Klibansky - 1970 - Philosophical Quarterly 20 (79):183.
  20.  36
    Foundations of Logic and Mathematics. [REVIEW]E. N. - 1939 - Journal of Philosophy 36 (23):636-637.
  21. 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.
  22.  64
    IF Logic and the Foundations of Mathematics.Gabriel Sandu & Tapani Hyttinen - 2001 - Synthese 126 (1):37-47.
  23. 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   102 citations  
  24.  99
    Foundations of Mathematical Logic.Haskell Brooks Curry - 1963 - New York, NY, USA: 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   96 citations  
  25. Logic and Foundations of Science.Jean-Louis Destouches, Evert Willem Beth & Institut Henri Poincaré (eds.) - 1968 - Dordrecht: D. Reidel.
  26. The Theory of Probability: An Inquiry Into the Logical and Mathematical Foundations of the Calculus of Probability.Hans Reichenbach - 1949 - Berkeley: University of California Press.
    We must restrict to mere probability not only statements of comparatively great uncertainty, like predictions about the weather, where we would cautiously ...
    Direct download  
     
    Export citation  
     
    Bookmark   217 citations  
  27.  63
    Computability: Computable Functions, Logic, and the Foundations of Mathematics.Richard L. Epstein - 1989
    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  
  28.  17
    Contemporary Philosophy (La Philosophie Contemporaine). Volume I, Logic and Foundations of Mathematics.R. H. K. - 1970 - Review of Metaphysics 23 (3):570-571.
    This is the first of a number of volumes designed to review the philosophical work which has been done in various areas of philosophy between the years 1956 and 1966. It succeeds an earlier three volume publication entitled Philosophy in the Mid-Century which covered the period from 1949 to 1955. This first volume in the series covers the fields of logic, philosophical logic, foundations and philosophy of mathematics. For anyone interested in these fields, the book is an (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  1
    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.
  30.  9
    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  
  31.  3
    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  
  32.  20
    Selected Papers in Logic and Foundations, Didactics, Economics.Michael Hallett & Karl Menger - 1981 - Philosophical Quarterly 31 (122):92.
  33.  29
    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  
  34.  29
    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.
  35. Computability. Computable Functions, Logic, and the Foundations of Mathematics. [REVIEW]R. Zach - 2002 - History and Philosophy of Logic 23 (1):67-69.
    Epstein and Carnielli's fine textbook on logic and computability is now in its second edition. The readers of this journal might be particularly interested in the timeline `Computability and Undecidability' added in this edition, and the included wall-poster of the same title. The text itself, however, has some aspects which are worth commenting on.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  35
    Rafał Urbaniak. Leśniewski’s Systems of Logic and Foundations of Mathematics.Rafał Urbaniak & Peter Simons - forthcoming - Philosophia Mathematica:nkw031.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  24
    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  
  38.  38
    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.
  39.  17
    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  
  40. Logic and the Foundations of Mathematics.Danielle Macbeth - 2008 - In Cheryl Misak (ed.), The Oxford Handbook of American Philosophy. Oxford University Press.
  41.  29
    J. C. E. Dekker. Regressive Isols. 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. 272–296. [REVIEW]C. E. Bredlau - 1969 - Journal of Symbolic Logic 34 (3):519-519.
  42.  16
    Hintikka Jaakko. A Two-Dimensional Continuum of Inductive Methods. Aspects of Inductive Logic, Edited by Hintikka Jaakko and Suppes Patrick, Studies in Logic and Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1966, Pp. 113–132. [REVIEW]Ian Hacking - 1970 - Journal of Symbolic Logic 35 (3):455.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  1
    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  
  44.  31
    Mostowski Andrzej. Thirty Years of Foundational Studies. Lectures on the Development of Mathematical Logic and the Study of the Foundations of Mathematics in 1930–1964. Acta Philosophica Fennica, No. 17, Helsinki 1965, and Barnes & Noble, Inc., New York 1966, 180 Pp.; Second Printing, Helsinki 1967, 180 Pp. [REVIEW]Abraham Robinson - 1968 - Journal of Symbolic Logic 33 (1):111-112.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  19
    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  
  46.  19
    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
    C. E. M. Yates. Recursively Enumerable Degrees and the Degrees Less Than 0. 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. 264–271. [REVIEW]S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (4):589-589.
  48.  6
    On Turing’s Legacy in Mathematical Logic and the Foundations of Mathematics.Joan Bagaria - 2013 - Arbor 189 (764):a079.
  49. Foundations of Logic and Mathematics.Ernest Bloomfield Zeisler - 1955 - Chicago: A.J. Isaacs.
  50.  16
    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  
1 — 50 / 1000