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. The most (...) striking results are contained in Goedel's work: First, it is possible to give a simple set of rules that suffice to carry out all mathematical proofs; but, second, these rules are necessarily incomplete - it is impossible, for example, to prove all true statements of arithmetic. The book begins with an introduction to first-order logic, Goedel's theorem, and model theory. A second part covers extensions of first-order logic and limitations of the formal methods. The book covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem. Fraissé's elementary equivalence, and Lindstroem's theorem on the maximality of first-order logic. (shrink)

In Thomas Thomson's System of chemistry of 1802 Bergman and Scheele are actually considered as creators of the analytical concept of an element. With regard to this, a detailed investigation of the work of Bergman and Scheele shows that Thomson's statement contains mistakes as well as inadmissable simplifications and generalizations. It is correct, however, that Bergman in 1774–1777 specifically anticipated in essential aspects the analytical element concept proposed by Lavoisier in 1787–1789.

This is one of the most important books on quantum mechanics ever written for lay readers, in which an eminent physicist and successful science writer, Heinz Pagels, discusses and explains the core concepts of physics without resorting to complicated mathematics. "Can be read by anyone. I heartily recommend it!" -- New York Times Book Review. 1982 edition.

Knapp sechs Jahre nach Rudolf Heinz' sechzigstem Geburtstag und dem auf dieses Ereignis ausgerichteten Erscheinen der Festschrift "Kontiguitäten. Texte-Festival für Rudolf Heinz" (Christoph Weismüller [Hg.] unter Mitarbeit von Ralf Bohn, Wien: Passagen 1997) folgt die Nachbearbeitung der "Kontiguitäten" und deren Produktion. Die Post-Skripts zum Texte-Festival für Rudolf Heinz setzen ein mit den Dokumenten der Feierlichkeit der Festschriftüberreichung: Laudatio, Geburtstagskomposition - inklusive Audio-CD -, Photographien der Festschriftübergabe. Unter dem topos Festschrift-Mechané folgt diesen Initialien die Korrespondenz von Heide (...) class='Hi'>Heinz und Christoph Weismüller nebst notwendigen Paraphrasen und Hinweisen. Die Après nehmen einschlägige Kontiguitäts-Effekte auf, die mit der Fertigstellung der Festschrift, der Feierlichkeit der Übergabe, ihrer Distribution und ersten Nachbearbeitungen ihrer Konstitution einhergingen oder diesen folgten. Die Katamnese von Heide Heinz und Rudolf Heinz sowie weitere Korrespondenzen - Heide Heinz mit Ralf Bohn, Doris Dorner, Axel Schünemann; Rudolf Heinz mit Manfred Pohlen - finden sich als Zuträge ein. (shrink)

Der auf Kants kritischer Philosophie fußenden Philosophengeneration galt Herder als hoffnungslos anachronistischer, vorkritischer Philosoph, dessen Denken für das eigene philosophische Programm keine Relevanz zukomme. Das im folgenden dokumentierte Projekt geht demgegenüber von der Hypothese aus, daß Herder in die Vorgeschichte der Philosophie des deutschen Idealismus gehört, daß er Vorläufer und Weggenosse der nachkantischen Philosophengeneration war. Der vorliegende Band versammelt Arbeiten, die zur Begründung und Diskussion dieser Auffassung in unterschiedlicher Weise beitragen: es geht um die Konturierung der für diese Thematik relevanten (...) Aspekte von Herders eigenem Denken, um die Erschließung der gemeinsamen philosophischen und wissenschaftshistorischen Grundlagen des Herderschen Denkens und der Philosophie des deutschen Idealismus, nicht zuletzt geht es um die Erarbeitung der Rezeption von Herders Philosophie in der nachkantischen Philosophengeneration. (shrink)

Keine ausführliche Beschreibung für "Der Konnossement-Teilschein" verfügbar.

Mario Bunge is an important philosopher of science. But he does not limit himself to using his “truth-technology” in his particular philosophical discipline. For decades, he has also endeavored to achieve an independent profile as a public intellectual on the basis of his wide-ranging competence. To this end, he authoritatively criticizes authors who market themselves to the public as anti-scientists or as pseudo-scientists. On his home continent of Latin America, Mario Bunge is regarded as a role model because he has (...) achieved international recognition like no other South American philosopher before him. (shrink)

"Freitag, 22. Mearz 2002, 19.30 Uhr, Alte Beorse am Naschmarkt in Leipzig"--T.p. verso.

In den 'Orolegomena' wird vom Herausgeber der Durchbruch zu einer konsequenten Konzeption der interkulturellen Philosophie dargestellt. D. Tiemersma untersucht, wie Merleau-Ponty durch eine Auseinandersetzung mit kulturanthropologischen Forschungen zu einer Erweiterung des Bewußtseinsbegriffs und der Rationalitätskonzeption gelangt. Die Ansprüche einer interkulturellen Philosophie werden von J. Hoogland von einer Habermas'schen Position aus kritisch überprüft. A.W. Prins interpretiert Heideggers 'Angang der interkulturellen Auseinandersetzung' trotz anders lautenden Äußerungen dieses Autors als einen wichtigen Beitrag zur interkulturellen Philosophie. Für einen Aufweis der inneren Affinität zwischen japanischem (...) Denken und einigen neonietzscheanischen Philosophen bezieht sich H. Oosterling auf Bataille, Barthes, Foucault, Lyotard und Derrida. Aus feministischer Perspektive wendet sich J. van den Oord der Frage der Universalität der Menschenrechte zu. In der Absicht, den Universalitätsanspruch der westlichen Demokratieform zu kritisieren, konfrontiert F. Uyanne afrikanische und westliche Demokratie-Konzeptionen. C. Jacobs beschreibt den interkulturellen Dialog, der in einigen wichtigen Kunstausstellungen in New York und Paris stattgefunden hat. Nachdem E. de Schipper tiefgehende Zweifel am hier beschrittenen Weg zur interkulturellen Philosophie ausgesprochen hat, werden zum Schluß in einer 'Replik' der Herausgebers noch einmal einige Ausgangspunkte des Projekts klargestellt. (shrink)

For the time being African philosophy is treated regularly in research and in teaching at two European scientific institutions: at the University of Vienna and at Erasmus University Rotterdam. In October 1993 there have been held two conferences of Western and African philosophers at both universities. Eleven African and nine Western scholars participated as speakers in these conferences. Four African speakers gave lectures at the Vienna and at the Rotterdam conference. The Vienna conference dealt with general questions of postcolonial philosophy (...) in Africa. The conference at Rotterdam focused on the processes of democratization in African countries since 1989. This volume contains the papers of both conferences. En ce moment la philosophie Africaine est traité regulièrement dans les recherches et dans l'enseignement à deux instituts scientifiques Européens: à l'Université de Vienne et à l'Université Erasme de Rotterdam. En Octobre 1993 deux conférences de philosophes Occidentals et Africains ont été organisé aux deux universités. Onze savants Africans et neuf savants Occidentals ont participé à ces deux conférences. Quatre savants Africains ont présenté des communications à tous les deux conférences de Vienne et de Rotterdam. La conférence Viennoise s'occupait de questions générales de la philosophie postcoloniale en Afrique. La conférence de Rotterdam focusait aux procès de démocratisation dans des pays africains depuis 1989. Se trouvent en ce volume les contributions à les deux conférences. (shrink)