In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called elementary. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called canonical. This is a survey of a recent and ongoing study of the class of elementary and canonical modal formulae. We summarize main ideas and (...) results, and outline further research perspectives. (shrink)

This article provides an answer to the question: What is the function of cognition? By answering this question it becomes possible to investigate what are the simplest cognitive systems. It addresses the question by treating cognition as a solution to a design problem. It defines a nested sequence of design problems: (1) How can a system persist? (2) How can a system affect its environment to improve its persistence? (3) How can a system utilize better information from the environment to (...) select better actions? And, (4) How can a system reduce its inherent informational limitations to achieve more successful behavior? This provides a corresponding nested sequence of system classes: (1) autonomous systems, (2) (re)active autonomous systems, (3) informationally controlled autonomous systems (autonomous agents), and (4) cognitive systems. -/- This article provides the following characterization of cognition: The cognitive system is the set of mechanisms of an autonomous agent that (1) allow increase of the correlation and integration between the environment and the information system of the agent, so that (2) the agent can improve the selection of actions and thereby produce more successful behavior. -/- Finally, it shows that common cognitive capacities satisfy the characterization: learning, memory, representation, decision making, reasoning, attention, and communication. (shrink)

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...) are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames. (shrink)

We propose a generalization of Sahlqvist formulae to polyadic modal languages by representing modal polyadic languages in a combinatorial style and thus, in particular, developing what we believe to be the right approach to Sahlqvist formulae at all. The class of polyadic Sahlqvist formulae PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.

Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite model property. The (...) method of axiomatization hinges upon the fact that a "difference" operator is definable in hyperboolean algebras, and makes use of additional non-Hilbert-style rules. Finally, we discuss a number of open questions and directions for further research. (shrink)

We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.

In this article, we aim to map out the complexities which characterise debates about the ethics of vaccine distribution, particularly those surrounding the distribution of the COVID-19 vaccine. In doing so, we distinguish three general principles which might be used to distribute goods and two ambiguities in how one might wish to spell them out. We then argue that we can understand actual debates around the COVID-19 vaccine – including those over prioritising vaccinating the most vulnerable – as reflecting disagreements (...) over these principles. Finally, we shift our attention away from traditional discussions of distributive justice, highlighting the importance of concerns about risk imposition, special duties, and social roles in explaining debates over the COVID-19 vaccine. We conclude that the normative complexity this article highlights deepens the need for decision-making bodies to be sensitive to public input. (shrink)

The Consequentialist Scale (Robinson, 2012) [89] assesses the endorsement of consequentialist and deontological moral beliefs. This study empirically investigated the application of the Greek translation of the Consequentialist Scale in a sample of native Greek speakers. Specifically, 415 native Greek speakers completed the questionnaire. To uncover the underlying structure of the 10 items in the Consequentialist Scale, an Exploratory Factor Analysis (EFA) was conducted. The results revealed a three-factor solution, where the deontology factor exhibited the same structure as the original (...) work by Robinson (2012) [89], while the original consequentialism factor split into two separate factors. Significant Pearson's r correlations were observed between age and responses to the Consequentialist Scale. Separate EFAs were conducted for two age groups based on a medial split: younger (36 years old or less) and older (more than 36 years old). Interestingly, the younger group exhibited a two-factor solution with the same structure as the original work, while the older group showed a three-factor solution. A hierarchical k-means cluster analysis revealed that the cluster of participants who scored higher in deontology compared to consequentialism primarily consisted of older participants, whereas the two other clusters comprised of younger participants exhibited the reverse pattern. Neither gender nor previous experience with philosophy significantly affected scores on the Consequentialist Scale. Overall, our study provides evidence that the Consequentialist Scale is suitable for use in the Greek population. (shrink)

An inquiry on the training needs in Mathematics was conducted to Laura Vicuña Center - Palawan (LVC-P) learners. Specifically, this aimed to determine their level of performance in numbers, measurement, geometry, algebra, and statistics, identify the difficulties they encountered in solving word problems and enumerate topics where they needed coaching. -/- To identify specific training needs, the study employed a descriptive research design where 36 participants were sampled purposively. The data were gathered through a problem set test and focus group (...) discussion. Findings revealed that LVC-P learners had an unsatisfactory performance in numbers, measurement, and statistics while alarmingly poor in geometry and algebra. They also faced difficulties in remembering, understanding, applying, and analyzing mathematical concepts when solving problems. Further, the learners were able to name certain topics subjected to tutorials. -/- The above facts and observations suggest that learners of LVC-P have urgent training needs in Mathematics. It is recommended that the Western Philippines University - College of Education RDE Unit continue its research, development, and extension services to LVC-P. More importantly, the results of this inquiry regarding the training needs of the learners will serve as bases for conducting an extension project and development program for LVC-P. Series of tutorial sessions is deemed necessary to address the needs and difficulties of the learners. (shrink)

This book is a methodological guide for the emerging, interdisciplinary science of virtue traits and their value. The authors situate this emerging empirical field in the history of psychology, critically survey existing work, defend the scientific validity of virtue science, and develop a general model that can guide, unify, and catalyze future research. In addition, chapters discuss how philosophy and philosophers can contribute to empirical inquiry and how a mature science of virtue could inform moral philosophy. The book is co-authored (...) by two psychologists and a philosopher who pursued joint empirical work on fairness and then began to discuss larger methodological issues raised by that collaboration. -/- o Expected publication date: January 31, 2024 o Paperback ISBN: 1108747981. (shrink)

Philosophers have rightly condemned lookism—that is, discrimination in favor of attractive people or against unattractive people—in education, the justice system, the workplace and elsewhere. Surprisingly, however, the almost universal preference for attractive romantic and sexual partners has rarely received serious ethical scrutiny. On its face, it’s unclear whether this is a form of discrimination we should reject or tolerate. I consider arguments for both views. On the one hand, a strong case can be made that preferring attractive partners is bad. (...) The idea is that choosing partners based on looks seems essentially similar to other objectionable forms of discrimination. (In particular, the preference for attractive partners is arguably both unfair and harmful to a significant degree.) One can try to resist this conclusion in several ways. I consider three possible replies. The first has to do with the possibility of controlling our partner preferences. The second pertains to attractiveness and “good genes”. The last attempts to link certain aspects of attractiveness to a prospective partner’s personality and values. I argue that the first two replies fail conclusively, while the third only amounts to a limited defense of a particular kind of attractiveness preference. So the idea that we should often avoid preferring attractive partners is compelling. (shrink)

Can agents be duty-bound towards ends that are infeasible? Some scholars have endorsed a “feasibility constraint” on justice and answered that we cannot be duty-bound to bring about the infeasible. In this paper, I question whether the feasibility constraint on justice should still be endorsed and whether we are duty-bound to pursue some aims regardless of this constraint. I ask: Can an ethical agent be duty-bound to work towards bringing about a state of affairs that is desirable but infeasible? I (...) consider the climate crisis: climate justice may require us to work towards ends that may be infeasible, such as maintaining global climate warming below 1.5°C or mitigating climate change in a way that treats all people affected fairly. I argue that we may be duty-bound or obliged to work towards some desirable goals when faced with the infeasible and conclude that we should reject feasibility constraints on climate justice. (shrink)

Every quantum state can be represented as a probability distribution over the outcomes of an informationally complete measurement. But not all probability distributions correspond to quantum states. Quantum state space may thus be thought of as a restricted subset of all potentially available probabilities. A recent publication (Fuchs and Schack, arXiv:0906.2187v1, 2009) advocates such a representation using symmetric informationally complete (SIC) measurements. Building upon this work we study how this subset—quantum-state space—might be characterized. Our leading characteristic is that the inner (...) products of the probabilities are bounded, a simple condition with nontrivial consequences. To get quantum-state space something more detailed about the extreme points is needed. No definitive characterization is reached, but we see several new interesting features over those in Fuchs and Schack (arXiv:0906.2187v1, 2009), and all in conformity with quantum theory. (shrink)

How should one respond to scepticism? Should one seek to refute it? Or should scepticism be ignored? This paper argues that descriptive metaphysics occupies an intermediate logical space between truth-directed transcendental arguments aimed at refuting the sceptic and the quietist stance of the Humean naturalist who declines to take up the sceptical challenge. Descriptive metaphysics is neither quietist nor confrontational. It seeks to show, rather, that the sceptic is not a genuine partner in conversation.

This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...) non-adjunctivism is a well-known option, the other view is not so much studied nowadays, but it was not unknown in the tradition, and there are some positive suggestions, in recent literature, that the position is plausible and deserves to be developed. The article compares conjunctivism, non-adjunctivism and dialetheism, then focuses on some possible justifications, costs and benefits of the conjunctive view. (shrink)

The verb 'imagine' admits of perspectival modification: we can imagine things from above, from a distant point of view, or from the point of view of a Russian. But in such cases, there need be no person, either real or imagined, who is above or distant from what is imagined, or who has the point of view of a Russian. We call this the puzzle of perspectival displacement. This paper sets out the puzzle, shows how it does not just concern (...) language, but also states of imagining themselves, and then presents a solution. The solution draws on the idea that many reports of imagining conceal a distinctive kind of question, and such concealed questions have an extra argument place for (what we will call) an experiencer from whose perspective things are imagined. This solution has a range of advantages over other proposals in the literature, and helps to advance two debates concerning perspectival engagement with fiction. (shrink)

Vendler’s :161–173, 1979) puzzle about imagination is that the sentences ‘Imagine swimming in that water’ and ‘Imagine yourself swimming in that water’ seem at once semantically different and semantically the same. They seem semantically different, since the first requires you to imagine ’from the inside’, while the second allows you to imagine ’from the outside.’ They seem semantically the same, since despite superficial dissimilarity, there is good reason to think that they are syntactically and lexically identical. This paper sets out (...) the puzzle and offers a novel solution. Our proposal is that, just as there is knowledge-wh, there is also imagining-wh and that the inside/outside distinction Vendler points to is properly understood as a distinction within imagining-wh. In particular, to imagine swimming from the inside is to imagine what it feels like to swim, while to imagine swimming from the outside is to imagine what it looks like to swim. We show that this proposal is well grounded in both the semantics and syntax of ‘imagine.’ We also argue it makes better sense than its rivals of the data Vendler found so puzzling. (shrink)

There is good reason to think that, in every case of perceptual consciousness, there is something of which we are conscious; but there is also good reason to think that, in some cases of perceptual consciousness—for instance, hallucinations—there is nothing of which we are conscious. This paper resolves this inconsistency—which we call the presentation problem—by (a) arguing that ‘conscious of’ and related expressions function as intensional transitive verbs and (b) defending a particular semantic approach to such verbs, on which they (...) have readings that lack direct objects or themes. The paper further argues that this approach serves not only as a linguistic proposal about the semantics of ‘conscious of’, but also as a proposal about the metaphysics of conscious states. (shrink)

We discuss potential biorisks from large language models (LLMs). AI assistants based on LLMs such as ChatGPT have been shown to significantly reduce barriers to entry for actors wishing to synthesize dangerous, potentially novel pathogens and chemical weapons. The harms from deploying such bioagents could be further magnified by AI-assisted misinformation. We endorse several policy responses to these dangers, including prerelease evaluations of biomedical AIs by subject-matter experts, enhanced surveillance and lab screening procedures, restrictions on AI training data, and access (...) controls on biomedical AI. We conclude with a suggestion about future research directions in bioethics. (shrink)

This paper argues that the concept and role of ‘institutional racism’ in contemporary discussions of race should be reconsidered. It starts by distinguishing between ‘intrinsic institutional racism’, which holds that institutions are racist in virtue of their constitutive features, and ‘extrinsic institutional racism’, which holds that institutions are racist in virtue of their negative effects. It accepts intrinsic institutional racism, but argues that a ‘disparate impact’ conception of extrinsic conception faces a number of objections, the most serious being that it (...) has no plausible account of what it is that makes extrinsically racist institutions racist. It also argues that claims about the explanatory indispensability of institutional racism are overstated (individual racism is at least as important), critiques structural approaches to racial inequality, and suggests that there is reason to doubt whether institutional reform can provide us with all that morality may require in the racial domain. (shrink)

Susan Schneider (2019) has proposed two new tests for consciousness in AI (artificial intelligence) systems, the AI Consciousness Test and the Chip Test. On their face, the two tests seem to have the virtue of proving satisfactory to a wide range of consciousness theorists holding divergent theoretical positions, rather than narrowly relying on the truth of any particular theory of consciousness. Unfortunately, both tests are undermined in having an ‘audience problem’: Those theorists with the kind of architectural worries that motivate (...) the need for such tests should, on similar grounds, doubt that the tests establish the existence of genuine consciousness in the AI in question. Nonetheless, the proposed tests constitute progress, as they could find use by some theorists holding fitting views about consciousness and perhaps in conjunction with other tests for AI consciousness. (shrink)

Prior’s puzzle is standardly taken to be the puzzle of why, given the assumption that that-clauses denote propositions, substitution of “the proposition that P” for “that P” within the complements of many propositional attitude verbs is invalid. I show that Prior’s puzzle is much more general than is ordinarily supposed. There are two variants on the substitutional form of the puzzle—a quantificational variant and a pronominal variant—and all three forms of the puzzle arise in a wide range of grammatical positions, (...) rather than merely in the complements of propositional attitude verbs. The generalized puzzle shows that a range of proposed solutions to the original puzzle fail, or are radically incomplete, and also reveals the connections between Prior’s puzzle and debates over the nature of semantic types and higher-order quantification. I go on to develop a novel, higher-order solution to the generalized form of the puzzle, and I argue that this higher-approach is superior to its first-order alternatives. (shrink)

Ramsification is a well-known method of defining theoretical terms that figures centrally in a wide range of debates in metaphysics. Prior's puzzle is the puzzle of why, given the assumption that that-clauses denote propositions, substitution of "the proposition that P" for "that P" within the complements of many propositional attitude verbs sometimes fails to preserve truth, and other times fails to preserve grammaticality. On the surface, Ramsification and Prior's puzzle appear to have little to do with each other. But Prior's (...) puzzle is much more general than is ordinarily appreciated, and Ramsification requires a solution to the generalized form of Prior's puzzle. Without such a solution, a wide range of theories will either fail to imply their Ramsey sentences, or have Ramsey sentences that are ill-formed. As a consequence, definitions of theoretical terms given using the Ramsey sentence will be either incorrect or nonsensical. I present a partial solution to the puzzle that requires making use of a neo-Davidsonian language for scientific theorizing, but the would-be Ramsifier still faces serious challenges. (shrink)

In this contribution we explore revisionists and anti-revisionists conceptions of the historical imagination. The focus will be on how these conceptions of the historical imagination determine how one ought to answer the question of whether or not it is in principle possible to know the past in its own terms rather than from the perspective of the present. The contrast that we are seeking to draw is that between a conception of the historical imagination which is revisionist in the sense (...) that it is committed to the claim that knowledge of the past is in principle impossible, and one which is anti-revisionist in the sense that it regards knowledge of the past in its own terms to be in principle possible. Revisionism, as we understand it here, is not the contingent claim that in some cases (where, for example, new evidence which was previously unavailable comes to light) the historical understanding of the past may be revised; rather, it represents an a priori claim about the impossibility of knowing the past in its own terms in all cases, and not just in some. Likewise, anti-revisionism, as we understand it here, is the view that historical knowledge is in principle possible; it is not the claim that it is always achieved as a matter of fact. The debate between revisionist and anti-revisionist conceptions of the historical imagination is therefore a second-order debate about the nature of historical knowing, about whether it is possible, and if so, about what its conditions of possibility are. It is not a first order debate about whether or not such knowledge has been achieved in any given case. (shrink)

In this paper, I develop and defend a new adverbial theory of perception. I first present a semantics for direct-object perceptual reports that treats their object positions as supplying adverbial modifiers, and I show how this semantics definitively solves the many-property problem for adverbialism. My solution is distinctive in that it articulates adverbialism from within a well-established formal semantic framework and ties adverbialism to a plausible semantics for perceptual reports in English. I then go on to present adverbialism as a (...) theory of the metaphysics of perception. The metaphysics I develop treats adverbial perception as a directed activity: it is an activity with success conditions. When perception is successful, the agent bears a relation to a concrete particular, but perception need not be successful; this allows perception to be fundamentally non-relational. The result is a novel formulation of adverbialism that eliminates the need for representational contents, but also treats successful and unsuccessful perceptual events as having a fundamental common factor. (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)

Gauss’s quadratic reciprocity theorem is among the most important results in the history of number theory. It’s also among the most mysterious: since its discovery in the late 18th century, mathematicians have regarded reciprocity as a deeply surprising fact in need of explanation. Intriguingly, though, there’s little agreement on how the theorem is best explained. Two quite different kinds of proof are most often praised as explanatory: an elementary argument that gives the theorem an intuitive geometric interpretation, due to Gauss (...) and Eisenstein, and a sophisticated proof using algebraic number theory, due to Hilbert. Philosophers have yet to look carefully at such explanatory disagreements in mathematics. I do so here. According to the view I defend, there are two important explanatory virtues—depth and transparency—which different proofs (and other potential explanations) possess to different degrees. Although not mutually exclusive in principle, the packages of features associated with the two stand in some tension with one another, so that very deep explanations are rarely transparent, and vice versa. After developing the theory of depth and transparency and applying it to the case of quadratic reciprocity, I draw some morals about the nature of mathematical explanation. (shrink)

According to a widespread view in metaphysics and philosophy of science, all explanations involve relations of ontic dependence between the items appearing in the explanandum and the items appearing in the explanans. I argue that a family of mathematical cases, which I call “viewing-as explanations”, are incompatible with the Dependence Thesis. These cases, I claim, feature genuine explanations that aren’t supported by ontic dependence relations. Hence the thesis isn’t true in general. The first part of the paper defends this claim (...) and discusses its significance. The second part of the paper considers whether viewing-as explanations occur in the empirical sciences, focusing on the case of so-called fictional models. It’s sometimes suggested that fictional models can be explanatory even though they fail to represent actual worldly dependence relations. Whether or not such models explain, I suggest, depends on whether we think scientific explanations necessarily give information relevant to intervention and control. Finally, I argue that counterfactual approaches to explanation also have trouble accommodating viewing-as cases. (shrink)

Pain may appear to undermine the radically intentionalist view that the phenomenal character of any experience is entirely constituted by its representational content. That appearance is illusory. After categorizing versions of pain intentionalism along two dimensions, I argue that an 'objectivist' and 'non-mentalist' version is the most promising, if it can withstand two objections concerning what we say when in pain, and the distinctiveness of pain. I rebut these objections, in a way available to both opponents of and adherents to (...) the view that experiential content is entirely conceptual. (shrink)

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, on which (...) semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (shrink)

Global challenges such as climate change, food security, or public health have become dominant concerns in research and innovation policy. This article examines how responses to these challenges are addressed by governance actors. We argue that appeals to global challenges can give rise to a ‘solution strategy' that presents responses of dominant actors as solutions and a ‘negotiation strategy' that highlights the availability of heterogeneous and often conflicting responses. On the basis of interviews and document analyses, the study identifies both (...) strategies across local, national, and European levels. While our results demonstrate the co-existence of both strategies, we find that global challenges are most commonly highlighted together with the solutions offered by dominant actors. Global challenges are ‘wicked problems' that often become misframed as ‘tame problems’ in governance practice and thereby legitimise dominant responses. (shrink)

According to the resemblance account of 'what it's like' and similar constructions, a sentence such as 'there is something it’s like to have a toothache' means 'there is something having a toothache resembles'. This account has proved controversial in the literature; some writers endorse it, many reject it. We show that this conflict is illusory. Drawing on the semantics of intensional transitive verbs, we show that there are two versions of the resemblance account, depending on whether 'resembles' is construed notionally (...) or relationally. While well-known criticisms of the resemblance account undermine its relational version, they do not touch its notional version. On the contrary, the notional version is equivalent to various accounts usually interpreted as rivals to resemblance. We end by noting that this resolution of the controversy (a) explains why 'like', which is a comparative, appears in a construction that concerns the properties of events, and (b) removes any pressure to suppose that 'like' is ambiguous between a comparative and a non-comparative sense. (shrink)

Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In defense (...) of this claim, I offer evidence from mathematical practice, and I respond to contrary suggestions due to Steinhart, Maddy, Kitcher and Quine. I then show how, even if set-theoretic reductions are generally not explanatory, set theory can nevertheless serve as a legitimate foundation for mathematics. Finally, some implications of my thesis for philosophy of mathematics and philosophy of science are discussed. In particular, I suggest that some reductions in mathematics are probably explanatory, and I propose that differing standards of theory acceptance might account for the apparent lack of unexplanatory reductions in the empirical sciences. (shrink)

Mathematicians distinguish between proofs that explain their results and those that merely prove. This paper explores the nature of explanatory proofs, their role in mathematical practice, and some of the reasons why philosophers should care about them. Among the questions addressed are the following: what kinds of proofs are generally explanatory (or not)? What makes a proof explanatory? Do all mathematical explanations involve proof in an essential way? Are there really such things as explanatory proofs, and if so, how do (...) they relate to the sorts of explanation encountered in philosophy of science and metaphysics? (shrink)

The field of AI safety aims to prevent increasingly capable artificially intelligent systems from causing humans harm. Research on moral alignment is widely thought to offer a promising safety strategy: if we can equip AI systems with appropriate ethical rules, according to this line of thought, they'll be unlikely to disempower, destroy or otherwise seriously harm us. Deontological morality looks like a particularly attractive candidate for an alignment target, given its popularity, relative technical tractability and commitment to harm-avoidance principles. I (...) argue that the connection between moral alignment and safe behavior is more tenuous than many have hoped. In general, AI systems can possess either of these properties in the absence of the other, and we should favor safety when the two conflict. In particular, advanced AI systems governed by standard versions of deontology need not be especially safe. (shrink)

Claims such as ‘there are no tables and chairs’ have become increasingly common in the philosophical context, and eliminativism is now a fairly well-established position in contemporary debates in analytic metaphysics. This outbreak of eliminativism has prompted a number of responses aimed at saving the manifest image of reality. Prominent amongst the attempts to save the manifest image is a view, powerfully articulated by Frank Jackson in From Metaphysics to Ethics , according to which the manifest properties of objects, properties (...) such as solidity or fragility, can be spared from the eliminativist’s guillotine if it can be shown that they are entailed (through the relation of supervenience) by scientific properties. Jackson’s strategy for saving the manifest image rests on a modest conception of the role of conceptual analysis in metaphysics. On this view, the role of conceptual analysis is modest because it is not the task of philosophy to establish a priori what there is, but rather to determine which features of the manifest image can be located within the scientific image: the manifest properties which cannot be so located are shown to be rogue concepts that have no place in serious metaphysics. This chapter argues against the attempt to save the manifest image by invoking the relation of entailment (whether that implied by the notion of supervenience or by the more traditional notion of analytic entailment) on the grounds that the manifest image is sui generis. The defence of the manifest image that I propose as an alternative here rests on the idealist assumption that knowledge makes a difference to what is known, and that since the manifest and the scientific image are the correlative of two different ways of knowing they do not compete with one another. I call the idealist view that knowledge makes a difference to what is known the Reciprocity Thesis. Rather than seeking to determine what kind of manifest image one is entitled to have in order to comply with the scientific image, the Reciprocity Thesis limits the claims of science to its own explanandum and therefore sees no need to legitimise the manifest image by invoking the relation of entailment. The need to legitimise the manifest image in the light of the scientific image arises because the relation between the scientific and the manifest image has not been properly conceptualised. Once the scientific and the manifest image are understood as the correlative of different ways of knowing, the problem which the location strategy seeks to solve is shown to rest on a misconception of the relationship holding between different kinds of knowledge. (shrink)

The many-property problem has traditionally been taken to show that the adverbial theory of perception is untenable. This paper first shows that several widely accepted views concerning the nature of perception---including both representational and non-representational views---likewise face the many-property problem. It then presents a solution to the many-property problem for these views, but goes on to show how this solution can be adapted to provide a novel, fully compositional solution to the many-property problem for adverbialism. Thus, with respect to the (...) many-property problem, adverbialism and several widely accepted views in the philosophy of perception are on a par, and the problem is solved. (shrink)

Following neo-Aristotelians Alasdair MacIntyre and Martha Nussbaum, we claim that humans are story-telling animals who learn from the stories of diverse others. Moral agents use rational emotions, such as compassion which is our focus here, to imaginatively reconstruct others’ thoughts, feelings and goals. In turn, this imaginative reconstruction plays a crucial role in deliberating and discerning how to act. A body of literature has developed in support of the role narrative artworks (i.e. novels and films) can play in allowing us (...) the opportunity to engage imaginatively and sympathetically with diverse characters and scenarios in a safe protected space that is created by the fictional world. By practising what Nussbaum calls a ‘loving attitude’, her version of ethical attention, we can form virtuous habits that lead to phronesis (practical wisdom). In this paper, and taking compassion as an illustrative focus, we examine the ways that students’ moral education might usefully develop from engaging with narrative artworks through Philosophy for Children (P4C), where philosophy is a praxis, conducted in a classroom setting using a Community of Inquiry (CoI). We argue that narrative artworks provide useful stimulus material to engage students, generate student questions, and motivate philosophical dialogue and the formation of good habits which, in turn, supports the argument for philosophy to be taught in schools. (shrink)

Psychopaths routinely disregard social norms by engaging in selfish, antisocial, often violent behavior. Commonly characterized as mentally disordered, recent evidence suggests that psychopaths are executing a well-functioning, if unscrupulous strategy that historically increased reproductive success at the expense of others. Natural selection ought to have favored strategies that spared close kin from harm, however, because actions affecting the fitness of genetic relatives contribute to an individual’s inclusive fitness. Conversely, there is evidence that mental disorders can disrupt psychological mechanisms designed to (...) protect relatives. Thus, mental disorder and adaptation accounts of psychopathy generate opposing hypotheses: psychopathy should be associated with an increase in the victimization of kin in the former account but not in the latter. Contrary to the mental disorder hypothesis, we show here in a sample of 289 violent offenders that variation in psychopathy predicts a decrease in the genetic relatedness of victims to offenders; that is, psychopathy predicts an increased likelihood of harming non-relatives. Because nepotistic inhibition in violence may be caused by dispersal or kin discrimination, we examined the effects of psychopathy on (1) the dispersal of offenders and their kin and (2) sexual assault frequency (as a window on kin discrimination). Although psychopathy was negatively associated with coresidence with kin and positively associated with the commission of sexual assault, it remained negatively associated with the genetic relatedness of victims to offenders after removing cases of offenders who had coresided with kin and cases of sexual assault from the analyses. These results stand in contrast to models positing psychopathy as a pathology, and provide support for the hypothesis that psychopathy reflects an evolutionary strategy largely favoring the exploitation of non-relatives. (shrink)

In this paper I present an empirical solution to the puzzle of Macbeth's dagger. The puzzle of Macbeth's dagger is the question of whether, in having his fatal vision of a dagger, Macbeth sees a dagger. I answer this question by addressing a more general one: the question of whether perceptual verbs are intensional transitive verbs (ITVs). I present seven experiments, each of which tests a collection of perceptual verbs for one of the three features characteristic of ITVs. One of (...) these features is Nonexistence: the failure of sentences involving transitive verbs to entail the existence of their direct objects. The experiments reveal that with respect to all three of these features, "see" behaves much more like a paradigmatically extensional verb than an intensional one. But surprisingly, unlike "see", "perceive" behaves much more like a paradigmatically intensional verb. This shows that the category of perceptual verbs is not uniform with respect to the features of intensionality; while Macbeth does not see a dagger, he may still perceive one. (shrink)

In A Theory of Justice, John Rawls provides several arguments contractors in the original position using maximin reasoning, which leads directly to the difference principle. These arguments are inadequate to support the claim that maximin reasoning is the uniquely rational approach to choice in the original position.

This paper rigorously examines the primitive foundations of economic reasoning through an original framework based on symbolic logic. Extending previous work, it formalizes economic conceptions (\(\mathbb{C}\)), symbols (\(s_i\)), and introduces a structured language (\(\mathcal{L_{\mathbb{C}}}\)) to define their formation and interpretation. Organized as a continuous chain of declarations and illustrations, the paper offers a concise, systematic approach to understanding the philosophy of economic reasoning through formal representations.

This article discusses the adequacy of Rawls’ theory of justice as a tool for racial justice. It is argued that critics like Charles W Mills fail to appreciate both the insights and limits of the Rawlsian framework. The article has two main parts spread out over several different sections. The first is concerned with whether the Rawlsian framework suffices to prevent racial injustice. It is argued that there are reasons to doubt whether it does. The second part is concerned with (...) whether a Rawlsian framework has the resources to rectify past racial injustice. It is argued that it has more resources to do this than Mills allows. This second part of the article centers on two Rawlsian ideas: ideal theory and the fair equality of opportunity principle. It is argued that ideal theory is essential for the kind of rectificatory work that Mills wants nonideal theory to do, and that where there is a socioeconomic legacy of past injustice, it is hard to see how FEO could be implemented if it did no rectificatory work, a result which means that there is less need to turn to nonideal theory at all. (shrink)

This paper examines 18th-century Annamese Neo-Confucian discourse on conceptual issues related to zhongguo and the hua-yi dichotomy as expressed across a diversity of 18th-century writings. I engage with Huang Chun-chieh’s theory of “contextual turn” and localized subjectivity in 18th-century East Asian Confucianisms by arguing that 18th-century Annamese Neo-Confucianism operated along a dissimilar ideological trajectory which affirmed “geographic China, political China, and cultural China” as a transdynastic and singular zhongguo from which Annam received its politico-cultural legitimation and prestige. This discourse of (...) dependence on institutional recognition and geographical connection to the Chinese zhongguo distinguished 18th-century Annamese literati not only from contemporaneous modes of Confucian intellectuality in Japan and Joseon, but also from foundational conceptions of Vietic statehood characteristic of the early Le dynasty. My analysis of metaphysical theories invoked by 18th-century Annamese literati in their discussions of zhongguo and the rise of human civilization engages with both Huang Chun-chieh’s theory of a philological turn away from the metaphysical commitments in 18th-century East Asian Confucianisms and Alexander Woodside’s theory of pre-modern Vietnamese Confucianism being characterized by a non-metaphysical “classical primordialism.”. (shrink)

This paper is an original attempt to understand the foundations of economic reasoning. It endeavors to rigorously define the relationship between subjective interpretations and objective valuations of such interpretations in the context of theoretical economics. This analysis is substantially expanded through a dynamic approach, where the truth of a valuation results in an updated interpretation or changes in the agent's subjective belief regarding the effectiveness of the selected action as well as the objective reality of the effectiveness of all other (...) possible actions (i.e. consequence realization). Complications arise when the economic agent is presented with a set of actions that render ambiguous preference, or when the effectiveness of an action cannot be perceived upon its selection, thereby necessitating a different theory of choice and consequence realization. (shrink)

In his book, The Grounds of Moral Judgment, Russell Grice argues for a thesis he calls "the contract ground thesis," which connects the interest of members of a group in making a contract to the existence of an obligation and reason to abide by that contract. This thesis has been challenged by Jesse Kalin and subsequently defended by Grice. We show that Grice's defense fails--the contract ground thesis is without justification.

A study was carried out from October, 2020 to September, 2021to investigate the diversity of fishes and the conservation status of Chittaura Jheel (Bahraich), Uttar Pradesh. During the study period, 38 fish species belonging to 28 genera, 14 families and 7 orders have been identified. The order Cypriniformes was found the dominated order with 15 species(39.47%) followed by Siluriformes 10 species (26.31%), Perciformes 4 species (10.52%), Ophiocephaliformes 4 species (10.52%), Synbranchiformes2 species (5.26%), Osteoglossiformes 2 species (5.26%) and Clupiformes 1 species (...) (2.63 %), The present investigation showed that the wetland, Chittaura Jheel possesses rich fish biodiversity but proper conservation measures are required to maintain sustainability and richness of the fish species diversity of that wetland of U.P. According to IUCN, 30 were enlisted as Least Concern (LC), 2 species as near endangered (NE), 3 species as near threatened (NT), 2 listed as Endangered (EN) and 1 species was listed as Vulnerable (VU). There is a need of conservation of fish diversity of this natural wetland. The pressure is increasing day by day due to increasing population, leading to loss of fish diversity hence identifying the problem and making a better management plan is the way for conservation of the fish diversity of the Chittaura Jheel, a wetland of Bahraich district of Uttar Pradesh. (shrink)