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)

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)

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)

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)

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.

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)

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)

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.

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)

Epistemologists take themselves to disagree about whether there are situations where it is rational for one to believe that p and rational for one to believe that one’s evidence does not support p (rational akrasia). The embedded sentence ‘one’s evidence does not support p’ can be interpreted in two ways, however, depending on what the semantic contribution of ‘one’s evidence’ is taken to be. ‘One’s evidence’ might be seen as a sheer indexical or as a descriptive singular term. The first (...) interpretation makes the relevant kind of rational akrasia impossible, whereas the second one makes it possible. But the proposition that is taken to be expressed by ‘one’s evidence does not support p’ by each of these interpretations is not the same. We thus have a rational reconstruction of views that are labeled as being for and against the possibility of rational akrasia according to which they do not really contradict each other. (shrink)

In this paper, I flesh out an account of the inferential basing relation using a theory about how humans reason: the mental models theory. I critically assess some of the notions that are used by that theory to account for inferential phenomena. To the extent that the mental models theory is well confirmed, that account of basing would be motivated on empirical grounds. This work illustrates how epistemologists could offer explications of the basing relation which are more detailed and less (...) empirically risky. (shrink)

Transdisciplinary research knits together knowledge from diverse epistemic communities in addressing social-environmental challenges, such as biodiversity loss, climate crises, food insecurity, and public health. This paper reflects on the roles of philosophy of science in transdisciplinary research while focusing on Indigenous and other subaltern forms of knowledge. We offer a critical assessment of demarcationist approaches in philosophy of science and outline a constructive alternative of transdisciplinary philosophy of science. While a demarcationist focus obscures the complex relations between epistemic communities, transdisciplinary (...) philosophy of science provides resources for meeting epistemic and political challenges of collaborative knowledge production. (shrink)

Most of the time, when sexual abuse is discussed or studied, only the victims and perpetrators are mentioned. However, little is said about third parties, those who covered up the abuse or did not say anything when they saw something suspicious, or who were simply negligent and did not comply with their task of monitoring vulnerable people so that they were not abused. On the other hand, it is not usual to talk about secondary victims, which are the families, members (...) of the parishes, religious communities, educational institutions, clubs, or sports teams where victims were part. Although the biggest wound is suffered by the victim of abuse, secondary victims can be seriously injured, psychologically, spiritually, and/or in trust towards other people or towards the institution where the abuse occurred. Definitely, secondary victims of sexual abuse are also survivors of the abuse. Thus, this book comprehensively addresses the psycho-spiritual healing of survivors of sexual abuse. Luis Alfonso Zamorano includes third parties and secondary victims who may also need psycho-spiritual healing. The author provides a thorough look at what is sexual abuse of children and adolescents, with a particular focus on the situation of the Catholic Church. (shrink)

Resilience Tutors is the title of the book written by Gema Puig Esteve and JoséLuis Rubio Raval, published in 2015 by the Gedisa publishing house in Barcelona, Spain. In a novel way, the book, divided into two, expresses in the first part, in a fictional way, through experiential, emotional and direct language, the reality surrounding the resilience tutor; In the second part, it gives us concrete theoretical elements that allow us to delve deeper into the foundations of resilience, the contexts (...) in which it develops and the characteristics of resilience tutors. We could summarize the theme of the book in a poetic way with a few words from Espinosa (Cited in Rubio and Puig, 2015): “Every year of my life I have searched for twelve pearls. Twelve people that I did not know, but who appeared to me and marked my world in such a way that my self changed (...) Over time some pearls become diamonds (...) a diamond, so that you understand me, is one of those people who become so basic and so important in your life that they seem created solely for you” (p. 49). -/- Tutores de Resiliencia es el título del libro escrito por Gema Puig Esteve y JoséLuis Rubio Raval, publicado en el 2015 por la editorial Gedisa en Barcelona,España. De manera novedosa el libro, dividido en dos, expresa en la primera parte,de manera novelada, a través de un lenguaje vivencial, emotivo y directo, la realidad entorno al tutor de resiliencia; en la segunda parte, nos da elementos teóricos concretos que permiten profundizar en los fundamentos de la resiliencia, los contextos en los que se desarrolla y las características de los tutores de resiliencia. Podríamos resumir la temática del libro de manera poética con unas palabras de Espinosa (Citado en Rubio y Puig, 2015): “Cada año de mi vida he buscado doce perlas. Doce personas que noconociera, pero que se me aparecieran y marcaran mi mundo de tal maneraque mi yo virara (...) Con el tiempo algunas perlas pasan a ser diamantes(...) un diamante, para que me entiendas, es una de esas personas que sehace tan básica y tan importante en tu vida que parece creada únicamente para ti” (p. 49). (shrink)

The Uniqueness Thesis (U), according to Richard Feldman and Roger White, says that for a given set of evidence E and a proposition P, only one doxastic attitude about P is rational given E. Luis Rosa has recently provided two counterexamples against U which are supposed to show that even if there is a sense in which choosing between two doxastic attitudes is arbitrary, both options are equally and maximally rational. Both counterexamples work by exploiting the idea that (...) ‘ought implies can’ and trying to spell out situations in which some inferences are beyond the capabilities of some reasoners. I argue that on a descriptive account of doxastic rationality, questions of whether ‘epistemic ought implies can’ can be bracketed and that at least one of the inferential moves that Rosa describes in his cases is irrational. I further argue that a descriptive account of doxastic rationality is the appropriate notion of rationality that is to be considered when evaluating U. If my argument for a descriptive account of rationality is successful, then we have reason to revise our use of the term rationality to fit this descriptive understanding. (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)

The significance of critical phenomenology for psychiatric praxis has yet to be expounded. In this paper, I argue that the adoption of a critical phenomenological stance can remedy localised instances of hermeneutical injustice, which may arise in the encounter between clinicians and patients with psychosis. In this context, what is communicated is often deemed to lack meaning or to be difficult to understand. While a degree of un-shareability is inherent to subjective life, I argue that issues of unintelligibility can be (...) addressed by shifting from individualistic conceptions of understanding to an interactionist view. This takes into account the contextual, historical and relational background within which meaning is co-constituted. I conclude by providing a corrective for hermeneutical injustice, which entails a specific attentiveness towards the person’s subjectivity, a careful sensitivity to contingent meaning-generating structures, and a degree of hermeneutical flexibility as an attitude of openness towards alternative horizons of possibility. (shrink)

It is not yet clear which response behavior requires self-regulatory effort in the moral dilemma task. Previous research has proposed that utilitarian responses require cognitive control, but subsequent studies have found inconsistencies with the empirical predictions of that hypothesis. In this paper we treat participants’ sensitivity to utilitarian gradients as a measure of performance. We confronted participants (N = 82) with a set of five dilemmas evoking a gradient of mean utilitarian responses in a 4-point scale and collected data on (...) heart rate variability and on utilitarian responses. We found positive correlations between tonic and phasic HRV and sensitivity to the utilitarian gradient in the high tonic group, but not in the low tonic group. Moreover, the low tonic group misplaced a scenario with a selfish incentive at the high end of the gradient. Results suggest that performance is represented by sensitivity correlated with HRV and accompanied with a reasonable placement of individual scenarios within the gradient. (shrink)

Um alinhamento responsável à alguma versão do naturalismo filosófico requer a articulação explicita e cuidadosa de um argumento em sua defesa. Em quatro passos, o texto que segue abaixo expande e examina a validade de um argumento que é frequentemente rascunhado em favor do naturalismo. Como veremos, contudo, a versão do naturalismo que esse argumento nos permite é um pouco diferente dos naturalismos filosóficos mais populares.

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)

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)

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)

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)

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.

Viruses and related infectious genetic parasites are the most abundant biological agents on this planet. They invade all cellular organisms, are key agents in the generation of adaptive and innate immune systems, and drive nearly all regulatory processes within living cells.

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.

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)

Sobrepondo uma concepção crítica envolvendo os fundamentos do saber às ontologias dogmáticas que se impõem ao trabalho que implica a apreensão das questões filosóficas, o projeto kantiano propõe o fim da filosofia como construção metafísica e a necessidade de se lhe atribuir uma tarefa teórica de caráter essencialmente genealógico e crítico, no sentido que encerra a legitimação do conhecimento racional através da análise das faculdades que se lhe estão atreladas, conforme assinala o artigo, que se detém nos direitos da razão (...) cuja legitimidade a lógica da verdade reconhece e cuja ilegitimidade a lógica da aparência denuncia, convergindo para as fronteiras que encerram a possibilidade da construção do conhecimento científico, à medida que, tornando o entendimento o legislador universal da natureza e circunscrevendo a utilização das categorias aos limites da experiência possível, propõe as condições necessárias para fundá-lo sobre os juízos sintéticos a priori. (shrink)

Objective: The study seeks to provide a thorough description of the teachers' digital literacy (DL) and digital competence (DC) and shine a light on the variables that influence the development of their digital literacies and competence. Method: Comprehensive data collection and analysis from 274 participants were completed. Descriptive and inferential statistics were conducted to accomplish the objectives of this study. Results: It came to light that teachers with less than ten years of experience have higher levels of digital literacy. Pre-service (...) education, having access to ICT resources, and a favorable attitude about using ICT were all strongly associated with DL and DC. The research's essential contribution is its findings affirming the value of DL and DC, which can be utilized to approach new technologies critically and use them as a part of digital pedagogy. Novelty: The critical contribution of the research is the result claiming the positive status of DL and DC, which can be used to approach new tools from a critical pedagogical perspective and apply them as part of digital pedagogy. -/- . (shrink)

Theodor W. Adorno’s letter correspondence with Walter Benjamin throughout the decade of the 1930’s entertains the central question concerning the possibility of philosophy in their intellectual milieu. The fate of this possibility for Adorno hinges on Benjamin’s work-in-progress Das Passagen-Werk—a fate that is catastrophically blocked by an uncritical tendency convicted repeatedly by the former as “undialectical.” And yet Adorno obstinately persists in clinging to the canon of a philosophically overdetermined demand he endearingly calls “my Arcades orthodoxy.” The threatening destruction of (...) the aura of this orthodoxy reaches a crisis in Adorno’s ruthless metacritique of Benjamin’s alleged undialectical treatment of aesthetic autonomy in a draft of the Kunstwerk essay, marking a critical wound in the correspondence which the following exposition tracks in the enigmatic changeover in the philosophical exigency of the said orthodoxy from prima philosophia to ultima philosophia. The lingering wound is registered in Adorno’s late philosophical work. (shrink)

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.

Have you ever kept a diary of your personal life? For many people, keeping a written record of their experiences, thoughts, feelings, travels or encounters with people is a common practice. For others, it is not. Perhaps for some it is something completely foreign. For Russian Orthodox priest Alexander Schmemann it was clearly not. His diary, two volumes of almost 600 pages each, has given an insight into the life, worries, joys and even disappointments of one of the most influential (...) theologians of the 20th century. On this occasion we would like to refer to the first volume and scrutinize a little of what this work brings to the world today. ¿Ha llevado usted un diario de su vida personal? Para muchas personas, llevar un registro escrito de sus vivencias, pensamientos, sentimientos, viajes o encuentros con personas es una práctica común. Para otros no. Quizá para algunos esto es algo completamente ajeno. Es evidente que para el sacerdote ortodoxo ruso Alexander Schmemann no lo fue. Su diario, dos tomos de casi 600 páginas cada uno, ha dejado ver a fondo la vida, preocupaciones, alegrías, e incluso desilusiones de uno de los teólogos más influyentes del siglo XX. En esta ocasión queremos referirnos al primer tomo y escudriñar un poco qué aporta esta obra al mundo de hoy. (shrink)

Comenzamos este texto con una pregunta, por algo que podríamos llamar un signo propio de la época, a saber, la proliferación de aproximaciones espaciales a los más diversos problemas y desde las más diversas disciplinas. No podemos dejar de notar que eso, cuyos signos se dejan recoger a pesar de su dispersión, en algo que llamamos época, sobreviene después de un agotamiento de la radicalización del historicismo y de un pensamiento del tiempo.

This paper advances the view that the history of philosophy is both a kind of history and a kind of philosophy. Through a discussion of some examples from epistemology, metaphysics, and the historiography of philosophy, it explores the benefit to philosophy of a deep and broad engagement with its history. It comes to the conclusion that doing history of philosophy is a way to think outside the box of the current philosophical orthodoxies. Somewhat paradoxically, far from imprisoning its students in (...) outdated and crystallized views, the history of philosophy trains the mind to think differently and alternatively about the fundamental problems of philosophy. It keeps us alert to the fact that latest is not always best, and that a genuinely new perspective often means embracing and developing an old insight. The upshot is that the study of the history of philosophy has an innovative and subversive potential, and that philosophy has a great deal to gain from a long, broad, and deep conversation with its history. (shrink)

In Leibniz’s New Essays stands out, within many important topics, his doctrine of innate ideas, which supposes the division between sense knowledge and innate knowledge and implies the distinction between truths of reason and truths of fact. That doctrine is particularly relevant for Leibniz’s philosophy, but implicitly entails the epistemological difference between belief, on one hand, and certainty, on the other. In this paper I outline, according to my interpretation, how Leibniz explains that humans can have certainty about innate ideas. (...) This topic is important because if Leibniz demonstrates the possibility of having certainty of those ideas, then, it is feasible to believe in its existence. However, if his explanation is unsatisfactory his metaphysical doctrine would be seriously weakened and, at the same time, both skepticism and Locke’s empiricist doctrine would be reinforced. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

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)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

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

Substructural approaches to paradoxes have attracted much attention from the philosophical community in the last decade. In this paper we focus on two substructural logics, named ST and TS, along with two structural cousins, LP and K3. It is well known that LP and K3 are duals in the sense that an inference is valid in one logic just in case the contrapositive is valid in the other logic. As a consequence of this duality, theories based on either logic are (...) tightly connected since many of the arguments for and objections against one theory reappear in the other theory in dual form. The target of the paper is making explicit in exactly what way, if any, ST and TS are dual to one another. The connection will allow us to gain a more fine-grained understanding of these logics and of the theories based on them. In particular, we will obtain new insights on two questions concerning ST which are being intensively discussed in the current literature: whether ST preserves classical logic and whether it is LP in sheep’s clothing. Explaining in what way ST and TS are duals requires comparing these logics at a metainferential level. We provide to this end a uniform proof theory to decide on valid metainferences for each of the four logics. This proof procedure allows us to show in a very simple way how different properties of inferences (unsatisfiability, supersatisfiability and antivalidity) that behave in very different ways for each logic can be captured in terms of the validity of a metainference. (shrink)

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

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)

"God wants to marry us" (p. 14, 97, 122), es decir, Dios quiere casarse con nosotros, es el tema central del presente libro, y según otros autores, es también el sentido real de la Biblia. La Biblia no es un libro que nos enseña cómo encontrar a Dios, sino el libro que nos revela cómo Dios nos busca incansablemente y nos relata las innumerables veces y maneras en las que Dios trata de hacerse el encontradizo para que el ser humano (...) lo acoja en su corazón. Pues bien, este es el principal argumento del autor de este libro. La obra de Christopher West es a todas luces teológica, y nos deja ver, con sencillas palabras, la profundidad de la teología del cuerpo propuesta por el Papa Juan Pablo II. Aquí encontraremos que el significado de la vida del ser humano está impreso en su propio cuerpo, en su sexualidad. Cabe anotar que se requiere algún mínimo de conocimiento teológico para leer este libro con facilidad, y da por sentado un cierto conocimiento de la Sagrada Escritura, la cual es citada 213 veces, además de las veces que hace referencia al capítulo quinto de la carta de San Pablo a los Efesios. De todas maneras, el estilo fluido y cercano del autor, así como la mención a algunos ejemplos de la vida cotidiana, permite que el contenido del libro se vaya asimilando poco a poco. (shrink)

Hermeneutical injustices, according to Miranda Fricker, are injustices that occur “when a gap in collective interpretive resources puts someone at an unfair disadvantage when it comes to making sense of their social experiences” (Fricker 2007, 1). For Fricker, the relevant injustice in these cases is the very lack of knowledge and understanding experienced by the subject. In this way, hermeneutical injustices are instances of epistemic injustices, the kind of injustice that “wrongs someone in their capacity as a subject of knowledge” (...) (Fricker 2007, 5). In this paper, however, I identify different means by which our hermeneutic activities lead to social injustices, of both a practical and epistemic kind, and I identify different ways in which those injustices manifest themselves. Since Fricker’s use of the notion of “hermeneutical injustices” to denote a well-defined kind of injustice is rightfully well-established, I here refer to the more general kinds of injustices I have in mind as “hermeneutic injustices” instead. (shrink)

Understanding sexual abuse es un libro que sorprenderá al lector por varias razones. En primer lugar, es un testimonio de la vida real del autor como víctima de abuso sexual en su niñez por una de las personas más cercanas a su familia. En segundo lugar, no es el típico libro sensacionalista que busca llamar la atención ni generar lástima ni victimizarse ni buscar fondos para alguna ONG de prevención de abuso sexual; más bien, el autor, con mucha apertura interior, (...) humildad, valentía, así como con un elevado profesionalismo, describe lo profundo que pueden ser las heridas de este tipo de abuso y lo crudo e injusto que es este crimen. En tercer lugar, la manera como el autor se aproxima al tratamiento de un trauma como el abuso sexual, permite que el lector se identifique plenamente con el autor, si ha sido abusado sexualmente, o si no, que aun así pueda tomar muchos elementos para sanar traumas de su propia vida, a pesar de no tratarse de abuso sexual, y sobre cómo acompañar a otras personas que han sufrido este tipo de abuso; he aquí la riqueza de este libro. (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.