Crupi et al. propose a generalization of Bayesian confirmation theory that they claim to adequately deal with confirmation by uncertain evidence. Consider a series of points of time t0, . . . , ti, . . . , tn such that the agent’s subjective probability for an atomic proposition E changes from Pr0 at t0 to . . . to Pri at ti to . . . to Prn at tn. It is understood that the agent’s subjective probabilities change (...) for E and no logically stronger proposition, and that the agent updates her subjective probabilities by Jeffrey conditionalization. For this specific scenario the authors propose to take the difference between Pr0 and Pri as the degree to which E confirms H for the agent at time ti , C0,i. This proposal is claimed to be adequate, because. (shrink)

This paper investigates the logic of reasons. Its aim is to provide an analysis of the sentences of the form ‘p is a reason for q’ that yields a coherent account of their logical properties. The idea that we will develop is that ‘p is a reason for q’ is acceptable just in case a suitably defined relation of incompatibility obtains between p and ¬q. As we will suggest, a theory of reasons based on this idea can solve three challenging (...) puzzles that concern, respectively, contraposing reasons, conflicting reasons, and supererogatory reasons, and opens a new perspective on some classical issues concerning non-deductive inferences. (shrink)

This paper outlines an account of conditionals, the evidential account, which rests on the idea that a conditional is true just in case its antecedent supports its consequent. As we will show, the evidential account exhibits some distinctive logical features that deserve careful consideration. On the one hand, it departs from the material reading of ‘if then’ exactly in the way we would like it to depart from that reading. On the other, it significantly differs from the non-material accounts which (...) hinge on the Ramsey Test, advocated by Adams, Stalnaker, Lewis, and others. (shrink)

This paper develops a probabilistic analysis of conditionals which hinges on a quantitative measure of evidential support. In order to spell out the interpreta- tion of ‘if’ suggested, we will compare it with two more familiar interpretations, the suppositional interpretation and the strict interpretation, within a formal framework which rests on fairly uncontroversial assumptions. As it will emerge, each of the three interpretations considered exhibits specific logical features that deserve separate consideration.

This paper outlines an account of concessive conditionals that rests on two main ideas. One is that the logical form of a sentence as used in a given context is determined by the content expressed by the sentence in that context. The other is that a coherent distinction can be drawn between a reading of ‘if’ according to which a conditional is true when its consequent holds on the supposition that its antecedent holds, and a stronger reading according to which (...) a conditional is true when its antecedent supports its consequent. As we will suggest, the logical form of concessive conditionals can be elucidated by relying on this distinction. (shrink)

According to the view of conditionals named 'inferentialism', a conditional holds when its consequent can be inferred from its antecedent. This paper identifies some major challenges that inferentialism has to face, and uses them to assess three accounts of conditionals: one is the classical strict account, the other two have recently been proposed by Douven and Rott. As will be shown, none of the three proposals meets all challenges in a fully satisfactory way. We argue through novel formal results that (...) a variation of the evidential account of conditionals suggested by Crupi and Iacona is the most promising candidate to develop inferentialism in a coherent formal framework. (shrink)

Once upon a time, some thought that indicative conditionals could be effectively analyzed as material conditionals. Later on, an alternative theoretical construct has prevailed and received wide acceptance, namely, the conditional probability of the consequent given the antecedent. Partly following critical remarks recently ap- peared in the literature, we suggest that evidential support—rather than conditional probability alone—is key to understand indicative conditionals. There have been motivated concerns that a theory of evidential conditionals (unlike their more tra- ditional counterparts) cannot generate (...) a sufficiently interesting logical system. Here, we will describe results dispelling these worries. Happily, and perhaps surprisingly, appropriate technical variations of Ernst Adams’s classical approach allow for the construction of a logic of evidential conditionals with distinctive fea- tures, which is also well-behaved and reasonably strong. (shrink)

In some recent works, Crupi and Iacona have outlined an analysis of ‘if’ based on Chrysippus’ idea that a conditional holds whenever the negation of its consequent is incompatible with its antecedent. This paper presents a sound and complete system of conditional logic that accommodates their analysis. The soundness and completeness proofs that will be provided rely on a general method elaborated by Raidl, which applies to a wide range of systems of conditional logic.

We provide a 'verisimilitudinarian' analysis of the well-known Linda paradox or conjunction fallacy, i.e., the fact that most people judge the probability of the conjunctive statement "Linda is a bank teller and is active in the feminist movement" (B & F) as more probable than the isolated statement "Linda is a bank teller" (B), contrary to an uncontroversial principle of probability theory. The basic idea is that experimental participants may judge B & F a better hypothesis about Linda as compared (...) to B because they evaluate B & F as more verisimilar than B. In fact, the hypothesis "feminist bank teller", while less likely to be true than "bank teller", may well be a better approximation to the truth about Linda. (shrink)

Some contextually sensitive expressions are such that their context independent conventional meanings need to be in some way supplemented in context for the expressions to secure semantic values in those contexts. As we’ll see, it is not clear that there is a paradigm here, but ‘he’ used demonstratively is a clear example of such an expression. Call expressions of this sort supplementives in order to highlight the fact that their context independent meanings need to be supplemented in context for them (...) to have semantic values relative to the context. Many philosophers and linguists think that there is a lot of contextual sensitivity in natural language that goes well beyond the pure indexicals and supplementives like ‘he’. Constructions/expressions that are good candidates for being contextually sensitive include: quantifiers, gradable adjectives including “predicates of personal taste”, modals, conditionals, possessives and relational expressions taking implicit arguments. It would appear that in none of these cases does the expression/construction in question have a context independent meaning that when placed in context suffices to secure a semantic value for the expression/construction in the context. In each case, some sort of supplementation is required to do this. Hence, all these expressions are supplementives in my sense. For a given supplementive, the question arises as to what the mechanism is for supplementing its conventional meanings in context so as to secure a semantic value for it in context. That is, what form does the supplementation take? The question also arises as to whether different supplementives require different kinds of supplementation. Let us call an account of what, in addition to its conventional meaning, secures a semantic value for a supplementive in context a metasemantics for that supplementive. So we can put our two questions thus: what is the proper metasemantics for a given supplementive; and do all supplementives have the same metasemantics? In the present work, I sketch the metasemantics I formulated for demonstratives in earlier work. Next, I briefly consider a number of other supplementives that I think the metasemantics I propose plausibly applies to and explain why I think that. Finally, I consider the prospects for extending the account to all supplementives. In so doing, I take up arguments due to Michael Glanzberg to the effect that supplementives are governed by two different metasemantics and attempt to respond to them. (shrink)

In common with traditional forms of epistemic internalism, epistemological disjunctivism attempts to incorporate an awareness condition on justification. Unlike traditional forms of internalism, however, epistemological disjunctivism rejects the so-called New Evil Genius thesis. In so far as epistemological disjunctivism rejects the New Evil Genius thesis, it is revisionary. -/- After explaining what epistemological disjunctivism is, and how it relates to traditional forms of epistemic internalism / externalism, I shall argue that the epistemological disjunctivist’s account of the intuitions underlying the New (...) Evil Genius thought experiment is at best incomplete. As presented, therefore, epistemological disjunctivism is unable to accommodate the core guiding intuitions of epistemic internalism. Given the stated aim of not being revisionary on this score, the view is at a dialectical disadvantage over the traditional forms of epistemic internalism the position is meant to replace. Unfortunately, therefore, at present, the impasse between internalism and externalism remains. (shrink)

In this article I argue that the value of epistemic justification cannot be adequately explained as being instrumental to truth. I intend to show that false belief, which is no means to truth, can nevertheless still be of epistemic value. This in turn will make a good prima facie case that justification is valuable for its own sake. If this is right, we will have also found reason to think that truth value monism is false: assuming that true belief does (...) have value, there is more of final epistemic value than mere true belief. (shrink)

The role of evolutionary theory at the origin of life is an extensively debated topic. The origin and early development of life is usually separated into a prebiotic phase and a protocellular phase, ultimately leading to the Last Universal Common Ancestor. Most likely, the Last Universal Common Ancestor was subject to Darwinian evolution, but the question remains to what extent Darwinian evolution applies to the prebiotic and protocellular phases. In this review, we reflect on the current status of evolutionary theory (...) in origins of life research by bringing together philosophy of science, evolutionary biology, and empirical research in the origins field. We explore the various ways in which evolutionary theory has been extended beyond biology; we look at how these extensions apply to the prebiotic development of (proto)metabolism; and we investigate how the terminology from evolutionary theory is currently being employed in state-of-the-art origins of life research. In doing so, we identify some of the current obstacles to an evolutionary account of the origins of life, as well as open up new avenues of research. (shrink)

Cognitive penetration of perception is the idea that what we see is influenced by such states as beliefs, expectations, and so on. A perceptual belief that results from cognitive penetration may be less justified than a nonpenetrated one. Inferentialism is a kind of internalist view that tries to account for this by claiming that some experiences are epistemically evaluable, on the basis of why the perceiver has that experience, and the familiar canons of good inference provide the appropriate standards by (...) which experiences are evaluated. I examine recent defenses of inferentialism by Susanna Siegel, Peter Markie, and Matthew McGrath and argue that the prospects for inferentialism are dim. (shrink)

The standard treatment of conditional probability leaves conditional probability undefined when the conditioning proposition has zero probability. Nonetheless, some find the option of extending the scope of conditional probability to include zero-probability conditions attractive or even compelling. This article reviews some of the pitfalls associated with this move, and concludes that, for the most part, probabilities conditional on zero-probability propositions are more trouble than they are worth.

Intentions are commonly conceived of as discrete mental states that are the direct cause of actions. In the last several decades, neuroscientists have taken up the project of finding the neural implementation of intentions, and a number of areas have been posited as implementing these states. We argue, however, that the processes underlying action initiation and control are considerably more dynamic and context sensitive than the concept of intention can allow for. Therefore, adopting the notion of ‘intention’ in neuroscientific explanations (...) can easily lead to misinterpretation of the data, and can negatively influence investigation into the neural correlates of intentional action.We suggest reinterpreting the mechanisms underlying intentional action, and we will discuss the elements that such a reinterpretation needs to account for. (shrink)

Literature in epistemology tends to suppose that there are three main types of understanding – propositional, atomistic, and objectual. By showing that all apparent instances of propositional understanding can be more plausibly explained as featuring one of several other epistemic states, this paper argues that talk of propositional understanding is unhelpful and misleading. The upshot is that epistemologists can do without the notion of propositional understanding.

Much of the intuitive appeal of evidentialism results from conflating two importantly different conceptions of evidence. This is most clear in the case of perceptual justification, where experience is able to provide evidence in one sense of the term, although not in the sense that the evidentialist requires. I argue this, in part, by relying on a reading of the Sellarsian dilemma that differs from the version standardly encountered in contemporary epistemology, one that is aimed initially at the epistemology of (...) introspection but which generalizes to theories of perceptual justification as well. (shrink)

Techniques from behavioral economics—nudges—may help physicians increase pediatric vaccine compliance, but critics have objected that nudges can undermine autonomy. Since autonomy is a centrally important value in healthcare decision-making contexts, it counts against pediatric vaccination nudges if they undermine parental autonomy. Advocates for healthcare nudges have resisted the charge that nudges undermine autonomy, and the recent bioethics literature illustrates the current intractability of this debate. This article rejects a principle to which parties on both sides of this debate sometimes seem (...) committed: that nudges are morally permissible only if they are consistent with autonomy. Instead, I argue that, at least in the case of pediatric vaccination, some autonomy-undermining nudges may be morally justified. This is because parental autonomy in pediatric decision-making is not as morally valuable as the autonomy of adult patients, and because the interests of both the vaccinated child and other members of the community can sometimes be weighty enough to justify autonomy-infringing pediatric vaccination nudges. This article concludes with a set of worries about the effect of pediatric vaccination nudges on parent-physician relationships, and it calls on the American Academy of Pediatrics to draw on scientific and bioethics research to develop guidelines for the use of nudges in pediatric practice and, in particular, for the use of pediatric vaccination nudges. (shrink)

Outside of philosophy, ‘intuition’ means something like ‘knowing without knowing how you know’. Intuition in this broad sense is an important epistemological category. I distinguish intuition from perception and perception from perceptual experience, in order to discuss the distinctive psychological and epistemological status of evaluative property attributions. Although it is doubtful that we perceptually experience many evaluative properties and also somewhat unlikely that we perceive many evaluative properties, it is highly plausible that we intuit many instances of evaluative properties as (...) such. The resulting epistemological status of evaluative property attributions is very much like it would be if we literally perceived such properties. (shrink)

To what extent are cognitive capacities, especially perceptual capacities, informationally encapsulated and to what extent are they cognitively penetrable? And why does this matter? Two reasons we care about encapsulation/penetrability are: (a) encapsulation is sometimes held to be definitional of modularity, and (b) penetrability has epistemological implications independent of modularity. I argue that modularity does not require encapsulation; that modularity may have epistemological implications independently of encapsulation; and that the epistemological implications of the cognitive penetrability of perception are messier than (...) is sometimes thought. (shrink)

In general, epistemic internalists hold that an individual’s justification for a belief is exhausted by her reflectively accessible reasons for thinking that the contents of her beliefs are true. Applying this to the epistemology of testimony, a hearer’s justification for beliefs acquired through testimony is exhausted by her reflectively accessible reasons to think that the contents of the speaker’s testimony is true. A consequence of internalism is that subjects that are alike with respect to their reflectively accessible reasons are alike (...) with respect to what they have justification to believe. Testimony should be thought no different: hearers that are alike with respect to reflectively accessible reasons to think that a speaker’s testimony is true are alike with respect to their justification for beliefs based upon that testimony. But it has been recently argued that this view faces powerful counterexamples. So the central question is this: assuming that a hearer can acquire justification to believe a proposition through the testimony of a speaker, can epistemic internalism provide the resources to explain how such justification is possible? My aim in this paper is to address these counterexamples, and in so doing, defend epistemic internalist accounts of testimony. (shrink)

Epistemic internalism, by stressing the indispensability of the subject’s perspective, strikes many as plausible at first blush. However, many people have tended to reject the position because certain kinds of beliefs have been thought to pose special problems for epistemic internalism. For example, internalists tend to hold that so long as a justifier is available to the subject either immediately or upon introspection, it can serve to justify beliefs. Many have thought it obvious that no such view can be correct, (...) as it has been alleged that internalism cannot account for the possibility of the justification of beliefs stored in memory. -/- My aim in this paper is to offer a response that explains how memory justification is possible in a way that is consistent with epistemic internalism and an awareness condition on justification. Specifically, I will explore the plausibility of various options open to internalists, including both foundationalist and non-foundationalist approaches to the structure of justification. I intend to show that despite other difficult challenges that epistemic internalism might face, memory belief poses no special problems that the resources of internalism cannot adequately address. (shrink)

According to the analysis of concessive conditionals suggested by Crupi and Iacona, a concessive conditional $$p{{\,\mathrm{\hookrightarrow }\,}}q$$ p ↪ q is adequately formalized as a conjunction of conditionals. This paper presents a sound and complete axiomatic system for concessive conditionals so understood. The soundness and completeness proofs that will be provided rely on a method that has been employed by Raidl, Iacona, and Crupi to prove the soundness and completeness of an analogous system for evidential conditionals.

Extension is probably the most general natural property. Is it a fundamental property? Leibniz claimed the answer was no, and that the structureless intuition of extension concealed more fundamental properties and relations. This paper follows Leibniz's program through Herbart and Riemann to Grassmann and uses Grassmann's algebra of points to build up levels of extensions algebraically. Finally, the connection between extension and measurement is considered.

Religious belief and behavior raises the following two questions: (Q1) Does God, or any other being or state that is integral to various religious traditions, exist? (Q2) Why do humans have religious beliefs and engage in religious behavior? How one answers (Q2) can affect how reasonable individuals can be in accepting a particular answer to (Q1). My aim in this chapter is to carefully distinguish the various ways in which an answer to Q2 might affect the rationality of believing in (...) God. A literature has sprouted around this exact issue, but it has heretofore focused almost exclusively on one way in which a genealogy for p can affect the rationality of believing p – namely, by the genealogy functioning within a debunking argument. However, there are other ways a genealogy can affect the rationality of a belief. I suggest that we should be interested in whether genealogies more broadly cast doubt on religious beliefs. My main goal is: (i) to argue that CSR does not cast doubt on theistic belief in a few of the primary ways that propositions can cast doubt on other propositions, including via a debunking argument; and (ii) to suggest that one plausible way in which CSR might cast doubt on theistic belief is by undermining various traditional theistic reasons, and to illustrate how this might work with one example of a traditional theistic reason – religious experience. (shrink)

Floridi and Taddeo propose a condition of “zero semantic commitment” for solutions to the grounding problem, and a solution to it. I argue briefly that their condition cannot be fulfilled, not even by their own solution. After a look at Luc Steels' very different competing suggestion, I suggest that we need to re-think what the problem is and what role the ‘goals’ in a system play in formulating the problem. On the basis of a proper understanding of computing, I come (...) to the conclusion that the only sensible ground-ing problem is how we can explain and re-produce the behavioral ability and function of meaning in artificial computational agents. (shrink)

Pierre-Henri Castel provides a short but richly argued precis of his recently published two-volume 1,000-page masterwork on the history of obsessive-compulsive disorder. Having not read the as-yet-untranslated books, I write this commentary from Plato’s cave, trying to infer the reality of Castel’s analysis from expository shadows. I am unlikely to be more successful than Plato’s poor troglodytes, so I apologize ahead of time for any misunderstandings. Moreover, I cannot assess Castel’s detailed evidential case for his substantive theses.1 I thus focus (...) on some key philosophical issues that impinge on an area of my concern, the concept of mental disorder. Castel is a rare breed of French.. (shrink)

Recent work by Peijnenburg, Atkinson, and Herzberg suggests that infinitists who accept a probabilistic construal of justification can overcome significant challenges to their position by attending to mathematical treatments of infinite probabilistic regresses. In this essay, it is argued that care must be taken when assessing the significance of these formal results. Though valuable lessons can be drawn from these mathematical exercises (many of which are not disputed here), the essay argues that it is entirely unclear that the form of (...) infinitism that results meets a basic requirement: namely, providing an account of infinite chains of propositions qua reasons made available to agents. (shrink)

In this paper I explore a position on which it is possible to eliminate the need for postulating abstract objects through abstraction principles by treating terms for abstracta as ‘incomplete symbols’, using Russell's no-classes theory as a template from which to generalize. I defend views of this stripe against objections, most notably Richard Heck's charge that syntactic forms of nominalism cannot correctly deal with non-first-orderizable quantifcation over apparent abstracta. I further discuss how number theory may be developed in a system (...) treating apparent terms for numbers using these definitions. (shrink)

Fictionalism in ontology is a mixed bag. Here I focus on three main variants—which I label after the names of Pascal, Berkeley, and Hume—and consider their relative strengths and weaknesses. The first variant is just a version of the epistemic Wager, applied across the board. The second variant builds instead on the fact that ordinary language is not ontologically transparent; we speak with the vulgar, but deep down we think with the learned. Finally, on the Humean variant it’s the structure (...) of the ontological inventory, not its content, that may turn out to involve fictional elements. That is, for the Humean the fiction lies, not in the reality of common-sense ontology, but in the laws—of unity, identity, causation, etc.—in terms of which we articulate our experience of that reality. In the end, this is the kind of fictionalism that I find most interesting, sensible, and tenable. And I argue that it is even compatible with the sort of “naive” realism we have all come to appreciate in the work of Paolo Bozzi, to whom the paper is dedicated. (shrink)

The way we farm, the kinds of backyards and landscapes we favor, and the way we control patterns of development are creating an invisible crisis through their affects upon soil ecology. The invisibility of soil ecosystems, the seemingly alien properties of the organisms that inhabit them, and the specialized knowledge required to understand them create obstacles to moral concern for these fountains of life. Our treatment of soils has reached the point of crisis. Obstacles to moral thinking about soils might (...) be overcome by supplying the moral imagination with a deeper understanding of our own biological identity as ecosystems analogous in organization and functions to soil ecosystems. Not only have microbes created the conditions necessary for human life, but they have shaped our evolutionary history and helped constitute the human genome. Our biological identity encompasses communities of microbes, such that humans (and all organisms) are most properly understood as ecosystems. For this reason, moral concern for humans implies moral concern for ecosystems. (shrink)

This article examines a fundamental question of justice in global health. Is it ethically preferable to provide a larger number of people with cheaper treatments that are less effective (or more toxic), or to restrict treatments to a smaller group to provide a more expensive but more effective or less toxic alternative? We argue that choosing to provide less effective or more toxic interventions to a larger number of people is favored by the principles of utility, equality, and priority for (...) those worst-off. Advocates are mistaken to demand that medical care provided in low-income and middle-income countries should be the same as in high-income countries. (shrink)

Abstract. As a general theory of reasoning—and as a general theory of what holds true under every possible circumstance—logic is supposed to be ontologically neutral. It ought to have nothing to do with questions concerning what there is, or whether there is anything at all. It is for this reason that traditional Aristotelian logic, with its tacit existential presuppositions, was eventually deemed inadequate as a canon of pure logic. And it is for this reason that modern quantification theory, too, with (...) its residue of existentially loaded theorems and patterns of inference, has been claimed to suffer from a defect of logical purity. The law of non-contradiction rules out certain circumstances as impossible—circumstances in which a statement is both true and false, or perhaps circumstances where something both is and is not the case. Is this to be regarded as a further ontological bias? (shrink)

This research explores the crucial role of leadership transitions in educational institutions, particularly at Immaculate Conception College of Balayan, Inc. (ICCBI). Recognizing the profound impact of leadership practices on organizational effectiveness, this study addresses nuanced aspects of employee engagement during transitions. Using a qualitative case study design involving face-to-face interviews, common themes emerge regarding the transition of leadership, such as inclusive decision-making, resistance to new policies, unclear communication, continuity in vision, mission, and commitment, and transparency. The findings underscore the substantial (...) influence of leadership transitions on the institution's dynamics, shaping its mission, vision, and commitment to both students and employees. Proactively addressing challenges is emphasized as crucial for maintaining a positive work environment and enhancing organizational effectiveness. The study further recommends a strategic focus on transforming challenges into -/- opportunities, prioritizing employee engagement, and implementing the outlined strategies to foster a healthy work- life relationship within Immaculate Conception College of Balayan, Inc. (shrink)

This study examines the correlation between job descriptions and salaries at Immaculate Conception College of Balayan Inc. (ICCBI), a private Catholic institution devoted to faith-based education. Using qualitative research, a single-case study was conducted with ten (10) participants selected through purposive sampling based on specific criteria. Through face-to-face interviews, data was collected and analyzed using a narrative approach. Thus, it was found out that job descriptions at ICCBI are established through methods like job analysis, role and responsibility approaches, qualifications, and (...) the school manual-based method. Salary determination involves factors such as tenure, educational attainment, performance, teaching loads, experience, and collegial care. Key factors influencing job descriptions include salary differentiation, aligned job descriptions, career development opportunities, and increased duties and responsibilities. Variations in the salary structure are affected by teaching loads, department designations, and educational qualifications. The findings indicate that job descriptions impact employee salaries at the institution, and future research is encouraged to explore identified factors for insights into developing more efficient roles and contributing to organizational effectiveness. With this, the study proposed a strategic plan for future use and implementation. (shrink)

Quine’s desert is generally contrasted with Meinong’s jungle, as a sober ontological alternative to the exuberant luxuriance that comes with the latter. Here I focus instead on the desert as a sober metaphysical alternative to the Aristotelian garden, with its tidily organized varieties of flora and fauna neatly governed by fundamental laws that reflect the essence of things and the way they can be, or the way they must be. In the desert there are no “natural joints”; all the boundaries (...) we find are lines we have drawn, artificial fencings that merely reflect of our own demarcations, our classifications, our desperate need to ward off the flux and meet an excusable but ungrounded demand for order and stability. The desert returns a picture of reality that is radically anti-realist. And yet the picture does not amount to a form of irrealism. The desert is out there and is what it is regardless of how we feel. And it is not completely structureless. It’s just that the structure it has is very thin and does not correspond to the sort of structure that so-called metaphysical realists—and scientific realists alike—tend to attribute to it. (shrink)

A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is an (...) m-graph whose nodes are language expressions and the m-edges represent the inference rules of the two original systems. The sobriety of the approach is confirmed by proving that all the fibring notions are universal constructions. This graph-theoretic view is general enough to accommodate very different fibrings of propositional based logics encompassing logics with non-deterministic semantics, logics with an algebraic semantics, logics with partial semantics and substructural logics, among others. Soundness and weak completeness are proved to be preserved under very general conditions. Strong completeness is also shown to be preserved under tighter conditions. In this setting, the collapsing problem appearing in several combinations of logic systems can be avoided. (shrink)

The theory and philosophy of artificial intelligence has come to a crucial point where the agenda for the forthcoming years is in the air. This special volume of Minds and Machines presents leading invited papers from a conference on the “Philosophy and Theory of Artificial Intelligence” that was held in October 2011 in Thessaloniki. Artificial Intelligence is perhaps unique among engineering subjects in that it has raised very basic questions about the nature of computing, perception, reasoning, learning, language, action, interaction, (...) consciousness, humankind, life etc. etc. – and at the same time it has contributed substantially to answering these questions. There is thus a substantial tradition of work, both on AI by philosophers and of theory within AI itself. - The volume contains papers by Bostrom, Dreyfus, Gomila, O'Regan and Shagrir. (shrink)

For any given society, its particular technology of communication has far-reaching consequences, not merely as regards social organization, but on the epistemic level as well. Plato's name-theory of meaning represents the transition from the age of primary orality to that of literacy; Wittgenstein's use-theory of meaning stands for the transition from the age of literacy to that of a second orality (audiovisual communication, electronic information processing). On the basis of a use-theory of meaning the problem of machine consciousness, to which (...) the later Wittgenstein again and again returned, is capable of a non-essentialist solution: appropriate changes in our form of life might well entail a radically different psychological language-game. (shrink)

In "Evil and the Justice of God", N.T. Wright presses the point that attempting to solve the philosophical problem of evil is an immature response to the existence of evil--a response that belittles the real problem of evil, which is just the fact that evil is bad and needs to be dealt with. As you might expect, I am not inclined to endorse this sort of sweeping indictment of the entire field of research on the philosophical problem of evil. (I (...) sort of doubt that Wright really meant to either.) But I do think that there is a kernel of truth in what I take to be Wright's fundamental objection to attempts to solve the philosophical problem of evil. In the first section of what follows, I will try briefly to explain why. I will then go on to argue that, despite this fact, certain efforts at solving the problem of evil avoid Wright's objection. Indeed, drawing on recent work by Elenore Stump, I will argue that one perfectly legitimate way to try to solve the philosophical problem of evil is to follow precisely what seems to be the main piece of advice in "Evil and the Justice of God": namely, to look more seriously than we have at the attitudes taken toward evil by human authors of and characters in the Bible, and to attend more carefully to what the Bible says about how God deals with evil. (shrink)

From a European perspective the US debate about gun control is puzzling because we have no such debate: It seems obvious to us that dangerous weapons need tight control and that ‘guns’ fall under that category. I suggest that this difference occurs due to different habits that generate different attitudes and support this explanation with an analogy to the habits about knives. I conclude that it is plausible that individual knife-people or gun-people do not want tight regulatory legislation—but tight knife (...) and gun legislation is morally obligatory anyway. We need to give up our habits for the greater good. (shrink)

Epistemic theories of truth, such as those presumed to be typical for anti-realism, can be characterised as saying that what is true can be known in principle: p → ◊Kp. However, with statements of the form “p & ¬Kp”, a contradiction arises if they are both true and known. Analysis of the nature of the paradox shows that such statements refute epistemic theories of truth only if the the anti-realist motivation for epistemic theories of truth is not taken into account. (...) The motivation in a link of understandability ans meaningful- ness suggests to change the above principle and to restrict the theory to logically simple sentences, in which case the paradox does not arise. This suggestion also allows to see the deep philosophical problems for anti-realism those counterexamples are pointing at. (shrink)

William James' Radical Empiricist essays offer a unique and powerful argument for direct realism about our perceptions of objects. This theory can be completed with some observations by Kant on the intellectual preconditions for a perceptual judgment. Finally James and Kant deliver a powerful blow to the representational theory of perception and knowledge, which applies quite broadly to theories of representation generally.

This is a supplement to our book "Le tribolazioni del filosofare. Comedia metaphysica ne la quale si tratta de li errori & de le pene de l’Infero". It features an entirely new canto of the poem (originally thought to be lost) along with an extensive commentary. The canto covers the first ring of the circle of the Sullen, which hosts the Adverse to the Possible, and deals with several philosophical questions concerning the metaphysics of modality.