Something amazing about the Peripatetic of Pallet: Abaelard's development of Boethius' account of conditional propositions

Mediaeval logicians inherited from Boethius an account of conditional propositions and the syllogisms which may be constructed using them. In the following paper it is shown that there are considerable difficulties with Boethius' account which arise from his failure to understand the nature of compound propositions and in particular to provide for their negation. Boethius suggests that there are two different conditions which may be imposed for the truth of a conditional proposition but he really gives no adequate account of how such propositions may be obtained. The true greatness of Peter Abaelard as a philosophical logician is revealed in what he is able to do with the material which he found in Boethius. It is shown that he developed a precise theory of conditionals giving an account of how true conditionals may be obtained and principles which may be used to reject others as false. Unlike Boethius Abaelard properly appreciates that conjunctions must be treated as logical units. Even he, however, falls victim to difficulties which arise when this connective is brought into contact with negation and the conditions which he lays down for the truth of a conditional.     

Field's Paradox and Its Medieval Solution

Hartry Field's revised logic for the theory of truth in his new book, Saving Truth from Paradox, seeking to preserve Tarski's T-scheme, does not admit a full theory of negation. In response, Crispin Wright proposed that the negation of a proposition is the proposition saying that some proposition inconsistent with the first is true. For this to work, we have to show that this proposition is entailed by any proposition incompatible with the first, that is, that it is the weakest proposition incompatible with the proposition whose negation it should be. To show that his proposal gave a full intuitionist theory of negation, Wright appealed to two principles, about incompatibility and entailment, and using them Field formulated a paradox of validity (or more precisely, of inconsistency).

The medieval mathematician, theologian and logician, Thomas Bradwardine, writing in the fourteenth century, proposed a solution to the paradoxes of truth which does not require any revision of logic. The key principle behind Bradwardine's solution is a pluralist doctrine of meaning, or signification, that propositions can mean more than they explicitly say. In particular, he proposed that signification is closed under entailment. In light of this, Bradwardine revised the truth-rules, in particular, refining the T-scheme, so that a proposition is true only if everything that it signifies obtains. Thereby, he was able to show that any proposition which signifies that it itself is false, also signifies that it is true, and consequently is false and not true. I show that Bradwardine's solution is also able to deal with Field's paradox and others of a similar nature. Hence Field's logical revisions are unnecessary to save truth from paradox.     

The pragmatic aspects of linguistic negation: Speech act,argumentation and pragmatic inference

This paper is an attempt to give a general explanation of pragmatic aspects of linguistic negation. After a brief survey of classical accounts of negation within pragmatic theories (as speech act theory, argumentation theory and polyphonic theory), the main pragmatic uses of negation (illocutionary negation, external negation, lowering and majoring negation) are discussed within relevance theory. The question of the relevance of negative utterance is raised, and a general inferential schema (based on the so-called invited inference) is proposed and tested for the main uses of negation discussed in the paper.Translated from French by Anne Reboul and Lyne DaSylva.     

Matching bias and set sizes: A discussion of Yama (2001)

Yama (2001) has presented an ingenious series of experiments in which he attempts to separate two accounts in the literature of the cause of “matching bias” in conditional reasoning. One account is that the bias arises from the way in which people process negations and the other is that it is due to the larger set sizes associated with negative propositions, rather than negation per se. Yama's experiments show influences of both negation and set size, from which he concludes that both factors contribute to the matching bias that is normally observed. In this note, it is argued that this conclusion is at odds with other findings in the literature, particularly those investigating implicit negation as the cause of the bias. Introducing explicit negations has been shown to remove matching bias completely and not partially, as Yama's account must predict. A possible reconciliation is proposed in terms of subtle contextual differences introduced by Yama's experiments.     

Existence,Negation, and Abstraction in the Neoplatonic Hierarchy 1

The paper is a study of the logic of existence, negation, and order in the Neoplatonic tradition. The central idea is that Neoplatonists assume a logic in which the existence predicate is a comparative adjective and in which monadic predicates function as scalar adjectives that nest the background order. Various scalar predicate negations are then identifiable with various Neoplatonic negations, including a privative negation appropriate for the lower orders of reality and a hyper-negation appropriate for the higher. Reversion to the One can then be explained as the logical inference of hyper-negations from mundane knowledge. Part I develops the relevant linguistic and logical theory, and Part II defends Wolfson and the scalar interpretation against the more traditional Aristotelian understanding of Whittaker and others of reversion as intensional abstraction     

Sustained empathic focus and the clinical application of self-psychological theory in group psychotherapy

The concept of focus can provide a meaningful bridge between theory and practice. The authors' aim in this paper is to demonstrate that for theory to be clinically useful, it should provide a sense of focus and organization for clinical work. They illustrate how their particular use of a self-psychological/intersubjective model leads to an emphasis on what they refer to as "sustained empathic focus." The authors' choice of concepts leads them consistently to stress the patient's subjective experience and emerging vulnerability.     

Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation

The paper is devoted to the contributions of Helena Rasiowa to the theory of non-classical negation. The main results of Rasiowa in this area concerns–constructive logic with strong (Nelson) negation,–intuitionistic negation and some of its generalizations: minimal negation of Johansson and semi-negation.We discuss also the impact of Rasiowa works on the theory of non-classical negation.A lecture presented at the International Conference Trends in Logic III : A. Mostowski, H. Rasiowa and C. Rauszer in memoriam, Warsaw, Ruciane-Nida September 23-26, 2005.     

The Role of Negation in Conditional Inference

This paper addresses the issue of how negative components affect people's ability to draw conditional inferences. The study was motivated by an attempt to resolve a difficulty for the mental models theory of Johnson-Laird and Byrne, whose account of matching bias in the selection task is apparently inconsistent with Johnson-Laird's explanation of the double negation effects in conditional inference reported by Evans, Clibbens, and Rood (1995). Two experiments are reported, which investigate frequencies of conditional inferences with task presentation similar to that of the selection task in two respects: the presence of a picture of four cards and the use of implicit negations in the premises. The latter variable was shown to be critical and demonstrated a new phenomenon: Conditional inferences of all kinds are substantially suppressed when based on implicitly negative premises. This phenomenon was shown to operate independently of and in addition to the double negation effect. A third experiment showed that the implicit negation effect could be extended to the paradigm in which people are asked to produce their own conclusions. It is argued that these two effects can be explained within either the mental models theory or the inference rule theory, of propositional reasoning, but that each will require some revision in order to offer a convincing account.     

Canonical Extensions and Relational Representations of Lattices with Negation

This work is part of a wider investigation into lattice-structured algebras and associated dual representations obtained via the methodology of canonical extensions. To this end, here we study lattices, not necessarily distributive, with negation operations.We consider equational classes of lattices equipped with a negation operation ¬ which is dually self-adjoint (the pair (¬,¬) is a Galois connection) and other axioms are added so as to give classes of lattices in which the negation is De Morgan, orthonegation, antilogism, pseudocomplementation or weak pseudocomplementation. These classes are shown to be canonical and dual relational structures are given in a generalized Kripke-style. The fact that the negation is dually self-adjoint plays an important role here, as it implies that it sends arbitrary joins to meets and that will allow us to define the dual structures in a uniform way.Among these classes, all but one—that of lattices with a negation which is an antilogism—were previously studied by W. Dzik, E. Or?owska and C. van Alten using Urquhart duality.In some cases in which a given axiom does not imply that negation is dually self-adjoint, canonicity is proven with the weaker assumption of antitonicity of the negation.     

Silins’s Liberalism

Nico Silins has proposed and defended a form of Liberalism about perception that, he thinks, is a good compromise between the Dogmatism of Jim Pryor and others, and the Conservatism of Roger White, Crispin Wright, and others. In particular, Silins argues that his theory can explain why having justification to believe the negation of skeptical hypotheses is a necessary condition for having justification to believe ordinary propositions, even though (contra the Conservative) the latter is not had in virtue of the former. I argue that Silins's explanation is unsuccessful, and hence that we should prefer either White/Wright-style Conservatism (which can explain this necessary condition) or Pryor-style Dogmatism (which denies that this is a necessary condition).     

The processing of negations in conditional reasoning: A meta-analytic case study in mental model and/or mental logic theory

We present a meta-analytic review on the processing of negations in conditional reasoning about affirmation problems (Modus Ponens: “MP”, Affirmation of the Consequent “AC”) and denial problems (Denial of the Antecedent “DA”, and Modus Tollens “MT”). Findings correct previous generalisations about the phenomena. First, the effects of negation in the part of the conditional about which an inference is made, are not constrained to denial problems. These inferential-negation effects are also observed on AC. Second, there generally are reliable effects of a negation in the clause referred to by the categorical premise, and these referred-negation effects are constrained to the logically fallacious AC and DA inferences. All findings are presented and discussed in relation to contemporary mental model (MM) and mental logic (ML) theories. It is argued that a double-negation elimination hypothesis provides a sufficient explanation of inferential-negation effects within both MM theory and ML theory, if the latter is extended by a validating search for counter examples. Both MM and ML theories adhere to a processing scheme that allows them to incorporate an account of referred-negation effects based on the thesis that counter-example frequency is modulated by the scope of a contrast class delineated by a false affirmative. We conclude that MM and ML theories provide adequate processing schemes to accommodate for the explanatory hypotheses, at least in principle. In practice, both approaches remain equivocal as regards the connectivity and interactivity with long-term memory knowledge invoked in generating, manipulating, and testing the mental representations of negative state of affairs.     

Understanding Negation Implicationally in the Relevant Logic R

A star-free relational semantics for relevant logic is presented together with a sound and complete sequent proof theory (display calculus). It is an extension of the dualist approach to negation regarded as modality, according to which de Morgan negation in relevant logic is better understood as the confusion of two negative modalities. The present work shows a way to define them in terms of implication and a new connective, co-implication, which is modeled by respective ternary relations. The defined negations are confused by a special constraint on ternary relation, called the generalized star postulate, which implies definability of the Routley star in the frame. The resultant logic is shown to be equivalent to the well-known relevant logic R. Thus it can be seen as a reconstruction of R in the dualist framework.     

Negation: A theory of its meaning,representation, and use

This article presents a model-based theory of what negation means, how it is mentally represented, and how it is understood. The theory postulates that negation takes a single argument that refers to a set of possibilities and returns the complement of that set. Individuals therefore tend to assign a small scope to negation in order to minimize the number of models of possibilities that they have to consider. Individuals untrained in logic do not know the possibilities corresponding to the negation of compound assertions formed with if, or, and and, and have to infer the possibilities one by one. It follows that negations are easier to understand, and to formulate, when individuals already have in mind the possibilities to be negated. The paper shows that the evidence, including the results of recent studies, corroborates the theory.     

Planning what not to eat: ironic effects of implementation intentions negating unhealthy habits

The present studies tested the effectiveness of implementation intentions with an "if [situation], then not [habitual response]" structure. Based on ironic process theory and the literature on the processing of negations, it was expected that these "negation implementation intentions" would, ironically, strengthen the habit (situation-response association) one aims to break. In line with the hypotheses, forming negation implementation intentions resulted in cognitive ironic rebound effects as well as behavioral ironic rebound effects compared to an intention only condition or a replacement implementation intention. Additionally, it was found that negation implementation intentions are most likely to result in ironic rebound effects when the habit to be negated is strong. Although implementation intentions are generally highly effective in facilitating behavior change even when this involves breaking unwanted habits, the present research suggests that they are ineffective when they have a negating structure.     

Semantic Similarity of Alternatives Fostered by Conversational Negation

Conversational negation often behaves differently from negation as a logical operator: when rejecting a state of affairs, it does not present all members of the complement set as equally plausible alternatives, but it rather suggests some of them as more plausible than others (e.g., “This is not a dog, it is a wolf/*screwdriver”). Entities that are semantically similar to a negated entity tend to be judged as better alternatives (Kruszewski et al., 2016). In fact, Kruszewski et al. (2016) show that the cosine similarity scores between the distributional semantics representations of a negated noun and its potential alternatives are highly correlated with the negated noun-alternatives human plausibility ratings. In a series of cloze tasks, we show that negation likewise restricts the production of plausible alternatives to similar entities. Furthermore, completions to negative sentences appear to be even more restricted than completions to an affirmative conjunctive context, hinting at a peculiarity of negation.     

Artificial organisms as tools for the development of psychological theory: Tolman’s lesson

In the 1930s and 1940s, Edward Tolman developed a psychological theory of spatial orientation in rats and humans. He expressed his theory as an automaton (the "schematic sowbug") or what today we would call an "artificial organism." With the technology of the day, he could not implement his model. Nonetheless, he used it to develop empirical predictions which tested with animals in the laboratory. This way of proceeding was in line with scientific practice dating back to Galileo. The way psychologists use artificial organisms in their work today breaks with this tradition. Modern "artificial organisms" are constructed a posteriori, working from experimental or ethological observations. As a result, researchers can use them to confirm a theoretical model or to simulate its operation. But they make no contribution to the actual building of models. In this paper, we try to return to Tolman's original strategy: implementing his theory of "vicarious trial and error" in a simulated robot, forecasting the robot's behavior and conducting experiments that verify or falsify these predictions.     

All Brutes are Subhuman: Aristotle and Ockham on Private Negation

The mediaeval logic of Aristotelian privation, represented by Ockham's expositionof All A is non-P as All S is of a type T that is naturally P and no S is P, iscritically evaluated as an account of privative negation. It is argued that there aretwo senses of privative negation: (1) an intensifier (as in subhuman), the dualof Neoplatonic hypernegation (superhuman), which is studied in linguistics asan operator on scalar adjectives, and (2) a (often lexicalized) Boolean complementrelative to the extension of a privative negation in sense (1) (e.g., Brute). Thissecond sense, which is the privative negation discussed in modern linguistics, isshown to be Aristotle's. It is argued that Ockham's exposition fails to capture muchof the logic of Aristotelian privation due to limitations in the expressive power of thesyllogistic.     

Internal Negation and the Principles of Non-Contradiction and of Excluded Middle in Aristotle

It has long been recognized that negation in Aristotle’s term logic differs syntactically from negation in classical logic: modern external negation attaches to propositions fully formed, whereas Aristotelian internal negation forms propositions from sentential constituents. Still, modern external negation is used to render Aristotelian internal negation, as may be seen in formalizations of Aristotle’s semantic principles of non-contradiction and of excluded middle. These principles govern the distribution of truth values among pairs of contradictory propositions, and Aristotelian contradictories always consist of an affirmation and a denial. So how should we formalize a false denial? In the literature, we find that a false denial is formalized by means of two negation signs attached to a one-place predicate. However, it can be shown that this rendering leads to an incorrect picture of Aristotle’s principles. In this paper, I propose a solution to this technical problem by devising a formal notation especially for Aristotelian propositions in which internal negation is differentiated from external negation. I will also analyze both principles, each of which has two logically equivalent forms, a positive and a negative one. The fact that Aristotle’s principles are distinct and complementary is reflected in my new formalizations.     

Some aspects of negation in English

I introduce a formal language called the language of informational independence (IL-language, for short) that extends an ordinary first-order language in a natural way. This language is interpreted in terms of semantical games of imperfect information. In this language, one can define two negations: (i) strong or dual negation, and (ii) weak or contradictory negation. The latter negation, unlike the former, can occur only sentence-initially. Then I argue that, to a certain extent, the two negations match the distinction existing in natural languages between sentential and constituent negation. As a corollary, I derive the fact that there are no mechanical rules for forming the contradictory negation of an English sentence.