Uwe A. Meixner

Der cartesische DuaUsmus besteht nicht in der Behauptung, daß die Person und ihr Körper voneinander verschieden sind, sondern in der stärkeren Behauptung, daß sie beide ohne den anderen existieren können. Können ist dabei in einem außerordentlich schwachen Sinn zu nehmen, nämlich im Sinne der analytischen Möglichkeit. Descartes' Argument für diese Behauptung in der 6. Meditation ist im Rahmen der modal-epistemischen Logik als logisch korrektes Argument präzisierbar; daneben auch sein mit dem ersteren verquicktes Argument dafür, daß es eine essentielle Eigenschaft von ihm sei, eine res cogitans zu sein, aber keine, eine res extensa zu sein. Das Problem der Annehmbarkeit der Prämissen reduziert sich auf die Frage, ob es analytisch möglich ist, daß eine Person existiert, ohne mit einem Körper verbunden zu sein. Im Sinne von Descartes' Personbegriff gilt dies, im Sinne unseres Personbegriffes jedoch nicht. Welcher von den beiden Personbegriffen vorzuziehen ist, ist eine offene Frage.

In this paper, a paradox is shown to arise in the context of classical logic from prima facie highly plausible assumptions for the existence predicate as applied to definite descriptions. There are several possibilities to evade the paradox; all involve modifications in the principles of first-order logic with identity, existence, and definite descriptions; some stay within classical logic, others leave it. The merits of the various "ways out" are compared. The most attractive "way out," it is argued, stays within classical logic, except for the fact that it involves a new logical truth: "There is at least one non-existent object." But this "exit" will certainly not be to everyone's taste and liking. Thus, the paradox defies complete resolution.

Der cartesische DuaUsmus besteht nicht in der Behauptung, daß die Person und ihr Körper voneinander verschieden sind, sondern in der stärkeren Behauptung, daß sie beide ohne den anderen existieren können. Können ist dabei in einem außerordentlich schwachen Sinn zu nehmen, nämlich im Sinne der analytischen Möglichkeit. Descartes' Argument für diese Behauptung in der 6. Meditation ist im Rahmen der modal-epistemischen Logik als logisch korrektes Argument präzisierbar; daneben auch sein mit dem ersteren verquicktes Argument dafür, daß es eine essentielle Eigenschaft von ihm sei, eine res cogitans zu sein, aber keine, eine res extensa zu sein. Das Problem der Annehmbarkeit der Prämissen reduziert sich auf die Frage, ob es analytisch möglich ist, daß eine Person existiert, ohne mit einem Körper verbunden zu sein. Im Sinne von Descartes' Personbegriff gilt dies, im Sinne unseres Personbegriffes jedoch nicht. Welcher von den beiden Personbegriffen vorzuziehen ist, ist eine offene Frage.

How might one tackle the subject of causation with the least amount of preformed conceptions – and arrive by a series of well-motivated conceptual decisions at a concept of causation that captures the “heart of the matter”? This essay is a sustained attempt to answer this question. On the way, causal predicates of various degrees of importance are defined and causal principles of various degrees of plausibility discussed, all of this in the service of approaching, step by step, “the heart of the matter.”

This book is intended as a comprehensive defense of psycho-physical dualism. It gives answers to the question of what dualism may consist in, and inquires into the broadly cultural motivation behind accepting dualism or its opponent physicalism. Arguments for dualism, among them strengthened versions of the famous classical arguments, are presented and defended against objections. Moreover, the various general objections to dualism are criticized in detail, for example, the allegation that dualism is of an anti-scientific nature. The book issues into developing the outlines of a dualistic theory of consciousness and agency. The theory outlined is not only compatible with science but actually connects with it. It offers a unified perspective on the phenomenon of conscious life and may serve as a basis for a general ethics regarding all conscious living beings.

This paper has two parts. The first part (sections 1 to 5) is historical, presenting a brief history of the concept of necessity from the time of antiquity to the present. It is shown that the conceptions of necessity in antiquity had four main sources: matter-necessity, form-necessity, efficiencynecessity, and purpose-necessity. Special attention is accorded to the syncretistic concept of the necessity of fate, and its transformations from the beginning of antiquity to its end. Moreover, it is pointed out that already in antiquity we find the conception of proofnecessity, and the distinction between intrinsic and extrinsic necessity. At present, of the original four main sources of conceptions of necessity, three have dried up, leaving only form-necessity still active. The second part of the paper (sections 6 to 9) is dedicated to the development of a rigorous theory of form-necessity (or nomological necessity, broadly conceived), at the end of which a skeptical note is struck regarding laws of nature.

This treatise delves into the construction and formalization of a precise theory to encapsulate a pivotal facet of Thomas Aquinas’s ontology. In particular, it focuses on the development of a formal language that is adequate for formulating Aquinas’s understanding of the simultaneous nature of divinity as both an object of subsistence and a universal, individual, and actuating form—a concept evocative of the original Platonic sense of form. The presented axiomatized theory as a medium for expounding the ontological principles enunciated by Thomas Aquinas. A comprehensive set of axioms is systematically justified, exhibiting their congruence with Aquinas’s ontological doctrines. To elucidate this harmony, an extensive series of theorems is deduced, closely aligned with the verbal tenets of Aquinas’s teachings. The inherent consistency of the axiom system is proven by the provision of a geometrico-topological model tailored to support it.

Es wird gezeigt, daß sich Parmenides' Argument gegen Veränderung und Vielheit aus den Fragmenten seines Lehrgedichts so rekonstruieren läßt, daß es entweder formal korrekt wird, oder aber seine Prämisse,,Seiendes ist, Nichtseiendes ist nicht" evidentermaßen richtig ist. Beides zugleich ist nicht zu haben. Es wird plausibel gemacht, daß die Rekonstruktionen in Parmenides' Sinn sind. Betrachtet man sein Argument als formal korrekt, so stellt es, wenn wir das Zeugnis der Erfahrung akzeptieren, eine redactio ad absurdum der auch heute noch vielfach vertretenen Position des Aktualismus „Es gibt nur Aktuales" dar. Parmenides freilich faßte es im Gegenteil als reductio ad absurdum der kognitiven Relevanz der Erfahmng auf.

In diesem Aufsatz wird eine axiomatisierte logische Rekonstmktion der Platonischen Prädikationstheorie vorgeschlagen, aufbauend auf der Ähnlichkeitsrelation. Die Theorie ist konsistent und trivial. Selbst-Prädikation bereitet darin keine Schwierigkeiten und das Dritte-Mann-Argument wird als harmlos aufgezeigt. Es werden Kriterien dafür, daß etwas ein Standardgegenstand (eine Form oder Idee) ist, aufgestellt und ausgeführt, daß diese die Platonische Ideentheorie implizieren. Die Grenzen von Piatons Prädikationstheorie werden klar gemacht; sie ist von der adjektivischen (linguistischen) Prädikation abgeleitet und kann ontologisch nur diesen Typ der Prädikation abdecken, nicht aber substantivische Prädikation. Schließlich wird gezeigt, daß die Existenz Gottes in der Platonischen Prädikationstheorie bewiesen werden kann.