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

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 Uniform Determination of Death Act (UDDA) provides that “an individual who has sustained either (1) irreversible cessation of circulatory and respiratory functions or (2) irreversible cessation of all functions of the entire brain, including the brain stem, is dead.” We show that the UDDA contains two conflicting interpretations of the phrase “cessation of functions.” By one interpretation, what matters for the determination of death is the cessation of spontaneous functions only, regardless of their generation by artificial means. By the (...) other, what matters is the cessation of both spontaneous and artificially supported functions. Because each UDDA criterion uses a different interpretation, the law is conceptually inconsistent. A single consistent interpretation would lead to the conclusion that conscious individuals whose respiratory and circulatory functions are artificially supported are actually dead, or that individuals whose brain is entirely and irreversibly destroyed may be alive. We explore solutions to mitigate the inconsistency. (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)

Pérez Carballo adopts an epistemic utility theory picture of epistemic norms where epistemic utility functions measure the value of degrees of belief, and rationality consists in maximizing expected epistemic utility. Within this framework he seeks to show that we can make sense of the intuitive idea that some true beliefs—say true beliefs about botany—are more valuable than other true beliefs—say true beliefs about the precise number of plants in North Dakota. To do so, however, Pérez Carballo argues that (...) we must think of the value of epistemic states as consisting in more than simply accuracy. This sheds light on which questions it is most epistemically valuable to pursue. (shrink)

The relations between ontology and information are many and fundamental, and they help us to understand the present gulf between (formal) ontology and (philosophical) Ontology: We can speak of respectively ontology-driven information and information-driven ontology as the focus on being informed vs. informed being. The question of whether these two (can) coincide is relevant to both fields, and in this article I elaborate on what needs to be addressed first of all to provide us with an answer: The form. This (...) core ontological concept rooting in Aristotelian metaphysics was central to philosophical ontology, in particular in Latin Scholasticism, when it was clearly put into relation with information as that which defines an entity. In this context, Dietrich of Freiberg synthesized this long debate in a way that matters not only to the philosophical effort of producing information-driven ontologies but also to the engineering constructs of ontology-driven information systems. (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)

Laura Specker Sullivan (2022) makes a fairly compelling case for the value of the perspectives of Buddhist practitioners in neuroethics. In this study, Tibetan Buddhist monks have been asked, among other things, whether consciousness, in brain-injured patients in a minimally conscious state, entails a duty to preserve life. In our view, some of the participants’ responses could be used to inform the bioethical debate on death determination.

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)

In this work we argue that there is no strong demarcation between pure and applied mathematics. We show this first by stressing non-deductive components within pure mathematics, like axiomatization and theory-building in general. We also stress the “purer” components of applied mathematics, like the theory of the models that are concerned with practical purposes. We further show that some mathematical theories can be viewed through either a pure or applied lens. These different lenses are tied to different communities, which endorse (...) different evaluative standards for theories. We evaluate the distinction between pure and applied mathematics from a late Wittgensteinian perspective. We note that the classical exegesis of the later Wittgenstein’s philosophy of mathematics, due to Maddy, leads to a clear-cut but misguided demarcation. We then turn our attention to a more niche interpretation of Wittgenstein by Dawson, which captures aspects of the aforementioned distinction more accurately. Building on this newer, maverick interpretation of the later Wittgenstein’s philosophy of mathematics, and endorsing an extended notion of meaning as use which includes social, mundane uses, we elaborate a fuzzy, but more realistic, demarcation. This demarcation, relying on family resemblance, is based on how direct and intended technical applications are, the kind of evaluative standards featured, and the range of rhetorical purposes at stake. (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.

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)

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.

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.

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)

The field of Latin American philosophy has established itself as a relevant subfield of philosophical inquiry. However, there might be good reasons to consider that our focus on the subfield could have distracted us from considering another subfield that, although it might share some geographical proximity, does not share the same historical basic elements. In this paper, I argue for a possible and meaningful conceptual difference between Latin American Philosophy and Indigenous philosophy produced in Latin America. First, I raise what (...) I call Mariátegui’s Solidarity Challenge to show that there might be some neglectful treatment of the philosophical views of different Indigenous groups. I then depart from Mariátegui and engage in a critical exercise to show that even he would be guilty of failing in his own solidarity demands. I follow that by drawing out some implications of the argument. I first sketch how this differentiation would play out against the political project of “Mestizaje,” a project that seems to inform some of the Latin American philosophical tradition. I then speculate about the kinds of duties that the field of Latin American philosophy might have towards the field of Indigenous Philosophy produced in Latin America. (shrink)

Logic has been a—disputed—ingredient in the emergence and development of the now very large field known as knowledge representation and reasoning. In this book (in progress), I select some central topics in this highly fruitful, albeit controversial, association (e.g., non-monotonic reasoning, implicit belief, logical omniscience, closed world assumption), identifying their sources and analyzing/explaining their elaboration in highly influential published work.

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)

Background: Several countries have recently changed their model of consent for organ donation from opt-in to opt-out. We undertook a systematic review to determine public knowledge and attitudes towards these models in Europe. Methods: Six databases were explored between 1 January 2008 and 15 December 2017. We selected empirical studies addressing either knowledge or attitudes towards the systems of consent for deceased organ donation by lay people in Europe, including students. Study selection, data extraction, and quality assessment were conducted by (...) two or more reviewers independently. Findings: Awareness of the consent model was lower in opt-out countries than in opt-in countries. A majority of the public agrees with opt-in, regardless of the law in their own country. There are ambivalent attitudes regarding the opt-out system. The public tend to prefer opt-in and mandatory choice over opt-out when several options are offered. Interpretation: The assumption that people in opt-out countries are aware of the legal requirements to be excluded from the pool of potential donors is not supported by the results of this review. This is a concern, since ignorance hinders people's autonomy regarding organ donation decision-making. Higher awareness of consent model in opt-in countries may reflect greater efforts to inform the public through campaigns to motivate donation. Legal moves towards opt-out are at odds with people's expressed preferences. Main limitations of this review are the lack of data from some countries, study population heterogeneity, and methodological shortcomings. (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, (...) class='Hi'>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)

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

The classification of preserved hypothalamic activity in brain death and brainstem death as functional or non-functional has become a subject of debate. While proponents of the neurological criterion claim that these activities lack functional significance (Shemie et al. 2014), Nair-Collins and Joffe (2023) argue for their functional physiological role. However, the interpretation of the term "function" within the medico-legal framework, where death is characterized by the irreversible cessation of all brain functions, remains unclear. -/- My intention here is not to (...) engage in a debate over the validity of different viewpoints regarding the functional significance of preserved activities in the hypothalamus or the heart. Rather, I aim to highlight the critical importance of exploring and defining the concept of function in medicine, which currently lacks clarity. My point is that, whatever our position in the brain death debate, reaching a consensus on this conceptual matter would minimize misunderstandings and establish a robust foundation for further insightful analysis. (shrink)

50 years after its introduction, brain death remains controversial among scholars. The debates focus on one question: is brain death a good criterion for determining death? This question has been answered from various perspectives: medical, metaphysical, ethical, and legal or political. Most authors either defend the criterion as it is, propose some minor or major revisions, or advocate abandoning it and finding better solutions to the problems that brain death was intended to solve when it was introduced. Here I plead (...) for a different approach that has been overlooked in the literature: the philosophy of science approach. Some scholars claim that human death is a matter of fact, a biological phenomenon whose occurrence can be determined empirically, based on science. We should take this claim seriously, whether we agree with it or not. The question is: how do we know that human death is a scientific matter of fact? Taking the philosophy of science approach means, among other things, examining how the determination of human death became an object of scientific inquiry, exploring the nature of the brain death criterion itself, and analysing the meaning of its core concepts such as “irreversibility” and “functions”. (shrink)

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

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...) of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

According to an influential view, when it comes to representing reality, some words are better suited for the job than others. This is elitism. There is reason to believe that the set of the best, or elite, words should not be redundant or arbitrary. However, we are often forced to choose between these two theoretical vices, especially in cases involving theories that seem to be mere notational variants. This is the riddle of redundancy: both redundancy and arbitrariness are vicious, but (...) there are cases in which one must be picked. Logical realists admit that there are some logical constants among the elite words. This leads to awkward questions, such as which among conjunction and disjunction is elite. In this paper, I show how the riddle of redundancy arises for logical realists, and offer a solution. This approach requires us to change how we represent negation. Instead of using some particular symbol, we represent negation by flipping formulae over the horizontal axis. (shrink)

El arte no es solamente una fuente inagotable de goce estético, es además una huella, una evidencia de nuestro pasado histórico. A partir del arte es posible remitirnos a nuestra raíz cultural, y es por eso que la obra artística constituye una parte importante del patrimonio de un pueblo. Es evidente el estrecho vínculo entre el patrimonio artístico y la identidad cultural; por eso es importante dar un justo valor a ese patrimonio que, a su vez, se reflejará en la (...) consolidación de una identidad propia. De esas expresiones tomamos únicamente las de la arquitectura de algunas iglesias barrocas. En ellas podemos notar una serie de variables del mestizaje cultural. La arquitectura del barroco novohispano, como uno de los lenguajes del arte, generó una reflexión sobre la identidad del individuo iberoamericano. (shrink)

All research is immersed in the competition for knowledge, but this is not always governed by fairness. In this opinion article, I elaborate on indicators of unfairness to be found in both evaluation guides and evaluation panels, and I spontaneously offer a number of rules of thumb meant to keep it at bay. Although they are explicitly offered to the Portuguese Foundation for Science and Technology (FCT) and in particular to the evaluation panel for Philosophy, Ethics and Religion of FCT's (...) fifth edition of their Individual Call to Scientific Employment Stimulus, here used as concrete illustrations of unfairness, my rules of thumb are guaranteed to promote fairness in the competition for knowledge in general. (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)

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

A lo largo de la tradición psicopatológica, incluso de la pre-fenomenológica, se encuentra la categorización del delirio como creencia. Jaspers asumió ese uso y lo fundó fenomenológico-existencialmente, definiendo su carácter de convicción. El concepto de creencia ha tenido un largo recorrido dentro de la historia del pensamiento, aunque recientemente se ha intensificado el debate acerca de la visión doxástica del delirio. En virtud de lo ya mencionado, en el presente artículo presentamos un análisis conceptual de la creencia, con el objetivo (...) de identificar de manera precisa los aspectos esenciales que permiten al delirio definirse según ella. De esta manera, se discutirán algunas de las principales incursiones realizadas en el concepto desde la antigüedad periplatónica hasta José Ortega y Gasset, remarcando en cada pensador las directrices esenciales de su aproximación a la creencia. A su vez, introducir al filósofo español al debate psicopatológico permitirá incluir en la discusión dos aspectos importantes que creemos pueden ser fructíferos para la discusión filosófica sobre el delirio: la diferencia entre ideas y creencias, y la vitalidad de estas últimas. Finalmente, hacemos referencia al actual debate pro- y antidoxástico, haciendo hincapié en la necesidad de considerar la amplitud del concepto de creencia en su genealogía histórica. Con base en ello estaríamos en condición de acercarnos a la visión doxástica moderada que han defendido autoras como Lisa Bortolotti. (shrink)

Social ontology focuses on questions about the reality of human categories. The typical examples are gender and race. Common questions about them are: Do they exist? What is their nature? Do they exist in the best possible way? Meanwhile, the philosophy of psychiatry has been discussing the reality of psychopathology, what is the best way to classify mental disorders, and whether it is possible to define them without normative vocabulary. I think there is something not only strange but inadequate about (...) these discussions being held apart. Particularly, I hold that by being held separately these discussions are philosophically incomplete. In this paper, I argue that these debates are parallel in crucial aspects, but more importantly that they can benefit from each other if they start a dialogue. I suggest some paths we can take to start fruitful discussions and offer examples of the kind of outcomes we can expect. However, my main contribution is to sketch a common framework to map current discussions, make comparisons between them, and, more importantly, guide new research. (shrink)

Just started a new book. The aim is to establish a science of knowledge in the same way that we have a science of physics or a science of materials. This might appear as an overly ambitious, possibly arrogant, objective, but bear with me. On the day I am beginning to write it–June 7th, 2020–, I think I am in possession of a few things that will help me to achieve this objective. Again, bear with me. My aim is well (...) reflected in the title I chose (just now) for this book: Knowledge & Logic: Towards a science of knowledge. Its most important feature is that I shall take logic to be to knowledge science as calculus is to physics or to materials science. I do not intend to reclaim knowledge from the bosom of philosophy, in which, known as epistemology its erudite discussion has hardly progressed since Plato first defined it as true belief with logos. With only a few adjustments, it will actually provide me with the right, science-bound start. More recently, knowledge has been reclaimed by the field of BA, a reclaim that has opened the box of Pandora: Among the evils, and perhaps at the head of the list, is an overly lay, essentially naive, notion of knowledge. But the very idea that one can have something like “knowledge (management) software” puts us on the right track. (shrink)

En metafísica contemporánea, es común trabajar bajo una metodología basada en virtudes teóricas. En caso de disputa, esta metodología nos aconseja elegir la teoría que mejor satisfaga las virtudes teóricas estándar: precisión empírica, fecundidad, poder unificador, consistencia y simplicidad. Sin embargo, no hay consenso sobre cómo deben frasearse tales virtudes, ni sobre cómo ponderarlas. Aquí me concentraré en ofrecer razones a favor de una manera de frasear el principio de parsimonia ideológica, una especie de simplicidad. Defiendo que dicho principio debería (...) decir que, dadas dos teorías T1 y T2, ceteris paribus, si T1 postula menos tipos de expresiones primitvas que T2, entonces es más probable que T1 sea una teoría fiel a que T2 lo sea. Se elabora en qué consiste la cláusula ceteris paribus, qué quiere decir "postular menos tipos de expresiones primitivas" (parsimonia ideológica cualitativa) y en qué consiste la fidelidad teórica. (shrink)

Materialism has been the subject of extensive and rich controversies since Robert Boyle introduced the term for the first time in the 17th century. But what is materialism and what can it offer today? The term is usually defined as the worldview according to which everything real is material. Nevertheless, there is no philosophical consensus about whether the meaning of matter can be enlarged beyond the physical. As a consequence, materialism is often defined in stark exclusive and reductionist terms: whatever (...) exists is either physical or ontologically reducible to it. This conception, if consistent, mutilates reality, excluding the ontological significance of political, economic, sociocultural, anthropological and psychological realities. Starting from a new history of materialism, the present book focuses on the central ontological and epistemological debates aroused by today’s leading materialist approaches, including some little known to an anglophone readership. The key concepts of matter, system, emergence, space and time, life, mind, and software are checked over and updated. Controversial issues such as the nature of mathematics and the place of reductionism are also discussed from different materialist approaches. As a result, materialism emerges as a powerful, indispensable scientifically-supported worldview with a surprising wealth of nuances and possibilities. (shrink)

We present an axiomatization of non-relativistic Quantum Mechanics for a system with an arbitrary number of components. The interpretation of our system of axioms is realistic and objective. The EPR paradox and its relation with realism is discussed in this framework. It is shown that there is no contradiction between realism and recent experimental results.

Objectives To increase postmortem organ donation rates, several countries are adopting an opt-out (presumed consent) policy, meaning that individuals are deemed donors unless they expressly refused so. Although opt-out countries tend to have higher donation rates, there is no conclusive evidence that this is caused by the policy itself. The main objective of this study is to better assess the direct impact of consent policy defaults per se on deceased organ recovery rates when considering the role of the family in (...) the decision-making process. This study does not take into account any indirect effects of defaults, such as potential psychological and behavioural effects on individuals and their relatives. -/- Design Based on previous work regarding consent policies, we created a conceptual model of the decision-making process for deceased organ recovery that included any scenario that could be directly influenced by opt-in or opt-out policies. We then applied this model to internationally published data of the consent process to determine how frequently policy defaults could apply. -/- Main outcome measures We measure the direct impact that opt-in and opt-out policies have per se on deceased organ recovery. -/- Results Our analysis shows that opt-in and opt-out have strictly identical outcomes in eight out of nine situations. They only differ when neither the deceased nor the family have expressed a preference and defaults therefore apply. The direct impact of consent policy defaults is typically circumscribed to a range of 0%–5% of all opportunities for organ recovery. Our study also shows that the intervention of the family improves organ retrieval under opt-in but hinders it under opt-out. -/- Conclusions This study may warn policy makers that, by emphasising the need to introduce presumed consent to increase organ recovery rates, they might be overestimating the influence of the default and underestimating the power granted to families. (shrink)

This dissertation focuses on teleology and functions in biology. More precisely, it focuses on the scientific legitimacy of teleofunctional attributions and explanations in biology. It belongs to a multi-faceted debate that can be traced back to at least the 1970s. One aspect of the debate concerns the naturalization of functions. Most authors try to reduce, translate or explain functions and teleology in terms of efficient causes so that they find their place in the framework of the natural sciences. Our approach (...) here is radically different, as we question the premise that teleological explanations are disguised causal explanations. On the contrary, we defend that they are acceptable in natural sciences and in biology in particular. We challenge the idea that teleological explanations are immature causal explanations, as well as the idea that teleology and functions are some sort of intentional explanations. We therefore reject the accusations of anthropomorphism, vitalism and finalism. On the contrary, we defend that teleology, causality and intentionality correspond to different, autonomous and complementary modes of representation of the outside world. -/- ———[FRANÇAIS]——— -/- Ce travail de thèse porte sur la téléologie et les fonctions en biologie. Plus précisément, il porte sur la légitimité scientifique des attributions et des explications téléofonctionnelles en biologie. Il s’inscrit dans le cadre d’un débat à plusieurs facettes que l’on peut faire remonter au moins jusqu’aux années 1970 et qui est encore très actif aujourd’hui. L’un des aspects du débat porte sur la naturalisation des fonctions, c’est-à-dire sur la manière de les réduire, de les traduire ou de les expliciter en termes de causes efficientes de sorte qu’elles trouvent leur place dans le cadre des sciences de la nature. Notre approche ici est radicalement différente, car nous remettons en question la prémisse selon laquelle les explications téléologiques seraient des explications causales déguisées. Nous défendons au contraire qu’elles sont acceptables en tant que telles aussi bien de façon générale que dans le domaine scientifique et en particulier en biologie. De façon générale, nous remettons en question l’idée selon laquelle la pensée téléologique serait une pensée causale immature, ainsi que sa dépendance présumée vis-à-vis de la psychologie, c’est-à-dire de l’intentionnalité. Nous rejetons donc les accusations d’anthropomorphisme, de vitalisme et de finalisme formulées contre elle. Nous défendons au contraire que la téléologie, la causalité et l’intentionnalité correspondent à des modes différents, autonomes et complémentaires de représentation du monde extérieur. (shrink)

Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “formal” means in the plethora of symptoms exhibited. We present a logic-based model for the syntax–semantics interface in semantic networking that can not only explain, but also diagnose, FTD. Our model is based on description logic (DL), which is well known (...) for its adequacy to model terminological knowledge. More specifically, we show how faulty logical form as defined in DL-based Conception Language (CL) impacts the semantic content of linguistic productions that are characteristic of FTD. We accordingly call this the dyssyntax model. (shrink)

2nd edition. The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind. This book collects the most fundamental aspects of this theory and offers the reader the basics of its applications in computer science, artificial intelligence, and cognitive science, to name but the most important fields where this notion finds its many applications.

Explaining the behaviour of ecosystems is one of the key challenges for the biological sciences. Since 2000, new-mechanicism has been the main model to account for the nature of scientific explanation in biology. The universality of the new-mechanist view in biology has been however put into question due to the existence of explanations that account for some biological phenomena in terms of their mathematical properties (mathematical explanations). Supporters of mathematical explanation have argued that the explanation of the behaviour of ecosystems (...) is usually provided in terms of their mathematical properties, and not in mechanistic terms. They have intensively studied the explanation of the properties of ecosystems that behave following the rules of a non-random network. However, no attention has been devoted to the study of the nature of the explanation in those that form a random network. In this paper, we cover that gap by analysing the explanation of the stability behaviour of the microbiome recently elaborated by Coyte and colleagues, to determine whether it fits with the model of explanation suggested by the new-mechanist or by the defenders of mathematical explanation. Our analysis of this case study supports three theses: (1) that the explanation is not given solely in terms of mechanisms, as the new-mechanists understand the concept; (2) that the mathematical properties that describe the system play an essential explanatory role, but they do not exhaust the explanation; (3) that a non-previously identified appeal to the type of interactions that the entities in the network can exhibit, as well as their abundance, is also necessary for Coyte and colleagues’ account to be fully explanatory. From the combination of these three theses we argue for the necessity of an integrative pluralist view of the nature of behaviour explanation when this is given by appealing to the existence of a random network. (shrink)

This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction with the classical first-order predicate calculus with (...) a view to computational implementations, namely in automated theorem proving and logic programming. The present third edition improves on the previous ones by providing an altogether more algorithmic approach: There is now a wholly new section on algorithms and there are in total fourteen clearly isolated algorithms designed in pseudo-code. Other improvements are, for instance, an emphasis on functions in Chapter 1 and more exercises with Turing machines. (shrink)

In this Ph.D. dissertation, completed at the Sorbonne, it is shown that the whole of medieval philosophy was not reduced to a realist stance: in the 13th-14th centuries, an idealist stance emerged and was developed into a full-fledged epistemological idealism, personified in the philosophers Eckhart von Hochheim and Dietrich von Freiberg. This dissertation deviates from most works in the history of philosophy by proposing to see this as a taxonomy.

Is the boundary between the normal and the pathological real or fiction? Are health and disease just a matter of fact or are they value-laden? Here we present some examples of how alleged diseases can be invented and propagated by the industry (disease mongering) or by the methodology of medical science itself. We show that the boundary between health and disease is blurred and depends on individual and social representations, culture relative ways of categorising things and people, and by the (...) society’s degree of medicalisation. However, we do not mean that it is not real, rather that it is more complex than expected, as the subjectivity of social constructions and individual experiences makes them no less real. Finally, we conclude that health and disease belong to both objective and subjective kinds of reality, so the fictional can be real. (shrink)

In this editorial, I explain how Paul Feyerabend's Principle of Proliferation is adopted and adapted as a publication model for the Journal of Knowledge Structures and Systems (JKSS). Critical views on the limitations of both non-dynamic publishing models and government- and industry-based models of research are expressed.

The notion of a correct appreciation of nature, like the one put forward in Carlson’s environmental account, has been rejected by many other authors in the aesthetics of the natural environment. Their critics challenge the idea that only scientific cat- egories can ground the aesthetic appreciation of nature as nature, and they hold that there is not a correct way of appreciating nature. However, they may share with Carlson the idea of correctness under an objectivist paradigm of aesthetic appreciation, according (...) to which correctness means the adequation of the experi- ence to properties of the object. My aim in the article is to claim that it is necessary to endorse an aesthetic standard of correctness that takes into consideration the subjective character of aesthetic appreciation. An aesthetic standard of correct- ness implies universal assent, or validity for everyone in Kantian terms, in place of an objectivist notion. This notion of correctness permits the inclusion of expressive perception of nature as an essential form of aesthetic appreciation. (shrink)

Este texto analiza las concepciones que J. S. Mill y K. Marx defienden sobre la libertad, con el fin de establecer si entre ellas hay puntos de convergencia, a pesar de las diferentes motivaciones que las impulsan. En este sentido, la tesis que se propone es que ambos pensadores coinciden en la defensa que realizan de la libertad, dado que le otorgan un papel destacado a la autodeterminación, el libre desarrollo de la individualidad y a la existencia de condiciones materiales (...) para su concreción. Así las cosas, las distancias que las separan no constituyen ningún óbice al momento de abogar por lo que consideran como el valor fundamental del ser humano. (shrink)

Graduates' employability indicates the excellent education and relevant preparation they obtained from their respective degrees. Tracer studies have enabled higher education institutions to profile their graduates while also reflecting on the quality of education they provide. With the foregoing, a tracer study determined the demographic and academic profile of teacher education graduates from 2017 to 2020 in a state university in the West Philippines. It also ascertained the advanced studies they attended after college, their employment data, the relevance of college (...) preparation with their current employment, difficulties they encountered while securing employment and in their present job, and recommendations to strengthen the teacher education program. The study utilized a descriptive survey research design with 80 non-random samples chosen based on availability. The survey was based on the Philippine Commission on Higher Education with modifications elucidated from previous studies. Results showed that graduates took the teacher education program with a strong passion for the teaching profession. More graduates received honors and awards, passed the licensure examinations for teachers, attended advanced studies for professional development, and are employable. Besides, the graduates’ college preparation is relevant to their current employment. Further, difficulties and problems encountered and recommendations to strengthen the teacher education program were noted. These findings may serve as a baseline for curriculum review and give suggestions for future tracer studies. (shrink)