‎"CARNAP, RUDOLF.‎
‎Foundations of Logic and Mathematics.‎

‎Foundations of Logic and Mathematics.‎

‎Chicago, The University of Chicago Press, (1939). 8vo. In the original blue printed wrappers. A very nice and clean copy - near mint. VIII, 71 pp.‎

‎First printing of Carnap's seminal publication of his semantical period. Here Carnap presents a clear and detailed account of the application of logic and mathematics in empirical science and the central importance of the analytic/synthetic distinction herein.Carnap thought that the logic of science could be fruitfully applied to the problems of quantum theory as well. In particular, the final sections of Foundations of Logic and Mathematics (1939, 24, 25) suggest that the vexed question of the ""interpretation"" of the wave-function can be resolved by appreciating that theories of modern mathematical physics operate with ""abstract"" terms which are implicitly defined, in the manner of Hilbert, in an axiomatic system (and thus require no ""intuitive"" or ""visualizable"" meaning) but which still relate to empirical phenomena (experimental measurements) indirectly. (Cambridge Companion to Carnap).These thoughts anticipate Carnap's later conception of the ""partial interpretation"" of theoretical terms.Rudolf Carnap (born 1891 in Ronsdorf, Germany, died 1970 in Santa Monica, California) was an immensely influential analytic philosopher, who has contributed decisively to the fields of logic, epistemology, semantics, philosophy of science, and philosophy of language. He was one of the leading figures of the Vienna Circle, and a prominent logical positivist. He studied philosophy, physics and mathematics at the universities of Berlin and Freiburg, and worked at the universities of Jena, Vienna and Prague until 1935, when he, due to the war, emigrated to the U.S., where he became an American citizen in 1941. In America he became professor of the University of Chicago.‎

‎Foundations of Logic and Mathematics.‎

‎(Chicago, 1965). 8vo. Orig. yellow wrappers. A bit of soiling. IV, 71 pp.‎

‎11. impression of this important work in the development of mathematical logic. Originanlly published in 1939. From the International Encycloppedia of Unified Science.‎

‎Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover, 1966 (Logique mathématique) , Studies in Logic and the Foundations of Mathematics (Saturated intuitionistic theories - Decision problems about algebraic and logical systems as a whole and recursively enumerable degrees of unsolvability - On recursively unsolvable problems in topology and their classification - Constructive thermodynamics - A deduction theorem for inferential predicate - Zur Berechenbarkett primitiv-rekursiver Funcktionale endlicher Typen - Equational maps - Some forms of models of proportional calculi - Lenghts of formulas and elimination of quantifiers I - A decision procedure for the weak second order theory of linear order - Strukturzahlen in endlichen Relationssystemen - A survey of some connections between classical intuitionistic and minimal logic - Zur Semantik der intuitionischen Aussagenlogik - Recursion theory and the theorem of Ramsey in one-place second order successor arithmetic - Reflection principles of subsystems of analysis -Equational logic and equational theories of algebras - The use of Brouwer's principle in intuitionistic topology)‎

‎North-Holland Publishing Company , Studies in Logic and the Foundations of Mathematics Malicorne sur Sarthe, 72, Pays de la Loire, France 1968 Book condition, Etat : Bon hardcover, editor's yellow printed binding, no dust-jacket grand In-8 1 vol. - 309 pages‎

‎ 1st edition, 1968 Contents, Chapitres : Contents, Preface, xi, Text, 298 pages - P.H.G. Aczel : Saturated intuitionistic theories - W.W. Boone : Decision problems about algebraic and logical systems as a whole and recursively enumerable degrees of unsolvability - W.W. Boone, W. Haken and V. Poenaru : On recursively unsolvable problems in topology and their classification - W.K. Burton : Constructive thermodynamics - H.B. Curry : A deduction theorem for inferential predicate - J. Diller : Zur Berechenbarkett primitiv-rekursiver Funcktionale endlicher Typen - W. Felscher : Equational maps - R. Harrop : Some forms of models of proportional calculi - L. Hodes and E. Speckler : Lenghts of formulas and elimination of quantifiers I - H. Lauchli : A decision procedure for the weak second order theory of linear order - W. Obserschelp : Strukturzahlen in endlichen Relationssystemen - D. Prawitz and P.-E. Malmnas : A survey of some connections between classical intuitionistic and minimal logic - K. Schütte : Zur Semantik der intuitionischen Aussagenlogik - D. Siefkes : Recursion theory and the theorem of Ramsey in one-place second order successor arithmetic - G. Takeuti and M. Yasugi : Reflection principles of subsystems of analysis - A. Tarski : Equational logic and equational theories of algebras - A.S. Troelstra : The use of Brouwer's principle in intuitionistic topology the editor's binding is fine but without dust-jacket, inside is good, adhesives tracks on the end-paper (first and last pages), the former owner had underlined very few lines at red ink with rules, on about 20 lines, the text remains clean, it's still a good copy in the first edition, 1968, no other markings‎

‎Gilbert D. Bernays P. The Foundations of Mathematics. In two volumes: T.1-Logic ‎

‎Gilbert D. Bernays P. The Foundations of Mathematics. In two volumes: T.1-Logic Calculations and the Formalization of Arithmetic. T2-Theory of Proof. In Russian (ask us if in doubt)/Gilbert D. Bernays P. Osnovaniya matematiki. V 2 -kh tomakh: T.1-Logicheskie ischisleniya i formalizatsiya arifmetiki. T.2-Teoriya dokazatelstv.. E6‎

‎Mathematical Logic and the Foundations of Mathematics. An Introductory Survey.‎

‎Ldn., N.Y., 1963. Orig. worn cloth. XIV, 435 pp.‎