Results for ' Mathematical Logic and Foundations'

985 found
Order:
  1.  56
    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  
  2. Mathematical Logic and Foundations of Set Theory. Y. Bar-Hillel - 1972 - Synthese 23 (4):491-493.
    No categories
     
    Export citation  
     
    Bookmark  
  3.  4
    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  
  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.  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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  9
    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. 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.  13
    Mathematical Logic and the Foundations of Mathematics.E. J. Cogan - 1964 - British Journal for the Philosophy of Science 15 (59):268-270.
  9. 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  
  10.  10
    Mathematical logic and the foundations of mathematics.R. L. Goodstein - 1963 - Philosophical Books 4 (2):8-9.
  11.  71
    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 ...
  12.  1
    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  
  13. Logic and foundations of science.Jean-Louis Destouches, Evert Willem Beth & Institut Henri Poincaré (eds.) - 1968 - Dordrecht,: D. Reidel.
  14.  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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  8
    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  
  16.  12
    Contemporary Philosophy: Vol. I: Logic and Foundations of Mathematics.N. G. E. Harris & Raymond Klibansky - 1970 - Philosophical Quarterly 20 (79):183.
  17.  19
    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.
  18.  17
    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  
  19.  41
    Foundations of Logic and Mathematics.Rudolf Carnap - 1937 - Chicago, IL, USA: U. Of Chicago P.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   110 citations  
  20.  5
    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.
  21.  6
    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  
  22. 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  
  23. Logic and the foundations of mathematics.Danielle Macbeth - 2008 - In Cheryl Misak (ed.), The Oxford Handbook of American Philosophy. Oxford University Press.
  24. 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   113 citations  
  25.  59
    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  
  26.  17
    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.
  27.  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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  7
    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
  29.  6
    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  
  30.  66
    IF logic and the foundations of mathematics.Gabriel Sandu & Tapani Hyttinen - 2001 - Synthese 126 (1-2):37-47.
  31.  11
    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  
  32.  44
    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  
  33.  8
    On Turing’s legacy in mathematical logic and the foundations of mathematics.Joan Bagaria - 2013 - Arbor 189 (764):a079.
  34.  22
    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  
  35.  67
    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  
  36.  25
    Selected Papers in Logic and Foundations, Didactics, Economics.Michael Hallett & Karl Menger - 1981 - Philosophical Quarterly 31 (122):92.
  37.  20
    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  
  38. Inductive Logic and the Foundations of Probability Theory: A Revaluation of Carnap's Program.Maria Concetta Di Maio - 1992 - Dissertation, Princeton University
    In this thesis I defend and pursue that line about the foundations of probability theory which has come to be known as "the logicist view about probability", and, in particular, the shape which it took in Carnap's Inductive Logic. ;Most philosophers who now deal with probability theory claim that Carnap's program of Inductive Logic has failed. The main aim of my thesis is to show that this judgment is based on a fundamental misunderstanding about the nature and (...)
     
    Export citation  
     
    Bookmark   1 citation  
  39. 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   101 citations  
  40.  22
    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  
  41.  23
    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.
  42.  42
    Foundations of Logic and Mathematics. [REVIEW]E. N. - 1939 - Journal of Philosophy 36 (23):636-637.
  43. 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.
  44.  2
    Foundations of logic and mathematics.Ernest Bloomfield Zeisler - 1955 - Chicago,: A.J. Isaacs.
  45.  27
    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  
  46.  15
    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.
  47.  34
    Mathematical logic.Heinz-Dieter Ebbinghaus - 1996 - New York: Springer. Edited by Jörg Flum & Wolfgang Thomas.
    This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   46 citations  
  48.  35
    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.
  49.  31
    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  
  50.  11
    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]Hans Sluga - 1997 - Erkenntnis 46 (3):407-410.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 985