Two algebraic structures, the contrapositionally complemented Heyting algebra (ccHa) and the contrapositionally |$\vee $| complemented Heyting algebra (c|$\vee $|cHa), are studied. The salient feature of these algebras is that there are two negations, one intuitionistic and another minimal in nature, along with a condition connecting the two operators. Properties of these algebras are discussed, examples are given and comparisons are made with relevant algebras. Intuitionistic Logic with Minimal Negation (ILM) corresponding to ccHas and its extension |${\textrm {ILM}}$|-|${\vee }$| for c|$\vee (...) $|cHas are then investigated. Besides its relations with intuitionistic and minimal logics, ILM is observed to be related to Peirce’s logic and Vakarelov’s logic MIN. With a focus on properties of the two negations, relational semantics for ILM and |${\textrm {ILM}}$|-|${\vee }$| are obtained with respect to four classes of frames, and inter-translations between the classes preserving truth and validity are provided. ILM and |${\textrm {ILM}}$|-|${\vee }$| are shown to have the finite model property with respect to these classes of frames and proved to be decidable. Extracting features of the two negations in the algebras, a further investigation is made, following logical studies of negations that define the operators independently of the binary operator of implication. Using Dunn’s logical framework for the purpose, two logics |$K_{im}$| and |$K_{im-{\vee }}$| are discussed, where the language does not include implication. The |$K_{im}$|-algebras are reducts of ccHas and are different from relevant algebraic structures having two negations. The negations in the |$K_{im}$|-algebras and |$K_{im-{\vee }}$|-algebras are shown to occupy distinct positions in an enhanced form of Dunn’s kite of negations. Relational semantics for |$K_{im}$| and |$K_{im-{\vee }}$| is provided by a class of frames that are based on Dunn’s compatibility frames. It is observed that this class coincides with one of the four classes giving the relational semantics for ILM and |${\textrm {ILM}}$|-|${\vee }$|⁠. (shrink)

This paper develops a formal theory of non-monotonic consequence which differs from most extant theories in that it assumes Contraposition as a basic principle of defeasible reasoning. We define a minimal logic that combines Contraposition with three uncontroversial inference rules, and we prove some key results that characterize this logic and its possible extensions.

It is argued that contraposition is valid for a class of natural language conditionals, if some modifications are allowed to preserve the meaning of the original conditional. In many cases, implicit temporal indices must be considered, making a change in verb tense necessary. A suitable contrapositive for implicative counterfactual conditionals can also usually be found. In some cases, the addition of certain words is necessary to preserve meaning that is present in the original sentence and would be lost or (...) changed in the contrapositive without them. A distinction is made between adding new meaning and adding new words to preserve existing meaning. For concessive conditionals and relevance conditionals, however, no valid contrapositive can be found. They do not belong to the class of contraposable conditionals, which can be independently defined. Difficult cases are also discussed in which the contradictory of the consequent semantically entails the truth of the antecedent. In such cases the content of the antecedent is implicit in the meaning of the consequent. Contraposition becomes possible if what is implicit in the original consequent is made explicit in the contrapositive antecedent. (shrink)

We show that in elementary analysis (EL) the contrapositive of countable choice is equivalent to double negation elimination for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma_{2}^{0}}$$\end{document}-formulas. By also proving a recursive adaptation of this equivalence in Heyting arithmetic (HA), we give an instance of the conservativity of EL over HA with respect to recursive functions and predicates. As a complement, we prove in HA enriched with the (extended) Church thesis that every decidable predicate is recursive.

RésuméCet article démontre qu'un exemple cité par Ernest Adams pour montrer que l'implication matérielle n'est pas l'interprétation correcte de la sémantique de la conjonction de subordination si, n'est rien d'autre qu'un corollaire d'une observation d'jà faite par Lewis Carroll, il y a cent ans, dans l'exposition de son paradoxe du salon de coiffure.

The concept of an evidential conditional _If A then C_ that can be defined by the conjunction of $A>C$ and $\lnot C > \lnot A$, where > is a conditional of the kind introduced by Stalnaker and Lewis, has recently been studied in a series of papers by Vincenzo Crupi and Andrea Iacona. In this paper I argue that Crupi and Iacona’s central idea that contraposition captures the idea of evidential support cannot be maintained. I give examples showing that (...) contraposition is neither necessary nor sufficient for a conditional’s antecedent supporting its consequent. Crupi and Iacona’s alternative account of evidential conditionals that is based on a probabilistic measure of evidential support cannot add to the credentials of their modal account, because both the theoretical role of contraposition and the resulting logic are different in this account. (shrink)

The article studies two related issues. First, it introduces the notion of the contraposition of quantifiers which is a “dual” notion of symmetry and has similar relations to co-intersectivity as symmetry has to intersectivity. Second, it shows how symmetry and contraposition can be generalised to higher order type quantifiers, while preserving their relations with other notions from generalized quantifiers theory.

The rule of contraposition has been investigated thoroughly by Arabic logicians. In this paper, we study the work done by Fārābā and Avicenna, the fathers of Arabic logic. Fārābā studied contraposition of universal affirmatives, discussed its four forms, and discovered a relation between one form and the conversion of negative universals. Although Fārābā and logicians before him have used contraposition only for conditionals, as well as for indefinite and universal affirmative categorical propositions, Avicenna generalized the rule to (...) all the four Aristotelian quantified categorical propositions. However, many of his ideas on contraposition were opposed by his 12th and 13th century followers, which are to be investigated later. (shrink)

The logical rule of contraposition as applied to a particular affirmative proposition (I-contraposition), despite its rejection in the medieval Latin logic, had a different history in the medieval Arabic logic, varying from common acknowledgement to total dismissal (it was accepted by Avicenna and by all of his followers in the eleventh and twelfth centuries and rejected by all of Arabic logicians in the late thirteenth century onwards). This paper is a narrative of the fate of I-contraposition in (...) the early Arabic logic. I will study Avicenna’s, al-Suhrawardī’s, al-Rāzī’s, al-Kashshī’s, and al-Khūnajī’s views on this rule. Although Avicenna explicitly acknowledged I-contraposition in a brief note, and in an apparently Meinongian language, the other four figures found I-contraposition problematic and listed some counterexamples to it. Nonetheless, they all attempted to justify Avicenna’s acceptance of the rule by restricting its application conditions. These efforts led to interesting syntactic and semantic analyses but gathered little attention from later medieval logicians. Finally, in the middle Arabic logic, the revised versions of I-contraposition were also declared invalid. (shrink)

We continue the investigation of the first paper where we studied logics with various negations including empirical negation and co-negation. We established how such logics can be treated uniformly with R. Sylvan's CCω as the basis. In this paper we use this result to obtain cut-free labelled sequent calculi for the logics.

Many logics in the relevant family can be given a proof theory in the style of Belnap's display logic. However, as originally given, the proof theory is essentially more expressive than the logics they seek to model. In this paper, we consider a modified proof theory which more closely models relevant logics. In addition, we use this proof theory to show decidability for a large range of substructural logics.

We investigate the relationship between M. De's empirical negation in Kripke and Beth Semantics. It turns out empirical negation, as well as co-negation, corresponds to different logics under different semantics. We then establish the relationship between logics related to these negations under unified syntax and semantics based on R. Sylvan's CCω.

I develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a semantics on which truthmakers are relevant to what they make true. A very natural notion of conditionality is added, giving us relevant implication. I then (...) investigate ways to add conjunction, disjunction, and negation; and I discuss how to justify contraposition and excluded middle within a truthmaker semantics. (shrink)

This paper compares two logical conditionals which are strengthenings of the strict conditional and avoid the paradoxes of strict implication. The logics of both may be viewed as extensions of KT, and the two conditionals are interdefinable in KT. The implicative conditional requires that its antecedent and consequent be both contingent. The consequential conditional may be viewed as a weakening of the implicative conditional, insofar as it also admits the case in which the antecedent and the consequent are strictly equivalent (...) (either both necessary or both impossible). The two conditionals share a number of properties, among them Transitivity, Contraposition, Aristotle’s Thesis, Weak Boethius’ Thesis and Aristotle’s Second Thesis. They also share some restricted principles such as Possibilistic Monotonicity, Possibilistic Simplification and Possibilistic Right Weakening. They differ in relation to Identity, which is validated by consequential implication, while the implicative conditional only validates the restricted principle of Possibilistic Identity. The relations between the two conditionals are represented by two Aristotelian cubes of opposition, one involving the contrariety between If A, then B and If A, then ¬B, according to Weak Boethius’ Thesis, and the other the contrariety between If A, then B and If ¬A, then B, according to Aristotle’s Second Thesis. We also explore the relations between the two logical conditionals and natural language conditionals, emphasizing the dependence of the latter on the context, and the need to distinguish natural language conditionals which may be viewed as consequential or implicative, on one side, and concessive and some other types of conditionals, on the other. (shrink)

This paper presents the first compositional semantics for if then conditionals. The semantics of each element are first examined separately. The meaning of if is modeled according to a possible worlds semantics. The particle then is analyzed as an anaphoric word that places its focused element inside the context settled by a previous element. Their meanings are subsequently combined in order to provide a formal semantics of if A then C conditionals, which differs from the simple if A, C form. (...) This semantics has the particularity of validating contraposition for the first type but invalidating it for the second type. Finally, a detailed examination of the sentences presented in the literature opposing this schema of reasoning shows that these counterexamples do not generally concern if then conditionals but, rather, even if conditionals and that contraposition is therefore a valid means of reasoning with regard to if then conditionals in natural language, as this system predicts. (shrink)

We analyze the variety of A. Monteiro’s tetravalent modal algebras under the perspective of two logic systems naturally associated to it. Taking profit of the contrapositive implication introduced by A. Figallo and P. Landini, sound and complete Hilbert-style calculi for these logics are presented.

Ātman (soul) and Nairātmya (no soul) are, for the Brahmanical schools and the Buddhists respectively, equally fundamental tenets which neither side can concede to the other. Among the 16 formulations presented by Uddyotakara, the fifteenth, which is a proof of Ātman and is originally an indirect proof ( avīta/āvīta ), is presented in a prasaṅga -style, and contains double negation ( na nairātmyam ) in the thesis. However, it is perhaps Dharmakīrti who first transformed it into a normal style ( (...) sātmakam ). He is well aware of the law of excluded middle, and insisits that the negation is paryudāsa . On the Nyāya side, Uddyotakara at least seems to be unaware of the law of the logical equivalence of contraposition concerning pervasion ( vyāpti ). After Uddyotakara, however, Vyoman (Vyomaśiva), Bhāsarvajña and Vācaspatimiśra, all seem to be well aware of it. Dharmakīrti, in his conter-argument against the proof of ātman , discusses the negative expressions ‘‘ nairātmya ” and ‘‘ a-nairātmya ” Dharmakīrti here uses two logical arguments skillfully and tactically. As a critic of both the authenticity of the Veda and the existence of ātman , he insists on the theory of dichotomy and the equivalence of anvaya and vyatireka , whereas as an apologist he denies the application of these theories to the relation between the existence of ātman and the concept of nairātmya , because for him as a Buddhist the latter is not a negative but essentially positive state of affairs. (shrink)

The inferences of contraposition (A ⇒ C ∴ ¬C ⇒ ¬A), the hypothetical syllogism (A ⇒ B, B ⇒ C ∴ A ⇒ C), and others are widely seen as unacceptable for counterfactual conditionals. Adams convincingly argued, however, that these inferences are unacceptable for indicative conditionals as well. He argued that an indicative conditional of form A ⇒ C has assertability conditions instead of truth conditions, and that their assertability ‘goes with’ the conditional probability p(C|A). To account for inferences, (...) Adams developed the notion of probabilistic entailment as an extension of classical entailment. This combined approach (correctly) predicts that contraposition and the hypothetical syllogism are invalid inferences. Perhaps less well-known, however, is that the approach also predicts that the unconditional counterparts of these inferences, e.g., modus tollens (A ⇒ C, ¬C ∴ ¬A), and iterated modus ponens (A ⇒ B, B ⇒ C, A ∴ C) are predicted to be valid. We will argue both by example and by calling to the results from a behavioral experiment (N = 159) that these latter predictions are incorrect if the unconditional premises in these inferences are seen as new information. Then we will discuss Adams’ (1998) dynamic probabilistic entailment relation, and argue that it is problematic. Finally, it will be shown how his dynamic entailment relation can be improved such that the incongruence predicted by Adams’ original system concerning conditionals and their unconditional counterparts are overcome. Finally, it will be argued that the idea behind this new notion of entailment is of more general relevance. (shrink)

The ambition of the paper is to provide a solution to the problem posed by Von Wright (1999): how is it possible that the two actions, one of producing P and the other of preventing P can have different deontic status, the former being obligatory and the latter being forbidden. The solution for the problem is sought for by an investigation into connections between imperative and deontic logic. First, it is asked whether a solution could be found in Lemmon's (1965) (...) system of "change logic", using his idea on connection between logic of orders being in force and deontic logic. The answer is the negative one. Next, the connection between Lemmon's imperative logic and deontic logic given in Aqvist's paper - "Next" and "Ought" (1965) - is analyzed. Than, the Lemmon's treatment of imperatives is restricted to the natural language imperatives and Aqvist's way of connecting imperative and deontic logic is modified accordingly. Some principles for the natural language imperatives are established (the negation rule ; the law of contraposition for imperative conditionals) and a simple "global" semantics is developed. The notion of "opposite action" is introduced and it is given an important role in semantics. Finally, a solution for von Wright's problem is given. In the closing sections some further topics for investigation are hinted: one of them being the connection between Aqvist's epistemic- imperative conception of interrogatives and "epistemic obligations", the other being formalization of the idea that imperatives create and re-create obligation patterns that can be described in deontic terms. (shrink)

This collection offers a synoptic view of current philosophical debates concerning the relationship between facts and values, bringing together a wide spectrum of contributors committed to testing the validity of this dichotomy, exploring alternatives, and assessing their implications. The assumption that facts and values inhabit distinct, unbridgeable conceptual and experiential domains has long dominated scientific and philosophical discourse, but this separation has been seriously called into question from a number of corners. The original essays here collected offer a diversity of (...) responses to fact-value dichotomy, including contributions from Hilary Putnam and Ruth Anna Putnam who are rightly credited with revitalizing philosophical interest in this alleged opposition. Both they, and many of our contributors, are in agreement that the relationship between epistemic developments and evaluative attitudes cannot be framed as a conflict between descriptive and normative understanding. Each chapter demonstrates how and why contrapositions between science and ethics, between facts and values, and between objective and subjective are false dichotomies. Values cannot simply be separated from reason. _Facts and Values_ will therefore prove essential reading for analytic and continental philosophers alike, for theorists of ethics and meta-ethics, and for philosophers of economics and law. (shrink)

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)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps, and other notations in the work.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely (...) copy and distribute this work, as no entity has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

This entry traces the historical development of the Square of Opposition, a collection of logical relationships traditionally embodied in a square diagram. This body of doctrine provided a foundation for work in logic for over two millenia. For most of this history, logicians assumed that negative particular propositions ("Some S is not P") are vacuously true if their subjects are empty. This validates the logical laws embodied in the diagram, and preserves the doctrine against modern criticisms. Certain additional principles (" (...) class='Hi'>contraposition" and "obversion") were sometimes adopted along with the Square, and they genuinely yielded inconsistency. By the nineteenth century an inconsistent set of doctrines was widely adopted. Strawson's 1952 attempt to rehabilitate the Square does not apply to the traditional doctrine; it does salvage the nineteenth century version but at the cost of yielding inferences that lead from truth to falsity when strung together. (shrink)

François Jullien intervenes into the ontology debates to understand Chinese thought as an anti-ontology, but instead in terms of ‘life’, that is as a sort of vitalism. Chinese anti-ontology features the juxtaposition of the wu (there-is-not) with the you (there-is). This, I argue, maps onto theology’s counterposition of otherworldly and this-worldly. Here Daoism features an ascetic and unstratified wu in contraposition to Confucianism’s you of moderation and stratification. We contrast ontology’s causation with ‘efficacy’ in Jullien’s Chinese thought. We read (...) Zhuangzi’s ‘Equalization of Things’, where the inequalities of the you are equalized in the wu, as a sort of vitalist object energetics. We turn to Chinese ethics, and its driving virtue of yi. We understand the yi not as ‘righteousness’, which is a theological attribute of Christ, but instead as closer to political ‘right’, in China embedded in immanentist forms of life. Western Cartesian ontology is often contrasted with Chinese thought that works through a certain ‘analogism’. We read this, with Walter Benjamin’s Chinese ‘mimetic’ faculty, in terms of a vitalist energetics, a forcefield of the Ten Thousand Things. (shrink)

Those who want to deny the ‘ought implies can’ principle often turn to weakened views to explain ‘ought implies can’ phenomena. The two most common versions of such views are that ‘ought’ presupposes ‘can’, and that ‘ought’ conversationally implicates ‘can’. This paper will reject both views, and in doing so, present a case against any pragmatic view of ‘ought implies can’. Unlike much of the literature, I won't rely on counterexamples, but instead will argue that each of these views fails (...) on its own terms. ‘Ought’ and ‘can’ do not obey the negation test for presupposition, and they do not obey the calculability or the cancelability tests for conversational implicature. I diagnose these failures as partly a result of the importance of the contrapositive of ‘ought implies can’. I end with a final argument emphasizing the role the principle plays in moral thinking, and the fact that no pragmatic account can do it justice. (shrink)

It is widely agreed that contraposition, strengthening the antecedent and hypothetical syllogism fail for subjunctive conditionals. The following putative counter-examples are frequently cited, respectively.

Nancy Cartwright (1983, 1999) argues that (1) the fundamental laws of physics are true when and only when appropriate ceteris paribus modifiers are attached and that (2) ceteris paribus modifiers describe conditions that are almost never satisfied. She concludes that when the fundamental laws of physics are true, they don't apply in the real world, but only in highly idealized counterfactual situations. In this paper, we argue that (1) and (2) together with an assumption about contraposition entail the opposite (...) conclusion — that the fundamental laws of physics do apply in the real world. Cartwright extracts from her thesis about the inapplicability of fundamental laws the conclusion that they cannot figure in covering-law explanations. We construct a different argument for a related conclusion — that forward-directed idealized dynamical laws cannot provide covering-law explanations that are causal. This argument is neutral on whether the assumption about contraposition is true. We then discuss Cartwright's simulacrum account of explanation, which seeks to describe how idealized laws can be explanatory. (shrink)

In this work we attempt to confront the orthodox widespread claim, present in the philosophical and foundational debates about Quantum Mechanics (QM), that ‘superpositions are never actually observed in the lab’. In order to do so, we begin by providing a critical analysis of the famous measurement problem which, we will argue, was originated as a consequence of the strict application of the empirical-positivist requirements to subsume the quantum formalism under their specific understanding of a physical ‘theory’. In particular, the (...) ad hoc introduction of the projection postulate (or measurement rule) can be understood as the necessity of imposing a naive empiricist standpoint which presupposes that observations are self evident givens of “common sense” experience independent of metaphysical (or conceptual) presuppositions yet necessarily represented in binary terms. We then turn our attention to two “non-collapse” interpretations of QM—namely, modal and many worlds—which even though deny that the “collapse” is a real physical process retain anyhow the projection rule as a necessary axiom of the theory itself. In contraposition, following Einstein’s claim that “it is only the theory which decides what can be observed”, we propose a return to the realist representational understanding of physical theories in which ‘observation’ is not a “self evident” given of experience but something that can be only understood in the context of a theoretical (formal-conceptual) scheme. It is from this standpoint that we discuss a new non-classical conceptual representation which allows us to understand quantum phenomena in an intuitive (anschaulicht) manner. Leaving behind the projection postulate, we discuss the general physical conditions for measuring and observing quantum superpositions in the lab. (shrink)

In the context of a weak formal theory called Basic Intuitionistic Mathematics $$\textsf{BIM}$$ BIM, we study Brouwer’s Fan Theorem and a strong negation of the Fan Theorem, Kleene’s Alternative (to the Fan Theorem). We prove that the Fan Theorem is equivalent to contrapositions of a number of intuitionistically accepted axioms of countable choice and that Kleene’s Alternative is equivalent to strong negations of these statements. We discuss finite and infinite games and introduce a constructively useful notion of determinacy. We prove (...) that the Fan Theorem is equivalent to the Intuitionistic Determinacy Theorem. This theorem says that every subset of Cantor space $$2^\omega$$ 2 ω is, in our constructively meaningful sense, determinate. Kleene’s Alternative is equivalent to a strong negation of a special case of this theorem. We also consider a uniform intermediate value theorem and a compactness theorem for classical propositional logic. The Fan Theorem is equivalent to each of these theorems and Kleene’s Alternative is equivalent to strong negations of them. We end with a note on ‘stronger’ Fan Theorems. The paper is a sequel to Veldman (Arch Math Logic 53:621–693, 2014). (shrink)

Drawing on the puzzling behavior of ordinary knowledge ascriptions that embed an epistemic (im)possibility claim, we tentatively conclude that it is untenable to jointly endorse (i) an unfettered classical logic for epistemic language, (ii) the general veridicality of knowledge ascription, and (iii) an intuitive ‘negative transparency’ thesis that reduces knowledge of a simple negated ‘might’ claim to an epistemic claim without modal content. We motivate a strategic trade-off: preserve veridicality and (generalized) negative transparency, while abandoning the general validity of (...) class='Hi'>contraposition. We criticize various approaches to incorporating veridicality into domain semantics, a paradigmatic ‘information-sensitive’ framework for capturing negative transparency and, more generally, the non-classical behavior of sentences with epistemic modals. We then present a novel information-sensitive semantics that successfully executes our favored strategy: stable acceptance semantics, extending a vanilla bilateral state-based semantics for epistemic modals with a knowledge operator loosely inspired by the defeasibility theory of knowledge. (shrink)

World food production is facing exorbitant challenges like climate change, use of resources, population growth, and dietary changes. These, in turn, raise major ethical and political questions, such as how to uphold the right to adequate nutrition, or the right to enact a gastronomic culture and to preserve the conditions to do so. Proposals for utopic solutions vary from vertical farming and lab meat to diets filled with the most fanciful insects and seaweeds. Common to all proposals is a polarized (...) understanding of food and diets, famously captured by Warren Belasco in the contraposition between technological fixes and anthropological fixes. According to the first, technology will deliver clean, just, pleasurable, affordable food; future generations will not need to adjust much of their dietary cultures. According to the second, future generations should dramatically change their dietary habits (what they eat and how they eat it) to achieve a sustainable diet. The two fixes found remarkably distinct perspectives over dietary politics and the ethics of food production and consumption. In this paper we argue that such polarized thinking rests on a misrepresentation of the ontological status of food, which in turn affects the underlying ethical and political issues. Food is a socially constructed object that draws in specific ways on habits, norms, traditions, geographical, and climatic conditions. Although this thesis seems somewhat obvious, its consequences on the ethical and political perspectives on the future of food have not been derived properly. After introducing the issue at stake (¤1), we point out the polarities that characterize food utopias (¤2) and their ontological faults (¤3). We hence suggest that a socio-ontological analysis of food can better deliver the principles for a foundation of food utopias (¤4). (shrink)

Substructural approaches to paradoxes have attracted much attention from the philosophical community in the last decade. In this paper we focus on two substructural logics, named ST and TS, along with two structural cousins, LP and K3. It is well known that LP and K3 are duals in the sense that an inference is valid in one logic just in case the contrapositive is valid in the other logic. As a consequence of this duality, theories based on either logic are (...) tightly connected since many of the arguments for and objections against one theory reappear in the other theory in dual form. The target of the paper is making explicit in exactly what way, if any, ST and TS are dual to one another. The connection will allow us to gain a more fine-grained understanding of these logics and of the theories based on them. In particular, we will obtain new insights on two questions concerning ST which are being intensively discussed in the current literature: whether ST preserves classical logic and whether it is LP in sheep’s clothing. Explaining in what way ST and TS are duals requires comparing these logics at a metainferential level. We provide to this end a uniform proof theory to decide on valid metainferences for each of the four logics. This proof procedure allows us to show in a very simple way how different properties of inferences (unsatisfiability, supersatisfiability and antivalidity) that behave in very different ways for each logic can be captured in terms of the validity of a metainference. (shrink)

Selection explanations explain some non-accidental generalizations in virtue of a selection process. Such explanations are not particulaizable - they do not transfer as explanations of the instances of such generalizations. This is unlike many explanations in the physical sciences, where the explanation of the general fact also provides an explanation of its instances (i.e. standard D-N explanations). Are selection explanations (e.g. in biology) therefore a different kind of explanation? I argue that to understand this issue, we need to see that (...) a standard D-N explanation of some non-accidental generalization (al Fs are Gs) may also ipso facto explain its contrapositive (all non-Gs are non-Fs), but the explanation is particularizable with respect to the former but not to the latter. This can be seen by noting that the Raven Paradox counterexample to the H-D model of confirmation also generates a counterexample to the D-N model of explanation (all ravens are black does not explain why the non-black shoe is a non-raven). In such cases it is natural to take the generalization with the positive predicates to have a particularizable explanation. However, this need not be the case, and in selection explanations it is the generalization with the positive predicates whose explanation is no particularizable. Thus there is no need to suppose that selection explanations are fundamentally different. (shrink)

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs, Fifth Edition provides basic logic of mathematical proofs and shows how mathematical proofs work. It offers techniques for both reading and writing proofs. The second chapter of the book discusses the techniques in proving if/then statements by contrapositive and proofing by contradiction. It also includes the negation statement, and/or. It examines various theorems, such as the if and only-if, or equivalence theorems, the existence theorems, and the uniqueness theorems. In (...) addition, use of counter examples, mathematical induction, composite statements including multiple hypothesis and multiple conclusions, and equality of numbers are covered in this chapter. The book also provides mathematical topics for practicing proof techniques. Included here are the Cartesian products, indexed families, functions, and relations. The last chapter of the book provides review exercises on various topics. Undergraduate students in engineering and physical science will find this book accessible as well as invaluable. (shrink)

The paper argues that the emergence of the Western question of rationality only can be understood in its dynamic and evolution from the correlation between philosophical/theological/scientifical institution and the strong objectivity, in that such a strong objectivity only can be achieved by a scientifical institutional praxis, something that common sense and common people cannot do. The Platonic model of scientifical institution as centralizing and monopolizing the epistemological-political grounding, imposing it directly on common sense and common people, is based on the (...) idea that the strong epistemological-moral objectivity is the normative condition to the sense at all, to the framing, legitimation and guiding of common sense and common people. So this correlation between scientifical institution and strong objectivity leads to the strong institutionalism regarding the constitution, the legitimation and the social foment of the valid knowledge and of the valid culture, again from the contraposition to common sense and common people. Here, scientifical institution acquires a role of judge and of guide of the social evolution as a whole. The paper’s central argument is that such Platonic linking between scientifical institution and rationality must be deconstructed in favor of common sense and common people, i.e. in favor of the democracy as basis of the epistemological-moral grounding, which means as consequence the institutional weakening and abandonment of that Platonic self-understanding which links scientifical institution and objectivity. (shrink)

Without extending the historical analysis, this article analyzes the relationship between the legal concept of person with regard to the notion of living independently. The concept is normatively established in Article 19 of the CRPD and is presented as a legal fiction. The legal technique of fictio iuris is the premise for analyzing contemporary problems, for example, the attribution of responsibilities to non-human personalities, such as robots. The article, however, develops the problem of attributing rights to persons with disabilities. The (...) contraposition of robots and disabled people, understood as opposing visions of anthropological and human models, is part of the philosophical dispute between humanism and post- or transhumanism. The conception of man appears different if created in the image and likeness of God, or as the fruit of evolution from primates, or as a transhumanist entity that can be replaced by the robot. The latter vision is rooted in the mechanization of the mind triggered by cybernetics and cognitive sciences and referable to problems of justice theory and political philosophy concerning the inclusion in society of disabled people. In this article I will limit myself to analyzing, against the background of this complex problem, the link between person, legal fiction and the right to disability starting from the criticism addressed by Nussbaum to Rawls based on the convention and following the methodology developed by Marchisio and Curto in order to clarify the legal connection between thirdness, disability, and person.However, I go one step further by including the issue of disability as justice within the evolution of the notion of the legal person, through the inclusion of fictio iuris and rhetorical methodology in positive law, as a criterion for the interpretation of art. 19 CRPD. (shrink)