Uwe A. Meixner

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 the first part, the paper describes in detail the classical conception of intentionality which was expounded in its most sophisticated form by Edmund Husserl. This conception is today largely eclipsed in the philosophy of mind by the functionalist and by the representationalist account of intentionality, the former adopted by Daniel Dennett and David Chalmers, the latter by John Searle and Fred Dretske. The very considerable differences between the classical and the modern conceptions are pointed out, and it is argued that the classical conception is more satisfactory than the two modern ones, not only regarding phenomenal adequacy, but also on the grounds of epistemological considerations. In the second part, the paper argues that classical intentionality is not naturalizable, that is, physicalizable. Since classical intentionality exists (in the experiences that display it), the non-naturalizability of classical intentionality implies psychophysical dualism.

The semantical framework is fundamentally intensional: neither possible worlds nor sets as basic entities, but rather, besides individuals, propositions, properties and relations (in intension). Logical truth is defined in terms of logical form (without mentioning this notion) without employing sets of models and the concept of truth in a model. Truth itself is explicitly defined (without recursion); the truth-conditions for the logical constants of the object-language become theorems derivable from the axioms for "to intend"--the basic semantical relation