L'article s'intéresse aux obstacles épistémologiques qui empêchèrent Wittgenstein d'admettre l'idée moderne de logique modale et, en particulier, les logiques d'attitudes propositionnelles. Tout en proposant un aperçu rétrospectif de la logique des modalités épistémiques, nous verrons que ces obstacles reposent avant tout sur la nature de l'espace logique présenté dans le Tractatus Logico-Philosophicus et le statut métaphysique du sujet. Des passages éclairants seront rappelés pour justi.

Un paralogisme semble commis dans la démonstration par Aristote du principe psychologique de non-contradiction : à partir d’un principe performatif d’assertion (dire quelque chose, c’est le croire), une approche moderne nous incline à prétendre qu’Aristote présuppose une transparence référentielle des contextes opaques de croyance afin de corréler les versions psychologique et logique. Nous tenterons de restituer la preuve du principe (I). Au moyen de la formalisation moderne, nous appliquerons cette explication à quelques paradoxes (II). Nous en conclurons la nature de (...) la non-contradiction (III), avant de proposer une "dissolution" syntaxique du problème d'opacité des contextes d'attitudes propositionnelles. Cette dissolution exprimera un certain scepticisme face aux approches formelles de l'intentionnalité. (shrink)

L’article qui suit a pour but de présenter un des aspects centraux de la contribution philosophique de Jaakko Hintikka : l’épistémologie formelle. Le thème choisi, le Paradoxe de Moore, permettra d’illustrer le mot d’ordre de la philosophie formelle, celui d’utiliser des outils logiques en vue de la clarification de problèmes philosophiques. Il s’agit également de mettre en évidence la nature pragmatique du discours épistémique, qui transparaît dans les résultats sémantiques de Hintikka et parle en faveur de la logique illocutoire.

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)

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)

Nonism refers to the attitude of whoever is neither pro nor cons a given issue. Midway between affirmation and denial, or truth and falsity, the nonist says neither “yes” nor “no” and intrigues by his lack of clear answer to any related question. What does (s)he say, if any, and what is the sense of such an attitude? Through the special case of politics, three sorts of nonists are depicted in the following: the nonist by default, the nonist by interest, (...) and the nonist by absurdity. The first cannot say anything else and the second does not want to, whilst the third paves a new way towards a refoundation of political discourse. The conditions of possibility of such a refoundation rely upon the dialectical relationship between two distinctive rationales, namely: the world of theoretical ideas, and the world of events. The resulting contradiction witnesses the crisis of political activity, and some output solutions will be exposed accordingly. -/- Le ninisme désigne l’attitude de celui qui n’est ni pour, ni contre un thème donné. A mi- chemin entre l’affirmation et la négation, ou la vérité et la fausseté, le niniste ne dit ni « oui » ni « non » et intrigue par son absence de réponse claire à une question posée. Que dit-il au juste, et quel est le sens de son attitude ? A travers le cas précis du domaine politique, trois types de ninistes seront décrits dans ce qui suit : le niniste par défaut, le niniste par intérêt, et le niniste par l’absurde. Le premier ne peut se prononcer autrement et le deuxième ne le souhaite pas, tandis que le troisième ouvre la voie en vue d’une refondation du discours politique. Les conditions de possibilité de cette refondation dépendent du rapport dialectique entre deux logiques distinctes : le monde des idées théoriques et le monde réel des événements. La contradiction qui en résulte est à l’image d’une activité politique en crise, et quelques solutions de sortie seront envisagées. (shrink)

Russell prétend qu’un examen des croyances est indispensable pour définir nos raisonnements quotidiens et comprendre ce que les philosophes entendent par la notion de vérité. Cela étant, l’auteur considère qu’une étude de ces croyances n’a aucun rapport avec la logique, laquelle concerne uniquement le vrai et le faux. En d’autres termes, Russell associe croyance et psychologie tout en réservant le domaine de la logique au thème de la proposition, vraie ou fausse par définition. Une certaine théorie de la vérité sous-tend (...) son rejet primordial d’une logique épistémique ; si la croyance a un intérêt philosophique, c’est parce que Russell se sert de son examen pour discerner la théorie de la vérité que défendent plusieurs philosophes : la théorie de la vérité-cohérence est une cible principale du Britannique, qui défend pour sa part une théorie de la vérité-correspondance en caractérisant la proposition par sa relation de correspondance ou de non-correspondance avec un fait. (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)

The relevance of any logical analysis lies in its ability to solve paradoxes and trace conceptual troubles back; with this respect, the task of epistemic logic is to handle paradoxes in connection with the concept of knowledge. Epistemic logic is currently introduced as the logical analysis of crucial concepts within epistemology, namely: knowledge, belief, truth, and justification. An alternative approach will be advanced here in order to enlighten such a discourse, as centred upon the word assertion and displayed in terms (...) of utterance. Insofar as epistemic modalities express some attitudes, the intentionality of discourse will be emphasized within an illocutionary modal logic. Two large views will range over the whole study: declarative and epistemic sentences have one and the same logic (assertion logic); the plurality of languages games doesn’t entail any logical pluralism. -/- La valeur d'une analyse logique réside dans sa capacité à résoudre des paradoxes et à comprendre l'origine de nos problèmes conceptuels ; à ce titre, le rôle d'une logique épistémique est de traiter des paradoxes liés au concept de connaissance. On présente généralement la logique épistémique comme une analyse logique de concepts centraux en épistémologie : connaissance, croyance, vérité, justification. Une autre approche sera proposée ici en vue de clarifier ce genre de discours, centrée sur la notion d'assertion et décrite en termes d'énonciation. Parce que les modalités épistémiques expriment des attitudes, c'est l'intentionnalité du discours qui sera mise en valeur dans le cadre d'une logique modale illocutoire. Deux thèses transversales parcourront l'ensemble du travail : les énoncés déclaratifs et épistémiques partagent la même logique (logique assertorique) ; la pluralité des jeux de langages n'implique pas un pluralisme logique. (shrink)

(Back Cover:) « La pensée métaphysique renaîtra demain. Ce sont des savants qui ont le goût et le sens de la pensée conduite jusqu’au terme de ses exigences internes, et des philosophes initiés aux sciences expérimentales qui, en commun, la feront. » L’œuvre de Claude Tresmontant (1925-1997) illustre parfaitement cette recherche de la métaphysique d’un monde en devenir, qui sait écouter et se modeler sur la transformation – la métamorphose – promise à une Création finalisée. Le trait commun aux exposés (...) ici présentés sous forme définitive a été cette recherche autour d’une pensée qui renouvelle de l’intérieur la métaphysique en réalisant le vœu de Bergson qu’elle devienne « auscultatrice », que l’énigme que pose l’homme face à son origine et sa destinée ne soit pas recouverte par une pensée qui se perdrait dans la description des choses ou dans l’esprit de système, mais qui non plus n’irait se recroqueviller sur elle-même, en narrant sa propre expérience subjective sous le mode de la déréliction. Claude Tresmontant a su penser l’être en genèse, et il a cherché à renouveler la question de l’existence de Dieu, en en transformant la problématique en dialogue avec les sciences contemporaines. À ce goût de l’être dont les sciences ont renouvelé l’approche, il a également voulu infuser un « supplément d’âme », en repensant la réalité de la création et l’horizon de la cause finale, toujours à partir de la nature ultimement théologique de la réponse à la question « qu’est-ce que l’homme ? » Contributeurs : Yves Tourenne, Philippe Gagnon, Fabien Revol, Brunor, Frédéric Crouslé, Bertrand Souchard, Emmanuel Gabellieri. Table of Contents: Note Liminaire (Ph. Gagnon) - 7 En quoi la pensée de Claude Tresmontant nous stimule-t-elle encore ? Hommage et critique (Y. Tourenne) - 13 L’imbrication de la preuve de Dieu et de la cosmologie chez Tresmontant représente-t-elle une preuve ? (Ph. Gagnon) - 27 L’usage apologétique de la philosophie de Tresmontant dans les Indices pensables de Brunor (F. Revol) - 49 Réponse à Fabien Revol (Brunor) - 77 Qu’est-ce qui cloche dans la théologie de Claude Tresmontant ? (Fr. Crouslé) - 85 Les métaphysiques principales de Claude Tresmontant : la foi biblique est-elle à part de la raison philosophique grecque ? (B. Souchard) - 109 Maurice Blondel et Claude Tresmontant (E. Gabellieri) - 123 La vision informationnelle de Tresmontant, surtout en référence au problème de l’âme (Ph. Gagnon) - 133. (shrink)

Dans un texte désormais célèbre, Ferdinand de Saussure insiste sur l’arbitraire du signe dont il vante les qualités. Toutefois il s’avère que le symbole, signe non arbitraire, dans la mesure où il existe un rapport entre ce qui représente et ce qui est représenté, joue un rôle fondamental dans la plupart des activités humaines, qu’elles soient scientifiques, artistiques ou religieuses. C’est cette dimension symbolique, sa portée, son fonctionnement et sa signification dans des domaines aussi variés que la chimie, la théologie, (...) les mathématiques, le code de la route et bien d’autres qui est l’objet du livre La Pointure du symbole. -/- Jean-Yves Béziau, franco-suisse, est docteur en logique mathématique et docteur en philosophie. Il a poursuivi des recherches en France, au Brésil, en Suisse, aux États-Unis (UCLA et Stanford), en Pologne et développé la logique universelle. Éditeur-en-chef de la revue Logica Universalis et de la collection Studies in Universal Logic (Springer), il est actuellement professeur à l’Université Fédérale de Rio de Janeiro et membre de l’Académie brésilienne de Philosophie. SOMMAIRE -/- PRÉFACE L’arbitraire du signe face à la puissance du symbole Jean-Yves BÉZIAU La logique et la théorie de la notation (sémiotique) de Peirce (Traduit de l’anglais par Jean-Marie Chevalier) Irving H. ANELLIS Langage symbolique de Genèse 2-3 Lytta BASSET -/- Mécanique quantique : quelle réalité derrière les symboles ? Hans BECK -/- Quels langages et images pour représenter le corps humain ? Sarah CARVALLO Des jeux symboliques aux rituels collectifs. Quelques apports de la psychologie du développement à l’étude du symbolisme Fabrice CLÉMENT Les panneaux de signalisation (Traduit de l’anglais par Fabien Shang) Robert DEWAR Remarques sur l’émergence des activités symboliques Jean LASSÈGUE Les illustrations du "Songe de Poliphile" (1499). Notule sur les hiéroglyphes de Francesca Colonna Pierre-Alain MARIAUX Signes de vie Jeremy NARBY Visualising relations in society and economics. Otto Neuraths Isotype-method against the background of his economic thought Elisabeth NEMETH Algèbre et logique symboliques : arbitraire du signe et langage formel Marie-José DURAND – Amirouche MOKTEFI Les symboles mathématiques, signes du Ciel Jean-Claude PONT La mathématique : un langage mathématique ? Alain M. ROBERT. (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)

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 idea that there could be spatially extended mereological simples has recently been defended by a number of metaphysicians (Markosian 1998, 2004; Simons 2004; Parsons (2000) also takes the idea seriously). Peter Simons (2004) goes further, arguing not only that spatially extended mereological simples (henceforth just extended simples) are possible, but that it is more plausible that our world is composed of such simples, than that it is composed of either point-sized simples, or of atomless gunk. The difficulty for these (...) views lies in explaining why it is that the various sub-volumes of space occupied by such simples, are not occupied by proper parts of those simples. Intuitively at least, many of us find compelling the idea that spatially extended objects have proper parts at every sub-volume of the region they occupy. It seems that the defender of extended simples must reject a seemingly plausible claim, what Simons calls the geometric correspondence principle (GCP): that any (spatially) extended object has parts that correspond to the parts of the region that it occupies (Simons 2004: 371). We disagree. We think that GCP is a plausible principle. We also think it is plausible that our world is composed of extended simples. We reconcile these two notions by two means. On the one hand we pay closer attention to the physics of our world. On the other hand, we consider what happens when our concept of something—in this case space—contains elements not all of which are realized in anything, but instead key components are realized in different features of the world. (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.

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.

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.

In this paper, it is argued that there can be necessary and non-natural desires. After a discussion about what seems wrong with such desires, Epicurus’ classification of desires is treated similarly to Kripke’s treatment of the Kantian table of judgments. A sample of three cases is suggested to make this point.

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)

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)

Nous proposons une logique épistémique quadrivalente AR4.

The paper points out that the modern formulation of Bohm’s quantum theory known as Bohmian mechanics is committed only to particles’ positions and a law of motion. We explain how this view can avoid the open questions that the traditional view faces according to which Bohm’s theory is committed to a wave-function that is a physical entity over and above the particles, although it is defined on configuration space instead of three-dimensional space. We then enquire into the status of the (...) law of motion, elaborating on how the main philosophical options to ground a law of motion, namely Humeanism and dispositionalism, can be applied to Bohmian mechanics. In conclusion, we sketch out how these options apply to primitive ontology approaches to quantum mechanics in general. (shrink)

The paper deals with the main contribution of the Finnish logician Jaakko Hintikka: epistemic logic, in particular the 'static' version of the system based on the formal analysis of the concepts of knowledge and belief. I propose to take a different look at this philosophical logic and to consider it from the opposite point of view of the philosophy of logic. At first, two theories of meaning are described and associated with two competing theories of linguistic competence. In a second (...) step, I draw the conclusion that Hintikka's epistemic logic constitutes a sort of internalisation of meaning, by the introduction of epistemic modal operators into an object language. In this respect, to view meaning as the result of a linguistic competence makes epistemic logic nothing less than a logic of unified meaning and understanding. (shrink)

In earlier work, I predicted that we would probably not be able to determine the colors of the dinosaurs. I lost this epistemic bet against science in dramatic fashion when scientists discovered that it is possible to draw inferences about dinosaur coloration based on the microstructure of fossil feathers (Vinther et al., 2008). This paper is an exercise in philosophical error analysis. I examine this episode with two questions in mind. First, does this case lend any support to epistemic optimism (...) about historical science? Second, under what conditions is it rational to make predictions about what questions scientists will or will not be able answer? In reply to the first question, I argue that the recent work on the colors of the dinosaurs matters less to the debate about the epistemology of historical science than it might seem. In reply to the second question, I argue that it is difficult to specify a policy that would rule out the failed bet without also being too conservative. (shrink)

The axiological tenet of scientific realism, “science seeks true theories,” is generally taken to rest on a corollary epistemological tenet, “we can justifiably believe that our successful theories achieve (or approximate) that aim.” While important debates have centered on, and have led to the refinement of, the epistemological tenet, the axiological tenet has suffered from neglect. I offer what I consider to be needed refinements to the axiological postulate. After showing an intimate relation between the refined postulate and ten theoretical (...) desiderata, I argue that the axiological postulate does not depend on its epistemological counterpart; epistemic humility can accompany us in the quest for truth. Upon contrasting my axiological postulate against the two dominant non-realist alternatives and the standard realist postulate, I contend that its explanatory and justificatory virtues render it, among the axiologies considered, the richest account of the scientific enterprise. (shrink)

Since its publication, the Psychopathic Personality Inventory and its revision (Lilien- feld & Andrews, 1996; Lilienfeld & Widows, 2005) have become increasingly popular such that it is now among the most frequently used self-report inventories for the assessment of psychopathy. The current meta-analysis examined the relations between the two PPI factors (factor 1: Fearless Dominance; factor 2: Self-Centered Impulsivity), as well as their relations with other validated measures of psychopathy, internalizing and externalizing forms of psychopathology, general personality traits, and antisocial (...) personality disorder symptoms. Across 61 samples reported in 49 publications, we found support for the convergent and criterion validity of both PPI factor 2 and the PPI total score. Much weaker validation was found for PPI factor 1, which manifested limited convergent validity and a pattern of correlations with central criterion variables that was inconsistent with many conceptualizations of psychopathy. (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)

Here are considered the conditions under which the method of diagrams is liable to include non-classical logics, among which the spatial representation of non-bivalent negation. This will be done with two intended purposes, namely: a review of the main concepts involved in the definition of logical negation; an explanation of the epistemological obstacles against the introduction of non-classical negations within diagrammatic logic.

How to say no less, no more about conditional than what is needed? From a logical analysis of necessary and sufficient conditions (Section 1), we argue that a stronger account of conditional can be obtained in two steps: firstly, by reminding its historical roots inside modal logic and set-theory (Section 2); secondly, by revising the meaning of logical values, thereby getting rid of the paradoxes of material implication whilst showing the bivalent roots of conditional as a speech-act based on affirmations (...) and rejections (Section 3). Finally, the two main inference rules for conditional, viz. Modus Ponens and Modus Tollens, are reassessed through a broader definition of logical consequence that encompasses both a normal relation of truth propagation and a weaker relation of falsity non-propagation from premises to conclusion (Section 3). (shrink)

Aristotle’s philosophy is considered with respect to one central concept of his philosophy, viz. opposition. Far from being a mere side-effect of syllogistic, it is argued in the present paper that opposition helps to articulate ontology and logic through an account of what can be or cannot be in a systematic and structural way. The paper is divided into three main parts. In Section I, the notion of Being is scrutinized through Aristotle’s theory of categories. In Section II, the notion (...) of Non-Being is connected to Aristotle’s theory of oppositions. In Section III, the notion of essence is revisited in order to bring about a holist theory of meaning by individuating through opposite properties. In conclusion, the legacy of Aristotle is depicted as balanced between a powerful reflection around Being and a restrictive ontology of substance. (shrink)

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)

Despite the growth in research in philosophy of religion over the past several decades, recent years have seen a number of critical studies of this subfield in an effort to redirect the methods and topics of inquiry. This article argues that in addition to problems of religious parochialism described by critics such as Wesley Wildman, the subfield is facing a problem of relevance. In responding to this problem, it suggests that philosophers of religion should do three things: first, be critically (...) self-aware about their aims of inquiry; second, investigate concepts used by other philosophers, scientists, and religious studies scholars to identify and dispel confusion about religions; and third, following the model of applied ethics, work to clarify concepts and advance arguments of contemporary practical urgency. (shrink)

Event-causal libertarians maintain that an agent’s settling of whether certain states-of-affairs obtain on a particular occasion can be reduced to the causing of events (e.g., bodily motions, coming to a resolution) by certain mental events or states, such as certain desires, beliefs and/or intentions. Agent-causal libertarians disagree. A common critique against event-causal libertarian accounts is that the agent’s role of settling matters is left unfilled and the agent “disappears” from such accounts—a problem known as the disappearing agent problem. Recently, Franklin (...) (Philos Stud 170:413–432, 2014) has argued that an “enriched” event-causal account can overcome this problem. Franklin, however, doesn’t consider whether, as Pereboom (J Philos 99:499–531, 2015) argues, the agent as decider of “torn decisions” disappears from even enriched accounts. As I show here, Franklin’s enriched account takes some modifying if it is to overcome Pereboom’s torn decision problem—a special case of the disappearing agent problem. However, as I also show, there is a more fundamental problem facing event-causal libertarian accounts. It is implausible that an agent qua event or state simultaneously settles whether and how she intervenes. The upshot is that events and/or states lack an ability essential to completely fulfilling an agent’s role qua settler. This isn’t a problem for agent-causal accounts like the one offered by Steward (A metaphysics for freedom. Oxford University Press, Oxford, 2012) because in as much as an agent qua substance settles whether her body moves in certain ways on certain occasions she simultaneously settles whether and how she intervenes. As a consequence, event-causal libertarians face a dilemma, or rather several, that agent-causal libertarians do not. This may ultimately be explained by the irreducibility of causation by agents to causation by events. (shrink)

This paper discusses the philosophical and logical motivations for rejectivism, primarily by considering a dialogical approach to logic, which is formalized in a Question–Answer Semantics. We develop a generalized account of rejectivism through close consideration of Mark Textor's arguments against rejectivism that the negative expression ‘No’ is never used as an act of rejection and is equivalent with a negative sentence. In doing so, we also shed light upon well-known issues regarding the supposed non-embeddability and non-iterability of force indicators.

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)

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)

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)

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.

According to Eric Funkhouser, omnipotence and necessary moral perfection (what Funkhouser calls "impeccability") are not compatible. Funkhouser gives two arguments for this claim. In this paper, I argue that neither of Funkhouser's arguments is sound. The traditional theist can reasonably claim that, contra Funkhouser, (i) there is no possible being who possesses all of God's attributes sans impeccability, and (ii) the fact that there are things that God cannot do does not entail that God lacks omnipotence. Armed with (i) and (...) (ii), the theist has all that is needed to refute Funkhouser's arguments. (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)

The paper proposes two logical analyses of (the norms of) justification. In a first, realist-minded case, truth is logically independent from justification and leads to a pragmatic logic LP including two epistemic and pragmatic operators, namely, assertion and hypothesis. In a second, antirealist-minded case, truth is not logically independent from justification and results in two logical systems of information and justification: AR4 and AR4¢, respectively, provided with a question-answer semantics. The latter proposes many more epistemic agents, each corresponding to a (...) wide variety of epistemic norms. After comparing the different norms of justification involved in these logical systems, two hexagons expressing Aristotelian relations of opposition will be gathered in order to clarify how (a fragment of) pragmatic formulas can be interpreted in a fuzzy-based question-answer semantics. (shrink)

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.

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)

A new form of skepticism is described, which holds that objectivity and understanding are incompossible ideals of modern science. This is attributed to Weyl, hence its name: Weylean skepticism. Two general defeat strategies are then proposed, one of which is rejected.

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.

This paper, written in Romanian, explains why the eutaxiological argument, endorsed by scientists like Newton, Einstein, and Weyl, and recently defended by Richard Swinburne, is not defensible.

El presente trabajo confronta el abordaje de la cuestión del sujeto en Louis Althusser y Ludwig Wittgenstein. La comparación se produce porque el tratamiento del lenguaje de la filosofía del segundo Wittgenstein es particularmente apropiado para abordar la intervención del discurso en el proceso por el cual la ideología interpela a los individuos como sujetos, según Althusser. El descentramiento del sujeto obliga a repensar la dimensión de la agencia, y con ella, la de la política. Tanto Wittgenstein como Althusser desembocan (...) en una encrucijada: negación teórica de la noción de sujeto y reconocimiento de la existencia paradójica de la misma en la práctica. Ello implica deconstruir el par "determinismo-libertad" sobre el que se asienta la pregunta por la agencia. Sobre el final retomamos el trabajo de Michel Pêcheux sobre los efectos retroactivos del discurso, lo que implica un replanteo del vocabulario de la determinación, prominente en los escritos althusserianos. -:-:-:-:--:-:-:-:-:-:-:-:-:-:-:-:-:-:-:-:-:-:-:-:-:-:-:-ABSTRACT:- The present paper compares Ludwig Wittgenstein’s and Louis Althusser’s approach to the problem of subject. This comparison is motivated by the fact that second Wittgenstein’s approach to language is particularly appropriate to think of the intervention of discourse in the process of ideological interpellation which, according to Althusser,constitutes individuals as subjects. The decentering of the involved subject requires rethinking the dimension of agency and, consequently, of politics. Both, Wittgenstein and Althusser, end in a crossroads: they refuse theoretical prominence to the notion of the subject, but at the same time they recognise the practical priority of this notion, which gives it a sort of paradoxical existence. This implies deconstructing the pair “determinism–liberty” where the priority of agency is located. We end with the work of Michel Pêcheux on the retroactive effects of discourse, that entail (in agreement with Wittgenstein) rethinking the vocabulary of determination, prominent in Althusserian writings. (shrink)