This article deals with the relationship between philosophy and science in the writings of Karl Jaspers and with its reception in the wider scholarly literature. The problem discussed is how to characterize the relationship that exists between science—defined on pure Kantian grounds as a universally valid knowledge of phenomenal objects—and philosophy—conceived by Jaspers as the transcending mode of thinking of personal Existenz rising towards the totality and unity of Being. Two solutions to that problem arise from Jaspers’s writings. The oppositionist (...) view is based in his earlier philosophy of Existenz. It describes the discrepancy between determinateness, bestowed by science to its objects, and freedom of self-determination, which is both a synonym and a condition of possibility for Existenz. The reciprocal view is based in Jaspers’s later works, where he focuses on exploration of his concept of Being (das Umgreifende). By contrast with most of Jaspers’s commentators, the present interpretation is anchored in a developmentaland contextual understanding of Jaspers’s thought. Showing the transcendental background of this topic, the proposed interpretation allows us to abstain from viewing the two solutions as incoherent or contradictory and instead to see them as constitutive of a single philosophical course. (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)

On how medieval philosophy is not (only) theology.

The article seeks to elucidate the status of transcendence in the historiography of secularization through the perspective of collective memory. It discusses two typological models dealing with the basic metaphysical problem concerned with the presence and meaning of transcendence in real human existence. According to the first, the historical reality of secularization causes a break from the collective memory whose roots are in religion. In contrast, the second model considers that despite the deep transformations in the status of religion in (...) a reality of secularization, an experience of historical continuity may also occur there. These models denote the two poles in the argument about the meaning and value of history for modern people. The article suggests a phenomenological analysis of the two models and criticizes their deficiencies. Finally, the “tension model” is outlined as a third alternative that aims at overcoming the binary situation created by the first two in favor of a perspective that necessitates and contains both immanence and transcendence. (shrink)

The widely accepted approach in scholarly literature on Hannah Arendt’s The Human Condition emphasizes its political meaning and implications while neglecting its ontological dimensions. Against this trend, in this article I seek to uncover the implicit ontology that underlies her conception of the human condition. This human ontology appears to be comprised of five realms – the private, the public, intimacy, the social and the self. While Arendt explicitly bases her conception upon the first two, the paper shows that the (...) remaining three, although not defined as realms, are explored by her as such. These appear as autarchic contexts of human activity, which are not supposed to refer to each other. The problematic of this split between the different realms is widely discussed in the paper. Yet, the split of the self from the two pivotal realms – the private and the public – acquires a special interest, for it undermines the entire project of the human condition. (shrink)

This is a study of the work of the German philosopher Karl Jaspers (1883-1969), from his beginnings as a young psychiatrist to his mature days as an existentialist philosopher. This critical study of Jasper's philosophy traces his effort to instill meaning into the human quest for self-understanding and reveals the difficulties and frustrations inherent in this search. The book presents to the reader Jasper's attempts to deal with these difficulties by means of a philosophical approach to the concept of being (...) as a whole, beyond the individual – the other, the world and transcendence. In this book the author conducts an ongoing dialogue with existing research on Jasper's works and proposes a new reading for them. Along with a critical interpretation, the author reveals the challenges that the figure of Jaspers posed to his readers. Unlike most researchers, who ignored Jasper's early writings dealing with psychiatry and psychology, this book proposes a philosophical reading of these works, revealing the unity of the world in which Jaspers created – first as a psychologist and later as a philosopher. This approach enables the reader to discover in Jasper's work a daring effort to formulate an original philosphy regarding two basic concepts central to philosophy and human culture throughout all times – "selfhood" and "being". (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.

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)

This article intend to elucidate how Wilhelm Windelband employed the Kantian critic method without devoid its typical features, going through this, what is fundamental for the approach from speculative reason to practical reason would be identified. We understand that practical reason, as a theoretical interest, is prefigured on the first critic, and that the Kantian system suffers mutations until his second critic formulation. Windelband’s critical view, can offer the tips of how to interpreter Kant’s passage from speculative to practical reason, (...) observing the elements witch are kept, as constant elements, the third antinomy for stance, and witch one changes among the course, as the ideas of liberty and nature in both theoretical and practical sense. Windelband can unfold to notice those variations and help to understand them in the development of Kantian theories as elements not contradictories with the canon of speculative reason. (shrink)

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

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

This paper explores the contrast between two meanings of thinking: (i) one implied by the Cartesian and Kantian philosophy, the two thinkers that have arguably the deepest influence on the constellation of Western philosophical problems and (ii) another implied by the philosophical-anthropological project of the Brazilian anthropologist Eduardo Viveiros de Castro. The thesis here defended is that, in the Cartesian and Kantian philosophy, thinking is related to ruling and legislating over the experience through concepts, while in Viveiros de Castros' theoretical (...) enterprise, thinking is rather to explore the limits of conceptual constructions when confronted with the experience of alterity. (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)

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.

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)

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)

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.

Recent investigations surprisingly indicate that single RNA "stem-loops" operate solely by chemical laws that act without selective forces, and in contrast, self-ligated consortia of RNA stem-loops operate by biological selection. To understand consortial RNA selection, the concept of single quasi-species and its mutant spectra as drivers of RNA variation and evolution is rethought here. Instead, we evaluate the current RNA world scenario in which consortia of cooperating RNA stem-loops are the basic players. We thus redefine quasispecies as RNA quasispecies consortia (...) and argue that it has essential behavioral motifs that are relevant to the inherent variation, evolution and diversity in biology. We propose that qs-c is an especially innovative force. We apply qs-c thinking to RNA stem-loops and evaluate how it yields altered bulges and loops in the stem-loop regions, not as errors, but as a natural capability to generate diversity. This basic competence-not error-opens a variety of combinatorial possibilities which may alter and create new biological interactions, identities and newly emerged self identity functions. Thus RNA stem-loops typically operate as cooperative modules, like members of social groups. From such qs-c of stem-loop groups we can trace a variety of RNA secondary structures such as ribozymes, viroids, viruses, mobile genetic elements as abundant infection derived agents that provide the stem-loop societies of small and long non-coding RNAs. (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)

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

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.

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.

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)

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)

La science, la technologie et les professions forment un système de fortes interactions. Pourtant, ces activités s’attaquent à différents types de problèmes qui nécessitent différentes solutions. Les problèmes qui aiguillonnent la recherche scientifique et technologique demeurent insuffisamment résolus ou non résolus, donc leurs possibles solutions doivent être inventées (c.-à-d. qu’elles sont partiellement ou totalement originales) et, par conséquent, elles doivent être testées contre la réalité par les chercheurs avant de les considérer comme vraies ou utiles. Par contre, les problèmes qui (...) aiguillonnent une investigation professionnelle sont déjà résolus ou une solution partielle est disponible sous la forme d’un protocole technique. Cette solution est appliquée avec prudence sans être testée (c’est-à-dire que le professionnel suppose que la solution fonctionne parce qu’elle a déjà été mise à l’épreuve par les chercheurs). De plus, la science et la technologie s’attaquent à des problèmes inverses non résolus, ce qui permet l’avancement radical des connaissances par de véritables innovations. Une politique scientifique fondée sur une dis- tinction claire entre les activités créatives et les activités routinières (c.-à-d. une politique respectueuse de la créativité) offre à la société la possibilité d’un développement économique et intégral à valeur ajoutée. (shrink)

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

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)

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