This paper gives an account of Anderson and Belnap’s selection criteria for an adequate theory of entailment. The criteria are grouped into three categories: criteria pertaining to modality, those pertaining to relevance, and those related to expressive strength. The leitmotif of both this paper and its prequel is the relevant legitimacy of disjunctive syllogism. Relevant logics are commonly held to be paraconsistent logics. It is shown in this paper, however, that both E and R can be extended to explosive logics (...) which satisfy all of Anderson and Belnap’s selection criteria, provided the truth-constant known as the Ackermann constant is available. One of the selection criteria related to expressive strength is having an “enthymematic” conditional for which a deduction theorem holds. I argue that this allows for a new interpretation of Anderson and Belnap’s take on logical consequence, namely as committing them to pluralism about logical consequence. (shrink)

We argue that people may resist temptations not only with the aim of acquiring more self-control, but also because they want to convince others that they are patient and already possess self-control.

La metafórica del «naufragio con espectador» contiene posibilidades hermenéuticas que van más allá de la comprensión del trasfondo inconceptualizable de la actitud teórica ante la existencia. También puede ser elaborada para dar cuenta de la frontera móvil entre el espacio de la seguridad y el espacio del riesgo, invitándonos a reconocer en la praxis de descarga existencial, implicada en toda actividad contemplativa ante el horror, un trabajo oscilante de sobrevivencia antropológica, y no sólo la gesta heroica de aquellos que, manteniéndose (...) al borde del abismo, se asoman temerariamente a su vórtice. La orilla desde la que se contempla el naufragio pronto deja de ser por ello la tierra firme que en principio parecía ser, y el hundimiento mismo, al perder parte de su coloración como situación límite, deviene en referente opaco de los largos rodeos por medio de los cuales diferimos el encuentro directo con su crudeza. (shrink)

Cheyne and Girard characterize felt presence during sleep paralysis attacks as a pre-hallucinatory expression of a threat-activated vigilance system. While their results may be consistent with this interpretation, they are nonetheless correlational and do not address a parsimonious alternative explanation. This alternative stipulates that FP is a purely spatial, hallucinatory form of a common cognitive phenomenon—social imagery—that is often, but not necessarily, linked with threat and fear and that may induce distress among susceptible individuals. The occurrence of both fearful and (...) non-fearful FPs in a multiplicity of situations other than sleep paralysis attacks supports the notion that FPs are hallucinatory variants of social imagery and that they are not necessarily bound to threat-activated vigilance. Evidence linking FPs with anxiety disorders supports the notion that the distress they evoke may be mediated by a more general affective distress personality factor. To illustrate the predominantly spatial character of FP hallucinations, similarities between FP and phantom limbs are summarized and the possibility that these two phenomena are parallel expressions of a mirror neuron system is considered. (shrink)

This paper aims to analyze the metaphorological project of Hans Blumenberg in relation to the philosophical developments of conceptual history in the mid-twentieth century. It is argued that Blumenberg, based on the study of metaphor, seeks to endow philosophy with a historical substrate that gives rise to the concept, forgotten by the inheritance of the cartesian philosophy. In this way, metaphors, but also myths and anecdotes, fulfill a pragmatic guiding function of thought and expe- rience, becoming indispensable for human life.

This article provides a normative framework for evaluating the moral permissibility of various defences of European Union (EU) values against their violation in EU member states. This requires, first, a coherent interpretation of EU values as the values of liberal democracy; second, a clear notion of when they are violated; third, a theory of how liberal democracy can be defended with measures that are consistent with the values of liberal democracy themselves; and, finally, a discussion of what the EU’s role (...) is in this defence. The article argues that it would be permissible for the EU to combine a number of political, cultural, socio-economic and legal responses in a concentric defence of liberal democracy as long as they respect the separation of powers doctrine and do not rely on problematic notions of collective responsibility. (shrink)

Artificial intelligence receives attention in media as well as in academe and business. In media coverage and reporting, AI is predominantly described in contrasted terms, either as the ultimate solution to all human problems or the ultimate threat to all human existence. In academe, the focus of computer scientists is on developing systems that function, whereas philosophy scholars theorize about the implications of this functionality for human life. In the interface between technology and philosophy there is, however, one imperative aspect (...) of AI yet to be articulated: how do intelligent systems make inferences? We use the overarching concept “Artificial Intelligent Behaviour” which would include both cognition/processing and judgment/behaviour. We argue that due to the complexity and opacity of artificial inference, one needs to initiate systematic empirical studies of artificial intelligent behavior similar to what has previously been done to study human cognition, judgment and decision making. This will provide valid knowledge, outside of what current computer science methods can offer, about the judgments and decisions made by intelligent systems. Moreover, outside academe—in the public as well as the private sector—expertise in epistemology, critical thinking and reasoning are crucial to ensure human oversight of the artificial intelligent judgments and decisions that are made, because only competent human insight into AI-inference processes will ensure accountability. Such insights require systematic studies of AI-behaviour founded on the natural sciences and philosophy, as well as the employment of methodologies from the cognitive and behavioral sciences. (shrink)

The purpose of the article is to explain the political philosophy of Nicolás Gó- mez Dávila, emphasizing his particular way of understanding the relationship between theory and political action. For Gómez Dávila, the ‘authentic reactionary’ –as he calls himself– is the opposite of the committed intellectual, and therefore his political postulates do not encourage and should not encourage any transformation of society or any struggle in the political arena. Consistent with Gómez Dávila’s thesis, the only political action left to the (...) authentic reactionary in our time is the discreet praxis of reading alone, dialogue with few friends, and fragmentary writing as a form of expression close to silence. (shrink)

Anne Phillips argues that definitions of the human are a trap for the political claims to equality contained in humanitarianism or human rights discourse. However, defining the human also hides the ontological and political problem addressed by the Philosophical Anthropology. There is an ethical and political stake in the philosophical anthropology of the last century when it insists on the indefinability of the human. With this, it criticizes the politics implicit in the definition of the human. And also, it questions (...) the metaphysical positions that the act of defining implies. -/- //// La lógica de inclusión/exclusión presente en toda definición de lo humano no solo es una trampa para las reivindicaciones políticas de la igualdad contenidas en el humanitarismo o el discurso de los derechos humanos, como ha argumentado Anne Phillips, sino que también oblitera la problemática ontológica contenida en la pregunta fundamental de toda antropología filosófica y su correspondiente dimensión práctica. Las tesis de la indefinibilidad del ser humano y la problematicidad ontológica constitutiva de lo humano —desarrolladas por la antropología filosófica crítica del último siglo— cuestionan toda política de la definición de lo humano y las posturas metafísicas que tales políticas implican. Por ello, el artículo también pone en cuestión la imagen negativa del aporte de la antropología filosófica a la ética y la filosofía social. -/- . (shrink)

This article discusses fundamental problems in "rational choice theory," as outlined by Jon Elster. Elster's discussion of why institutions may not be said to act shows his fundamental presupposition that only "monolithic," unitary entities are capable of action. This is, for him, a reason why only individual human beings may be said to act. Furthermore, human beings may be said to act only insofar as they "maximize" (their "utility") on the basis of a unitary, complete, consistent "preference structure." All action (...) that is not maximization in this sense is for Elster not really human action, but rather instances of "pure causality." Elster distinguishes between the "real," intentional person, who "maximizes," and "purely causal forces" within the person. This article tries to show that this radical, sharp dichotomy between "intentionality," in this narrow sense, and "pure causality" is inadequate as a basis for understanding human action. This radical dichotomy is central to important arguments made by Elster more generally. (shrink)

This introduction describes the background and reasons why the Mercator-Hondius atlas analysed in this issue became part of the library collection of the Donner Institute.

Ackermann’s motivational spin on his theory of rigorous implication is analyzed and it is shown to contain en equivalent idea to Plumwood’s notion of suppression freedom. The formal properties these ideas back turn out to be properly weaker than Belnap’s variable sharing property, but it is shown that they can be strengthen in various ways. Some such strengthenings, it is shown, yield properties which are equivalent to Belnap’s, and thus provide for new ways of motivating Belnap’s fundamental relevance principle.

It is known that many relevant logics can be conservatively extended by the truth constant known as the Ackermann constant. It is also known that many relevant logics can be conservatively extended by Boolean negation. This essay, however, shows that a range of relevant logics with the Ackermann constant cannot be conservatively extended by a Boolean negation.

The aim of the article is to show a new interpretation of Nicolás Gómez Dávila’s philosophy by means of an analysis of his early work Textos I. In the article it is demonstrated that the ten essays of this book, apparently dispersed, are connected thematically around the big questions of philosophical anthropology. They also can be described as phenomenological exercises from the methodological point of view. A philosophical hermeneutic of the Dávila’s work, attending different moments of his philosophy and rejecting (...) the will to find a total system of thinking in a fragmented work, must be put forward. (shrink)

Many relevant logics can be conservatively extended by Boolean negation. Mares showed, however, that E is a notable exception. Mares’ proof is by and large a rather involved model-theoretic one. This paper presents a much easier proof-theoretic proof which not only covers E but also generalizes so as to also cover relevant logics with a primitive modal operator added. It is shown that from even very weak relevant logics augmented by a weak K-ish modal operator, and up to the strong (...) relevant logic R with a S5 modal operator, all fail to be conservatively extended by Boolean negation. The proof, therefore, also covers Meyer and Mares’ proof that NR—R with a primitive S4-modality added—also fails to be conservatively extended by Boolean negation. (shrink)

Many relevant logics are conservatively extended by Boolean negation. Not all, however. This paper shows an acute form of non-conservativeness, namely that the Boolean-free fragment of the Boolean extension of a relevant logic need not always satisfy the variable-sharing property. In fact, it is shown that such an extension can in fact yield classical logic. For a vast range of relevant logic, however, it is shown that the variable-sharing property, restricted to the Boolean-free fragment, still holds for the Boolean extended (...) logic. (shrink)

This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann constant. An (...) overview over various ways to formulate Leibniz’s law in non-classical logics and two new triviality proofs for naïve set theory are also provided. (shrink)

This chapter draws on Ayn Rand's esthetic discourse, especially her essay collection The Romantic Manifesto: A Philosophy of Literature and her lecture course on fiction‐writing, edited and published as The Art of Fiction: A Guide for Writers and Readers. First, it looks briefly at Romanticism in its historical context. Next, the chapter discusses how plot enables a writer to show the events of a story as following logically from the values and premises of the characters, and how this method implies (...) a specific approach to characterization. Then, the chapter looks at plot in relation to a story's theme; to the author's projection of his/her own unique values and personality; and to the distinctive use of imagination typical of Romantic art. Finally, it addresses the question of how Rand's advocacy of plot relates to her concept of objectivity. (shrink)

Restall set forth a "consecution" calculus in his "An Introduction to Substructural Logics." This is a natural deduction type sequent calculus where the structural rules play an important role. This paper looks at different ways of extending Restall's calculus. It is shown that Restall's weak soundness and completeness result with regards to a Hilbert calculus can be extended to a strong one so as to encompass what Restall calls proofs from assumptions. It is also shown how to extend the calculus (...) so as to validate the metainferential rule of reasoning by cases, as well as certain theory-dependent rules. (shrink)

The aim of the research is to show the need to defend the prosaic reconfiguration of humanity that we set up every day by using temporary resources. This implies to discuss the overvalued achievements of the philosophies that advocate a direct encounter with our raw reality, or that defend an absolutist project of construction of the being of man that ends by suffocating him instead of offering any kind of salvation. The hypothesis states that the possibility of existence of man, (...) understood as the existence of a sense of the human — and, consequently, of a world with a meaning for man — depends on that prosaic configuration of our home that we have to reenact every morning. The development of meaningful worlds — that exist only as long as man exists, and vice versa — is achieved through symbolic resources, such as the metaphor or the concept. This allows us to replace one thing with another, merrily deferring the direct encounter with our constitutive ontological problematicity. To think man's reality is philosophically bearable only through metaphors and concepts, that is, by spreading a mundane prose that does not, that cannot and that should not come to an end. This in spite of the vocation for epic heroism that characterizes philosophy, and in spite of its temerarious impulse to dive into the depths in order to face what we directly cannot speak of, not without becoming speechless. (shrink)

Relevant logics have traditionally been viewed as paraconsistent. This paper shows that this view of relevant logics is wrong. It does so by showing forth a logic which extends classical logic, yet satisfies the Entailment Theorem as well as the variable sharing property. In addition it has the same S4-type modal feature as the original relevant logic E as well as the same enthymematical deduction theorem. The variable sharing property was only ever regarded as a necessary property for a logic (...) to have in order for it to not validate the so-called paradoxes of implication. The Entailment Theorem on the other hand was regarded as both necessary and sufficient. This paper shows that the latter theorem also holds for classical logic, and so cannot be regarded as a sufficient property for blocking the paradoxes. The concept of suppression is taken up, but shown to be properly weaker than that of variable sharing. (shrink)

An algebraic type of structure is shown forth which is such that if it is a characteristic matrix for a logic, then that logic satisfies Meyer's weak variable sharing property. As a corollary, it is shown that RM and all its odd-valued extensions \(\mathbf{RM}_{2n\mathord{-}1}\) satisfy the weak variable sharing property. It is also shown that a proof to the effect that the "fuzzy" version of the relevant logic R satisfies the property is incorrect.

Lautemann et al. (1995) gave a descriptive characterisation of the class of context-free languages, showing that a language is context-free iff it is definable as the set of words satisfying some sentence of a particular logic (fragment) over words. The present notes discuss how to specialise this result to the class of linear languages. Somewhat surprisingly, what would seem the most straightforward specialisation actually fails, due to the fact that linear grammars fail to admit a Greibach normal form. We identify (...) an alternative specialisation, based on an alternative characterisation of context-free languages, also noted by Lautemann et al. (1995). (shrink)

En el mundo actual, en el que se está reduciendo la abundancia y la inalterabilidad de la diversidad cultural, nuestras barreras culturales se pueden salvar —aunque no adulterar— si todo el mundo en todas partes se acoge a los derechos humanos. En el presente artículo intento defender la idea de que, para conseguirlo, tenemos que elaborar una pluralidad de aprobaciones de los derechos humanos universalmente aplicables que sea diversa pero bien cimentada culturalmente; en resumidas cuentas, deberíamos adoptar una justificación plural (...) de los derechos humanos. (shrink)

This paper argues against Jon Elster's contention that there is a fundamentalincompatibility between, on one hand, autonomy and rationality and, on theother hand, adaptation to conditions of one's existence in the sense that one'sdesires or preferences are adjusted to what it is possible to achieve. While thefirst part of the paper more narrowly concentrated on Elster's discussion ofthese ideas, this second part goes on to a more general discussion of the conceptof rationality. On the basis of this discussion, it is (...) claimed that Elster's conclusionsconcerning autonomy and adaptation are premised on a defective conceptionof human experience and rationality. Moreover, the claim is made that thesedefects are also characteristic of "rational choice theory" more generally. (shrink)

Journal Name: Semiotica Issue: Ahead of print.

Name der Zeitschrift: Cognitive Linguistics Jahrgang: 27 Heft: 4 Seiten: 573-585.

Val Plumwood and Richard Sylvan argued from their joint paper The Semantics of First Degree Entailment and onward that the variable sharing property is but a mere consequence of a good entailment relation, indeed they viewed it as a mere negative test of adequacy of such a relation, the property itself being a rather philosophically barren concept. Such a relation is rather to be analyzed as a sufficiency relation free of any form of premise suppression. Suppression of premises, therefore, gained (...) center stage. Despite this, however, no serious attempt was ever made at analyzing the concept. This paper shows that their suggestions for how to understand it, either as the Anti-Suppression Principle or as the Joint Force Principle, turn out to yield properties strictly weaker than that of variable sharing. A suggestion for how to understand some of their use of the notion of suppression which clearly is not in line with these two mentioned principles is given, and their arguments to the effect that the Anderson and Belnap logics T, E and R are suppressive are shown to be both technically and philosophically wanting. Suppression-freedom, it is argued, cannot do the job Plumwood and Sylvan intended it to do. (shrink)

In recent years, semantical partiality has emerged as an important explanatory concept in philosophical logic as well as in the study of natural language semantics. Despite the many applications, however, a number of mathematically intriguing questions associated with this concept have received only very limited attention. ;The present dissertation aims to present a systematic study of certain types of partiality in the area of basic model theory. Two types of issues are given special attention: Introducing partially defined models, there are (...) many ways to generalize the classical truth definition for sentences of a simple first order language relative to standard, complete models. Different interpretations of the formal framework motivate conflicting truth definitions between language and partial models: A partial model can be taken to represent a part of the world, or a partial information set. The truth of a sentence can be supported directly by a part of the world, but can also follow indirectly from an information set. These notions are related, and the relation motivates a comparison between various weaker and stronger alternative truth definitions. Results are obtained about the extent to which these truth definitions differ, and a number of characterization results are deduced. ;Among other conditions that are not expressible in the framework of standard, complete model theory, a condition of monotonicity or persistence of truth relative to partial models is argued to follow under both the given interpretations of the formal framework. The final chapter investigates the relation between such conditions and expressibility properties in general. These discussions culminate with a combined Lindstrom and persistence characterization theorem. (shrink)

The purpose of this article is to present the main contributions to peace, democracy, and the philosophy of education in Colombia, made by philosopher Guillermo Hoyos-Vásquez (Medellín, 1935 – Bogotá, 2013). The work of this Colombian philosopher stands out for its important contributions to political philosophy as the vital, supportive, and responsible exercise of thought concerning the public interest. Using Kant’s concept of practical reason, Husserl’s lifeworld [Lebenswelt], and Habermas’s communicative action as starting points, Hoyos-Vásquez succeeded in going beyond these (...) political philosophers by trying to apply their ideas in the midst of the difficult context of corruption, drug trafficking and armed conflict in Colombia over the past five decades. At the same time, Hoyos-Vásquez developed throughout his life a varied public activity as a thinker and educator, belying the myth of the theoretical distance between the philosopher and his/her political present or historical reality. The thought of Guillermo Hoyos-Vásquez, and his public action as an educator, represent a substantial contribution to contemporary political and educational philosophy, maintaining a close connection between theory and practice. (shrink)