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)

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)

My aim in this book is to propose a comparativist, Buddhist-Neoplatonic interpretation of the idea of “logos” in the Prologue to the Gospel according to John. To do so, I proceed in three steps. I begin with Nāgārjuna’s doctrine of emptiness. Nāgārjuna thinks that that all things are empty because they depend on causes and conditions in a way that makes it impossible for them to genuinely exist. Nevertheless, they are not completely non-existent, for they possess the appearance of something (...) that exists. This corresponds, in turn, to Vasubandhu’s response to Nāgārjuna. Emptiness is not ultimate because there is the appearance of empty things. The place where this appearance unfolds is the mind, which, in an absolute sense, exists, but which, in the sense of external, objectifiable reality does not exist. Vasubandhu thus thinks of the mind as an entity that does not conform to the categories of ordinary existence. This, then, corresponds to what Meister Eckhart says about God. God is a Mind ("intellectus"). But due to his fundamental ontological role, God transcends ordinary existence and cannot be compared to any specific being. God is the mind of which Vasubandhu states that it is non-dual, transcendent knowledge. To conclude, I use this triadic constellation of Buddhist and Neoplatonic concepts to read John’s Prologue. The Prologue describes the generation of a foundational concept, “logos,” by a primordial, divine Mind. Since this Mind is, in a Buddhist sense, “empty,” the concept that it generates can be said to be absolute. It has no beginning and no cause. Against this background of Buddhist and Neoplatonic ideas, John’s Prologue can thus be interpreted as a narrative describing the foundation of reality as an intellectual process. (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 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 paper wants to develop a formal semantics about a special class of formulas: quantifying statements, which are a kind of predicative statements where both subject- and predicate terms are quantifier expressions like ‘everything’, ‘something’, and ‘nothing’. After showing how talking about nothingness makes sense despite philosophical objections, I contend that there are two sorts of meaning in phrases including ‘thing’, viz. as an individual (e.g. ‘some thing’) or as a property (e.g. ‘something’). Then I display two kinds of (...) logical forms for quantifying statements, depending on how these ‘thing’s are ordered into a whole predication. Finally, an algebraic semantics is proposed for the finite set of quantifying statements to order these into a (fragmentary) dodecagon of logical relations. The corresponding Sub-Model Semantics (hereafter: $$\mathbb {SMS}$$ ) aims to update the usual theory of opposition whilst leading to a research program for other kinds of statement like categorical and even modal propositions. (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)

The aim of this chapter is to develop a semantics for Calculus CL. CL is a diagrammatic calculus based on a logic machine presented by Johann Christian Lange in 1714, which combines features of Euler-, Venn-type, tree diagrams, squares of oppositions etc. In this chapter, it is argued that a Boolean account of formal ontology in CL helps to deal with logical oppositions and inferences of extended syllogistics. The result is a combination of Lange’s diagrams with an algebraic semantics of (...) terms: Bit-CL, in which any ordered objects are identified by characteristic bitstrings. Then, a number of objections to Bit-CL are answered to, and the process of inference is explained in this new logical framework. (shrink)

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.

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)

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)

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.

Among the many questions raised by Nāgārjuna’s catuṣkoṭi, the most fundamental concerns the type of objects to which its negative statements apply. These statements deny the reality of conditioned Being, which can be understood in two ways: as a negation of our concept or knowledge of conditioned Being, or as a negation of conditioned Being as such. The first interpretation can be called “epistemological” and the second “metaphysical.” Scholarship has almost unanimously accepted the epistemological approach. In this paper I object (...) to this approach and propose to reinterpret the catuṣkoṭi metaphysically, as a description of Being and its inherent principles. I ground my objection in Hegel’s “Doctrine of Being” and argue that the catuṣkoṭi exhibits similar features to the Hegelian concept of substantial negativity. In the end, I draw some conclusions for the study of Nāgārjuna in general and highlight the limits of the parallelism. (shrink)

Science communication, as a field and as a practice, is fundamentally about knowledge distribution; it is about the access to, and the sharing of knowledge. All distribution brings with it issues of ethics and justice. Indeed, whether science communicators acknowledge it or not, they get to decide both which knowledge is shared, and who gets access to this knowledge. As a result, the decisions of science communicators have important implications for epistemic justice: how knowledge is distributed fairly and equitably. This (...) paper presents an overview of issues related to epistemic justice for science communication, and argues that there are two quite distinct ways in which science communicators can be just in the way they distribute knowledge. Both of these paths will be considered before concluding that, at least on one of these accounts, science communication as a field and as a practice is fundamentally epistemically unjust. Possible ways to redress this injustice are suggested. (shrink)

Scholars in recent decades have downplayed or completely denied that Evagrius Ponticus has a metaphysical system, instead suggesting that he merely borrows from various philosophies, particularly Stoicism, without a coherent system. In this paper, I propose a different perspective, arguing for a metaphysical and Platonic interpretation. I reconstruct Evagrius’s metaphysics systematically, relate its fundamentals to the environment of the late antique Medio- and Neoplatonic tradition, and show that by establishing the principles and structures of being, Evagrius indeed reveals himself to (...) be a metaphysician. (shrink)

This article develops a historico-critical analysis of uncertainty and accuracy in measurement through a case-study of the adjustment of the fundamental physical constants, in order to investigate the sceptical “problem of unknowability” undermining realist accounts of measurement. Every scientific result must include a “measurement uncertainty”, but uncertainty cannot be be eval- uated against the unknown, and therefore cannot be taken as an assessment of “accuracy”, defined in the metrological vocabulary as the closeness to the truth. The way scientists use and (...) interpret uncertainty in the adjustment activity illustrates how they try to overcome this predicament. I iden- tify two operative roles of measurement uncertainty, in the comparison and in the combination of measurement results. This duality implies a tension between selection and combination when aggregating results, leading to a crucial question: should the evaluation of uncertainties favour safety over precision? I present contrasting answers and identify a specific account of physicists who implicitly try to conciliate realism with the problem of unknowability. I argue that this invites us to reconsider accuracy from a dynamical standpoint, as the gradual achievement of scientific progress through error correction. Finally, I present two interpretations of measurement uncertainty, objective and epistemic, which I criticize and suggest improvements to. (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)

Nous proposons une logique épistémique quadrivalente AR4.

Cette contribution se propose d’étudier la place qu’occupe la renommée au sein du stoïcisme. Considérée par les stoïciens comme un indifférent préférable, elle a fait l’objet de discussions approfondies au cours de l’histoire de l’école. Cet article tente ainsi de proposer, à partir des sources conservées, une reconstitution terminologique diachronique des différentes notions théorisées par les stoïciens à propos de la bonne réputation. Il cherchera aussi à restituer les débats portant sur son statut au sein de la catégorie des préférables.

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.

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)

Le philosophe Gerald A. Cohen est décédé le 5 août 2009. Sa contribution s’est d’abord articulée autour de la pensée de Marx. Elle émergea sur la scène intellectuelle en 1978 avec la parution de Karl Marx’s Theory of History : A Defence, qui impulsa la constitution du marxisme analytique. Par la suite, Cohen tendit à se détacher progressivement de la théorie de Marx. Il participa à la discussion sur le concept libertarien de propriété de soi en vue de l’associer à (...) une approche marxiste, avant d’intégrer pleinement le débat normatif autour des problématiques de justice sociale, autour de la Théorie de la justice de John Rawls. Fondée sur la philosophie kantienne, sa critique de la théorie de Rawls lui reproche de ne pas accorder suffisamment d’autonomie aux choix individuels. Le présent article discute la pertinence du voyage intellectuel de Jerry Cohen dans son rapport à l’œuvre de Marx. (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)

Dans le sillage de Chris Marker ou de Grégory Chatonsky, de plus en plus d’artistes contemporains pratiquent la réappropriation, le détournement, l’usage critique de l’intelligence artificielle. Grand connaisseur des arts numériques, Fabien Zocco est l’un d’entre eux. Il est l’auteur, avec le réalisateur Gwendal Sartre, d’ Attack The Sun, film dont des dialogues ont été générés par une IA au cours même du tournage qui suit la dérive d’un youtuber californien paraissant sombrer dans une folie de tuerie. L’enjeu : (...) éprouver « de l’intérieur » des outils contemporains comme l’IA pour « escompter ensuite analyser et déconstruire leurs effets ». (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)

Powerviolence is a subgenre of hardcore music characterized by fast-paced rhythms, chaotic sound, and austere esthetics. Despite its seminal function for extreme music, there has been a notable lack of scholarly exploration into the genre. In this paper I draw on Comparative Philosophy to fill this gap. I argue that the powerviolence music and lyrics are fueled by anger. In Plato, anger serves as a tool for the irascible soul to support rational thinking and oppose injustice. Accordingly, I call for (...) a Platonic interpretation of powerviolence as an incentive for moral reformation in a world rife with violence and immorality. (shrink)

Acoustic speech output results from coordinated articulation of dozens of muscles, bones and cartilages of the vocal mechanism. While we commonly take the fluency and speed of our speech productions for granted, the neural mechanisms facilitating the requisite muscular control are not completely understood. Previous neuroimaging and electrophysiology studies of speech sensorimotor control has typically concentrated on speech sounds (i.e., phonemes, syllables and words) in isolation; sentence-length investigations have largely been used to inform coincident linguistic processing. In this study, we (...) examined the neural representations of segmental features (place and manner of articulation, and voicing status) in the context of fluent, continuous speech production. We used recordings from the cortical surface (electrocorticography (ECoG)) to simultaneously evaluate the spatial topography and temporal dynamics of the neural correlates of speech articulation that may mediate the generation of hypothesized gestural or articulatory scores. We found that the representation of place of articulation involved broad networks of brain regions during all phases of speech production: preparation, execution and monitoring. In contrast, manner of articulation and voicing status were dominated by auditory cortical responses after speech had been initiated. These results provide a new insight into the articulatory and auditory processes underlying speech production in terms of their motor requirements and acoustic correlates. (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)

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.

The risk posed by anthropogenic climate change is generally accepted, and the challenge we face to reduce greenhouse gas (GHG) emissions to a tolerable limit cannot be underestimated. Reducing GHG emissions can be achieved either by producing less GHG to begin with or by emitting less GHG into the atmosphere. One carbon mitigation technology with large potential for capturing carbon dioxide at the point source of emissions is carbon capture and storage (CCS). However, the merits of CCS have been questioned, (...) both on practical and ethical grounds. While the practical concerns have already received substantial attention, the ethical concerns still demand further consideration. This article aims to respond to this deficit by reviewing the critical ethical challenges raised by CCS as a possible tool in a climate mitigation strategy and argues that the urgency stemming from climate change underpins many of the concerns raised by CCS. (shrink)

The objective of this article is to develop a faith development perspective on corporate sustainability. A firm’s management of sustainability is arguably determined by the way decision-makers relate to the other and the natural environment, and this relationship is fundamentally shaped by faith. This study advances theoretical understanding of the approach managers take on sustainability issues by explaining how four distinct phases of faith development—improvidence, obedience, irreverence and providence—determine a manager’s disposition towards sustainability. Combining insights from intentional and relational faith (...) development theories, the analysis reveals that a manager’s faith disposition can be measured according to four interrelated process criteria: (1) connectivity as a measure of a manager’s actual engagement and activities aimed at relating to sustainability; (2) inclusivity as a measure of who and what is included or excluded in a manager’s moral consideration; (3) emotional affinity as a measure of a manager’s sensitivity and affection towards the well-being of others and ecological welfare; and (4) reciprocity as a measure of the degree to which a manager is rewarded for responding to the needs and concerns of ‘Others’, mainly in the form of a positive emotional (and relational) stimulus. The conceptual model consolidates earlier scholarly works on the psychological drivers of sustainability management by illuminating our search for a process of faith development that connects with an increasingly complex understanding of the role of business in society. (shrink)

Key activities in biomedicine and related research rely on collections of biological samples and related files. Access to such resources in industry and in academic contexts has become strategic and represents a central issue in the general framework of rising patenting practices and in debates about the knowledge economy. It raises important issues concerning the organisation of scientific and medical work, the outline of data-sharing guidelines, and science policy's contribution to the elaboration of an adapted framework. This paper presents an (...) ethnographic study of three French human biobanks. Building on field work (participant observation and in-depth interviews), the study focuses on data access in the concrete practices in biobanks. The paper develops a perspective based on an analysis of different exchange regimes. We argue that access practices are submitted to the different regimes that can coexist and be articulated within the daily activities of each biobank. We also discuss how this perspective can further our understanding of biomedical research, and how it might inform data access policy. (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)

A central point of debate over environmental policies concerns how future costs and benefits should be assessed. The most commonly used method for assessing the value of future costs and benefits is economic discounting. One often-cited justification for discounting is uncertainty. More specifically, it is risk aversion coupled with the expectation that future prospects are more risky. In this paper I argue that there are at least two reasons for disputing the use of risk aversion as a justification for discounting (...) when dealing with longterm decisions, one technical and one ethical. Firstly, I argue that technically, it implies an inconsistency between theory and practice. And secondly, I argue that discounting for uncertainty relies on a form of individualism which, while reasonable in standard microeconomic theory where an agent chooses how to spread her own consumption over her own lifetime, is inappropriate in the context of intergenerational social decisions. (shrink)

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.

The concept of legal gap is tackled from a number of logical perspectives and semantic methods. After presenting our own goal (Section 1), a first introduction into legal logic refers to Bobbio’s works and his formalization of legal statements (Sections 2 and 3). Then Woleński’s contribution to the area is taken into account through his reference to the distinction between two juridical systems (viz. Common Law vs Civil Law) and the notion of conditional norms (Section 4). The notion of reason (...) is also highlighted in the case of Raz’s legal logic, thereby leading to a future connection with von Wright’s logic of truth and an analogy made with an anti-realist reading of truth-values and norms (Section 5). Our personal contribution is introduced through a reflection on how logic should deal with the logical form of norms (Section 6), before entering a number of crucial definitions and distinctions for the concepts of norm, legal statement, and promulgation (Section 7). The final point is a proposed semantics for legal statements, which is both many-valued and gap-friendly (Section 8). A distinction between a number of requirements for permission and forbiddance leads to a set of non-classical juridical systems in which non-permission and forbiddance are not equivalent with each other any more; this does justice to Woleński’s former distinction between Common Law and Civil Law, also leading ultimately to a non-classical square of legal oppositions in which several legal operators may collapse into other ones (Section 9). (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)

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.

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)

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)

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)

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.