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.

Many arguments have been made against gene editing. This paper addresses the commonly invoked argument that gene editing violates human dignity and is ultimately a subversion of human nature. There are several drawbacks to this argument. Above all, the concept of what human dignity means is unclear. It is not possible to condemn a practice that violates human dignity if we do not know exactly what is being violated. The argument’s entire reasoning is thus undermined. Analyses of the arguments involved (...) in this discussion have often led to the conclusion that gene editing contravenes the principle of genetic identity (genetic immutability) thereby subverting a requisite of human dignity and ultimately threatening human nature. This paper refutes these arguments and shows that any opposition to gene editing cannot rely on the human dignity argument. (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)

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)

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)

We show that in the Maxwell–Lorentz theory of classical electrodynamics most initial values for fields and particles lead to an ill-defined dynamics, as they exhibit singularities or discontinuities along light-cones. This phenomenon suggests that the Maxwell equations and the Lorentz force law ought rather to be read as a system of delay differential equations, that is, differential equations that relate a function and its derivatives at different times. This mathematical reformulation, however, leads to physical and philosophical consequences for the ontological (...) status of the electromagnetic field. In particular, fields cannot be taken as independent degrees of freedom, which suggests that one should not add them to the ontology. (shrink)

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)

Ontological expressivism is the view that ontological existence claims express non-cognitive mental states. I develop a version of ontological expressivism that is modeled after Gibbard’s (2003) norm-expressivism. I argue that, when speakers assess whether, say, composite objects exist, they rely on assumptions with regard to what is required for composition to occur. These assumptions guide their assessment, similar to how norms may guide the assessment of normative propositions. Against this backdrop, I argue that “some objects have parts”, uttered in the (...) context of an ontological disagreement, expresses a noncognitive disposition to assess the truth of propositions by using only rules of assessment according to which the proposition that some objects have parts is to be evaluated as true. (shrink)

Easy Ontologists, most notably Thomasson (2015), argue that ontological questions are shallow. They think that these questions can either be answered by using our ordinary conceptual competence—of course tables exist!—or are meaningless, or else should be answered through conceptual re-engineering. Ontology thus is “easy”, requiring no distinctively metaphysical investigation. This paper raises a two-stage objection to Easy Ontology. We first argue that questions concerning which entities exist are inextricably bound up with “ontological category questions”, which are questions concerning the identity (...) of and differences between kinds of entities. We then argue that ontological category questions do not have trivial answers, are meaningful, and cannot be answered through conceptual re-engineering. Easy Ontology hence does not constitute a comprehensive ontological methodology. While some of ontology might be easy, category questions form a central part of ontology and are not answered easily. (shrink)

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)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

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.

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)

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)

We argue that the epistemic functions of replication in science are best understood by their role in assessing kinds of experimental error. Direct replications serve to assess the reliability of an experiment through its precision: the presence and degree of random error. Conceptual replications serve to assess the validity of an experiment through its accuracy: the presence and degree of systematic errors. To illustrate the aptness of this view, we examine the Hubble constant controversy in astronomy, showing how astronomers have (...) responded to the concordances and discordances in their results by carrying out the different kinds of replication that we identify, with the aim of establishing a precise, accurate value for the Hubble constant. We contrast our view with Machery’s “re-sampling” account of replicability, which maintains that replications only assess reliability. (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.

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.

A central tenet of Heil's ontological conception is a no-levels account of reality, according to which there is just one class of basic properties and relations, while all higher-level entities are configurations of these base-level entities. I argue that if this picture is not to collapse into an eliminativist picture of the world – which, I contend, should be avoided –, Heil's ontological framework has to be supplemented by an independent theory of which configurations of basic entities should count as (...) complex entities. However, such an amendment represents a substantial ontological enhancement, so that the ensuing ontological picture is not as parsimonious as Heil claims it to be. (shrink)

This paper attempts to argue that a radically different notion of freedoms and rights that originates from the other, that is founded on the infinite responsibility for the other, and that demands an encounter with the other as pure alterity, could be a plausible starting point towards the conception and possible realization of a Levinasian society of neighbors. First, an explication is made on why a radical change in the area of freedoms and rights could be the starting point towards (...) a social, political, and moral philosophical framework based on the radical philosophy of Levinas as elaborated in his Otherwise than Being or Beyond Essence. Then, a discussion on conventional conceptions of freedoms and rights, particularly those based on liberalism, libertarianism, and utilitarianism, is presented as groundwork for a comparative analysis between these conventional conceptions and a radical notion that would be entailed by a conception of a Levinasian society of neighbors. Lastly, an attempt is made to characterize a radically different conception of freedoms and rights based on the philosophy of Levinas and to argue how it could be the starting point towards the conception and possible realization of a Levinasian society of neighbors. (shrink)

On how medieval philosophy is not (only) theology.

Introduction - From the Illiad to the Studies on Hysteria: A chronology of the discovery of the unconscious mind - Freud's theories of the unconscious mind - Jung's collective unconscious - Lacan's linguistic paradigm.

A key challenge for probabilistic causal models is to distinguish non-causal probabilistic dependencies from true causal relations. To accomplish this task, causal models are usually required to satisfy several constraints. Two prominent constraints are the causal Markov condition and the faithfulness condition. However, other constraints are also needed. One of these additional constraints is the causal sufficiency condition, which states that models must not omit any direct common causes of the variables they contain. In this paper, I argue that the (...) causal sufficiency condition is problematic: (1) it is incompatible with the requirement that the variables in a model must not stand in non-causal necessary dependence relations, such as mathematical or conceptual relations, or relations described in terms of supervenience or grounding, (2) it presupposes more causal knowledge as primitive than is actually needed to create adequate causal models, and (3) if models are only required to be causally sufficient, they cannot deal with cases where variables are probabilistically related by accident, such as Sober’s example of the relationship between bread prices in England and the sea level in Venice. I show that these problems can be avoided if causal models are required to be monotonic in the following sense: the causal relations occurring in a model M would not disappear if further variables were added to M. I give a definition of this monotonicity condition and conclude that causal models should be required to be monotonic rather than causally sufficient. (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)

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)

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)

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.

Theories of graded causation attract growing attention in the philosophical debate on causation. An important field of application is the controversial relationship between causation and moral responsibility. However, it is still unclear how exactly the notion of graded causation should be understood in the context of moral responsibility. One question is whether we should endorse a proportionality principle, according to which the degree of an agent’s moral responsibility is proportionate to their degree of causal contribution. A second question is whether (...) a theory of graded causation should measure closeness to necessity or closeness to sufficiency. In this paper, we argue that we should indeed endorse a proportionality principle and that this principle supports a notion of graded causation relying on closeness to sufficiency rather than closeness to necessity. Furthermore, we argue that this insight helps to provide a plausible analysis of the so-called ‘Moral Difference Puzzle’ recently described by Bernstein. (shrink)

Departing from the premise that the poststructuralist paradigm still reigns supreme in feminist and gender theory, that is, despite the niche efforts made in the past two decades to challenge it linked to the so called “speculative” turn or the materialisms (and realisms) emerging from the feminist field itself (such as the Utrecht School, inspired by Rosi Braidotti), we set the call for papers for the issue before you in terms that would invite authors ready to challenge the dominant epistemic (...) framework. We invited papers that engage with materialism(s), realism(s), sciences and projects engaged in rethinking the post-human beyond the poststructuralist (and, we dare say, postmodern/ist) norm. -/- . (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)

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)

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.

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.

This paper analyzes areas of convergence in the works of Amartya Sen and Slavoj Žižek in their criticisms of the multiculturalist approach to non-violence. First, Žižek’s characterization of the liberal discourse of guilt and fear is presented. Then, Sen’s key ideas on multiculturalism, tolerance, and rational critique are explicated. Next, a synthesis of Sen and Žižek’s notions of universality, freedom, and rationality, as well as of their critical conceptions of globalization and anti-globalization are discussed. Subsequently, Sen and Žižek’s divergences on (...) overcoming violence are examined. Lastly, from integrating Sen and Žižek’s thoughts, key theses are provided on the paradoxical character of the multiculturalist approach to non-violence and on how despite their divergences, both Sen and Žižek propose radical systematic changes and an alternative approach to non-violence characterized by the universals of rationality and genuine freedom. (shrink)

In this article, I highlight the role of the notion of meaning for educational administration. I draw attention to Thomas Greenfield's theses regarding the role of meanings in organization. I explore the relations between Greenfield's thesis about meaning in organization and Ludwig Wittgenstein's thoughts about language and meaning. I shed some light on the encounters and distances between these two thinkers. My account is both exploratory and critical. On the one hand, I point to the relationships between meaning, practices, and (...) action in organization. On the other hand, I identify one aspect of Greenfield's thought that can be further explored in the light of Wittgenstein' s remarks about the public character of meaning. (shrink)

In the remainder of this article, we will disarm an important motivation for epistemic contextualism and interest-relative invariantism. We will accomplish this by presenting a stringent test of whether there is a stakes effect on ordinary knowledge ascription. Having shown that, even on a stringent way of testing, stakes fail to impact ordinary knowledge ascription, we will conclude that we should take another look at classical invariantism. Here is how we will proceed. Section 1 lays out some limitations of previous (...) research on stakes. Section 2 presents our study and concludes that there is little evidence for a substantial stakes effect. Section 3 responds to objections. The conclusion clears the way for classical invariantism. (shrink)

No ensaio “Wittgenstein on mathematics”, publicado no Oxford Handbook of Wittgenstein, Michael Potter procura não apenas analisar por que a filosofia da matemática de Wittgenstein é tão controvertida entre filósofos e matemáticos como justificar essa situação. Com esse intuito, Potter enfatiza o caráter inacabado das reflexões de Wittgenstein sobre a matemática. Neste artigo, tem-se por objetivo explicitar algumas inconsistências e contradições no pensamento matemático de Wittgenstein que ratificam as críticas que esse autor vem recebendo há décadas, mas que não tiveram (...) a mesma atenção dos especialistas que os comentários de Wittgenstein sobre os teoremas da incompletude de Kurt Gödel e suas discussões com Alan Turing sobre os fundamentos da matemática. (shrink)

At this time of pandemic, people will have to co-exist with the COVID-19. The need to ‘strategically’ cope with this inevitable situation still remains to be explored in various depths, most especially in the area of education during flexible teaching and learning. Using Focus Group Discussion and other forms of instrumentation, this qualitative study found that both teachers and students as ‘frontliners’ employed coping strategies including acceptance, building strong and solid social support, cultivating self-reliance and resourcefulness, practicing self-discipline, and establishing (...) an academic support community. (shrink)

Defining the distinction between intrinsic and extrinsic properties has turned out to be one of the most difficult and controversial tasks in contemporary metaphysics. It is generally assumed that a definition of intrinsicness should aim to avoid as many counterexamples as possible and reduce the notion to less controversial philosophical notions. In this paper, the author argues for a new methodological approach to defining intrinsicness. Rather than trying to cover as many intuitive examples as possible, a definition of intrinsicness should (...) reflect the crucial features of our intuitive understanding of the notion, and one of these features is that the intrinsic/extrinsic distinction has to be characterized in a non-reductive way. (shrink)

Shared conceptualization, in the sense we take it here, is as recent a notion as the Semantic Web, but its relevance for a large variety of fields requires efficient methods of extraction and representation for both quantitative and qualitative data. This notion is particularly relevant for the investigation into, and construction of, semantic structures such as knowledge bases and taxonomies, but given the required large, often inaccurate, corpora available for search we can get only approximations. We see fuzzy description logic (...) as an adequate medium for the representation of human semantic knowledge and propose a means to couple it with fuzzy semantic networks via the propositional Łukasiewicz fuzzy logic such that these suffice for decidability for queries over a semantic-knowledge base such as “to what degree of sharedness does it entail the instantiation C(a) for some concept C” or “what are the roles R that connect the individuals a and b to degree of sharedness ε.” . (shrink)

One of the most relevant facets of our time is the supposed rise of post–truth. Without committing ourselves to its existence, we can, from Philosophy, think, at least, about some of its facets. And the facet that we will reflect on here is that of post–truth as an emotional lie. However, given that “emotional lying” meaning is not clear, I will justify that what emotional lying privilegedly means can be deduced from the philosophical theory of bullshit. That deduction comes from (...) the development of (1) the emotion which bullshit can imply, (2) the clarification of the requirements of the institution of the assertion, and (3) the coherent transition from bullshitter to bullshitee. (shrink)

Analyzing causation in terms of Woodward's interventionist theory and describing the structure of the world in terms of causal powers are usually regarded as quite different projects in contemporary philosophy. Interventionists aim to give an account of how causal relations can be empirically discovered and described, without committing themselves to views about what causation really is. Causal powers theorists engage in precisely the latter project, aiming to describe the metaphysical structure of the world. In this paper, I argue that interventionism (...) can benefit from incorporating considerations about causal powers. I describe a previously undiscussed problem for Woodward's definition of an intervention variable that arises when interventionist causal models include disjunctive variables. This problem is solved not by excluding disjunctive (or logically compound) variables per se, but by excluding variables whose values represent disjunctions of too different causal powers. This suggests that interventionism and causal powers theories may be less distant from each other than is often assumed. (shrink)

One implication of Vetter's theory of modality is that necessity and possibility are regarded as unitary natural kinds. In this paper, I argue that from the perspective of the philosophy of causation, there are good reasons to distinguish between different kinds of necessity: causal necessity, which is nomologically necessary, and non-causal necessity, which is metaphysically necessary. One challenge for Vetter's approach is to explain this distinction.

No artigo “Wittgenstein: universalismo, lógica, gramática y lenguaje”, Alejandro Tomasini Bassols afirma que o problema com que Wittgenstein se depara ao fim do Tractatus ”“ as proposições do livro serem elucidações e contrassensos ”“ teve origem em seu erro de considerar a lógica, e não a linguagem, como o mais universal. Bassols afirma ainda que o assim chamado “paradoxo do Tractatus” não foi uma ameaça à segunda filosofia wittgensteiniana porque nela Wittgenstein não cometeu o mesmo erro. Neste artigo argumenta-se que (...) as proposições do Tractatus são contrassensos como consequência direta da teoria pictórica do significado, independentemente da ontologia tractatiana. Além disso, divergindo da opinião de Bassols de ter havido “genuíno progresso filosófico” entre a primeira e a segunda filosofia de Wittgenstein, ressalta-se como o mais sério problema que marca a primeira filosofia wittgensteiniana também marca a segunda: o contrassenso de que Wittgenstein nunca seguiu os próprios métodos filosóficos. (shrink)