In a time which it is not amiss to term “the Dark Ages of logic”, Karl Christian Friedrich Krause stayed not only true to logic but actually did something for its advancement. Besides making systematic use of Venn-diagrams long before Venn, Krause — once more taking his inspiration from Leibniz — propounded what appears to be the first completely symbolic systematic representation of logical forms, strongly suggestive of the powerful symbolic languages that have become the mainstay of logic since the (...) beginning of the 20th century. However, Krause’s limits in logic are also clearly visible: Krause’s method in logic is, in the main, not axiomatic; it is combinatorial. More importantly, Krause remained entirely within the confines of traditional syllogistics, neglecting propositional logic and, of course, first-order relational terms. (shrink)

The paper presents a new version of the "Cosmological Argument" – considered to be an ontological argument, since it exclusively uses ontological concepts and principles. It employs famous results of modern physics, and distinguishes between event-causation and agent-causation. Due to these features, the argument manages to avoid the objection of infinite regress. It remains true, however, that the conclusion of the argument is too unspecific to be unambiguously considered an argument for the existence of God.

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. (shrink)