Logic of John Buridan - Acts of the 3rd European Symposium on Medieval Logic & Semantics, Copenhagen 16-21 November 1975.

While for a long time the study of medieval logic focused on editorial projects and reconstructions of central medieval doctrines such as the theories of signification, supposition, consequences, and obligations, nowadays the spectrum of analysis has broadened and is increasingly informed by modern logical research, whose perspective is then applied to medieval logic. Promoting this tendency, logicians and researchers concerned with semantics in the Gesellschaft für Philosophie des Mittelalters und der Renaissance (GPMR) founded a working group bringing (...) together medieval logic and modern applied logic. The present volume is a seminal document of these interests and activities. It analyzes theories in medieval logic which are useful for solving questions of recent logic and explains crucial parts of medieval logic, philosophy, and theology by applying techniques of present-day logic. (shrink)

The text of the treatise “The Propositional Logic of Boethius” was finished in 1939. Prof. Jan Lukasiewicz wished at that time to issue it in the second volume of “Collectanea Logica”; as a result of political events, he was not able to carry out his plan. In 1938, I published an article in “Erkenntnis” entitled “AUS- sagenlogik im Mittelalter”; this article included the contents of a paper which I read to the International Congress for the Unity of Science in Cambridge, (...) England, in 1938 (Cf. Erkenntnis, vol. 7, pp. 160-168). The subject matter of this paper touched upon that of the above-mentioned treatise. Recently an article of Mr. Rend van den Driessche, “Sur le ‘de syllogismo hypothetico’ de Boece”, was published in the journal “methodos” (vol. I, no. 3). Mr. van den Driessche referred in this article to the article on propositional logic in the middle ages, which had appeared in “Erkenntnis”. This reminded me of my yet-unpublished treatise on the propositional logic of Boethius. (shrink)

The origin of Paraconsistent Logic is closely related with the argument that from the assertion of two mutually contradictory statements any other statement can be deduced, which can be referred to as ex contradict!one sequitur quodlibet (ECSQ). Despite its medieval origin, only in the 1930s did it become the main reason for the unfeasibility of having contradictions in a deductive system. The purpose of this paper is to study what happened before: from Principia Mathematica to that time, when it (...) became well established. The main historical claims that I am going to advance are the following: the first explicit use of ECSQ as the main argument for supporting the necessity of excluding any contradiction from deductive systems is to be found in the first edition (1928) of the book Grundzüge der theoretischen Logik by Hilbert and Ackermann. At the end, I will suggest that the aim of the 20th century usage of ECSQ was to change from the centuries long philosophical discussion about contradictions to a more "technical" one. But with Paraconsistent Logic viewed as a technical solution to this restriction, the philosophical problem revives, but now with an improved understanding of it at one's disposal. (shrink)

In his Welcome Message for the XXII World Congress of Philosophy hosted by Seoul National University in August 2008 the President of the International Federation of Philosophical Societies (FISP), Peter Kemp, said that—inter alia—it will be an occasion “for rethinking the great philosophical questions.” Amongst there questions how we in the present understand the philosophical past is surely a perennial query before us. In this short paper I will refer to the endeavor of understanding past philosophical thought on its own (...) terms or as presented in a current idiom as “philosophical translation.” The latter can take three forms: logical, analytical, or hermeneutic. This paper will briefly discuss all three forms vis-à-vis modern attempts to understand the medieval concept of “supposition” with special regard to the role metalanguage plays in philosophical translation. (shrink)

This volume is a collection of the Lullian contributions to the 2012 Congress of the Societe Internationale pour l'Etude de la Philosophie Medievale (SIEPM), held in Freising, Germany, 20-25 August. The Lullian Opera constitute a philosophical mirror of the medieval tradition. The questions and interests of medieval masters played a role in the Renaissance and Early Modern period through the Lullian Art. The three parts of this volume-Knowledge, Contemplation and Lullism- are intended to show that influence, collecting the (...) contributions of well-known specialists on the Lullian works, conceived of as Opera philosophica, in different areas such as geometry, logic, methodology, or Early Modern law. The results of Lullian studies in the past 20th century and the revival of Lullian discussions at present also hold an important place. The Raimundus-Lullus-Institut in Freiburg supports this edition, and in the introduction its members place the volume in the great tradition of Lullian studies. The celebration of a Lullian meeting devoted to the relationship between medieval philosophy and the Lullian Opus at the 2012 SIEPM Congress, the recent constitution of a Lullian Section by the SIEPM-Bureau to develop projects about Llull's works as a vehicle of medieval philosophical concerns and the history of its reception, and the results collected in this volume, are a good example of the increasing relevance of Llull-studies today. (shrink)

This chapter contains sections titled: A Timeline of Medieval Logicians A Guide to the Literature.

Central topics in medieval logic are here treated in a way that is congenial to the modern reader, without compromising historical reliability. The achievements of medieval logic are made available to a wider philosophical public then the medievalists themselves. The three genres of logica moderna arising in a later Middle Ages are covered: obligations, insolubles and consequences - the first time these have been treated in such a unified way. The articles on obligations look at the role of (...) logical consistence in medieval disputation techniques. Those on insolubles concentrate on medieval solutions to the Liar Paradox. There is also a systematic account of how medieval authors described the logical content of an inference, and how they thought that the validity of an inference could be guaranteed. (shrink)

(Appeared in: J. Bernard-J. Kelemen: Zeichen, Denken, Praxis , Institut fur Sozio-Semiotische Studien: Vienna, 1990, pp. 249-267. To print the published version, click here.).

The volume contains 37 invited papers presented at the Congress, covering the areas of Logic, Mathematics, Physical Sciences, Biological Sciences and the ...

Medieval Modal Logic & Science uses modal reasoning in a new way to fortify the relationships between science, ethics, and politics. Robert C. Trundle accomplishes this by analyzing the role of modal logic in the work of St. Augustine and St. Thomas Aquinas, then applying these themes to contemporary issues. He incorporates Augustine's ideas involving thought and consciousness, and Aquinas's reasoning to a First Cause. The author also deals with Augustine's ties to Aristotelian modalities of thought regarding science and (...) logic, reassessing the commonly held belief in Augustine's Platonism to not be a mistake as much as a simplistic view of his philosophy. Trundle links contemporary issues in epistemology, morality, theology, and logic, making several useful connections between ancient and medieval studies in modal logic and modern concerns. These applications of modal theory illuminate many puzzles in the works of Heidegger, Wittgenstein, Whitehead, and Kuhn. (shrink)

The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comprehensive picture of the present state of research in all directions of Logic and Philosophy of Science. The final program counted 51 invited lectures and around 700 contributed papers, distributed in 15 sections. Following the tradition of previous LMPS-meetings, some authors, whose papers aroused particular interest, were invited to submit their works for publication in a collection of (...) selected contributed papers. Due to the large number of interesting contributions, it was decided to split the collection into two distinct volumes: one covering the areas of Logic, Foundations of Mathematics and Computer Science, the other focusing on the general Philosophy of Science and the Foundations of Physics. As a leading choice criterion for the present volume, we tried to combine papers containing relevant technical results in pure and applied logic with papers devoted to conceptual analyses, deeply rooted in advanced present-day research. After all, we believe this is part of the genuine spirit underlying the whole enterprise of LMPS studies. (shrink)

Logic, Methodology and Philosophy of Science VII.

This volume, the first dedicated and comprehensive companion to medieval logic, covers both the Latin and the Arabic traditions, and shows that they were in fact sister traditions, which both arose against the background of a Hellenistic heritage and which influenced one another over the centuries. A series of chapters by both established and younger scholars covers the whole period including early and late developments, and offers new insights into this extremely rich period in the history of logic. The (...) volume is divided into two parts, 'Periods and Traditions' and 'Themes', allowing readers to engage with the subject from both historical and more systematic perspectives. It will be a must-read for students and scholars of medieval philosophy, the history of logic, and the history of ideas. (shrink)

I argue that the medieval form of dialectical disputation known as obligationes can be viewed as a logical game of consistency maintenance. The game has two participants, Opponent and Respondent. Opponent puts forward a proposition P; Respondent must concede, deny or doubt, on the basis of inferential relations between P and previously accepted or denied propositions, or, in case there is none, on the basis of the common set of beliefs. Respondent loses the game if he concedes a contradictory (...) set of propositions. Opponent loses the game if Respondent is able to maintain consistency during the stipulated period of time. The obligational rules are here formalised by means of familiar notational devices, and the application of some game-theoretical concepts, such as (winning) strategy, moves, motivation, allows for an analysis of some crucial properties of the game. In particular, the primacy of inferential (syntactic) relations over semantic aspects and the dynamic character of obligations are outlined. (shrink)

This book examines a widespread, and often misunderstood, doctrine within the medieval Aristotelian tradition, namely the inclusion of Aristotle's Rhetoric and Poetics within the scope of the Organon. It studies this doctrine, as presented by the Islamic philosophers Al- Fārābī, Avicenna, and Averroes, from a purely philosophical perspective, and argues that the logical construal of the arts of rhetoric and poetics is both interesting and illuminating. The book begins by examining some prevalent misconceptions regarding the logical interpretation of the (...) Rhetoric and Poetics. Chapter two considers the Greek background of the doctrine, first through an examination of the Aristotelian divisions of the sciences, and then through an examination of the beginnings of the logical classification of the Rhetoric and Poetics among the Greek commentators from the school of Alexandria. The remainder of the work is devoted to a detailed consideration of the Arabic philosophers' development of the doctrine, both their understanding of its general epistemological and logical underpinnings, and their elaboration of the specific logical structures upon which poetical and rhetorical discourse is based. Consideration is also given to the relationship between contemporary philosophical views of rhetoric and poetics, and the views of these medieval authors. (shrink)

The 14th Congress of Logic, Methodology and Philosophy of Science will be held on July 19-26, 2011, in Nancy, France . In order to provide some historical background about DLMPS Congresses, we are honoured to have the opportunity to reissue a chapter of Anita Burdman Feferman and Solomon Feferman's Alfred Tarski : Life and Logic, dedicated to the early history of the DLMPS and the organization of the first Congress held in 1960 in Stanford. We are very grateful to (...) the authors and the Cambridge University Press for their kind authorization to reissue this text. (shrink)

This chapter deals with medieval logic from the time when it first had full resources for systematic creative contributions onward. It focuses on the era when the ancient heritage was available and medieval logic was able to add something substantial to it, even to surpass it in some respects. The chapter explains that characterization such as this cannot be adequately expressed with years or by conventional period denominations; however, it is hoped that the grounds for drawing boundaries will (...) become clearer during the course of the story. (shrink)

Introduction Since my work in medieval logic has concentrated on dialectic. I have tried to trace scholastic treatments of dialectic to discussions of it in ...

Medieval logicians advanced far beyond the logic of Aristotle, and this book shows how far that advance took them in two central areas. Broadie focuses upon the work of some of the great figures of the fourteenth century, including Walter Burley, William Ockham, John Buridan, Albert of Saxony, and Paul of Venice, and deals with their theories of truth conditions and validity conditions. He reveals how much of what seems characteristically twentieth-century logic was familiar long ago. Broadie has extensively (...) revised his text for this second edition, while preserving the character of the first. There are now fuller accounts of supposition, of intentional contexts, and of medieval syllogistic, and the conclusion has been substantially expanded. (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)

Terence Parsons presents a new study of the development and continuing value of medieval logic, which expanded Aristotle's basic principles of logic in important ways. Parsons argues that the resulting system is as rich as contemporary first-order symbolic logic.

This book presents the very latest research on the medieval use of sophisms in logical and grammatical investigation by twenty-three of the leading experts in Europe and beyond. Important insights into the genre of sophismatic treatises have been gained only very recently, and the organisation of the European Symposium on this topic in 1990 led to a concentration of research and evaluation of insights. The papers are divided into three groups: one covers textual study and analysis of the role (...) of sophisms in the medieval curriculum; another deals with grammatical sophisms; and the third covers particular logical sophisms, from 'Man is the worthiest of creatures' and problems in the theory of reference to the Liar paradox and the work of William of Ockham. (shrink)

This is the first of a three-volume anthology intended as a companion to The Cambridge History of Later Medieval Philosophy. Volume 1 is concerned with the logic and the philosophy of language, and comprises fifteen important texts on questions of meaning and inference that formed the basis of Medieval philosophy. As far as is practicable, complete works or topically complete segments of larger works have been selected. The editors have provided a full introduction to the volume and detailed (...) introductory headnotes to each text; the volume is also indexed comprehensively. (shrink)

This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited lectures published in the two volumes demonstrate much of what goes on in the fields of the Congress and give (...) the state of the art of current research. The two volumes cover the traditional subdisciplines of mathematical logic and philosophical logic, as well as their interfaces with computer science, linguistics and philosophy. Philosophy of science is broadly represented, too, including general issues of natural sciences, social sciences and humanities. The papers in Volume One are concerned with logic, mathematical logic, the philosophy of logic and mathematics, and computer science. (shrink)

The very first dedicated, comprehensive companion to medieval logic, covering both the Latin and Arabic sister traditions.

PART ONE ELEMENTS OF SCHOLASTIC LOGIC I THE LEGACY OF SCHOLASTIC LOGIC "\ T 7E MAY safely describe the initial scholastic contri- VV bution to logical ...

Lectures given at the Second International Congress for Medieval Philosophy held in Cologne in 1961. Topics covered include: "The Early Scholastics—from Logic to Metaphysics"; "Platonism and neo-Platonism in Medieval Philosophy"; "Thomas Aquinas and the Old Dominicans"; "Arabian Philosophy: Averroes and His Opponents"; "The Philosophy of the Franciscans"; "Late Medieval Developments of Philosophy"; and "Sources and Editions in Medieval Philosophy." Articles appear in English, German, French, Italian, and Latin.—B. P. H.

Recent students of late medieval intellectual history have treated Oxford theologians' Sentences lectures from the 1320s to 1330s as revealing the interface of the theological, logical, and scientific thinking characteristic of a historically momentous ‘New English Theology’. Its conceptual achievement, historians generally concur, was the casting off of the speculative metaphysics of such thirteenth-century authors as Robert Grosseteste and Roger Bacon; its methodological novelty made it akin to twentieth-century analytic philosophy and seminal for the early Scientific Revolution. Yet the (...) metaphysically cast thirteenth-century sciences of perspectiva and astrologia persisted among scholars long into the early modern period. To show how this apparent paradox may be dissolved, this article details the intersection of thirteenth-century metaphysics and fourteenth-century analysis in the lectures of a controversial and influential proponent of the Oxford theology of the 1330s. (shrink)

Philosophy in the medieval Latin West before 1200 is often thought to have been dominated by Platonism. The articles in this volume question this view, by cataloguing, describing and investigating the tradition of Aristotelian logic during this period, examining its influence on authors usually placed within the Aristotelian tradition (Eriugena, Anselm, Gilbert of Poitiers), and also looking at some of the characteristics of early medieval Platonism. Abelard, the most brilliant logician of the age, is the main subject of (...) three articles, and the book concludes with two more general discussions about how and why medieval philosophy should be studied. (shrink)

William of Auvergne and His Treatise De Anima I. Introduction William of Auvergne, Bishop of Paris from until his death in, is of interest to us chiefly ...

What I want to talk about here is a puzzle for historians of philosophy who, like me, have spent a fair amount of time studying the history of mediaeval logic and semantic theory. I don’t know how to solve it, but in various forms it has come up repeatedly in my own work and in the work of colleagues I have talked with about it. I would like to share it with you now.

This collection is the final volume of a four book survey of the state of phenomenology fifty years after the death of Edmund Husserl. Its publication represents a landmark in the comprehensive treatment of contemporary phenomenology in all its vastness and richness. The diversity of the issues raised here is dazzling, but the main themes of Husserl's thought are all either explicitly treated, or else they underlie the ingenious approaches found here. Time, historicity, intentionality, eidos, meaning, possibility/reality, and teleology are (...) the main concerns of this collection devoted to studies in aesthetics, metaphysics and literary interpretation, written by such authors as, among others, R. Cobb-Stevens, C. Moreno Marquez, J. Swiecimski, Sitansu Ray and M. Kronegger. These original studies of phenomenological aesthetics and literary theory by scholars from all parts of the world were gathered by the World Institute for Advanced Phenomenological Research and Learn ing during the year 1988/89 during its assessment of the phenomeno logical movement, fifty years after Husserl's death. IX A -T. Tymieniecka (ed.), Analecta Husserliana, Vol. XXXVII, ix. (shrink)

Logic, Methodology and Philosophy of Science VI.