There is a little known paradox the solution to which is a guide to a much more thoroughgoing solution to a whole range of classic paradoxes. This is shown in this paper with respect to Berry's Paradox, Heterologicality, Russell's Paradox, and the Paradox of Predication, also the Liar and the Strengthened Liar, using primarily the epsilon calculus. The solutions, however, show not only that the first-order predicate calculus derived from Frege is inadequate as a basis for a clear science, and (...) should be replaced with Hilbert and Bernays' conservative extension. Standard second-order logic, and quantified propositional logic also must be substantially modified, to incorporate, in the first place, nominalizations of predicates, and whole sentences. And further modifications must be made, so as to insist that predicates are parts of sentences rather than forms of them, and that truth is a property of propositions rather than their sentential expressions. In all, a thorough reworking of what has been called 'logic' in recent years must be undertaken, to make it more fit for use. (shrink)

We show how to construct certain " $[Unrepresented Character]_{M,T}$ -type" interpreted languages, with each such language containing meaningfulness and truth predicates which apply to itself. These languages are comparable in expressive power to the $[Unrepresented Character]_{T}$ -type, truth-theoretic languages first considered by. Kripke, yet each of our $[Unrepresented Character]_{M,T}$ -type languages possesses the additional advantage that, within it, the meaninglessness of any given meaningless expression can itself be meaningfully expressed. One therefore has, for example, the object level truth (and meaningfulness) (...) of the claim that the strengthened Liar is meaningless. (shrink)

We show how to construct certain L M, T -type interpreted languages, with each such language containing meaningfulness and truth predicates which apply to itself. These languages are comparable in expressive power to the L T -type, truth-theoretic languages first considered by Kripke, yet each of our L M, T -type languages possesses the additional advantage that, within it, the meaninglessness of any given meaningless expression can itself be meaningfully expressed. One therefore has, for example, the object level truth (and (...) meaningfulness) of the claim that the strengthened Liar is meaningless. (shrink)

First I would like to thank Clarence Joldersma for his review of our Poststructuralism, Philosophy, Pedagogy. In particular, I would thank him for his opening sentence: “[t]his book is a response to a lack.” It is the notion of a lack, noted again later in his review, which I wish to take up mainly in this response. Rather than defending or elaborating our particular contributions to PPP—the latter would be a great indignity to my colleagues as I would not write (...) over them—I will take the opportunity to develop the theme of a lack, as I believe that Joldersma has raised a very important issue. But first I will respond briefly to some of Joldersma’s general and opening statements about the book, and my philosophical position in particular. (shrink)

What is the function of logic in al-Kindī's corpus? What kind of relation does it have with mathematics? This article tackles these questions by examining al-Kindī's theory of categories as it was presented in his epistle On the Number of Aristotle's Books, from which we can learn about his special attitude towards Aristotle theory of categories and his interpretation, as well. Al-Kindī treats the Categories as a logical book, but in a manner different from that of the classical Aristotelian tradition. (...) He ascribes a special status to the categories Quantity and Quality, whereas the rest of the categories are thought to be no more than different combinations of these two categories with the category Substance. The discussion will pay special attention to the function of the categories of Quantity and Quality as mediators between logic and mathematics. (shrink)

Ever since ?ukasiewicz, it has been opinio communis that Aristotle's modal syllogistic is incomprehensible due to its many faults and inconsistencies, and that there is no hope of finding a single consistent formal model for it. The aim of this paper is to disprove these claims by giving such a model. My main points shall be, first, that Aristotle's syllogistic is a pure term logic that does not recognize an extra syntactic category of individual symbols besides syllogistic terms and, second, (...) that Aristotelian modalities are to be understood as certain relations between terms as described in the theory of the predicables developed in the Topics. Semantics for modal syllogistic is to be based on Aristotelian genus-species trees. The reason that attempts at consistently reconstructing modal syllogistic have failed up to now lies not in the modal syllogistic itself, but in the inappropriate application of modern modal logic and extensional set theory to the modal syllogistic. After formalizing the underlying predicable-based semantics (Section 1) and having defined the syllogistic propositions by means of its term logical relations (Section 2), this paper will set out to demonstrate in detail that this reconstruction yields all claims on validity, invalidity and inconclusiveness that Aristotle maintains in the modal syllogistic (Section 3 and 4). (shrink)

There have been and continue to be disagreements about how to consider the traditional square of opposition and the traditional inferences of obversion, conversion, contraposition and inversion from the perspective of contemporary quantificational logic. Philosophers have made many different attempts to save traditional inferences that are invalid when they involve empty classes. I survey some of these attempts and argue that the only satisfactory way of saving all the traditional inferences is to make the existential assumption that both the subject (...) and predicate classes and their complement classes are non-empty for all the propositions we admit. I briefly indicate the room for continued controversy over how properly to interpret Aristotle?s statements regarding these inferences, but find some plausibility in the views of Manley Thompson and A.N.Prior that Aristotle had in mind a particular arrangement of existential import unfamiliar to most contemporary logicians. (shrink)

One way to determine the quality and pace of change in a science as it undergoes a major transition is to follow some feature of it which remains relatively stable throughout the process. Following the chosen item as it goes through reinterpretation permits conclusions to be drawn about the nature and scope of the broader change in question. In what follows, this device is applied to the change which took place in logic in the mid-nineteenth century. The feature chosen as (...) the focal point is the categorical syllogism. (shrink)

This article was written jointly by a philosopher and a mathematician. It has two aims: to acquaint mathematicians with some of the philosophical questions at the foundations of their subject and to familiarize philosophers with some of the answers to these questions which have recently been obtained by mathematicians. In particular, we argue that, if these recent findings are borne in mind, four different basic philosophical positions, logicism, formalism, platonism and intuitionism, if stated with some moderation, are in fact reconcilable, (...) although with some reservations in the case of logicism, provided one adopts a nominalistic interpretation of Plato's ideal objects. This eclectic view has been asserted by Lambek and Scott (LS 1986) on fairly technical grounds, but the present argument is meant to be accessible to a wider audience and to provide some new insights. (shrink)

La hipótesis que intentaremos defender en este trabajo es que en Sobre la filosofía Aristóteles hace una defensa dialéctica de su concepción de los principios, tomando como punto de partida algunas de las opiniones existentes al respecto. En ese sentido, el modo de proceder aristotélico en esta obra es consistente con el implementado con idénticos fines en las obras canónicas y contribuye a comprender el uso epistémico de la dialéctica en este pensador. Para demostrar esto, nos centraremos en el análisis (...) del fragmento 17. A tales efectos, dividiremos el trabajo en dos partes: en la primera, analizaremos el uso de las opiniones citadas en relación con el tema a discutir; en la segunda, examinaremos los recursos metodológicos por medio de los cuales Aristóteles da cuenta de sus propias concepciones. (shrink)

This paper explores the question of what makes diagrammatic representations effective for human logical reasoning, focusing on how Euler diagrams support syllogistic reasoning. It is widely held that diagrammatic representations aid intuitive understanding of logical reasoning. In the psychological literature, however, it is still controversial whether and how Euler diagrams can aid untrained people to successfully conduct logical reasoning such as set-theoretic and syllogistic reasoning. To challenge the negative view, we build on the findings of modern diagrammatic logic and introduce (...) an Euler-style diagrammatic representation system that is designed to avoid problems inherent to a traditional version of Euler diagrams. It is hypothesized that Euler diagrams are effective not only in interpreting sentential premises but also in reasoning about semantic structures implicit in given sentences. To test the hypothesis, we compared Euler diagrams with other types of diagrams having different syntactic or semantic properties. Experiment compared the difference in performance between syllogistic reasoning with Euler diagrams and Venn diagrams. Additional analysis examined the case of a linear variant of Euler diagrams, in which set-relationships are represented by one-dimensional lines. The experimental results provide evidence supporting our hypothesis. It is argued that the efficacy of diagrams in supporting syllogistic reasoning crucially depends on the way they represent the relational information contained in categorical sentences. (shrink)

Peter Abelard and William of Ockham represent the two main figures of the nominalism of the Middle Ages. Both share the fundamental thesis of that doctrine, according to which only individual entities exist. The repercussions of nominalism are quite evident in relation to the question of universals, which constitutes a subject that, until now, won the attention of the majority of contemporary studies on the two most important logicians of their time. Nevertheless the nominalism of each of these two protagonists (...) apparently diverges in a significant manner, especially in respect to the role exercised by the mind in the semantic process. Ockham seems to distance himself definitely from his predecessors, including Abelard, when he transfers grammar and semantic functions of conventional language to the level of mental language. In the present article, the chief intention is to expound the theory of sign and signification of each of the authors under consideration. The ultimate objective is to compare their respective semantic positions and indicate the principal points of agreement and disagreement, keeping in mind the hypothesis according to which these two medieval nominalists should have more theoretical elements in common than not. (shrink)

Inference versus consequence , an invited lecture at the LOGICA 1997 conference at Castle Liblice, was part of a series of articles for which I did research during a Stockholm sabbatical in the autumn of 1995. The article seems to have been fairly effective in getting its point across and addresses a topic highly germane to the Uppsala workshop. Owing to its appearance in the LOGICA Yearbook 1997 , Filosofia Publishers, Prague, 1998, it has been rather inaccessible. Accordingly it is (...) republished here with only bibliographical changes and an afterword. (shrink)

Quantifiers in Frege's Grundgesetze like are not well-defined because the part Fx & Gx stands for a concept but the yoking conjunction is horizontalised and must stand for a truth-value. This standard interpretation is rejected in favor of a substitutional reading that, it is argued, both conforms better to the text and is well-defined. The theory of the horizontal is investigated in detail and the composite reading of Frege's connectives as made up of horizontals is rejected. The sense in which (...) the Grundgesetze has a many-valued but classical logic is explained by proving that its propositional fragment (under the standard interpretation) and Bochvar's 3-valued logic are instances of the same metatheoretic methods. Historically, the paper argues for a more naive but well-defined reading of the text. Theoretically, it provides a formally adequate statement of that semantics, as well as developing the abstract metatheory which embraces Bochvar's language and the Fregean fragment. (shrink)

Charles L. Dodgson's reputation as a significant figure in nineteenth-century logic was firmly established when the philosopher and historian of philosophy William Warren Bartley, III published Dodgson's ?lost? book of logic, Part II of Symbolic Logic, in 1977. Bartley's commentary and annotations confirm that Dodgson was a superb technical innovator. In this paper, I closely examine Dodgson's methods and their evolution in the two parts of Symbolic Logic to clarify and justify Bartley's claims. Then, using more recent publications and unpublished (...) letters, I argue that Dodgson approached the elimination problem in class logic differently than his contemporaries, and in doing so, anticipated several important concepts and techniques in automated deductive reasoning. These materials also provide additional insight into his reasons for writing this book. (shrink)

Although at present analytic philosophy is practiced mainly in the English-speaking world, it is to a considerable part the invention of German speakers. Its emergence owes much to Russell, Moore, and American Pragmatism, but even more to Frege, Wittgenstein, and the logical positivists of the Vienna Circle. No one would think of analytic philosophy as a specifically Anglophone phenomenon, if the Nazis had not driven many of its pioneers out of central Europe.

We revisit a typological puzzle due to Horn (Doctoral Dissertation, UCLA, 1972) regarding the lexicalization of logical operators: in instantiations of the traditional square of opposition across categories and languages, the O corner, corresponding to ‘nand’ (= not and), ‘nevery’ (= not every), etc., is never lexicalized. We discuss Horn’s proposal, which involves the interaction of two economy conditions, one that relies on scalar implicatures and one that relies on markedness. We observe that in order to express markedness and to (...) account for a bigger typological puzzle, namely the absence of lexicalizations of ‘XOR’ (= exclusive or), ‘all-or-none’, and many other imaginable logical operators, one must restrict the basic lexicalizable elements to a small set of primitives. We suggest that an ordering based perspective, following Keenan and Faltz (Boolean semantics for natural language, 1985), makes the stipulated primitives that we arrive at more natural. We also propose a modification to Horn’s proposal, based on recent work on implicatures, in which only the implicature condition is operative and in which markedness is part of the definition of the alternatives for scalar implicatures rather than an independent condition. (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)

The work of Hugh MacColl (1837–1909) suffered the same fate after his death as before it:despite being vaguely alluded to and in part even commended, on the whole it has remained an unknown quantity. Even worse, those of his ideas which have played a decisive role in the history of logic have been credited to his successors; this is especially the case with the definition of strict implication and the first formal development of formal modal logic. This paper takes an (...) initial step towards a rectification of this unfortunate misrepresentation, presenting a bibliography of MacColl’s most significant publications with particular regard to their reception. (shrink)

The approach used by Boole in Mathematical analysis of logic to develop propositional logic was based on the idea of ?cases? or ?conjunctures of circumstances?. But this was dropped in Laws of thought in favor of one which Boole considered to be more satisfactory, that of using the notion of ?time for which a proposition is true?. We show that, when suitable clarifications and corrections are made, the earlier approach? which accords with modern logic in eschewing the extraneous notion of (...) time?is indeed a viable one. (shrink)

Charles S. Peirce frequently mentioned reading Richard Whately's Elements of Logic when he was 12 years old. Throughout his life, Peirce emphasized the importance of that experience. This valorization of Whately is puzzling at first. Early in his career Peirce rejected Whately's central logical doctrines. What valuable insight concerning logic was robust enough to survive these specific rejections? Peirce recommended a biographical approach to understanding his philosophy. This essay follows that suggestion by considering Peirce's reading of Whately in a larger (...) life context. Surprisingly many factors in Charles Peirce's personal and intellectual development were at play when he read Whately. His father, Benjamin Peirce, oversaw rigorous home schooling intended to train young Charley for a brilliant intellectual career. Laboratory experience with qualitative chemical analysis exposed the boy to the logic of scientific investigation, specifically to the hypothetico-deductive method of inquiry. However, tensions between father and son developed over Charles' wish to devote his life to studying the logic of science. The two also disagreed upon the value of formal science. Against this background we will review relevant logical doctrines of Whately's book, as well as his innovative formalizing practice of logical inquiry. Then we will see that it was Whately's lessons about formal science that were of such importance to Peirce. (shrink)

What is logical relevance? Anderson and Belnap say that the “modern classical tradition [,] stemming from Frege and Whitehead-Russell, gave no consideration whatsoever to the classical notion of relevance.” But just what is this classical notion? I argue that the relevance tradition is implicitly most deeply concerned with the containment of truth-grounds, less deeply with the containment of classes, and least of all with variable sharing in the Anderson–Belnap manner. Thus modern classical logicians such as Peirce, Frege, Russell, Wittgenstein, and (...) Quine are implicit relevantists on the deepest level. In showing this, I reunite two fields of logic which, strangely from the traditional point of view, have become basically separated from each other: relevance logic and diagram logic. I argue that there are two main concepts of relevance, intensional and extensional. The first is that of the relevantists, who overlook the presence of the second in modern classical logic. The second is the concept of truth-ground containment as following from in Wittgenstein’s Tractatus. I show that this second concept belongs to the diagram tradition of showing that the premisses contain the conclusion by the fact that the conclusion is diagrammed in the very act of diagramming the premisses. I argue that the extensional concept is primary, with at least five usable modern classical filters or constraints and indefinitely many secondary intensional filters or constraints. For the extensional concept is the genus of deductive relevance, and the filters define species. Also following the Tractatus, deductive relevance, or full truth-ground containment, is the limit of inductive relevance, or partial truth-ground containment. Purely extensional inductive or partial relevance has its filters or species too. Thus extensional relevance is more properly a universal concept of relevance or summum genus with modern classical deductive logic, relevantist deductive logic, and inductive logic as its three main domains. (shrink)

In this article I try to show the philosophical continuity of Russell's ideas from his paradox of classes to Principia mathematica. With this purpose, I display the main results (descriptions, substitutions and types) as moments of the same development, whose principal goal was (as in his The principles) to look for a set of primitive ideas and propositions giving an account of all mathematics in logical terms, but now avoiding paradoxes. The sole way to reconstruct this central period in Russell (...) is to resort to unpublished manuscripts, which show the publications of these years to be the extremities of one same iceberg. Thus the logical problems (doubts about propositions, matrices and functions) are parallel to the ontological (the searching for genuine logical subjects) and methodological ones (the status of eliminative reduction). Paradoxes were the cause that the kind of (constructive) definition already applied by Russell, as an inheritance of Moorean analysis, obtained a new trait: ontological elimination, which, beginning with a ?no classes theory? and the theory of descriptions, led to a new theory of judgment (already present in manuscripts from 1906), ?incomplete symbols, and logical constructions. (shrink)