I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture (...) the following results: nothing can be called a negation properly if it does not satisfy Contraposition and Double Negation Introduction; the pair consisting of two split or Galois negations encodes a distinction without a difference; some paraconsistent negations also fail to count as real negations, but others may; intuitionistic negation qualifies as real negation, and classical Boolean negation does as well, to the extent that constructivist and paraconsistent doubts on it do not turn on the basic concept of compatibility but rather on the interpretation of worlds. (shrink)

Building on the notational principles of C. S. Peirce’s graphical logic, Pietarinen has tried to develop a propositional logic unfolding in the medium of sound. Apart from its intrinsic interest, this project serves as a concrete test of logic’s range. However, I argue that Pietarinen’s inaugural proposal, while promising, has an important shortcoming, since it cannot portray double-negation without thereby portraying a contradiction.

Double negations are easily recognised in both the so-called “negative literature” and the original texts of some important scientific theories. Often they are not equivalent to the corresponding affirmative propositions. In the case the law of double negation fails they belong to non-classical logic, as first, intuitionist logic. Through a comparative analysis of the theories including them the main features of a new kind of theoretical organization governed by intuitionist logic are obtained. Its arguing proceeds through doubly (...) negated propositions and ad absurdum arguments. Then, the final doubly negated predicate is translated in the corresponding affirmative one, from which all the consequences are deduced in order to test them against reality. According to this model the true formalization of intuitionist logic is Kolmogorov’s 1932 paper. The above analysis also shows that modal words play an auxiliary or substitutive role to intuitionist propositions. In addition, it is shown that Vasiliev’s paraconsistent logic is represented through doubly negated propositions. By means of these three kinds of logic one can attribute a specific kind of logic to each of the three distinct steps of the process of building a scientific theory from the experimental data to its final theoretical system. It is also shown that the definition of negation is of a structural kind, rather than of an objective kind or a subjective kind: it has to be referred to the organization of the theory to which it belongs. (shrink)

I propose an approach to liar and Curry paradoxes inspired by the work of Roger Swyneshed in his treatise on insolubles (1330-1335). The keystone of the account is the idea that liar sentences and their ilk are false (and only false) and that the so-called ''capture'' direction of the T-schema should be restricted. The proposed account retains what I take to be the attractive features of Swyneshed's approach without leading to some worrying consequences Swyneshed accepts. The approach and the resulting (...) logic (called ''Swynish Logic'') are non-classical, but are consistent and compatible with many elements of the classical picture including modus ponens, modus tollens, and double-negation elimination and introduction. It is also compatible with bivalence and contravalence. My approach to these paradoxes is also immune to an important kind of revenge challenge that plagues some of its rivals. (shrink)

Quasi-Nelson logic (QNL) was recently introduced as a common generalisation of intuitionistic logic and Nelson's constructive logic with strong negation. Viewed as a substructural logic, QNL is the axiomatic extension of the Full Lambek Calculus with Exchange and Weakening by the Nelson axiom, and its algebraic counterpart is a variety of residuated lattices called quasi-Nelson algebras. Nelson's logic, in turn, may be obtained as the axiomatic extension of QNL by the double negation (or involutivity) axiom, and intuitionistic (...) logic as the extension of QNL by the contraction axiom. A recent series of papers by the author and collaborators initiated the study of fragments of QNL, which correspond to subreducts of quasi-Nelson algebras. In the present paper we focus on fragments that contain the connectives forming a residuated pair (the monoid conjunction and the so-called strong Nelson implication), these being the most interesting ones from a substructural logic perspective. We provide quasi-equational (whenever possible, equational) axiomatisations for the corresponding classes of algebras, obtain twist representations for them, study their congruence properties and take a look at a few notable subvarieties. Our results specialise to the involutive case, yielding characterisations of the corresponding fragments of Nelson's logic and their algebraic counterparts. (shrink)

Classically, truth and falsehood are opposite, and so are logical truth and logical falsehood. In this paper we imagine a situation in which the opposition is so pervasive in the language we use as to threaten the very possibility of telling truth from falsehood. The example exploits a suggestion of Ramsey’s to the effect that negation can be expressed simply by writing the negated sentence upside down. The difference between ‘p’ and ‘~~p’ disappears, the principle of double (...) class='Hi'>negation becomes trivial, and the truth/falsehood opposition is up for grabs. Our moral is that this indeterminacy undermines the idea of inferential role semantics. (shrink)

We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a logic of assertions and conjectures: looking at the (...) S4 modal translation, we give a de nition of a system AHL of bi-intuitionistic logic that correctly represents the duality between intuitionistic and co-intuitionistic logic, correcting a mistake in previous work [7, 10]. A computational interpretation of cointuitionism as a distributed calculus of coroutines is then used to give an operational interpretation of subtraction.Work on linear co-intuitionism is then recalled, a linear calculus of co-intuitionistic coroutines is de ned and a probabilistic interpretation of linear co-intuitionism is given as in [9]. Also we remark that by extending the language of intuitionistic logic we can express the notion of expectation, an assertion that in all situations the truth of p is possible and that in a logic of expectations the law of double negation holds. Similarly, extending co-intuitionistic logic, we can express the notion of conjecture that p, de ned as a hypothesis that in some situation the truth of p is epistemically necessary. (shrink)

Why must incompatibility be symmetric? An odd question, but recent work in the semantics of non-classical logic, which appeals to the notion of incompatibility as a primitive and defines negation in terms of it, has brought this question to the fore. Francesco Berto proposes such a semantics for negation argues that, since incompatibility must be symmetric, double negation introduction must be a law of negation. However, he offers no argument for the claim that incompatibility really (...) must be symmetric. Here, I provide such an argument, showing that, insofar as we think of incompatibility in normative pragmatic terms, it can play its basic pragmatic function only if it is symmetric. The upshot is that we can vindicate Berto’s claim about the symmetry of incompatibility but only if we, pace Berto, think about incompatibility, in the first instance, as a pragmatic relation between acts rather than a semantic relation between contents. (shrink)

There is a curious bifurcation in the literature on ground and its logic. On the one hand, there has been a great deal of work that presumes that logical complexity invariably yields grounding. So, for instance, it is widely presumed that any fact stated by a true conjunction is grounded in those stated by its conjuncts, that any fact stated by a true disjunction is grounded in that stated by any of its true disjuncts, and that any fact stated by (...) a true double negation is grounded in that stated by the doubly-negated formula. This commitment is encapsulated in the system GG axiomatized and semantically characterized by [deRosset and Fine, 2023] (following [Fine, 2012]). On the other hand, there has been a great deal of important formal work on “flatter” theories of ground, yielding logics very different from GG [Correia, 2010] [Fine, 2016, 2017b]. For instance, these theories identify the fact stated by a self-conjunction $$(\phi \wedge \phi )$$ with that stated by its conjunct $$\phi $$. Since, in these systems, no fact grounds itself, the “flatter” theories are inconsistent with the principles of GG. This bifurcation raises the question of whether there is a single notion of ground suited to fulfill the philosophical ambitions of grounding enthusiasts. There is, at present, no unified semantic framework employing a single conception of ground for simultaneously characterizing both GG and the “flatter” approaches. This paper fills this gap by specifying such a framework and demonstrating its adequacy. (shrink)

Prawitz conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister. This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic. General inquisitive logic is a generalisation of inquisitive semantics, a uniform semantics for questions and assertions. The paper further defines a notion of quasi-proof-theoretic validity by restricting proof-theoretic validity to allow double (...) class='Hi'>negation elimination for atomic formulas and proves the extensional alignment of quasi-proof-theoretic validity and inquisitive logic. (shrink)

Global capitalism is the politico-economic structure that subjects everything to its interests. It creates unimaginable poverty, ecological crisis, the ongoing pandemic, wars without end, and other horrors that humans can inflict against each other. Within this capitalist configuration, an idea and a political movement emerged that seeks to destroy the foundation of this system. Communism is this idea and political movement. The foundation of capitalism that they wanted to dismantle is private bourgeois property. In general, the Bolshevik revolution did destroy (...) that foundation, but this was not enough. It only resulted in the eventual transformation of the party as the collectivized bourgeoisie with its authoritarian state apparatus. It transformed this bourgeois-liberal capitalism into state-run capitalism. The revolutionary class that was supposed to be emancipated, remained as they were in capitalism, producer of the means of subsistence and surplus value. The eventual dissolution of the Soviet Union did not mean that the idea of communism is already dead. It should have been the perfect time to reassess the theoretical foundations of communism and test the ideas of Marx and others in their practical-idealistic form. The production and reproduction of capitalist social relations create everyday consciousness for all capitalist subjects, even to passionate communist revolutionaries. This is how ideology works. But the continuing havoc of global capitalism continues. The Left goes on with their same old traditions. They do not see that precisely ii their unceasing failure is one of the conditions for capitalism and its state apparatus to have the capacity to reinvent itself. In Pandemic 2: Chronicles of a Time Lost, Slovenian-born philosopher and global thinker Slavoj Zizek said that capitalism is incapable of solving the Covid-19 crisis. In his more than a thousand-page book paradoxically called Less Than Nothing, he said that ‘really existing’ socialism failed because it was ultimately a subspecies of capitalism. Can we utilize this Zizekian idea of communism, an idea that generates criticism both to capitalism and 20th-century communism to reinvent communism for it to revitalize its struggle against global capitalism? To answer this question, I employed Critical Theory through the ideas of communism of Zizek. I started with capitalism’s totality. It manifests itself in the world of commodities. Commodities are everywhere and almost in everything. Commodification not only involves things that man uses but humanity herself is commodified. Then I elaborated on the notion of the proletariat because she is the “commodified man” personified. The identification of the proletariat almost exclusively with factory workers is the prevailing idea in the Left movement. I tried to show that the proletariat is the overwhelming majority in every industry. Capitalism, I claim is both producing employment and unemployment. And the unemployed, not only are included as members of the proletarian class, but looking at it objectively, they may play a significant role in the political struggle of the proletariat against the bourgeoisie. Therefore, as I tried to describe in quite a detailed fashion the various industries of capitalism and the sub-groups of the unemployed, it becomes evident that even without mentioning it, the proletariat is the class that almost everyone belongs to, except, as might be expected, the bourgeoisie. -/- Then I mustered the audacity to question Marx and Engels’ Communist Manifesto. I also tried to imagine what will happen to the economic categories in Marx’s Capital in communism. My objective was to identify what is lacking in Marx that may explain the Left’s unending failure. I think I succeeded, although in a very superficial manner, in trying to locate what was missing in Marx’s theory. It was not enough to transform the bourgeois property into public property, but this transformation must stop commodity production itself. Commodity production is this self-perpetuating character of capitalist production. Then it led to further elucidation of the metamorphosis of commodity production to the production of human needs. Another idea is the double negation of the communist revolution. Communism must not only negate the bourgeois class but the proletariat herself. Marx only emphasized the dissolution of the bourgeoisie but failed to relate this dissolution to the proletariat’s self-negation. Absolutely, the significant reduction of working hours is fundamental for communism. This reduction must result from the conscious expansion of the workers' free time. Expanding free time is at the same time reducing time for production. Essentially, this is the process of the self-negation of the proletariat. I also tried to put forward an idea that directly links reform and revolution. They are directly linked with each other because both are communistic. A communist campaign for higher wages is directly involved with the communist expansion of political power. Communist reform becomes revolutionary. Concomitantly, the notion of revolution also changes. The communist revolution, instead of it being a sudden, external, and most often violent event, becomes an internal transformative process and possibly less violent. I concluded by transforming the concepts I think Marx missed into political possibilities. That is why I expounded on the immediate aims Marx and Engels enumerated in the Communist Manifesto and tried to claim the probability of the impossible in the communist struggle for political power and Man’s eventual freedom. -/- Marx's description of factory work creates no illusion about the status of freedom in capitalism. In Capital, he said that “factory work... confiscates every atom of freedom, both bodily and in intellectual activity.” And I think Marx made clear that the only way to freedom is ultimately to destroy capitalism. These words of his in Capital will cast no doubt, “the knell of capitalist private property sounds. The expropriators are expropriated.” And to signify who are those experiencing this unfreedom, Marx and Engels summon the subject of the revolution in their famous lines in the Communist Manifesto and urge them to fight, “the proletarians have nothing to lose but their chains. They have a world to win.” Today is the time for philosophy because it is the age of declining freedom. But the prevailing capitalist structure is necessitating this unfreedom. And for philosophy to become what it is, communism should become philosophy. (shrink)

The main subject of Cusanus’ investigations was the name of God. He claimed to have achieved the best possible one, Not-Other. Since Cusanus stressed that these two words do not mean the corresponding affirmative word, i.e. the same, they represent the failure of the double negation law and there￾fore belong to non-classical, and above all, intuitionist logic. Some of his books implicitly applied intuitionist reasoning and the corresponding organization of a theory which is governed by intuitionist logic. A (...) comparison of two of Cusanus’ short writings shows that throughout his life he substantially improved his use of this kind of logic and ultimately was able to reason consistently within such a logic and recognize some of its basic laws. One important idea developed by him was that of a proposition composed of a triple repetition of “not-other” expressing “the Tri-unity of concordance” i.e. the “best name for the Trinity”. I complete his application of intuitionist logic to theological subjects by charac￾terizing the inner relationships within the Trinity in such a way that there are no longer contradictions in the notion. Generally speaking, the notion of the Trin￾ity implies a translation from intuitionist to classical logic, to which Cusanus closely approximated. Moreover, I show that the main aspects of Christian rev￾elation, including Christ’s teachings, are represented both by this translation and by some doubly negated propositions of intuitionist logic. Hence, intuition￾ist logic was introduced into the history of Western theological thinking with Christian revelation, as only Cusanus partly recognized. Appendix 1 summa￾rizes a detailed analysis of Cusanus’ second short writing. Appendix 2 shows that the Athanasian creed regarding the Christian Trinity is a consistent se￾quence of intuitionist propositions provided that some verbal emendations are added, showing that ancient trinitarian thinking was also close to intuitionist reasoning. (shrink)

FROM THE HISTORY OF PHYSICS TO THE DISCOVERY OF THE FOUNDATIONS OF PHYSICS By Antonino Drago, formerly at Naples University “Federico II”, Italy – drago@unina,.it (Size : 391.800 bytes 75,400 words) The book summarizes a half a century author’s work on the foundations of physics. For the forst time is established a level of discourse on theoretical physics which at the same time is philosophical in nature (kinds of infinity, kinds of organization) and formal (kinds of mathematics, kinds of logic). (...) This double side of the two dichotomies assures a deep comprehension of theoretical physics by avoiding both a purely philosophical analysis and a purely formal analysis, each manifestly insufficient for representing all the aspects of theoretical physics. Among the many formulations of a physical theory, e.g. Mechanics, also Mach(1) recognized technical differences only, Instead my suggestion is to consider their differences as revealing the characteristic features of their foundations. No more radical differences may exist than those concerning both their kinds of Mathematics and their kinds of Logic. As a fact, after the 20th Century within each of these sciences there exist two antagonist foundations, within Mathematics either the classical one or the constructive one(2); within Mathematical Logic either the classical logic or the intuitionist one(3). Let us take Mechanics as an instance. Being the choices of the Newton’s formulation respectively the actual infinity of the differential equations relying on the infinitesimals and the classical logic, a formulation based on the alternative choices is Lazare Carnot’s,(4) whose mathematics is no more than algebraic-trigonometric and the logic is the intuitionist one, because this formulation makes use of doubly negated propositions, whose corresponding affirmative propositions are idealistic or false; i.e. in these cases the law of double negation fails, as in intuitionist logic occurs. By considering these two dichotomies as the foundations of the physical theories, each couple of choices upon them fashions one out four models of scientific theory, which are baptized through the authors of their most representative theories: Newtonian, Carnotian, Lagrangian, Descartesian. In correspondence four versions of the principle of inertia are recognized, as suggested by respectively: Descartes. Lazare Carnot, Enriques and Cavalieri.(5) All that suggests that the four models of scientific theory may be graphically represented as a compass orientating our minds amid the so numerous physical theories. By taking these dichotomies as interpretative categories, a new interpretative history of Physics including both classical and modern physics results according to a quadrilinear development. The birth of modern physics is characterized by the two theories - Einstein’s paper on special relativity and Einstein’s first paper on quanta - whose choices are the alternative ones to those of the previously dominant physical theory, Newtonian mechanics: in the latter paper Einstein i) declares the dichotomy on the kinds of mathematics (“Introduction”) and then he chooses the discrete mathematics; ii) by using doubly negated propositions he organizes his theory in an alternative way to the deductive-axiomatic one.(6) Moreover, a new history of Philosophy of knowledge results. Kant’s first two a priori transcendental categories represent the physical interpretation of the two choices out of the four pairs of choices on the two dichotomies, i.e. the choices of the dominant theory of mechanics, Newton’s. Hegel’s dialectic was a misleading attempt of anticipating the subsequent intuitionist logic. The book starts by a comparison of different formulations of thermodynamics in order to recognize the first dichotomy on the kind of organization. In chapter 2 the dichotomy on the kind of infinity is recognized through a comparison of Newrton’s mechanics and Lazare Carnot’s. A quickly history of the other classical physical theories is illustrated in chapter 3; it results a foundational conflict between the last two theories, and hence a conflict between their opposite couples of choices. The two main theories of modern physics, special realtivity and quantum mechanics confirm the foundational role played by the two dichotomies which gives reason for the radical change in the history of theoretical physics. Indeed, the opposition of the two main pairs of choices gives reason of the crisis in theoretical physics in the early 1900s. As a global result, the book represents the first interpretation of the entire history of Physics, both classical and modern; This fact proves that the four models of scientific theories can works as a compass (that of the front cover) suggesting a direction among the many physical theories. This new history of physics leads to re-visit both Koyré’s and Kuhn’s historiographies. Their interpretative categories are interpreted and explained through the two dichotomies so that it is possible to suggest à la Koyré categories based on the alternative choices theories to Newton’s as the suitable categories for interpreting the alternative theories to Newton’s mechanics. All that suggests a new interpretation of the crucial step in the history of Western philosophy of knowledge, i.e. the passage from Leibniz to Kant: Leibniz’s suggestion of the two labyrinths of human minds may be seen as a close anticipation of the two above dichotomies. Kant applied them in order to construct the well-known four cosmological proofs, which however he misinterpreted as leading to contradictions, instead to tow different methods of investigation corresponding to the two different kinds of logic.(7) Bibliography 1. Mach E. (1883), Die Mechanik, Leipzig: Brockhaus, Chap. IV, Sect. III. 2. Bishop E. (1967), Constructive Analysis, New York: Mc Graw-Hill. 3. Heyting A. (1962), Intuitionism. An Introduction, Amsterdam: North-Holland. 4. L. Carnot (1783), Essai on the Machines en général, Defay, Dijion (Enlish translation: Springer, Berlin, 2020). Drago A. (2004), “A new appraisal of old formulations of mechanics”, Am. J. Phys., 72(3), pp. 407-9. 5. Vella M.R. (2007), “Le quattro versioni del principio di inerzia”, in M. Leone et al. (eds.), L’eredità di Fermi, Majorana e altri Temi. Napoli: ESI, pp. 147-151. 6. Drago A. (2014), “The emergence of two options from Einstein°s first paper on Quanta”, in Pisano R., Capecchi D., Lukesova A. (eds.), Physics, Astronomy and Engineering. Critical Problems in the History of Science and Society, Scientia Socialis P., Siauliai, 2013, pp. 227-234. 7. This and all in the above points are illustrated by the book Drago A. (2017), Dalla Storia della Fisica ai Fondamenti della Scienza, Roma: Aracne. (shrink)

This paper hopes to contribute to the contemporary East-West and Buddhist-Christian dialogues through a comparative examination of how ethics is founded upon the notion of emptiness and its analogues in the thought of two Japanese thinkers, Nishitani Keiji (1900-1990) of the Kyoto School of Philosophy, Watsuji Tetsuro (1889-1960), and the Russian Christian existentialist Ni-kolai Berdyaev (1874-1948). By comparing and contrasting Nishitani's notion of double-negation (from the standpoint of being to the standpoint of nihility and to the standpoint of (...) emptiness) and how it forms a basis for an ethics of circuminsessional interpenetration, with Watsuji's notion of the double-negation of the individual and society in ethics, and with Berdyaev's double-negation in his three forms of ethics (ethics of law, ethics of redemption, ethics of creativeness) we shall examine the structural similarities and points of non-exclusion of "Eastern" Buddhist philosophy and "Western" Christian philosophy. (shrink)

This paper develops a semantic solution to the puzzle of Free Choice permission. The paper begins with a battery of impossibility results showing that Free Choice is in tension with a variety of classical principles, including Disjunction Introduction and the Law of Excluded Middle. Most interestingly, Free Choice appears incompatible with a principle concerning the behavior of Free Choice under negation, Double Prohibition, which says that Mary can’t have soup or salad implies Mary can’t have soup and Mary (...) can’t have salad. Alonso-Ovalle 2006 and others have appealed to Double Prohibition to motivate pragmatic accounts of Free Choice. Aher 2012, Aloni 2018, and others have developed semantic accounts of Free Choice that also explain Double Prohibition. -/- This paper offers a new semantic analysis of Free Choice designed to handle the full range of impossibility results involved in Free Choice. The paper develops the hypothesis that Free Choice is a homogeneity effect. The claim possibly A or B is defined only when A and B are homogenous with respect to their modal status, either both possible or both impossible. Paired with a notion of entailment that is sensitive to definedness conditions, this theory validates Free Choice while retaining a wide variety of classical principles except for the transitivity of entailment. The homogeneity hypothesis is implemented in two different ways, homogeneous alternative semantics and homogeneous dynamic semantics, with interestingly different consequences. (shrink)

Aristotle classifies opposition (ἀντικεῖσθαι) into four groups: relatives (τὰ πρός τι), contraries (τὰ ἐναντία), privation and possession (στρέσις καὶ ἓξις) and affirmation and negation (κατάφασις καὶ ἀπόφασις). (Cat. , 10, 11b15-23) His example of relatives are the double and the half. Aristotle’s description of relatives as a kind of opposition is as such: ‘Things opposed as relatives are called just what they are, of their opposites (αὐτὰ ἃπερ ἐστι τῶν ἀντικειμένων λέγεται) or in some other way in relation (...) to them. For example, the double is called just what it is double of the other (οἷον τὸ διπλάσιον, αὐτὸ ὃπερ ἐστίν, ἑτέρου διπλάσιον λέγεται). Again, knowledge and the knowable are opposed as relatives, and knowledge is called just what it is, of the knowable, and the knowable too is called just what it is, in relation to its opposite, knowledge; for the knowable is called knowable by something-by knowledge.’ (Cat., 10, 11b24-30) 2) Senses of relatives In Met., Δ, 1020b26-32 Aristotle distinguishes three senses of relatives: i) That which contains something else many times to that which is contained many times in something else, and that which exceeds to that which is exceeded. E.g. double to half ii) The active to the passive; e.g. that which can heat to that which can be heated iii) The measurable to the measure, e.g. the knowable to knowledge and the perceptible to perception. 3) Relatives and contraries Aristotle’s discussion of relatives is unbelievably ambiguous. While he enumerates relatives besides contraries, privation-possession and affirmation-negation as four types of opposition (Cat., 10, 11b15-23), not only does not he restrict relatives to oppositions but he also does not totally differentiate it from contraries. Aristotle distinguishes between two senses of relatives one of which is contraries: ‘We have distinguished elsewhere the two senses in which relatives are so called-some as contraries (ὡς ἐναντία), others as knowledge to things known, a term being called relative because what is said one to the other is said by the other to itself (τῷ λέγεσθαί τι ἄλλο πρὸς αὐτό). (Met., I, 1056b34-1057a1) It seems that this differentiation is the same as, and maybe the one he himself refers to, the differentiation between the second and the third senses of relatives in Met., Δ, 1021a27-32: ‘Relative terms which imply number or capacity, therefore, are all relative because their very essence includes in its nature a reference to something else, not because something else is related to it (πρός τι πὰντα ἐστὶ πρός τι τῷ ὃπερ ἐστὶν ἄλλου λέγεσθαι αὐτὸ ὃ ἐστιν, ἀλλὰ μὴ τῷ ἄλλο πρὸς ἐκεινο); but that which is measurable or knowable or thinkable is called relative because something else is related to it. For the thinkable implies that there is thought of it, but the thought is not relative to that of which it is the thought; for we should then have said the same thing twice.’ Although Aristotle confirms contrariety in relatives (e.g. virtue to vice and knowledge to ignorance), he denies that there is a contrary ‘to every relative’ as there can be no contrary to what is double or treble. (Cat., 7, 6b15-19) The fact that Aristotle dedicates one sense of relatives to contraries means that the fourfold division of oppositions is not such a strict division without any kind of community between them. In his example of the first sense, however, Aristotle says: ‘One and number are in a sense opposed, not as contrary, but as we have said some relative terms are opposed; for inasmuch as one is measure and the other measurable, they are opposed.’ (Met., I, 1057a4-6) Now, the question is: Is Aristotle’s first sense of relative a contrary or not? Aristotle tells us that the opposition in this sense of relatives is the opposition of measure and measurable. The second sense has two differences with the first one: i) it is not a contrary and ii) what is said by one of the relatives to the other is also said by the latter to the former. To differentiate it from the first sense, when the one is the measure of the other, the latter will be the measure of the former as well: ‘But though knowledge is similarly spoken of as related to the knowable, the relation does not work out similarly for while knowledge might be thought to be the measure, and the knowable the thing measured, the fact is that all knowledge is knowable, but not all that is knowable is knowledge, because in a sense knowledge is measured by the knowable.’ (Met., I, 1057a7-12) Aristotle’s assertion at Met., I, 1057a36-37 that ‘of relative terms, those which are not contrary have no intermediate’ ensures us that we must take the first sense as contraries. Here he mentions a criterion of differentiation between two senses: while the first sense accepts intermediates (as, for example, great and small do), the second one does not. (Met., I, 1057a37-b1) It seems, however, that it is only the second sense that is the essential sense of relatives because the first sense, Aristotle says, is an accidental sense: ‘The one is opposed then to the many in numbers as measure to things measureable; and these are opposed as relatives which are not from their very nature relatives.’ (Met., I, 1056b32-34) 4) Definition of relative Aristotle’s first definition of the category of relative (πρός τι) is as such: ‘We call relative all such things as are said to be just what they are, of or than other things, or in some other way in relation to something else (Πρός τι δὲ τὰ τοιαῦτα λέγεται, ὃσα αὐτὰ ἃπερ ἐστὶν ἓτερων εἶναι λέγεται, ἢ ὁπωσοῦν ἄλλως πρὸς ἓτερον). (Cat., 7, 6a36-37; repeated almost without any change in: Cat., 7, 6b6-8) Aristotle’s examples are larger (because it is what it is than something else (τοῦθ᾿ ὃπερ ἐστὶν ἑτέρου λέγεται) that means it is called larger than something) and double. (Cat., 7, 6a37-b1) Aristotle’s aporia regarding relative is about their relation with substances: whether no substance is spoken of as a relative, or whether this is possible with regard to some secondary substances. (Cat., 7, 8a13-15) In the case of primary substances, it seems that he is confident, at least at first, that neither themselves nor their parts are spoken of in relation to anything: neither an individual man is called someone’s individual man nor an individual hand is called someone’s individual hand (but someone’s hand). (Cat., 7, 8a15-21) Although it is obvious that most of secondary substances are not spoken of as relatives (a man is not called someone’s man) (Cat., 7, 8a21-25), there are some with them there is room for dispute: a head is someone’s head and a hand is called someone’s hand, which seem to be relatives. (Cat., 7, 8a25-28) Aristotle thinks this must be due to the previous definition’s being problematic: with that definition ‘it is either exceedingly difficult or impossible to reach the solution that no substance is spoken of as a relative.’ (Cat., 7, 8a28-32) Thus, Aristotle changes his previous definition to a new one: ‘Those things are relatives for which being is the same as being somehow related to something’ (ἔστι τὰ πρός τι οἷς τὸ εἶναι ταὐτόν ἐστι τῷ πρός τί). (Cat., 7, 8a32-34) Although the first definition does indeed apply to all relations, its problem is that it does not take ‘their own being relative’ (τῷ πρός τι αὐτοῖς εἶναι) the same as ‘their being what they are of other things’ (ἃπερ ἐστὶν ἑτέρων λέγεσθαι). (Cat., 7, 8a34-37) Although this change of definition is to exclude all substances from being relative, what Aristotle says in Topics (To., Z, 8, 146a39- ), seems to ignore this: ‘For of everything relative the substance is relative to something else, seeing that the being of every relative term is identical with being in a certain relation to something.’ 5) Necessary knowledge of the related Knowledge of that in relation to which a relative is spoken of is necessary when one knows the relative: it is impossible to know a relative and at the same time not to know that in relation to which it is spoken of. (Cat., 7, 8a37-b3) To prove this, Aristotle adheres to the definition of relatives: ‘If someone knows of a certain ‘this’ that it is a relative, and being for relatives is the same as being somehow related to something, he knows that also to which this is somehow related.’ (Cat., 7, 8a37-b3; cf. 7, 8b3-15 for Aristotle’s examples) This necessary knowledge of the related, if we call it so, dedicates Aristotle an epistemological reason, besides the ontological one mentioned in his definition, for the exclusion of substances. As we noted in our discussion of Aristotle’s definition of relatives, he changed his first definition to exclude all substances from being relatives. Therefore, it is evident that for him relatives must not include substances, either primary or secondary. Aristotle does have no problem with primary substances simply because it is evident for him that they cannot be relatives. The same can be said about most of the secondary substances as well. The problem for which he changed the definition of substances was about some secondary substances like ‘head’ or ‘hand’: the fact that it is possible to know a hand or head without necessarily knowing definitely that in relation to which it is spoken of proves that they are not relatives. (Cat., 7, 8b15-21) 6) Reciprocation Aristotle regards reciprocation (ἀντιστρέφειν) necessary in all relations: ‘All relatives are spoken of in relation to correlatives that reciprocate.’ (Cat., 7, 6b28-29; cf. Cat., 10, 12b21-24) The sense of reciprocation is clear by his own examples: ‘The slave is called slave of a master and the master is called master of a slave; the double double of a half, and the half half of a double.’ (Cat., 7, 6b29-31) Reciprocation of relatives is so necessary that if there seems that we do not have reciprocation, it must necessarily be due to a mistake and that in relation to which something is spoken of must have not been given properly. (Cat., 7, 6b36-7a1) Aristotle’s example is this: If a wing is given as of a bird, ‘bird of a wing’ does not reciprocate because it has not been given properly: a wing is of a winged and not of a bird; a wing is wing of a winged and a winged is winged with a wing. (Cat., 7, 7a1-5) Even if we do not have a proper name to have a proper reciprocation, Aristotle points, we must invent names. (Cat., 7, 7a5-15 and 7b10-14) Thus, having proper names is the condition of necessary reciprocation: ‘All relatives are spoken of in relation to correlatives that reciprocate, provided they are properly given.’ (Cat., 7, 7a22-23) This condition is also said in another way: there is no reciprocation if a relation is given as related to some chance thing or to something that is accidentally the related thing like when, for example, a slave is given as of a man or a biped instead of being given as of a master. (Cat., 7, 7a25-31) 7) Simultaneity of relatives Aristotle believes that in most cases relatives are simultaneous: double and half or master and slave must exist at the same time: when there is a half, there is a double and when there is a slave, there is a master. (Cat., 7, 7b10-14) However, this receives some exceptions like knowable, which is prior and can, thus, exist before and without knowledge. (Cat., 7, 7b22-27) What approves this non-simultaneousness for Aristotle is that the destruction of knowledge does not carry the knowable to destruction. (Cat., 7, 7b27-31) The same is said about perception and perceptible. (Cat., 7, 7b35-8a9) Aristotle attaches simultaneity to reciprocation. This reciprocation, however, is not a simple reciprocation but ‘reciprocation as to implication of existence’ (ἀντιστρέφει μὲν κατὰ τὴν τοῦ εἶναι) with the condition that neither be in any way the cause of the other’s existence. (Cat., 13, 14b27-29; the same is said also at: Cat., 13, 15a4-11) Aristotle’s examples are the double and the half because when there is a double there is a half and when there is a half there is a double but neither is the cause of the other’s existence. (Cat., 13, 14b29-32) (We have ‘reciprocation as to implication of existence’ also in relation between genus and species but it seems that this has a totally different sense there. 8) Having no independent reality That a relative cannot be a substance, either a primary or a secondary substance, is discussed in our review of both the definition of relatives and their reciprocation. The differentiation of relatives and substances are so deep for Aristotle that after questioning the possibility of any common element or principle for substances and relatives (Met., Λ, 1070a33-36), he asserts that no substance, on the one hand, is the element of relatives and none of the relatives, on the other hand, is the element of substances. (Met., Λ, 1070b3-4) Aristotle does not, however, suffice to this. For him, relatives have the least substantiality, which is, for him, almost the same as reality: ‘The relative is least of all categories a real thing (φύσις τις) or substance, and less than quality and quantity; and the relative is an affection of quantity.’ (Met., M, 1088a22-25) Aristotle believes that an evidence of this least reality (ὄν) and substantiality is that relatives have no proper generation, destruction or movement while each of substance, quality and quantity have them. (Met., M, 1088a29-35) Moreover, neither motion (Phy., E, 1) nor any kind of change is applicable to relatives so that relatives are neither themselves alterations nor the subject of alterations (Phy., Z, 3) and the process of losing and acquiring states cannot be considered as alterations because these are the result of the alterations of non-relative things of which they are states. (Phy., Z, 3) Relative is not even matter but is something different. (Met., M, 1088a24-25) The reason is that the matter is potentially of a nature but relative is neither potentially nor actually of a nature. (Met., M, 1088b1-2) To understand the status of relatives in Aristotle’s world, we have to make a tripartite classification; a classification that though Aristotle himself did not make, his assertions approve it. Based on this division, there are three kinds of being in the world: i) Independent beings: This class includes only substances. ii) Dependent beings: This class includes qualities and quantities. Although they are real, they are ‘in’ substances and cannot exist without them. iii) Super dependent beings: This class includes at least relatives. The fact that relatives must be considered in a third class different from substances, on the one hand, and qualities and quantities, on the other hand, is obvious not only from the previously mentioned texts (Met., M, 1088a22-25, 29-35 and b1-2) in which relatives’ reality is considered less than all substances, qualities and quantities and different from matters but from this text: ‘For there is nothing either great or small, many or few, or, in general, relative which is not something (τι ὄν) different (ἓτερον) [that is also] many or few or great or small’. (Met, N, 1088a27-30) Therefore, super dependent beings are those beings that must necessarily be also something else, i.e. an independent or dependent being. Ackrill (1963, 99) points that some of the words used by Aristotle to exemplify relational entities, e.g. slave, are endowed with a complete sense and do not need to be supplemented by a correlate. (Thus, the linguist criterion of incompleteness would be deficient. Some other instances of relative entities like ‘state,’ ‘knowledge’ and perception are not necessarily followed by the genitive case. 9) Extent of relatives What is the extent of relatives? What are or are not included in relatives either among categories or among other concepts? Which concepts or things Aristotle regard as relative? i) Aristotle includes state (ἓξις) and position (θέσις) among relatives. (Cat., 7, 6b2-6; Cat., 7, 6b11-14; Cat., 8, 11a20-24) ii) Although relative is not matter but is something different (Met., M, 1088a24-25), matter is ‘non-being’ only in virtue of an attribute (Phy., A, 9) and is, thus, a relative term. (Phy., B, 2, 194b9) 10) Property and relativity Aristotle draws a contrast between two types of giving a property, absolute and relative: ‘A property is given either in its own right and for always or relative to something else and for a time.’ (To., E, 1, ^128b15-18) Being a civilized man, for example, is an absolute property for man while to command is a relative property for the soul. The absolute property, however, is considered not only potential to be discussed or observed in relation to many things or periods of time, it in fact ‘belongs to its subject relatively to every single thing that there is, so that if the subject is not distinguished relatively to everything else, the property will not have been given correctly.’ (To., E, 1, 129a18-20) Therefore, an absolute property is a property that ‘is ascribed to a thing in comparison with everything else and distinguishes it from everything else.’ (To., E, 1, 128b33- ) An absolute property is, then, absolutely relative and not conditionally relative, i.e. relative to a specific thing. This is what differentiates it from a relative property, which is relative to a certain thing: ‘A property relative to something else is one which separates its subject off not from everything else but from a particular definite thing.’ (To., E, 1, 128b33- ) One important difference between absolute and relative properties is that while an accident can be a relative property, it can never be an absolute property. (To., I, 5, ^102b20-36) For example, sitting, which is an accident, is also a property relatively to those who are not sitting. (To., I, 5, ^102b20-36) 11) Platonic theories as relatives At least three of Platonic theories Aristotle attaches to relatives: i) Forms ‘It seems that a Form is always spoken of in relation to a Form-this desire itself is for the pleasure itself, and wishing itself is for the good itself.’ (To., Z, 8, 147a^10) Moreover, the theory of Forms takes the relative prior to the absolute as, for example, it takes not the dyad but the number as first. (Met., A, 990b15-17) Aristotle believes that this is against not only the necessities of the case but only the Platonists’ opinion because Forms must be substances only, if they can be shared. (Met., A, 990b27-29) There are, however, things like ‘equal’ which are only relative: they are only in relation to something else. Now the theory that ideas are supposed to be substances only should entail the substantiality of merely relatives. The reason being that Forms are not shared incidentally but each thing shares in that which is not predicated of a subject. (Met., A, 990b29-31) ii) Unequal The Platonic theory of great and small or unequal, which we know more from Aristotle and has, in Platonic philosophy, a role like that of matter in Aristotelian philosophy, is also called relative by Aristole. (Met., M, 1089b4-15) iii) Potentiality Aristotle says that Platonists take what potentially is a ‘this’ and a substance but not actually so a relative because it is ‘neither potentially the one or being, nor the contradictory of the one nor of being, but one among beings.’ (Met., N, 1089b15-20) 12) All things as relative Aristotle attaches the theory that ‘everything is true’ to relativity and thinks the consequence of believing in this theory is that everything is true: ‘He who says all things that appear are true, makes all things relative.’ (Met., Γ, 1011a17-20) 13) Genera and species of relatives There are some genera, Aristotle hints, that are relative but their species are not relative. In such cases, the genera are spoken of in relation to something, but none of the particular cases are so spoken. (Cat., 8, 11a20-36) Aristole’s examples are knowledge and grammar of which the former is a relative but the latter is a quality. The consequence of this is that there is nothing absurd for a thing to be in both genera of relative and quality. (Cat., 8, 11a37- ) However, when the species is a relative, the genera will be a relative too. (To., Δ, 4, 124b15- ) Moreover, Aristotle asserts that ‘the differentiae of relative terms are themselves relative.’ (To., Z, 6, 145a14-16) Things that are called relative are called so, Aristotle says, ‘because the classes that include them are of this sort, e.g. medicine is thought to be relative bcs its genus, knowledge, is thought to be relative,’ (Met., Δ, 1021b4-6) 14) Relatives as indefinite? Fabio Morales takes 1088a29-b1 as a textual evidence supporting the assumption that Aristotle regarded relational terms as indefinite. (shrink)

There are four ways in which things are said to oppose (ἀντικεῖσθαι) each other: as relatives (τὰ πρός τι), as contraries (τὰ ἐναντία), as privation and possession (στρέσις καὶ ἓξις) and as affirmation and negation (κατάφασις καὶ ἀπόφασις). (Cat. , 10, 11b15-23) Aristotle’s examples are: double and half for relatives, good and bad for contraries, blindness and sight for privation and possession and ‘He is sitting’ and ‘he is not sitting’ for affirmation and negation. We discussed relatives (...) separately thus we ignore it here. A. Contraries Contraries (ἐναντία) have the following features: 1) They are not said of each other (οὐδαμῶς πρὸς ἄλληλα λέγεται) as relatives are said of each other. (Cat., 10, 11b15-23) 2) Contraries are of two kinds: a) Non-intermediables: Those that it is necessary for one or the other of them to belong to the things they naturally occur in or predicated of and accept no intermediate between themselves. Since it is necessary for one of e.g. health and sickness to occur in an animal’s body or odd and even to belong to a number, there is no intermediate between health and sickness or odd and even. (Cat., 10, 11b38-12a9; 12b28-34) b) Intermediables: Those that it is not necessary for one of them to belong to the things they naturally occur in or predicated of and accept intermediates between themselves. It is not necessary for one of e.g. black and white to belong to a body and there may be some intermediates between them. (Cat., 10, 12a9-25; 12b34-40) 3) Contraries can change to one another when the thing capable of receiving them is there. (Cat., 13a18-21) The only exception is when one of the contraries belongs to something by nature. In such cases, change is not possible as the hotness of fire cannot change to coldness while fire is still there. 4) Contraries belong to the same thing, either the same in species or in genus as e.g. sickness and health in an animal’s body or whiteness and blackness in body simply. (Cat., 10, 14a15- ) In Metaphysics (I, 1058a8-10) Aristotle asserts that contraries are in the same genus. 5) There are three possibilities about the genera of contraries: they either are in the same genus, e.g. black and white, or in the contrary genera, e.g. justice and injustice, or are themselves genera, e.g. good and bad. (Cat., 11, 14a19-25) 6) Doing and being affected admit of contrariety, e.g. heating is contrary to cooling. (Cat., 9, 11b1-4) 7) Substances only are able to receive contraries. (Cat., 5, 4a10-17) 8) There is nothing contrary to a substance, whether primary or secondary. (Cat., 5, 3b24-27) Thus, neither man nor an individual man has a contrary. 9) There is no contrary to a quantity: e.g. four-foot ot ten has no contrary. (Cat., 5, 3b27-32) 10) Otherness in species means to be contraries. (Met., I, 1058a17-20) 11) Contrariety is complete difference. Two things that have the same genus but are different in species are other than one another in the highest degree and their difference is complete, i.e. they cannot be present along with one another. (Met., I, 1058a10-16) 12) One of the contraries is a privation, which is a denial of a predicate to a determinate genus. (Met., Γ, 1011b18-20) 13) ‘Neither true judgments nor true propositions can be contrary the one to the other.’ (OI., II, 14, 24b6-7) B. Privation and possession Privation and possession are said in connection with the same thing in which the possession naturally occurs. Only that thing which is capable of receiving a possession and only when it is entirely absent from that which naturally has it and only at the time when it is natural for it to have it, is called to be deprived of it. (Cat., 10, 12a26-30) A thing is not called e.g. blind if it has never had or was not supposed to have sight. That privation and possession are not relatives is obvious from the fact that none is called just what it is, of its opposite. (Cat., 10, 12b16-21) Moreover, while relatives reciprocate, they do not. (Cat., 10, 12b21-25) That they are not contraries is explained by the classification of contraries to intermediable and non-intermediable contraries. The latter are different from privation and possession because it is necessary for one of such contraries to be predicated of absolutely everything while it is not the case about privation and possession because they are necessary only in things naturally capable of their predication. Intermediable contraries are different from privation and possession because while the former are not necessary the latter are necessary in their subject matters. (Cat., 13a3-17) Unlike contraries for each of which it is possible to change to the other, change in privation and possession is allowed only from possession to privation and not vice versa: neither a blind man gets sight nor a bald man regain his hair. (Cat., 13a18-36) C. Affirmation and negation Aristotle regards the reception of truth and falsity as the main difference affirmation and negation opposition has in respect of other three kinds of opposition: it is only affirmation and negation that it is always necessary for one of them to be true and the other to be false (Cat., 13a37-b26), no matter the subject of affirmation or negation exists or not. (Cat., 10, 13b27-35) ‘It is impossible that contradictory propositions should both be true of the same subject.’ (OI., II, 12, 21b17-18) It is evident both about relatives and those contraries that include no co-positing, e.g. health and sickness. The only cases that resemble affirmation and negation are those contraries that are said with co-positing, e.g. ‘Socrates is well’ and ‘Socrates is sick.’ Yet, Aristotle points, not even with these is it necessary always for one to be true and the other false because if Socrates does not exist, neither will be true. (Cat., 10, 13b12-19) This is true also about privation and possession: neither ‘Socrates has sight’ nor ‘Socrates is blind’ are true if he does not exist. Moreover, it is not necessary for one or the other of them to be true or false even if he exists because until the time when it is natural for Socrates to have sight, both are false. (Cat., 10, 13b20-26) . (shrink)

A large number of essays address the Sleeping Beauty problem, which undermines the validity of Bayesian inference and Bas Van Fraassen's 'Reflection Principle'. In this study a straightforward analysis of the problem based on probability theory is presented. The key difference from previous works is that apart from the random experiment imposed by the problem's description, a different one is also considered, in order to negate the confusion on the involved conditional probabilities. The results of the analysis indicate that no (...) inconsistency takes place, whereas both Bayesian inference and 'Reflection Principle' are valid. (shrink)

We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities (...) between such points. We defuse a number of objections to this Plan, raised by supporters of the American Plan for negation, in which negation is handled via a many-valued semantics. We show that the Australian Plan has substantial advantages over the American Plan. (shrink)

Can you rationally double-check what you already know? In this paper, I argue that you can. Agents can know that something is true and rationally double-check it at the very same time. I defend my position by considering a wide variety of cases where agents double-check their beliefs to gain epistemic improvements beyond knowledge. These include certainty, epistemic resilience, and sensitivity to error. Although this phenomenon is widespread, my proposal faces two types of challenges. First, some have (...) defended ignorance norms, on which agents are only allowed to inquire about things they don’t already know. Second—motivated by strong conceptions of belief or pragmatic encroachment—some have argued that doublechecking destroys knowledge. I argue that these competing views fail to capture both the epistemic value of double-checking and the many reasons why agents might double-check. Moreover, they rely on overly strong assumptions about what inquiry, knowledge, or belief requires. Finally, I marshal linguistic data in favor of the compatibility of knowledge and doublechecking. (shrink)

I give an account of the structure of “oppressive double binds,” the double binds that exist in virtue of oppression. I explain how these double binds both are a product of and serve to reinforce o...

Many think that expressivists have a special problem with negation. I disagree. For if there is a problem with negation, I argue, it is a problem shared by those who accept some plausible claims about the nature of intentionality. Whether there is any special problem for expressivists turns, I will argue, on whether facts about what truth-conditions beliefs have can explain facts about basic inferential relations among those beliefs. And I will suggest that the answer to this last (...) question is, on most plausible attempts at solving the problem of intentionality, ‘no’. (shrink)

The “principle of double effect” is a vital tool for moral decision making and is applicable to all areas of medical practice, including (for example) end-of-life care, transplant medicine, and cases of conscientious objection. Both our ultimate and our more immediate intentions are relevant in making and evaluating choices— though side effects must be kept proportionate and can be morally conclusive when linked with some intentions. Intentions help to form the character of doctors, and of human beings generally. While (...) hypocrisy is certainly possible in regard to this form (and other forms) of moral reasoning, double effect reasoning, sincerely practised, remains indispensable in identifying moral problems and solutions. (shrink)

Seen from the point of view of evaluation conditions, a usual way to obtain a connexive logic is to take a well-known negation, for example, Boolean negation or de Morgan negation, and then assign special properties to the conditional to validate Aristotle’s and Boethius’ Theses. Nonetheless, another theoretical possibility is to have the extensional or the material conditional and then assign special properties to the negation to validate the theses. In this paper we examine that possibility, (...) not sufficiently explored in the connexive literature yet.We offer a characterization of connexive negation disentangled from the cancellation account of negation, a previous attempt to define connexivity on top of a distinctive negation. We also discuss an ancient view on connexive logics, according to which a valid implication is one where the negation of the consequent is incompatible with the antecedent, and discuss the role of our idea of connexive negation for this kind of view. (shrink)

Does A cause B simply if A prevents what would have prevented B? Such a case is known as double prevention: where we have the prevention of a prevention. One theory of causation is that A causes B when B counterfactually depends on A and, as there is such a dependence, proponents of the view must rule that double prevention is causation.<br><br>However, if double prevention is causation, it means that causation can be an extrinsic matter, that the (...) cause and effect need not be connected by a continuous chain of events, that there can be causation by absence, and that there can be causation at a distance. All of these implications jar with strong intuitions we have about the nature of causation. There is, on the other hand, a theory of causation based on an ontology of real dispositions, where causation involves the passing around of powers. This theory in contrast entails that double prevention is not causation and, on this issue, it can claim a victory over the counterfactual dependence account. (shrink)

I argue against the Doctrine of Double Effect’s explanation of the moral difference between terror bombing and strategic bombing. I show that the standard thought-experiment of Terror Bomber and Strategic Bomber which dominates this debate is underdetermined in three crucial respects: (1) the non-psychological worlds of Terror Bomber and Strategic Bomber; (2) the psychologies of Terror Bomber and Strategic Bomber; and (3) the structure of the thought-experiment, especially in relation to its similarity with the Trolley Problem. (1) If the (...) two worlds are not identical, then it may be these differences between the two worlds and not the Doctrine of Double Effect to explain the moral difference; (2a) if Terror Bomber and Strategic Bomber have the same causal beliefs, then why does Terror Bomber set out to kill the children? It may then be this unwarranted and immoral choice and not the Doctrine of Double Effect that explains the moral difference; (2b) if the two have different causal beliefs, then we can’t rule out the counterfactual that, had Strategic Bomber had the same beliefs as Terror Bomber, she would have also acted as Terror Bomber did. Finally, (3) the Strategic Bomber scenario could also be constructed so as to be structurally equivalent to the Fat Man scenario in the Trolley Problem: but then the Doctrine of Double Effect would give different answers to two symmetrical cases. (shrink)

Double-entry bookkeeping (DEB) implicitly uses a specific mathematical construction, the group of differences using pairs of unsigned numbers ("T-accounts"). That construction was only formulated abstractly in mathematics in the 19th century—even though DEB had been used in the business world for over five centuries. Yet the connection between DEB and the group of differences (here called the "Pacioli group") is still largely unknown both in mathematics and accounting. The precise mathematical treatment of DEB allows clarity on certain conceptual questions (...) and it immediately yields the generalization of the double-entry method to multi-dimensional vectors typically representing the different types of property involved in an enterprise or household. (shrink)

Quantification, Negation, and Focus: Challenges at the Conceptual-Intentional Semantic Interface Tista Bagchi National Institute of Science, Technology, and Development Studies (NISTADS) and the University of Delhi Since the proposal of Logical Form (LF) was put forward by Robert May in his 1977 MIT doctoral dissertation and was subsequently adopted into the overall architecture of language as conceived under Government-Binding Theory (Chomsky 1981), there has been a steady research effort to determine the nature of LF in language in light of (...) structurally diverse languages around the world, which has ultimately contributed to the reinterpretation of LF as a Conceptual-Intentional (C-I) interface level between the computational syntactic component of the faculty of language and one or more interpretive faculties of the human mind. While this has opened up further possibilities of research in phenomena such as quantifier scope and scope interactions between negation, quantification, and focus, it has also given rise to a few real challenges to linguistic theory as well. Some of these are: (i) the split between lexical meaning – a matter supposedly belonging to the phase-wise selection of lexical arrays – and issues of semantic interpretation that arise purely from binding and scope phenomena (Mukherji 2010); (ii) partially relatedly, the level at which theta role assignment can be argued to take place, an issue that is taken up by me in Bagchi (2007); and (iii) how supposedly “pure” scopal phenomena relating to quantifiers, negation, and emphasizing expressions such as only and even (comparable to, e.g., Urdu/Hindi hii and bhii, Bangla –i and –o) also have dimensions of both focus and discourse reference. While recognizing all of these challenges, this talk aims to highlight particularly challenge (iii), both in terms of scholarship in the past and for the rich prospects for research on languages of south Asia with the semantics of quantification, negation, and focus in view. The scholarship of the past that I seek to relate this issue to is where, parallel to (and largely independently of) the research on LF that had been happening, Barwise and Cooper were developing their influential view of noun phrases as generalized quantifiers, culminating in their key 1981 article “Generalized Quantifiers and Natural Language” while, independently, McCawley, in his 1981 book Everything that Linguists have Always Wanted to Know about Logic, established through argumentation that all noun phrases semantically behave like generalized quantified expressions (further elaborated by him in the second – 1994 – revised edition of his book). I seek to demonstrate, based on limited data analysis from selected languages of south Asia, that our current understanding of quantification, negation, and focus under the Minimalist view owes something significant to the two major, but now largely marginalized, works of scholarship, and that for the way forward it is essential to adopt a more formal-semantic approach as adopted by them and also by later works such as Denis Bouchard’s (1995) The Semantics of Syntax, Mats Rooth’s work on focus (e.g., Rooth 1996, “Focus” in Shalom Lappin’s Handbook of Contemporary Semantic Theory), Heim and Kratzer’s Semantics in Generative Grammar (1998), and Yoad Winter’s (2002) Linguistic Inquiry article on semantic number, to cite just a few instances. (shrink)

Minimal Negation is defined within the basic positive relevance logic in the relational ternary semantics: B+. Thus, by defining a number of subminimal negations in the B+ context, principles of weak negation are shown to be isolable. Complete ternary semantics are offered for minimal negation in B+. Certain forms of reductio are conjectured to be undefinable (in ternary frames) without extending the positive logic. Complete semantics for such kinds of reductio in a properly extended positive logic are (...) offered. (shrink)

In a series of articles, Kit Fine presents some highly compelling objections to monism, the doctrine that spatially coincident objects are identical. His objections rely on Leibniz’s Law and linguistic environments that appear to be immune to the standard charge of non-transparency and substitution failure. In this paper, I respond to Fine’s objections on behalf of the monist. Following Benjamin Schnieder, I observe that arguments from Leibniz’s Law are valid only if they involve descriptive, rather than metalinguistic, negation. Then (...) I show that the monist is justified in treating the negation in Fine’s objections as metalinguistic in nature. Along the way I make a few methodological remarks about the interaction between the study of natural language and metaphysics. I also present evidence that some of the linguistic environments which Fine relies on are, contrary to appearances, non-transparent. (shrink)

The U.S. Supreme Court's majority opinion in Vacco v. Quill assumes that the principle of double effect explains the permissibility of hastening death in the context of ordinary palliative care and in extraordinary cases in which painkilling drugs have failed to relieve especially intractable suffering and terminal sedation has been adopted as a last resort. The traditional doctrine of double effect, understood as providing a prohibition on instrumental harming as opposed to incidental harming or harming asa side effect, (...) must be distinguished from other ways in which the claim that a result is notintended might be offered as part of ajustification for it. Although double effectmight appropriately be invoked as a constrainton ordinary palliative care, it is not clearthat it can be coherently extended to justifysuch practices as terminal sedation. A betterapproach would reconsider double effect'straditional prohibition on hastening death as ameans to relieve suffering in the context ofacute palliative care. (shrink)

The ‘doctrine of double effect’ claims that it is in some sense morally less problematic to bring about a negatively evaluated state of affairs as a ‘side effect’ of one’s pursuit of another, morally unobjectionable aim than it is to bring it about in order to achieve that aim. In a first step, this chapter discusses the descriptive difference on which the claim is built. That difference is shown to derive from the attitudinal distinction between intention and ‘acceptance’, a (...) distinction that is in turn claimed to ground in a feature of the decisions that generate the attitudes in question. The resulting analysis is then plugged into two different normative principles that may each be thought to specify the intuitions behind the doctrine of double effect, but which have frequently been conflated. The first concerns the permissibility of bringing about the merely accepted state of affairs, the second its reduced attributability. It is argued that examination of the intuitions behind the two principles supports neither version of the doctrine. Rather, the intuitions are best captured in an attribution principle based on subjective probabilities and a principle of attitude evaluation, neither of which make explicit reference to the attitude of intending. (shrink)

Aristotle draws what are, by our lights, two unusual relationships between predication and existence. First, true universal affirmations carry existential import. If ‘All humans are mortal’ is true, for example, then at least one human exists. And secondly, although affirmations with empty terms in subject position are all false, empty negations are all true: if ‘Socrates’ lacks a referent, then both ‘Socrates is well’ and ‘Socrates is ill’ are false but both ‘Socrates is not well’ and ‘Socrates is not ill’ (...) are true. In this paper, I conjecture that for Aristotle predications have mereological truth conditions: for example, ‘Socrates is pale’ is true just in case Socrates is a part of the mereological sum of pale things. The existential import of universal affirmations and the semantic profile of empty negations follow from this mereological semantics. (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.

Many philosophers display relaxed scepticism about the Doctrine of Doing and Allowing and the Doctrine of Double Effect, suspecting, without great alarm, that one or both of these Doctrines is indefensible. This relaxed scepticism is misplaced. Anyone who aims to endorse a theory of right action with Nonconsequentialist implications should accept both the DDA and the DDE. First, even to state a Nonconsequentialist theory requires drawing a distinction between respecting and promoting values. This cannot be done without accepting some (...) deontological distinction. Second, if someone is going to accept any deontological distinction she should accept either the DDE or the DDA or some replacement. Finally, anyone who accepts either the DDE or the DDA should accept both doctrines or a replacement of each. Unless both Doctrines can be defended or given a defensible replacement, any Nonconsequentialist is in trouble. (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.

The Double Content view is the first comprehensive theory of art that is able to satisfactorily explain the nature of all kinds of artworks in a unified way — whether paintings, novels, or musical and theatrical performances. The basic thesis is that all such representational artworks involve two levels or kinds of representation: a first stage in which a concrete artifact represents an artwork, and a second stage in which that artwork in turn represents its subject matter. "Dilworth applies (...) his theory across the arts and to a variety of issues, demonstrating that it has far-reaching implications for our philosophical understanding of the nature of art.” - Stephen Davies, Associate Professor of Philosophy, University of Auckland.. (shrink)

S. C. Gibb holds that some mental events enable physical events to take place by acting as ‘double preventers’ which prevent other mental events from effecting change in the physical domain. She argues that this enables a dualist account of psychophysical interaction consistent with the causal relevance of mental events, their distinctness from physical events, the causal closure of the physical and the exclusion of systematic overdetermination. While accepting the causal powers metaphysic, this paper argues that: Closure is maintained (...) only on the assumption of an implausible pre-ordained harmony between preventing and double-preventing mental events. Distinctness is preserved only at the cost of positing brute unexplained powers of mental and physical events to causally interact with each other. Exclusion is systematically violated in a substantial number of everyday cases. The case for Relevance made by the Double Prevention model is accordingly too weak to sustain a dualist approach to mental causation. (shrink)

The dead donor rule (DDR) prohibits retrieval protocols that would be lethal to the donor. Some argue that compliance with it can be maintained by satisfying the requirements of double‐effect reasoning (DER). If successful, one could support organ donation without reference to the definition of death while being faithful to an ethic that prohibits intentionally killing innocent human life. On the contrary, I argue that DER cannot make lethal organ donation compatible with the DDR, because there are plausible ways (...) it fails DER's requirements. A key takeaway is that the theories of intention and proportionality assumed in DER matter for its plausibility as a constraint on practical reasoning. (shrink)

The Doctrine of Double Effect [DDE] states roughly that it is harder to justify causing or allowing harm as a means to an end than it is to justify conduct that results in harm as a side effect. This chapter argues that a theory of deontological constraints on harming needs something like the DDE in order to avoid the charge that it reflects a narcissistic obsession with the cleanliness of our own hands. Unfortunately, the DDE is often interpreted as (...) maintaining that we must avoid acting with certain intentions, which, this chapter contends, embodies an equally narcissistic obsession with the purity of our own hearts. The chapter argues that the DDE is better interpreted as a denial of the Machiavellian idea that beneficial ends justify harmful means. On this view, the objective fact that our conduct will secure benefits for some individuals at the expense of other individuals weakens the extent to which those benefits count as reasons to engage in that conduct. The chapter argues that this version of the DDE provides a plausible, non-narcissistic foundation for deontological constraints. (shrink)

In this paper, new evidence is presented for the assumption that the reason-relation reading of indicative conditionals ('if A, then C') reflects a conventional implicature. In four experiments, it is investigated whether relevance effects found for the probability assessment of indicative conditionals (Skovgaard-Olsen, Singmann, and Klauer, 2016a) can be classified as being produced by a) a conversational implicature, b) a (probabilistic) presupposition failure, or c) a conventional implicature. After considering several alternative hypotheses and the accumulating evidence from other studies as (...) well, we conclude that the evidence is most consistent with the Relevance Effect being the outcome of a conventional implicature. This finding indicates that the reason-relation reading is part of the semantic content of indicative conditionals, albeit not part of their primary truth-conditional content. (shrink)

Is it possible to donate unpaired vital organs, foreseeing but not intending one's own death? We argue that this is indeed psychologically possible, and thus far agree with Charles Camosy and Joseph Vukov in their recent paper on 'double effect donation.' Where we disagree with these authors is that we see double effect donation not as a morally praiseworthy act akin to martyrdom but as a morally impermissible act that necessarily disrespects human bodily integrity. Respect for bodily integrity (...) goes beyond avoiding the aim to kill: not all side effects of deliberate bodily interventions can be outweighed by intended benefits for another even if the subject fully consents. It is not any necessary intention to kill or harm another or oneself that makes lethal donation/harvesting illicit but the more immediate intention to accept or perform surgery on an (innocent) person combined with the foresight of lethal harm and no health-related good for him or her. Double effect donation falls foul of the first condition of double effect reasoning in that the immediate act is wrong in itself. We argue further that the wider effects of such donation would be socially disastrous and corrupting of the medical profession: doctors should retain a sense of nonnegotiable respect for bodily integrity even when they intervene on willing subjects for the benefit of others. (shrink)

The question of some of the friends is: -/- How is it possible to explain “Double slit experiment” by “Fuzzy time-Particle Interpretation”?

As part of our small contribution in dialogue toward better peace development and reconciliation studies, and following Toffler & Toffler’s War and Antiwar (1993), the present article delves into a realm of logic beyond the traditional confines of negation and the excluded middle principle, exploring the nuances of "Otherness" that transcend classical and Nagatomo logics. Departing from the foundational premises of classical Aristotelian logic systems, this exploration ventures into alternative realms of reasoning, specifically examining Neutrosophic Logic and Klein bottle (...) logic (cf. Smarandache, 2005). The study challenges conventional boundaries and explores the implications of embracing paradoxes and self-reference in logic systems, aiming to redefine approaches to understanding truth and reasoning. The paper investigates how these alternative logics open avenues for philosophical inquiry, redefining entropy, and potentially influencing innovative perspectives in free energy systems. Through this exploration, it seeks to expand the discourse on logic, welcoming a broader spectrum of thought beyond established frameworks; and we also discuss shortly a number of possible implementations including in risk management and also Klein bottle entropy redefinition (Tang et al, 2018). (shrink)

DNA possesses a double nature: it is both an analog chemical compound and a digital carrier of information. By distinguishing these two aspects, this paper aims to reevaluate the legally and politically influential idea that the human genome forms part of the common heritage of mankind, an idea which is thought to conflict with the practice of patenting DNA. The paper explores the lines of reasoning that lead to the common heritage idea, articulates and motivates what emerges as the (...) most viable version of it, and assesses the extent to which this version conflicts with gene-patenting practices as exemplified by the U.S. regime. It concludes that the genome is best thought of as a repository of information to which humanity has a fiduciary relationship, and that on this view, the perceived conflict with gene-patenting largely dissolves. (shrink)

This short paper has two loosely connected parts. In the first part, I discuss the difference between classical and intuitionist logic in relation to different the role of hypotheses play in each logic. Harmony is normally understood as a relation between two ways of manipulating formulas in systems of natural deduction: their introduction and elimination. I argue, however, that there is at least a third way of manipulating formulas, namely the discharge of assumption, and that the difference between classical and (...) intuitionist logic can be characterised as a difference of the conditions under which discharge is allowed. Harmony, as ordinarily understood, has nothing to say about discharge. This raises the question whether the notion of harmony can be suitably extended. This requires there to be a suitable fourth way of manipulating formulas that discharge can stand in harmony to. The question is whether there is such a notion: what might it be that stands to discharge of formulas as introduction stands to elimination? One that immediately comes to mind is the making of assumptions. I leave it as an open question for further research whether the notion of harmony can be fruitfully extended in the way suggested here. In the second part, I discuss bilateralism, which proposes a wholesale revision of what it is that is assumed and manipulated by rules of inference in deductions: rules apply to speech acts – assertions and denials – rather than propositions. I point out two problems for bilateralism. First, bilaterlists cannot, contrary to what they claim to be able to do, draw a distinction between the truth and assertibility of a proposition. Secondly, it is not clear what it means to assume an expression such as '+ A' that is supposed to stand for an assertion. Worse than that, it is plausible that making an assumption is a particular speech act, as argued by Dummett (Frege: Philosophy of Language, p.309ff). Bilaterlists accept that speech acts cannot be embedded in other speech acts. But then it is meaningless to assume + A or − A. (shrink)

Karl Polanyi's double movement is a dialectical process characterized by a continuous tension between a movement towards social marketization and a movement towards social protectionism. Notably, Polanyi condemns the former movement while defending the latter. Without using the term " double movement " , F.A Hayek's theory of social evolution acknowledges the same phenomenon but reaches different normative conclusions. While for Polanyi the marketization of society is a utopia with dystopian consequences, Hayek's evolutionary explanation of this dialectical process (...) asserts that there is no alternative to a market oriented society. Both authors defend that their favoured movement is the one that truly supports the continuity of life. This article compares the authors' normative readings of the double movement and concludes that, from an evolutionary perspective, Polanyi's conclusion possesses a robustness that Hayek's postulate lacks. (shrink)

This paper advances three necessary conditions on a successful account of sentential negation. First, the ability to explain the constancy of sentential meaning across negated and unnegated contexts (the Fregean Condition). Second, the ability to explain why sentences and their negations are inconsistent, and inconsistent in virtue of the meaning of negation (the Semantic Condition). Third, the ability of the account to generalize regardless of the topic of the negated sentence (the Generality Condition). The paper discusses three accounts (...) of negation available to moral expressivists. The first—the dominant commitment account—fails to meet the Fregean Condition. The two remaining accounts—commitment semantics and the expression account—satisfy all three conditions. A recent argument that the dominant commitment account is the only option available to expressivists is considered and rejected. (shrink)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency (...) elsewhere. Based on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.