dialectical frameworks have been introduced as a formalism for modeling argumentation allowing general logical satisfaction conditions and the relevant argument evaluation. Different criteria used to settle the acceptance of arguments are called semantics. Semantics of ADFs have so far mainly been defined based on the concept of admissibility. However, the notion of strongly admissible semantics studied for abstract argumentation frameworks has not yet been introduced for ADFs. In the current work we present the concept of strong admissibility of (...) interpretations for ADFs. Further, we show that strongly admissible interpretations of ADFs form a lattice with the grounded interpretation as the maximal element. We also present algorithms to answer the following decision problems: whether a given interpretation is a strongly admissible interpretation of a given ADF, and whether a given argument is strongly acceptable/deniable in a given interpretation of a given ADF. In addition, we show that the strongly admissible semantics of ADFs forms a proper generalization of the strongly admissible semantics of AFs. (shrink)

This article compares the moral significance of two types of immigration, that which is based on the unification of citizens and non-citizens and that which is based on the skilled labor needs of the receiving society. I assess the interests of both citizens and non-citizens affected by each of these types of inflows and argue that unification admissions should be given priority over skilled workers but states retain a qualified moral permission to incentivize skilled worker migration.

Liberal societies typically prefer relatives and spouses of their members over other prospective immigrants seeking admission. Giving this preferential treatment to only certain categories of relationships requires justification. In this paper, I provide a defense of a category-based system for “unification admissions,” non-members seeking admission for the purpose of living in the same society with members on a stable basis, that is compatible with liberalism and, in particular, does not violate the requirement of liberal neutrality. This defense does not commit (...) liberal theorists to the traditional state sovereignty view on immigration, according to which societies have wide latitude to exclude immigrants as they see fit, and shows that, contra Ferracioli, societies are not required to treat relatives, spouses, friends, and creative partners of their members on a par in matters of immigration policy. (shrink)

Abstract: This paper examined the influence of admission policy on the admission of students into Distance Learning Education Programme in University of Ibadan. Descriptive survey research method was adopted for the purpose of this study. The total number of staff who participated in this study was three hundred (300) which comprises of both non-academic and academic staff. But only two hundred and forty-five (245) staff returned questionnaire that were finally used for data collection. Chi-square test analytical method was used for (...) data analysis. This article revealed that quota system on admission policy is not applicable in distance learning education in University of Ibadan. That there is no Catchment area policy on admission in distance learning education university of Ibadan, and that there is no discriminatory school fee for students in distance learning education in university of Ibadan. This study recommended that there should be abolishment of the catchment area and quota policies of admission in Higher Education in Nigeria. Educationally backward states should develop remedial programmes for their indigenes. Policy on discriminatory fees should be moderated. (shrink)

The perhaps most important criticism of the nontransitive approach to semantic paradoxes is that it cannot truthfully express exactly which metarules preserve validity. I argue that this criticism overlooks that the admissibility of metarules cannot be expressed in any logic that allows us to formulate validity-Curry sentences and that is formulated in a classical metalanguage. Hence, the criticism applies to all approaches that do their metatheory in classical logic. If we do the metatheory of nontransitive logics in a nontransitive (...) logic, however, there is no reason to think that the argument behind the criticism goes through. In general, asking a logic to express its own admissible metarules may not be a good idea. (shrink)

Many jurisdictions prohibit or severely restrict the use of evidence about a defendant’s character to prove legal culpability. Situationists, who argue that conduct is largely determined by situational features rather than by character, can easily defend this prohibition. According to situationism, character evidence is misleading or paltry. -/- Proscriptions on character evidence seem harder to justify, however, on virtue ethical accounts. It appears that excluding character evidence either denies the centrality of character for explaining conduct—the situationist position—or omits probative evidence. (...) Situationism is, after all, presented as antithetical to virtue ethics. -/- This essay provides a virtue ethical defense of character evidence exclusion rules. We show that existing virtue ethical rebuttals to situationism themselves support prohibitions on character evidence; even if behavior arises from stable character traits, character evidence should be prohibited. In building our case, we provide a taxonomy of kinds of character judgment and reconcile the ubiquity and reasonableness of character judgments in ordinary life with the epistemic legitimacy of character evidence prohibitions in law. (shrink)

I consider a puzzle that greatly preoccupies some people and mildly preoccupies others, while being of no interest to some at all: “How did those people get into an elite university?” Problems with writing faux Japanese fiction provide one explanation. Once skilled literary craftspeople have failed, one turns to others.

Where AR is the set of arithmetic Turing degrees, 0 (ω ) is the least member of { $\mathbf{\alpha}^{(2)}|\mathbf{a}$ is an upper bound on AR}. This situation is quite different if we examine HYP, the set of hyperarithmetic degrees. We shall prove (Corollary 1) that there is an a, an upper bound on HYP, whose hyperjump is the degree of Kleene's O. This paper generalizes this example, using an iteration of the jump operation into the transfinite which is based on (...) results of Jensen and is detailed in [3] and [4]. In $\S1$ we review the basic definitions from [3] which are needed to state the general results. (shrink)

This research note argues that political theorists of refuge ought to consider the experiences of refugees after they have received asylum in the Global North. Currently, much of the literature concerning the duties of states towards refugees implicitly adopts a blanket approach, rather than considering how varied identities may affect the remedies available to displaced people. Given the prevalence of racism, xenophobia, and homophobia in the Global North, and the growing norm of dissident persecution in foreign territory, protection is not (...) guaranteed after either territorial or legal admission. This research note considers the case of LGBTQ refugees in order to demonstrate the analytical potential of more inclusive and diverse normative approaches. Taking the origin and extension of harm seriously requires a conceptualization of sanctuary after asylum that accurately reflects the experiences of the displaced. In doing so, questions arise regarding the nature and efficacy of territorial asylum. (shrink)

I argue that the theory of chance proposed by David Lewis has three problems: (i) it is time asymmetric in a manner incompatible with some of the chance theories of physics, (ii) it is incompatible with statistical mechanical chances, and (iii) the content of Lewis's Principal Principle depends on how admissibility is cashed out, but there is no agreement as to what admissible evidence should be. I proposes two modifications of Lewis's theory which resolve these difficulties. I conclude by (...) tentatively proposing a third modification of Lewis's theory, one which explains many of the common features shared by the chance theories of physics. (shrink)

The familiar complaint that some ambitious proposal is infeasible naturally invites the following response: Once upon a time, the abolition of slavery and the enfranchisement of women seemed infeasible, yet these things were actually achieved. Presumably, then, many of those things that seem infeasible in our own time may well be achieved too and, thus, turn out to have been perfectly feasible after all. The Appeal to History, as we call it, is a bad argument. It is not true that (...) if some desirable state of affairs was actually achieved, then it was feasible that it was achieved. “Actual” does not imply “feasible,” as we put it. Here is our objection. “Feasible” implies “not counterfactually fluky.” But “actual” does not imply “not counterfactually fluky.” So, “actual” does not imply “feasible.” While something like the Flukiness Objection is sometimes hinted at in the context of the related literature on abilities, it has not been developed in any detail, and both premises are inadequately motivated. We offer a novel articulation of the Flukiness Objection that is both more precise and better motivated. Our conclusions have important implications, not only for the admissible use of history in normative argument, but also by potentially circumscribing the normative claims that are applicable to us. (shrink)

Multidimensional adjectives are ubiquitous in natural language. An adjective F is multidimensional just in case whether F applies to an object or pair of objects depends on how those objects stand with respect to multiple underlying dimensions of F-ness. Developing a semantics for multidimensional adjectives requires us to address the problem of dimensional aggregation: how do the application conditions of an adjective F in its positive and comparative forms depend on its underlying dimensions? Here we develop a semantics for multidimensional (...) adjectives that incorporates aggregation functions. We then explore an analogy between dimensional aggregation and preference aggregation, bringing results from social choice theory to bear on the number and kind of aggregation functions that are admissible in a context. These results suggest that, for any given adjective, there will often be multiple aggregation functions admissible, meaning that multidimensional comparatives are often vague. (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)

With respect to climate change, what is wanted is an account that morally condemns the production of ‘luxury’ greenhouse gas emissions (e.g., joyriding in an SUV), but not ‘subsistence’ emissions (e.g., cooking meals). Now, our individual greenhouse gas emissions either cause harm, or they do not—and those who condemn the production of luxury emissions generally stake their position on the grounds that they do cause harm. Meanwhile, those seeking to defend the moral permissibility of luxury emissions generally do so by (...) arguing that our individual emissions do not cause harm. Here, I argue that, if our individual emissions do cause harm, then this entails too much. For, it entails not only that our luxury emissions are morally impermissible, but that our subsistence emissions are too. This is an undesirable result. Therefore, I propose that we embrace our other option. Namely, I propose that we accept that our individual emissions do not cause harm; or at least, that they make no perceptible difference with respect to the harms associated with climate change. The result of this admission is not as bad as you might think. For, I argue, even if we are individually causally impotent with respect to the harms of climate change, there remains a plausible route toward the moral condemnation of our individual luxury emissions—contrary to what others have argued. What is more, only by accepting our individual causal impotence can we successfully ground the permissibility of our individual subsistence emissions. (shrink)

This paper examines two mistakes regarding David Lewis’ Principal Principle that have appeared in the recent literature. These particular mistakes are worth looking at for several reasons: The thoughts that lead to these mistakes are natural ones, the principles that result from these mistakes are untenable, and these mistakes have led to significant misconceptions regarding the role of admissibility and time. After correcting these mistakes, the paper discusses the correct roles of time and admissibility. With these results in (...) hand, the paper concludes by showing that one way of formulating the chance–credence relation has a distinct advantage over its rivals. (shrink)

Recent work on blameworthiness has prominently featured discussions of guilt. The philosophers who develop guilt-based views of blameworthiness do an excellent job of attending to the evaluative and affective features of feeling guilty. However, these philosophers have been less attentive to guilt’s characteristic action tendencies and the role admissions of guilt play in our blaming practices. This paper focuses on the nature of guilty confession and argues that it illuminates an important function of blame that has been overlooked in the (...) recent work on guilt as it relates to blameworthiness: Blame can communicate respect. (shrink)

The best accuracy arguments for probabilism apply only to credence functions with finite domains, that is, credence functions that assign credence to at most finitely many propositions. This is a significant limitation. It reveals that the support for the accuracy-first program in epistemology is a lot weaker than it seems at first glance, and it means that accuracy arguments cannot yet accomplish everything that their competitors, the pragmatic (Dutch book) arguments, can. In this paper, I investigate the extent to which (...) this limitation can be overcome. Building on the best arguments in finite domains, I present two accuracy arguments for probabilism that are perfectly general—they apply to credence functions with arbitrary domains. I then discuss how the arguments’ premises can be challenged. We will see that it is particularly difficult to characterize admissible accuracy measures in infinite domains. (shrink)

I argue that results in perception science do not support the claim that there is semantic perception or that typical, unreflective utterance comprehension is a perceptual process. Phenomena discussed include evidence-insensitivity, the Stroop effect, pop-out, and adaptation – as well as how these phenomena might relate to the function, format, and structure of perceptual representations. An emphasis is placed on non-inferential transitions from perceptual to conceptual representations, which are important for debates about the admissible contents of perception more generally.

Expert2 evidence is admissible only if it provides the court with scientific information likely to be outside the experience and knowledge of a judge or jury. In other words, expert evidence will be restricted to that which in the opinion of the court is necessary to assist the court to resolve the proceedings.3 This particular case must be urgently considered by the Criminal Appeals Review Commission as it becomes apparent that the court of appeal decision is flawed, not surprising when (...) one considers the mountain of miscarriages of justice in the United Kingdom criminal justice system. (shrink)

Nontransitive responses to the validity Curry paradox face a dilemma that was recently formulated by Barrio, Rosenblatt and Tajer. It seems that, in the nontransitive logic ST enriched with a validity predicate, either you cannot prove that all derivable metarules preserve validity, or you can prove that instances of Cut that are not admissible in the logic preserve validity. I respond on behalf of the nontransitive approach. The paper argues, first, that we should reject the detachment principle for naive validity. (...) Secondly, I show how to add a validity predicate to ST while avoiding the dilemma. (shrink)

In this paper, I ask how – and whether – the rectification of injury at which corrective justice aims is possible, and by whom it must be performed. I split the injury up into components of harm and wrong, and consider their rectification separately. First, I show that pecuniary compensation for the harm is practically plausible, because money acts as a mediator between the damaged interest and other interests. I then argue that this is also a morally plausible approach, because (...) it does not claim too much for compensation: neither can all harms be compensated, nor can it be said when compensation is paid that the status quo ante has been restored. I argue that there is no conceptual reason for any particular agent paying this compensation. I then turn to the wrong, and reject three proposed methods of rectification. The first aims to rectify the wrong by rectifying the harm; the second deploys punitive damages; the third, punishment. After undermining each proposal, I argue that the wrong can only be rectified by a full apology, which I disaggregate into the admission of causal and moral responsibility, repudiation of the act, reform, and, in some cases, disgorgement and reparations, which I define as a good faith effort to share the burden of the victim’s harm. I argue, further, that only the injurer herself can make a full apology, and it is not something that can be coerced by other members of society. As such, whether rectification of the wrong can be a matter of corrective justice is left an open question. (shrink)

In recent years, the e ffort to formalize erotetic inferences (i.e., inferences to and from questions) has become a central concern for those working in erotetic logic. However, few have sought to formulate a proof theory for these inferences. To fill this lacuna, we construct a calculus for (classes of) sequents that are sound and complete for two species of erotetic inferences studied by Inferential Erotetic Logic (IEL): erotetic evocation and regular erotetic implication. While an attempt has been made to (...) axiomatize the former in a sequent system, there is currently no proof theory for the latter. Moreover, the extant axiomatization of erotetic evocation fails to capture its defeasible character and provides no rules for introducing or eliminating question-forming operators. In contrast, our calculus encodes defeasibility conditions on sequents and provides rules governing the introduction and elimination of erotetic formulas. We demonstrate that an elimination theorem holds for a version of the cut rule that applies to both declarative and erotetic formulas and that the rules for the axiomatic account of question evocation in IEL are admissible in our system. (shrink)

The debate over the meanings of indexical expressions has relied heavily on the method of counterexamples. This paper challenges that method by showing that purported counterexamples can often be explained away by appeal to perspective shifts. For these counterexamples to establish anything about indexical reference, we must identify the conditions under which theorists can legitimately appeal to perspective shifts. Some tests for semantic content are considered and it is argued that none of them can tell us when appeal to perspective (...) shift is admissible. The paper then considers how we should proceed if we become convinced that there is no way to identify the content of indexical expressions, offering reasons in favour of a nihilist conception of character over an epistemicist or pluralist conception. (shrink)

Affirmative action is standardly pursued in relation to admissions to prestigious universities, in hiring for prestigious jobs, and when it comes to being elected to parliament. Central to these forms of affirmative action is that they have to do with competitive goods. A good is competitive when, if we improve A’s chances of getting the good, we reduce B’s chances of obtaining the good. I call this Competitive Affirmative Action. I distinguish this from Non-competitive Affirmative Action. The latter has to (...) do with non-competitive goods, e.g., being granted early parole or freedom from arbitrary arrest. I argue that some of the most prominent objections against affirmative action—in particular, the reverse discrimination objection and the merit objection—speak less against Non-competitive Affirmative Action. And that some of the most prominent arguments in favor of affirmative action, insofar as they justify Competitive Affirmative Action, also justify Non-competitive Affirmative Action. (shrink)

There are two main loci of contemporary debate about the nature of Madhyamaka ethics. The first investigates the general issue of whether the Madhyamaka philosophy of emptiness is consistent with a commitment to systematic ethical distinctions. The second queries whether the metaphysical analysis of no-self presented by Śāntideva in his Bodhicaryāvatāra entails the impartial benevolence of a bodhisattva. This article will critically examine these debates and demonstrate the ways in which they are shaped by competing understandings of Madhyamaka conventional truth (...) or reality and the forms of reasoning admissible for differentiating conventional truth from falsity and good from bad. (shrink)

Several theorists have observed that attitude reports have what we call “revisionist” uses. For example, even if Pete has never met Ann and has no idea that she exists, Jane can still say to Jim ‘Pete believes Ann can learn to play tennis in ten lessons’ if Pete believes all 6-year-olds can learn to play tennis in ten lessons and it is part of Jane and Jim’s background knowledge that Ann is a 6-year-old. Jane’s assertion seems acceptable because the claim (...) she reports Pete as believing is entailed by Pete’s beliefs if they are revised in light of Jane and Jim’s background knowledge. We provide a semantic theory of revisionist reports based on this idea. We observe that the admissible “revisions” are limited in a striking way. Jane cannot say ‘Pete thinks Ann is a 6-year-old and can play tennis in ten lessons’ in the same context that she can say ‘Pete believes Ann can learn to play tennis ten lessons’, even though this too follows from Jane and Jim’s background knowledge together with what Pete believes. Our theory predicts the infelicity of these latter reports. It also has the resources to predict the truth of “exported” attitude reports and casts the relationship between these reports and “singular thought” in a new light. We conclude by discussing how revisionist reports make trouble for a simplistic view of the connection between the relations expressed by attitude verbs in natural language and the relations of most interest to philosophers of mind and cognitive science. (shrink)

Moderate Pragmatic Invariantism (MPI) has been criticized in the literature for postulating implicatures that are not straightforwardly cancellable. Defenders of MPI have responded that the data are not as clear-cut as one might wish. This paper grants the defenders of MPI, for the sake of argument, that the implicatures in question are cancellable and then turns this admission against them. In particular, the paper offers Bank Case variants in which the conversational implicatures postulated by MPI are contextually suspended – and (...) thus cancelled. Since our intuitions do not vary between the original Bank Case and these novel types of cases, the explanation offered by MPI must be mistaken. Our varying truth-value intuitions in the Bank Cases cannot be accounted for by means of conversational implicatures. (shrink)

Consider a subjective expected utility preference relation. It is usually held that the representations which this relation admits differ only in one respect, namely, the possible scales for the measurement of utility. In this paper, I discuss the fact that there are, metaphorically speaking, two additional dimensions along which infinitely many more admissible representations can be found. The first additional dimension is that of state-dependence. The second—and, in this context, much lesser-known—additional dimension is that of act-dependence. The simplest implication of (...) their usually neglected existence is that the standard axiomatizations of subjective expected utility fail to provide the measurement of subjective probability with satisfactory behavioral foundations. (shrink)

In this paper, I examine the case that has been made for origin essentialism and find it wanting. I focus on the arguments of Nathan Salmon and Graeme Forbes. Like most origin essentialists, Salmon and Forbes have been concerned to respect the intuition that slight variation in the origin of an artifact or organism is possible. But, I argue, both of their arguments fail to respect this intuition. Salmon's argument depends on a sufficiency principle for cross-world identity, which should be (...) rejected, if - as Salmon concedes - a given artifact might have been originally made from slightly different material. Similarly, Forbes's argument succeeds only if essentially the same argument can be used to establish a claim that - by his own admission - is too strong, namely that no variation, however slight, in an organism's origin is possible. (shrink)

This monograph contributes to the scientific misconduct debate from an oblique perspective, by analysing seven novels devoted to this issue, namely: Arrowsmith by Sinclair Lewis (1925), The affair by C.P. Snow (1960), Cantor’s Dilemma by Carl Djerassi (1989), Perlmann’s Silence by Pascal Mercier (1995), Intuition by Allegra Goodman (2006), Solar by Ian McEwan (2010) and Derailment by Diederik Stapel (2012). Scientific misconduct, i.e. fabrication, falsification, plagiarism, but also other questionable research practices, have become a focus of concern for academic communities (...) worldwide, but also for managers, funders and publishers of research. The aforementioned novels offer intriguing windows into integrity challenges emerging in contemporary research practices. They are analysed from a continental philosophical perspective, providing a stage where various voices, positions and modes of discourse are mutually exposed to one another, so that they critically address and question one another. They force us to start from the admission that we do not really know what misconduct is. Subsequently, by providing case histories of misconduct, they address integrity challenges not only in terms of individual deviance but also in terms of systemic crisis, due to current transformations in the ways in which knowledge is produced. Rather than functioning as moral vignettes, the author argues that misconduct novels challenge us to reconsider some of the basic conceptual building blocks of integrity discourse. (shrink)

This is a defense of Pyrrhonian skepticism against the charge that the suspension of judgment based on equipollence is vitiated by the assent given to the equipollence in question. The apparent conflict has a conceptual side as well as a practical side, examined here as separate challenges with a section devoted to each. The conceptual challenge is that the skeptical transition from an equipollence of arguments to a suspension of judgment is undermined either by a logical contradiction or by an (...) epistemic inconsistency, perhaps by both, because the determination and affirmation of equipollence is itself a judgment of sorts, one that is not suspended. The practical challenge is that, independently of any conceptual confusion or contradiction, suspending judgment in reaction to equipollence evinces doxastic commitment to equipollence, if only because human beings are not capable of making assessments requiring rational determination without believing the corresponding premises and conclusions to be true. The two analytic sections addressing these challenges are preceded by two prefatory sections, one laying out the epistemic process, the other reviewing the evidentiary context. The response from the conceptual perspective is that the suspension of judgment based on equipollence is not a reasoned conclusion adopted as the truth of the matter but a natural reaction to an impression left by the apparently equal weight of opposing arguments. The response from the practical perspective is that the acknowledgment of equipollence is not just an affirmation of the equal weight of arguments but also an admission of inability to decide, suggesting that any assent, express or implied, is thrust upon the Pyrrhonist in a state of epistemic paralysis affecting the will and the intellect on the matter being investigated. This just leaves a deep disagreement, if any, regarding whether equipollence is an inference based on discursive activity or an impression coming from passive receptivity. But this, even if resolved in favor of the critic (which it need not and ought not be), is not the same as confusion or inconsistency on the part of the Pyrrhonist, the demonstration of which is the primary aim of this paper. (shrink)

In a recent article in this journal, Mona Simion argues that Sally Haslanger’s “engineering” approach to gender concepts such as ‘woman’ faces an epistemic objection. The primary function of all concepts—gender concepts included—is to represent the world, but Haslanger’s engineering account of ‘woman’ fails to adequately represent the world because, by her own admission, it doesn’t include all women in the extension of the concept ‘woman.’ I argue that this objection fails because the primary function of gender concepts—and social kind (...) concepts in general—is not (merely) to represent the world, but rather to shape it. I finish by considering the consequences for “conceptual engineering” in philosophy more generally. While Haslanger’s account may escape Simion’s objection, other appeals to conceptual engineering might not fair so well. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (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)

Mindset plays a vital role in tackling the barriers to improving the preservice mathematics teachers’ (PMTs) conceptual understanding of problem-solving. As the COVID-19 pandemic has continued to pose a challenge, online learning has been adopted. This led this study to determining the PMTs’ mindset and level of conceptual understanding in problem-solving in an online learning environment utilising Google Classroom and the Khan Academy. A quantitative research design was employed specifically utilising a descriptive, comparative, and correlational design. Forty-five PMTs were chosen (...) through simple random sampling and willingly took part in this study. The data was gathered using validated and reliable questionnaires and problem-solving tests. The data gathered was analysed using descriptive statistics, analysis of variance, and simple linear regression. The results revealed that the college admission test, specifically numerical proficiency, influences a strong mindset and a higher level of conceptual understanding in problem-solving. Additionally, this study shows that mindset predicts the levels of conceptual understanding in problem-solving in an online environment where PMTs with a growth mindset have the potential to solve math problems. The use of Google Classroom and the Khan Academy to aid online instruction is useful in the preparation of PMTs as future mathematics teachers and problem-solvers. Further studies may be conducted to validate these reports and to address the limitations of this study. (shrink)

Fichte argues that the conclusion of Kant’s transcendental deduction of the categories is correct yet lacks a crucial premise, given Kant’s admission that the metaphysical deduction locates an arbitrary origin for the categories. Fichte provides the missing premise by employing a new method: a genetic deduction of the categories from a first principle. Since Fichte claims to articulate the same view as Kant in a different, it is crucial to grasp genetic deduction in relation to the sorts of deduction that (...) Kant offers. I propose to interpret genetic deduction as the simultaneous fulfillment of two tasks: answering the question quid facti by deriving the categories from the I and answering the question quid juris by establishing our entitlement to the categories as conditions of experience. While the second task represents Fichte’s agreement with Kant’s transcendental deduction, the first reflects his correction of Kant’s metaphysical deduction. (shrink)

Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. Thus, (...) supervaluationists can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

In 1753, the Berlin Academy announced that the focus of the prize essay contest of 1755 would be optimism, with entrants required (among other things) ‘to put forward arguments that will be thought most fitting to confirm or destroy this system’. In line with these instructions, entrants submitted essays that were either pro- or anti-optimism. This was to the dismay of one of the judges of the contest, André-Pierre Le Guay de Prémontval (1716–1764), who had, by his own admission, surreptitiously (...) attempted to influence the entrants by sketching out a ‘middle point’ between the polarized pro- and anti-optimist positions in a series of books published between 1754 and 1755, namely Thoughts on Freedom, The Diogenes of d’Alembert, and On Chance under the Rule of Providence. The aim of this essay is to elucidate and historically contextualize Prémontval’s highly original ‘middle point’, as outlined implicitly in the aforementioned books and much more explicitly in a series of essays published after the essay contest had concluded. (shrink)

Raimo Tuomela’s most important contribution to the philosophy of collective intentionality was his development of the notion of the we-mode. In my chapter I extend the notion of we-mode to that of role-mode, the mode in which individual and collective subjects feel, think and act as occupants of roles within groups and institutional structures. I focus on how being in role-mode is manifest in the minds of subjects and on the following points. First, I argue that both we-mode and role-mode (...) are best thought of as further modifications of I-consciousness, respectively we-consciousness. Second, role-mode is further characterized by the fact that subjects will take positions as role occupants that they won’t take as mere individuals, or we-mode group members, or in other roles. Third, such divergences are only possible against a background of agreements between positions taken in different modes. Fourth, such divergences are also grounded in decision making procedures and the accessibility and admissibility of sources of evidence. Fifth, role-mode goes all the way down, that is, it is also manifest in how subjects feel, move and comport themselves when they occupy their roles. To put it into fashionable jargon, it is embodied and enacted. (shrink)

Despite the prevalence of externalization, much work in the ethics of immigration continues to assume that the admission of immigrants is determined by state immigration officials who decide whether to admit travelers at official crossings. This assumption neglects how decisions about entrance have been increasingly relocated abroad – to international waters, consular offices, airports, or foreign territories – often with non-governmental or private actors, as well as foreign governments functioning as intermediaries. Externalization poses a fundamental challenge to achieving just migration (...) policies. It reliably harms vulnerable people, prevents refugees from receiving protection, leads to human rights abuses, and dissipates blame and accountability, creating a serious lacuna in assigning moral responsibility. (shrink)

John White (2016) defends the UK private school system from the accusation that it allows an unfair form of ‘queue jumping’ in university admissions. He offers two responses to this accusation, one based on considerations of harm, and one based on meritocratic distribution of university places. We will argue that neither response succeeds: the queue-jumping argument remains a powerful case against the private school system in the UK. We begin by briefly outlining the queue-jumping argument (§1), before evaluating White’s no-harm (...) (§2) and meritocracy (§3) arguments. (shrink)

The purpose of this paper is to introduce a bi-intuitionistic sequent calculus and to give proofs of admissibility for its structural rules. The calculus I will present, called SC2Int, is a sequent calculus for the bi-intuitionistic logic 2Int, which Wansing presents in [2016a]. There he also gives a natural deduction system for this logic, N2Int, to which SC2Int is equivalent in terms of what is derivable. What is important is that these calculi represent a kind of bilateralist reasoning, since (...) they do not only internalize processes of verifcation or provability but also the dual processes in terms of falsifcation or what is called dual provability. In [Wansing, 2017] a normal form theorem for N2Int is stated, here, I want to prove a cut-elimination theorem for SC2Int, i.e., if successful, this would extend the results existing so far. (shrink)

This paper aims to study the organizational excellence and the extent of its clarity in the Palestinian universities from the perspective of students. Researchers have used the descriptive and analytical approach and used the questionnaire for data collection and distributed to students in universities. The researchers used a sample stratified random method by the university. The total number of students was (381) and (235) were distributed to identify the study population. (166) questionnaires were recovered with rate of (96.3%). We used (...) statistical analysis (SPSS) program for data entry, processing and analysis. The study reached the following conclusions: that (62.8%) of the study population believe that the availability of "faculty staff" somewhat weak, showed that the number of Academic staff is appropriate to the number of students. The results confirmed that (66.4%) of the study population believe that the suitability "admission policies" is average, showed that the admission policies declared for the students, it is also transparent, the university administration provides orientation programs for newley admitted students. The results showed that (55.4%) of the study population believe that the "Student support" is low in the universities, and (52.8%) of the study population believe that "student activities" in the universities is low. The study found a set of recommendations, including: the establishment of university centers for gifted and talented students, follow their growth and their creations after graduating from college and while working in the sectors of production, and provide college library modern references in all disciplines. (shrink)

P.F. Strawson famously suggested that employment of the objective attitude in an intimate relationship forebodes the relationship’s demise. Relatively less remarked is Strawson's admission that the objective attitude is available as a refuge from the strains of relating to normal, mature adults as proper subjects of the reactive attitudes. I develop an account of the strategic employment of the objective attitude in such cases according to which it denies a person a power of will – authorial power – whose recognition (...) is necessary for sustaining intimacy. This conception of the objective attitude in its strategic employment presses those who urge universal adoption of the objective attitude (perhaps in its nonreactive, emotionally toned species) to confront the costs of their proposal. (shrink)

This article explores the possibility that John Dewey’s silence on the matter of which democratic means are needed to achieve democratic ends, while confusing, makes greater sense if we appreciate the notion of political technology from an anthropological perspective. Michael Eldridge relates the exchange between John Herman Randall, Jr., and Dewey in which Dewey concedes “that I have done little or nothing in this direction [of outlining what constitutes adequate political technology, but that] does not detract from my recognition that (...) in the concrete the invention of such a technology is the heart of the problem of intelligent action in political matters.” Dewey’s concession could be interpreted as an admission that he was unqualified to identify political machinery or institutions suitable for realizing his vision of democracy as a way of life. Not being able to specify adequate means to achieve lofty democratic ends is not problematic, though, if we appreciate the roots of Dewey’s work (especially Human Nature and Conduct) in the anthropological writings of Immanuel Kant and Franz Boas. For then experience reflects a myriad of social and cultural conditions such that specifying explicit means to structure that experience risks stymieing the organic development of political practice. When pressured to operationalize political technology, he chose the appropriately open-ended and, at times, frustratingly vague means of education and growth. In short, Dewey did not want his ambitious democratic vision to outstrip the possibilities of practice, so he left the task of specifying exact political technology (or which democratic means are best suited to achieve democratic ends) unfinished. (shrink)

STRESZCZENIE Opracowanie zmierza do udzielenia odpowiedzi na pytanie, czym – z punktu widzenia struktury procesu wykładni i struktury wchodzących w grę wartości konstytucyjnych – różni się ograniczanie wolności i praw w ramach stosowania „zwykłych środków konstytucyjnych”, od ograniczania wolności i praw dopuszczalnego w stanach nadzwyczajnych. Podjęta zostaje problematyka dotyczącą kwestii materialnych, a poza zakresem rozważanych zagadnień pozostają kwestie dotyczące formalnych warunków dopuszczalności ograniczeń, jak publiczne ogłoszenie zagrożenia czy możliwość wprowadzania ograniczeń w aktach podustawowych. Stawiane tezy są polemiczne wobec poglądów, że (...) zawieszenie wolności lub praw jest skrajnym typem ograniczania i następuje wtedy, gdy wolności czy prawa „już nie ma”, lub że zawieszenie zakłada ograniczenie istoty wolności lub prawa. Okazuje się, że można sensownie mówić o zawieszaniu wolności lub praw także wówczas, gdy są one ograniczane w niewielkim tylko stopniu. Ponadto, możliwe jest zawieszanie, które nie prowadzi do ograniczenia istoty wolności lub prawa. Argumentuje się, że istotą zawieszania wolności lub praw w stanach nadzwyczajnych jest zakwestionowanie podstawowego ich przymiotu, jakim jest – uznawana w prawie międzynarodowym – nienaruszalność „całych” poszczególnych praw człowieka, która jest czymś innym od nienaruszalności ich istoty. Przy okazji prowadzona jest refleksja teoretycznoprawna nad zagadnieniem zawieszania wolności lub praw. Zawieszenie okazuje się czymś istotnie różnym od czasowej utraty mocy obowiązującej przepisów dotyczących wolności czy praw. Ich ciągłe obowiązywanie znajduje wyraz, na przykład, w zasadzie proporcjonalności mającej zastosowanie do zawieszanych wolności lub praw. -/- Extraordinary Measures and Restrictions of Constitutional Freedoms and Rights ABSTRACT The study aims to answer the question on the difference between limitation of freedoms and rights in ordinary situations and their suspension (derogation) when extraordinary measures are introduced. This question is considered from the point of view of the structure of the interpretation process and the structure of the constitutional values. Consideration is given to issues relating to material aspects. However, issues relating to formal conditions for the admissibility of restrictions, such as public announcement of a threat or the possibility of introducing restrictions in sub-statutory acts, are not examined. The theses put forward are critical of the view that suspension of freedoms or rights is an extreme type of limitation and a freedom or a right "is no longer there", and of the view that suspension presupposes violation of the essence of freedom or right. It can be argued that it makes sense to talk about the suspension of freedoms or rights also when they are only slightly restricted. Moreover, it is possible to suspend a freedom or a right without violating their essence. It is argued that suspension of freedoms or rights leads to questioning of their basic characteristic that is their inviolability as recognized in international law. However, this inviolability of freedoms or rights is something different from the inviolability of their essence. In terms of the theory of law, the suspension of freedoms or rights turns out to be something significantly different from the temporary loss of the binding force of the respective provisions. Their continued validity is reflected, for example, in the application of the principle of proportionality to the suspended freedoms or rights. (shrink)

Writing a college-application essay has become a rite of passage for high-school seniors in the U.S., one whose importance has expanded over time due to an increasingly competitive admissions process. Various commentators have noted the disturbing evolution of these essays over the years, with an ever-greater emphasis placed on obstacles overcome and traumas survived. How have we gotten to the point where college-application essays are all too frequently competitive-victimhood displays? Colleges have an understandable interest in the disadvantages their applicants may (...) have suffered, but this interest—and the awareness of it among both applicants and their advisors—has led to a “race to the bottom”: in order to thrive (or even survive) in a particular competitive context, participants are forced to continuously lower relevant standards in a game of one-upmanship. With college essays, the competition is among high-school seniors for admission, the one-upmanship is an ever-escalating effort to persuade admission committees of one’s greater disadvantage, and the relevant standards being lowered are honesty, privacy, and dignity—or so I shall argue. As we shall see, this particular race to the bottom imposes unequal costs on certain groups and has implications stretching well beyond collegiate admissions. (shrink)

The most familiar philosophical conception of objective chance renders determinism incompatible with non-trivial chances. This conception – associated in particular with the work of David Lewis – is not a good fit with our use of the word ‘chance’ and its cognates in ordinary discourse. In this paper we show how a generalized framework for chance can reconcile determinism with non-trivial chances, and provide for a more charitable interpretation of ordinary chance-talk. According to our proposal, variation in an admissible ‘evidence (...) base’ generates a spectrum of different chance functions. Successive coarse-grainings of the evidence base generates a partial ordering of chance functions, with finer trumping coarser if known. We suggest that chance-attributions in ordinary discourse express different chance functions in different contexts, and we sketch a potential contextual mechanism for making particular chance functions salient. The mechanism involves the idea that admissible evidence is available evidence: propositions that could be known. A consequence is that attributions of objective chances inherit the relatively familiar context-sensitivity associated with the modal ‘could’. We show how this context-dependency undermines certain arguments for the incompatibility of chance with determinism. (shrink)

The main thesis of this paper is that when we trust the results of scientific research, that trust is inevitably directed at least in part at collective bodies rather than at single researchers, and that accordingly, reasonable assessments of epistemic trustworthiness in science must attend to these collective bodies. In order to support this claim, I start by invoking the collaborative nature of most of today’s scientific research. I argue that the trustworthiness of a collaborative research group does not supervene (...) on the trustworthiness of its individual members and point out some specific problems for the assessment of epistemic trustworthiness that arise from the specific nature of today’s collaborative research. Next, I argue that the social diffusion of trustworthiness goes even further; we always also need an assessment of the trustworthiness of the respective research community as a whole. Communities, I claim, play an essential role in the epistemic quality management of science. To see why this role is indispensible, we have to appreciate the full complexity of determining what is desirable in a method of inquiry. The relevant features of a method include three different dimensions: the reliability of positive results, the reliability of negative results, and the method’s power. Every methodological choice involves a trade-off between these three dimensions. The right balance between them (the “distribution of inductive risks”, or DIR) depends on value judgments about the costs of false results and the benefits of correct ones. Conventional methodological standards of research communities impose constraints on admissible DIR and thereby harmonize the implicit value judgments. Trusting that the research community has set the limitations on DIR in a suitable way is thus always part of placing our trust in a scientific result. (shrink)