INTRODUCTION In ita original form the present paper was presented to the American Mathematical Society, April 2k,, as a companion piece to the writer's ...

The issue of democracy is alive once more. There is a growing number of works debating the current state of democracy both in theory and practice.1 In particular a pragmatist conception of democracy has also been revived. Not only has a Deweyan version of a participatory democracy become the focus but the intricacies of a Rortian version have also come to the forefront, from both sympathetic as well as critical viewpoints.2 Thus the impression that the contemporary world is in quite (...) an exigent need of reconsidering—and perhaps even forming a novel conception of—democracy seems to be obvious, at least from a global point of view.3 Moreover, the fact that the idea or ideal of democracy still seems to be .. (shrink)

We show that IPC, K4, GL, and S4, as well as all logics inheriting their admissible rules, have independent bases of admissible rules.

The elementary arithmetic operations +,·,≤\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${+,\cdot,\le}$$\end{document} on integers are well-known to be computable in the weak complexity class TC0, and it is a basic question what properties of these operations can be proved using only TC0-computable objects, i.e., in a theory of bounded arithmetic corresponding to TC0. We will show that the theory VTC0 extended with an axiom postulating the totality of iterated multiplication proves induction for quantifier-free formulas in the language ⟨+,·,≤⟩\documentclass[12pt]{minimal} (...) \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\langle{+,\cdot,\le}\rangle}$$\end{document}, and more generally, minimization for Σ0b\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma_{0}^{b}}$$\end{document} formulas in the language of Buss’s S2. (shrink)

According to John Rawls’s famous Liberal Principle of Legitimacy, the exercise of political power is legitimate only if it is justifiable to all citizens. The currently dominant interpretation of what is justifiable to persons in this sense is an internalist one. On this view, what is justifiable to persons depends on their beliefs and commitments. In this paper I challenge this reading of Rawls’s principle, and instead suggest that it is most plausibly interpreted in externalist terms. On this alternative view, (...) what is justifiable to persons is not in any way dependent on, or relativized to, their beliefs and commitments. Instead, what is justifiable to all in the relevant sense is what all could accept as free and equal. I defend this reinterpretation of the view by showing how it is supported by Rawls’s account of the freedom and equality of persons. In addition, a considerable advantage of this suggestion is that it allows for an inclusive account of to whom the exercise of political power must be made justifiable. (shrink)

What is death: a process or a specific declaration? Is it a biological continuum of events or a decision based on medical, ethical, and legal criteria? In our view, it is both, and there are philos...

This book is a defense of the methods of analytic philosophy against a recent empirical challenge to the soundness of those methods. The challenge is raised by practitioners of “experimental philosophy” and concerns the extent to which analytic philosophy relies on intuition—in particular, the extent to which analytic philosophers treat intuitions as evidence in arguing for philosophical conclusions. Experimental philosophers say that analytic philosophers place a great deal of evidential weight on people’s intuitions about hypothetical cases and thought experiments. This (...) book argues that this view of traditional philosophical method is a myth, part of “metaphilosophical folklore.” Analytic philosophy makes regular use of hypothetical examples and thought experiments, but philosophers argue for their claims about what is true or not true in these examples and thought experiments. It is these arguments, not intuitions, that are treated as evidence for the claims. The book discusses xphi and some recent xphi studies; critiques a variety of other metaphilosophical claims; examines such famous arguments as Gettier’s refutation of the JTB theory and Kripke’s Gödel Case argument against descriptivism about proper names, and shows that they rely on reasoning rather than intuition; and finds existing critiques of xphi, the “Multiple Concepts” and “Expertise” replies, to be severely lacking. (shrink)

Investigates the assumptions of such philosophers as Kant, Hegel, Marx, Heidegger and Sartre regarding Jewish existence.

1. Fichtes idealismus und die geschichte. Rechtsphilosophie. Hegel in seinem verhältnis zur weltanschaung der aufklärung. Gibt es einen "Primat der praktischen vernunft" in der logik?--2. Die logik der philosophie und die kategorienlehre. Die lehre vom urteil.--3. Platon. Zum system der logik. Zum system der wissenschaften.

We sketch an account according to which the semantic concepts themselves are not pathological and the pathologies that attend the semantic predicates arise because of the intention to impose on them a role they cannot fulfill, that of expressing semantic concepts for a language that includes them. We provide a simplified model of the account and argue in its light that (i) a consequence is that our meaning intentions are unsuccessful, and such semantic predicates fail to express any concept, and (...) that (ii) in light of this it is incorrect to characterize the pathology simply as semantic inconsistency; a more nuanced view of the problem is needed. We also show that the defects of the semantic predicates need not undercut the use of a truth theory in a compositional semantics for a language containing them because the meaning theory per se need not involve commitment to the axioms of the truth theory it exploits. (shrink)

In Beyond the Limits of Thought [2002], Graham Priest argues that logical and semantic paradoxes have the same underlying structure (which he calls the Inclosure Schema ). He also argues that, in conjunction with the Principle of Uniform Solution (same kind of paradox, same kind of solution), this is sufficient to 'sink virtually all orthodox solutions to the paradoxes', because the orthodox solutions to the paradoxes are not uniform. I argue that Priest fails to provide a non-question-begging method to 'sink (...) virtually all orthodox solutions', and that the Inclosure Schema cannot be the structure that underlies the Liar paradox. Moreover, Ramsey was right in thinking that logical and semantic paradoxes are paradoxes of different kinds. (shrink)

We develop approximate counting of sets definable by Boolean circuits in bounded arithmetic using the dual weak pigeonhole principle (dWPHP(PV)), as a generalization of results from [15]. We discuss applications to formalization of randomized complexity classes (such as BPP, APP, MA, AM) in PV₁ + dWPHP(PV).

The unfolding of string theory has led to a successive refinement and generalization of our understanding of geometry and topology. A brief overview of these developments is given.

This paper explores in detail an argument for epistemic expressivism, what we call the Argument from Motivation. While the Argument from Motivation has sometimes been anticipated, it has never been set out in detail. The argument has three premises, roughly, that certain judgments expressed in attributions of knowledge are intrinsically motivating in a distinct way (P1); that motivation for action requires desire-like states or conative attitudes (HTM); and that the semantic content of knowledge attributions cannot be specified without reference to (...) the intrinsically motivating judgments that such attributions express (P2). We argue that these premises entail a version of ecumenical expressivism. Since the argument from motivation has not been explicitly stated before, there is no current discussion of the argument. In this paper we therefore consider and reject various objections that one might propose to the argument, including some that stem from the idea that knowledge is factive, or that knowledge involves evidence that rules out relevant alternatives. Other objections to (P1) specifically might be derived from cases of apparent lack of epistemic motivation considered in in Kvanvig (The value of knowledge and the pursuit of understanding, 2003) and Brown (Nous 42(2):167–189, 2008), as well as from general forms of externalism about epistemic motivation. We consider these and find them wanting. Finally, the paper offers some critical remarks about the prospect of denying (P2). (shrink)

We show how to formalize approximate counting via hash functions in subsystems of bounded arithmetic, using variants of the weak pigeonhole principle. We discuss several applications, including a proof of the tournament principle, and an improvement on the known relationship of the collapse of the bounded arithmetic hierarchy to the collapse of the polynomial-time hierarchy.

Timothy Michael Fowler has argued that, as a consequence of their commitment to neutrality in regard to comprehensive doctrines, political liberals face a dilemma. In essence, the dilemma for political liberals is that either they have to give up their commitment to neutrality (which is an indispensible part of their view), or they have to allow harm to children. Fowler’s case for this dilemma depends on ascribing to political liberals a view which grants parents a great degree of freedom in (...) deciding on the education of their children. I show that ascribing this view to political liberals rests upon a misinterpretation of political liberalism. Since political liberals have access to reasons based upon the interests of children, they need not yield to parent’s wishes about the education of their children. A correct understanding of political liberalism thus shows that political liberals do not face the dilemma envisaged by Fowler. (shrink)

Comprises the Charles F. Deems Lectures delivered at New York University in 1968. Discusses the significance of the Holocaust, emphasizing theological issues, and its uniqueness in history. An authentic response to it - religious or secular - is a commitment to the autonomy and security of the State of Israel. Refers to Jewish midrash to explore the meaning and significance of the Holocaust and relates Jewish thinking about the Holocaust to Jewish thinking about earlier catastrophes. Jewish particularism remains a scandal (...) to modern secularism. Pt. 3 (p. 67-104), "The Commanding Voice of Auschwitz", states that the death of God occurs in the inward realm of the spirit alone and nowhere else. The imperative for Jews is not to flee being Jewish: "Jews are forbidden to hand Hitler posthumous victories. They are commanded to survive as Jews". (shrink)

If, in content and in method, philosophy and religion conflict, can there be a Jewish philosophy? What makes a Jewish thinker a philosopher? Emil L. Fackenheim confronts these questions in a profound and insightful series of essays on the great Jewish thinkers from Maimonides through Hermann Cohen, Martin Buber, Franz Rosenzweig, and Leo Strauss. Fackenheim also contemplates the task of Jewish philosophy after the Holocaust. While providing access to key Jewish thinkers of the past, this volume highlights the exciting (...) achievements of one of today's most creative and most important Jewish philosophers. (shrink)

One of the major works of the great German theologian Emil Brunner, The Divine Imperative deals with what we ought to do. People are unconvinced that there is an inviolable moral obligation governing human life because they do not believe that the 'good'can be precisely and clearly known. Haven't some generations called bad what others have called good? Aren't moral standards relative? Doesn't religion lack uniform and practical moral guidance? Brunner discusses the moral confusion we face. He analyses the (...) nature of the Good, showing why the Christian faith as understood by the Protestant Reformers provides the only true approach and answer to the ethical problem. Philosophical ethics, whether ancient or modern, cannot correctly define the Good, becausethe Good is regarded either as too abstract and absolute or as too concrete and relative. Christianity, by contrast, sees the moral problem as one of responsibility between humans who are created so as to respond to God. He created men for responsive fellowship with Him, establishing orderly ways of acting in the world. Correct understanding of the nature of society, family, state, economic life, is needed to discern one's duty. Because Brunner's analysis is at once fundamental and comprehensive, this book remains a fresh and compelling treatment of the moral problem. It offers a provocative discussion and solution of a perennial human problem. (shrink)

It has been argued that there is a genuine conflict between the views of geometry defended by Hume in the Treatise and in the Enquiry: while the former work attributes to geometry a different status from that of arithmetic and algebra, the latter attempts to restore its status as an exact and certain science. A closer reading of Hume shows that, in fact, there is no conflict between the two works with respect to geometry. The key to understanding Hume's view (...) of geometry is the distinction he draws between two standards of equality in extension. (shrink)

We investigate the provability of some properties of abelian groups and quadratic residues in variants of bounded arithmetic. Specifically, we show that the structure theorem for finite abelian groups is provable in S22 + iWPHP, and use it to derive Fermat's little theorem and Euler's criterion for the Legendre symbol in S22 + iWPHP extended by the pigeonhole principle PHP. We prove the quadratic reciprocity theorem in the arithmetic theories T20 + Count2 and I Δ0 + Count2 with modulo-2 counting (...) principles. (shrink)

This paper considers the view that the basis of equality is the range property of being a moral person. This view, suggested by John Rawls in his A Theory of Justice (1971), is commonly dismissed in the literature. By defending the view against the criticism levelled against it, I aim to show that this dismissal has been too quick. The critics have generally failed to fully appreciate the fact that Rawls's account is restricted to the domain of distributive justice. On (...) Rawls's view distributive justice is a matter of the fair terms of cooperation among the participants of a system of social cooperation. I argue that this understanding of distributive justice can provide a compelling rationale for considering moral personality as the basis of equality for this domain of morality. That moral persons are indeed equal is further supported by an intuitive argument concerning the irrelevance of morally arbitrary factors, giving us reasons to believe that varying capacities among moral persons does not result in an unequal moral status. The dismissal of Rawls's account of equality has thus been premature, and it remains an important view to consider. (shrink)

John Rawls A Theory of Justice har haft ett monumentalt inflytande på den moderna politiska filosofin. Jag försöker här genom några nedslag i den nutida diskussionen förmedla en bild av detta inflytande, och av bokens fortsatta filosofiska relevans. Jag inleder med en kort presentation av huvuddragen i Rawls rättviseteori. Efter det går jag igenom, och bemöter, kritiken mot idealteori. Jag diskuterar sedan förhållandet mellan rättvisa och ekonomisk ojämlikhet, och förklarar varför teorin är radikalare än vad många kritiker insett. Slutligen går (...) jag igenom hur en kontraktsteori av detta slag kan hantera frågan om rättvisa mellan generationer. (shrink)

Keine ausführliche Beschreibung für "Religionsphilosophie evangelischer Theologie" verfügbar.