In his new book on Pascal's Wager, Jeff Jordan argues that only the ‘Jamesian’ version of the wager argument, as he sees it presented in William James' essay The Will to Believe , constitutes a sound pragmatic argument in favour of theism, whereas Pascal's original wager argument is doomed to fail on various grounds. This article argues that Jordan's theory is untenable. The many-gods objection is used as an example: it is demonstrated that the Jamesian Wager argument too is powerless (...) to rebut this objection. (shrink)
Karl Eugen Müller's contribution to the development of the algebra of logic is perhaps the most important part of his scientific work. Müller, who became Gymnasialprofessor after his university studies, was a student of Ernst Schröder's friend, the mathematician Jakob Lüroth. As a result of publishing two papers on problems related to Schröder's monumental Vorlesungen iiber die Algebra der Logik, Müller was commissioned by the Deutsche Mathematiker- Vereinigung with the editing of the unpublished parts of the Vorlesungen from Schröder's Nachla?. (...) Müller worked on Schröder's papers until 1910, but did not bring this work to a conclusion. Müller's own Nachla?, including those parts of Schröder's papers still in his possession, was destroyed in Frankfurt a.M. in 1943, so there remains no hope of finding through Müller any part of the missing Nachla? of Schröder. (shrink)
In a famous passage in the Critique of the Power of Judgement, Kant calls the “spirit” an animating or enlivening principle in the mind. Rather than a positive affirmation building on a protobiological background, this definition marks an aesthetic notion of life. As a first step, the “Gemüt” (mind) shows itself to be an ambivalent concept between transcendental philosophy and anthropology. This ambivalence then reoccurs in the notion of life in an aesthetical regard: Life in this sense is the one (...) hand bound to the empirical notion of the powers of life – and thereby to the pre-critical works – but is now turned into something surpassing. Life in aesthetical terms is negatively bound to life in an empirical sense. So is spirit, too: It rather works as a negatively defined principle opening up the given. Life, Gemüt, and spirit make up a relational constellation that provides the grounds for the work of aesthetic ideas. By means of aesthetic ideas, spirit opens up the cognitive and thereby enlivens the Gemüt. This principle, which is spirit, can then be understood as following Kant’s logic of the infinite judgment, because the aesthetic is the opening of the rational to its indeterminate other. (shrink)
Epiphenomenalism has been criticized with several objections. It has been argued that epiphenomenalism is incompatible with the alleged causal relevance of mental states, and that it renders knowledge of our own conscious states impossible. In this article, it is demonstrated that qualia-epiphenomenalism follows from some well- founded assumptions, and that it meets the cited objections. Though not free from difficulties, it is at least superior to its main competitors, namely, physicalism and interactionism.
The Berlin Group for scientific philosophy was active between 1928 and 1933 and was closely related to the Vienna Circle. In 1930, the leaders of the two Groups, Hans Reichenbach and Rudolf Carnap, launched the journal Erkenntnis. However, between the Berlin Group and the Vienna Circle, there was not only close relatedness but also significant difference. Above all, while the Berlin Group explored philosophical problems of the actual practice of science, the Vienna Circle, closely following Wittgenstein, was more interested in (...) problems of the language of science. The book includes first discussion ever (in three chapters) on Walter Dubislav’s logic and philosophy. Two chapters are devoted to another author scarcely explored in English, Kurt Grelling, and another one to Paul Oppenheim who became an important figure in the philosophy of science in the USA in the 1940s–1960s. Finally, the book discusses the precursor of the Nord-German tradition of scientific philosophy, Jacob Friedrich Fries. Mehr anzeigen Weniger anzeigen . (shrink)
Definitional and axiomatic theories of truth -- Objects of truth -- Tarski -- Truth and set theory -- Technical preliminaries -- Comparing axiomatic theories of truth -- Disquotation -- Classical compositional truth -- Hierarchies -- Typed and type-free theories of truth -- Reasons against typing -- Axioms and rules -- Axioms for type-free truth -- Classical symmetric truth -- Kripke-Feferman -- Axiomatizing Kripke's theory in partial logic -- Grounded truth -- Alternative evaluation schemata -- Disquotation -- Classical logic -- Deflationism (...) -- Reflection -- Ontological reduction -- Applying theories of truth. (shrink)
We investigate axiomatizations of Kripke's theory of truth based on the Strong Kleene evaluation scheme for treating sentences lacking a truth value. Feferman's axiomatization KF formulated in classical logic is an indirect approach, because it is not sound with respect to Kripke's semantics in the straightforward sense: only the sentences that can be proved to be true in KF are valid in Kripke's partial models. Reinhardt proposed to focus just on the sentences that can be proved to be true in (...) KF and conjectured that the detour through classical logic in KF is dispensable. We refute Reinhardt's Conjecture, and provide a direct axiomatization PKF of Kripke's theory in partial logic. We argue that any natural axiomatization of Kripke's theory in Strong Kleene logic has the same proof-theoretic strength as PKF, namely the strength of the system RA< ωω ramified analysis or a system of Tarskian ramified truth up to ωω. Thus any such axiomatization is much weaker than Feferman's axiomatization KF in classical logic, which is equivalent to the system RA<ε₀ of ramified analysis up to ε₀. (shrink)