This essay outlines a hierarchical framework of Reality that allows for degrees of Reality. I use Reality (with a capital “R”) to designate reality in a primitive, metaphysical sense. Reality, grounding, and essence are the key elements of the framework presented here. I assume that Reality must have a fundamental level and all fundamental phenomena must be Real. Moreover, I postulate that everything non-fundamental is ultimately grounded in the fundamental Real. But what about the Reality of the non-fundamental? I argue (...) that it is possible for non-fundamental phenomena to be Real, Unreal, or Semi-Real. The framework developed here accommodates these possibilities and illuminates them using the notion of essence. I argue that the essential nature of a phenomenon determines its degree of Reality. The framework does not assume that Reality must have degrees but only that it may have degrees. Its theoretical attractiveness consists in its ability to accommodate many diverse intuitions about grounding, help us better understand and classify theories about grounding, and illuminate Reality and its possible degrees. (shrink)

I define two metaphysical positions that anti-physicalists can take in response to Jonathan Schaffer’s ground functionalism. Ground functionalism is a version of physicalism where explanatory gaps are everywhere. If ground functionalism is true, arguments against physicalism based on the explanatory gap between the physical and experiential facts fail. In response, first, I argue that some anti-physicalists are already safe from Schaffer’s challenge. These anti-physicalists reject an underlying assumption of ground functionalism: the assumption that macrophysical entities are something over and above (...) the fundamental entities. I call their position “lightweight anti-physicalism.” Second, I go on to argue that even if anti-physicalists accept Schaffer’s underlying assumption, they can still argue that the consciousness explanatory gap is especially mysterious and thus requires a special explanation. I call the resulting position “heavyweight anti-physicalism.” In both cases, the consciousness explanatory gap is a good way to argue against physicalism. (shrink)

Panpsychists aspire to explain human consciousness, but can they also account for the physical world? In this paper, I argue that proponents of a popular form of panpsychism cannot. I pose a new challenge against this form of panpsychism: it faces an explanatory gap between the fundamental experiences it posits and some physical entities. I call the problem of explaining the existence of these physical entities within the panpsychist framework “the missing entities problem.” Spacetime, the quantum state, and quantum gravitational (...) entities constitute three explanatory gaps as instances of the missing entities problem. Panpsychists are obliged to solve all instances of the missing entities problem; otherwise, panpsychism cannot be considered a viable theory of consciousness. (shrink)

Where does the impetus towards ethical theory come from? What drives humans to make values explicit, consistent, and discursively justifiable? This paper situates the demand for ethical theory in human life by identifying the practical needs that give rise to it. Such a practical derivation puts the demand in its place: while finding a home for it in the public decision-making of modern societies, it also imposes limitations on the demand by presenting it as scalable and context-sensitive. This differentiates strong (...) forms of the demand calling for theory from weaker forms calling for less, and contexts where it has a place from contexts where it is out of place. In light of this, subjecting personal deliberation to the demand turns out to involve a trade-off. (shrink)

Though recent years have seen a proliferation of critical histories of international law, their normative significance remains under-theorized, especially from the perspective of general readers rather than writers of such histories. How do critical histories of international law acquire their normative significance? And how should one react to them? We distinguish three ways in which critical histories can be normatively significant: (i) by undermining the overt or covert conceptions of history embedded within present practices in support of their authority; (ii) (...) by disappointing the normative expectations that regulate people’s reactions to critical histories; and (iii) by revealing continuities and discontinuities in the functions that our practices serve. By giving us a theoretical grip on the different ways in which history can be normatively significant and call for different reactions, this account helps us think about the overall normative significance of critical histories and how one and the same critical history can pull us in different directions. (shrink)

Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is concerned with formulae, thereby overlooking other possible accounts. In this paper, we propose to focus, additionally, on a meta-inferential version of Explosion, i.e. which is concerned with inferences or sequents. In doing so, we will offer a new characterization of paraconsistency by means of which a logic is (...) paraconsistent if it invalidates either the inferential or the meta-inferential notion of Explosion. We show the non-triviality of this criterion by discussing a number of logics. On the one hand, logics which validate and invalidate both versions of Explosion, such as classical logic and Asenjo–Priest’s 3-valued logic LP. On the other hand, logics which validate one version of Explosion but not the other, such as the substructural logics TS and ST, introduced by Malinowski and Cobreros, Egré, Ripley and van Rooij, which are obtained via Malinowski’s and Frankowski’s q- and p-matrices, respectively. (shrink)

Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology suffered by at least (...) some of these sentences as infectious. This leads us to consider four distinct four-valued logics: one where truth-value gaps are infectious, but gluts are not; one where truth-value gluts are infectious, but gaps are not; and two logics where both gluts and gaps are infectious, in some sense. Additionally, we focus on the proof theory of these systems, by offering a discussion of two related topics. On the one hand, we prove some limitations regarding the possibility of providing standard Gentzen sequent calculi for these systems, by dualizing and extending some recent results for infectious logics. On the other hand, we provide sound and complete four-sided sequent calculi, arguing that the most important technical and philosophical features taken into account to usually prefer standard calculi are, indeed, enjoyed by the four-sided systems. (shrink)

In this article we revisit a number of disputes regarding significance logics---i.e., inferential frameworks capable of handling meaningless, although grammatical, sentences---that took place in a series of articles most of which appeared in the Australasian Journal of Philosophy between 1966 and 1978. These debates concern (i) the way in which logical consequence ought to be approached in the context of a significance logic, and (ii) the way in which the logical vocabulary has to be modified (either by restricting some notions, (...) or by adding some vocabulary) to keep as much of Classical Logic as possible. Our aim is to show that the divisions arising from these disputes can be dissolved in the context of a novel and intuitive proposal that we put forward. (shrink)

This paper presents a novel argument against one theoretically attractive form of panpsychism. I argue that “idealist panpsychism” is false since it cannot account for spacetime’s structure. Idealist panpsychists posit that fundamental reality is purely experiential. Moreover, they posit that the consciousness at the fundamental level metaphysically grounds and explains both the facts of physics and the facts of human consciousness. I argue that if idealist panpsychism is true, human consciousness and the consciousness at the fundamental level will have the (...) same metrical structure. However, as I demonstrate, human consciousness does not exhibit the same metrical structure as spacetime. Consequently, the idealist panpsychist faces an explanatory gap between the fundamental consciousness she posits and spacetime. Idealist panpsychism is incompatible with the existence of such an explanatory gap. Thus, idealist panpsychists must close this explanatory gap (which I argue they lack the resources to do), or idealist panpsychism is false. (shrink)

In Kripke’s classic paper on truth it is argued that by adding a new semantic category different from truth and falsity it is possible to have a language with its own truth predicate. A substantial problem with this approach is that it lacks the expressive resources to characterize those sentences which fall under the new category. The main goal of this paper is to offer a refinement of Kripke’s approach in which this difficulty does not arise. We tackle this characterization (...) problem by letting certain sentences belong to more than one semantic category. We also consider the prospect of generalizing this framework to deal with languages containing vague predicates. (shrink)

This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further reflections (...) on conjunction and disjunction in the weak Kleene logics accompany this paper, particularly concerning their relation with containment logics. These considerations motivate a special approach to defining sound and complete Gentzen-style sequent calculi for some of their four-valued generalizations. (shrink)

This paper concerns anti-Humean intuitions about connections in nature. It argues for the existence of a de re link that is not necessity.Some anti-Humeans tacitly assume that metaphysical necessity can be used for all sorts of anti-Humean desires. Metaphysical necessity is thought to stick together whatever would be loose and separate in a Hume world, as if it were a kind of universal superglue.I argue that this is not feasible. Metaphysical necessity might connect synchronically co-existent properties—kinds and their essential features, (...) for example—but it is difficult to see how it could also serve as the binding force for successions of events. That is, metaphysical necessity seems not to be fit for diachronic, causal affairs in which causal laws, causation, or dispositions are involved. A different anti-Humean connection in nature has to do that job.My arguments focus mainly on a debate which has been the battleground for Humean vs. anti-Humean intuitions for many decades—namely, the analysis of dispositional predicates—yet I believe (but do not argue here) that the arguments generalise to causation and causal laws straightforwardly. (shrink)

Moral philosophers and psychologists often assume that people judge morally lucky and morally unlucky agents differently, an assumption that stands at the heart of the Puzzle of Moral Luck. We examine whether the asymmetry is found for reflective intuitions regarding wrongness, blame, permissibility, and punishment judg- ments, whether people’s concrete, case-based judgments align with their explicit, abstract principles regarding moral luck, and what psychological mechanisms might drive the effect. Our experiments produce three findings: First, in within-subjects experiments favorable to reflective (...) deliberation, the vast majority of people judge a lucky and an unlucky agent as equally blameworthy, and their actions as equally wrong and permissible. The philosophical Puzzle of Moral Luck, and the challenge to the very possibility of systematic ethics it is frequently taken to engender, thus simply do not arise. Second, punishment judgments are significantly more outcome- dependent than wrongness, blame, and permissibility judgments. While this constitutes evidence in favor of current Dual Process Theories of moral judgment, the latter need to be qualified: punishment and blame judgments do not seem to be driven by the same process, as is commonly argued in the literature. Third, in between-subjects experiments, outcome has an effect on all four types of moral judgments. This effect is mediated by negligence ascriptions and can ultimately be explained as due to differing probability ascriptions across cases. (shrink)

We provide a logical matrix semantics and a Gentzen-style sequent calculus for the first-degree entailments valid in W. T. Parry’s logic of Analytic Implication. We achieve the former by introducing a logical matrix closely related to that inducing paracomplete weak Kleene logic, and the latter by presenting a calculus where the initial sequents and the left and right rules for negation are subject to linguistic constraints.

Previous research in Explainable Artificial Intelligence (XAI) suggests that a main aim of explainability approaches is to satisfy specific interests, goals, expectations, needs, and demands regarding artificial systems (we call these “stakeholders' desiderata”) in a variety of contexts. However, the literature on XAI is vast, spreads out across multiple largely disconnected disciplines, and it often remains unclear how explainability approaches are supposed to achieve the goal of satisfying stakeholders' desiderata. This paper discusses the main classes of stakeholders calling for explainability (...) of artificial systems and reviews their desiderata. We provide a model that explicitly spells out the main concepts and relations necessary to consider and investigate when evaluating, adjusting, choosing, and developing explainability approaches that aim to satisfy stakeholders' desiderata. This model can serve researchers from the variety of different disciplines involved in XAI as a common ground. It emphasizes where there is interdisciplinary potential in the evaluation and the development of explainability approaches. (shrink)

This paper argues that Nietzsche is a critic of just the kind of genealogical debunking he is popularly associated with. We begin by showing that interpretations of Nietzsche which see him as engaging in genealogical debunking turn him into an advocate of nihilism, for on his own premises, any truthful genealogical inquiry into our values is going to uncover what most of his contemporaries deem objectionable origins and thus license global genealogical debunking. To escape nihilism and make room for naturalism (...) without indiscriminate subversion, we then argue, Nietzsche targets the way of thinking about values that permits genealogical debunking: far from trying to subvert values simply by uncovering their origins, Nietzsche is actively criticising genealogical debunking thus understood. Finally, we draw out the consequences of our reading for Nietzsche’s positive vision. (shrink)

Albert and Cederman couch the neorealist perspective in terms of ‘systems’ theorizing, Ferguson and Mansbach rhetorically discuss issues and non-issues which are readily addressed within the neoliberal perspective, and of course, Onuf is unabashedly a constructivist. Below, I discuss each theoretical perspective relative to the articles assigned, and, thereafter conclude with some observations on the three articles and theoretical frameworks.

Kant's formulae ought to effectively produce the same result when applied to the moral validity of any particular maxim; further, no valid maxim produces contradictory results when applied against Kant's Universal Law and Humanity formulae. Where one uses all formulae in the assessment of a maxim, one gains a more complete understanding of the moral law, thereby bridging principles of reason with intuition within the agent who has undertaken to evaluate the morality of a particular action. These formulae command without (...) regard to any particular interests, but are instead unconditional; further, these formulae effectively limit choice of action and therefore give rise to duty. Kant implies that the structure of all maxims requires different formulae of the same moral law, i.e., all maxims have a ‘form’ and a ‘matter’, which prompt reconfiguring of the categorical imperative into different formulae in order to test the morality of a maxim. (shrink)

The idea of levels of organization plays a central role in the philosophy of the life sciences. In this article, I first examine the explanatory goals that have motivated accounts of levels of organization. I then show that the most state-of-the-art and scientifically plausible account of levels of organization, the account of levels of mechanism proposed by Bechtel and Craver, is fundamentally problematic. Finally, I argue that the explanatory goals can be reached by adopting a deflationary approach, where levels of (...) organization give way to more well-defined and fundamental notions, such as scale and composition. (shrink)

Justiciability sets the boundaries of judicial review and the rule of law. A justiciable issue is that which is appropriate within a judicial forum. That is, where an "independent and impartial body" can remedy rights violations of identifiable claimants, the issue before it is justiciable. If it falls beyond what is judicially determinable, it is 'non-justiciable'. The principle is not fixed, as it does not permanently set the boundaries of that which is appropriate for judicial determination. Rather, it evolves "from (...) context to context," and expands and narrows along what falls within judicial competencies at a particular time. On an elementary level, it is distinct from jurisdiction, as it establishes boundaries of subject matter on policy or constitutional grounds, whereas jurisdiction is grounded in established legal rules. However, questions of jurisdiction can be subsumed under broader questions of justiciability. (shrink)

We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to the first-degree entailment fragment of R. Epstein's Relatedness Logic, and that it is a non-transitive logic of the sort investigated by S. Frankowski and others. Furthermore, we provide a semantics and a calculus for this logic. The semantics is defined (...) in terms of a \-matrix built on top of a 5-valued extension of the 3-element weak Kleene algebra, whereas the calculus is defined in terms of a Gentzen-style sequent system where the left and right negation rules are subject to linguistic constraints. (shrink)

Does it seem that with each reported state cyberattack, there comes an announcement of discovery, an attribution to one of a handful of usual suspects, some threatening language suggesting imminent retribution, and then nothing more? Increased incidence of cyberattack makes its occurrence seem simultaneously rampant in terms of publicity and minimal in terms of threat of war. If rampant, how can repeated deployment by the same actors carry no punitive consequences? How is such audaciousness tolerated? For some, a cyberattack by (...) a state is an act of war. Its prevalence suggests there must be a void somewhere that facilitates its use without consequence. Others think state cyberattack is like other internet novelties: digital malfeasance, amounting to a nuisance that naturally follows from a digital‐based existence, particularly since non‐state actors are typically involved. Yet, state‐on‐state hostilities are historically perilous on a vast scale, and there is a multilateral system for regulating the use of force in the context of war. Acts of war, even when seeming minimal in impact, are not by‐products of a digital fad, and cyberattack is now described as far more than ‘nuisance’. If anywhere, the place for clarity on hostile state cyberoperations use should be accounted for in International Humanitarian Law. Yet, in its present form, it is ambiguous if not silent on the subject, suggesting that cyberattack currently presents an advantage to perpetrating states. Does this void or these ambiguities make cyberattacks more legally advantageous to states than traditional, kinetic weaponry? I examine whether existing IHL is sufficiently adaptable to state cyberoperations through a mixed legal and theoretical approach and conclude that they do. (shrink)

Under the UDHR, all persons have the right to "seek and to enjoy . . . asylum from persecution." From this designation as fundamental followed codification of the right in the 1951 Convention relating to the Status of Refugees and the 1967 Protocol Relating (collectively 'the Convention'), the "centrepiece" of treaties and customary norms that make up international refugee law. It defines and regulates the status and rights of refugees; its purpose is to safeguard the basic rights of persons "outside (...) their country of origin," who have fled due to a legitimate fear of persecution. Fundamentally, it guarantees that asylees and refugees enjoy rights without discrimination; without penalization for illegal territorial entry; and, without expulsion or return to "territories where . . . life or freedom would be threatened on account of . . . race, religion, nationality, membership of a particular social group or political opinion," —or 'non-refoulement'. What follows is background on development of the principle of non-refoulement, evasive US Asylum Cooperative Agreements ('ACAs') and implementing legislation, and the resulting erosion to the right to asylum. (shrink)

Social and political concepts are indispensable yet historically and culturally variable in a way that poses a challenge: how can we reconcile confident commitment to them with awareness of their contingency? In this article, we argue that available responses to this problem—Foundationalism, Ironism, and Right Wittgensteinianism—are unsatisfactory. Instead, we draw on the work of Bernard Williams to tease out and develop a Left Wittgensteinian response. In present-day pluralistic and historically self-conscious societies, mere confidence in our concepts is not enough. For (...) modern individuals who are ineluctably aware of conceptual change, engaged concept-use requires reasonable confidence, and in the absence of rational foundations, the possibility of reasonable confidence is tied to the possibility of critically discriminating between conceptual practices worth endorsing and those worth rejecting. We show that Left Wittgensteinianism offers such a basis for critical discrimination through point-based explanations of conceptual practices which relate them to the needs of concept-users. We end by considering how Left Wittgensteinianism guides our understanding of how conceptual practices can be revised in the face of new needs. (shrink)

For the purposes of this enquiry—an account of what Equiano’sa modernity was, and which particular historical ‘demarcations’ of modernity provided for an enslaved man to achieve freedom through great fortune and great cunning, I will assume a definition of ‘modernity’ as defined by Kathleen Wilson: “. . . not one moment or age, but a set of relations that are constantly being made and unmade, contested and reconfigured, that nonetheless produce among their contemporaneous witnesses the conviction of historical difference.” By (...) adopting this definition, modernity in the times of Equiano refers to, “the cultural practices and representations that produced certain kinds of subjects and objects of knowledge, upheld widely-shared notions of space and time, or facilitated the formation of cultural identities that resulted in pluralities and contradictions as well as unities and coherences,” which provided for a slave to acquire freedom amidst eighteenth-century imperialism, slave-trade, and emerging abolitionist sentiments within bourgeois culture. (shrink)

For Rousseau, humankind is in a perpetual state of decay—decadency from an earlier, natural, primitive, and perfect state. For Rousseau, the natural man, or man in the state of beast, was of an era where humankind was unencumbered by that which is now entirely associated with society—that is, “. . . establishment of laws and of the right of property . . . the institution of magistracy . . . and the conversion of legitimate into arbitrary power.” For Kant, humankind (...) is in its natural state. For Kant, nature brings about conditions that continually develop and refine humankind’s dispositions, purposefully setting about societies in order to facilitate a foundation within all civilized society, whereby all of humankind’s goals may be achieved. All matters have their place—placed there by nature, as though with purpose. For Kant, nature intended for humankind to employ reason, to acquiesce to coercion for social cohesion, and to strive to build a society that is ever-increasingly progressing towards perfection. Nature uses humankind’s dispositions, including ‘antagonistic’ behavior to gradually bring about a, “perfectly just civil constitution.” Humankind’s highest goal yet to be achieved is for that just civil constitution to emerge from trial and error (in the form of wars, revolutions, secessions, abdications), over time, ultimately providing for development of other dispositions within a perfect society. (shrink)

A phronetic approach takes into account everything possible. By this, the phronetic researcher ought to be better-informed of the practical—that which is readily available in order to solve localized political problems and to direct political participants to think in terms of value-rational understanding and action. Phronetic knowledge ought to be of utility to the citizenry—and not only to academia. It does not only explain phenomena, but also provides for altering the outcomes associated with political phenomena by integrating value judgments and (...) broader ethical precepts into the analysis. This is instrumental in producing knowledge that provides for practical application of problem solving that can be deemed good or better, and provides a means for ascertaining the bad or worse in a given political scenario. This paper examines how knowledge is produced by the phronetic approach, what knowledge can be known by the phronetic approach, and whether there are inherent limitations to the phronetic approach to understanding. (shrink)

After nearly 76 years following the UN Charter, the dominant feature of the multilateral international order has shifted from a focus on states’ sovereignty to the rights of the individual. It is now widely accepted that human rights are not the province of any one state’s domestic affairs, but of importance to the entire international community. The UN Security Council sits atop the supra-state order, and holds the ultimate authority to initiate consensus-based, collective action so as to limit or prevent (...) gross human rights violations. Yet, many times the Security Council is slow to act, and consensus is exceedingly rare. This begs the question: in the face of gross human rights violations and Security Council inaction, is unilateral humanitarian intervention justified? The present state of international law on the matter is unsettled and controversial to many. What follows is a discussion on the development of international law relating to unilateral humanitarian intervention, the permissibility of intervention for gross human rights violations, and justification for intervention under existing international law. I conclude that under the present multilateral regime, unilateral humanitarian intervention is legally justified, despite fears that the principle may be invoked for the purposes of cloaking acts of aggression. (shrink)

INTRODUCTION I. CETERIS PARIBUS LAWS An alleged law of nature—like Newton's law of gravitation—is said to be a ceteris paribus law if it does not hold under ...

Robustness is often presented as a guideline for distinguishing the true or real from mere appearances or artifacts. Most of recent discussions of robustness have focused on the kind of derivational robustness analysis introduced by Levins, while the related but distinct idea of robustness as multiple accessibility, defended by Wimsatt, has received less attention. In this paper, I argue that the latter kind of robustness, when properly understood, can provide justification for ontological commitments. The idea is that we are justified (...) in believing that things studied by science are real insofar as we have robust evidence for them. I develop and analyze this idea in detail, and based on concrete examples show that it plays an important role in science. Finally, I demonstrate how robustness can be used to clarify the debate on scientific realism and to formulate new arguments. (shrink)

The local opposes the global or the macro opposes the micro and vice versa, respectively. This dialectical relationship further exposes that scales are socially and politically constructed, representative of a phenomena that is relational, and is thus of important consideration in analysis beyond simple labeling. That is, scale represents more than ‘size’ and ‘complexity’, but also reveals the relational. It is the relational—the relationship between the ‘global’ and its contents or the ‘local’—which provides for or is wont for analytic complexity (...) and theorizing. (shrink)

This paper explores whether it is possible to reformulate or re-interpret Lewis’s theory of fundamental laws of nature—his “best system analysis”—in such a way that it becomes a useful theory for special science laws. One major step in this enterprise is to make plausible how law candidates within best system competitions can tolerate exceptions—this is crucial because we expect special science laws to be so called “ceteris paribus laws ”. I attempt to show how this is possible and also how (...) we can thereby make the first step towards a solution for the infamous difficulties surrounding the troublesome ceteris paribus clause. The paper outlines the general ideas of the theory but also points out some of its difficulties and background assumptions. (shrink)

Linnebo in 2018 argues that abstract objects like numbers are “thin” because they are only required to be referents of singular terms in abstraction principles, such as Hume's principle. As the specification of existence claims made by analytic truths (the abstraction principles), their existence does not make any substantial demands of the world; however, as Linnebo notes, there is a potential counter-argument concerning infinite regress against introducing objects this way. Against this, he argues that vicious regress is avoided in the (...) account of arithmetic based on Hume's principle because we are specifying numbers in terms of the concept of equinumerosity, or its ordinal equivalent. But far from being only a matter for philosophy, this implies a distinct empirical prediction: in cognitive development, the principle of equinumerosity is primary to number concepts. However, by analysing and expanding on the bootstrapping theory of Carey in 2009, I argue in this paper that there are good reasons to think that the development could be the other way around: possessing numerosity concepts may precede grasping the principle of equinumerosity. I propose that this analysis of early numerical cognition can also help us understand what numbers as thin objects are like, moving away from Platonist interpretations. (shrink)

I identify two reasons for believing in the objectivity of mathematical knowledge: apparent objectivity and applications in science. Focusing on arithmetic, I analyze platonism and cognitive nativism in terms of explaining these two reasons. After establishing that both theories run into difficulties, I present an alternative epistemological account that combines the theoretical frameworks of enculturation and cumulative cultural evolution. I show that this account can explain why arithmetical knowledge appears to be objective and has scientific applications. Finally, I will argue (...) that, while this account is compatible with platonist metaphysics, it does not require postulating mind-independent mathematical objects. (shrink)

I show that the recent account of levels in neuroscience proposed by Craver and Bechtel is unsatisfactory since it fails to provide a plausible criterion for being at the same level and is incompatible with Craver and Bechtel’s account of downward causation. Furthermore, I argue that no distinct notion of levels is needed for analyzing explanations and causal issues in neuroscience: it is better to rely on more well-defined notions such as composition and scale. One outcome of this is that (...) apparent cases of downward causation can be analyzed away. (shrink)

Since causal processes can be prevented and interfered with, law-governed causation is a challenge for necessitarian theories of laws of nature. To show that there is a problematic friction between necessity and interference, I focus on David Armstrong's theory; with one proviso, his lawmaker, nomological necessity, is supposed to be instantiated as the causation of the law's second relatum whenever its first relatum is instantiated. His proviso is supposed to handle interference cases, but fails to do so. In order to (...) be able to handle interferences, any theory which utilizes a kind of necessitation as lawmaker has to downgrade what it treats as necessity to something more akin to (Newtonian) forces. (shrink)

Beck presents an outline of the procedure of bootstrapping of integer concepts, with the purpose of explicating the account of Carey. According to that theory, integer concepts are acquired through a process of inductive and analogous reasoning based on the object tracking system, which allows individuating objects in a parallel fashion. Discussing the bootstrapping theory, Beck dismisses what he calls the "deviant-interpretation challenge"—the possibility that the bootstrapped integer sequence does not follow a linear progression after some point—as being general to (...) any account of inductive learning. While the account of Carey and Beck focuses on the OTS, in this paper I want to reconsider the importance of another empirically well-established cognitive core system for treating numerosities, namely the approximate number system. Since the ANS-based account offers a potential alternative for integer concept acquisition, I show that it provides a good reason to revisit the deviant-interpretation challenge. Finally, I will present a hybrid OTS-ANS model as the foundation of integer concept acquisition and the framework of enculturation as a solution to the challenge. (shrink)

This paper proposes and defends an account of what it is to act for reasons. In the first part, I will discuss the desire-belief and the deliberative model of acting for reasons. I will argue that we can avoid the weaknesses and retain the strengths of both views, if we pursue an alternative according to which acting for reasons involves taking something as a reason. In the main part, I will develop an account of what it is to take something (...) as a reason for action. On the basis of this, I will then offer a new account of what it is to act for reasons. (shrink)

While we typically think of culture as defined by geography or ethnicity (e.g., American culture, Mayan culture), the term also applies to the practices and expectations of smaller groups of people. Though embedded in the larger culture surrounding them, such subcultures have their own sets of rules like those that scientists do. Philosophy of science has as its main object of studio the scientific activity. A way in which we have tried to explain these scientific practices is from the actual (...) ontological commitments that scientists do through their scientific theories. Certainly, we know scientific theories through some specific scientific language, which is, in its turn, a subset of the natural language developed by a particular culture. This study is conducted to explore and evaluate some of the most important epistemological consequences of these ontological commitments, specially the so-called ‘truth-commitment’ and its relation with a linguistic-cultural framework. There is an interesting debate between advocates and opponents of scientific realistic view of the natural world. Some lines of scientific realism argumentation assure that: (i) Mature scientific theories are approximately true. (ii) There are entities and organisms in the world that correspond with the ontology presupposed by the best scientific theories within a specific domain of scientific research and (iii) The new acceptable scientific theories should explain why past theories were successful predecessors (Colyvan 2008, Cocchiarella 2007 & Laudan 1981). Contrary, anti- realist positions ensure against the realist’s true - claim that is a semantic commitment - that the purpose of scientific theories to found the truth it is simple an unattainable goal, especially if the kind of truth they are looking for is a corresponding relation between scientific theories and the ontology of the world. Anti-realist positions held that this relation could be circular and unknowable. I do believe that there is a deep confusion between the way in which we accede to the knowledge of the constitutive structures, entities and organisms of the world (which is an epistemological matter) and the way these structures, entities and organisms are (which is an ontological matter). It seems that there is a bridge between the epistemological and ontological aspect in need for conceptual clarification. I do propose that the type of link between the two extremes have to be linguistic in nature. (shrink)

The basic human ability to treat quantitative information can be divided into two parts. With proto-arithmetical ability, based on the core cognitive abilities for subitizing and estimation, numerosities can be treated in a limited and/or approximate manner. With arithmetical ability, numerosities are processed (counted, operated on) systematically in a discrete, linear, and unbounded manner. In this paper, I study the theory of enculturation as presented by Menary (2015) as a possible explanation of how we make the move from the proto-arithmetical (...) ability to arithmetic proper. I argue that enculturation based on neural reuse provides a theoretically sound and fruitful framework for explaining this development. However, I show that a comprehensive explanation must be based on valid theoretical distinctions and involve several stages in the development of arithmetical knowledge. I provide an account that meets these challenges and thus leads to a better understanding of the subject of enculturation. (shrink)

Alfred Mele’s zygote argument is widely considered to be the strongest version of the manipulation argument against compatibilism (about free will and determinism). Opponents have focused largely on the first of its two premises and on the overall dialectic. My focus here will be on the underlying thought experiment—the Diana scenario—and on the second premise of the argument. I will argue that reflection on the Diana scenario shows that the second premise does not hold, and we will see that my (...) objection to the second premise helps to defend the claim that manipulation arguments face, in general, a dilemma. (shrink)

This paper combines two ideas: (1) That the Lewisian best system analysis of lawhood (BSA) can cope with laws that have exceptions (cf. Braddon-Mitchell in Noûs 35(2):260–277, 2001; Schrenk in The metaphysics of ceteris paribus laws. Ontos, Frankfurt, 2007). (2) That a BSA can be executed not only on the mosaic of perfectly natural properties but also on any set of special science properties (cf., inter alia, Schrenk 2007, Selected papers contributed to the sections of GAP.6, 6th international congress of (...) the society for analytical philosophy. Mentis, Paderborn/Münster, 2008; Cohen and Callender in Philos Stud 145:1–34, 2009, Erkenntnis 73:427–447, 2010). Bringing together (1) and (2) results in an analysis of special science ceteris paribus laws. (shrink)

Recent years have seen an explosion of empirical data concerning arithmetical cognition. In this paper that data is taken to be philosophically important and an outline for an empirically feasible epistemological theory of arithmetic is presented. The epistemological theory is based on the empirically well-supported hypothesis that our arithmetical ability is built on a protoarithmetical ability to categorize observations in terms of quantities that we have already as infants and share with many nonhuman animals. It is argued here that arithmetical (...) knowledge developed in such a way cannot be totally conceptual in the sense relevant to the philosophy of arithmetic, but neither can arithmetic understood to be empirical. Rather, we need to develop a contextual a priori notion of arithmetical knowledge that preserves the special mathematical characteristics without ignoring the roots of arithmetical cognition. Such a contextual a priori theory is shown not to require any ontologically problematic assumptions, in addition to fitting well within a standard framework of general epistemology. (shrink)

Some recent researches in experimental philosophy have posed a problem for philosophers’ appeal to intuition (hereinafter referred to as PAI); the aim of this paper is to offer an answer to this challenge. The thesis against PAI implies that, given some experimental results, intuition does not seem to be a reliable epistemic source, and —more importantly— given the actual state of knowledge about its operation, we do not have sufficient resources to mitigate its errors and thus establish its reliability. That (...) is why PAI is hopeless. Throughout this paper I will defend my own conception of PAI, which I have called the Deliberative Conception, and consequently, I will defend intersubjective agreement as a means to mitigate PAI errors, offering empirical evidence from recent studies on the Argumentative Theory of Reason that favor the conception I defend here. Finally, I will reply to some objections that might arise against the Deliberative Conception, which will lead me to discuss some metaphilosophical issues that are significantly relevant for the future of the dispute about the appeal to intuition. (shrink)

Why would we want to develop artificial human-like arithmetical intelligence, when computers already outperform humans in arithmetical calculations? Aside from arithmetic consisting of much more than mere calculations, one suggested reason is that AI research can help us explain the development of human arithmetical cognition. Here I argue that this question needs to be studied already in the context of basic, non-symbolic, numerical cognition. Analyzing recent machine learning research on artificial neural networks, I show how AI studies could potentially shed (...) light on the development of human numerical abilities, from the proto-arithmetical abilities of subitizing and estimating to counting procedures. Although the current results are far from conclusive and much more work is needed, I argue that AI research should be included in the interdisciplinary toolbox when we try to explain the development and character of numerical cognition and arithmetical intelligence. This makes it relevant also for the epistemology of mathematics. (shrink)

The causal theory of action has been the standard view in the philosophy of action and mind. In this chapter, I will present responses to two challenges to the theory. The first says, basically, that there is no positive argument in favour of the causal theory, as the only reason that supports it consists in the apparent lack of tenable alternatives. The second challenge says that the theory fails to capture the phenomenon of agency, as it reduces activity to mere (...) happenings (events and event-causal processes). This is often referred to as the problem of "disappearing agency". My main aim is to show that there is no problem of disappearing agency, and we will see that my response to the first challenge will be conducive to this end. I will present a positive argument for the causal theory on the basis of considerations concerning the metaphysics of agency, and I will suggest that we "own" the agency that springs from our mental states and events "by default". (shrink)

Benjamin Libet's empirical challenge to free will has received a great deal of attention and criticism. A standard line of response has emerged that many take to be decisive against Libet's challenge. In the first part of this paper, I will argue that this standard response fails to put the challenge to rest. It fails, in particular, to address a recent follow-up experiment that raises a similar worry about free will (Soon, Brass, Heinze, & Haynes, 2008). In the second part, (...) however, I will argue that we can altogether avoid Libet-style challenges if we adopt a traditional compatibilist account of free will. In the final section, I will briefly explain why there is good and independent reason to think about free will in this way. (shrink)

En este texto analizo los principales argumentos y contraargumentos realistas y anti-realistas que se han construido a favor y en contra de la capacidad científica para producir conocimiento objetivo y verdadero del mundo social y natural. Argumento que el lenguaje teórico y el lenguaje observacional con el que los científicos sociales y naturales se refieren a las diversas entidades, fenómenos, propiedades y procesos científicos observables e inobservables están determinados, en la práctica, por sus tradiciones teóricas de investigación; lo que muestra (...) que la metodología científica depende en tal medida de las teorías que es, a lo sumo, un proceder constructivo y no un proceder de descubrimiento. (shrink)

According to contextualism, the extension of claims of personal taste is dependent on the context of utterance. According to truth relativism, their extension depends on the context of assessment. On this view, when the taste preferences of a speaker change, so does the truth value of a previously uttered taste claim, and the speaker might be required to retract it. Both views make strong empirical assumptions, which are here put to the test in three experiments with over 740 participants. It (...) turns out that the linguistic behaviour of ordinary English speakers is consistent with contextualist predictions and inconsistent with the predictions of the most widely discussed form of truth relativism advocated by John MacFarlane. (shrink)

This paper discusses a dualization of Fitting's notion of a "cut-down" operation on a bilattice, rendering a "track-down" operation, later used to represent the idea that a consistent opinion cannot arise from a set including an inconsistent opinion. The logic of track-down operations on bilattices is proved equivalent to the logic d_Sfde, dual to Deutsch's system S_fde. Furthermore, track-down operations are employed to provide an epistemic interpretation for paraconsistent weak Kleene logic. Finally, two logics of sequential combinations of cut-and track-down (...) operations allow settling positively the question of whether bilattice-based semantics are available for subsystems of S_fde. (shrink)