15 books for « tarski alfred a... »Edit

‎Introduction à la logique.‎

‎Paris, Gauthier-Villars, 1971, 1 volume, in-8, cartonnage souple éditeur, XIV-246 p.. 3e édition revue. Index en fin de volume. Pli d'ouverture au dos.‎

‎Logique. - Mathématiques. Très bon état. ************* Remise 20 % pour toute commande supérieure à 100 €, envoi gratuit en courrier suivi et assurance à partir de 30 € d'achat (France seulement).‎

‎Pojecie Prawdy w Jezykach Nauk Dedukcyjnych (Polish). [The Concept of Truth in Formalized Languages]. - [FOUNDING MODERN LOGICAL SEMANTICS]‎

‎Warszawa, 1933. Small 4to. Orig. printed wrappers, sunned at the edges, but otherwise near mint condition, also internally. An excellent copy. VII, (1), 116, (1, - errata) pp.‎

‎The exceedingly scarce first printing of Tarski's most important and influential work, ""The Concept of Truth in Formalized Languages"", which founded modern logical semantics.The work appeared in an extremely small number, in Polish, and many copies of the article have later been destroyed, thus, the work is of the utmost scarcity. In this seminal article the Polish-American logician and mathematician Alfred Tarski devotes himself to ""the definition of truth"". ""Its task is to construct -with reference to a given language- a materially adequate and formally correct definition of the term ""true sentence""."" (Introduction, English translation, 1956). With this work the face of logic was changed forever. The ""Concept of Truth"" constitutes a landmark event in 20th century analytic philosophy, and it ranks as one of the most important contributions to symbolic logic, semantics and philosophy of language. In this work Tarski develops the semantic theory of truth for formal languages and determines the fact that no language can contain its own truth predicate. Tarski thus concluded that the semantic theory could not be applied to any natural language. -This was later used by e.g. Davidson to construct his truth-conditional semantics, and the problems solved by Tarski are some of the same that Russell and Whitehead struggled to solve in their ""Principia Mathematica"".Tarski (1901-1983) has contributed seminally to the fields of mathematics and logic in a number of ways, and together with Frege, Russell and Gödel, he now ranks as one of the most important contributors to the field of modern logic. At the time of Franz Brentano (1838-1917), one of the philosophers of the greatest significance for contemporary philosophy and in many ways a forerunner of present-day empiricism, it was very unusual for a metaphysician to acknowledge that philosophical investigation must go hand in hand with an analysis of language. Linguistic analysis has thus been almost totally limited to the pure empiricists of philosophy, who reject all forms of metaphysics. Meanwhile, ontologists and metaphysicians have been satisfied with the ordinary language and asked no questions about its possible limitations, merely dismissing the logical faults and adding the odd neologisms. Today, however, especially within the English speaking tradition, linguistic analysis has reached a degree unheard of at the time of Brentano, and it is now generally accepted that certain logical and epistemological problems can be solved only by forsaking ordinary language and substituting it for artificially constructed language systems that follow certain principles. Thus, difficulties that appeared within earlier philosophical doctrines are meant to disappear if the theory can be formulated more precisely, and one of the most important examples is the ""adequacy theory of truth"". Tarski shows that the concept of truth of the adequacy theory can be introduced in a perfectly exact way within the formalized language systems that are equipped with precise rules of interpretation, and thus he rids us of the usual misgivings against the concept of truth. And thus he has developed one of the most important theories of modern logic.""Tarski's investigations are of singular philosophical significance for another reason as well. Within the framework of semantics, which he founded and which Carnap later developed further, it becomes possible for the first time to introduce the notion of an analytic judgment (or an analytic statement) in a form that is both sufficiently general and of the utmost precision. This notion also plays an exceptionally important role in Brentano's philosophy, especially in his studies in formal logic."" (Stegmüller, Main Currents... p. 56). When constructing a semantical system, a vocabulary of the desired object language must be determined as the first. Then formulation rules must be specified, before the rules of interpretation are laid down, and finally the rules of application are supplied. The most important rules here are the rules of truth, and the concept of truth is one of the most important semantical concepts at all, for without them no understanding of the sentences within the system would be ensured. And, of course, the truth definitions must satisfy a condition of adequacy. ""...This form of an adequacy condition that must be satisfied by every semantical truth concept goes back to the Polish logician, Stanislaw Lesniewski. But it was the logician Alfred Tarski who above all made use of this notion, and who first studied in detail the possibilities of introducing a formally exact and materially adequate concept of truth into the precise languages of science. Carnap's accounts of semantical systems rest largely on the prior works of Tarski."" (Stegmüller, p. 311). Tarski also pointed out that it is necessary for all semantical concepts, and especially for the concept of truth, to strictly separate object language and metalanguage. Otherwise we would put ourselves in the unlucky position of being able to prove both a statement and its negation at the same time. In the English translation from 1956 of Tarski's works, ""Logic, Semantics, Metamathematics"", the bibliographical information about this article is erroneous.‎

‎Direct Decompositions of Finite Algrebraic Systems.[Notre Dame Mathematical Lectures. Number 5]. - [THE STARTING POINT OF JÓNSSON-TARSKI ALGEBRAS]‎

‎(Michigan), 1947. 8vo. Ogiginal printed wrappers, black cloth back-strip. A nice and clean copy of this lithoprinted publication. (6), 64 pp. + 2 leaves of maschine-written (probably mimeographed) corrections laid in loose.‎

‎First printing of Tarski and Jónsson's important first joint publication, which constitutes the starting point of the influential Jónsson-Tarski algebras and the Jónsson-Tarski duality. The important Icelandic mathematician and logician Bjarni Jónsson (born 1920) received his PhD the year before the present publication at the University of Berkely, under the supervision of Alfred Tarski, the great Polish-American who has contributed seminally to the fields of mathematics and logic in a number of ways, and who together with Frege, Russell and Gödel now ranks as the most important contributor to the field of logic. He is thus considered one of the four greatest logicians of all times.‎

‎Z badan metodologicznych nad definjowalnoscia terminow [Polish, i.e.: Some Methodological Investigations on the Definability of Concepts]. Odbitka z XXXVII Rocznika przegladn filozoficznego. - [THEORY OF DEFINABILITY]‎

‎Warszawa [Warsaw], 1934. 8vo. Orig. printed brown wrappers. Near mint condition. 25 pp (pp. 438-60 in Przeglad Filozoficzny, vol. 37).‎

‎Exceedingly scarce first edition, off-print with own pagination also, of this very important article by one of the four greatest logicians ever, the Polish-American Alfred Tarski.Tarski's theory of definability, which he presents in this article, belongs to one of his main contributions to logic. Tarski here distinguishes between groups of concepts within the methodology of the deductive sciences: 1) concepts such as ""axiom"", ""theorem"", ""rule of inference"", ""proof"", and 2) ""primitive (undefined) concept"" (or ""primitive term""), ""definable concept"", ""rule of definition"", ""definition"". ""A far-reaching parallelism can be established between the concepts of the two groups: The primitive concepts correspond to the axioms, the defined concepts to the derivable sentences, the process and rules of definition to the process and rules of proof."" (English translation of the article, 1956, p. 296). Until this article was written, nothing on the subject of methodology of deductive sciences had primarily dealt with the concepts of the first group, but, as Tarski himself states, ""in considering the second group of concepts many interesting and important problems force themselves upon us, some of which are quite analogous to those which arise in connection with the first group."" (Introduction, English translation, 1956, p. 296). Two problems are discussed within this domain: the problem of the definability and the mutual independence of concepts, as well as the problem of the completeness of concepts of an arbitrary deductive theory.Tarski (1901-1983) has contributed seminally to the fields of mathematics and logic in a number of ways, and together with Frege, Russell and Gödel, he now ranks as the most important contributor to the field of logic. He is thus considered one of the four greatest logicians of all times. ‎

‎Le paradoxe de Banach-Tarski (Nouvelle édition revue, corrigée et recomposée, 2002)‎

‎Aléas Editeur - IREM Malicorne sur Sarthe, 72, Pays de la Loire, France 2002 Book condition, Etat : Bon broché, sous couverture imprimée éditeur blanche In-8 1 vol. - 135 pages‎

‎Quelques figures dans le texte en noir nouvelle édition revue, corrigée et recomposée, 2002 Contents, Chapitres : En mathématiques, et plus précisément en géométrie, le paradoxe de Banach-Tarski est un théorème, démontré en 1924 par Stefan Banach et Alfred Tarski, qui affirme qu'il est possible de couper une boule de l'espace usuel R3 en un nombre fini de morceaux et de réassembler ces morceaux pour former deux boules identiques à la première, à un déplacement près. Ce résultat paradoxal implique que ces morceaux soient non mesurables, sans quoi on obtiendrait une contradiction (le volume étant un exemple de mesure, cela veut plus simplement dire que ces morceaux n'ont pas de volume). Le paradoxe de Banach-Tarski se généralise à tous les Rn, n > = 3 , mais ne peut se réaliser dans le plan R2 - La démonstration de ce résultat utilise laxiome du choix, nécessaire pour construire des ensembles non mesurables. bon exemplaire, frais et propre‎

‎The Semantic Conception of Truth. And the Foundations of Semantics. Reprinted from Symposium on Meaning and Truth and Truth. Philosophy and Phenomenological Research Vol. IV, No. 3, March, 1944. - [PRESENTATION-COPY]‎

‎1944. 8vo. Original printed wrappers. A vague ""bend"", otherwise a very clean, fresh, and fine copy. Pp. (341)-376.‎

‎First printing, in the scarce off -print, with a presentation- inscription to front free end-paper ""To Professor P.W. Bridgman/ with best regards/ A.Tarski."", of Tarski's important contribution to his main topic, to which he provided fundamental contributions: The semantic theory of truth. Tarski's semantic conception of truth plays a central role in modern logic as well as in contemporary philosophy of language. Tarski's shy nature means that he rarely gave away inscribed copies of his works, and a presentation-copy like the present is a rare sight. The paper is centered around the notion of truth. The main problem is that of giving a satisfactory definition of this notion, i.e., a definition which is materially adequate and formally correct. Tarski (1901-1983) has contributed seminally to the fields of mathematics and logic in a number of ways, and together with Frege, Russell and Gödel, he now ranks as one of the most important contributors to the field of modern logic. ‎

‎Direct Decompositions of Finite Algebraic Systems.‎

‎Indiana, Notre Dame, 1947. 8vo. In the original printed wrappers with black cloth back strip. Light sunning to extremities, otherwise a fine and clean copy. (4), 64 pp. + 2 ff. of errata loosely laid in.‎

‎First printing of Jónsson and Tarski's important paper on Finite algebraic systems. Jónsson was Tarski's first student in the US and together they developed the important Jónsson-Tarski theorem (1951).Tarski (1901-1983) has contributed seminally to the fields of mathematics and logic in a number of ways, and together with Frege, Russell and Gödel, he now ranks as the most important contributor to the field of logic. He is thus considered one of the four greatest logicians of all times. ‎

‎On The Calculus Of Relations (In: ""The Journal Of Symbolic Logic"").‎

‎(No place), The Association for Symbolic Logic, 1941. Large 8vo. Bound in blue half cloth with silver lettering to spine. In ""Journal of Symbolic Logic"", Volume 5. Small paper label to lower part of spine and upper inner margin of front board. Stamp to title-page and last leaf, otherwise internally fine. Pp. 73-89. (Entire copy: (4), 188 pp.).‎

‎First appearance of Tarski's groundbreaking work in mathematical logic. Published in 1941, it revolutionized the study of relations by introducing a formal calculus that provided a rigorous foundation for understanding and reasoning about relations.By introducing a formal calculus, Tarski provided mathematicians with a rigorous framework for reasoning about relations, leading to advancements in diverse fields of mathematics and beyond. His contributions laid the groundwork for the exploration of abstract algebra, order theory, and model theory, and found practical applications in computer science.‎

‎On undecidable statements in enlarged systems of logic and the concept of truth. (In: ""The Journal Of Symbolic Logic"").‎

‎(No place), The Association for Symbolic Logic, 1939. Large 8vo. Bound in blue half cloth with silver lettering to spine. In ""Journal of Symbolic Logic"", Volume 4. Small paper label to lower part of spine and upper inner margin of front board. Stamp to title-page and last leaf, otherwise internally fine. Pp. 105-112. (Entire copy: (4), 194, (2) pp.).‎

‎First appearance of Tarski's important paper that helped the understanding of truth within formal languages. By introducing truth definitions, model theory, and addressing undecidability, Tarski laid the groundwork for rigorous logical analysis.‎

‎Logic, Semantics, Metamathematics: Papers from 1923 to 1938. Translated by J.H. Woodger.‎

‎Oxford, Clarendon Press, 1956. 8vo. Original publisher's blue cloth w. minor traces of wear to capitals. Some occasional underlinings, otherwise a nice and clean copy. XIV,471,(1) pp.‎

‎First English edition of 17 papers by Tarski including 'The Concept of Truth in Formalized Languages', Tarski's most important and influential work, which founded modern logical semantics. The first edition of this article is extremely scarce.The papers have been revised by Tarki himself and bibliographical and historical notes have been added.‎

‎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‎

‎Logic, Semantics, Metamathematics. Papers from 1923 to 1938. Translated by J.H. Woodger.‎

‎Oxford, Clarendon Press, 1956. 8vo. Original publisher's cloth with dust jacket fine condition. Owner's signature (Samuel Skulsky) on front free endpaper. A very fine copy. XIV,471,(1) pp.‎

‎First English edition of 17 papers by Tarski including 'The Concept of Truth in Formalized Languages'. The papers have been revised by Tarki himself, bibliographical and historical notes have been added.‎

‎Logic, Semantics, Metamathematics. Papers from 1923 to 1938. Translated by J.H. Woodger.‎

‎Oxford, Clarendon Press, 1956. 8vo. Original publisher's cloth with dust jacket. XIV,471,(1) pp. Clean and fine.‎

‎First English edition of 17 papers by Tarski including 'The Concept of Truth in Formalized Languages'. The papers have been revised by Tarki himself, bibliographical and historical notes have been added.‎

‎Alfred Tarski and the Vienna Circle. Austro-Polish Connections in Logical Empirism. (Vienna Circle Institute Yearbook Nr. 6 - 1998 )‎

‎ Dordrecht (NL), Kluwer Academic Publishers, 1999, format in-8°, 346 pp. Original cased publisher's binding. Fine copy of the original edition. (no library markings).‎

‎The Theory of Models. Proceedings of the 1963 International Symposium at Berkeley.‎

‎Amsterdam, London, North-Holland, (1970). Lex8vo. Orig. full cloth. XV,494 pp.‎