The logical properties of the 'if-then' connective of ordinary English differ markedly from the logical properties of the material conditional of classical, two-valued logic. This becomes apparent upon examination of arguments in conversational English which involve (noncounterfactual) usages of if-then'. A nonclassical system of propositional logic is presented, whose conditional connective has logical properties approximating those of 'if-then'. This proposed system reduces, in a sense, to the classical logic. Moreover, because it is equivalent to a certain nonstandard three-valued logic, its (...) decision procedure is almost as efficient as that of the classical logic. It therefore provides a rational and convenient system in which to formalize English arguments. (shrink)

Because statements like ‘This object is soluble in aqua regia’ involve the causal modalities, we call them causal dispositional statements. Now while this involvement has long been recognized, no thorough examination of its exact nature has ever been made. One purpose of this paper is to begin such an examination. In Sec. 2 we will suggest an analysis of causal dispositional statements, and in Sec. 3 we will discuss some philosophic issues to which this analysis is relevant.

Do logically valid arguments necessarily preserve truth? Certain inferences involving informational modal operators and indicative conditionals suggest that truth preservation and good deductive argument come apart. Given this split, I recommend an alternative to the standard truth preservation view of logic on which validity and good deductive argument coincide: logic is a descriptive science that is fundamentally concerned not with the preservation of truth, but with the preservation of structural features of information. Along the way, I defend modus ponens for (...) the indicative against an attack by Kolodny and MacFarlane, and I present a new proof system, Info, appropriate to this informational view. (shrink)

In the period 1893–1897 Charles Dodgson, writing as Lewis Carroll, published two books and two articles on logic topics. Manuscript material first published in 1977 together with letters and diary entries provide evidence that he was working toward a visual proof system for complex syllogistic propositional logic based on a mechanical tree method that he devised.

This paper defends a counterexample to Modus Tollens, and uses it to draw some conclusions about the logic and semantics of indicative conditionals and probability operators in natural language. Along the way we investigate some of the interactions of these expressions with 'knows', and we call into question the thesis that all knowledge ascriptions have truth-conditions.

Pavel Florensky (1882–1937), a Russian theologian, philosopher, and mathematician, argued that the religious discourse is essentially contradictory and put forward the idea of the logical theory of antinomies. Recently his views raised interesting discussions among logicians who consider him a forerunner of many non-classical logics. In this paper I discuss four interpretations of Florensky’s views: paraconsistent, L-contradictory, non-monotonic and rhetorical. In conclusion I argue for the integral interpretation which unites these four approaches.

Lewis Carroll published a system of logic in the symbolic tradition that developed in his time. Carroll’s readers may be puzzled by his system. On the one hand, it introduced innovations, such as his logic notation, his diagrams and his method of trees, that secure Carroll’s place on the path that shaped modern logic. On the other hand, Carroll maintained the existential import of universal affirmative Propositions, a feature that is rather characteristic of traditional logic. The object of this paper (...) is to untangle this dilemma by exploring Carroll’s guidelines in the design of his logic, and in particular his theory of existential import. It will be argued that Carroll’s view reflected his belief in the social utility of symbolic logic. (shrink)

Lewis Carroll offers an interesting perspective on the development of early symbolic logic. On the one hand, he makes a characteristic case of a logician who worked on symbolic methods...

It is well known that Charles L. Dodgson (alias Lewis Carroll, 1832–1898) worked on a logic treatise that would popularise the subject of symbolic logic. The first part appeared in 1896 but the next parts never appeared. It has been claimed that Carroll worked in isolation and did not read the main works of his time. The object of this paper is to inquire what Carroll’s private library teaches us on his readings. The content of this library is known thanks (...) to the sale catalogues that were issued when the library was auctioned at Carroll’s death. This paper provides an overview of the logic books owned by Carroll. Then, it investigates the extent to which Carroll was acquainted with the main logic works of his time. Finally, the paper considers some methodological issues related to the use of ‘library arguments’ in intellectual history. (shrink)

The development of symbolic logic is often presented in terms of a cumulative story of consecutive innovations that led to what is known as modern logic. This narrative hides the difficulties that this new logic faced at first, which shaped its history. Indeed, negative reactions to the emergence of the new logic in the second half of the nineteenth century were numerous and we study here one case, namely logic at Oxford, where one finds Lewis Carroll, a mathematical teacher who (...) promoted symbolic logic, and John Cook Wilson, the Wykeham Professor of Logic who notoriously opposed it. An analysis of their disputes on the topic of logical symbolism shows that their opposition was not as sharp as it might look at first, as Cook Wilson was not so much opposed to the « symbolic » character of logic, but the intrusion of mathematics and what he perceived to be the futility of some of its problems, for logicians and philosophers alike. (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 this paper, we will reconsider the history of dualistic idealism (i.e., the main stream of western philosophy: chiefly, Plato, Descartes, Kant, Wittgenstein, etc.) under the quantum mechanical worldview. Recall that quantum mechanics also has the aspect of being a scientifically complete form of dualistic idealism. Therefore, it is reasonable to expect that almost all unsolved problems of philosophy (i.e., dualistic idealism) can be clarified under the linguistic Copenhagen interpretation. In this paper, we will show that the expectation is completely (...) realized. For example, it is shown that most unsolved problems (e.g. Hempel's raven) can be solved by separating analytic philosophy (philosophy of science) from mathematical logic and reconstructing it under a quantum mechanical worldview. (shrink)

Lewis Carroll, both logician and writer, suggested a logical paradox containing furthermore two connotations (connotations or metaphors are inherent in literature rather than in mathematics or logics). The paradox itself refers to implication demonstrating that an intermediate implication can be always inserted in an implication therefore postponing its ultimate conclusion for the next step and those insertions can be iteratively and indefinitely added ad lib, as if ad infinitum. Both connotations clear up links due to the shared formal structure with (...) other well-known mathematical observations: (1) the paradox of Achilles and the Turtle; (2) the transitivity of the relation of equality. Analogically to (1), one can juxtapose the paradox of the Liar (for Lewis Carroll’s paradox) and that of the arrow (for “Achilles and the Turtle”), i.e. a logical paradox, on the one hand, and an aporia of motion, on the other hand, suggesting a shared formal structure of both, which can be called “ontological”, on which basis “motion” studied by physics and “conclusion” studied by logic can be unified being able to bridge logic and physics philosophically in a Hegelian manner: even more, the bridge can be continued to mathematics in virtue of (2), which forces the equality (for its property of transitivity) of any two quantities to be postponed analogically ad lib and ad infinitum. The paper shows that Hilbert arithmetic underlies naturally Lewis Carroll’s paradox admitting at least three interpretations linked to each other by it: mathematical, physical and logical. Thus, it can be considered as both generalization and solution of his paradox therefore naturally unifying the completeness of quantum mechanics (i.e. the absence of hidden variables) and eventual completeness of mathematics as the same and isomorphic to the completeness of propositional logic in relation to set theory as a first-order logic (in the sense of Gödel (1930)’s completeness theorems). (shrink)

This thesis is about indicative conditionals and apparent counterexamples to classically valid argument forms. Specifically, it applies the following four theories: - material (inspired by Grice (1961, 1975 and 1989)); - possible-worlds (inspired by Stalnaker (1981); Lewis (1976); and Kratzer (2012)), - suppositional (inspired by Adams (1975) and Edgington (1995 and 2014)); and - hybrid (inspired by Jackson (1987)) to try and solve the following two counterexamples: - Vann McGee’s to modus ponens (1985); and - Lewis Carroll’s to modus tollens (...) (1894). I argue that none of the theories I consider can explain – without facing any problems – the three individually plausible but jointly inconsistent theses that give rise to the apparent counterexamples. The three theses of the trilemma are the following: (1) the argument is invalid; (2) the argument is an instance of modus ponens or modus tollens; and (3) modus ponens or modus tollens is valid. (shrink)