In this paper I am addressing the question whether Nāgārjuna’s doctrine should be understood as a theory that describes reality itself (ontology) or as a theory of our relation to reality (epistemological, logical, psychological, etc.). To answer this question, I propose to compare Nāgārjuna’s concept of emptiness to that of ‘caducity’, a key element in the ontology of Renaissance Neoplatonist philosopher Francisco Patrizi. By showing that these concepts are similar, I argue that Nāgārjuna’s standpoint can be considered as that of (...) ontology. (shrink)

A analysis of some concepts of logic is proposed, around the work of Edelcio de Souza. Two of his related issues will be emphasized, namely: opposition, and quasi-truth. After a review of opposition between logical systems [2], its extension to many-valuedness is considered following a special semantics including partial operators [13]. Following this semantic framework, the concepts of antilogic and counterlogic are translated into opposition-forming operators [15] and specified as special cases of contradictoriness and contrariety. Then quasi-truth [5] is introduced (...) and equally translated as a product of two partial operators. Finally, the reflections proposed around opposition and quasi-truth lead to a third new logical concept: quasi-opposition, borrowing the central feature of partiality and opening the way to a potential field of new investigations into philosophical logic. (shrink)

This paper investigates the prospects of Rodney Brooks’ proposal for AI without representation. It turns out that the supposedly characteristic features of “new AI” (embodiment, situatedness, absence of reasoning, and absence of representation) are all present in conventional systems: “New AI” is just like old AI. Brooks proposal boils down to the architectural rejection of central control in intelligent agents—Which, however, turns out to be crucial. Some of more recent cognitive science suggests that we might do well to dispose of (...) the image of intelligent agents as central representation processors. If this paradigm shift is achieved, Brooks’ proposal for cognition without representation appears promising for full-blown intelligent agents—Though not for conscious agents. (shrink)

A prominent version of emotional cognitivism is the view that emotions are preceded by awareness of value. In a recent paper, Jonathan Mitchell (2019) has attacked this view (which he calls the content-priority view). According to him, extant suggestions for the relevant type of pre-emotional evaluative awareness are all problematic. Unless these problems can be overcome, he argues, the view does not represent a plausible competitor to rivaling cognitivist views. As Mitchell supposes, the view is not mandatory since its core (...) motivations can be accommodated by competing views, too. I argue that Mitchell's case against the content-priority view is unconvincing as it misconceives the principal motivation for the view. As I show, properly reconstructed, this motivation provides a strong case for the indispensability of the view to any adequate cognitivist treatment of emotion. Moreover, Mitchell's survey of candidates for pre-emotional value awareness can be seen to rest on problematic phenomenological assumptions. (shrink)

Il s’agit de comprendre dans cet article l’opposition formulée par Gilles-Gaston Granger entre deux types de négation : la négation « radicale », d’un côté, et les négations « appliquées » de l’autre. Nous examinerons les propriétés de cette opposition, ainsi que les enseignements à en tirer sur la philosophie de la logique de Granger. Puis nous proposerons une théorie constructive des valeurs logiques considérées comme des objets structurés, consolidant à la fois l’unité de la théorie logique de Granger et (...) son pluralisme philosophique. (shrink)

One of the most prominent myths in analytic philosophy is the so- called “Fregean Axiom”, according to which the reference of a sentence is a truth value. In contrast to this referential semantics, a use-based formal semantics will be constructed in which the logical value of a sentence is not its putative referent but the information it conveys. Let us call by “Question Answer Semantics” (thereafter: QAS) the corresponding formal semantics: a non-Fregean many-valued logic, where the meaning of any sentence (...) is an ordered n-tupled of yes-no answers to corresponding questions. A sample of philosophical problems will be approached in order to justify the relevance of QAS. These include: (1) illocutionary forces, and the logical analysis of speech-acts; (2) the variety of logical negations, and their characterization in terms of restricted ranges of logical values; (3) change in meaning, and the use of dynamic oppositions for belief sets. (shrink)

A general theory of logical oppositions is proposed by abstracting these from the Aristotelian background of quantified sentences. Opposition is a relation that goes beyond incompatibility (not being true together), and a question-answer semantics is devised to investigate the features of oppositions and opposites within a functional calculus. Finally, several theoretical problems about its applicability are considered.

A general framework for translating various logical systems is presented, including a set of partial unary operators of affirmation and negation. Despite its usual reading, affirmation is not redundant in any domain of values and whenever it does not behave like a full mapping. After depicting the process of partial functions, a number of logics are translated through a variety of affirmations and a unique pair of negations. This relies upon two preconditions: a deconstruction of truth-values as ordered and structured (...) objects, unlike its mainstream presentation as a simple object; a redefinition of the Principle of Bivalence as a set of four independent properties, such that its definition does not equate with normality. (shrink)

It has been recently argued that the well-known square of opposition is a gathering that can be reduced to a one-dimensional figure, an ordered line segment of positive and negative integers [3]. However, one-dimensionality leads to some difficulties once the structure of opposed terms extends to more complex sets. An alternative algebraic semantics is proposed to solve the problem of dimensionality in a systematic way, namely: partition (or bitstring) semantics. Finally, an alternative geometry yields a new and unique pattern of (...) oppositions that proceeds with colored diagrams and an increasing set of bitstrings. (shrink)

The present contribution might be regarded as a kind of defense of the common sense in logic. It is demonstrated that if the classical negation is interpreted as the minimal negation with n = 2 truth values, then deviant logics can be conceived as extension of the classical bivalent frame. Such classical apprehension of negation is possible in non- classical logics as well, if truth value is internalized and bivalence is replaced by bipartition.

A formal theory of oppositions and opposites is proposed on the basis of a non- Fregean semantics, where opposites are negation-forming operators that shed some new light on the connection between opposition and negation. The paper proceeds as follows. After recalling the historical background, oppositions and opposites are compared from a mathematical perspective: the first occurs as a relation, the second as a function. Then the main point of the paper appears with a calculus of oppositions, by means of a (...) non-Fregean semantics that redefines the logical values of various sorts of sentences. A num- ber of topics are then addressed in the light of this algebraic semantics, namely: how to construct value-functional operators for any logical opposition, beyond the classical case of contradiction; Blanché's "closure problem", i.e., how to find a complete structure connecting the sixteen binary sentences with one another. All of this is meant to devise an abstract theory of opposition: it encompasses the relation of consequence as subalternation, while relying upon the use of a primary "proto- negation" that turns any relatum into an opposite. This results in sentential negations that proceed as intensional operators, while negation is broadly viewed as a difference-forming operator without special constraints on it. (shrink)

An argument for the rationality of religious belief in the existence of God is defended. After reviewing three preconditions for rational belief, I show reasons to privilege the criterion of consistency. Taking the inconsistency of the religious belief in God and the belief in the scientific world picture as the impediment to a rational belief in God, I propose that we can overcome this objection by assuming, firstly, that God is a universal class. This allows us to put the problem (...) of God in set-theoretic terms, such that the antinomy that follows from such an assumption can be overcome by assuming that God is not a subject but a strict class that cannot be individuated. I conclude that that the self-contradictory nature of God does not prevent the believer from making a rational, ethical assessment that the contradiction resides in the possibility of using language to explain his existence, but that this does not make belief in the existence of God unjustifiable – on the contrary. In this way, we can say statements that claim God exists are justifiable. (shrink)

Can international relations (IR) be a distinctive discipline? In the present paper I argue that such a discipline would be a social science that could be formulated within the perspective of comparative paradigms. The objections to scientific methods are thus overcome by the logic of international oppositions, in other words a model takes several paradigms into account and considers three kinds of foreign relation (enemy, friend, and rival) in the light of three main questions: what is IR about (ontology); what (...) does relate therein (epistemology); and how to assess such a relation (logic). (shrink)

Artificial intelligence (AI) and robotics are digital technologies that will have significant impact on the development of humanity in the near future. They have raised fundamental questions about what we should do with these systems, what the systems themselves should do, what risks they involve, and how we can control these. - After the Introduction to the field (§1), the main themes (§2) of this article are: Ethical issues that arise with AI systems as objects, i.e., tools made and used (...) by humans. This includes issues of privacy (§2.1) and manipulation (§2.2), opacity (§2.3) and bias (§2.4), human-robot interaction (§2.5), employment (§2.6), and the effects of autonomy (§2.7). Then AI systems as subjects, i.e., ethics for the AI systems themselves in machine ethics (§2.8) and artificial moral agency (§2.9). Finally, the problem of a possible future AI superintelligence leading to a “singularity” (§2.10). We close with a remark on the vision of AI (§3). - For each section within these themes, we provide a general explanation of the ethical issues, outline existing positions and arguments, then analyse how these play out with current technologies and finally, what policy consequences may be drawn. (shrink)

Some authors have recently suggested that it is time to consider rights for robots. These suggestions are based on the claim that the question of robot rights should not depend on a standard set of conditions for ‘moral status’; but instead, the question is to be framed in a new way, by rejecting the is/ought distinction, making a relational turn, or assuming a methodological behaviourism. We try to clarify these suggestions and to show their highly problematic consequences. While we find (...) the suggestions ultimately unmotivated, the discussion shows that our epistemic condition with respect to the moral status of others does raise problems, and that the human tendency to empathise with things that do not have moral status should be taken seriously—we suggest that it produces a “derived moral status”. Finally, it turns out that there is typically no individual in real AI that could even be said to be the bearer of moral status. Overall, there is no reason to think that robot rights are an issue now. (shrink)

Roman Suszko said that “Obviously, any multiplication of logical values is a mad idea and, in fact, Łukasiewicz did not actualize it.” The aim of the present paper is to qualify this ‘obvious’ statement through a number of logical and philosophical writings by Professor Jan Woleński, all focusing on the nature of truth-values and their multiple uses in philosophy. It results in a reconstruction of such an abstract object, doing justice to what Suszko held a ‘mad’ project within a generalized (...) logic of judgments. Four main issues raised by Woleński will be considered to test the insightfulness of such generalized truth-values, namely: the principle of bivalence, the logic of scepticism, the coherence theory of truth, and nothingness. (shrink)

La position résolument extensionaliste de Quine a été appuyée par des arguments de nature différente, dans ses multiples articles destinés à rejeter le projet de logique modale. On peut classer ces arguments en trois catégories : un argument naturaliste, où l’auteur tente de baser le langage scientifique sur une notation tâchée de décrire la “structure ultime de la réalité” ; un argument esthétique, où Quine fait allusion à des raisons de clarté et d’efficacité démonstrative pour privilégier la théorie des fonctions (...) de vérité ; un argument pratique, dans la mesure où Quine défend la logique classique sur la base du “principe de mutilation minimum”. A travers une étude de ses écrits relatifs aux attitudes propositionnelles, nous montrerons que la philosophie de la logique de Quine a prolongé la partie épistémologique de son oeuvre, optant finalement pour une stratégie de réduction naturaliste des intensions, à l’image du mouvement engagé par Word and Object et prolongé par From Stimulus to Science. Ce projet se soldera par un échec relatif, et Quine résumera cette désillusion par un fossé entre les structures du langage et du monde : la thèse du “monisme anomal” de Davidson sera le dernier mot, amer, du défenseur acharné de la logique classique. (shrink)

Abstract : A measurement result is never absolutely accurate: it is affected by an unknown “measurement error” which characterizes the discrepancy between the obtained value and the “true value” of the quantity intended to be measured. As a consequence, to be acceptable a measurement result cannot take the form of a unique numerical value, but has to be accompanied by an indication of its “measurement uncertainty”, which enunciates a state of doubt. What, though, is the value of measurement uncertainty? What (...) is its numerical value: how does one calculate it? What is its epistemic value: how one should interpret a measurement result? Firstly, we describe the statistical models that scientists make use of in contemporary metrology to perform an uncertainty analysis, and we show that the issue of the interpretation of probabilities is vigorously debated. This debate brings out epistemological issues about the nature and function of physical measurements, metrologists insisting in particular on the subjective aspect of measurement. Secondly, we examine the philosophical elaboration of metrologists in their technical works, where they criticize the use of the notion of “true value” of a physical quantity. We then challenge this elaboration and defend such a notion. The third part turns to a specific use of measurement uncertainty in order to address our thematic from the perspective of precision physics, considering the activity of the adjustments of physical constants. In the course of this activity, physicists have developed a dynamic conception of the accuracy of their measurement results, oriented towards a future progress of knowledge, and underlining the epistemic virtues of a never-ending process of identification and correction of measurement errors. (shrink)

A general characterization of logical opposition is given in the present paper, where oppositions are defined by specific answers in an algebraic question-answer game. It is shown that opposition is essentially a semantic relation of truth values between syntactic opposites, before generalizing the theory of opposition from the initial Apuleian square to a variety of alter- native geometrical representations. In the light of this generalization, the famous problem of existential import is traced back to an ambiguous interpretation of assertoric sentences (...) in Aristotle's traditional logic. Following Abelard’s distinction between two alternative readings of the O-vertex: Non omnis and Quidam non, a logical difference is made between negation and denial by means of a more fine- grained modal analysis. A consistent treatment of assertoric oppositions is thus made possible by an underlying abstract theory of logical opposition, where the central concept is negation. A parallel is finally drawn between opposition and consequence, laying the ground for future works on an abstract operator of opposition that would characterize logical negation just as does Tarski’s operator of consequence for logical truth. (shrink)

The present paper wants to promote epistemic pluralism as an alternative view of non-classical logics. For this purpose, a bilateralist logic of acceptance and rejection is developed in order to make an important di erence between several concepts of epistemology, including information and justi cation. Moreover, the notion of disagreement corresponds to a set of epistemic oppositions between agents. The result is a non-standard theory of opposition for many-valued logics, rendering total and partial disagreement in terms of epistemic negation and (...) semi-negations. (shrink)

We discuss at some length evidence from the cognitive science suggesting that the representations of objects based on spatiotemporal information and featural information retrieved bottomup from a visual scene precede representations of objects that include conceptual information. We argue that a distinction can be drawn between representations with conceptual and nonconceptual content. The distinction is based on perceptual mechanisms that retrieve information in conceptually unmediated ways. The representational contents of the states induced by these mechanisms that are available to a (...) type of awareness called phenomenal awareness constitute the phenomenal content of experience. The phenomenal content of perception contains the existence of objects as separate things that persist in time and time, spatiotemporal information, and information regarding relative spatial relations, motion, surface properties, shape, size, orientation, color, and their functional properties. (shrink)

It is popular to hold that emotions are evaluative. On the standard account, the evaluative character of emotion is understood in epistemic terms: emotions apprehend or make us aware of value properties. As this account is commonly elaborated, emotions are experiences with evaluative intentional content. In this paper, I am concerned with a recent alternative proposal on how emotions afford awareness of value. This proposal does not ascribe evaluative content to emotions, but instead conceives of them as evaluative at the (...) level of intentional mode or attitude. I first argue that this proposal fails to make emotions intelligible as value apprehensions. There are reasons to suppose that emotions do not apprehend value to begin with, but are related to values in a different, non-epistemic sense. I then go on to show that the notion of an evaluative intentional mode can still help elucidate the evaluative character of emotion. I argue that there is a plausible non-epistemic understanding of the view that emotions are evaluative modes. On this account, emotions are not ways of apprehending values, but ways of acknowledging values. (shrink)

We use quotation marks when we wish to refer to an expression. We can and do so refer even when this expression is composed of characters that do not occur in our alphabet. That's why Tarski, Quine, and Geach's theories of quotation don't work. The proposals of Davidson, Frege, and C. Washington, however, do not provide a plausible account of quotation either. (Section I). The problem is to construct a Tarskian theory of truth for an object language that contains quotation (...) marks, without appealing to quotation marks in the metalanguage. I propose to supply Tarski's truth definition with one axiom that determines the denotation of all expressions containing quotation marks. According to this axiom, quotation marks create a non-extensional context. Since admitting such contexts does not lead to any difficulties in the recursive truth characterization, we may indeed dispense with extensionalism. (Section II). Finally, I argue that we classify and denote expressions in the very same way that we classify and denote extralinguistic entities. Both tokens and types of written signs can be easily incorporated into the naturalist's worldview. (Section III). (shrink)

The aim of this paper is to make sense of the Keynes–Johnson octagon of oppositions. We will discuss Keynes' logical theory, and examine how his view is reflected on this octagon. Then we will show how this structure is to be handled by means of a semantics of partition, thus computing logical relations between matching formulas with a semantic method that combines model theory and Boolean algebra.

It is claimed hereby that, against a current view of logic as a theory of consequence, opposition is a basic logical concept that can be used to define consequence itself. This requires some substantial changes in the underlying framework, including: a non-Fregean semantics of questions and answers, instead of the usual truth-conditional semantics; an extension of opposition as a relation between any structured objects; a definition of oppositions in terms of basic negation. Objections to this claim will be reviewed.

An arithmetic theory of oppositions is devised by comparing expressions, Boolean bitstrings, and integers. This leads to a set of correspondences between three domains of investigation, namely: logic, geometry, and arithmetic. The structural properties of each area are investigated in turn, before justifying the procedure as a whole. Io finish, I show how this helps to improve the logical calculus of oppositions, through the consideration of corresponding operations between integers.

The paper argues that the reference of perceptual demonstratives is fixed in a causal nondescriptive way through the nonconceptual content of perception. That content consists first in spatiotemporal information establishing the existence of a separate persistent object retrieved from a visual scene by the perceptual object segmentation processes that open an object-file for that object. Nonconceptual content also consists in other transducable information, that is, information that is retrieved directly in a bottom-up way from the scene (motion, shape, etc). The (...) nonconceptual content of the mental states induced when one uses a perceptual demonstrative constitutes the mode of presentation of the perceptual demonstrative that individuates but does not identify the object of perceptual awareness and allows reference to it. On that account, perceptual demonstratives put us in a de re relationship with objects in the world through the non-conceptual information retrieved directly from the objects in the environment. (shrink)

The standard argument to the conclusion that artificial intelligence (AI) constitutes an existential risk for the human species uses two premises: (1) AI may reach superintelligent levels, at which point we humans lose control (the ‘singularity claim’); (2) Any level of intelligence can go along with any goal (the ‘orthogonality thesis’). We find that the singularity claim requires a notion of ‘general intelligence’, while the orthogonality thesis requires a notion of ‘instrumental intelligence’. If this interpretation is correct, they cannot be (...) joined as premises and the argument for the existential risk of AI turns out invalid. If the interpretation is incorrect and both premises use the same notion of intelligence, then at least one of the premises is false and the orthogonality thesis remains itself orthogonal to the argument to existential risk from AI. In either case, the standard argument for existential risk from AI is not sound.—Having said that, there remains a risk of instrumental AI to cause very significant damage if designed or used badly, though this is not due to superintelligence or a singularity. (shrink)

Our aim is to propose a non-referential semantics for the principle of logical charity: neither logical universalism (one logic, one way of thinking), nor logical relativism (several logics, several ways of thinking) afford an adequate conceptual framework to interpret the meaning of any speech act. But neither of them is totally wrong, either. The point is to know to which extent each of these views is partly right, thus leading to a more consensual but paradoxical-sounding "relative principle of charity". After (...) recalling the theoretical background of logical charity, we suggest a four-valued logic of acceptance and rejection (hereafter: AR4); then we explain how such a non-referential semantics does justice both to the champions of logical charity and its opponents. While endorsing coherence as a precondition for rationality, we argue that such a criterion does not entail that classical logic is a necessary conceptual scheme to interpret the others' beliefs. A better application of charity should take account of the questions implicitly asked by a statement, and we bring these questions out in replacing Quine's truth-functions by Quine’s verdict functions while emphasizing upon their varying degrees of strength. (shrink)

An analogy is made between two rather different domains, namely: logic, and football. Starting from a comparative table between the two activities, an alternative explanation of logic is given in terms of players, ball, goal, and the like. Our main thesis is that, just as the task of logic is preserving truth from premises to the conclusion, footballers strive to keep the ball as far as possible until the opposite goal. Assuming this analogy may help think about logic in the (...) same way as in dialogical logic, but it should also present truth-values in an alternative sense of speech-acts occurring in a dialogue. The relativity of truth-values is focused by this way, thereby leading to an additional way of logical pluralism. (shrink)

I argue that on Aristotle’s account practical thinking is thinking whose origin (archē) is a desire that has as its object the very thing that one reasons about how to promote. This feature distinguishes practical from productive reasoning since in the latter the desire that initiates it is not (unless incidentally) a desire for the object that one productively reasons about. The feature has several interesting consequences: (a) there is only a contingent relationship between the desire that one practically reasons (...) about how to satisfy and the action one decides on; (b) practical thinking and action cannot be separated from the agent, whereas productive thinking and production can be outsourced to someone else. The view has consequences also for the distinction between action and production. Finally, I illustrate the usefulness and correctness of my account of practical thinking by using it to shed new light on Aristotle’s claim that the virtuous agent must decide on her virtuous actions ‘for themselves’. (shrink)

Nous proposons une logique épistémique quadrivalente AR4.

A rational interpretation is proposed for two ancient Indian logics: the Jaina saptabhaṅgī, and the Mādhyamika catuṣkoṭi. It is argued that the irrationality currently imputed to these logics relies upon some philosophical preconceptions inherited from Aristotelian metaphysics. This misunderstanding can be corrected in two steps: by recalling their assumptions about truth; by reconstructing their ensuing theory of judgment within a common conceptual framework.

It is popular to hold that our primary epistemic access to specific response-dependent properties like the fearsome or admirable (or so-called ‘affective properties’) is constituted by the corresponding emotion. I argue that this view is incompatible with a widely held meta-ethical view, according to which affective properties have deontic force. More specifically, I argue that this view cannot accommodate for the requirement that deontic entities provide guidance. If affective properties are to guide the formation of the corresponding emotion, our primary (...) access to them cannot be provided by that same emotion. (shrink)

Goethes Protest gegen Newtons Theorie des Lichts und der Farben ist besser, als man gemeinhin denkt. Man kann diesem Protest in den wichtigsten Elementen folgen, ohne Newton in der physikalischen Sache unrecht zu geben. Laut meiner Interpretation hat Goethe in Newtons wissenschaftsphilosophischer Selbsteinschätzung eine entscheidende Schwäche aufgedeckt: Newton glaubte, mithilfe prismatischer Experimente beweisen zu können, dass das Licht der Sonne aus Lichtstrahlen verschiedener Farben zusammengesetzt sei. Goethe zeigt, dass dieser Übergang vom Beobachtbaren zur Theorie problematischer ist, als Newton wahrhaben wollte. (...) Wenn Goethe darauf beharrt, dass uns der Übergang zur Theorie nicht von den Phänomenen aufgezwungen wird, dann kommt dadurch unser eigener, freier und kreativer Beitrag zur Theorie-Bildung ans Tageslicht. Und diese Einsicht Goethes gewinnt eine überraschende Schärfe, weil Goethe plausibel machen kann, dass sich alle entscheidenden prismatischen Experimente Newtons aus der geometrischen Optik ebenso gut mit einer alternativen Theorie vereinbaren lassen. Wenn ich recht sehe, war Goethe der erste Wissenschaftsphilosoph, der mindestens eine empirisch äquivalente Alternative zu einer wohletablierten physikalischen Theorie gesehen und daraus weitreichende wissenschaftstheoretische Schlüsse gezogen hat: Damit war Goethe seiner Zeit um ein gutes Jahrhundert voraus. (shrink)

This paper presents the main topics, arguments, and positions in the philosophy of AI at present (excluding ethics). Apart from the basic concepts of intelligence and computation, the main topics of ar-tificial cognition are perception, action, meaning, rational choice, free will, consciousness, and normativity. Through a better understanding of these topics, the philosophy of AI contributes to our understand-ing of the nature, prospects, and value of AI. Furthermore, these topics can be understood more deeply through the discussion of AI; so (...) we suggest that “AI Philosophy” provides a new method for philosophy. (shrink)

Animal ethics has often been criticized for an overreliance on “ideal” or even “utopian” theorizing. In this article, I recognize this problem, but argue that the “nonideal theory” which critics have offered in response is still insufficient to make animal ethics action-guiding. I argue that in order for animal ethics to be action-guiding, it must consider agent-centered theories of change detailing how an ideally just human-animal coexistence can and should be brought about. I lay out desiderata that such a theory (...) of change should suffice so as to be helpful in guiding action. Specifically, a theory of change should determine (1) who needs to do what in order for ideal justice to be achieved in the long run, (2) who should be expected to refuse compliance and how they should be moved to comply, and (3) why specific intermediate steps are necessary. I show how previous “nonideal” contributions, though helpful in other ways, are insufficiently determinate on these points and I sketch a (still somewhat utopian) theory of change for one specific context. This brings animal ethics a crucial step closer to being action-guiding in the real world. (shrink)

We re-examine the problem of existential import by using classical predicate logic. Our problem is: How to distribute the existential import among the quantified propositions in order for all the relations of the logical square to be valid? After defining existential import and scrutinizing the available solutions, we distinguish between three possible cases: explicit import, implicit non-import, explicit negative import and formalize the propositions accordingly. Then, we examine the 16 combinations between the 8 propositions having the first two kinds of (...) import, the third one being trivial and rule out the squares where at least one relation does not hold. This leads to the following results: (1) three squares are valid when the domain is non-empty; (2) one of them is valid even in the empty domain: the square can thus be saved in arbitrary domains and (3) the aforementioned eight propositions give rise to a cube, which contains two more (non-classical) valid squares and several hexagons. A classical solution to the problem of existential import is thus possible, without resorting to deviant systems and merely relying upon the symbolism of First-order Logic (FOL). Aristotle’s system appears then as a fragment of a broader system which can be developed by using FOL. (shrink)

Does it make sense to employ modern logical tools for ancient philosophy? This well-known debate2 has been re-launched by the indologist Piotr Balcerowicz, questioning those who want to look at the Eastern school of Jainism with Western glasses. While plainly acknowledging the legitimacy of Balcerowicz's mistrust, the present paper wants to propose a formal reconstruction of one of the well-known parts of the Jaina philosophy, namely: the saptabhangi, i.e. the theory of sevenfold predication. Before arguing for this formalist approach to (...) philosophy, let us return to the reasons to be reluctant at it. (shrink)

There is, in some quarters, concern about high–level machine intelligence and superintelligent AI coming up in a few decades, bringing with it significant risks for humanity. In other quarters, these issues are ignored or considered science fiction. We wanted to clarify what the distribution of opinions actually is, what probability the best experts currently assign to high–level machine intelligence coming up within a particular time–frame, which risks they see with that development, and how fast they see these developing. We thus (...) designed a brief questionnaire and distributed it to four groups of experts in 2012/2013. The median estimate of respondents was for a one in two chance that high-level machine intelligence will be developed around 2040-2050, rising to a nine in ten chance by 2075. Experts expect that systems will move on to superintelligence in less than 30 years thereafter. They estimate the chance is about one in three that this development turns out to be ‘bad’ or ‘extremely bad’ for humanity. (shrink)

Ich möchte den Neurowissenschaftlern, die glauben, mit empirischen Mitteln etwas über menschliche Freiheit herausfinden zu können, eine philosophische Herausforderung entgegensetzen. Meine These lautet: Die Frage nach der menschlichen Freiheit ist ein metaphysisches Problem, das sich empirischer Naturforschung entzieht. Um das zu begründen, werde ich ein extremes Gedankenexperiment durchführen. Ich werde zuerst hypothetisch die Situation eines Subjektes beschreiben, dessen Naturwissenschaft berechtigterweise einen durchgängigen kausalen Determinismus im Gehirn postuliert und dessen Libet-Experimente für all seine Handlungen fatal ausgehen (nicht nur für unbedeutende Handbewegungen). (...) Dann werde ich zeigen, dass die deterministische Neurowissenschaft in dieser gedachten Situation gar nichts für oder gegen die Entscheidungsfreiheit des Subjekts austrägt, weil sich die Entscheidungen des hypothetischen Subjekts nicht dort abspielen, wo seine Naturwissenschaft hinzielt. – Wenn es mir gelingt, so eine Situation zu konstruieren, stellt sich die Frage, ob wir nicht in einer ähnlichen Situation stecken könnten. Meiner Ansicht nach lässt sich diese Frage zwar aufwerfen, aber nicht beantworten. Sie gehört ins Reich der metaphysischen Spekulation, genau wie die Frage, ob unser geistiges Leben nach dem biologischen Tod im Jenseits weitergehen könnte. Ziel der Überlegungen ist es, verwirrende Redeweisen wie die von meta-physischer oder transzendentaler Freiheit durch konkrete Modelle verständlicher zu machen. Die Position, die hierbei herauskommen wird, hat einige Gemeinsamkeiten mit Kants Position zur Freiheit. (shrink)

The paper addresses the following question: why do human beings, on Aristotle’s view, have an innate tendency to badness, that is, to developing desires that go beyond, and often against, their natural needs? Given Aristotle’s teleological assumptions (including the thesis that nature does nothing in vain), such tendency should not be present. I argue that the culprit is to be found in the workings of rationality. In particular, it is the presence of theoretical reason that necessitates the limitless nature of (...) human non-rational desires. (shrink)

Digital ethics, also known as computer ethics or information ethics, is now a lively field that draws a lot of attention, but how did it come about and what were the developments that lead to its existence? What are the traditions, the concerns, the technological and social developments that pushed digital ethics? How did ethical issues change with digitalisation of human life? How did the traditional discipline of philosophy respond? The article provides an overview, proposing historical epochs: ‘pre-modernity’ prior to (...) digital computation over data, via the ‘modernity’ of digital data processing to our present ‘post-modernity’ when not only the data is digital, but our lives themselves are largely digital. In each section, the situation in technology and society is sketched, and then the developments in digital ethics are explained. Finally, a brief outlook is provided. (shrink)

Quel message est apporté par le courant littéraire de la négritude, et comment procède-t-il pour le transmettre? C'est par le biais d'une écriture introspective que la diaspora noire a conquis sa dignité et dépassé le stade victimaire, par-delà le seul cadre de la communauté francophone. A travers l'histoire de la traite et de la colonisation, notre lecture procédera en trois phases: une phase locutoire, consacrée à un rappel chronologique du contexte noir dans l'Histoire; une phase illocutoire, où seront exposées les (...) différentes réactions de l'intelligentsia noire face à la ségrégation et au passif colonial; une phase perlocutoire, qui conclura l'étude en observant l'impact de la négritude sur la réalité sociale du genre noir. Au-delà du courant historique francophone, l'idée de négritude incarne le problème des constructions d'identité et illustre parfaitement la difficulté de la condition humaine: être ce que nous voulons de ce que les autres veulent faire de nous. (shrink)

This open access book revises Kant’s ethical thought in one of its most notorious respects: its exclusion of animals from moral consideration. The book gives readers in animal ethics an accessible introduction to Kant’s views on our duties to others, and his view that we have only ‘indirect’ duties regarding animals. It then investigates how one would have to depart from Kant in order to recognise that animals matter morally for their own sake. Particular attention is paid to Kant’s ‘Formula (...) of Humanity,' the role of autonomy and the moral law, as well as Kant’s notions of practical reason and animal instinct. The result is a deliberately amended version of Kantianism which nevertheless remains faithful to central aspects of Kant’s thought. The book’s final part illustrates the framework’s use in applied contexts, addressing the issues of using animals as mere means, the ethics of veganism and vegetarianism, and environmental protection. Nico Dario Müller shows how, when furnished with duties to animals, Kant's moral philosophy can be a powerful resource for animal ethicists. (shrink)

Artificial intelligence (AI) is a digital technology that will be of major importance for the development of humanity in the near future. AI has raised fundamental questions about what we should do with such systems, what the systems themselves should do, what risks they involve and how we can control these. - After the background to the field (1), this article introduces the main debates (2), first on ethical issues that arise with AI systems as objects, i.e. tools made and (...) used by humans; here, the main sections are privacy (2.1), manipulation (2.2), opacity (2.3), bias (2.4), autonomy & responsibility (2.6) and the singularity (2.7). Then we look at AI systems as subjects, i.e. when ethics is for the AI systems themselves in machine ethics (2.8.) and artificial moral agency (2.9). Finally we look at future developments and the concept of AI (3). For each section within these themes, we provide a general explanation of the ethical issues, we outline existing positions and arguments, then we analyse how this plays out with current technologies and finally what policy conse-quences may be drawn. (shrink)

Cumulative cultural knowledge [CCK], the knowledge we acquire via social learning and has been refined by previous generations, is of central importance to our species’ flourishing. Considering its importance, we should expect that our best epistemological theories can account for how this happens. Perhaps surprisingly, CCK and how we acquire it via cultural learning has only received little attention from social epistemologists. Here, I focus on how we should epistemically evaluate how agents acquire CCK. After sampling some reasons why extant (...) theories cannot account for CCK, I suggest that things aren’t as bleak as they might look. I explain how agents deserve epistemic credit for how CCK is transmitted in cultural learning by promoting a central need of their social group: The efficient and safe transmission of CCK. A good initial fit exists between this observation and Greco’s knowledge-economy framework. Ultimately, however, Greco’s account doesn’t straightforwardly account for CCK because of its strict focus on testimony. I point out two issues in the framework due to this focus. The resulting view advocates giving epistemic credit to agents when they act to promote their communities’ epistemic needs in the right way and highlights the various ways in which agents come to do this. (shrink)

While the consequences of mathematically-based software, algorithms and strategies have become ever wider and better appreciated, ethical reflection on mathematics has remained primitive. We review the somewhat disconnected suggestions of commentators in recent decades with a view to piecing together a coherent approach to ethics in mathematics. Calls for a Hippocratic Oath for mathematicians are examined and it is concluded that while lessons can be learned from the medical profession, the relation of mathematicians to those affected by their work is (...) significantly different. There is something to be learned also from the codes of conduct of cognate but professionalised quantitative disciplines such as engineering and accountancy, as well as from legal principles bearing on professional work. We conclude with recommendations that professional societies in mathematics should sponsor an (international) code of ethics, institutional mission statements for mathematicians and syllabuses of ethics courses for incorporation into mathematics degrees. (shrink)