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.
Reference : 44775
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.
Herman H. J. Lynge & Son
William Schneider
Silkegade 11
1113 Copenhagen
Denmark
+45 33 155 335
All items may be returned for a full refund for any reason within 14 days of receipt.
Chicago, The University of Chicago Press, (1953). 8vo. In the original blue printed wrappers. Light miscolouring and wear to extremities. Paper label pasted on to verso of back wrapper. Otherwise a fine and clean copy. VIII, 71 pp.
Seventh impression 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.
(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.
Schmidt (H. Arnold), Schutte (K.) and Thiele (H.-J.), eds. - P.H.G. Aczel - W.W. Boone - W. Haken and V. Poenaru - W.K. Burton - H.B. Curry - J. Diller - W. Felscher - R. Harrop - L. Hodes and E. Speckler - H. Lauchli - W. Obserschelp - D. Prawitz and P.-E. Malmnas - D. Siefkes G. Takeuti and M. Yasugi - Alfred Tarski - A.S. Troelstra
Reference : Cyb-6273
(1968)
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
Reference : alb36d5773e9c0f2191
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
Ldn., N.Y., 1963. Orig. worn cloth. XIV, 435 pp.