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.

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)

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)

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)

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)

Background: Besides regulatory learning skills, learning also requires students to relate to their social context and negotiate it as they transition and adjust to medical training. As such, there is a need to consider and explore the role of social and cultural aspects in student learning, particularly in problem-based learning, where the learning paradigm differs from what most students have previously experienced. In this article, we report on the findings of a study exploring first-year medical students’ experiences during the first (...) semester of an undergraduate problem-based learning medical program at an African medical school. Method: We employed a qualitative case study approach using in-depth interviews with 23 first-year medical students. Participants ranged in age from 18 to 25 years. All students were bi/multilingual (some spoke three to five languages), with English as the learning language. We conducted an inductive thematic analysis to systematically identify and analyze patterns in the data using the Braun and Clarke framework. Results: Before medical school, students worked hard to compete for admission to medical school, were primarily taught using a teacher-centered approach, and preferred working alone. At the beginning of medical school, students found it challenging to understand the problem-based learning process, the role of the case, speaking and working effectively in a group, managing a heavy workload, and taking increased responsibility for their learning. By the end of the first semester, most students were handling the workload better, were more comfortable with their peers and facilitators, and appreciated the value of the problem-based learning approach. Conclusions: Our study highlights the importance of interrogating contextual sociocultural factors that could cause tension when implementing problem-based learning in non-western medical schools. Adjustment to problem-based learning requires a conceptual and pedagogic shift towards learner-centered practice, particularly concerning self direction, the role of the case, and collaborative learning. As such, there is a need to develop and implement research informed learning development programs that enable students to reflect on their sociocultural beliefs and practices, and enhance their regulatory learning competence to optimize meaningful and early engagement with the problem based learning process. (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)

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)

Primary objective: This study represents the first large-scale research on high school philosophy in a public education curriculum in North America. Our objective was to identify the impacts of high school philosophy, as well as the challenges of teaching it in its current format in Ontario high schools. Research design: The qualitative research design captured the perspectives of students and teachers with respect to philosophy at the high school level. All data collection was structured around central questions to provide insight (...) into the dynamics of their shared process of teaching/learning. Methods and procedures: We conducted semi-structured with interviews philosophy teachers (n = 9), classroom observations (n = 142), and student focus groups at 16 diverse high schools. Transcripts were coded according to themes. Results: Our findings reflect the complicated nature of philosophy as a discipline characterized by abstract thinking. Participants found it mind-opening, yet challenging, providing educational opportunities that are largely absent in conventional schooling. They saw multiple connections between philosophy and other subjects, but also appreciated its distinctive benefits. Teachers relied primarily on textbooks and contemporary media to deliver the curriculum. We found that a teacher’s background in philosophy may influence what is taught in philosophy courses and how, especially given the flexibility of the provincial curriculum. Conclusions: The findings suggest that philosophy is a unique, beneficial subject that teachers enjoy teaching and students greatly value, characterizing it as both difficult and rewarding. Our study revealed that considerable differences exist in how philosophy is taught and learned around the province. The flexibility of the provincial curriculum appears to be an invitation for creative and responsive teaching; however, philosophy teachers’ weak preparation can, by their own admission, be a hindrance to effective curriculum delivery. Studying philosophy enhances students’ thinking about other academic areas of study and in some cases opens them up to new ways of thinking. (shrink)

(Deutsch:) Es werden zunächst drei Hinsichten unterschieden, nach denen die in einer Situation offenstehenden Möglichkeiten vorstrukturiert erscheinen: materiell, sozial und subjektiv. Während in materieller Hinsicht Möglichkeiten schlicht vorgegeben sind, werden Möglichkeiten gesellschaftlich als zulässig oder unzulässig skandiert, d.i. hervorgehoben, oder bleiben unskandiert. In subjektiver Hinsicht sind es vor allem die Fähigkeiten des Einzelnen, die diese Möglichkeiten er- oder verschließen. Technisierung erscheint in dieser Perspektive als sichernde Vorstrukturierung von Möglichkeitsräumen, die subjektiv stets mit der Abblendung oder Abschattung bestimmter Sachverhalte und Möglichkeiten, (...) der Erzeugung einer Zone der Latenz, einhergeht. Wie aus emanzipatorischer Perspektive mit dieser Dynamik umzugehen ist, ist Thema des letzten Abschnitts. -/- (English:) At the beginning of the text, I distinguish between three respects in which the options and possibilities within a given situation are prestructured: materially, socially, and subjectively. While certain options and possibilities are simply predetermined by the physical structure of a situation, many options are socially accentuated (skandiert) as admissible or inadmissible, while other options remain unaccented. With respect to the subject, options are primarily made accessible and disclosed through the particular capabilities of the agent. From such a point of view, mechanization (Technisierung) can be described as the safe-guarding prestructuring of spaces of possibility, which is always linked with the fading of certain circumstances and possibilities, the establishment of a domain of latency. How to cope with this dynamic from an emancipatory perspective is the subject of the last section of the paper. (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)

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)

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)

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)

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)

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)

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)

I argue that Aristotle’s teleology in natural science (more specifically, in biology) is not incompatible with his admissions of the “brute necessity” of the movements of matter. Aristotle thinks that the brute necessity emerging from the movements of matter is not sufficient to explain why living beings are what they are and behave the way they behave. Nevertheless, Aristotle takes this brute necessity to be a sine qua non condition in biological explanations. The full explanation of the features of living (...) beings requires the hylomorphic model, in which the brute necessity belonging to the matter is subordinated to the teleological causality of the form. The model for which I argue is pretty much Balme’s “cybernetic”. However, I explore some aspects of Aristotle’s texts that have not received much attention in the recent literature. (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 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)

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)

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)

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)

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)

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)

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)

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)

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)

Notions such as śūnyatā, catuṣkoṭi, and Indra's net, which figure prominently in Buddhist philosophy, are difficult to readily accommodate within our ordinary thinking about everyday objects. Famous Buddhist scholar Nāgārjuna considered two levels of reality: one called conventional reality, and the other ultimate reality. Within this framework, śūnyatā refers to the claim that at the ultimate level objects are devoid of essence or "intrinsic properties", but are interdependent by virtue of their relations to other objects. Catuṣkoṭi refers to the claim (...) that four truth values, including contradiction, are admissible in reasoning. Indra's net refers to the claim that every part of a whole is reflective of the whole. Here we present category theoretic constructions that are reminiscent of these Buddhist concepts. The universal mapping property definition of mathematical objects, wherein objects of a universe of discourse are defined not in terms of their content, but in terms of their relations to all objects of the universe is reminiscent of śūnyatā. The objective logic of perception, with perception modeled as [a category of] two sequential processes (sensation followed by interpretation), and with its truth value object of four truth values, is reminiscent of the Buddhist logic of catuṣkoṭi. The category of categories, wherein every category has a subcategory of sets with zero structure within which every category can be modeled, is reminiscent of Indra's net. Our thorough elaboration of the parallels between Buddhist philosophy and category theory can facilitate better understanding of Buddhist philosophy, and bring out the broader philosophical import of category theory beyond mathematics. (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)

The search for the extensions of sentences can be guided by Frege’s “principle of compositionality of extension”, according to which the extension of a composed expression depends only on its logical form and the extensions of its parts capable of having extensions. By means of this principle, a strict criterion for the admissibility of objects as extensions of sentences can be derived: every object is admissible as the extension of a sentence that is preserved under the substitution of co-extensional (...) expressions. The question is: what are the extensions of elementary sentences containing empty singular terms, like ‘Vulcan rotates’. It can be demonstrated that in such sentences, states of affairs as structured objects (but not truth-values) are preserved under the substitution of co-extensional expressions. Hence, such states of affairs are admissible (while truth-values are not) as extensions of elementary sentences containing empty singular terms. (shrink)

This book proposes a new reading of Bergsonism based on the admission that time, conceived as duration, stretches instead of passes. This swelling time is full and so excludes the negative. Yet, swelling requires some resistance, but such that it is more of a stimulant than a contrariety. The notion of élan vital fulfills this requirement: it states the immanence of life to matter, thereby deriving the swelling from an internal effort and allowing its conceptualization as self-overcoming. With self-overcoming as (...) the inner dynamics of reality, Bergson dismisses all forms of dualism and reductionist monism because both the absence of negativity and the swelling nature of time posit a creative process yielding a qualitatively diverse world. This graded oneness is how the lower level activates intensification by turning into limitation, making possible higher levels of achievement, in particular through the union of mind and body and the integration of openness and closed sociability. (shrink)

The aim of this paper is to provide a proof-theoretic characterization of relevant logics including fusion and fission connectives, as well as Ackermann’s truth constant. We achieve this by employing the well-established methodology of labelled sequent calculi. After having introduced several systems, we will conduct a detailed proof-theoretic analysis, show a cut-admissibility theorem, and establish soundness and completeness. The paper ends with a discussion that contextualizes our current work within the broader landscape of the proof theory of relevant logics.

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)

The paper outlines a model-theoretic framework for investigating and comparing a variety of mereotopological theories. In the first part we consider different ways of characterizing a mereotopology with respect to (i) the intended interpretation of the connection primitive, and (ii) the composition of the admissible domains of quantification (e.g., whether or not they include boundary elements). The second part extends this study by considering two further dimensions along which different patterns of topological connection can be classified - the strength of (...) the connection and its multiplicity. (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)

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)

Drawing on the writings of the Jewish thinker, Abraham Joshua Heschel, I defend a partial response to the problem of divine hiddenness. A Jewish approach to divine love includes the thought that God desires meaningful relationship not only with individual persons, but also with communities of persons. In combination with John Schellenberg’s account of divine love, the admission of God’s desire for such relationships makes possible that a person may fail to believe that God exists not because of any individual (...) failing, but because the individual is a member of a larger community that itself is culpable. (shrink)

The Principal Principle (PP) says that, for any proposition A, given any admissible evidence and the proposition that the chance of A is x%, one's conditional credence in A should be x%. Humean Supervenience (HS) claims that, among possible worlds like ours, no two differ without differing in the spacetime-point-by-spacetime-point arrangement of local properties. David Lewis (1986b, 1994a) has argued that PP contradicts HS, and the validity of his argument has been endorsed by Bigelow et al. (1993), Thau (1994), Hall (...) (1994), Strevens (1995), Ismael (1996), Hoefer (1997), and Black (1998). Against this consensus, I argue that PP might not contradict HS: Lewis's argument is invalid, and every attempt – within a broad class of attempts – to amend the argument fails. (shrink)

The brain is composed of electrically excitable neuronal networks regulated by the activity of voltage-gated ion channels. Further portraying the molecular composition of the brain, however, will not reveal anything remotely reminiscent of a feeling, a sensation or a conscious experience. In classical physics, addressing the mind–brain problem is a formidable task because no physical mechanism is able to explain how the brain generates the unobservable, inner psychological world of conscious experiences and how in turn those conscious experiences steer the (...) underlying brain processes toward desired behavior. Yet, this setback does not establish that consciousness is non-physical. Modern quantum physics affirms the interplay between two types of physical entities in Hilbert space: unobservable quantum states, which are vectors describing what exists in the physical world, and quantum observables, which are operators describing what can be observed in quantum measurements. Quantum no-go theorems further provide a framework for studying quantum brain dynamics, which has to be governed by a physically admissible Hamiltonian. Comprising consciousness of unobservable quantum information integrated in quantum brain states explains the origin of the inner privacy of conscious experiences and revisits the dynamic timescale of conscious processes to picosecond conformational transitions of neural biomolecules. The observable brain is then an objective construction created from classical bits of information, which are bound by Holevo’s theorem, and obtained through the measurement of quantum brain observables. Thus, quantum information theory clarifies the distinction between the unobservable mind and the observable brain, and supports a solid physical foundation for consciousness research. (shrink)

In searching for the origins of current conceptions of science in the history of physics, one encounters a remarkable phenomenon. A typical view today is that theoretical knowledge-claims have only relativized validity. Historically, however, this thesis was supported by proponents of a conception of nature that today is far from typical, a mechanistic conception within which natural phenomena were to be explained by the action of mechanically moved matter. Two of these proponents, Hermann von Helmholtz and his pupil Heinrich Hertz, (...) contributed significantly to the modernization of the conception of science. Paradigmatic for their common contribution to this development is the way in which they employed the concept of image. By considering the origin and the different meanings of this concept we may trace a line of development which begins with Helmholtz's original claim that a universally and forever valid theory provides a unique representation of nature. It continues with the realization that the status of scientific knowledge is capable of revision; and it arrives at Hertz's admission that a variety of theories over a domain of objects is possible, at least at times. (shrink)

Philosophers typically rely on intuitions when providing a semantics for counterfactual conditionals. However, intuitions regarding counterfactual conditionals are notoriously shaky. The aim of this paper is to provide a principled account of the semantics of counterfactual conditionals. This principled account is provided by what I dub the Royal Rule, a deterministic analogue of the Principal Principle relating chance and credence. The Royal Rule says that an ideal doxastic agent’s initial grade of disbelief in a proposition \(A\) , given that the (...) counterfactual distance in a given context to the closest \(A\) -worlds equals \(n\) , and no further information that is not admissible in this context, should equal \(n\) . Under the two assumptions that the presuppositions of a given context are admissible in this context, and that the theory of deterministic alethic or metaphysical modality is admissible in any context, it follows that the counterfactual distance distribution in a given context has the structure of a ranking function. The basic conditional logic V is shown to be sound and complete with respect to the resulting rank-theoretic semantics of counterfactuals. (shrink)