Classical logic yields counterintuitive results for numerous propositional argument forms. The usual alternatives (modal logic, relevance logic, etc.) generate counterintuitive results of their own. The counterintuitive results create problems—especially pedagogical problems—for informal logicians who wish to use formal logic to analyze ordinary argumentation. This paper presents a system, PL– (propositional logic minus the funny business), based on the idea that paradigmatic valid argument forms arise from justificatory or explanatory discourse. PL– avoids the pedagogical difficulties without sacrificing insight into argument.

At APr 2.4 57a36–13, Aristotle presents a notorious reductio argument in which he derives the claim ‘If B is not large, B is large’ and calls that result impossible. Aristotle is thus committed to some form of connexivity and this paper argues that his commitment is to a strong form of connexivity which excludes even cases in which ‘B is large’ is necessary. It is further argued that Aristotle’s view of connexivity is best understood as arising from his analysis of (...) affirmation and negation in terms of combination and separation: a proposition that separates two terms cannot entail a proposition that combines the same two terms. In order to motivate this account of connexivity, this paper interprets Aristotle as emphasising the predicative structure, especially the copulae, of the argument’s component propositions. The arguments for this are based on a consideration of the larger context of APr 2.2–4. A reconstruction of the argument using propositional variables does not fully capture Aristotle’s intentions. (shrink)

In modern times the so?called consequentia mirabilis (if not-P, then P). then P) was first enthusiastically applied and commented upon by Cardano (1570) and Clavius (1574). Of later passages where it occurs Saccheri?s use (1697) has drawn a good deal of attention. It is less known that about the middle of the 17th century this remarkable mode of arguing became the subject of an interesting debate, in which the Belgian mathematician Andreas Tacquet and Christiaan Huygens were the main representatives of (...) opposite views concerning its probative force. In this article the several phases and moves of that debate are delineated. (shrink)

We seek means of distinguishing logical knowledge from other kinds of knowledge, especially mathematics. The attempt is restricted to classical two-valued logic and assumes that the basic notion in logic is the proposition. First, we explain the distinction between the parts and the moments of a whole, and theories of ?sortal terms?, two theories that will feature prominently. Second, we propose that logic comprises four ?momental sectors?: the propositional and the functional calculi, the calculus of asserted propositions, and rules for (...) (in)valid deduction, inference or substitution. Third, we elaborate on two neglected features of logic: the various modes of negating some part(s) of a proposition R, not only its ?external? negation not-R; and the assertion of R in the pair of propositions ?it is (un)true that R? belonging to the neglected logic of asserted propositions, which is usually left unstated. We also address the overlooked task of testing the asserted truth-value of R. Fourth, we locate logic among other foundational studies: set theory and other theories of collections, metamathematics, axiomatisation, definitions, model theory, and abstract and operator algebras. Fifth, we test this characterisation in two important contexts: the formulation of some logical paradoxes, especially the propositional ones; and indirect proof-methods, especially that by contradiction. The outcomes differ for asserted propositions from those for unasserted ones. Finally, we reflect upon self-referring self-reference, and on the relationships between logical and mathematical knowledge. A subject index is appended. (shrink)

In the Organon Aristotle describes some deductive schemata in which inconsistencies do not entail the trivialization of the logical theory involved. This thesis is corroborated by three different theoretical topics by him discussed, which are presented in this paper. We analyse inference schema used by Aristotle in the Protrepticus and the method of indirect demonstration for categorical syllogisms. Both methods exemplify as Aristotle employs classical reductio ad absurdum strategies. Following, we discuss valid syllogisms from opposite premises (contrary and contradictory) studied (...) by the Stagerian in the Analytica Priora (B15). According to him, the following syllogisms are valid from opposite premises, in which small Latin letters stand for terms such as subject and predicate, and capital Latin letters stand for the categorical propositions such as in the traditional notation: (i) in the second figure, Eba,Aba ` Eaa (Cesare), Aba, Eba ` Eaa (Camestres), Eba, I ba ` Oaa (Festino), and Aba,Oba ` Oaa (Baroco); (ii) in the third one, Eab,Aab ` Oaa (Felapton), Oab,Aab ` Oaa (Bocardo) and Eab, Iab ` Oaa (Ferison). Finally, we discuss the passage from the Analytica Posteriora (A11) in which Aristotle states that the Principle of Non-Contradiction is not generally presupposed in all demonstrations (scientific syllogisms), but only in those in which the conclusion must be proved from the Principle; the Stagerian states that if a syllogism of the first figure has the major term consistent, the other terms of the demonstration can be each one separately inconsistent. These results allow us to propose an interpretation of his deductive theory as a broad sense paraconsistent theory. Firstly, we proceed to a hermeneutical analysis, evaluating its logical significance and the interplay of the results with some other points of Aristotle’s philosophy. Secondly, we point to a logical interpretation of the Aristotelian syllogisms from opposite premises in the antilogisms method proposed by Christine Ladd-Franklin in 1883, and we also present a logical treatment of the Aristotelian demonstration with inconsistent material in the paraconsistent logics Cn, 1 _ n _!, introduced by da Costa in 1963. These two issues seem having not yet been analysed in detail in the literature. (shrink)

In this paper I argue that Hegel’s treatment of dialectical inferences, in particular of Plato’s dialectics in the Lectures on the History of Philosophy, belongs to the history of the logical rule that, from Gerolamo Cardano to Bertrand Russell, is known as consequentia mirabilis. In 1906 Russell formalises it as follows: and its correspondent positive form as My paper has two parts. First, I show that dialectical inferences, for Hegel, involve sentences of the form and. Hegel, following Plato, stresses that (...) these inferences are das Wunderbare, the marvellous element of dialectical reasoning. In this sense Hegel’s view belongs to the history of CM from a perspective that is both terminological and logical. Second, I stress the peculiarity of Hegel’s CM. In a classical setting, the conditional is admissible and from we can, by CM, derive, and from, by CM, infer. However, in Hegel’s analysis it is evident that we can neither infer from, nor from. Rather, in dialectical inferences what we can vali... (shrink)