Goldman, though still a reliabilist, has made some recent concessions to evidentialist epistemologies. I agree that reliabilism is most plausible when it incorporates certain evidentialist elements, but I try to minimize the evidentialist component. I argue that fewer beliefs require evidence than Goldman thinks, that Goldman should construe evidential fit in process reliabilist terms, rather than the way he does, and that this process reliabilist understanding of evidence illuminates such important epistemological concepts as propositional justification, ex ante justification, and defeat.

The project of “public reason” claims to offer an epistemological resolution to the civic dilemma created by the clash of incompatible options for the rational exercise of freedom adopted by citizens in a diverse community. The present Article proposes, via consideration of a contrast between two classical accounts of dialectical reasoning, that the employment of “public reason,” in substantive due process analysis, is unworkable in theory and contrary to more reflective Supreme Court precedent. Although logical commonalities might be available to (...) pick out from the multitude of particularized accounts of what constitutes “civic order,” no “public reason” so derived could adequately capture - and thus be able to secure in a practical sense - any single determinate civic order, much less one that would be consistent with all citizens' conceptions of public order. Part I of this Article raises a number of issues for consideration relating to the epistemology of law and focuses especially on the concept of public reason and its critique. Part II addresses alternative approaches to legal reasoning suggested by classical accounts of practical reasoning and virtue theory and considers the operation of such legal analysis outside the area of substantive due process; Part III analyzes post-Lawrence case law confirming the dilemma created by the Supreme Court's ambiguous approaches to substantive due process and concludes that only one interpretation - that articulated fully in Washington v. Glucksberg and given lip service in Lawrence v. Texas - provides a method for resolving novel substantive due process challenges that is philosophically sound as well as historically coherent. Rather than perpetuating a fiction that denies the propriety of lawmaking unless based on principles that all citizens can rationally agree upon, an appropriate model of substantive due process analysis recognizes that law must inevitably be based upon principles that cannot be agreed upon by all citizens in virtue of rationality alone. -/- Abstract Footnotes (291) Beta -/- Revise My Submission -/- -/- One-Click Download | Share | Email | Add to Briefcase -/- Facebook | Twitter | Digg | Del.icio.us | CiteULike | Permalink Using the URL or DOI link below will ensure access to this page indefinitely -/- Based on your IP address, your paper is being delivered by: New York, USA Processing request. [Processing request.] Illinois, USA Processing request. [Processing request.] Brussels, Belgium Processing request. [Processing request.] Seoul, Korea Processing request. [Processing request.] California, USA Processing request. [Processing request.] -/- If you have any problems downloading this paper, please click on another Download Location above, or view our FAQ File name: SSRN-id1004757. ; Size: 424K -/- Sample Cover You will receive a black and white printed and perfect bound version of this document in 8 1/2 x 11 inch format, with glossy color front and back covers. Currently shipping to the US addresses only. Your order will be shipped within three business days. Quantity: Total Price = $0.50 plus shipping (U.S. Only) -/- If you have any problems with this purchase, please email [email protected] or call 1-585-442-8170. Reason's Freedom and the Dialectic of Ordered Liberty -/- Edward C. Lyons University of Notre Dame Law School -/- Cleveland State Law Review, Vol. 55, p. 157, 2007 -/- Abstract: The project of "public reason" claims to offer an epistemological resolution to the civic dilemma created by the clash of incompatible options for the rational exercise of freedom adopted by citizens in a diverse community. The present Article proposes, via consideration of a contrast between two classical accounts of dialectical reasoning, that the employment of "public reason," in substantive due process analysis, is unworkable in theory and contrary to more reflective Supreme Court precedent. Although logical commonalities might be available to pick out from the multitude of particularized accounts of what constitutes "civic order," no "public reason" so derived could adequately capture - and thus be able to secure in a practical sense - any single determinate civic order, much less one that would be consistent with all citizens' conceptions of public order. -/- Part I of this Article raises a number of issues for consideration relating to the epistemology of law and focuses especially on the concept of public reason and its critique. Part II addresses alternative approaches to legal reasoning suggested by classical accounts of practical reasoning and virtue theory and considers the operation of such legal analysis outside the area of substantive due process; Part III analyzes post-Lawrence case law confirming the dilemma created by the Supreme Court's ambiguous approaches to substantive due process and concludes that only one interpretation - that articulated fully in Washington v. Glucksberg and given lip service in Lawrence v. Texas - provides a method for resolving novel substantive due process challenges that is philosophically sound as well as historically coherent. -/- Rather than perpetuating a fiction that denies the propriety of lawmaking unless based on principles that all citizens can rationally agree upon, an appropriate model of substantive due process analysis recognizes that law must inevitably be based upon principles that cannot be agreed upon by all citizens in virtue of rationality alone. -/- Keywords: substantive due process, practical reason, public reason, Rawls, Casey, Lawrence, Glucksberg, Plato, Aristotle, Kant, Hegel, dialectic, autonomy, freedom -/- . (shrink)

Broadly speaking, the contemporary scientific realist is concerned to justify belief in what we might call theoretical truth, which includes truth based on ampliative inference and truth about unobservables. Many, if not most, contemporary realists say scientific realism should be treated as ‘an overarching scientific hypothesis’ (Putnam 1978, p. 18). In its most basic form, the realist hypothesis states that theories enjoying general predictive success are true. This hypothesis becomes a hypothesis to be tested. To justify our belief in the (...) realist hypothesis, realists commonly put forward an argument known as the ‘no-miracles argument’. With respect to the basic hypothesis this argument can be stated as follows: it would be a miracle were our theories as successful as they are, were they not true; the only possible explanation for the general predictive success of our scientific theories is that they are true. (shrink)

This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...) completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

This article endeavors to identify the strongest versions of the two primary arguments against epistemic scientific realism: the historical argument—generally dubbed “the pessimistic meta-induction”—and the argument from underdetermination. It is shown that, contrary to the literature, both can be understood as historically informed but logically validmodus tollensarguments. After specifying the question relevant to underdetermination and showing why empirical equivalence is unnecessary, two types of competitors to contemporary scientific theories are identified, both of which are informed by science itself. With the (...) content and structure of the two nonrealist arguments clarified, novel relations between them are uncovered, revealing the severity of their collective threat against epistemic realism and its “no-miracles” argument. The final section proposes, however, that the realist’s axiological tenet “science seeks truth” is not blocked. An attempt is made to indicate the promise for a nonepistemic, purely axiological scientific realism—here dubbed “Socratic scientific realism.”. (shrink)

Outside of philosophy, ‘intuition’ means something like ‘knowing without knowing how you know’. Intuition in this broad sense is an important epistemological category. I distinguish intuition from perception and perception from perceptual experience, in order to discuss the distinctive psychological and epistemological status of evaluative property attributions. Although it is doubtful that we perceptually experience many evaluative properties and also somewhat unlikely that we perceive many evaluative properties, it is highly plausible that we intuit many instances of evaluative properties as (...) such. The resulting epistemological status of evaluative property attributions is very much like it would be if we literally perceived such properties. (shrink)

In this paper I distinguish between two kinds of meta-hypotheses, or hypotheses about science, at issue in the scientific realism debate. The first are descriptive empirical hypotheses regarding the nature of scientific inquiry. The second are epistemological theories about what individuals should / can justifiably believe about scientific theories. Favoring the realist Type-D meta-hypotheses, I argue that a particular set of realist and non-realist efforts in the debate over Type-E’s have been valuable in the quest to describe and understand the (...) nature of scientific inquiry. For the realism debate itself has inadvertently and indirectly laid the foundations for an important kind of Type-D meta-hypothesis, one regarding creativity in the history of science—which, in turn, is relevant to refining our descriptions of inference. After illustrating this result with regard to the historical argument against realism, I suggest that these empirically attained meta-hypotheses pertaining to scientific creativity can, in turn, be made methodologically prescriptive. (shrink)

In this article, responding to assertions that the principle of double effect has no place in legal analysis, I explore the overlap between double effect and negligence analysis. In both, questions of culpability arise in situations where a person acts with no intent to cause harm but where reasonable foreseeability of unintended harm exists. Under both analyses, the determination of whether such conduct is permissible involves a reasonability test that balances that foreseeable harm against the good intended by the actor's (...) conduct. In both, absent a finding that the foreseeable harm is unreasonable in light of that intended good, no liability will be imposed upon the actor. Even conceding, however, such general similarity between double effect and negligence analysis - disagreement over the proper interpretation of the reasonability criterion at play in negligence poses an additional challenge for the attempt to correlate negligence with double effect. Economic efficiency interpretations of negligence, for example, purportedly based on the Learned Hand Formula and the RESTATEMENT (SECOND) OF THE LAW OF TORTS, propose that culpability depends upon a utilitarian balancing of good effects of conduct (utility) versus its harmful foreseeable consequences (magnitude of risk of injury). Based on such an interpretation of negligence, however, contrasts between actors' states of mind, and normative differences between kinds of goods and harms, ultimately fade into the background and become irrelevant as essential conditions for properly assessing liability. This article elaborates and defends the view that double effect analysis lies at the heart of negligence theory. Part I elucidates in more detail the principle of double effect and describes its prima facie operation in negligence analysis. Part II considers and rejects the economic efficiency interpretation that has been offered as a theory of negligence, overcoming the challenge that such an interpretation presents for the effort to locate double effect analysis in the law. Part III illustrates and confirms the overlap between double effect and negligence by consideration of a series of case applications. The Article proposes that the weighing of conflicting values in double effect analysis and negligence is not achieved - as proposed by law and economics theory with respect to negligence - by imposing a consequentialist-utilitarian reduction of all value to a single concept of good and eliminating the relevance of traditional state of mind distinctions between intention and foreseeability. Instead, each mode of analysis recognizes that distinct culpability determinations flow naturally and plausibly from an appreciation of the traditional legal distinctions made between various types of goods and harms, and upon whether such goods and harms come about as result of an actor's intention or mere foreseeability. Keywords: Double effect, negligence, intention, foreseeability, choice, law and economics, utilitarianism, consequentialism, weighing of values. (shrink)

To what extent are cognitive capacities, especially perceptual capacities, informationally encapsulated and to what extent are they cognitively penetrable? And why does this matter? Two reasons we care about encapsulation/penetrability are: (a) encapsulation is sometimes held to be definitional of modularity, and (b) penetrability has epistemological implications independent of modularity. I argue that modularity does not require encapsulation; that modularity may have epistemological implications independently of encapsulation; and that the epistemological implications of the cognitive penetrability of perception are messier than (...) is sometimes thought. (shrink)

Abstract: In Vacco v. Quill, 521 U.S. 793 (1997), the Supreme Court for the first time in American case law explicitly applied the principle of double effect to reject an equal protection claim to physician-assisted suicide. Double effect, traced historically to Thomas Aquinas, proposes that under certain circumstances it is permissible unintentionally to cause foreseen evil effects that would not be permissible to cause intentionally. The court rejected the constitutional claim on the basis of a distinction marked out by the (...) principle, i.e., between directly intending the death of a terminally ill patient as opposed to merely foreseeing that death as a consequence of medical treatment. The Court held that the distinction comports with fundamental legal principles of causation and intent. Id. at 802. -/- Critics allege that the principle itself is intrinsically flawed and that, in any event, its employment in Vacco is without legal precedent. I argue in response to contemporary objections that double effect is a valid principle of ethical reflection (Part II); claims to the contrary notwithstanding, double effect analysis is a pervasive, albeit generally unacknowledged principle employed regularly in American case law (Part III); and drawing on the preceding two sections, Vacco's application of the principle of double effect is appropriate (Part IV). -/- My conclusion is that [o]peration of some form of the principle, by whatever name, is inevitable. In an imperfect world where duties and interests collide, the possibility of choices of action foreseen to have both good and evil consequences cannot be avoided. In rare circumstances, ethics and the law require that a person refrain from acting altogether. More often, however, they provide that a determination of whether an actor may pursue a good effect although knowing it will or may unintentionally cause an harmful effect requires a more complex analysis - a double effect analysis. -/- Keywords: Equal protection, double effect, intention, physician-assisted suicide, Constitutional Law, Bioethics. (shrink)

To address the underrepresentation of women in philosophy effectively, we must understand the causes of the early loss of women. In this paper we challenge one of the few explanations that has focused on why women might leave philosophy at early stages. Wesley Buckwalter and Stephen Stich offer some evidence that women have different intuitions than men about philosophical thought experiments. We present some concerns about their evidence and we discuss our own study, in which we attempted to replicate their (...) results for 23 different responses to 14 scenarios . We also conducted a literature search to see if other philosophers or psychologists have tested for gender differences in philosophical intuitions. Based on our findings, we argue that that it is unlikely that gender differences in intuitions play a significant role in driving women from philosophy. (shrink)

As many as you know, the title of this article was also the title of an international philosophy for children symposium held at the Menger Hotel in downtown San Antonio on April 12-14, 1989. The symposium was the culminating event of a year-long project in which third, fourth, and fifth grade teachers from four area schools implemented the philosophy for children program in their schools. In addition to a brief history of this project and a summary of the symposium and (...) related events, the paper concludes with reactions to this year long project from both teachers and students involved in the program. (shrink)

Gratitude, the proper or fitting response to benevolence, has often been conceptualized as a virtue—a temporally stable disposition to perceive, think, feel, and act in certain characteristic ways in certain situations. Many accounts of gratitude as a virtue, however, have not analyzed this disposition accurately, and as a result, they have not revealed the rich variety of ways in which someone can fail to be a grateful person. In this paper, I articulate an account of the virtue of gratitude, and (...) I use this account to explore various vices that can manifest in its absence. (shrink)

This essay is an inquiry into John McDowell’s thinking on ‘subjectivity.’ The project consists in two parts. On the one hand, I will discuss how McDowell understands and responds to the various issues he is tackling; on the other, I will approach relevant issues concerning subjectivity by considering different aspects of it: a subject as a perceiver, knower, thinker, speaker, agent, person and (self-) conscious being in the world. The inquiry begins by identifying and resolving a tension generated by the (...) very idea of ‘rational animal’: human beings are at the same time natural and rational. Later the inquiry proceeds by considering how McDowell’s notion of ‘second nature’ enables us to be human subjects with many faces. By going through the diagnoses and responses of McDowell, two central problems in modern and contemporary philosophy – the narrow conception of nature and the Cartesian inner space model – are identified and repelled. In Episode N I first urge that we should leave room for a certain notion of ‘world.’ I further argue that mentality has many aspects, and to understand those aspects is to understand the many faces of human subject. In Episode Ⅰ the Aristotelian notion of ‘second nature’ is discussed in order to resolve the tension in the very idea of ‘rational animal.’ Later I reply to some worries about this maneuver, including the objection from Crispin Wright. Hans-Georg Gadamer’s distinction between world and environment is introduced and related to McDowell’s thinking. Episode Ⅱ discusses perception and knowledge; McDowell’s main target – the Cartesian inner space – is introduced and criticized. Barry Stroud’s and Simon Blackburn’s positions are evaluated. Later I connect the main theme of Mind and World to the present context; in particular, I discuss McDowell’s invocation of Donald Davidson and Immanuel Kant. And then I discuss a common accusation of idealism, and Robert Brandom’s accusation of ‘residual individualism.’ Episode Ⅲ concentrates on Saul Kripke’s Wittgenstein, arguing that the master thesis behind the rule-following paradox is a version of the inner space model, and that Kripke’s Wittgenstein is not Wittgenstein. Martin Kusch’s objections are answered; Michael Dummett’s demand of reductionism is rebutted. After this, I turn to Davidson’s ‘no language’ claim, and discuss to what extent McDowell agrees with him. In Episode Ⅳ I evaluate objections from Hubert Dreyfus concerning action and agency. I discuss how Dreyfus and Maurice Merleau-Ponty commit ‘the Myth of the Disembodied Intellect’ identified by McDowell. I answer Michael Ayer’s charge of intellectualism in passing. Later I bring in McDowell’s objections to Derek Parfit on personhood and to Davidson on the mind-body relation. In Episode Ⅴ I focus on consciousness and self-consciousness. McDowell applies his argument against Parfit to Kant, but Maximilian de Gaynesford dissents. I reply to his objections on McDowell’s behalf. I further connect this to McDowell’s attacks on the dualism of scheme and content. This leads to my McDowellian rejection to the existence of qualia, and further brings me to the debate between intentionalism and disjunctivism in the context of the argument from illusion. I argue against Tim Crane’s ways of conceiving issues about intentionalism and the argument from illusion. Varieties of disjunctivism are also discussed. In my Epilogue, I express my worry about McDowell’s notion of ‘self-determining subjectivity.’ According to McDowell, human freedom consists in causations in the space of reason, but as Richard Gaskin points out, a satisfying story of it is yet to be provided. I close this essay with some rough ideas about how to fill in the details of the McDowellian picture. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...) semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

In this paper, we introduce and defend the recurrent model for understanding bodily spatial phenomenology. While Longo, Azañón and Haggard (2010) propose a bottom-up model, Bermúdez (2017) emphasizes the top-down aspect of the information processing loop. We argue that both are only half of the story. Section 1 intro- duces what the issues are. Section 2 starts by explaining why the top- down, descending direction is necessary with the illustration from the ‘body-based tactile rescaling’ paradigm (de Vignemont, Ehrsson and Haggard, (...) 2005). It then argues that the bottom-up, ascending direction is also necessary, and substantiates this view with recent research on skin space and tactile field (Haggard et al., 2017). Section 3 discusses the model’s application to body ownership and bodily self-representation. Implications also extend to topics such as sense modality individuation (Macpherson, 2011), the constancy- based view of perception (Burge, 2010), and the perception/cognition divide (Firestone and Scholl, 2016). (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its associated (...) labelled calculus. (shrink)

There are two traditional ways to read Kant's claim that every event necessarily has a cause: the weaker every-event some-cause and the stronger same-cause same-effect causal principles. The focus of the debate about whether and where he subscribes to the SCP has been in the Analogies in the Critique of Pure Reason and in the Metaphysical Foundations of Natural Science. By analysing the arguments and conclusions of both the Analogies and the Postulates as well as the two Latin principles non (...) datur casus and non datur fatum that summarise their results, I will argue for the novel thesis that the SCP is actually demonstrated in the Postulates of the First Critique. (shrink)

Philosophers generally agree that gratitude, the called-for response to benevolence, includes positive feelings. In this paper, I argue against this view. The grateful beneficiary will have certain feelings, but in some contexts, those feelings will be profoundly negative. Philosophers overlook this fact because they tend to consider only cases of gratitude in which the benefactor’s sacrifice is minimal, and in which the benefactor fares well after performing an act of benevolence. When we consider cases in which a benefactor suffers severely, (...) we see the feelings associated with gratitude can be negative, and even quite painful. I conclude with a discussion of the implications negative feelings of gratitude have for the normative question of when gratitude is owed, and for the descriptive claim in positive psychology that gratitude enhances wellbeing. (shrink)

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.

We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...) and which encode certain frame conditions expressible as first-order Horn formulae that correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. (shrink)

: According to Kant, the arguments of rational psychology are formal fallacies that he calls transcendental paralogisms. It remains heavily debated whether there actually is any formal error in the inferences Kant presents: according to Grier and Allison, they are deductively invalid syllogisms, whereas Bennett, Ameriks, and Van Cleve deny that they are formal fallacies. I advance an interpretation that reconciles these extremes: transcendental paralogisms are sound in general logic but constitute formal fallacies in transcendental logic. By formalising the paralogistic (...) inference, I will pinpoint the error as an illegitimate existential presupposition. Since - unlike transcendental logic - general logic abstracts from all objects, this error can only be detected in transcendental logic. (shrink)

The term “consciousness” is very often, though not always, interchangeable with the term “awareness,” which is more colloquial to many ears. We say things like “are you aware that ...” often. Sometimes we say “have you noticed that ... ?” to express similar thoughts, and this indicates a close connection between consciousness (awareness) and attention (noticing), which we will come back to later in this chapter. Ned Block, one of the key figures in this area, provides a useful characterization of (...) what he calls “phenomenal consciousness.” For him, phenomenal consciousness is experience. Experience covers perceptions, e.g., when we see, hear, touch, smell, and taste, we typically have experiences, such as seeing colors and smelling odors. It also covers bodily awareness, e.g., we typically have experiences of our own bodily temperature and positions of limbs. Consciousness is primarily about this experiential aspect of our mental lives. (shrink)

Timothy Williamson’s Knowledge and its Limits has been highly influential since the beginning of this century. It can be read as a systematic response to scepticism. One of the most important notions in this response is the notion of «evidence,» which will be the focus of the present paper. I attempt to show primarily two things. First, the notion of evidence invoked by Williamson does not address the sceptical worry: he stipulates an objective notion of evidence, but this begs the (...) question against his opponent. Second, his related thesis «Evidence equals Knowledge» does not sit well with his own content externalism: he promises to relate epistemology to philosophy of mind, but he fails to live up to this commitment in his crucial chapter on scepticism. Other minor problems concerning evidence will also be discussed in due course. (shrink)

Rowlands’s case for attributing personhood to lower animals is ultimately convincing, but along the way he fails to highlight several distinctions that are crucial for his argument: Personhood vs. personal identity; the first person vs. its mental episodes; and pre- reflective awareness in general vs. one specific case of it.

In this paper I defend a pluralistic approach in understanding function, both in biological and other contexts. Talks about function are ubiquitous and crucial in biology, and it might be the key to bridge the “manifest image” and the “scientific image” identified by Sellars (1962). However, analysis of function has proven to be extremely difficult. The major puzzle is to make sense of “time-reversed causality”: how can property P be the cause of its realizer R? For example, “pumping blood” is (...) a property of hearts, but a property of hearts cannot be the cause of the presence of hearts, since properties cannot predate their realizers and be causes of them. In section 2 I discuss Wright’s etiological analysis, Cummins’ causal-role analysis, and their critics. In section 3 I defend a version of the “consensus without unity” strategy proposed by Godfrey-Smith from Christopher Boorse’s recent critique (2002). In Section 4 I conclude by reflecting on the relation between functional discourses and physicalism. (shrink)

Standpoint logic is a recently proposed formalism in the context of knowledge integration, which advocates a multi-perspective approach permitting reasoning with a selection of diverse and possibly conflicting standpoints rather than forcing their unification. In this paper, we introduce nested sequent calculi for propositional standpoint logics---proof systems that manipulate trees whose nodes are multisets of formulae---and show how to automate standpoint reasoning by means of non-deterministic proof-search algorithms. To obtain worst-case complexity-optimal proof-search, we introduce a novel technique in the context (...) of nested sequents, referred to as "coloring," which consists of taking a formula as input, guessing a certain coloring of its subformulae, and then running proof-search in a nested sequent calculus on the colored input. Our technique lets us decide the validity of standpoint formulae in CoNP since proof-search only produces a partial proof relative to each permitted coloring of the input. We show how all partial proofs can be fused together to construct a complete proof when the input is valid, and how certain partial proofs can be transformed into a counter-model when the input is invalid. These "certificates" (i.e. proofs and counter-models) serve as explanations of the (in)validity of the input. (shrink)

We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.

Two art exhibitions, “Training Humans” and “Making Faces,” and the accompanying essay “Excavating AI: The politics of images in machine learning training sets” by Kate Crawford and Trevor Paglen, are making substantial impact on discourse taking place in the social and mass media networks, and some scholarly circles. Critical scrutiny reveals, however, a self-contradictory stance regarding informed consent for the use of facial images, as well as serious flaws in their critique of ML training sets. Our analysis underlines the non-negotiability (...) of informed consent when using human data in artistic and other contexts, and clarifies issues relating to the description of ML training sets. (shrink)

In the presentation I will analyse Kant’s conception of modalities and consider its relevance to his critical metaphysics. With his Tables of Judgements and of Categories Kant makes an important division between two kinds of modality, of which the former is only logical and the latter transcendental, i.e., objective. Only judgements that are necessary in both ways are properly metaphysical. This distinction is important for Kant’s distinction between Transcendental Analytic and Transcendental Dialectic, i.e., between acceptable and unacceptable metaphysics. I submit (...) that not only is Kant’s theory of modality useful for properly understanding his arguments in the Dialectic, but that only by distinguishing between the two types of modality can one can make sense of his theory that the ideas of reason are simultaneously inevitable and erroneous. This modal analysis thus offers a new and important point of view to Kant’s metaphysics and its critique. (shrink)

Epistemic defeat is standardly understood in either evidentialist or responsibilist terms. The seminal treatment of defeat is an evidentialist one, due to John Pollock, who famously distinguishes between undercutting and rebutting defeaters. More recently, an orthogonal distinction due to Jennifer Lackey has become widely endorsed, between so-called doxastic (or psychological) and normative defeaters. We think that neither doxastic nor normative defeaters, as Lackey understands them, exist. Both of Lackey’s categories of defeat derive from implausible assumptions about epistemic responsibility. Although Pollock’s (...) evidentialist view is superior, the evidentialism per se can be purged from it, leaving a general structure of defeat that can be incorporated in a reliabilist theory that is neither evidentialist nor responsibilist in any way. (shrink)

The overflow debate concerns this following question: does conscious iconic memory have a higher capacity than attention does? In recent years, Ned Block has been invoking empirical works to support the positive answer to this question. The view is called the “rich view” or the “Overflow view”. One central thread of this discussion concerns the nature of iconic memory: for example how rich they are and whether they are conscious. The first section discusses a potential misunderstanding of “visible persistence” in (...) this literature. The second section discusses varieties of attention relevant to this debate. The final section discusses the most prominent alternative interpretation of the Sperling paradigm—the postdiction interpretation—and explains how it can be made compatible with a weaker version of the rich or overflow view. (shrink)

Florence Ashley has argued that requiring patients with gender dysphoria to undergo an assessment and referral from a mental health professional before undergoing hormone replacement therapy (HRT) is unethical and may represent an unconscious hostility towards transgender people. We respond, first, by showing that Ashley has conflated the self-reporting of symptoms with self-diagnosis, and that this is not consistent with the standard model of informed consent to medical treatment. Second, we note that the model of informed consent involved in cosmetic (...) surgery resembles the model Ashley defends, and that psychological assessment and referral is recognised as an important aspect of such a model. Third, we suggest that the increased prevalence of psychiatric morbidity in the transgender population arguably supports the requirement of assessment and referral from a mental health professional prior to undergoing HRT. (shrink)

Methods have been a controversial element in theories of knowledge for the last 40 years. Recent developments in theories of justification, concerning the identification and individuation of belief-forming processes, can shed new light on methods, solving some longstanding problems in the theory of knowledge. We needn’t and shouldn’t shy away from methods; rather, methods, construed as psychological processes of belief-formation, need to play a central role in any credible theory of knowledge.

Clinical psychology is characterized by persistent disagreement about fundamental aspects of the discipline ranging from what mental disorders are to what constitutes effective treatment. Attempts to address the problem of epistemic disagreement have been frequently based on establishing the correct answer by fiat without identifying and addressing the sources of the disagreement. We argue that this strategy has not worked very well and the result is frequently ongoing and intractable disagreement, with each side in an argument convinced they are correct. (...) In this paper, we outline an epistemic disagreement procedural model intended to assist researchers and clinicians in the field of clinical psychology to identify, explore, and develop inquiry strategies that capitalize on situations where competing knowledge claims are made. The result is a flexible conceptual framework committed to a defensible epistemic pluralism, fallibilism, and contextualism, across the various research tasks constituting the field of clinical psychology. (shrink)

Recently, there is a renewed debate concerning the role of perspective in vision. Morales et al. (2020) present evidence that, in the case of viewing a rotated coin, the visual system is sensitive to what has often been called “perspectival shapes.” It has generated vigorous discussions, including an online symposium by Morales and Cohen, an exchange between Linton (2021) and Morales et al. (2021), and most recently, a fierce critique by Burge and Burge (2022), in which they launch various conceptual (...) and empirical objections. Although Morales and Firestone (2022) have responded to them recently, and we are in agreement with Morales and Firestone in general, there are further problems in Burge and Burge (2022) that are worth highlighting. The main point of this comment is that what the Burge–Burge team call “viewpoint-dependent relational properties” are simply instances of what the Morales–Firestone team call “perspectival shapes”; the confusion arises from Burge and Burge’s misconstrual of Morales et al.’s claims. This shows that conceptually, the two teams are in large agreement, as Morales and Firestone (2022) also point out, and the focus should be put on the empirical disagreements, which has been covered by Morales and Firestone (2022). Relatedly, we argue that Burge and Burge (2022) misinterpret Morales et al. (2020) as supporting a new entity in perception science, and that this misinterpretation is a primary source of their apparent disagreement. This is worth pointing out because such misunderstanding generates many unnecessary quarrels that hinder progress. (shrink)

We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for sequent systems to be obtained for extensions of description logics with special formulae that we call "role relational axioms." All sequent systems are sound, complete, and possess favorable properties such as height-preserving admissibility of common structural rules and height-preserving invertibility of rules.

Reaction-diffusion systems which have reaction term satisfying f(-q) = -f(q) tend strongly to form striped patterns. Haken’s slaving principle is used to derive differential equations for unstable mode amplitudes close to the Turing instability. This connects a dynamical symmetry to pattern selection, with possible relevance to biological and chemical pattern-forming phenomena.

In the course of his philosophy, in various contexts, Kant comes to reject three theses about existence: (i) that the thoroughgoing determination of a thing implies its existence, (ii) that existence is a real predicate or determination of a thing, and (iii) that existence is the complement of inner possibility or essence. Kant’s target here is Baumgarten, who advocates these theses as the criterion, classification, and definition of existence. In this article I seek to clarify Kant’s elusive theory of existence (...) through its opposition to Baumgarten. I will show that Kant’s refutation of (i)–(iii) does not stand alone but is grounded on his own definition of existence as (absolute) positing. Thus contrary to common practice, Kant’s negative claims about what existence is not cannot be understood in isolation but must be taken as jointly dependent on Kant’s positive claim of what existence is. I will show that the theses (i)–(iii) fail because they presuppose that existence contributes to the intension or content of a concept, whereas according to Kant existence in fact posits a (non-empty) extension to the concept. (shrink)

We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that is translatable to (...) a derivation in the associated display calculus. A key insight in this converse translation is a canonical representation of display sequents as labeled polytrees. Labeled polytrees, which represent equivalence classes of display sequents modulo display postulates, also shed light on related correspondence results for tense logics. (shrink)

There have recently been various empirical attempts to answer Molyneux’s question, for example, the experiments undertaken by the Held group. These studies, though intricate, have encountered some objections, for instance, from Schwenkler, who proposes two ways of improving the experiments. One is “to re-run [the] experiment with the stimulus objects made to move, and/or the subjects moved or permitted to move with respect to them” (p. 94), which would promote three dimensional or otherwise viewpoint-invariant representations. The other is “to use (...) geometrically simpler shapes, such as the cube and sphere in Molyneux’s original proposal, or planar figures instead of three-dimensional solids” (p. 188). Connolly argues against the first modification but agrees with the second. In this article, I argue that the second modification is also problematic (though still surmountable), and that both Schwenkler and Connolly are too optimistic about the prospect of addressing Molyneux’s question empirically. (shrink)

Reflections on free choice and determinism constitute a recurring, if rarified, sphere of legal reasoning. Controversy, of course, swirls around the perennially vexing question of the propriety of punishing human persons for conduct that they are unable to avoid. Drawing upon conditions similar, if not identical, to those traditionally associated with attribution of moral fault, persons subject to such necessitating causal constraints generally are not considered responsible in the requisite sense for their conduct; and, thus, they are not held culpable (...) for its consequences. The standard argument against free choice asserts that free choice cannot exist because determinism, as a property of laws governing the cosmos, excludes such a possibility. This contingent factual claim, however, has always proven problematic. Contemporary discussions - no doubt aware of this disputed factual premise - draw upon a more novel, and arguably more devastating critique: free will must be rejected because its very conception is incoherent. Rather than assuming the existence of determinism and attempting to show its incompatibility with free will, this argument begins with consideration of the idea of free choice and concludes that, if it is to have any sense at all, it must be compatible with determinism. Obviously, no single treatment of the free will problem could address all its nuances. This Article more modestly offers one possible approach to the question. Part I elaborates in more detail the view that the traditional conception of free choice is incoherent and, thus, inevitably undermines the very responsibility it is asserted to constitute; Part II considers the resulting effort to develop a model of human freedom compatible with determinism; and Part III, drawing upon the prior discussions, describes - in terms of classical action theory - a conception of free choice justifying personal moral and legal responsibility that avoids both the incoherence of "uncaused freedom" as well as the shortcomings of determinism. (shrink)

Many find it plausible that for a given beneficiary, Y, benefactor, R, and action, ϕ, Y’s being grateful to R for ϕ-ing implies Y’s being grateful that R ϕ-ed. According to some philosophers who hold this view, all instances of gratitude to, or “prepositional gratitude,” are also instances of gratitude that, or “propositional gratitude.” These philosophers believe there is a single unified concept of gratitude, a phenomenon that is essentially gratitude that, and whose manifestations sometimes have additional features that make (...) them instances of gratitude to as well. In this article, I show that view to be mistaken. I base my argument on two hypothetical cases, in each of which a beneficiary, Y, is grateful to a benefactor, R, for ϕ-ing, but not grateful that R ϕ-ed. Generalizing from those cases and other cases of gratitude, I argue that prepositional gratitude is the proper response to benevolence-motivated action and propositional gratitude consists in a beneficiary’s judging a state of affairs to be valuable for himself and welcoming that state of affairs. Because not every instance of a benefactor’s acting benevolently toward a beneficiary is something that beneficiary finds valuable for himself and welcomes, it is possible to be grateful to a benefactor for ϕ-ing but not grateful that she ϕ-ed. Prepositional gratitude and propositional gratitude can each occur without the other and are thus two distinct phenomena. I conclude by explaining the importance of accurately understanding the relationship between prepositional gratitude and propositional gratitude. (shrink)

The debate on how to interpret Kant's transcendental idealism has been prominent for several decades now. In his book Kant's Transcendental Proof of Realism (2004) Kenneth R. Westphal introduces and defends his version of the metaphysical dual-aspect reading. But his real aim lies deeper: to provide a sound transcendental proof for (unqualified) realism, based on Kant's work, without resorting to transcendental idealism. In this sense his aim is similar to that of Peter F. Strawson – although Westphal's approach is far (...) more sophisticated. First he attempts to show that noumenal causation – on the reality of which his argument partly rests – is coherent in and necessary for Kant's transcendental idealism. Westphal then aims to undermine transcendental idealism by two major claims: Kant can neither account for transcendental affinity nor satisfactorily counter Hume's causal scepticism. Finally Westphal defends his alternative for transcendental idealism by showing that it solves these problems and thus offers a genuine transcendental proof for realism. In this paper I will show that all the three steps outlined above suffer from decisive shortcomings, and that consequently, regardless of its merits, Westphal's transcendental argument for realism remains undemonstrated. (shrink)