Dag Prawitz (1971) put forward the idea that an admissible reduction process does not affect the identity of proofs represented by derivations in natural deduction. The idea relies on his conjecture that two derivations represent the same proof if and only if they are equivalent in the sense that they are reflexive, transitive and symmetric closure of the immediate reducibility relation. Schroeder-Heister and Tranchini (2017) accept Prawitz’s conjecture and propose the triviality test as the criterion for admissible (...) class='Hi'>reductions. In the present paper, we will consider two main troubles of the triviality test. The first is the obscurity of a method of evaluating admissible reductions. The second is the circularity problem that the triviality test already assumes the set of admissible reduction procedures. For the solution of the problems, we will propose the spoiler test which immunes the problems of the triviality test and has the role of the criterion for admissible reductions. At last, we shall cover a plausible problem of the spoiler test that can be caused by Crabbé’s case. (shrink)

Let A be an admissible set. A sentence of the form ∀R̄φ is a ∀1(A) (∀s 1(A),∀1(Lω1ω)) sentence if φ ∈ A (φ is $\bigvee\Phi$ , where Φ is an A-r.e. set of sentences from A; φ ∈ Lω1ω). A sentence of the form ∃R̄φ is an ∃2(A) (∃s 2(A),∃2(Lω1ω)) sentence if φ is a ∀1(A) (∀s 1(A),∀1(Lω1ω)) sentence. A class of structures is, for example, a ∀1(A) class if it is the class of models of a ∀1(A) sentence. (...) Thus ∀1(A) is a class of classes of structures, and so forth. Let Mi be the structure $\langle i, 0$. Let Γ be a class of classes of structures. We say that a sequence $J_1,\ldots,J_i,\ldots, i < \omega$, of classes of structures is a Γ sequence if $J_i \in \Gamma, i < \omega$, and there is I ∈ Γ such that M ∈ Ji if and only if [M, Mi] ∈ I, where [,] is the disjoint sum. A class Γ of classes of structures has the easy uniformization property if for every Γ sequence $J_1,\ldots,J_i, \ldots, i < \omega$, there is a Γ sequence $J'_1,\ldots,J'_i,\ldots, i < \omega$, such that $J'_i \subseteq J_i, i < \omega, \bigcup J'_i = \bigcup J_i$, and the J'i are pairwise disjoint. The easy uniformization property is an effective version of Kuratowski's generalized reduction property that is closely related to Moschovakis's (topological) easy uniformization property. We show over countable structures that ∀1(A) and ∃2(A) have the easy uniformization property if A is a countable admissible set with an infinite member, that ∀s 1(Lα) and ∃s 2(Lα) have the easy uniformization property if α is countable, admissible, and not weakly stable, and that ∀1(Lω1ω) and ∃2(Lω1ω) have the easy uniformization property. The results proved are more general. The result for ∀s 1(Lα) answers a question of Vaught (1980). (shrink)

The product of two |$\textbf {Alt}$| logics possesses the polynomial product finite model property and its membership problem is |$\textbf {coNP}$|-complete. Using a reduction from an undecidable domino-tiling problem, we prove that its admissibility problem is undecidable.

This article examines our moral obligations to refugees and stateless people. I argue that in order to understand our moral obligations to stateless people, both de jure refugees and de facto stateless people, we ought to reconceptualize the harm of statelessness as entailing both a legal/political harm and an ontological harm, a deprivation of certain fundamental human qualities. To do this, I draw on the work of Hannah Arendt and show that the ontological deprivation has three distinct though interconnected elements: (...) a reduction to the merely human or bare life, a separation from the common realm of humanity and abandonment, and the diminishment of agency or ability to act in the Arendtian sense. If we pull apart the legal/political harm of statelessness from the ontological harm, we are better able to see that we can address some of the features of the ontological deprivation even though we may not be able to rectify the political harm. I conclude this article by discussing some suggestions that follow from a recognition of the reality and harm of the ontological deprivation. (shrink)

Dynamic epistemic logic (DEL) is a multi-modal logic for reasoning about the change of knowledge in multi-agent systems. It extends epistemic logic by a modal operator for actions which announce logical formulas to other agents. In Hilbert-style proof calculi for DEL, modal action formulas are reduced to epistemic logic, whereas current sequent calculi for DEL are labelled systems which internalize the semantic accessibility relation of the modal operators, as well as the accessibility relation underlying the semantics of the actions. We (...) present a novel cut-free ordinary sequent calculus, called |$ \textbf{G4}_{P,A}[] $|⁠, for propositional DEL. In contrast to the known sequent calculi, our calculus does not internalize the accessibility relations, but—similar to Hilbert style proof calculi—action formulas are reduced to epistemic formulas. Since no ordinary sequent calculus for full S5 modal logic is known, the proof rules for the knowledge operator and the Boolean operators are those of an underlying S4 modal calculus. We show the soundness and completeness of |$ \textbf{G4}_{P,A}[] $| and prove also the admissibility of the cut-rule and of several other rules for introducing the action modality. (shrink)

Let o(κ) denote the Mitchell order of κ. We show how to reduce long games which run to the first ordinal admissible in the play, to iteration games on models with a cardinal κ so that (1) κ is a limit of Woodin cardinals: and (2) o(κ) = κ⁺⁺. We use the reduction to derive several optimal determinacy results on games which run to the first admissible in the play.

The paper studies the logic TL(NBox+-wC) – logic of discrete linear time with current time point clusters. Its language uses modalities Diamond+ (possible in future) and Diamond- (possible in past) and special temporal operations, – Box+w (weakly necessary in future) and Box-w (weakly necessary in past). We proceed by developing an algorithm recognizing theorems of TL(NBox+-wC), so we prove that TL(NBox+-wC) is decidable. The algorithm is based on reduction of formulas to inference rules and converting the rules in special reduced (...) normal form, and, then, on checking validity of such rules in models of singleexponential size in the rules. Also we consider the admissibility problem for TL(NBox+-wC) and show how to reduce the problem for admissibility to the decidability of TL(NBox+-wC) itself using definable universal modalities. (shrink)

In recruitment, promotion, admission, and other forms of wealth and power apportion, an evaluator typically ranks a set of candidates in terms of their competence. If the evaluator is prejudiced, the resulting ranking will misrepresent the candidates’ actual rankings. This constitutes not only a moral and a practical problem, but also an epistemological one, which begs the question of what we should do—epistemologically—to mitigate it. In a recent paper, Jönsson and Sjödahl in [Episteme 14:499–517, 2017], argue that the epistemic problem (...) can be fruitfully addressed by way of a novel statistical method that changes the products of biased behaviour, i.e. the rankings themselves, rather than the biased persons. Jönsson and Sjödahl’s pioneering proposal is a both a welcome addition to the literature on implicit bias, due the problems with existing implicit bias interventions [see e.g. Lai et al. in J Exp Psychol Gen 143:1765–1785; J Exp Psychol Gen 145:1001–1016, 2014; 2016; Forscher et al. in J Person Soc Psychol 117:522–559, 2019] but also to the literature on prejudice more generally, where many proposed prejudice-reduction strategies enjoy less than adequate empirical support [Paluck and Green in Ann Rev Psychol 60:339–367, 2009]. Their proposal, however, needs supplementation in two ways: the circumstances that must hold in order for it to work needs to be refined, and their claim that it works as intended in these circumstances needs to be validated. We argue that four of Jönsson and Sjödahl’s method’s presumed presuppositions can be weakened, but needs to be supplemented by two additional assumptions, overlooked by Jönsson and Sjödahl. Moreover, we demonstrate that the method does work as intended by way of a statistical simulation. (shrink)

For Savage (1954) as for de Finetti (1974), the existence of subjective (personal) probability is a consequence of the normative theory of preference. (De Finetti achieves the reduction of belief to desire with his generalized Dutch-Book argument for Previsions.) Both Savage and de Finetti rebel against legislating countable additivity for subjective probability. They require merely that probability be finitely additive. Simultaneously, they insist that their theories of preference are weak, accommodating all but self-defeating desires. In this paper we dispute these (...) claims by showing that the following three cannot simultaneously hold: (i) Coherent belief is reducible to rational preference, i.e. the generalized Dutch-Book argument fixes standards of coherence. (ii) Finitely additive probability is coherent. (iii) Admissible preference structures may be free of consequences, i.e. they may lack prizes whose values are robust against all contingencies. (shrink)

We revisit the notion of initial sets by Xu and Cayrol 2016), i. e., non-empty minimal admissible sets in abstract argumentation frameworks. Initial sets are a simple concept for analysing conflicts in an abstract argumentation framework and to explain why certain arguments can be accepted. We contribute with new insights on the structure of initial sets and devise a simple non-deterministic construction principle for any admissible set, based on iterative selection of initial sets of the original framework and (...) its induced reducts. In particular, we characterise many existing admissibility-based semantics via this construction principle, thus providing a constructive explanation on the structure of extensions. We also investigate certain problems related to initial sets with respect to their computational complexity. (shrink)

Husserl has often stood accused of Eurocentrism given his disquieting coupling of philosophy as universal science with Europe. And yet, however much this accusation has clouded the appeal of transcendental phenomenology, the nature of this charge remains obscure: whether Husserl’s chauvinism is merely a personal opinion punctuating his writing or is instead closely connected to the methods of phenomenology has been left unexplored. This paper offers itself as a corrective, looking to get a clearer picture of how precisely Eurocentrism afflicts (...) transcendental phenomenology. The overarching aim of doing so is to chart the possibilities for the development of a non-Eurocentric, decolonial phenomenological thinking which exploits the enduring appeal of Husserl’s commitment to presuppositionlessness. The first part of the paper considers the relationship between the phenomenological reduction and eidetic variation, showing that, by Husserl’s own lights, phenomenological science seeks to expel all forms of prejudice. Part two, however, shows that the entrance of Eurocentrism into phenomenology is not simply accidental, in two distinct senses. The first, which takes off from Merleau-Ponty’s (implicit) critique of Husserl, argues that Husserl in his late work is insufficiently attentive to the empirical dimension: Eurocentrism thus stems from the overly transcendental emphases of this project and its inability to engage with concrete human diversity. The second draws on Derrida’s (explicit) critique of Husserl, arguing that it is precisely the admission of concrete historico-cultural facts into phenomenology that compromises the universal by identifying it with the particularities of Europe. I thus show that Eurocentrism does indeed insinuate itself in Husserl’s methods—_not_, however, in a manner that renders transcendental phenomenology irredeemable. Given the opposition between these two insightful criticisms, however, I argue that the challenge for a decolonial vision of phenomenology is formidable. (shrink)

While specifications and verifications of concurrent systems employ Linear Temporal Logic , it is increasingly likely that logical consequence in image will be used in the description of computations and parallel reasoning. Our paper considers logical consequence in the standard image with temporal operations image and image . The prime result is an algorithm recognizing consecutions admissible in image, so we prove that image is decidable w.r.t. admissible inference rules. As a consequence we obtain algorithms verifying the validity (...) of consecutions in image and solving the satisfiability problem. We start by a simple reduction of logical consecutions of image to equivalent ones in the reduced normal form . Then we apply a semantic technique based on image-Kripke structures with formula definable subsets. This yields necessary and sufficient conditions for a consecution to be not admissible in image. These conditions lead to an algorithm which recognizes consecutions admissible in image by verifying the validity of consecutions in special finite Kripke structures of size square polynomial in reduced normal forms of the consecutions. As a consequence, this also solves the satisfiability problem for image. (shrink)

We study an alternative embedding of IPC into atomic system F whose translation of proofs is based, not on instantiation overflow, but instead on the admissibility of the elimination rules for disjunction and absurdity. As compared to the embedding based on instantiation overflow, the alternative embedding works equally well at the levels of provability and preservation of proof identity, but it produces shorter derivations and shorter simulations of reduction sequences. Lambda-terms are employed in the technical development so that the algorithmic (...) content is made explicit, both for the alternative and the original embeddings. The investigation of preservation of proof-reduction steps by the alternative embedding enables the analysis of generation of “administrative” redexes. These are the key, on the one hand, to understand the difference between the two embeddings; on the other hand, to understand whether the final word on the embedding of IPC into atomic system F has been said. (shrink)

In this article, I address two different kinds of equivocations in reading Leibniz’s fictional infinite and infinitesimal. These equivocations form the background of a reductive reading of infinite and infinitesimal fictions either as ultimately finite or as something whose status can be taken together with any other mathematical object as such. The first equivocation is the association of a foundation of infinitesimals with their ontological status. I analyze this equivocation by criticizing the logicist influence on 20th century Anglophone reception of (...) the syncategorematical infinite and infinitesimal. The second equivocation is the association of the rigor of mathematical demonstration with the problem of the admissibility of infinite or infinitesimal terms. I analyze this by looking at Leibniz’s constructive method and apagogic argument style in his quadrature method. In treating these equivocations, I critique some assumptions that underlie the reductive reading of Leibniz’s fictionalism concerning infinite and infinitesimals. In turn, I suggest that these infinitesimal “fictions” pointed to a problematic within Leibniz’s work that was conceived and reconsidered in Leibniz’s work from a range of different contexts and methods. (shrink)

In this paper, I offer a systematic account of Quine’s philosophy of mind. In doing so, I respond to an interpretive problem of reconciling Quine’s admission of irreducible mentalistic predicates with his physicalism. I argue that the required reconciliation takes place in a theory of mind that accords a central explanatory role to dispositions, but which nevertheless is non-behavioristic and non-reductive. A second, and intermediate, project of this paper is to explicate Quine’s account of dispositions and their status in Quine’s (...) regimented theory. Particularly, I will argue that Quine’s non-reductive physicalism about the mind rests on a distinction between two kinds of dispositions. (shrink)

This article challenges stereotypical conceptions of Law and Science as cultural opposites, arguing that English criminal trial practice is fundamentally congruent with modern science’s basic epistemological assumptions, values and methods of inquiry. Although practical tensions undeniably exist, they are explicable—and may be neutralised—by paying closer attention to criminal adjudication’s normative ideals and their institutional expression in familiar aspects of common law trial procedure, including evidentiary rules of admissibility, trial by jury, adversarial fact-finding, cross-examination and the ethical duties of expert witnesses. (...) Effective partnerships between lawyers and forensic scientists are indispensable for integrating scientific evidence into criminal proceedings, and must be renegotiated between individual practitioners on an on-going basis. Fruitful interdisciplinary collaboration between scholars with a shared interest in forensic science should dispense with reductive cultural stereotypes of Science and Law. (shrink)

There are three major theses in Plantinga’s latest version of his evolutionary argument against naturalism. (1) Given materialism, the conditional probability of the reliability of human cognitive mechanisms produced by evolution is low; (2) the same conditional probability given reductive or non-reductive materialism is still low; (3) the most popular naturalistic theories of content and truth are not admissible for naturalism. I argue that Plantinga’s argument for (1) presupposes an anti-materialistic conception of content, and it therefore begs the question (...) against materialism. To argue for (2), Plantinga claims that the adaptiveness of a belief is indifferent to its truth. I argue that this claim is unsupported unless it again assumes an anti-materialistic conception of content and truth. I further argue that Plantinga’s argument for (3) is not successful either, because an improved version of teleosemantics can meet his criticisms. Moreover, this version of teleosemantics implies that the truth of a belief is (probabilistically) positively related to its adaptiveness, at least for simple beliefs about physical objects in human environments. This directly challenges Plantinga’s claim that adaptiveness is indifferent to truth. (shrink)

IntroductionThe COVID-19 pandemic has forced changes in patient care in Mental Health Day Hospitals.ObjectivesTo study the interventions performed in MHDHs during the pandemic in comparison with those performed in other facilities and to analyze the new hospital admissions in both groups.MethodA retrospective multicenter cohort study comparing the interventions received by a group of 161 patients admitted in MHDHs during the lockdown period in Spain with the interventions of another group of 109 patients who were treated at other facilities during lockdown.ResultsMHDHs (...) reduced their face-to-face interventions during lockdown just as much as other facilities but implemented telematic intervention methods to a greater extent. Patients attached to MHDHs during lockdown were admitted significantly less and presented fewer urgent consultations in the following 6 months.ConclusionThe use of telepsychiatry made it feasible to adapt MHDHs to periods of lockdown, being useful to improve the continuity of care during the pandemic. In addition, it was possible to maintain a reduction in hospital admissions in patients treated at MHDHs. (shrink)

I try to show that there is much sap (synthetic a priori) knowledge although one may not find many, or even any, sap true statements in most natural languages. Reasons are given for the difficulty of expressing sap truths in natural languages, but it is argued that these are not necessary features of language as such. There are, then, sap true statements in some possible languages.Admission of the sap gives one a way of distinguishing logical from metaphysical possiblity. Something is (...) metaphysically impossible just in case it is a sap truth that it is impossible. I argue that the realm of logically possible entities is vastly larger than the realm of metaphysically possible entities.My.defence of the sap begins with a partial defence of the analytic/synthetic distinction. In particular, I attack the intentionality circle argument,Quine's indeterminacy thesis and some applications of the Kripke/Putnam theory of meaning for natural kind terms. Without being a conclusive defence of the analytic/synthetic distinction, this section makes the defence of the sap more secure. Arguments are then mounted in direct defence of the sap by showing that the purported reduction of sap truths to analytic truths is mistaken. Examples are adduced to show that, even where expressions of natural language fail, one can stipulate usage in ways that allow expression of sap truths. I then consider and reply to various objections, giving an example of the sort of meaning theory which illegitimately legislates the analyticity of any purported sap true statement. (shrink)

Recalling the landmark US Supreme Court case Brown v. Board of Education, the advancement of educational equality is often associated with the reduction of stigmatizing differences in status or “sense of inferiority” engendered by separately and differentially educated citizens. This essay takes up the obverse concern, the sense of superiority sustained by educational inequality, with particular focus on the inequality signaled by higher education status. I contend that the presence of aggrandized HES in a democratic society provides reasons to object (...) to educational inequality for which institutions of higher education ought to be held responsible. Aggrandized HES not only demands a questionable deference from citizens in a democratic society; it also weakens HES’s signaling of epistemic authority and equality of educational opportunity, which harms the public’s motivation to learn by distorting beliefs about education. To address this problem, I argue that the best policy solution for curbing aggrandized uses of HES is to transform the positional aspect of higher education using an admissions policy originally suggested by Elizabeth Anderson, which I term the elite culture strategy. Beyond admissions policies, this essay addresses the larger concern of educating citizens to perceive and assess educational status according to democratic norms and not solely in terms of self-interested gain. (shrink)

Confessions both hold a great promise and pose a grave danger. When the accused speaks against his interest and assumes responsibility for criminal actions this is viewed as a compelling sign of guilt. It is not, therefore, for naught that the confession has been crowned the "queen of evidence." Yet research conducted in the last few decades has shown that a substantial number of confessions are false, ranking the out of court confession high among the factors leading to the conviction (...) of innocent people. The acceptance of DNA testing, has further substantiated this finding, igniting a renewed interest in out-of-court confessions. It is hard to assess the magnitude of social harm caused by the widespread and persistent resort to obtaining confessions, but one thing is evident from the vast literature on the matter: this evidentiary mechanism is currently overused, much beyond the optimal level. The reasons for this over-use are varied, among them the fact that confessions are readily available for law enforcement officers, and that those in charge of trying the facts tend to overwhelmingly convict based on out-of-court confessions, while underestimating the associated dangers. As a result, confessions have come to play a paramount role in the criminal justice system. Many attempts have been made to deal with confession-based wrongful convictions. Examples include the Miranda rules or the requirements for varying degrees and types of corroborating evidence. To date, all the rules and proposals share a common characteristic: They all attempt to correct the evidentiary fallacies associated with out-of-court confessions by evidentiary means, whether admissibility oriented or weight oriented. In the article we argue that none of the proposed mechanisms is likely to solve the problem. The root of the problem lies in the fact that the entire criminal justice system is currently organized around confessions. Law enforcement officers focus on obtaining confessions and the prosecution uses it as its evidentiary centerpiece. Further restricting admissibility or requiring a higher degree of corroboration will not change this trend. Moreover, the confessional lure is too strong to resist. Like the Sirens' Song, the confession casts a spell on all those subjected to it and, no matter how strong a corroboration we require, we will eventually fall back on the confession. We propose an entirely different solution to the tendency to over-use confessions, one that utilizes penal means to change the incentive structure within the criminal justice system. We propose to incorporate into the sentencing guidelines a mandatory reduction of the criminal sanction whenever an out-of-court confession is introduced into evidence by the prosecution. In other words, our proposal is to elevate the cost of using out-of court confessions, as compared to other types of evidence. The article will demonstrate how placing such a "sentencing price tag" on the use of out-of-court confessions will correct the current bias in favor of using this evidence and induce law enforcement officials to seek extrinsic evidence, thus turning confessions into a residual evidentiary devise. The article will also show that the proposed regime will improve the court's ability to distinguish between true and false confessions. After discussing the proposed model's normative appeal, the article will proceed to deal with possible criticisms which can be leveled against it, whether retributive, utilitarian or expressive. (shrink)

According to classical molecular chemistry, molecules have a structure, that is, they are sets of atoms with a definite arrangements in space and held together by chemical bonds. The concept of molecular structure is central to modern chemical thought given its impressive predictive power. It is also a very useful concept in chemistry education, due to its role in the rationalization and visualization of microscopic phenomena. However, such a concept seems to find no place in the ontology described by quantum (...) mechanics, since it appeals to classical notions such as the position of the atomic nuclei or the individuality of electrons. Although this problem has attracted the attention of several authors, the discussion is far from settled. Some authors adopt an explicitly reductionist position and advocate to reconstruct the concept of molecular structure within the framework of the quantum theory. Others, although acknowledging the conceptual discontinuity between quantum mechanics and molecular chemistry, keep the hope of future reduction alive. From an explicitly non-reductionist position, on the contrary, others authors conceive molecular structure as an emergent phenomenon. The purpose of this article is to propose a different line of argumentation to address this problem. By contrast to reduction and emergence, the admission of a multiplicity of ontologies, not necessarily linked by hierarchical connections, cancels the need of finding a relation of dependence between the molecular level and the quantum level. This ontologically pluralist position can be applied to the issue of molecular structure, in order to argue that it is possible to admit the existence of structure in the ontology of molecular chemistry, in spite of the fact that it does not exist in the quantum world. (shrink)

Few institutions have published reviews concerning the case consultation history of their ethics committees, and policies used by ethics committees to address inappropriate treatment are infrequently reviewed. We sought to characterize the operation of our institution’s ethics committee as a representative example of a volunteer ethics committee, and outline its use of a policy to address inappropriate treatment, the Conscientious Practice Policy. Patients were identified for retrospective review from the ethics consultation database. Patient demographics, medical admission information, and consultation information (...) were obtained from the medical record. Consultation notes were analyzed with directed content analysis. The use of the CPP was documented in each case. Groups of interest were compared via two-sample t-tests. There were 178 consultations between 2013 and 2018. The majority originated from medicine services. The most common consultation reasons were end-of-life balances of acute and palliative care, best interest standard, medical futility, and code status and intubation status. Average age was 65.5 years and average hospitalization before consultation was 51.4 days. 92 patients had a code status change that occurred after consultation. A policy to address inappropriate treatment was used in 42 of the consultations. Bivariate analysis demonstrated a reduction in policy use over time, with use in 32.1% of consultations from 2013 to 2016 and 11.4% of consultations 2017–2018, p = 0.002. End-of-life issues were the most common reason for consultation. Our consultation volume was lower than previously-published reports. A policy used to address inappropriate treatment was frequently used, although use decreased over time. (shrink)

This paper presents parts of a theory of radical translation with applications to the problem of construing reference. First, in sections 1 to 4 the general standpoint, inspired by Goodman's approach to induction, is set forth. Codification of sound translational practice replaces the aim of behavioral reduction of semantic notions. The need for a theory of translational projection (manual construction on the basis of a finite empirical correlation of sentences) is established by showing the anomalies otherwise resulting (e.g. from Quine's (...) position). Then in section 5 a partial characterization of what constitutes an "admissible translation manual" is developed in the form of rules of translational projection governing correspondence of sentence-parts of a language-pair. Finally, in section 6, we give applications of the theory to the problem of construing reference. The general rules of section 5 suffice to rule out deviant referential schemes which have been held inscrutable alternatives to standard schemes. (shrink)

A number of recent articles have invoked the republican ideal of non-domination to justify either open borders, and/or the reduction of states’ discretionary powers to unilaterally determine immigration policy. In this paper, I show that such arguments are one-sided, as they fail to fully account for the deep ambiguity of the very ideal which they invoke. In fact, non-domination lends just as powerful support to maintaining state border controls as it does to dismantling them. There are only two exceptions to (...) the rule. It is well established that promoting non-domination demands, one the one hand, that refugees be admitted, and second, that all migrants have a right to contest decisions concerning their own admission. But aside from these things, the policy implications of the ideal are unclear. In itself, therefore, it is insufficient to justify either open borders, or the reduction of states said discretionary powers. Such arguments will have to rely on other, additional moral criteria. -/- . (shrink)

This paper examines the exercise of individual or group rights within the game form approach. It focuses in particular on what it means for a strategy or action to be feasible and admissible. Admissibility is best discussed in relation to two basic distinctions among rights, passive and active rights on the one hand and negative and positive rights on the other. It is argued that while there are quite a few cases in which the outcomes of mutual rights exercising (...) are to the fore, there are many situations where the uninhibited exercise of individual or group rights and not particular outcomes are what society is primarily interested in. (shrink)

The notion of reduction continues to play a key role in philosophy of mind and philosophy of cognitive science. Supporters of reductionism claim that psychological properties or explanations reduce to neural properties or explanations, while antireductionists claim that such reductions are not possible. In this book, I apply recent developments in philosophy of science, particularly the mechanistic explanation paradigm and the interventionist theory of causation, to reassess the traditional approaches to reduction in philosophy of mind. I then elaborate and (...) defend a pluralistic framework for philosophy of mind, and show how reductionist ideas can be incorporated into it. This leads to a novel synthesis of pluralism and reductionism that I call pluralistic physicalism. (shrink)

The?-admissibility is one of the most important problems in the realm of relevant logics. To prove the 7-admissibility, either the method of normal models or the method using metavaluations may be employed. The?-admissibility of a wide class of relevant modal logics has been discussed in Part I based on a former method, but the?-admissibility based on metavaluations has not hitherto been fully considered. Sahlqvist axioms are well known as a means of expressing generalized forms of formulas with modal operators. This (...) paper shows that? is admissible for relevant modal logics with restricted Sahlqvist axioms in terms of the method using metavaluations. (shrink)

Research on natural and artificial brains is proceeding at a rapid pace. However, the understanding of the essence of consciousness has changed slightly over the millennia, and only the last decade has brought some progress to the area. Scientific ideas emerged that the soul could be a product of the material body and that calculating machines could imitate brain processes. However, the authors of this book reject the previously common dualism—the view that the material and spiritual-psychic processes are separate and (...) require a completely different substance as their foundation. -/- Reductive Model of the Conscious Mind is a forward-thinking book wherein the authors identify processes that are the essence of conscious thinking and place them in the imagined, simplified structure of cells able to memorize and transmit information in the form of impulses, which they call neurons. The purpose of the study is to explain the essence of consciousness to the degree of development of natural sciences, because only the latter can find a way to embed the concept of the conscious mind in material brains. The book is divided into three parts. Part 1 works to convince readers that the emergence of consciousness does not require detailed knowledge of the structure and morphology of the brain, with the exception of some specific properties of the neural network structure that the authors attempt to point out. Part 2 proves that the biological structure of many natural brains fulfills the necessary conditions for consciousness and intelligent thinking. Similarly, Part 3 shows the ways in which artificial creatures imitating natural brains can meet these conditions, which gives great hopes for building artificially intelligent beings endowed with consciousness. Covering topics that include cognitive architecture, the embodied mind, and machine learning, this book is ideal for cognitive scientists, philosophers of mind, neuroscientists, psychologists, researchers, academicians, and advanced-level students. The book can also help to focus the research of linguists, neurologists, and biophysicists on the biophysical basis of postulated information processing into knowledge structures. (shrink)

This paper provides a semantic analysis of admissible rules and associated completeness conditions for arbitrary deductive systems, using the framework of abstract algebraic logic. Algebraizability is not assumed, so the meaning and significance of the principal notions vary with the level of the Leibniz hierarchy at which they are presented. As a case study of the resulting theory, the nonalgebraizable fragments of relevance logic are considered.

Which objects and properties are represented in perceptual experience, and how are we able to determine this? The papers in this collection address these questions together with other fundamental questions about the nature of perceptual content. The book draws together papers by leading international philosophers of mind, including Alex Byrne (MIT), Alva Noë (University of California, Berkeley), Tim Bayne (St Catherine’s College, Oxford), Michael Tye (University of Texas, Austin), Richard Price (All Souls College, Oxford) and Susanna Siegel (Harvard University) Essays (...) address the central questions surrounding the content of perceptual experience Investigates how are we able to determine the admissible contents of experience Published in association with the journal Philosophical Quarterly . (shrink)

This paper discusses the alleged reduction of Thermodynamics to Statistical Mechanics. It includes an historical discussion of J. Willard Gibbs' famous caution concerning the connections between thermodynamic properties and statistical mechanical properties---his so-called ``Thermodynamic Analogies.'' The reasons for Gibbs' caution are reconsidered in light of relatively recent work in statistical physics on the existence of the thermodynamic limit and the explanation of critical behavior using the renormalization group apparatus. A probabilistic understanding of the renormalization group arguments allows for a kind (...) of unification of Gibbs' approach with contemporary understanding of the reduction problem. (shrink)

A prominent view of phenomenal consciousness combines two claims: (i) the identity conditions of phenomenally conscious states can be fully accounted for in terms of these states’ representational content; (ii) this representational content can be fully accounted for in non-phenomenal terms. This paper presents an argument against this view. The core idea is that the identity conditions of phenomenally conscious states are not fixed entirely by what these states represent (their representational contents), but depend in part on how they represent (...) (their representational attitudes or modes). The argument highlights the myriad liabilities and difficulties one must accrue when one tries to appeal only to what phenomenally conscious states represent in accounting for their phenomenal individuation. (shrink)

The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: admissible or permissible inference rules the derivability of the admissible inference rules the structural completeness of logics the bases for admissible and valid inference rules. There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered. The book is basically (...) self-contained and special attention has been made to present the material in a convenient manner for the reader. Proofs of results, many of which are not readily available elsewhere, are also included. The book is written at a level appropriate for first-year graduate students in mathematics or computer science. Although some knowledge of elementary logic and universal algebra are necessary, the first chapter includes all the results from universal algebra and logic that the reader needs. For graduate students in mathematics and computer science the book is an excellent textbook. (shrink)

This paper examines the impact of education reforms on school admissions policies and practices. It discusses the changes that are needed to improve the current system, especially in areas where the market is highly developed. It is concluded that the new legislation to be enacted by the current Labour Government should be beneficial, but that more far-reaching changes are needed for the admissions process to be equitable, transparent and accountable.

The admissibility of Ackermann's rule? is one of the most important problems in relevant logic. While the?-admissibility of normal modal logics based on the relevant logic R has been previously discussed, the case for weaker relevant modal logics has not yet been considered. The method of normal models has often been used to prove the?-admissibility. This paper discusses which relevant modal logics admit? from the viewpoint of the method of normal models.

The Routley-Meyer relational semantics for relevant logics is extended to give a sound and complete model theory for many propositionally quantified relevant logics (and some non-relevant ones). This involves a restriction on which sets of worlds are admissible as propositions, and an interpretation of propositional quantification that makes ∀ pA true when there is some true admissible proposition that entails all p -instantiations of A . It is also shown that without the admissibility qualification many of the systems (...) considered are semantically incomplete, including all those that are sub-logics of the quantified version of Anderson and Belnap’s system E of entailment, extended by the mingle axiom and the Ackermann constant t . The incompleteness proof involves an algebraic semantics based on atomless complete Boolean algebras. (shrink)

It has been argued that most truths about macroscopic states of affairs are entailed by a (hypothetical) complete descriptionPof the world in microscopic terms. In principle, micro-reductive explanations of non-microphysical truths could be constructeda priori.Against this claim, I show that reductive explanation requires knowledge about the phenomena to be reduced which cannot bea prioriextracted from microphysical information alone. Such reductions proceed in two steps: a “reductionR0” (“role-occupant”) establishes that a macroproperty M plays a certain causal role (specified in macro-terms), (...) while a “reductionMM” (“micro-macro”) establishes that some microproperty gives rise toM. (shrink)

A central task of philosophy of mind in recent decades has been to come up with a comprehensive account of the mind that is consistent with materialism. To this end, philosophers have offered useful reductive accounts of mentality in terms that are ultimately explainable by neurobiology. Although these accounts have been useful for explaining some psychological states, one feature—phenomenality or consciousness—has proven to be particularly intractable. The Higher-Order Thought theory (HOT) has been offered as one reductive theory of consciousness. According (...) to HOT, a mental state is conscious if it becomes the content of a suitable higher-order thought that one is in that mental state. In recent years, critics have lodged a series of challenging objections to the view and several alternative theories have been proposed in response to these objections. This paper offers a defense of the traditional Higher-Order Thought theory. First, two different models of consciousness based on HOT are distinguished. The paper argues that one of the models is better supported by the HOT literature. It is then demonstrated that the better supported model is not vulnerable to the objections most commonly lodged against the HOT theory. Finally, it is shown that alternative self-representational theories do not improve upon the HOT theory in the way that they are proposed to. In fact, each of the alternative self-representational views reviewed here is vulnerable to a unique set of problems. In light of these factors, HOT still offers a viable reductive solution to the hard problem. (shrink)

Uniform infinite bases are defined for the single-conclusion and multiple-conclusion admissible rules of the implication–negation fragments of intuitionistic logic and its consistent axiomatic extensions . A Kripke semantics characterization is given for the structurally complete implication–negation fragments of intermediate logics, and it is shown that the admissible rules of this fragment of form a PSPACE-complete set and have no finite basis.

With any structural inference rule A/B, we associate the rule $${(A \lor p)/(B \lor p)}$$, providing that formulas A and B do not contain the variable p. We call the latter rule a join-extension ( $${\lor}$$ -extension, for short) of the former. Obviously, for any intermediate logic with disjunction property, a $${\lor}$$ -extension of any admissible rule is also admissible in this logic. We investigate intermediate logics, in which the $${\lor}$$ -extension of each admissible rule is (...) class='Hi'>admissible. We prove that any structural finitary consequence operator (for intermediate logic) can be defined by a set of $${\lor}$$ -extended rules if and only if it can be defined through a set of well-connected Heyting algebras of a corresponding quasivariety. As we exemplify, the latter condition is satisfied for a broad class of algebraizable logics. (shrink)

It is proved that Ackermann’s rule δ is admissible in a wide spectrum of relevant logics satisfying certain syntactical properties.

The admissibility of Ackermann’s rule γ is one of the most important problems in relevant logic. While the γ-admissibility of normal modal logics based on the relevant logic R has been previously discussed, the case for weaker relevant modal logics has not yet been considered. The method of normal models has often been used to prove the γ-admissibility. This paper discusses which relevant modal logics admit γ from the viewpoint of the method of normal models.

Self‐admission to inpatient treatment is a novel approach that aims to increase agency and autonomy for patients with severe psychiatric illness and a history of high utilization of inpatient care. By focusing on brief, preventive hospital admissions in times of increased risk of relapse, self‐admission seeks to reduce the need for prolonged episodes of inpatient treatment. Participants are generally satisfied with the model, which is not surprising given that self‐admission programs allocate a scarce resource—hospital beds—to a select group. However, the (...) patients targeted by these programs are not necessarily those in most need of hospital admission, which may compromise the commonly accepted ‘principle of need’ in allocation of public healthcare resources. In light of the current lack of consistent evidence of the usefulness and cost‐effectiveness of the model, several aspects need to be further studied in order to guide any large‐scale implementation of self‐admission in psychiatry. (shrink)

We establish the dichotomy property for stable canonical multi-conclusion rules for IPC, K4, and S4. This yields an alternative proof of existence of explicit bases of admissible rules for these logics.

I argue that an adequate account of non-reductive realization must guarantee satisfaction of a certain condition on the token causal powers associated with (instances of) realized and realizing entities---namely, what I call the 'Subset Condition on Causal Powers' (first introduced in Wilson 1999). In terms of states, the condition requires that the token powers had by a realized state on a given occasion be a proper subset of the token powers had by the state that realizes it on that occasion. (...) Accounts of non-reductive realization conforming to this condition are implementing what I call 'the powers-based subset strategy'. I focus on the crucial case involving mental and brain states; the results may be generalized, as appropriate. I first situate and motivate the strategy by attention to the problem of mental causation; I make the case, in schematic terms, that implementation of the strategy makes room (contra Kim 1989, 1993, 1998, and elsewhere) for mental states to be ontologically and causally autonomous from their realizing physical states, without inducing problematic causal overdetermination, and compatible with both Physicalism and Non-reduction; and I show that several contemporary accounts of non-reductive realization (in terms of functional realization, parthood, and the determinable/determinate relation) are plausibly seen as implementing the strategy. As I also show, implementation of the powers-based strategy does not require endorsement of any particular accounts of either properties or causation---indeed, a categoricalist contingentist Humean can implement the strategy. The schematic location of the strategy in the space of available responses to the problem of mental (more generally, higher-level) causation, as well as the fact that the schema may be metaphysically instantiated, strongly suggests that the strategy is, appropriately generalized and instantiated, sufficient and moreover necessary for non-reductive realization. I go on to defend the sufficiency and necessity claims against a variety of objections, considering, along the way, how the powers-based subset strategy fares against competing accounts of purportedly non-reductive realization in terms of supervenience, token identity, and constitution. (shrink)