Uwe A. Meixner

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.

I argue (1) that it is not philosophically significant whether causation is linguistically represented by a predicate or by a sentence connective; (2) that there is no philosophically significant distinction between event- and states-of-affairs-causation; (3) that there is indeed a philosophically significant distinction between agent- and event-causation, and that event-causation must be regarded as an analog of agent-causation. Developing this point, I argue that event-causation's being in the image of agent-causation requires, mainly, (a) that the cause is temporally prior to the effect, (b) that the cause necessitates (is sufficient with necessity) for the effect. Causal necessity is explained as a derivative of nomological necessity, and finally, via a definition of the causal sentence connective, the logic of event-causation is shown to be a part of temporal modal logic.

The paper analyzes the concept of a first cause, both for event causation and for agent causation. It turns out that one is rather ready to believe in the existence of first causes that are events, but not in the existence of first causes that are agents. The paper, however, develops and defends a complex argument to the conclusion that there is a first agent-cause. one version of that argument proves -- not necessarily the existence of God -- but still the existence of a godlike agent. Finally, the notion of a first agent-cause is employed for an analysis of freely willed human action.

With the emergence of modern physics a conflict became apparent between the Principle of Sufficient Cause and the Principle of Physical Causal Closure. Though these principles are not logically incompatible, they could no longer be considered to be both true; one of them had to be false. The present paper makes use of this seldom noticed conflict to argue on the basis of considerations of comparative rationality for the truth of causal statements that have at least some degree of philosophico-theological relevance and can be taken to indicate ( not prove) the existence of God. The paper’s comparatively modest aim is to establish belief in the existence of God as a rational metaphysical option, not as a rational obligation. In its final section, enriched causal considerations lead to an indication ( not proof) of God as that which guarantees the unified continuance of the physical world.

The paper expounds the sense in which Husserl was not a psychophysical dualist – but also the sense in which he was a psychophysical dualist after all. On the one hand, it takes into account Husserl’s critical statements regarding “dualism,” on the other hand it closely considers Husserl’s understanding of the intentionality of phenomenal experiences. It is shown that Husserl’s writings contain several argumentations that can be interpreted as arguments for psychophysical dualism . It is argued that Husserl’s dualism – the result of phenomenological insights, though not called “dualism” by Husserl himself – is to a high degree defensible and can hold its own in the confrontation with physicalism

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.

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

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.

Ontologically minimal truth law semantics are provided for various branches of formal logic (classical propositional logic, S5 modal propositional logic, intuitionistic propositional logic, classical elementary predicate logic, free logic, and elementary arithmetic). For all of them logical validity/truth is defined in an ontologically minimal way, that is, not via truth value assignments or interpretations. Semantical soundness and completeness are proved (in an ontologically minimal way) for a calculus of classical elementary predicate logic