*Please email me for a copy of the paper if you are interested! -/- Liberal theories of animal consciousness maintain that we should attribute consciousness widely across various species. Conservative theories of animal consciousness maintain that we should not attribute consciousness widely. This paper makes a case for a conservative theory of animal consciousness. The case depends on two defensive moves and one offensive move. The defensive moves indicate that the indistinguishable causal profiles of conscious and non-conscious mental states are (...) not a problem for conservative theories and that intuitions about animal consciousness should not play a role in theory selection. Offensively, I argue that liberal theories of animal consciousness are less parsimonious than conservative theories. The upshot is that liberal theories of animal consciousness are not obviously rationally preferable to conservative theories. (shrink)

The writer commences:—“There was a time, when the earth was to all appearance utterly destitute both of animal and vegetable life, and when according to the opinion of our best philosophers it was simply a hot round ball with a crust gradually cooling. Now if a human being had existed while the earth was in this state and had been allowed to see it as though it were some other world with which he had no concern, and if at the (...) same time he were entirely ignorant of all physical science, would he not have pronounced it impossible that creatures possessed of anything like consciousness should be evolved from the seeming cinder which he was beholding? Would he not have denied that it contained any potentiality of consciousness? Yet in the course of time consciousness came. Is it not possible then that there may be even yet new channels dug out for consciousness, though we can detect no signs of them at present? (shrink)

Why should we care what happens to future generations? Samuel Scheffler argues that we are more invested in the fate of our descendants than we may realize. Implicit in our own attachments are powerful reasons for wanting the chain of human generations to persist into the indefinite future under conditions conducive to human flourishing.

Traditionally, logic has been the dominant formal method within philosophy. Are logical methods still dominant today, or have the types of formal methods used in philosophy changed in recent times? To address this question, we coded a sample of philosophy papers from the late 2000s and from the late 2010s for the formal methods they used. The results indicate that the proportion of papers using logical methods remained more or less constant over that time period but the proportion of papers (...) using probabilistic methods was approximately three times higher in the late 2010s than it was in the late 2000s. Further analyses explored this change by looking more closely at specific methods, specific levels of technical engagement, and specific subdisciplines within philosophy. These analyses indicate that the increasing proportion of papers using probabilistic methods was pervasive, not confined to particular probabilistic methods, levels of sophistication, or subdisciplines. (shrink)

Much current debate in the metaphysics of time is between A-theorists and B-theorists. Central to this debate is the assumption that time exists and that the task of metaphysics is to catalogue time’s features. Relatively little consideration has been given to an error theory about time. Since there is very little extant work on temporal error theory the goal of this paper is simply to lay the groundwork to allow future discussion of the relative merits of such a view. The (...) paper thus develops a conceptual framework from within which to evaluate claims about the actual existence, or not, of temporality as that notion appears in folk discourses about time, and from there to examine claims about the counterfactual existence, or not, of temporality so conceived. We subsequently apply this framework to three extant positions drawn from physics and metaphysics that deny the existence of time. We show that only one of these positions is a folk temporal error theory; that is, a view that denies the existence of time as that notion is operative in our everyday thought and talk. (shrink)

Cook and Reckhow defined a propositional formulation of the pigeonhole principle. This paper shows that there are Frege proofs of this propositional pigeonhole principle of polynomial size. This together with a result of Haken gives another proof of Urquhart's theorem that Frege systems have an exponential speedup over resolution. We also discuss connections to provability in theories of bounded arithmetic.

Ever since Hegel famously objected to Kant’s universalization formulations of the Categorical Imperative on the grounds that they are nothing but an empty formalism, there has been continual debate about whether he was right. In this paper I argue that Hegel got things at least half-right: I argue that even if negative duties (duties to omit actions or not to adopt maxims) can be derived from the universalization formulations, positive duties (duties to commit actions or to adopt maxims) cannot. The (...) paper is divided into three main sections. In the first, I set out the procedures generally accepted among Kantians for deriving positive duties from the universalization formulations. In the second, I set out the arguments from section 1 in more detail and explain why they do not work. In the third, I examine a strategy that might be used to supplement the arguments from section 2 and I argue that it also does not work. (shrink)

This paper shows that Hannah Arendt was a theorist both of secularization as a process and the secular as a goal of modern politics. It reconstructs these arguments in her corpus, especially her book "On Revolution," and argues that this dimension of her work may have been a response to Carl Schmitt (and is in any event now usefully read in such a way). The paper ends by examining how Arendt might reply to currently influential challengers of a secular politics.

Mathematician and philosopher Hermann Weyl had our subject dead to rights.

We study the long-standing open problem of giving$\forall {\rm{\Sigma }}_1^b$separations for fragments of bounded arithmetic in the relativized setting. Rather than considering the usual fragments defined by the amount of induction they allow, we study Jeřábek’s theories for approximate counting and their subtheories. We show that the$\forall {\rm{\Sigma }}_1^b$Herbrandized ordering principle is unprovable in a fragment of bounded arithmetic that includes the injective weak pigeonhole principle for polynomial time functions, and also in a fragment that includes the surjective weak pigeonhole (...) principle for FPNPfunctions. We further give new propositional translations, in terms of random resolution refutations, for the consequences of$T_2^1$augmented with the surjective weak pigeonhole principle for polynomial time functions. (shrink)

Scheffler discusses the role of thick concepts in the context of Williams’s main ethical book. He is critical of Williams’s distinction between thick and thin concepts, pointing out that with great problems, justice cannot be said to be either thick or thin.

In this article, I explore how the ideas of French philosopher Emmanuel Levinas offer insights into a debate often held today in the field of corporate governance, concerning the relative merits of statutory and voluntary approaches to the regulation of business. The philosophical position outlined by Levinas questions whether any rule-based systematisation of ethical responsibility, either statutory or voluntary, can ever equate to a genuine responsibility for the other person. I reflect on how various authors have adapted Levinas’s philosophy to (...) form a critique of bureaucracy and rule following in business, and the lack of ethical authenticity in corporate codes. However, this article also considers the question of whether a theoretical separation can be made between an ethical responsibility based on sensibility (as is suggested by Levinas) and a rational conceptualisation of how one is required to act. Considering the difficulty of disentangling these notions of ethics, I return to the problem of corporate governance and suggest an approach to stakeholder conflict based on mediation and dialogue, which rules out neither principles of conduct nor an openness of responsibility to the Other. (shrink)

The vast majority of philosophers and legal theorists who have thought about the issue agree that there is such a thing as a moral right to privacy. However, there is little or no theoretical consensus about the nature of this right. According to reductionists, the right to privacy amounts to nothing more than a cluster of property rights and rights over the person, and therefore plays no autonomous explanatory role in moral theory (Thomson 1975, Davis 1959). Among non-reductionists, there are (...) almost as many accounts of the right to privacy as there are synagogues in the old town of Jerusalem. For one group of non-reductionists (perhaps the majority), the right to privacy is properly understood as a right of control, a form of autonomy. Within this group, some think that the right to privacy is the right to control information about oneself (Westin 1967, Beardsley 1971, Gerstein 1978, Fried 1970, Moore 2003), while others insist that it is the right to control access to oneself (Parker 1974, Scanlon 1975, Rachels 1975, Reiman 1976, Van den Haag 1971). For another group of non-reductionists, the right to privacy is the right to cognitive and/or physical inaccessibility (Gavison 1980, Garrett 1974, Allen 1988). Though these are by far the most widely adopted non-reductionist accounts of the relevant right, they are by no means the only ones currently on offer. There are hybrid accounts according to which the right to privacy is a cluster of various rights of control (Inness 1992) or a cluster of various rights of control and restricted access (DeCew 1997). And according to an influential “information-based” account, the right to privacy 1 is defined as the right that others not possess undocumented personal information about the right-holder (Parent 1983a; 1983b). The purpose of this paper is to bring some order to this theoretical chaos. On my view, none of these accounts of the right to privacy is accurate.. (shrink)

The global pessimistic meta-induction argues from the falsity of scientific theories accepted in the past to the likely falsity of currently accepted scientific theories. I contend that this argument commits a statistical error previously unmentioned in the literature and is self-undermining. I then compare the global pessimistic meta-induction to a local pessimistic meta-induction based on recent negative assessments of the reliability of medical research. If there is any future in drawing pessimistic conclusions from the history of science, it lies in (...) local meta-inductions, but these meta-inductions will not result in global distrust of the results of science. (shrink)

The American Journal of Bioethics, Volume 11, Issue 6, Page 48-49, June 2011.

This essay argues that §49 of Kant’s third Critique pursues the question of the nature of genius through an analysis of the spectator’s response to beautiful art. It presents and defends a spectator-centered interpretation of §49’s opening paragraphs, which clarifies Kant’s notion of aesthetic ideas and reveals that beautiful art provokes a productive imaginative activity in its spectators. This interpretation is significant because it elucidates the character of Kant’s account of genius and his understanding of art criticism. Moreover, it suggests (...) that the imagination’s productive activity may provide a certain satisfaction to theoretical reason’s natural but unrequited desire for knowledge of the transcendent. (shrink)

There was a consensus in late Scholasticism that evils are privations, the lacks of appropriate perfections. For something to be evil is for it to lack an excellence that, by its nature, it ought to have. This widely accepted ontology of evil was used, in part, to help explain the source of evil in a world created and sustained by a perfect being. during the second half of the seventeenth century, progressive early moderns began to criticize the traditional privative account (...) of evil on a variety of philosophical and theological grounds. Embedded in Scholastic Aristotelianism and applied to problems of evil, privation theory seemed to some like yet another instance of pre-modern pseudo-explanation.1Against this .. (shrink)

This is the text of The Lindley Lecture for 1994, given by Samuel Scheffler, an American philosopher.

If one is interested in reasoning counterfactually within a physical theory, one cannot adequately use the standard possible world semantics. As developed by Lewis and others, this semantics depends on entertaining possible worlds with miracles, worlds in which laws of nature, as described by physical theory, are violated. Van Fraassen suggested instead to use the models of a theory as worlds, but gave up on determining the needed comparative similarity relation for the semantics objectively. I present a third way, in (...) which this similarity relation is determined from properties of the models contextually relevant to the truth of the counterfactual under evaluation. After illustrating this with a simple example from thermodynamics, I draw some implications for future work, including a renewed possibility for a viable deflationary account of laws of nature. (shrink)

Can an agent's intelligence level be negative? We extend the Legg-Hutter agent-environment framework to include punishments and argue for an affirmative answer to that question. We show that if the background encodings and Universal Turing Machine (UTM) admit certain Kolmogorov complexity symmetries, then the resulting Legg-Hutter intelligence measure is symmetric about the origin. In particular, this implies reward-ignoring agents have Legg-Hutter intelligence 0 according to such UTMs.

We introduce an analogue of the theory of Borel equivalence relations in which we study equivalence relations that are decidable by an infinite time Turing machine. The Borel reductions are replaced by the more general class of infinite time computable functions. Many basic aspects of the classical theory remain intact, with the added bonus that it becomes sensible to study some special equivalence relations whose complexity is beyond Borel or even analytic. We also introduce an infinite time generalization of the (...) countable Borel equivalence relations, a key subclass of the Borel equivalence relations, and again show that several key properties carry over to the larger class. Lastly, we collect together several results from the literature regarding Borel reducibility which apply also to absolutely $\Delta^1_2$ reductions, and hence to the infinite time computable reductions. (shrink)

This volume is the first part of a larger work on the philosophy of Solomon Maimon and its systematic place in the history of thought. Here we deal with so me of the fundamental themes of Maimon's philosophy, including his examination of Kant's philosophy, his re lation to such immediate post-Kantians as Reinhold and Schulze, and the relation between him and Fichte. The second volume will concern itself with such aspects of Maimon's theoretical philosophy as the prob lem of the (...) categories, the relation between idea and fiction, the concept of a universal soul, and practical philosophy, that is, ethics and the philosophy of law. Chapters V, VII, and X of this volume contain, with substantial revisions in form and content, material that appeared originally in scholarly periodicals. Grateful acknowledgment is made to the Hebrcw Union College A nnual for permission to use the substance of my articles: "Solomon Maimon's Treatment of the Problems of Antinomies and Its Relation to Maimonides," H.U.C.A., Vol. XXI; "Maimon and Mai monides," H.U.C.A., Vol. XXII, part one; and to the Journal 0/ the History 0/ I deas, for permission to use the substance of my essay "Solomon Maimon's Doctrine of Infinite Reason and Its Historical Relations," J.H.I., Vol. XIII, No. 2. (shrink)

In April 2020, close to the start of the first U.K. COVID-19 lockdown, the U.K. government announced the development of a COVID-19 contact tracing app, which was later trialled on the U.K. island, the Isle of Wight, in May/June 2020. United Kingdom surveys found general support for the development of such an app, which seemed strongly influenced by public trust. Institutions developing the app were called upon to fulfil the commitment to public trust by acting with trustworthiness. Such calls presuppose (...) that public trust associated with the app can emerge if the conditions for trustworthiness are met and that public trust is simplistic, i.e., linearly the sum of each member of the publics’ individual – U.K. government trust relationship. Drawing on a synthesis of the trust literature and fifteen interviews with members of the public trialling the app on the Isle of Wight, this paper aims to explore what trust mechanisms and relationships are at play when thinking about public trust in the context of the U.K. COVID-19 app. We argue that public trust is a complex social phenomenon and not linearly correlated with institutional trustworthiness. As such, attention needs to widen from calls for trustworthy infrastructures as a way to build public trust, to a deeper understanding of those doing the trusting; in particular, what or whom do people place their trust in when considering whether using the app and why. An understanding of this will help when trying to secure public trust during the implementation of necessary public health measures. (shrink)

Nelson Goodman has constructed two theories of simplicity: one of predicates; one of hypotheses. I offer a simpler theory by generalization and abstraction from his. Generalization comes by dropping special conditions Goodman imposes on which unexcluded extensions count as complicating and which excluded extensions count as simplifying. Abstraction is achieved by counting only nonisomorphic models and subinterpretations. The new theory takes into account all the hypotheses of a theory in assessing its complexity, whether they were projected prior to, or result (...) from, projection of a given hypothesis. It assigns simplicity post-projection priority over simplicity pre-projection. It better orders compound conditionals than does the theory of simplicity of hypotheses, and it does not inherit an anomaly of the theory of simplicity of predicates — its failure to order the ordering relations. Drop Goodman's special conditions, and the problems fall away with them. (shrink)

This paper discusses lower bounds for proof length, especially as measured by number of steps (inferences). We give the first publicly known proof of Gödel's claim that there is superrecursive (in fact. unbounded) proof speedup of (i + 1)st-order arithmetic over ith-order arithmetic, where arithmetic is formalized in Hilbert-style calculi with + and · as function symbols or with the language of PRA. The same results are established for any weakly schematic formalization of higher-order logic: this allows all tautologies as (...) axioms and allows all generalizations of axioms as axioms. Our first proof of Gödel's claim is based on self-referential sentences: we give a second proof that avoids the use of self-reference based loosely on a method of Statman. (shrink)