The paper argues that much of the difficulty with making progress on the issue of the normativity of logic for thought, as discussed in the literature, stems from a misapprehension of what logic is normative for. The claim is that, rather than mono-agent mental processes, logic in fact comprises norms for quite specific situations of multi-agent dialogical interactions, in particular special forms of debates. This reconceptualization is inspired by historical developments in logic and mathematics, in particular the pervasiveness of such (...) dialogical conceptions in the early days of logic in ancient Greece. The multi-agent, dialogical perspective then allows for the formulation of compelling 'bridge principles’ between the relation of logical consequence and dialogical normative principles, something that is notoriously difficult to achieve in a mono-agent setting pertaining exclusively to thought and belief. The upshot is also that the truth-preserving rules of logic generally do not have a primary normative bearing on mono-agent mental processes, and in this sense the paper sides with Harman's critique of the idea that logic has a normative import for thought and belief. (shrink)

The paper considers two kinds of medieval obligational disputations and the medieval genre of sophismata in relation to the kinds of inferences accepted in them. The main texts discussed are the anonymous Obligationes parisienses from the early 13th century and Richard Kilvington’s Sophismata from the early 14th century. Four different kinds of warranted transition from an antecedent to a consequent become apparent in the medieval discussions: the strong logical validity of basic propositional logic, analytic validity based on conceptual containment, merely (...) semantic impossibility of the antecedent being true without the consequent, and intuitively true counterfactual conditionals. As these different kinds of consequences are spelled out by means of obligational disputations, it appears that the genre of obligations is indeed useful for the “knowledge of consequences,” as the anonymous Obligationes parisienses claims. (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)

This paper examines Descartes' problematic relational theory of motion, especially when viewed within the context of his dynamics, the Cartesian natural laws. The work of various commentators on Cartesian motion is also surveyed, with particular emphasis placed upon the recent important texts of Garber and Des Chene. In contrast to the methodology of most previous interpretations, however, this essay employs a modern "spacetime" approach to the problem. By this means, the role of dynamics in Descartes' theory, which has often been (...) neglected in favor of kinematic factors, is shown to be central to finding a solution to the puzzle of Cartesian motion. (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)

This paper presents a new approach to resolving an apparent tension in Descartes’ discussion of scientific theories and explanations in the Principles of Philosophy. On the one hand, Descartes repeatedly claims that any theories presented in science must be certain and indubitable. On the other hand, Descartes himself presents an astonishing number of speculative explanations of various scientific phenomena. In response to this tension, commentators have suggested that Descartes changed his mind about scientific theories having to be certain and indubitable, (...) that he lacked the conceptual resources to describe the appropriate epistemic attitude towards speculative theories, or that the presence of geometrical principles in these explanations guarantee their certainty. I argue that none of these responses is satisfactory and suggest a different resolution to the tension by examining Descartes’ notion of explanation. On Descartes’ view, providing an adequate explanation does not require being certain of the theories that constitute the explanans. Relatedly, the purpose of Cartesian explanations is not to discover the truth about the various underlying mechanisms that such explanations appeal to, but to support his general philosophical thesis that all natural phenomena can be explained by appealing to the extension of matter. (shrink)

ArgumentTalk of “reason” and “rationality” has been perennial in the philosophy and sciences of the European, Latin tradition since antiquity. But the use of these terms in the early-modern period has left especial marks on the specialties and disciplines that emerged as components of “science” in the modern world. By examining discussions by seventeenth-century philosophers, including natural philosophers such as Descartes, Pascal, and Hobbes, the practical meanings of, specifically, inferential reasoning can be seen as reducing, for most, to intellectual processes (...) deriving from foundations that required intuitional insight that was owing to God. Mechanical reasoning, or artificial intelligence, was a contradiction in terms for such as Pascal, whose views of his own arithmetical machine illustrate the issue well. Hobbes’ analysis of reason, however, replaced the ineffable authority of God with the authority of the civil power, to reveal the social reality of “reason” as nothing other than authorized judgment. (shrink)

I examine the theory of consequentia of the medieval logician, John Buridan. Buridan advocates a strict commitment to what we now call proposition-tokens as the bearers of truth-value. The analysis of Buridan's theory shows that, within a token-based semantics, amendments to the usual notions of inference and consequence are made necessary, since pragmatic elements disrupt the semantic behaviour of propositions. In my reconstruction of Buridan's theory, I use some of the apparatus of modern two-dimensional semantics, such as two-dimensional matrices and (...) the distinction between the context of formation and the context of evaluation of utterances. (shrink)

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed (...) with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. For this reason, this is perhaps the first time that these medieval logical theories are made fully accessible to the modern philosopher and logician who wishes to obtain a better grasp of them, but who has always been held back by the lack of appropriate ‘translations' into modern terms.Moreover, the book offers a reflection on the very nature of logic, a reflection that is prompted by the comparisons between medieval and modern logic, their similarities and dissimilarities. It is thus a contribution not only to the history of logic, but also to the philosophy of logic, the philosophy of language and semantics.The analysis of medieval logic is also relevant for the modern philosopher and logician in that, being the unifying methodology used across all disciplines at that time, logic really provided unity to science. It thus presents a unified model of scientific investigation, where logic plays the aggregating role. (shrink)

This thesis is on the history and philosophy of logic and semantics. Logic can be described as the ‘science of reasoning’, as it deals primarily with correct patterns of reasoning. However, logic as a discipline has undergone dramatic changes in the last two centuries: while for ancient and medieval philosophers it belonged essentially to the realm of language studies, it has currently become a sub-branch of mathematics. This thesis attempts to establish a dialogue between the modern and the medieval traditions (...) in logic, by means of ‘translations’ of the medieval logical theories into the modern framework of symbolic logic, i.e. formalizations. One of its conclusions is that, when properly understood within their own framework, the interest of medieval logical theories for modern investigations go beyond mere historical interest, but that a thorough conceptual analysis of such theories must be undertaken in order to avoid conceptual misprojections. While such translations of medieval into modern logic have been attempted before, the approach presented here is innovative in that attention is paid to the similarities as well as to the dissimilarities between the two traditions, and to what can be learned from the medieval masters for modern investigations in logic and semantics. (shrink)

This article presents a novel reading of Descartes’s critique of the traditional syllogistic. The reading differs from those previously presented by scholars who regard Descartes’s critique as a version of a well-known argument: that syllogisms are circular or non-ampliative and thus trivial. It is argued that Descartes did not see syllogisms as defective in themselves. For him the problem was rather that anyone considering a valid and informative syllogism must already know, by an intuition wholly independent of the syllogism, that (...) the conclusion follows from the premises. Moreover, without such an intuition the syllogistic on its own is incapable of determining whether the consequence truly holds. Thus the syllogistic is useless unless accompanied by an intuition that renders it otiose. This reading of Descartes’s view is supported and explained by examples drawn from Descartes’s writing and from the Port-Royal Logic—one of the first attempts to develop a logical system on Cartesian principles. (shrink)

Vyrauja nuomonė, jog ankstyvoji Descartes’o filosofija angažuojasi metodologinėms problemoms, o tai laikytina naujosios epochos ženklu. Tačiau turint omenyje tokios problematikos išskirtinį aktualumą Aristoteliui bei faktą, kad Descartes’o metodologija aiškiai stokoja apibrėžtumo, jo santykis su ankstesniąja tradicija turėtų būti įvertintas naujai. Straipsnyje siekiama apginti požiūrį, kad „Proto vadovavimo taisyklėse“, savo pirmajame filosofiniame veikale, Descartes’as demonstruoja pastangas duoti tvirtą epistemologinį pagrindą teorinio mąstymo išlaisvinimui iš bet kokių formalių apribojimų. Pateikdamas naują mąstymo procedūrų traktuotę, Descartes’as numato perspektyvų įvairovės galimybę teoriniame reiškinių aiškinime ir (...) šiuo aspektu atsiskleidžia jo originalumas. (shrink)