O livro Verdade e Linguagem em Nietzsche, organizado por André Luís Mota Itaparica e Márcio José Silveira Lima, reúne oito artigos apresentados por ocasião do XXXII Encontros Nietzsche, seminário promovido pelo Grupos de Estudos Nietzsche (GEN) e realizado em Salvador, em 2012. Publicada em 2014, a unidade da obra, como indica o título, passa pelo compartilhamento de uma temática comum: a relação entre linguagem e verdade no pensamento nietzschiano. Apesar de reconhecermos a estreiteza de uma tal relação, cabe ressaltar (...) que é o problema da linguagem que ocupa posição central, sendo, sem dúvidas, sua articulação com a verdade um elemento observado por diversos dos autores. Nesse sentido pode-se dizer que o leitor da obra descobre que o ponto mínimo para o qual convergem os autores é a importância da reflexão sobre a linguagem para os caminhos tomados pelo pensamento nietzschiano. Isso não significa, no entanto, que haja comunhão em torno de uma tese geral que apenas seria desdobrada por autores distintos. Pelo contrário, um dos méritos do livro reside justamente no fato de apresentar a complexidade e riqueza do pensamento nietzschiano a partir de uma certa temática. (shrink)

Este artículo reconstruye el contexto histórico y cinematográfico que permitió que la película de Luis Buñuel y Salvador Dalí tuviera una intencionalidad distinguible. Para demostrar ese acápite, retomo los estudios críticos que se han hecho en torno a este cortometraje, así como las categorías pertinentes de las vanguardias del dadaísmo y el surrealismo, junto con el psicoanálisis de Sigmund Freud y Jacques Lacan. Con todo ello, propongo que el objetivo de este trabajo es fundamentar las razones que generaron (...) que esta producción fílmica estuviera orientada a transgredir lo tradicional y lo ético de la sociedad europea. Esa volición solo se lograría desde la epifanía de su arte onírico e inconexo. (shrink)

The article presents an analysis centered on the emotional lapses of artificial intelligence (AI) and the influence of these lapses on two critical aspects. Firstly, the article explores the ontological impact of emotional lapses, elucidating how they hinder AI’s capacity to develop a moral sense. The absence of a moral emotion, such as sympathy, creates a barrier for machines to grasp and ethically respond to specific situations. This raises fundamental questions about machines’ ability to act as moral agents in the (...) same manner as human beings. Additionally, the article sheds light on the practical implications within human-machine relations and their effect on human friendships. The lack of friendliness or its equivalent in interactions with machines directly impacts the quality and depth of human relations. This concerningly suggests the potential replacement or compromise of genuine interpersonal connections due to limitations in human-machine interactions. (shrink)

The historical avant-gardes showed that it is in the syntactic space where the mutations of art occur, where the creative potentialities in contemporary art are played. Hence the need to accentuate the syntactic creation registers in the works of the Estridentistas. There is no creation of images, rhythms, words, atmospheres, sound orientations, planes or political-literary postures that are valid apart from the syntax effects in which the poems of Manuel Maples Arce, Germán List, Salvador Gallardo and Kyn-Taniya take place, (...) the paintings, engravings and sculptures by Fermín Revueltas, Ramón Alva de la Canal, Germán Cueto and Leopoldo Méndez, the novels and essays by Arqueles Vela, the pieces from the Estridentista period by Silvestre Revueltas, the plays by Salvador Gallardo and Germán Cueto. The syntax is the tracing of indirect paths created in each poem, installation, plastic or musical work, to show life in things; those forces, paths and paths that, when going from life to language, create a work. It is, therefore, a speed. I don't use "speed" as a metaphor. It is the speeds that interdigitate events, images, objects; those that relate and stress semantic, sound, semiotic and social forces, paths and trajectories. Velocity is the gradient of the syntax, the relationship between phenomena, the variation of the elements according to a certain direction, the trajectory medium, the semantic loads and the systems of signs: it is not necessary to think that the syntactic effects are something like general mechanisms that precede poems, plastic and musical works. A new syntactic speed detaches itself as much as it can from what is constituted and seeks to bring poetic, pictorial, musical language to its threshold of meaning, informational or communication, to its referential, rhythmic, constructive threshold. Therefore, it should not be confused with acceleration. Slowness is a speed, as in Handke's writing or in some sections of Tarr's films. (shrink)

The shortage conditions created by the COVID-19 pandemic have been changing our ordinary way of life around the world since the beginning of 2020. Such conditions pose a challenge for shaping a cohesive theory of justice—one that takes non-ideal circumstances as necessary for the model. These conditions also interfere with agents’ moral capacity in ways that make it difficult for them to tell what is morally relevant, which impairs their ability to identify what actions are just. To shed light on (...) these problems, I turn to David Hume’s theory of justice as a test case to portray how outer conditions shape an agent’s inner conditions and affect the foundation of our moral perception of what is just. (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)

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.

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)

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 shortage conditions created by the COVID-19 pandemic have been changing our ordinary way of life around the world since the beginning of 2020. Such conditions pose a challenge for shaping a cohesive theory of justice—one that takes non-ideal circumstances as necessary for the model. These conditions also interfere with agents’ moral capacity in ways that make it difficult for them to tell what is morally relevant, which impairs their ability to identify what actions are just. To shed light on (...) these problems, I turn to David Hume’s theory of justice as a test case to portray how outer conditions shape an agent’s inner conditions and affect the foundation of our moral perception of what is just. (shrink)

An essay that seeks to show how modern thinking could never create an affirmative concept of difference. The dispute between Buffon, De Pauw, from the European shore, and Clavijero, from the American one, shows how the Natural History device was built.

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)

One of the few points of agreement between most theists and non-theists working on the problem of evil is that the existence of a perfect God is incompatible with the existence of pointless evil. In a series of influential papers, however, Peter van Inwagen has argued that careful attention to the reasoning behind this claim reveals fatal difficulties related to the Sorites Paradox. In this paper, I explain van Inwagen’s appeal to sorites reasoning, distinguish between two different arguments in his (...) work, and argue that they both commit the same so-far-unnoticed mistake. (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)

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)

Philosophy, it is said, has always been concerned with space and nature. Since Aristotle, even since the pre-Socratics, and up to Descartes and Leibniz at least, no one was worthy of the title of philosopher if he had not written something about meteors. And not only about meteors: observations on the movements of the Earth and changes in nature, changes of state or speed, transitions and contacts between strange elements, spatial geometrical properties, the order of coexistences - their limits - (...) and the correspondences between scales; force and matter, constructive typologies and geomorphology were an indissoluble part of the philosophical field. It is not that philosophy reflected on these external themes, but that these themes formed the fabric of the philosophical body. What happened, then, between the end of the seventeenth century and the first half of the eighteenth century? How did the themes related to space and nature become diluted and disappear from philosophical discourses? It is not a question of the split between man and nature, ancient and incommensurable, but of the separation of nature itself, modern and discontinuous, by means of which it was placed alongside the barren, the inert, as a category. -/- La filosofía, se dice, se ocupó siempre de los espacios y de la naturaleza. Desde Aristóteles, incluso desde los presocráticos, y hasta Descartes y Leibniz por lo menos, nadie era digno del título de filósofo si no había escrito algo sobre los meteoros. Y no sólo sobre los meteoros: las observaciones sobre los movimientos de la Tierra y la mudanza en la naturaleza, los cambios de estado o de velocidad, las transiciones y los contactos entre elementos extraños, las propiedades geométricas espaciales, el orden de las coexistencias —sus límites— y las correspondencias entre las escalas; la fuerza y la materia, las tipologías constructivas y la geomorfología formaban parte indisoluble del campo filosófico. No es que la filosofía reflexionase sobre esos temas externos, sino que esos temas formaban el tejido del cuerpo filosófico. ¿Qué sucedió, entonces, entre el final del siglo XVII y la primera mitad del siglo XVIII? ¿Cómo fue que los temas relacionados con el espacio y la naturaleza se diluyeron y desaparecieron de los discursos filosóficos? No se trata de la escisión entre hombre y naturaleza, antigua e inconmensurable, sino de la separación de sí de la naturaleza misma, moderna y discontinua, por medio de la cual fue puesta al lado de lo yerto, lo inerte, como una categoría. (shrink)

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)

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.

Lezama, and later Deleuze, discovered that the baroque does not refer to an essence, but to an operative function. That operative function is the fold, which "curls and multiplies", as Lezama writes, and proliferates to infinity. We all know the examples with which Lezama placed his concept of the American baroque: the poems of Domínguez Camargo, those of Sor Juana, the architectures of the Kondori Indian, the baptismal fonts of Aleijadinho, "ornamented like accordions, with spiraloid leaves that ascend"; the chapel (...) of the Rosary, in Puebla, omamentada "without truce or free spatial parenthesis". This is how the fold operates, it is like a leprosy or a lichen -in the past, certain lichens were called leprosy-: it infests by enveloping and developing, it proliferates by setting in motion the fold-unfold pair. Lezama does not seek to reconfigure the sequences of history, but to superimpose other cycles on them, create gaps and vanishing points in chronological and causal narratives, divert the emphasis placed on cultures and redirect it to imaginary eras, until the meaning comes from a series of scales established in the historical. The eras would be ordered according to their potentiality to create images; thus it would be possible to establish the points where the image was imposed as history. The Carolingian imaginary era, for example, forged a link between the prodigies, the marvelous islands, the battles against the Saracens and theocratic reason. How are these scales established and how do they operate? How do counterpoint, images and links work? (shrink)

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

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.

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)

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.

Analizando las características de las facultades humanas y sus objetos, se proponen algunas distinciones que llevan a una definición coherente del arte y se expone un desarrollo de las consecuencias de dicha definición. Durante este proceso se examinan los aspectos que el arte y otras actividades humanas, como el deporte, poseen en común, y se señalan los criterios fundamentales que dividen lo que es y lo que no es arte. Esto permite articular una crítica a algunas formas de arte contemporáneo, (...) como el arte conceptual y el arte encontrado --art trouvé, readymade--, así como presentar una clasificación filosófica de los valores que toda obra de arte debería satisfacer. (shrink)

Se presenta una teoría axiomática sobre entidades compuestas generales. Por entidad compuesta se hace referencia a cualquier ser hecho de partes. Usando esta formalización, es posible llegar a algunas conclusiones metafísicas valiosas, como la no equivalencia entre los conceptos de entidad compuesta y conjunto matemático. Asimismo, se analizan y desacreditan algunas formas de platonismo matemático. Se proponen algunos ejercicios para ayudar al lector a aprender la notación simbólica.

"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)

Se presenta una introducción general a la semiótica y se proponen y desarrollan las nociones de semiosis activa y pasiva, remota y próxima, así como las clasificaciones de los accidentes del signo, de los tipos de mensajes, y los conceptos de identificador y de expansión de arreglos, con sus respectivas divisiones. El texto está escrito con la intención de establecer los principios fundamentales del pensamiento del autor con relación a la teoría filosófica del signo. -/- A general introduction to semiotics (...) is presented and the notions of active and passive, remote and proximate semiosis are proposed and developed, as well as the classifications of sign accidents, types of messages, and the concepts of identifier and expansion of arrays, with their respective divisions. The text is written with the intention of establishing the fundamental principles of the author's thought in relation to the philosophical theory of the sign. (shrink)

The aim of this article is to advance the idea according to which the Cartesian Cogito, the ground of modern philosophy and the source of the notion of thinking subject, is tributary of a certain method whose legitimation is grounded in western history. According to this hypothesis, there is a certain tool that plays a fundamental role in the production of this new philosophical notion: the dream. The argument will be developed in four parts. We will first proceed to (i) (...) an analysis of the role of the hypothesis of the dream in the formulation of the notion of res cogitans, what will bring us to (ii) an exploration of the conception of private world supposed by such a hypothesis so as to (iii) clarify the specificity of the Cartesian notion of knowledge, a knowledge that must be acquirable in a dream; in conclusion (iv) we will indicate in a schematic way the historic-cultural anchor of the Cartesian dream where the subject is originated. (shrink)

The year 2021 marked the commemoration of the centenary of the appearance of the stridentist movement and the literary avant-garde in Mexico. Stridentism broke into the public con- sciousness with the publication of the leaflet Actual No 1 on the main thoroughfares of Mexico City, convulsing the cultural en- vironment of the early 1920s and bringing together diverse young artists to undertake a literary renewal. This facsimile edition of Actual No 3, the final issue of Manuel Maples Arce’s magazine, which (...) appeared a hundred years ago this year and which until very recently was practically unknown, seeks to bring to the pub- lic something that is at once a singular avant-garde object and a magazine that expressed, at a very early stage, the cosmopolitan, iconoclastic, youthful character of stridentism and its time. "Stridentist Neo-object Actual No 3" is a essay that shows that from foundationless things and objects without gravitation to recomposed neo-objects emerges one of the lengthiest, rup- tured, polyhedric mutations in all fields of knowledge. The historical avant-gardes worked precisely in the turning of the tide on auratic objects that led to the appearance of neo-objects or recomposed objects. In their approach to objects, they tried var- ious operations: they deepened the depresentification of “natural” or “given” things, seeking—in some cases—dematerialization, the simultaneity of planes, the breakdown of logical links, while in others they the sought the primacy of the concept. They created multidimensional neo-objects shot through with events, on the scales of spaces, from the juxtaposed to the dislocated, the simultaneous contiguous to the dispersed, and the close to the distant. They criticized objects and materials they saw as bourgeois, auratic, and linked to ancient traditions and techniques. They created new syntactic velocities through which they interdigitated technical objects newly fashioned by human sensibility. (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)

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...

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)

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)

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.

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.

Aesthetic subjectivism takes the truth of aesthetic judgments to be relative to the individual making that judgment. Despite widespread suspicion, however, this does not mean that one cannot be wrong about such judgments. Accordingly, this does not mean that one cannot gain higher-order evidence of error and fallibility that bears on the rationality of the aesthetic judgment in question. In this paper, we explain and explore these issues in some detail.

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)

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)

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.

We introduce an expected-value theory of linguistic modality that makes reference to expected utility and a likelihood-based confirmation measure for deontics and epistemics, respectively. The account is a probabilistic semantics for deontics and epistemics, yet it proposes that deontics and epistemics share a common core modal semantics, as in traditional possible-worlds analysis of modality. We argue that this account is not only theoretically advantageous, but also has far-reaching empirical consequences. In particular, we predict modal versions of reasoning fallacies from the (...) heuristics and biases literature. Additionally, we derive the modal semantics in an entirely transparent manner, as it is based on the compositional semantics of Korean modal expressions that are morphosyntactically decomposed into a conditional and an evaluative predicate. (shrink)

A topos version of Cantor’s back and forth theorem is established and used to prove that the ordered structure of the rational numbers (Q, <) is homogeneous in any topos with natural numbers object. The notion of effective homogeneity is introduced, and it is shown that (Q, <) is a minimal effectively homogeneous structure, that is, it can be embedded in every other effectively homogeneous ordered structure.

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.

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)