This article comprises an up-to-date critical review of the field known as Economic Methodology or Philosophy of Economics (EM/PE). Two edited volumes (Kincaid and Ross 2021; Heilmann and Reiss 2021), a special issue of the Journal of Economic Methodology (2021), and a recent bibliometric analysis of the field (Claveau et al. 2021) constitute the basis of the review. Drawing on these sources, we identify a number of problematic trends in current EM/PE research. We claim that these trends could be interpreted (...) as two kinds of biases, namely a micro-level bias and a mainstream bias. We discuss the respective details of these biases and their normative implications for the discipline. (shrink)

Introduction to the Inaugural Issue of the Erasmus Journal for Philosophy and Economics.

This book is the result of a collective research effort performed during many years in both Sweden and Spain. It is the result of attempting to develop a new field of research that could we denominate «human act informatics.» The goal has been to use the technologies of information to the study of the human act in general, including embodied acts and disembodied acts. The book presents a theory of the quantification of the informational value of human acts as order, (...) opposing the living order against entropy. We present acting as a set of decisions and choices aimed to create order and to impose Modernity. Karl Popper’s frequency theory of probability is applied to characterize human acts regarding their degree of freedom and to set up a scale of order in human decisions. The traditional theory of economics and social science characterize the human act as rational, utilitarian and ethical. Our results emphasize that the unique significance of an act lies in its capacity to generate order. An adequate methodology is then presented to defend such hypothesis according to which, the rationality respective irrationality of acting, is in fact only a function of the act’s organizational capacity. From this perspective, it has been necessary to define «order» respective «disorder» as operative concepts that allowed the comparison of the organizational differences generated by each kind of act. According to the presented conclusions, the spontaneity of living, as unconscious thinking, dreaming, loving, etc. and the mainstream of the human acts, are utilitarian, but in an irrational way; they are rooted in unconscious drifts and therefore must be considered irrational-utility acts. (shrink)

The 20th Century is the starting point for the most ambitious attempts to extrapolate human life into artificial systems. Norbert Wiener’s Cybernetics, Claude Shannon’s Information Theory, John von Neumann’s Cellular Automata, Universal Constructor to the Turing Test, Artificial Intelligence to Maturana and Varela’s Autopoietic Organization, all shared the goal of understanding in what sense humans resemble a machine. This scientific and technological movement has embraced all disciplines without exceptions, not only mathematics and physics but also biology, sociology, psychology, economics etc. (...) New terms were developed, such as “information”, “organization”, “entropy”, “communication”, “encryption”, “computation” and “algorithmics” to mention a few, all which had an enormous impact on artificial systems. Our work follows this historical track but with a reversed order of priorities. Instead of deducing a reduced group of human acts into an artificial environment, we deduce the human aspects of machines by extrapolating algorithmic methodologies into everyday life acts. The present informational theories were insufficiently powered to achieve this objective without developing a new theoretical approach. Hence, our research is directed towards an expansion of the current informational theories. (shrink)

Unlike Heidegger who reflects on the relationship between being and time, we are interested in studying the relationship between doing and time. We begin by discovering that the basis of people's doing is the starting point for any reflection on society and culture, and therefore we believe that our conclusions can be important especially for sociologists, ethnologists, political scientists, economists and psychologists. A fundamental difference between "doing" and "acting" could be that only people, not things, "do". We say "Antonio made (...) his house out of bricks to prevent the wind from blowing it down". We never refer to the "action of the wind" as a "doing". Acting, especially in "action," is erroneously associated with causation; we think, "the action of the wind on the house, is the cause of the collapse of the house." But in reality, causation is only a variant of doing. For example, in "Susanna writes a letter to Paul", Susanna is the cause of the text of the letter, but not of the reading of the letter. This is a paradigmatic example, the one that gave rise to our study. We say that the text "attracts its reader", as the poles of a magnet attract each other. From which we concluded that it is impossible to keep secrets. The importance of the study of doing in general becomes very relevant when we understand that "producing" and "consuming" are variants of doing. In Marx's work, the doing that generates social value is productive doing. But our research shows that all variants of doing generate order and all "order" generates organizational value. Note that the order of an act can be measured in "bits", which frees us from subjective measurements of the value of what we do in "money". We anticipate here that, in the following pages, we arrive at the conclusion that doing can be divided into 6 types of acts and their subgroups: the vectorial independent and hodern acts and the pendular complementary, parallel, curative and causa-dor acts. In addition, we discovered the existence of inter-acts, i.e. the "organizational resonance of the poles of a pendular act" and which includes the self-referent, bipolar, tripolar and multipole variants. This book could not have been written, without the background of the works already published and elaborated jointly, with Professor Luis de Marcos Ortega between 2018 and 2021. We refer to The Informational Foundation of the Human Act and Whispers and Shouts. The Informational Measurement of the Human Act both published by the University of Alcalá (Madrid). The texts of this book were published in weekly installments between May 2020 and December 2021, in the GaZeta portal of Guatemala. We have respected the chronological order of publication, as well as the contents of the articles. (shrink)

In this paper, we argue that there are epistemic norms on evidence-gathering and consider consequences for how to understand epistemic normativity. Though the view that there are such norms seems intuitive, it has found surprisingly little defense. Rather, many philosophers have argued that norms on evidence-gathering can only be practical or moral. On a prominent evidentialist version of this position, epistemic norms only apply to responding to the evidence one already has. Here we challenge the orthodoxy. First, we argue that (...) there is no significant normative difference between responding to evidence you have and gathering more evidence. Second, we argue that our practices of epistemically criticizing agents for their poor evidence-gathering indicate the existence of epistemic norms on evidence-gathering. Finally, we show that our thesis has important implications for recent debates about the relationship between epistemic norms and inquiry. (shrink)

Delusions are standardly defined as attitudes that are not amenable to change in light of conflicting evidence. But what evidence do people with delusion have for and against it? Do delusions really go against their total evidence? How are the answers affected by different conceptions of evidence? -/- This chapter focuses on how delusions relate to evidence. I consider what delusions-relevant evidence people with delusions have. I give some reasons to think that people typically have evidence for their delusions, and (...) that the evidence they have against them is often overstated. I draw on this discussion to consider whether delusions are evidentially supported and epistemically rational. Finally, I discuss implications for the nature of delusion, responsibility, and treatment and suggest directions for future research. Throughout, the discussion is sensitive to different conceptions of evidence and rationality in epistemology. -/- A central upshot is that what we should say about the epistemic standing of delusions depends substantively on our positions in epistemology, in particular, on the debate between internalists and externalists about evidence. If we want clarity on the epistemic standing of delusions, we need to incorporate more sophisticated tools from epistemology. (shrink)

Commentary on Pablo Hubacher Haerle’s paper “Is OCD Epistemically Irrational?”. I argue for expanding our assessment of rationality in OCD by considering a wider range of epistemic parameters and how they fit together.

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)

Se presenta una visión de la epistemología como lógica del pensar y se la lleva a una elaboración de la práctica clínica como una lógica del padecimiento psíquico. Esto basado en los planteamientos de Deleuze y Guattari. Para ello se toma como punto de partida la noción de los movimientos aberrantes que, leyendo la obra de Deleuze, elaboró David Lapoujade entendiéndolos como movimientos que se producen en la relación entre distintos términos heterogéneos, pero manteniendo su heterogeneidad. Esto es vinculado con (...) la invitación que hace el mismo Lapoujade a entender la obra deleuzeana como el desarrollo de lógicas irracionales, intentando pensar desde ahí una lógica de la locura y del padecimiento mental con base en, a su vez, una lógica de las obras literarias de Proust y Kafka, tal como las leen los mismos Deleuze y Guattari. En relación con ello destacamos, por un lado, cierta lógica de conjuntos abiertos y no totalizables que estos últimos autores encuentran en la obra de Proust y, por otro lado, una lógica de la contigüidad que encuentran en la obra de Kafka. Al mismo tiempo, se establecen puntos en común entre estas dos lecturas a propósito de lo esquizoide como algo que excede a la significación del discurso, así como a la normatividad de la conducta. Asimismo, en distintos puntos del escrito se extraerán las implicaciones que estos modos de pensar tienen para una práctica clínica en relación con modos de existencia subjetivos que se escapan a lo que está establecido en el campo social. De esa manera, ponemos en conjunción una aproximación epistemológica con una política. (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)

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)

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)

Building Information Modelling (BIM) is a process for managing construction project information in such a way as to provide a basis for enhanced decision-making and for collaboration in a construction supply chain. One impediment to the uptake of BIM is the limited interoperability of different BIM systems. To overcome this problem, a set of Industry Foundation Classes (IFC) has been proposed as a standard for the construction industry. Building on IFC, the ifcOWL ontology was developed in order to facilitate representation (...) of building data in a consistent fashion across the Web by using the Web Ontology Language (OWL). This study presents a critical analysis of the ifcOWL ontology and of the associated interoperability issues. It shows how these issues can be resolved by using Basic Formal Ontology (ISO/IEC 21838-2) as top-level architecture. A set of competency questions is used as the basis for comparison of the original ifcOWL with the enhanced ontology, and the latter is used to align with a second ontology – the ontology for building intelligent environments (DOGONT) – in order to demonstrate the added value derived from BFO by showing how querying the enhanced ifcOWL yields useful additional information. (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)

Beliefs can be resistant to evidence. Nonetheless, the orthodox view in epistemology analyzes beliefs as evidence-responsive attitudes. I address this tension by deploying analytical tools on capacities and masking to show that the cognitive science of evidence-resistance supports rather than undermines the orthodox view. In doing so, I argue for the claim that belief requires the capacity for evidence-responsiveness. More precisely, if a subject believes that p, then they have the capacity to rationally respond to evidence bearing on p. Because (...) capacities for evidence-responsiveness are fallible and may be masked, beliefs can be held in the face of counter-evidence. Indeed, I will argue that our best science of belief supports the claim that evidence-resistant beliefs result from masks on evidence-responsiveness capacities. This account of belief not only allows for resistance to evidence, but provides us with a framework for describing and explaining actual cases of evidence-resistance. (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.

The orthodox view in epistemology is that belief is constitutively evidence-responsive. I offer a novel argument for a version of this view, one that appeals to capacities to rationally respond to evidence. I do so by developing the Sellarsian idea that the concept of belief functions to mark the space of reasons in a non-intellectualist and naturalistic direction. The resulting view does justice to the role of belief in social interactions, joint deliberation, and rational persuasion, while including evidence-resistant beliefs and (...) animal beliefs as genuine beliefs. It has a range of further benefits: it helps us account for epistemic normativity, paves the way for better psychological models of belief revision, distinguishes beliefs from imaginings and mere acceptances, and helps us avoid noxious simplistic takes on human irrationality. (shrink)

Delusions are deeply evidence-resistant. Patients with delusions are unmoved by evidence that is in direct conflict with the delusion, often responding to such evidence by offering obvious, and strange, confabulations. As a consequence, the standard view is that delusions are not evidence-responsive. This claim has been used as a key argumentative wedge in debates on the nature of delusions. Some have taken delusions to be beliefs and argued that this implies that belief is not constitutively evidence-responsive. Others hold fixed the (...) evidenceresponsiveness of belief and take this to show that delusions cannot be beliefs. Against this common assumption, I appeal to a large range of empirical evidence to argue that delusions are evidence-responsive in the sense that subjects have the capacity to respond to evidence on their delusion in rationally permissible ways. The extreme evidence-resistance of delusions is a consequence of powerful masking factors on these capacities, such as strange perceptual experiences, motivational factors, and cognitive biases. This view makes room for holding both that belief is constitutively evidence-responsive and that delusions are beliefs, and it has important implications for the study and treatment of delusions. (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)

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)

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)

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.

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)

Epistemic agents interact with evidence in different ways. This can cause trouble for mutual understanding and for our ability to rationally engage with others. Indeed, it can compromise democratic practices of deliberation. This paper explains these differences by appeal to a new notion: epistemic styles. Epistemic styles are ways of interacting with evidence that express unified sets of epistemic values, preferences, goals, and interests. The paper introduces the notion of epistemic styles and develops a systematic account of their nature. It (...) then discusses the implications of epistemic styles for central questions in epistemology, in particular, for issues surrounding rational engagement and for the debate between virtue epistemologists and epistemic situationists. (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.

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)

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

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

The proposal that the earth has entered a new epoch called “the Anthropocene” has touched a nerve . One unsettling part of having our ecological finitude thrust upon us with the term “Anthropocene” is that, as Nietzsche said of the death of God, we ourselves are supposed to be the collective doer responsible here, yet this is a deed which no one individual meant to do and whose implications no one fully comprehends. For the pessimists about humanity, the implications seem (...) rather straightforward: humanity will die. Yet, as we will explore in this paper, the death that we may be facing cannot be assumed to be simply biological death or extinction. Indeed, even if we are not running headlong into a mass extinction and biological demise, we do seem to be facing an ontological death. Our ecological finitude is the harbinger of our ontological finitude. The vulnerability we confront in the Anthropocene is what Jonathan Lear, in a different context, called ontological vulnerability. Worlds die too; the ways of life they sustain can become impossible, ceasing to make sense and matter. The constitutive susceptibility of all human worlds to their eventual collapse is what we mean by ontological finitude. This is what we face as presumed denizens in a dawning Anthropocene. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

On how medieval philosophy is not (only) theology.

In Who's Afraid of Idealism? the philosophical concept of idealism, the extent to which reality is mind-made, is examined in new light. Author Luis M. Augusto explores epistemological idealism, at the source of all other kinds of idealism, from the viewpoints of Immanuel Kant and Friedrich Nietzsche, two philosophers who spent a large part of their lives denigrating the very concept. Working from Kant and Nietzsche's viewpoints that idealism was a scandal to philosophy and the cause of nihilism, Augusto (...) evaluates these philosophers and their role in shaping epistemological idealism. Using textual evidence from their writings and their reactions to western philosophers such as Plato, Descartes, and Hegel, Who's Afraid of Idealism? argues that in fact Kant and Nietzsche were really idealists at heart. In accessible prose, this text puts forward a theory that goes against current scholarly opinion, and even Kant and Nietzsche's opinions of themselves. (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)