Aristotle’s modal syllogistic is his study of patterns of reasoning about necessity and possibility. Many scholars think the modal syllogistic is incoherent, a ‘realm of darkness’. Others think it is coherent, but devise complicated formal modellings to mimic Aristotle’s results. This volume provides a simple interpretation of Aristotle’s modal syllogistic using standard predicate logic. Rini distinguishes between red terms, such as ‘horse’, ‘plant’ or ‘man’, which name things in virtue of features those things must have, and green terms, such as (...) ‘moving’, which name things in virtue of their non-necessary features. By applying this distinction to the Prior Analytics, Rini shows how traditional interpretive puzzles about the modal syllogistic melt away and the simple structure of Aristotle’s own proofs is revealed. The result is an applied logic which provides needed links between Aristotle’s views of science and logical demonstration. The volume is particularly valuable to researchers and students of the history of logic, Aristotle’s theory of modality, and the philosophy of logic in general. (shrink)

Relying upon a very close reading of all of the definitions given in Euclid’s Elements, I argue that this mathematical treatise contains a philosophical treatment of mathematical objects. Specifically, I show that Euclid draws elaborate metaphysical distinctions between substances and non-substantial attributes of substances, different kinds of substance, and different kinds of non-substance. While the general metaphysical theory adopted in the Elements resembles that of Aristotle in many respects, Euclid does not employ Aristotle’s terminology, or indeed, any philosophical terminology at (...) all. Instead, Euclid systematically uses different types of definition to distinguish between metaphysically different kinds of mathematical object. (shrink)

This paper sets out to evaluate the claim that Aristotle’s Assertoric Syllogistic is a relevance logic or shows significant similarities with it. I prepare the grounds for a meaningful comparison by extracting the notion of relevance employed in the most influential work on modern relevance logic, Anderson and Belnap’s Entailment. This notion is characterized by two conditions imposed on the concept of validity: first, that some meaning content is shared between the premises and the conclusion, and second, that the premises (...) of a proof are actually used to derive the conclusion. Turning to Aristotle’s Prior Analytics, I argue that there is evidence that Aristotle’s Assertoric Syllogistic satisfies both conditions. Moreover, Aristotle at one point explicitly addresses the potential harmfulness of syllogisms with unused premises. Here, I argue that Aristotle’s analysis allows for a rejection of such syllogisms on formal grounds established in the foregoing parts of the Prior Analytics. In a final section I consider the view that Aristotle distinguished between validity on the one hand and syllogistic validity on the other. Following this line of reasoning, Aristotle’s logic might not be a relevance logic, since relevance is part of syllogistic validity and not, as modern relevance logic demands, of general validity. I argue that the reasons to reject this view are more compelling than the reasons to accept it and that we can, cautiously, uphold the result that Aristotle’s logic is a relevance logic. (shrink)

It is well known that reductio ad absurdum arguments raise a number of interesting philosophical questions. What does it mean to assert something with the precise goal of then showing it to be false, i.e. because it leads to absurd conclusions? What kind of absurdity do we obtain? Moreover, in the mathematics education literature number of studies have shown that students find it difficult to truly comprehend the idea of reductio proofs, which indicates the cognitive complexity of these constructions. In (...) this paper, I start by discussing four philosophical issues pertaining to reductio arguments. I then briefly present a dialogical conceptualization of deductive arguments, according to which such arguments are best understood as a dialogue between two participants—Prover and Skeptic. Finally, I argue that many of the philosophical and cognitive difficulties surrounding reductio arguments are dispelled or at least further clarified once one adopts a dialogical perspective. (shrink)

The middle years of the nineteenth century saw two crucial develop ments in the history of modern logic: George Boole's algebraic treat ment of logic and Augustus De Morgan's formulation of the logic of relations. The former episode has been studied extensively; the latter, hardly at all. This is a pity, for the most central feature of modern logic may well be its ability to handle relational inferences. De Morgan was the first person to work out an extensive logic of (...) relations, and the purpose of this book is to study this attempt in detail. Augustus De Morgan (1806-1871) was a British mathematician and logician who was Professor of Mathematics at the University of London (now, University College) from 1828 to 1866. A prolific but not highly original mathematician, De Morgan devoted much of his energies to the rather different field of logic. In his Formal Logic (1847) and a series of papers "On the Syllogism" (1846-1862), he attempted with great ingenuity to reformulate and extend the tradi tional syllogism and to systematize modes of reasoning that lie outside its boundaries. Chief among these is the logic of relations. De Mor gan's interest in relations culminated in his important memoir, "On the Syllogism: IV and on the Logic of Relations," read in 1860. (shrink)

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

How many scientific demonstrations can a single phenomenon have? This paper argues that, according to Aristotle's theory of scientific knowledge as laid out in the Posterior Analytics, a single conclusion may be demonstrated via more than one explanatory middle term. I also argue that this model of multiple demonstration is put into practice in the biological writings. This paper thereby accomplishes two related goals: it clarifies certain relatively obscure passages of the Posterior Analytics and uses them to show how Aristotle (...) explains biological phenomena by reference to both final and material causes in the Parts of Animals. The first part of the paper explains the account of multiple demonstration present in the Posterior Analytics and distinguishes it from another kind of plural explanation rejected by Aristotle. The second part of the paper turns to the biological explanation in the Parts of Animals and shows how Aristotle's account of multiple demonstrations works in practice. The paper thus provides evidence for the claim that the ‘applied’ reasoning on display in the biological works is in harmony with the framework of the logical treatises, and thus may also shed light on questions of the unity of the Aristotelian corpus. (shrink)

In a recent paper Johan van Benthem reviews earlier work done by himself and colleagues on ‘natural logic’. His paper makes a number of challenging comments on the relationships between traditional logic, modern logic and natural logic. I respond to his challenge, by drawing what I think are the most significant lines dividing traditional logic from modern. The leading difference is in the way logic is expected to be used for checking arguments. For traditionals the checking is local, i.e. separately (...) for each inference step. Between inference steps, several kinds of paraphrasing are allowed. Today we formalise globally: we choose a symbolisation that works for the entire argument, and thus we eliminate intuitive steps and changes of viewpoint during the argument. Frege and Peano recast the logical rules so as to make this possible. I comment also on the traditional assumption that logical processing takes place at the top syntactic level, and I question Johan’s view that natural logic is ‘natural’. (shrink)

There is agreement neither concerning the point that is being made in Posterior analytics 96b15–25 nor the issue Aristotle intends to address. There are two major lines of interpretation of this passage. According to one, sketched by Themistius and developed by Philoponus and Eustratius, Aristotle is primarily concerned with determining the definitions of the infimae species that fall under a certain genus. They understand Aristotle as arguing that this requires collating definitional predictions, seeing which are common to which species. Pacius, (...) on the other hand, takes Aristotle to be saying that a genus is studied scientifically through first determining the infimae species that fall under that genus. This interpretation attributes to Aristotle a distinction between primary and derivative subjects. I argue for Pacius’s interpretation, defending it against Barnes’s objections.Author Keywords: Demonstration; Definition; Aristotle; Species; Principles. (shrink)

In this paper, I submit an overall interpretation of Aristotle’s Analytics which I could express, to put it in a nutshell, by saying that the Analytics are analytic. That is, they do not lay out progressive or constructive processes, in which, given certain fundamental premises, terms or rules, one would go ahead and draw conclusions or even build a systematic body of knowledge on the basis of these principles. Rather they describe a backward movement, starting from a proposed or provisional (...) conclusion and asking which premises could be used in order to deduce, support, prove or explain it. (shrink)

One of the hardest questions to answer for a (Neo)platonist is to what extent and how the changing and unreliable world of sense perception can itself be an object of scientific knowledge. My dissertation is a study of the answer given to that question by the Neoplatonist Proclus (Athens, 411-485) in his Commentary on Plato’s Timaeus. I present a new explanation of Proclus’ concept of nature and show that philosophy of nature consists of several related subdisciplines matching the ontological stratification (...) of nature. Moreover, I demonstrate that for Proclus philosophy of nature is a science, albeit a hypothetical one, which takes geometry as its methodological paradigm. I also offer an explanation of Proclus’ view of what is later called the mathematization of physics, i.e. the role of the substance of mathematics, as opposed to its method, in explaining the natural world. Finally, I discuss Proclus’ views of the discourse of philosophy of nature and its iconic character. (shrink)

The purpose of this dissertation is to present historical evidence in favor of the thesis that many forms of dichotomy appearing in the history of epistemology are related to the duality represented by the mathematical concepts of continuity and discreteness. Parts 1 and 2 give a descriptive and historical account of epistemological dichotomies appearing during the development of mathematics and logic. In part 3, the implications of these dichotomies for general philosophy are explored by means of a collage of analytic, (...) historical, and factual materials, accompanied by brief commentaries, and aimed at establishing the following points: Acceptance of the primordial intuition of continuity distinguishes the constructive model from the structural model in epistemology; The constructive model emphasizes meaningful thought processes of the reflecting and acting subject, while the structural model emphasizes publicly recognizable and communicable thought processes based upon logic, linguistics, or natural law; An activity which translates between the constructive model and the structural model by means of symbols which include iconic components is to be called "aesthetic"; The function of aesthetics is to bring about harmonious and productive relations between individuals and the larger wholes to which they belong. ;The conclusion is reached that, from the point of view of the individual, aesthetics is important for motivation and for the development of cognitive powers and moral sensibilities; from the point of view of the species, aesthetics is important for long-term survival. Therefore, logic and aesthetics are of equal and complementary importance and deserve equal consideration in the study of epistemology. (shrink)

This is the first part of a work in progress, which contains Introduction, explaining the whole project, and a chapter on Euclid's "Elements". The idea of the book is to describe foundations in mathematics in their history from Euclid until today (making a reasonable choice of material) and then provide a project of future foundations of mathematics. Further historical parts of the book will contain chapters on "New Elements of Geometry" by Arnauld (first published in 1667), Hilbert's "Grundlagen der Geometrie" (...) first published in 1899 and Bourbaki's "Elements of Mathematics". The part of the book describing prospective future foundations of mathematics will be on Category theory. (shrink)