For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. (...) It is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

Wenn überhaupt in einem Gebiet Wahrheit und Existenz unabhängig von unseren Erkenntnisfähigkeiten sind, dann in der Metaphysik – etwa bei der Frage, ob es Gott gibt oder eine Seele, die unseren Tod überdauert. Die metaphysica specialis schreit geradezu nach metaphysischem Realismus und dem zugehörigen Wahrheitsbegriff. Von diesem Ausgangspunkt gerät man allerdings schnell in Verlegenheit, wenn man fragt: Nach welchen Kriterien sollen wir uns richten, wenn wir uns über Gott oder Unsterblichkeit ein Urteil bilden wollen? Mit den Mitteln der Naturwissenschaft (...) und deren rationaler Methodologie (in der es um Empirie, Einfachheit, Sparsamkeit usw. geht) kommen wir bei Themen wie Gott oder Unsterblichkeit immer nur bis zum Patt. Genauso steht es bei der Frage, ob wir in unseren Entscheidungen frei sind. Urteilsenthaltung können wir uns nicht erlauben, dafür sind die metaphysischen Fragen zu wichtig; Auslosen kommt auch nicht infrage. Statt erkenntnistheoretisch zu kapitulieren, schlage ich programmatisch vor, die Erkenntnislehre auf weichere Weise weiterzubetreiben. Emotion, Intuition, Moral – das sind einige der zusätzlichen außerrationalen Hilfsmittel, mit deren Hilfe wir weiterkommen können. Ich zeige, dass diese Hilfsmittel respektabler und gewichtiger sind, als kühle, rationale Erkenntnistheoretiker zugeben wollen. Diese Hilfsmittel führen zu guten Postulaten aus Unvernunft (und zwar nicht nur in der Metaphysik). Wie schlimm es für den Realismus ist, dass diese Postulate immer noch falsch sein könnten, diese Frage werde ich im vorliegenden Aufsatz nicht mehr klären. (shrink)

Als zu Beginn des Jahrhunderts der Realismus wieder ernst genommen wurde, gab es viele Philosophen, die sich mit der Ontologie der Wahrheit befaßten. Unabhängig von der Bestimmung der Wahrheit als Korrespondenzbeziehung wollten sie herausfinden, inwieweit zur Erklärung der Wahrheit von Sätzen besondere Entitäten herangezogen werden müssen. Einige dieser Entitäten, so zum Beispiel Bolzanos ‘Sätze an sich’, Freges ‘Gedanken’ oder die ‘propositions’ von Russell und Moore, wurden als Träger der Eigenschaften Wahrheit und Falschheit aufgefaßt. Einige Philosophen jedoch, wie Russell, Wittgenstein im (...) ›Tractatus‹ und Husserl in den ›Logischen Untersuchungen‹, argumentierten, zusätzlich zu den Wahrheitsträgern bzw. an ihrer Stelle müßten Entitäten angenommen werden, auf Grund deren Sätze und/oder ‘Propositionen’ wahr sind. Solchen Entitäten gab man verschiedene Namen, insbesondere ‘fact’, ‘Tatsache’, ‘state of affairs’ und ‘Sachverhalt’. 1 Wir wollen einer Entscheidung über die Angebrachtheit dieser Ausdrücke nicht vorgreifen und daher zunächst eine neutralere Terminologie verwenden: Alle Entitäten, die für diese zweite Rolle in Frage kommen, wollen wir ‘Wahrmacher’ nennen. (shrink)