As COVID-19 emerged as a phenomenon of the total environment, and despite the intertwined and complex relationships that make humanity an organic part of the Bio- and Geospheres, the majority of our responses to it have been corrective in character, with few or no consideration for unintended consequences which bring about further vulnerability to unanticipated global events. Tackling COVID-19 entails a systemic and precautionary approach to human-nature relations, which we frame as regaining diversity in the Geo-, Bio-, and Anthropospheres. Its (...) implementation requires nothing short of an overhaul in the way we interact with and build knowledge from natural and social environments. Hence, we discuss the urgency of shifting from current to precautionary approaches to COVID-19 and look, through the lens of diversity, at the anticipated benefits in four systems crucially affecting and affected by the pandemic: health, land, knowledge and innovation. Our reflections offer a glimpse of the sort of changes needed, from pursuing planetary health and creating more harmonious forms of land use to providing a multi-level platform for other ways of knowing/understanding and turning innovation into a source of global public goods. These exemplary initiatives introduce and solidify systemic thinking in policymaking and move priorities from reaction-based strategies to precautionary frameworks. (shrink)

The paper discusses two ways to understand political liberalism. On the one hand, political liberalism may rely on the existence of an overlapping consensus among all reasonable comprehensive views present in our society. On the other hand, we may ground political liberalism on the moral value of equal respect for everyone. The dilemma between a factual identification of an overlapping consensus and a normative appeal to moral values arises at two levels. First, when we fill the content of our political (...) conception of justice. And second, when we require impartiality to fill that content. In the former case, we may argue for a particular conception of justice through normative argument with moral premises, or our political conception of justice might be the area where all reasona-ble comprehensive views overlap. Similarly, we require that citizens offer impartial public reasons because this is what people holding different comprehensive views do think ap-propriate, or because they should consider it so. The author argues that we should define our political conception of justice through impartial normative argument, and that we should ground the demand of impartiality on the moral value of equal respect. (shrink)

Since the automation revolution of our technological era, diverse machines or robots have gradually begun to reconfigure our lives. With this expansion, it seems that those machines are now faced with a new challenge: more autonomous decision-making involving life or death consequences. This paper explores the philosophical possibility of artificial moral agency through the following question: could a machine obtain the cognitive capacities needed to be a moral agent? In this regard, I propose to expose, under a normative-cognitive perspective, the (...) minimum criteria through which we could recognize an artificial entity as a genuine moral entity. Although my proposal should be considered from a reasonable level of abstraction, I will critically analyze and identify how an artificial agent could integrate those cognitive features. Finally, I intend to discuss their limitations or possibilities. (shrink)

We examine the proof-theoretic verificationist justification procedure proposed by Dummett. After some scrutiny, two distinct interpretations with respect to bases are advanced: the independent and the dependent interpretation. We argue that both are unacceptable as a semantics for propositional intuitionistic logic.

Logic arguably plays a role in the normativity of reasoning. In particular, there are plausible norms of belief/disbelief whose antecedents are constituted by claims about what follows from what. But is logic also relevant to the normativity of agnostic attitudes? The question here is whether logical entailment also puts constraints on what kinds of things one can suspend judgment about. In this paper I address that question and I give a positive answer to it. In particular, I advance two logical (...) norms of agnosticism, where the first one allows us to assess situations in which the subject is agnostic about the conclusion of a valid argument and the second one allows us to assess situations in which the subject is agnostic about one of the premises of a valid argument. (shrink)

La mal llamada “Conquista del Desierto” constituyó una serie de campañas militares ocurridas en el actual territorio patagónico argentino entre los años 1878 y 1885 cuyo resultado fue el asesinato, la violación y sometimiento a la esclavitud de diversos pueblos y comunidades indígenas. Este no fue un caso aislado, sino que se suma a una serie de ataques sistemáticos que han sufrido los indígenas en la Argentina. En los últimos años, a raíz del reclamo y las luchas de los pueblos (...) y comunidades indígenas, así como también de las organizaciones de derechos humanos, se han comenzado a juzgar algunos de estos hechos. En particular, la Masacre de Napalpí (1924) y la Masacre de La Bomba (1947) fueron los primeros que lograron respuestas judiciales favorables. En ambos se determinó que el accionar estatal era constitutivo de un genocidio y, por lo tanto, se debía resarcir a las comunidades actuales. Ahora bien, la Campaña del Desierto, al día de hoy, no tiene respuesta por parte del Estado. Teniendo presente este panorama, nuestro objetivo en este trabajo es reconstruir los diferentes problemas que enfrenta la posibilidad del reclamo judicial. Para ello, comenzaremos describiendo en qué consistió la Campaña del Desierto. Luego, explicaremos la noción de genocidio aplicado a hechos de injusticias históricas. Como tercer paso, reconstruiremos los casos jurisprudenciales que se han preocupado por genocidios indígenas ocurridos en el pasado. Con este panorama revelado, nos enfocaremos en los diferentes problemas jurídicos y políticos que surgen en los reclamos de justicia. (shrink)

JOHN CORCORAN AND WAGNER SANZ, Disbelief Logic Complements Belief Logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150 USA E-mail: [email protected] Filosofia, Universidade Federal de Goiás, Goiás, GO 74001-970 Brazil E-mail: sanz@fchf.ufg.br -/- Consider two doxastic states belief and disbelief. Belief is taking a proposition to be true and disbelief taking it to be false. Judging also dichotomizes: accepting a proposition results in belief and rejecting in disbelief. Stating follows suit: asserting a proposition conveys belief and denying conveys disbelief. (...) Traditional logic implicitly focused on logical relations and processes needed in expanding and organizing systems of beliefs. Deducing a conclusion from beliefs results in belief of the conclusion. Deduction presupposes consequence: one proposition is a consequence of a set of a propositions if the latter logically implies the former. The role of consequence depends on its being truth-preserving: every consequence of a set of truths is true. This paper, which builds on previous work by the second author, explores roles of logic in expanding and organizing systems of disbeliefs. Aducing a conclusion from disbeliefs results in disbelief of the conclusion. Aduction presupposes contrequence: one proposition is a contrequence of a set of propositions if the set of negations or contradictory opposites of the latter logically implies that of the former. The role of contrequence depends on its being falsity-preserving: every contrequence of a set of falsehoods is false. A system of aductions that includes, for every contrequence of a given set, an aduction of the contrequence from the set is said to be complete. Historical and philosophical discussion is illustrated and enriched by presenting complete systems of aductions constructed by the second author. One such, a natural aduction system for Aristotelian categorical propositions, is based on a natural deduction system attributed to Aristotle by the first author and others. ADDED NOTE: Wagner Sanz reconstructed Aristotle’s logic the way it would have been had Aristole focused on constructing “anti-sciences” instead of sciences: more generally, on systems of disbeliefs. (shrink)

In this paper, we analyze the origin of the links between global bioethics (which we differentiate from biomedical bioethics) and human rights. We understand that we are in a global civilizational crisis, whose roots extend to 1492 today, in which the modern-capitalist model used the discourse of human rights to justify its predatory technocracy. There are three theoretical assumptions that support our analysis: 1) The current conditions in which the technique shows its destructive power over nature (Anthropocene) indicate that none (...) of the ethical antecedents are applicable to such circumstances. In this new context, the kantian categorical imperative has been reconverted into a moral and political duty to not instrumentalize either human beings or nature. We call this new ethical consideration bioethics. 2) The current geopolitical composition of the world must be thought in terms of the global North and the global South, as two regions that are forged in the midst of important processes of globalization of the world-system, and whose main consequence lies in the absence of equity in the distribution of wealth and well-being between the two. 3) The current environmental crisis or climate change, the product of an economic model based on extractive technology, has become one of the most serious threats against human rights. (shrink)

Paul Silva has recently argued that doxastic justification does not have a basing requirement. An important part of his argument depends on the assumption that doxastic and moral permissibility have a parallel structure. I here reply to Silva's argument by challenging this assumption. I claim that moral permissibility is an agential notion, while doxastic permissibility is not. I then briefly explore the nature of these notions and briefly consider their implications for praise and blame.

In this paper, I offer two counterexamples to the so-called ‘Uniqueness Thesis.’ As one of these examples rely on the thesis that it is possible for a justified belief to be based on an inconsistent body of evidence, I also offer reasons for this further thesis. On the assumption that doxastic justification entails propositional justification, the counterexamples seem to work.

To most of us – believers and non-believers alike – the possibility of a perfect God co-existing with the kinds of evil that we see calls out for explanation. It is unsurprising, therefore, that the belief that God must have justifying reasons for allowing all the evil that we see has been a perennial feature of theistic thought. Recently, however, a growing number of authors have argued that the existence of a perfect God is compatible with the existence of gratuitous (...) evil. Given powerful, millenia-long sensibilities about power and love and justice, it isn’t hard to find that suggestion simply incredible. Nonetheless, in this paper I will argue that the most prominent theistic alternatives to what has seemed incredible to most of us throughout most of history are themselves patently unacceptable for the theist as well. On any of the most widely accepted accounts of how God could have justifying reasons for permitting some evils, God’s existence means that we have justifying reasons for perpetrating and allowing every evil that we see. That's hard to swallow too. If I’m right about all of this, then two competing outcomes seem to present themselves as a possible result. On the one hand, for the theist, the apparently outrageous suggestion that the existence of a perfect God is compatible with gratuitous evil no longer looks like it faces a formidable, hard-to-resist alternative. On the other hand, some like me might think that my arguments go no distance at all towards dispelling the incredibility of the gratuitous evil nouvelle vague. On this line, theism may seem now to be between the rock and the hard place: it seems hard to make sense of the existence of a perfect God whether or not He has justifying reasons for allowing all the evil that we see. (shrink)

In this paper I present reasons for us to accept the hypothesis that suspended judgment has correctness conditions, just like beliefs do. Roughly put, the idea is that suspended judgment about p is correct when both p and ¬p might be true in view of certain facts that characterize the subject’s situation. The reasons to accept that hypothesis are broadly theoretical ones: it adds unifying power to our epistemological theories, it delivers good and conservative consequences, and it allows us to (...) assess processes of reasoning involving attitudes of suspended judgment. (shrink)

Are philosophy and literature allies or enemies in Jorge Luis Borges's fictions? In this paper, I argue that Borges can satisfy membership in the allies camp because his fictions provide the imaginative scenarios the allies believe are so necessary to this coalition; however, because his stories question philosophy's hold on reality, they can also seem to fall into the enemies camp by countervailing any claim philosophy has on reality and truth; although, ultimately, the manner in which Borges forges an (...) alliance between philosophy and literature will be for reasons not traditionally accepted by those in either the allies or enemies camps. (shrink)

Deontological evidentialism is the claim that we ought to form and maintain our beliefs in accordance with our evidence. In this paper, I criticize two arguments in its defense. I begin by discussing Berit Broogard’s use of the distinction between narrow-scope and wide-scope requirements against W.K. Clifford’s moral defense of. I then use this very distinction against a defense of inspired by Stephen Grimm’s more recent claims about the moral source of epistemic normativity. I use this distinction once again to (...) argue that Hilary Kornblith’s criticism of Richard Feldman’s defense of is incomplete. Finally, I argue that Feldman’s defense is insensitive to the relation between normative requirements and privileged values: values that have normative authority over us. (shrink)

On how medieval philosophy is not (only) theology.

Given plausible assumptions about the nature of evidence and undercutting defeat, many believe that the force of the evidential problem of evil depends on sceptical theism’s being false: if evil is...

This book concerns the nature and the norms of inquiry. It tackles not only philosophical issues regarding what inquiry is, but also issues regarding how it should and should not be executed. Roughly put, inquiry is the activity of searching for the true answers to questions of our interest. But what is the difference between empirical and armchair inquiry? And what are the right and the wrong ways to inquire? Under what conditions should one start inquiring? Which questions are such (...) that one should not inquire into them? The book offers answers to these questions. It argues that competent armchair inquiry only makes explicit what was already implicit--the inquirer already had the answer to her question before inquiring into it, though this was not explicit to her. It also argues that we should avoid inquiring into questions whose answers are unknowable to us, in the instrumental sense of 'should', and that different modes of inquiry are called for, depending on which type of information is available to the subject. These answers are rigorously argued for, and they stem from a unified framework for modeling the activity of inquiry. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

Let T be any logical truth. Does the subject know that T (any random subject)? It is not rational for any subject to believe that they don’t, whoever they are. Similarly, it is not rational for them to believe that their evidence doesn’t support T, and it is not even rational for them to believe that they don’t believe that T. It is not rational for anyone anywhere at any time to believe that they don’t know that T. Such are (...) the conclusions arrived at in this paper. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Deontological evidentialism is the claim that S ought to form or maintain S’s beliefs in accordance with S’s evidence. A promising argument for this view turns on the premise that consideration c is a normative reason for S to form or maintain a belief that p only if c is evidence that p is true. In this paper, I discuss the surprising relation between a recently influential argument for this key premise and the principle that ought implies can. I argue (...) that anyone who antecedently accepts or rejects this principle already has a reason to resist either this argument’s premises or its role in support of deontological evidentialism. (shrink)

Deontological internalism is the family of views where justification is a positive deontological appraisal of someone's epistemic agency: S is justified, that is, when S is blameless, praiseworthy, or responsible in believing that p. Brian Weatherson discusses very briefly how a plausible principle of ampliative transmission reveals a worry for versions of deontological internalism formulated in terms of epistemic blame. Weatherson denies, however, that similar principles reveal similar worries for other versions. I disagree. In this article, I argue that plausible (...) principles of ampliative transmission reveal a worry for deontological internalism in general. (shrink)

"Noah and the Olive Branch" by Luis Herrera explores the profound symbolism of the olive branch in the context of human morality and existential renewal. Drawing on the biblical narrative of Noah's Ark, Herrera delves into a metaphor for peace, reconciliation, and the restoration of harmony between humanity and the natural world. The work interprets the olive branch not merely as a sign of the flood's end, but as a deeper emblem of ethical rebirth, signifying the opportunity for humanity (...) to reconstruct a more just and compassionate world after calamity. -/- Through a philosophical lens, Herrera examines the duality of destruction and creation, positing that potential for moral and spiritual growth follows great trials. The text questions the nature of divine justice and human responsibility, suggesting a call for ongoing ethical vigilance in a world perpetually on the brink of self-destruction. -/- It is a parable for man's quest for connection and reconciliation with the divine, in a violent world filled with chaos, anarchy and the antinomian pursuit of hedonistic ideals. Herrera's work resonates with contemporary concerns about cultural degradation and social fragmentation, urging a re-evaluation of our relationship with God and each other. The olive branch, in this interpretation, becomes a timeless symbol of hope, resilience, and the enduring quest for a harmonious existence. (shrink)

Why should we avoid incoherence? An influential view tells us that incoherent combinations of attitudes are such that it is impossible for all of those attitudes to be simultaneously vindicated by the evidence. But it is not clear whether this view successfully explains what is wrong with certain akratic doxastic states. In this paper I flesh out an alternative response to that question, one according to which the problem with incoherent combinations of attitudes is that it is impossible for all (...) of those attitudes to be simultaneously knowledgeable. This alternative response explains what is wrong with akratic combinations of attitudes using commonly accepted epistemological theses. The paper still shows how this proposal is able to explain the badness of incoherent combinations involving the absence of attitudes, suspended judgment and credence. These explanations deploy the notions of knowledge and being in a position to know, instead of the notion of responding properly to the evidence. Finally, I suggest that this picture can be generalized to the realm of practical rationality as well. (shrink)

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

This is not a guide for your writing process. You should write in whatever way expressing and making sense of your ideas feels most natural and most productive to you. This is a guide for organizing your ideas, after you have captured some of them in fits and starts of prose, into a particular kind of final product: the basic philosophy paper.

This paper defends a novel account of how to determine the intrinsic value of possible worlds. Section 1 argues that a highly intuitive and widely accepted account leads to undesirable consequences. Section 2 takes the first of two steps towards a novel account by clarifying and defending a view about value-contribution that is based on some of W. D. Ross’ claims about the value of pleasure. Section 3 takes the second step by clarifying and defending a view about value-suppression that (...) is based on Ross’ claims about the interplay between prima-facie duties. Section 4 states and defends the account that I call Rossian Totalism. According to this account, the atoms of intrinsic value within a world only sometimes contribute their intrinsic value to the value of that world. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

Throughout the present text, an account of the main contributions of Luis Villoro Toranzo will be made as a tribute to three years after his death.

I reinforce my defense of permissivism about the rationality of doxastic attitudes on the face of a certain body of evidence against criticism published in this journal by Anantharaman. After making some conceptual clarifications, I manage to show that at least one of my original arguments pro-permissivism is left unscathed by Anantharaman's points.

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

My starting point is what I call the Normative Authority Conception of justification, where S is justified in their belief that p at t (to some degree n) if and only if their believing that p at t is not ruled out by epistemic norms that have normative authority over S at t. With this in mind, this paper develops an account of doxastic justification by first developing an account of the normative authority of epistemic norms. Drawing from work in (...) political philosophy, I argue that (a) the cognitive and evaluative commitments and concerns behind our actual practices of holding each other and ourselves accountable for our beliefs reveal which epistemic norms we have consented to be under, and that (b) it is because we have consented to be under the authority of these norms – by actually holding ourselves and others accountable to them – that they in turn have normative authority over us. By connecting the authority of epistemic norms to the authority we have over ourselves in this way, the resulting account of doxastic justification (i) explains why it can be appropriate to criticize, resent, or sanction someone for having unjustified beliefs, (ii) avoids the phenomena of normative alienation and normative parochialism, and (iii) respects the social and collective nature of epistemic justification. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

The paper is concerned with the rational requirements for suspended judgment, or what suspending judgment about a question rationally commits one to. It shows that two purported rational requirements for suspended judgment cannot both be true at the same time, at least when the entailment relation between questions is understood a certain way. The first one says that one is rationally required to suspend judgment about those questions that are entailed by the questions that one already suspends judgment about. The (...) second one says that one is rationally required to believe the presuppositions of the questions one suspends judgment about. Two plausible solutions to the problem are discussed. One of them explicates the relation of entailment between questions in an alternative manner, and the other one rejects the presupposition requirement. Either way, a closure requirement for suspended judgment can be maintained which is analogous to the closure requirement for belief. Whereas belief is ideally closed under entailment between propositions, suspended judgment is ideally closed under entailment between questions. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

Readers and historians have often misunderstood Berkeley's philosophy by believing that he denies the existence of the external world. From which they conclude that his philosophy inevitably leads to solipsism. Faced with these readings, in this paper I discuss the relationship between ontology and the external world in Berkeley with the aim of clarifying some interpretative errors and showing three things: 1) that is a mistake to believe Berkeley’s philosophy eliminate the external world and lead to solipsism, 2) that his (...) own ontology is the key to understand the constitution of the external world, and 3) that God gives the ultimate meaning of that world. / Es habitual que algunos lectores confundan la postura de Berkeley al creer que niega la existencia del mundo externo y que su filosofía lleva inevitablemente al solipsismo. Frente a estas lecturas, analizo en este artículo el tema de la relación entre ontología y mundo externo en Berkeley, con el propósito de aclarar algunos desaciertos interpretativos sobre el asunto y mostrar con ello tres cosas: 1) que se trata de un error creer que su filosofía elimina el mundo externo y lleva al solipsismo, 2) que en la propia ontología está la clave para entender la constitución del mundo externo, y 3) que Dios le da el sentido último a ese mundo. (shrink)

W.K. Clifford’s famous 1876 essay The Ethics of Belief contains one of the most memorable lines in the history of philosophy: "it is wrong always, everywhere, and for anyone, to believe anything upon insufficient evidence." The challenge to religious belief stemming from this moralized version of evidentialism is still widely discussed today.

There are many ways in which a speaker can confuse their audience. In this paper, I will focus on one such way, namely, a way of talking that seems to manifest a cross-level kind of cognitive dissonance on the part of the speaker. The goal of the paper is to explain why such ways of talking sound so twisted. The explanation is two-pronged, since their twisted nature may come either from the very mental states that the speaker thereby makes manifest, (...) or from how the speaker chooses to express themselves (even if there is nothing wrong with their mental states). So-called ‘Moore-paradoxical’ utterances are but one example of the phenomenon, and the explanation of what is wrong about them is subsumed under a more general explanation here—one that captures also the twisted-ness of utterances whereby questions are raised or intentions expressed. (shrink)

The claim that ordinary ethical discourse is typically true and that ethical facts are typically knowable seems in tension with the claim that ordinary ethical discourse is about features of reality friendly to a scientific worldview. Cornell Realism attempts to dispel this tension by claiming that ordinary ethical discourse is, in fact, discourse about the same kinds of things that scientific discourse is about: natural properties. We offer two novel arguments in reply. First, we identify a key assumption that we (...) find unlikely to be true. Second, we identify two features of typical natural properties that ethical properties lack. We conclude that Cornell Realism falls short of dispelling the tension between ethical conservativism and ethical naturalism. (shrink)

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

Epistemologists often describe subjects as being capable of adopting a third kind of categorical doxastic stance regarding whether something is the case, besides belief and disbelief. They deploy a variety of idioms in order to ascribe that stance. In this paper, I flesh out the properties that the third kind of categorical stance is supposed to have and start searching for the best ways to ascribe it. The idioms ‘suspends judgment about whether’ and ‘is agnostic about whether’, among others, are (...) found to be unfit to play the desired role. In the end, I suggest that ‘is in doubt as to whether’ is our best choice among the alternatives surveyed here. (shrink)

What I call the Doxastic Puzzle, is the impression that while each of these claims seems true, at least one of them must be false: (a) Claims of the form ‘S ought to have doxastic attitude D towards p at t’ are sometimes true at t, (b) If Φ-ing at t is not within S’s effective control at t, then it is false, at t, that ‘S ought to Φ at t’, (c) For all S, p, and t, having doxastic (...) attitude D towards p at t is not within S’s effective control at t. All three natural replies to the puzzle have been pursued. Some have claimed that doxastic attitudes like believing that p are, in fact, within our effective control, or sufficiently so. Others have claimed that doxastic ought-claims, strictly speaking, are always false. And some have denied that effective control is required for the adequacy of doxastic ought-claims in general. I here pursue and examine a different strategy. In the first part of this paper, I argue that these claims are not only each true but actually not in tension with each other in the first place. Instead of attempting to dispel the puzzle, this solution proposes to evade it instead: to solve it by properly understanding, and by thereby accepting without contradiction, all of its constitutive claims. In the second part of the paper, I argue that the evasive strategy forces us to re-think our understanding of the place of normative reasons in epistemology. More exactly, it seems to come at the cost of one central way of thinking about our reasons for having doxastic attitudes, one where such reasons are good-standing exemplars of normative reasons in general. The evasive strategy, that is, threatens to lead us very quickly to a deflationary picture of epistemic normativity: it rescues normative talk, but sacrifices normative substance. I conclude by explaining why I think this is more consequential than some have made it out to be, and by suggesting that these consequences are welcome nonetheless. (shrink)

James Sterba has recently argued that the free will defense fails to explain the compossibility of a perfect God and the amount and degree of moral evil that we see. I think he is mistaken about this. I thus find myself in the awkward and unexpected position, as a non-theist myself, of defending the free will defense. In this paper, I will try to show that once we take care to focus on what the free will defense is trying to (...) accomplish, and by what means it tries to do so, we will see that Sterba’s criticism of it misses the mark. (shrink)

Priest's theory of motion is based on Leibniz's Continuity Condition (LCC), which states that any state that exists at each instant in a continuous set of moments also exists at its temporal limit. If we accept the CCL, a free-falling pen would have to be simultaneously in motion and at rest at the instant of change: the critical moment when it hits the ground, thus passing from the state of motion to that of rest. This seems to be a contradictory (...) state of affairs, which is precisely what Priest claims to be the case. In this article, I discuss the logical possibility of empirically testing whether such a contradictory state of affairs occurs. (shrink)

In this paper I deal with epistemological issues that stem from the hypothesis that reasoning is not only a means of transmitting knowledge from premise-beliefs to conclusion-beliefs, but also a primary source of knowledge in its own right. The idea is that one can gain new knowledge on the basis of suppositional reasoning. After making some preliminary distinctions, I argue that there are no good reasons to think that purported examples of knowledge grounded on pure reasoning are just examples of (...) premise-based inferences in disguise. Next, I establish what kinds of true propositions can to a first approximation be known on the basis of pure reasoning. Finally, I argue that beliefs that are competently formed on the basis of suppositional reasoning satisfy both externalist and internalist criteria of justification. (shrink)