A variety of axiomatic systems: theory types, set theory Neumann - Bernays, Quine set theory, hierarchy theory of sets Tn

У статті висвітлюється різноманітність аксіоматичних систем: теорія типів, теорія множин Неймана — Бернайса, теорія множин Куайна, ієрархія теорій множин Tn.В статье освещается разнообразие аксиоматических систем: теория типов, теория множеств Неймана - Бернайса, теория множеств Куайна, иерархия теорий множеств Tn.The article deals with a variety of axiomatic systems: theory types, set theory Neumann - Bernays, Quine set theory, hierarchy theory of sets Tn

Notas sobre el "Wahrheitsbegriff", II

This is the second part of a two-part paper devoted toa study of some historical, logical and philosophical issues arising from a reading of Tarski's celebrated "Wahrheitsbegriff' monograph. This second part concentrates on issues related to Tarski's "Wahrheitsbegriff' version of the theorem on the indefinability of truth. One of these issues is the correct exegesis of Tarski's claim that a truth definition cannot be constructed in a metalanguage if its order is not higher than that of the object language. Another issue is the correct contrast between Tarski's mathernatical achievement in offering his version of the indefinability result and Godel's achievement in his earlier discovery of another version of the result. The correct contrast must emphasize the fact that (contrary to frequent claims) Tarski's version does not use semantic notions (either defined or intuitive); no way towards a version of the indefinability theorem not employing intuitive semantic notions appears in Godel, despite thefact that he, like Tarski, sought to find non-semantic versions of his results

Formale Wahrheitstheorien nach Alfred Tarski

Die mathematische Logik nimmt einen so grossen Teil der Arbeit ein, weil ich glaube dass man ohne Kenntnis der mathematischen Logik die von mir behandelten Autoren nicht wirklich verstehen kann. Ausserdem habe ich immer versucht in den Kapiteln über formale Logik philosophische Fragen aufzuwerfen und zu diskutieren. Das so etwas nur anzatzweise möglich ist, wird jedem klar sein der sich schon mit der Philosophie der Logik beschäftigt hat. Die Autoren, mit denen ich mich genauer beschäftigen möchte sind Saul Kripke und Tyler Burge. Der erste wird Saul Kripke sein, der mit seiner Theorie wichtige Ideen in die Diskussion eingebracht hat. Der zweite wird Tyler Burge sein, der mich interessiert hat weil sein Ansatz über die Tarski-Kripke'sche Tradition hinausgeht. Obwohl sich ein grosser Teil dieser Arbeit mit den formalen Grundlagen von Wahrheitstheorien beschäftigt, wird die Tarski'sche Wahrheitstheorie nicht explizit bearbeitet werden. Aber immer dort, wo modelltheoretische Begriffe verwendet werden, ist Tarski's Theorie präsent, weil seine Ideen die Basis für die moderne Modelltheorie geliefert haben. Ich habe mich zu diesem Vorgehen entschlossen, um die Notation so einheitlich wie möglich zu halten. Überhaupt war es eine der interessantesten Aufgaben dieser Arbeit, die unterschiedlichen Notationen ineinander zu übersetzen. Mich hat interessiert warum eine formale Wahrheitstheorie akzeptiert wird. Welche Ergebnisse der formalen Logik müssen berücksichtigt werden? Eines der zentralen Theoreme in diesem Zusammenhang ist das Theorem von der Undefinierbarkeit der Wahrheit. Es bildet den Hintergrund auf dem viele Theorien verstanden werden können. Warum man sich z.b. mit partiellen Wahrheitsprädikaten beschäftigt

Lectures on the Conflict of Laws and International Contracts

The lectures contained in this volume were delivered at Ann Arbor in the course of the sessions of the Summer Institute on International and Comparative Law under the auspices of the University of Michigan Law School, August 5 to 21, 1949. As a part of the institute program that has been inaugurated with the encouraging support not merely of the Faculty of the Law School but also of many interested members of the bar - a program designed to supplement the ordinary course of legal studies through the exploration of frontiers of the law in lectures and discussions delivered or led by distinguished scholars and outstanding practitioners, to which the students in attendance at the School and the members of the profession are freely invited to participate - the Institute held in conjunction with the Summer Session of 1949 was devoted to an area of wide and increasing importance, the current developments of the laws affecting international trade. Published under the auspices of the University of Michigan Law School (which, however, assumes no responsibility for the views expressed) with the aid of funds derived from gifts to the University of Michigan by William W. Cook.https://repository.law.umich.edu/summer_institute/1000/thumbnail.jp