We describe (essential features and an axiomatization of) a new metamathematical (cognitive) ability, i.e., functional conceptual substratum, used implicitly in the generation of several mathematical proofs and definitions, and playing a fundamental role in Artificial Mathematical Intelligence (or Cognitive-computational metamathematics). Furthermore, we present an initial (first-order) formalization of this mechanism together with its characterizing relation with classic notions like primitive positive definability and Diophantiveness. Additionally, we analyze the semantic variability of functional conceptual substratum when small syntactic modifications are done. Finally, (...) we describe cognitively natural inference rules for (mathematical) definitions inspired by functional conceptual substratum and we show that they are sound and complete w.r.t.\ standard calculi. (shrink)

The boundless nature of the natural numbers imposes paradoxically a high formal bound to the use of standard artificial computer programs for solving conceptually challenged problems in number theory. In the context of the new cognitive foundations for mathematics' and physics' program immersed in the setting of artificial mathematical intelligence, we proposed a refined numerical system, called the physical numbers, preserving most of the essential intuitions of the natural numbers. Even more, this new numerical structure additionally possesses the property of (...) being a bounded object allowing us to work with quite similar axioms like the classic Peano axioms, but in a finite environment and with an enriched physical dimension. Finally, we present several enlightening examples and we conclude that the physical numbers provide a natural formal setting for approaching classic problems in number theory from a more hybrid perspective, i.e. with a potential participation in the generation of solutions, not only of working mathematicians but also of more sophisticated artificial interactive (mathematical) intelligent agents (within the context of cognitive-computational metamathematics or artificial mathematical intelligence) and more controlled by physically-inspired principles. Finally, this paper addresses a highly new, bottom-up and paradigm-shifting approach to the foundations of physics: One should refine and improve the conceptual formal setting of the language that we use for understanding physical phenomena (e.g. the mathematical grounding concepts and theories) for being able to understand better more subtle and complex physical phenomena. (shrink)

We argue for the possibility of validating the presence of consciousness in another person from a perspective that blends both, a third-person approach of coming close to, observing, and understanding the other; and a first-person assessment of how the experience of the other feels like. For this, we will need to explain how the line between the third-person and first-person approaches is blurred in some methodological approaches. We rest our position largely on the back of some seminal conclusions of the (...) meditations of Ren\'e Descartes and other theories concerning consciousness like Chalmers' naturalistic dualism and, to some secondary extent on Integrated Information Theory (IIT). Additionally, we describe fundamental contextual principles already developed in the literature and the arts (like Stanivlaski's Acting System), and then we use them for setting a suitable methodology that we feel can be used to validate the presence of others' conscious experiences in one's consciousness (at suitable periods of spacetime). Finally, we give general methodological guidelines for the construction of the concrete experiment and we explore very briefly the potential implications of this kind of research in other academic and non-academic settings. (shrink)

I think the basic intuition behind textualism correct – that the meaning of a law is fixed by referencing the meaning of its words according to the meaning common to the law’s ratifiers. However, even if true, it does not follow that interpretation of a law goes through the original ratifiers. Rather, a citizenry continually ratifies the laws to which it subjects itself, and as the meanings of those words change over time, so will those laws. Concerning, say, the U.S. (...) Constitution, though the text may be very nearly the same now as in the 18th century, a different constitution is in effect. (shrink)

We approach the notion of general (global) human intelligence as a prominently multifaceted concept which can be tested in at least seventy specific scenarios. We say that an agent has Artificial Global Intelligence (AGLI), if it is able to perform in an intelligent manner for at least the collection of tasks defining the former scenarios. In particular, based on Gartner's multiple intelligences theory, we describe the design of a concrete test for AGLI made in such a way that an ‘average’ (...) young human being should, per diffinitionem, pass it. We compare our holistic test with several highly representative human and artificial intelligence tests for deducing that our AGLI test is the one with the broader scope of the whole range of intelligence. However, we claim as a plausible hypothesis and based on the wide thematic spectrum of the test that the most outstanding inventions of AI currently available are far from getting a high score on it. Finally, we open a discussion about the fact that, although there are artificial agents being able to simulate intelligent behaviour at a perfect level for several local tasks, this seems not to be the case for AGLI. This would imply, in particular, a kind of practical implausibility of the notion of intelligence explosion coming from philosophy of AI. (shrink)

We present a multidisciplinary, universal a pragmatic theory of causation based explicitly on five methodological causal seminal dimensions. The first one is called formal-mathematical-idealist theory and emerges as a meta-conceptual fusion of several existing causal theories. The second one is essentially based on a global, scientific and technical perspective. In fact, this can be considered as a meta-dimension encompassing a huge number of academic disciplines. The third dimension arises once more as combination of former approaches having the mind and its (...) laws as the central paradigm. The fourth one is structurally related with our subjective phenomenological world and its objective impact on the external universe. And, finally, the fifth dimension is closely related with the first one, but more oriented toward the global implicit purpose of the universe and what this implies causally on the events in nature. We give several concrete examples elucidating the explanatory range of our theory. (shrink)

This article introduces a new formulation of the interest theory of rights. The focus is on ‘Bentham’s test’, which was devised by Matthew Kramer to limit the expansiveness of the interest theory. According to the test, a party holds a right correlative to a duty only if that party stands to undergo a development that is typically detrimental if the duty is breached. The article shows how the entire interest theory can be reformulated in terms of the test. The article (...) then focuses on a further strength of the interest theory, brought to the fore by the new formulation. In any Western legal system, the tortious maltreatment of a child or a mentally disabled individual results in a compensatory duty. The interest theory can account for such duties in a simple and elegant way. The will theory, on the other hand, struggles to explain such compensatory duties unless it abandons some of its main tenets. (shrink)

Alain Badiou is one of the world's most influential living philosophers. Few contemporary thinkers display his breadth of argument and reference, or his ability to intervene in debates critical to both analytic and continental philosophy. Alain Badiou: Key Concepts presents an overview of and introduction to the full range of Badiou's thinking. Essays focus on the foundations of Badiou's thought, his "key concepts" - truth, being, ontology, the subject, and conditions - and on his engagement with a range of thinkers (...) central to his philosophy, including Plato, Descartes, Spinoza, Heidegger and Deleuze. (shrink)

As it says on the in, the problem for a standard of objectual (referential) quantification is presented, and a solution offered.

As a national ideology, Pancasila has formal quality, but it is also part of the material aspects that shapes perspectives that drives national policies through the process of consensus. The open and ambiguous character of Pancasila allows a wide space for social and political interpretation, and therefore is open to critique and reformation through reinterpretations of its meaning. An examination of the ethics of the socio-political application of Pancasila is crucial in the current national climate, and these ethical valuations are (...) formed through public discussions and debates on the meaning of Pancasila. Using data drawn from mass media. In this paper, I will examine the Government Regulation on Law (Perppu No. 2/2017) as an example of how these political ethics develop through the discussion of the meaning of Pancasila. Second, I'll highlight how the space for interpretation of the meaning of Pancasila determines how the public, government and oppositional coalitions evaluate the pro and contra approaches to translating the ideology into practice. Third, in examining the process of socio-political consensus as a necessity in the democratic life of Indonesia, this paper will position the discursive deployments of Pancasila in the ethical and political considerations that stem from the practical application of these discourses of Pancasila. (shrink)

In this short paper I will introduce an idea which, I will argue, presents a fundamental additional challenge to the machine consciousness community. The idea takes the questions surrounding phenomenology, qualia and phenomenality one step further into the realm of intersubjectivity but with a twist, and the twist is this: that an agent’s intersubjective experience is deeply felt and necessarily co-affective; it is enkinaesthetic, and only through enkinaesthetic awareness can we establish the affective enfolding which enables first the perturbation, and (...) then the balance and counter-balance, the attunement and co-ordination of whole-body interaction through reciprocal adaptation. (shrink)

The Article analyzes the notion of legal “thinghood” in the context of the person–thing bifurcation. In legal scholarship, there are numerous assumptions pertaining to this definition that are often not spelled out. In addition, one’s chosen definition of “thing” is often simply taken to be the correct one. The Article scrutinizes these assumptions and definitions. First, a brief history of the bifurcation is offered. Second, three possible definitions of “legal thing” are examined: Things as nonpersons, things as rights and duties, (...) and things as property. The first two definitions are rejected as not being very interesting or serving any heuristic function. Conversely, understanding legal things as property is meaningful, useful, and helps to understand what it means to say that animals are legally things. Defining things as property has certain rather important implications, which are analyzed at the end of the Article. For instance, not everything needs to be either a person or a thing: The historical institution of outlawry involved treating individuals neither as legal persons nor as legal things. One must conclude that the person–thing bifurcation is less fundamental than is often assumed. (shrink)

This article addresses the sensitive topic of human rights issues in Indonesia through a Kantian analysis. Cases of human rights violations are a common occurrence in Indonesia. Presently, human rights violations in the country are assessed from historical and legal perspectives. However, there is little commitment or willingness on the part of the Indonesian government to protect and defend the principles of human rights. This article is attempts to utilize arguments from political philosophy that can contextualize the protection and implementation (...) of human rights in Indonesia, through an analysis of the concept of social contract in Immanuel Kant’s political philosophy. According to Kant, freedom and equality are natural rights. This article demonstrates that Kant's social contract theory is linear with his formal moral philosophy. In his explanation, ‘contract’ is unified will. Therefore, the Indonesian state with its power is responsible to implement the will of the public to ensure order and rule of law and to protect the rights and freedom of each individual. (shrink)

Linda Zagzebski’s book on epistemic authority is an impressive and stimulating treatment of an important topic. 1 I admire the way she manages to combine imagination, originality and argumentative control. Her work has the further considerable merit of bringing analytic thinking and abstract theory to bear upon areas of concrete human concern, such as the attitudes one should have towards moral and religious authority. The book is stimulating in a way good philosophy should be -- provoking both disagreement and emulation. (...) I agree with much of what she says, and have been instructed by it, but it will be of more interest and relevance here if I concentrate upon areas of disagreement. Perhaps they are better seen as areas, at least some of them, where her emphases suggest a position that seems to me untenable, but that she may not really intend. In that event, I will be happy to have provoked a clarification or the dispelling of my misunderstanding. My focus will be upon problems in her account of communal authority and autonomy, especially with respect to religious and political authority. Here my worry is that she places too much trust in trust and not enough in what I call selective mistrust. (shrink)

My aim in this paper is to go some way towards showing that the maintenance of hard and fast dichotomies, like those between mind and body, and the real and the virtual, is untenable, and that technological advance cannot occur with being cognisant of its reciprocal ethical implications. In their place I will present a softer enactivist ontology through which I examine the nature of our engagement with technology in general and with virtual realities in particular. This softer ontology is (...) one to which I will commit Kant, and from which, I will show, certain critical moral and emotional consequences arise. It is my contention that Kant’s logical subject is necessarily embedded in the world and that Kant, himself, would be content with this view as an expression of his inspired response to the ‘‘scandal to philosophy... that the existence of things outside us... must be accepted merely on faith’’ [Bxl]. In keeping with his arguments for the a priori framing of intuition, the a priori structuring of experience through the spontaneous application of the categories, the synthesis of the experiential manifold, and the necessity of a unity of apperception, I will present an enactivist account of agency in the world, and argue that it is our embodied and embedded kinaesthetic engagement in our world which makes possible the syntheses of apprehension, reproduction and recognition, and which, in turn, make possible the activity of the reproductive or creative imagination. (shrink)

Betrachtet man den Gebrauch der Worte ‘Moral’ und ‘Vernunft’ etwas genauer, so stellt man fest, dass nicht klar ist, was sie bezeichnen bzw. wie Moral und Vernunft zusammenhängen. In dem Buch ‘Rationalität in der Angewandten Ethik’, in dem sich verschiedene Autoren die Aufgabe gestellt haben, diese Umstände in das Licht der Betrachtung zu rücken, finden wir Fragen darüber, wie “Moral”, “Angewandte Ethik” und “Vernunft” (auch in der Anwendung) zu verstehen und zu vereinen sind.

Social participation requires certain abilities: communication with other members of society; social understanding which enables planning ahead and dealing with novel circumstances; and a theory of mind which makes it possible to anticipate the mental state of another. In childhood play we learn how to pretend, how to put ourselves in the minds of others, how to imagine what others are thinking and how to attribute false beliefs to them. Without this ability we would be unable to deceive and detect (...) deception in the actions of others, and our ability to interact within our social group would be greatly impaired. In this paper I claim that the capacity for deception is necessary for a theory of mind, and a theory of mind is necessary for complex social interaction. (shrink)

Hillel Steiner has recently attacked the notion of inalienable rights, basing some of his arguments on the Hohfeldian analysis to show that infinite arrays of legal positions would not be associated with any inalienable rights. This essay addresses the nature of the Hohfeldian infinity: the main argument is that what Steiner claims to be an infinite regress is actually a wholly unproblematic form of infinite recursion. First, the nature of the Hohfeldian recursion is demonstrated. It is shown that infinite recursions (...) of legal positions ensue regardless of whether inalienable rights exist or not. Second, the alleged problems that this might pose for the analysis are discussed. The conclusion is that one should not worry about the recursion as long as one understands correctly the role of the Hohfeldian analysis in normative reasoning. (shrink)

What are the philosophical views of professional philosophers, and how do these views change over time? The 2020 PhilPapers Survey surveyed around 2000 philosophers on 100 philosophical questions. The results provide a snapshot of the state of some central debates in philosophy, reveal correlations and demographic effects involving philosophers' views, and reveal some changes in philosophers' views over the last decade.

Empirical work has lately confirmed what many philosophers have taken to be true: people are ‘biased toward the future’. All else being equal, we usually prefer to have positive experiences in the future, and negative experiences in the past. According to one hypothesis, the temporal metaphysics hypothesis, future-bias is explained either by our beliefs about temporal metaphysics—the temporal belief hypothesis—or alternatively by our temporal phenomenology—the temporal phenomenology hypothesis. We empirically investigate a particular version of the temporal belief hypothesis according to (...) which future-bias is explained by the belief that time robustly passes. Our results do not match the apparent predictions of this hypothesis, and so provide evidence against it. But we also find that people give more future-biased responses when asked to simulate a belief in robust passage. We take this to suggest that the phenomenology that attends simulation of that belief may be partially responsible for future-bias, and we examine the implications of these results for debates about the rationality of future-bias. (shrink)

We argue that any strong version of a knowledge condition on intentional action, the practical knowledge principle, on which knowledge of what I am doing (under some description: call it A-ing) is necessary for that A-ing to qualify as an intentional action, is false. Our argument involves a new kind of case, one that centers the agent’s control appropriately and thus improves upon Davidson’s well-known carbon copier case. After discussing this case, offering an initial argument against the knowledge condition, and (...) discussing recent treatments that cover nearby ground, we consider several objections. One we consider at some length maintains that although contemplative knowledge may be disconnected from intentional action, specifically practical knowledge of the sort Anscombe elucidated escapes our argument. We demonstrate that this is not so. Our argument illuminates an important truth, often overlooked in discussions of the knowledge-intentional action relationship: intentional action and knowledge have different levels of permissiveness regarding failure in similar circumstances. (shrink)

Whatever its ultimate philosophical merits, it is often thought that the growing block theory presents an intuitive picture of reality that accords well with our pre-reflective or folk view of time, and of the past, present, and future. This is partly motivated by the idea that we find it intuitive that, in some sense, the future is open and the past closed, and that the growing block theory is particularly well suited to accommodate this being so. In this paper, we (...) empirically investigate three claims. First, that people's intuitive or pre-reflective sense that the future is open is at least partly captured by there being truth-gaps for future contingents: what we call alethic openness. Second, that people, perhaps tacitly, believe that the fact that the future is alethically open is a reason to endorse the growing block theory; and third, that part of what explains why people tend to naively represent our world as a growing block is that they represent the future as alethically open. We found evidence in support of the first two claims. We consider the implications of these findings for several debates in the philosophy of time. (shrink)

In this paper I examine Grace A. de Laguna’s theory of universals in its historical context and in relation to contemporary debates in analytic metaphysics. I explain the central features of her theory, arguing that her theory should be classified as a form of immanent realism and as a powers ontology. I then show in what ways her theory affords a theory of modality in terms of potentialities and discuss some of its consequences along the way.

People are ‘biased toward the future’: all else being equal, we typically prefer to have positive experiences in the future, and negative experiences in the past. Several explanations have been suggested for this pattern of preferences. Adjudicating among these explanations can, among other things, shed light on the rationality of future-bias: For instance, if our preferences are explained by unjustified beliefs or an illusory phenomenology, we might conclude that they are irrational. This paper investigates one hypothesis, according to which future-bias (...) is explained by our having a phenomenology that we describe, or conceive of, as being as of time robustly passing. We empirically tested this hypothesis and found no evidence in its favour. Our results present a puzzle, however, when compared with the results of an earlier study. We conclude that although robust passage phenomenology on its own probably does not explain future-bias, having this phenomenology and taking it to be veridical may contribute to future-bias. (shrink)

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...) approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

We explored the relationship between 24 character strengths measured by the Global Assessment of Character Strengths (GACS), which was revised from the original VIA instrument, and moral functioning comprising postconventional moral reasoning, empathic traits and moral identity. Bayesian Model Averaging (BMA) was employed to explore the best models, which were more parsimonious than full regression models estimated through frequentist regression, predicting moral functioning indicators with the 24 candidate character strength predictors. Our exploration was conducted with a dataset collected from 666 (...) college students at a public university in the Southern United States. Results showed that character strengths as measured by GACS partially predicted relevant moral functioning indicators. Performance evaluation results demonstrated that the best models identified by BMA performed significantly better than the full models estimated by frequentist regression in terms of AIC, BIC, and cross-validation accuracy. We discuss theoretical and methodological implications of the findings for future studies addressing character strengths and moral functioning. (shrink)

An adequate account of laws should satisfy at least five desiderata: it should provide a unified account of laws and chances, it should yield plausible relations between laws and chances, it should vindicate numerical chance assignments, it should accommodate dynamical and non-dynamical chances, and it should accommodate a plausible range of nomic possibilities. No extant account of laws satisfies these desiderata. This paper presents a non-Humean account of laws, the Nomic Likelihood Account, that does.

Proper functionalism explicates epistemic warrant in terms of the function and normal functioning of the belief-forming process. There are two standard substantive views of the sources of functions in the literature in epistemology: God (intelligent design) or Mother Nature (evolution by natural selection). Both appear to confront the Swampman objection: couldn’t there be a mind with warranted beliefs neither designed by God nor the product of evolution by natural selection? Is there another substantive view that avoids the Swampman objection? There (...) are two. The first is the generalized selected-effects theory of functions. The second is the organizational theory of functions. Both, however, require some history to assign functions, for both are etiological theories of functions: past effects help explain current function. Swampman can then acquire functions, perhaps soon after creation, though he has none at the moment of inception. (shrink)

Can faith be valuable and, if so, under what conditions? We know of no theory-neutral way to address this question. So, we offer a theory of relational faith, and we supplement it with a complementary theory of relational faithfulness. We then turn to relationships of mutual faith and faithfulness with an eye toward exhibiting some of the ways in which, on our theory, faith and faithfulness can be valuable and disvaluable. We then extend the theory to other manifestations of faith (...) and faithfulness, propose a way to unify them under a theory of faith and faithfulness simpliciter, and explain how they can be neo-Aristotelian virtues and vices. We close with our solution to the value problem and avenues for further research. (shrink)

In this paper I argue for an association between impurity and explanatory power in contemporary mathematics. This proposal is defended against the ancient and influential idea that purity and explanation go hand-in-hand (Aristotle, Bolzano) and recent suggestions that purity/impurity ascriptions and explanatory power are more or less distinct (Section 1). This is done by analyzing a central and deep result of additive number theory, Szemerédi’s theorem, and various of its proofs (Section 2). In particular, I focus upon the radically impure (...) (ergodic) proof due to Furstenberg (Section 3). Furstenberg’s ergodic proof is striking because it utilizes intuitively foreign and infinitary resources to prove a finitary combinatorial result and does so in a perspicuous fashion. I claim that Furstenberg’s proof is explanatory in light of its clear expression of a crucial structural result, which provides the “reason why” Szemerédi’s theorem is true. This is, however, rather surprising: how can such intuitively different conceptual resources “get a grip on” the theorem to be proved? I account for this phenomenon by articulating a new construal of the content of a mathematical statement, which I call structural content (Section 4). I argue that the availability of structural content saves intuitive epistemic distinctions made in mathematical practice and simultaneously explicates the intervention of surprising and explanatorily rich conceptual resources. Structural content also disarms general arguments for thinking that impurity and explanatory power might come apart. Finally, I sketch a proposal that, once structural content is in hand, impure resources lead to explanatory proofs via suitably understood varieties of simplification and unification (Section 5). (shrink)

The harmonious free play of the imagination and understanding is at the heart of Kant’s account of beauty in the Critique of the Power of Judgement, but interpreters have long struggled to determine what Kant means when he claims the faculties are in a state of free play. In this article, I develop an interpretation of the free play of the faculties in terms of the freedom of attention. By appealing to the different way that we attend to objects in (...) aesthetic experience, we can explain how the faculties are free, even when the subject already possesses a concept of the object and is bound to the determinate form of the object in perception. (shrink)

The COVID-19 pandemic has been overwhelming public health-care systems around the world. With demand exceeding the availability of medical resources in several regions, hospitals have been forced to invoke triage. To ensure that this difficult task proceeds in a fair and organised manner, governments scrambled experts to draft triage guidelines under enormous time pressure. Although there are similarities between the documents, they vary considerably in how much weight their respective authors place on the different criteria that they propose. Since most (...) of the recommendations do not come with ethical justifications, analysing them requires that one traces back these criteria to their underlying theories of distributive justice. In the literature, COVID-19 triage has been portrayed as a value conflict solely between utilitarian and egalitarian elements. While these two accounts are indeed the main antipodes, I shall show that in fact all four classic theories of distributive justice are involved: utilitarianism, egalitarianism, libertarianism, and communitarianism. Detecting these in the documents and classifying the suggested criteria accordingly enables one to understand the balancing between the different approaches to distributive justice—which is crucial for both managing the current pandemic and in preparation for the next global health crisis. (shrink)

Structural analogies connect Williamson’s epistemology and action theory: for example, action is the direction-of-fit mirror image of knowledge, and knowledge stands to belief as action stands to intention. These structural analogies, for Williamson, are meant to illuminate more generally how ‘mirrors’ reversing direction of fit should be understood as connecting the spectrum of our cognitive and practically oriented mental states. This paper has two central aims, one negative and the other positive. The negative aim is to highlight some intractable problems (...) with Williamson’s preferred analogical picture, which links the cognitive and the practical through the nexus of direction-of-fit mirroring. The positive aim of the paper is to propose a better alternative. In particular, we show that an achievement-theoretic proposal captures what is in common across the range of attitudes that exhibit the kind of structure that knowledge-belief, action-desire/intention do, while at the same time avoiding the problems shown to face Williamson’s proposed picture. Moreover, we draw attention to several key theoretical benefits of embracing our proposed achievement-theoretic picture, including some of the key benefits of the knowledge-first programme that Williamson’s own analogies were designed to secure. (shrink)

Philosophers working on time-biases assume that people are hedonically biased toward the future. A hedonically future-biased agent prefers pleasurable experiences to be future instead of past, and painful experiences to be past instead of future. Philosophers further predict that this bias is strong enough to apply to unequal payoffs: people often prefer less pleasurable future experiences to more pleasurable past ones, and more painful past experiences to less painful future ones. In addition, philosophers have predicted that future-bias is restricted to (...) first-person preferences, and that people’s third-person preferences are time-neutral. Philosophers disagree vigorously about the normative status of these preferences—i.e., they disagree about whether first-person future-bias is rationally permissible. Time-neutralists, for example, have appealed to the predicted asymmetry between first- and third-person preferences to argue for the rational impermissibility of future-bias. We empirically tested these predictions, and found that while people do prefer more past pain to less future pain, they do not prefer less future pleasure to more past pleasure. This was so in both first and third-person conditions. This suggests that future-bias is typically non-absolute, and is more easily outweighed in the case of positive events. We connect this result to the normative debate over future-bias. (shrink)

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

Naive realism in philosophy of perception is the view that (successful) perception involves a direct relation between perceiving subjects and the world. The naive realist says that your perception of a cat on the mat is a worldly relation which is partially constituted by the cat and the mat; a spatio-temporal chunk of the world is presenting itself to you. Recently, Elijah Chudnoff and John Bengson have independently developed an extension of this view to intellectual experiences, or intuitions, for traditionally (...) a priori domains. We argue that this view, which we call ‘Intuitional Naive Realism’ (INR), will not have the epistemic advantages that Chudnoff and Bengson claim that it does. In perception, but not intuition, there is a deeper explanation of what makes it the case that one experience is constituted by the world while another is not. Whether or not INR is true, then, it does no interesting epistemological work for traditionally a priori domains. (shrink)

In this paper I argue that there would be no obligatory maxims if the only standards for assessing maxims were Kant’s universalizability tests. The paper is divided into five sections. In the first, I clarify my thesis: I define my terms and disambiguate my thesis from other related theses for which one might argue. In the second, I confront the view that says that if a maxim passes the universalizability tests, then there is a positive duty to adopt that maxim; (...) I also confront a close relative of this view. In the third, I confront the view that says that if a maxim does not pass the universalizability tests, then there is a positive duty to adopt the contradictory of that maxim. In the fourth, I confront two variations of the view that says that if a maxim does not pass the universalizability tests and an agent is deliberating about the action in the maxim, then the agent has a positive duty to adopt the contrary of that maxim. In the fifth, I confront the view that says that if an agent has adopted a maxim of ends, then the agent has a positive duty to universalize that end. I then wrap up the paper with some concluding remarks. (shrink)

A story does more than recount events; it recounts events in a way that renders them intelligible, thus conveying not just information but also understanding. We might therefore be tempted to describe narrative as a genre of explanation. When the police invite a suspect to “tell his story,” they are asking him to explain the blood on his shirt or his absence from home on the night of the murder; and whether he is judged to have a “good story” will (...) depend on its adequacy as an explanation. Can we account for the explanatory force of narrative with the models of explanation available in the philosophy of science? Or does narrative convey a different kind of understanding, which requires a different model and perhaps even a term other than ‘explanation’? (shrink)

One debate surrounding Derk Pereboom’s (2001, 2014) four-case argument against compatibilism focuses on whether, and why, we judge manipulated agents to be neither free nor morally responsible. In this paper, we propose a novel explanation. The four-case argument features cases where an agent is the only individual in her universe who has been manipulated. Let us call manipulation whose scope includes at least one but not all agents existential manipulation. Contrast this with universal manipulation, which affects all agents within a (...) universe. We propose that we find agents in Pereboom’s manipulation cases less free and morally responsible in part because they are the target of existential manipulation. We empirically tested this hypothesis and found that people’s free will and moral responsibility judgments were sensitive to the scope of manipulation: people judged existentially manipulated agents significantly less free and responsible than universally manipulated agents. (shrink)

A distorted representation of one's own body is a diagnostic criterion and core psychopathology of both anorexia nervosa (AN) and bulimia nervosa (BN). Despite recent technical advances in research, it is still unknown whether this body image disturbance is characterized by body dissatisfaction and a low ideal weight and/or includes a distorted perception or processing of body size. In this article, we provide an update and meta-analysis of 42 articles summarizing measures and results for body size estimation (BSE) from 926 (...) individuals with AN, 536 individuals with BN and 1920 controls. We replicate findings that individuals with AN and BN overestimate their body size as compared to controls (ES= 0.63). Our meta-regression shows that metric methods (BSE by direct or indirect spatial measures) yield larger effect sizes than depictive methods (BSE by evaluating distorted pictures), and that effect sizes are larger for patients with BN than for patients with AN. To interpret these results, we suggest a revised theoretical framework for BSE that accounts for differences between depictive and metric BSE methods regarding the underlying body representations (conceptual vs. perceptual, implicit vs. explicit). We also discuss clinical implications and argue for the importance of multimethod approaches to investigate body image disturbance. (shrink)

This paper aims to contribute to the ongoing conceptual debate on responsible innovation, and provides innovation practices and processes that can help to implement responsible innovation in the business context. Based on a systematic literature review of 72 empirical scholarly articles, it was possible to identify, analyse and synthesise empirical findings reported in studies on social, sustainable and responsible innovation practices in the business context. The synthesis of the included articles resulted in a refined framework for responsible innovation in the (...) business context. This framework includes an overview of innovation practices and processes that can enhance the dimensions of responsible innovation: anticipation, reflexivity, inclusion, deliberation, responsiveness and knowledge management. Additionally, knowledge gaps are identified and a research agenda for responsible innovation is proposed. This review can therefore serve as a next step in the theoretical and practical development of responsible innovation in general, and in the business context in particular. (shrink)

In “Bayesianism, Infinite Decisions, and Binding”, Arntzenius et al. (Mind 113:251–283, 2004 ) present cases in which agents who cannot bind themselves are driven by standard decision theory to choose sequences of actions with disastrous consequences. They defend standard decision theory by arguing that if a decision rule leads agents to disaster only when they cannot bind themselves, this should not be taken to be a mark against the decision rule. I show that this claim has surprising implications for a (...) number of other debates in decision theory. I then assess the plausibility of this claim, and suggest that it should be rejected. (shrink)

According to reductive intellectualism, knowledge-how just is a kind of propositional knowledge (e.g., Stanley & Williamson 2001; Stanley 2011a, 2011b; Brogaard, 2008a, 2008b, 2009, 2011, 2009, 2011). This proposal has proved controversial because knowledge-how and propositional knowledge do not seem to share the same epistemic properties, particularly with regard to epistemic luck. Here we aim to move the argument forward by offering a positive account of knowledge-how. In particular, we propose a new kind of anti-intellectualism. Unlike neo-Rylean anti-intellectualist views, according (...) to which the possession of knowledge-how is just a matter of possessing certain abilities, we submit that knowledge-how is a particular kind of cognitive achievement attained just when cognitive ability is connected in the right way with successful performance. (shrink)

This article argues that if panpsychism is true, then there are grounds for thinking that digitally-based artificial intelligence may be incapable of having coherent macrophenomenal conscious experiences. Section 1 briefly surveys research indicating that neural function and phenomenal consciousness may be both analog in nature. We show that physical and phenomenal magnitudes—such as rates of neural firing and the phenomenally experienced loudness of sounds—appear to covary monotonically with the physical stimuli they represent, forming the basis for an analog relationship between (...) the three. Section 2 then argues that if this is true and micropsychism—the panpsychist view that phenomenal consciousness or its precursors exist at a microphysical level of reality—is also true, then human brains must somehow manipulate fundamental microphysical-phenomenal magnitudes in an analog manner that renders them phenomenally coherent at a macro level. However, Sect. 3 argues that because digital computation abstracts away from microphysical-phenomenal magnitudes—representing cognitive functions non-monotonically in terms of digits—digital computation may be inherently incapable of realizing coherent macroconscious experience. Thus, if panpsychism is true, digital AI may be incapable of achieving phenomenal coherence. Finally, Sect. 4 briefly examines our argument’s implications for Tononi’s Integrated Information Theory theory of consciousness, which we contend may need to be supplanted by a theory of macroconsciousness as analog microphysical-phenomenal information integration. (shrink)

Evidential Uniqueness is the thesis that, for any batch of evidence, there’s a unique doxastic state that a subject with that evidence should have. One of the most common kinds of objections to views that violate Evidential Uniqueness are arbitrariness objections – objections to the effect that views that don’t satisfy Evidential Uniqueness lead to unacceptable arbitrariness. The goal of this paper is to examine a variety of arbitrariness objections that have appeared in the literature, and to assess the extent (...) to which these objections bolster the case for Evidential Uniqueness. After examining a number of different arbitrariness objections, I’ll conclude that, by and large, these objections do little to bolster the case for Evidential Uniqueness. (shrink)

Background: Broccoli is an edible green plant in the cabbage family (family Brassicaceae, genus Brassica) whose large flowering head, stalk and small associated leaves are eaten as a vegetable. A leaf of Broccoli might be affected of Several Diseases descriped in this paper . When symptoms is encountered, it requires some kind of medical care. If appropriate Survival of Broccoli Diseases is not taken quickly, it can lead to Broccoli to die . Objectives: The main goal of this expert system (...) is to get the appropriate diagnosis of disease and the correct treatment. Methods: In this paper the design of the proposed Expert System which was produced to help Farmers in diagnosing many of the broccoli diseases such as : Damping Off,Club root of crucifers or Finger and toe disease,Alternaria leaf spot,Black rot,Downy mildew, and White rust. (shrink)

Although some previous studies have investigated the relationship between moral foundations and moral judgment development, the methods used have not been able to fully explore the relationship. In the present study, we used Bayesian Model Averaging (BMA) in order to address the limitations in traditional regression methods that have been used previously. Results showed consistency with previous findings that binding foundations are negatively correlated with post-conventional moral reasoning and positively correlated with maintaining norms and personal interest schemas. In addition to (...) previous studies, our results showed a positive correlation for individualizing foundations and post-conventional moral reasoning. Implications are discussed as well as a detailed explanation of the novel BMA method in order to allow others in the field of moral education to be able to use it in their own studies. (shrink)

This paper investigates the connection between temporal attitudes (attitudes characterised by a concern (or lack thereof) about future and past events), beliefs about temporal ontology (beliefs about the existence of future and past events) and temporal preferences (preferences regarding where in time events are located). Our aim is to probe the connection between these preferences, attitudes, and beliefs, in order to better evaluate the normative status of these preferences. We investigate the hypothesis that there is a three-way association between (a) (...) being present-biased (that is, preferring that positive events are located in the present, and negative events are located in the non-present), (b) believing that past and future events do not exist and (c) tending to have present-focused rather than non-present-focused temporal attitudes. We find no such association. This suggests that insofar as temporal preferences and temporal attitudes are connected to the ways we represent time, they are not connected to the ways we represent temporal ontology; rather, they are more likely connected to the ways we represent relative movement in, or of, time. This has important consequences for, first, explaining why we exhibit these preferences and, second, for their normative evaluation. (shrink)

While openmindedness is often cited as a paradigmatic example of an intellectual virtue, the connection between openmindedness and truth is tenuous. Several strategies for reconciling this tension are considered, and each is shown to fail; it is thus claimed that openmindedness, when intellectually virtuous, bears no interesting essential connection to truth. In the final section, the implication of this result is assessed in the wider context of debates about epistemic value.