We describe the earliest occurrences of the Liar Paradox in the Arabic tradition. e early Mutakallimūn claim the Liar Sentence is both true and false; they also associate the Liar with problems concerning plural subjects, which is somewhat puzzling. Abharī (1200-1265) ascribes an unsatisfiable truth condition to the Liar Sentence—as he puts it, its being true is the conjunction of its being true and false—and so concludes that the sentence is not true. Tūsī (1201-1274) argues that self-referential sentences, like the (...) Liar, are not truth-apt, and defends this claim by appealing to a correspondence theory of truth. Translations of the texts are provided as an appendix. (shrink)

Josse Clichtove represents a turning point in the history of disputation, for he combines one of the earliest accounts of the doctrinal disputation with one of the latest accounts of the obligational disputation. This paper describes the nature and significance of the theories that he offered. Particular attention is paid to the doctrines of truth, necessity and possibility which lie behind his doctrines; and also to the light which his work throws on the aims and nature of an obligational disputation.

HISTORICAL INTRODUCTION Although many of the details of the development of logic in the Middle Ages remain to be filled in, it is well known that between ...

I examine the treatment of metaphor by medieval logicians and how it stemmed from their reception of classical texts in logic, grammar, and rhetoric. I consider the relation of the word 'metaphor' to the notions of translatio and transumptio, and show that it is not always synonymous with these. I also show that in the context of commentaries on the Sophistical Refutations metaphor was subsumed under equivocation. In turn, it was linked with the notion of analogy not so much in (...) the Greek sense of a similarity between two proportions or relations as in the new medieval sense of being said secundum prius et posterius. Whether or not analogy could be reduced to metaphor, or the reverse, depended on the controversial issue of the number of acts of imposition needed to produce an equivocal term. A spectrum of views is canvassed, including those found in the logic commentaries of John Duns Scotus. (shrink)

INTRODUCTION The main purpose of this work is to provide an English translation of and commentary on a recently published Arabic text dealing with ...

"On Reduplication is a study of the logical properties of reduplicative propositions, that is, of propositions having qualifications, like 'Christ "qua God is a ...

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 ...

Epistemic logic is one of the most exciting areas in medieval philosophy. Neglected almost entirely after the end of the Middle Ages, it has been rediscovered by philosophers of the twentieth century. Epistemic Logic in the Later Middle Ages provides the first comprehensive study of the subject. Ivan Boh explores the contrast between epistemic and alethic conceptions of consequence, the general epistemic rules of consequence, the search for conditions of knowing contingent propositions, the problems of substitutivity in intentional contexts, the (...) considerations of epistemic/doxastic iterated modalities, and the problems of composite and divided senses in authors ranging from Abelard to Frachantian. Boh concludes with a comparison between medieval endeavors and the epistemic logic of our own times. Written in a clear and readable style with minimal symbolic apparatus, this book employs modern symbolism and conceptual frameworks, and complements the studies of the syntacticand semantic dimensions of medieval logic. (shrink)

The notion of 'symbol' in Eriugena's writing is far from clear. It has an ambiguous semantic connection with other terms such as 'signification', 'figure', 'allegory', 'veil', 'agalma', 'form', 'shadow', 'mystery' and so on. This paper aims to explore into the origins of such a semantic ambiguity, already present in the texts of the pseudo-Dionysian corpus which Eriugena translated and commented upon. In the probable Neoplatonic sources of this corpus, the Greek term symbolon shares some aspects of its meaning with other (...) words inherited from the ancient tradition, such as synthēma , eikōn , homoiotēs. Some of them, such as eikōn and homoiotēs, belong to the field of images and are associated with linguistic semantics in the Neoplatonic commentaries not only to Plato but also to Aristotle's logical works. Among the late ancient Neoplatonists, particular attention is paid to Proclus and to his use of the term agalma. In fact, the textual history of this word seems to be a privileged perspective from which to reconstruct the Neoplatonic semantic blending of symbol and image, as well as the main role played by linguistic issues in this conflation. (shrink)

In the history of medieval semantics, supposition theory is important especially in the twelfth and thirteenth centuries. In this theory the emphasis is on the term, whose properties one tries to determine. In the fourteenth century the focus is on the proposition, of which a term having supposition is a part. The idea is to analyse propositions in order to determine their truth (probare). The Speculum puerorum written by Richard Billingham was the standard textbook for this approach. It was very (...) influential in Europe. The theory of the probatio propositionis was meant to solve problems both in (empirically oriented) scientific propositions such as used by the Oxford Calculators, and theological propositions, especially those about the Trinity. The book is original, concise, but not clear in every respect. Studying medieval commentaries may help us to understand Richard's book. In the present paper three commentaries are presented. The commentators discussed problems about the status of Richard's book, and about its doctrine: what is the relation between probatio and truth, what is the relation between probatio and supposition, what exactly are mediate and immediate terms (e.g.is the pronoun 'this' mediate or immediate?). The commentators sometimes criticize Richard. For example, one of them argues, against Billingham, that the verb 'can' ampliates its subject term and is therefore mediate. (shrink)

Bos and Read present here two medieval treatises on concepts.

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 article is currently available as a free download on ingentaconnect.

Walter Burley (1275-c.1344) and John Wyclif (1328-1384) follow two clearly stated doctrinal options: on the one hand, they are realists and, on the other, they defend a correspondence theory of truth that involves specific correlates for true propositions, in short: truth-makers. Both characteristics are interdependent: such a conception of truth requires a certain kind of ontology. This study shows that a) in their explanation of what it means for a proposition to be true, Burley and Wyclif both develop what we (...) could call a theory of intentionality in order to explain the relation that must obtain between the human mind and the truth-makers, and b) that their explanations reach back to Augustine, more precisely to his theory of ocular vision as exposed in the De trinitate IX as well as to his conception of ideas found in the Quaestio de ideis. (shrink)

"The role of logic in the Middle Ages. Regarding the role of logic within the framework of arts and sciences during the Middle Ages, we have to distinguish two related aspects, one institutional and the other scientific. As to the first aspect, we have to remember that the medieval educational system was based on the seven liberal arts, which were divided into the trivium, i.e., three arts of language, and the quadrivium, i.e., four mathematical arts. The so-called trivial arts were (...) grammar, rhetoric, and logic, and during a period of several centuries virtually every educated person, at least every university graduate, received a training in these matters, especially in logic. Students in the medieval faculty of arts probably spent more time studying logic than any other discipline. This first -- institutional -- aspect concerning the role of logic is explained by the second -- scientific -- aspect. The trivial disciplines provided techniques of analysis and a technical vocabulary that permeate philosophical, scientific and theological writings. Logic, as mentioned before, was referred to and was generally regarded as the art of arts and the science of sciences. The increasing cultural dominance of the universities with their obligatory disputationes and their hierarchy of examinations on the one hand and the outstanding status of logic on the other were corresponding features of the educational world of the 13th century. The core of the logic curriculum from the 12th century onwards was provided by the logical works of Aristotle. These represented the material for the study of types of predication, the analysis of simple propositions or statements (2) and their relations of inference and equivalence, the analysis of modal propositions, of the structure and the types of the syllogism, dialectical topics, fallacies and scientific reasoning as based on the demonstrative syllogism. Medieval logicians, however, realized that there were other, non-Aristotelian, approaches to logical subjects, questions and methods that could be investigated.. (shrink)

"At the end of the fourteenth century there were roughly three categories of work available to those studying logic. The first category is that of commentaries on Aristotle's 'Organon'. The most comprehensive of these focussed either on the books of the Logica Vetus, which included Porphyry's Isagoge along with the Categories and De Interpretatione; or on the books of the Logica Nova, the remaining works of the 'Organon' which had become known to the West only during the twelfth century. In (...) addition there were, of course, numerous commentaries on individual books of the.. (shrink)

"With Abelard, the term 'copula' enters into western thought. In fact, although widely attested, the use of the term 'copula' in reference to Aristotle's work is totally anachronistic. (1) What led to this term? In his Dialectica, Abelard was mainly concerned with the way syllogisms can be construed. The interest of the copula was in fact derivative from this main concern. As Kneale and Kneale (The development of logic, 1962: 206) put it, 'it is clear that for his [Aristotle's] theory (...) of syllogism he assumes in every general proposition two terms of the same kind, that is to say, each capable of being a subject and each capable of being a predicate'. Thus, since the only linguistic entities that can play these two roles are nouns (in modern terms, noun phrases), it is easy to understand why the copula became central. Abelard pursued the Aristotelian theory by emphasizing the role of be as the element that can turn a noun into a predicate in a syllogism rather than as the element that provides the sentence with a time specification (see Dialectica: 161). It is this conceptual shift that underlies the invention of the term 'copula', which is cast on the Latin copulare meaning 'to link'. For example, in sentences like a man is a mammal and Socrates is a man the copula allows the noun phrase a man to play the role of the subject, in the first, and that of the predicate, in the second. Clearly, in such a framework the assumption that the copula can be interpreted as a predicate meaning 'existence'. (shrink)

Each inhabitant of our world Gilbert calls (following Boethius) an id quod est or subsistens. Its main constituents are the subsistentiae (or the subsistent's id quo which is sometimes taken collectively to stand for ea quibus) and these are accompanied by the 'accidents', quantity and quality. The subsistent owes its status (or transitory condition) to a collection of inferior members of the Aristotelian class of accidents, which to Gilbert's mind are rather 'accessories' or 'attachments from without' (extrinsecus affixa). (...) The term 'substantia' is used both to stand for substance and substantial form (subsistentia), i.e., that by which something is subsistent (or 'is a substance'). The collection of subsistentiae (substantial forms) or the forma totius is called natura. However, 'natura' is also used to stand for either just one subsistentia or all the forms found in a subsistens even including its 'accidental' forms (quantity and quality). The inclusion of all kinds of accidents (including those inferior ones that make up a thing's status) is seldom found in the intension of the word 'natura'. One of the key notions featuring in Gilbert's ontology is esse aliquid. 'To be a-something' has a threefold import. First, it means 'to be only some thing', and to miss perfection. Second, it has the positive sense of 'being a something', i.e. 'being determinate and well-delineated', not indefinite, not formless that is. Third, 'to be a something' implies concreteness, corporealness and singularity. (shrink)

IT is well known that the art of logic (logica or diale(c)tica) knew a remarkable flourishing period during the twelfth century. In the first half of the century its main centres in Paris were: the School of Notre DameI, of St. Victor2, of the Petit Pont3 and of Mont Ste Geneviève4. The present paper aims to offer some new evidence from the manuscripts on the teaching of logic as given in the School of Mont Ste.

Francesco Patrizi da Cherso's Discussiones peripateticae (1581) are one of the most comprehensive analyses of the whole of Aristotelian philosophy to be published before Werner Jaeger's Aristoteles. The main thrust of the argument in the Discussiones is that whatever Aristotle had said that was true was not new, and that whatever he had said that was new was not true. The article shows how Patrizi proves this with respect to the Organon, and deals with the implications for the history af (...) ancient philosophy in general implied by his stance. (shrink)

The paper investigates the propriety of applying the form versus matter distinction to arguments and to logic in general. Its main point is that many of the currently pervasive views on form and matter with respect to logic rest on several substantive and even contentious assumptions which are nevertheless uncritically accepted. Indeed, many of the issues raised by the application of this distinction to arguments seem to be related to a questionable combination of different presuppositions and expectations; this holds in (...) particular of the vexed issue of demarcating the class of logical constants. I begin with a characterization of currently widespread views on form and matter in logic, which I refer to as ‘logical hylomorphism as we know it’—LHAWKI, for short—and argue that the hylomorphism underlying LHAWKI is mereological. Next, I sketch an overview of the historical developments leading from Aristotelian, non-mereological metaphysical hylomorphism to mereological logical hylomorphism (LHAWKI). I conclude with a reassessment of the prospects for the combination of hylomorphism and logic, arguing in particular that LHAWKI is not the only and certainly not the most suitable version of logical hylomorphism. In particular, this implies that the project of demarcating the class of logical constants as a means to define the scope and nature of logic rests on highly problematic assumptions. (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)

On the basis of passages from John Buridan's Summula Suppositionibus and Sophismata, E. Karger has reconstructed what could be called the ?Buridanian theory of inferential relations between doubly quantified propositions?, presented in her 1993 article ?A theory of immediate inference contained in Buridan's logic?. In the reconstruction, she focused on the syntactical elements of Buridan's theory of modes of personal supposition to extract patterns of formally valid inferences between members of a certain class of basic categorical propositions. The present study (...) aims at offering semantic corroboration?a proof of soundness?to the inferential relations syntactically identified by E. Karger, by means of the analysis of Buridan's semantic definitions of the modes of personal supposition. The semantic analysis is done with the help of some modern logical concepts, in particular that of the model. In effect, the relations of inference syntactically established are shown to hold also from a semantic point of view, which means thus that this fragment of Buridan's logic can be said to be sound. (shrink)

This study contains three parts. The first tries to follow the spread of the study of the Prior Analytics in the first two centuries during which it was at all studied in Western Europe, providing in this connection a non-exhaustive list of extant commentaries. Part II points to a certain overlap between commentaries on the Prior Analytics and works from the genre of sophismata . Part III lists the questions discussed in a students' compendium from about the 1240s and in (...) six commentaries per modum quaestionis from the 1270s through the 1290s. (shrink)

Clashes between bits of non-homogeneous theories inherited from antiquity were an important factor in the formation of medieval theories in logic and grammar, but the traditional categories of Aristotelianism, Stoicism and Neoplatonism are not quite adequate to describe the situation. Neoplatonism is almost irrelevant in logic and grammar, while there might be reasons to introduce a new category, LAS = Late Ancient Standard, with two branches: (1) logical LAS = Aristotle + Boethius, and (2) grammatical LAS = Stoics &c. (...) → Apollonius → Priscian. (shrink)

The Greek under the Latin and the Latin under the Greek -- Greek-Latin philosophical interaction -- The odyssey of semantics from the Stoa to Buridan -- The Chimera's diary -- Where were the stoics in the late Middle Ages? -- Theories of language in the Hellenistic age and in the twelfth and thirteenth centuries -- Late-ancient ancestors of medieval philosophical commentaries -- Boethius on Aristotle -- Boethius on the metaphysics of words -- Western and Byzantine approaches to logic -- Greek (...) and Latin medieval logic -- Philoponus, Alexander, and the origins of medieval logic -- Analyzing syllogisms or anonymus Aurelianensis III, the (presumably) earliest extant Latin commentary on the prior analytics, and its Greek model -- Fragments of Alexander's commentaries on Analytica posteriora and Sophistici elenchi. (shrink)

v. 1. The Greek tradition -- v. 2. Greek texts and fragments of the Latin translation of "Alexander's" commentary -- v. 3. Appendices, Danish summary, indices.

The principle that a necessarily false proposition implies any proposition, and that a necessarily true proposition is implied by any proposition, was apparently first propounded in twelfth century Latin logic, and came to be widely, though not universally, accepted in the fourteenth century. These principles seem never to have been accepted, or even seriously entertained, by Arabic logicians. In the present study, I explore some thirteenth century Arabic discussions of conditionals with impossible antecedents. The Persian-born scholar Afdal al-Dīn al-Kh najī (...) (d.1248) suggested the novel idea that two contradictory propositions may follow from the same impossible antecedent, and closely related to this point, he suggested that if an antecedent implies a consequent, then it will do so no matter how it is strengthened. These ideas led him, and those who followed him, to reject what has come to be known as 'Aristotle's thesis' that no proposition is implied by its own negation. Even these suggestions were widely resisted. Particularly influential were the counter-arguments of Na īr al-Dīn al-T ī (d.1274). (shrink)

La première fois que SECUNDUM PLACITUM se présente chez Boèce, c'est dans sa traduction de la définition aristotélienne du nom du Peri Herméneias (I6 a I9): "Ovoμα μν oüv στ φων σημαντιΧ Χατ συνΧην...Ι qu'il rend: NOMEN ERGO EST VOX SIGNIFICATIVA SECUNDUM PLACITUM. L'expression y est le substitut de Χατ συνν qu'on interprète en général comme signifiant «par convention». En interprétant SECUNDUM PLACITUM de la même manière, on a l'avantage de faire correspondre parfaitement l'expression latine au sens usuel du terme (...) grec. En a-t-on le droit? Ici surgissent deux problèmes connexes: Quel est le sens exact de Χατ συνΧην, quel est celui de SECUNDUM PLACITUM? Commençons par le premier. (shrink)

In his major work, the Periphyseon, the ninth century Latin philosopher John Scottus Eriugena gives, with the help of what he calls "dialectic", a rational analysis of reality. According to him, dialectic is a science which pertains both to language and reality. Eriugena grounds this position in a realist ontological exegesis of the Aristotelian categories, which are conceived as categories of being. His interpretation tends to transform logical patterns, such as Porphyry's Tree or the doctrine of the categories, into a (...) structure which is both ontological and logical, and to use them as tools for the analysis of the sensible world. The combination of dialectic interpreted as a science of being, capable of expressing truths about the sensible world as well as about discourse, with an ontological interpretation of logical concepts allows Eriugena to develop his metaphysical theory, a strong realism. Eriugena not only supports a theological realism (of divine ideas), but also, and principally, an ontological realism, the assertion of the immanent existence of forms. Eriugena claims that genera and species really subsist in the individuals: they are completely and simultaneously present in each of the entities which belong to them. (shrink)

The Dark Ages The Gregorian Revolution The Glossators Invent "Half-Proof" Presumptions in Canon Law Innocent III Grades of Evidence, and Torture The Post-Glossators Bartolus and Baldus: The Completed Theory The Inquisition Maimonides on Testimony Law in the East Ch. 3 Renaissance Law..

Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to Gödel, The Emergence of Classical Logic, Logic and the Modalities in the Twentieth Century, and The Many-Valued and Non-Monotonic Turn in Logic. Further volumes will follow, including Mediaeval and (...) Renaissance Logic and Logic: A History of its Central. In designing the Handbook of the History of Logic, the Editors have taken the view that the history of logic holds more than an antiquarian interest, and that a knowledge of logic's rich and sophisticated development is, in various respects, relevant to the research programmes of the present day. Ancient logic is no exception. The present volume attests to the distant origins of some of modern logic's most important features, such as can be found in the claim by the authors of the chapter on Aristotle's early logic that, from its infancy, the theory of the syllogism is an example of an intuitionistic, non-monotonic, relevantly paraconsistent logic. Similarly, in addition to its comparative earliness, what is striking about the best of the Megarian and Stoic traditions is their sophistication and originality. Logic is an indispensably important pivot of the Western intellectual tradition. But, as the chapters on Indian and Arabic logic make clear, logic's parentage extends more widely than any direct line from the Greek city states. It is hardly surprising, therefore, that for centuries logic has been an unfetteredly international enterprise, whose research programmes reach to every corner of the learned world. Like its companion volumes, Greek, Indian and Arabic Logic is the result of a design that gives to its distinguished authors as much space as would be needed to produce highly authoritative chapters, rich in detail and interpretative reach. The aim of the Editors is to have placed before the relevant intellectual communities a research tool of indispensable value. Together with the other volumes, Greek, Indian and Arabic Logic, will be essential reading for everyone with a curiosity about logic's long development, especially researchers, graduate and senior undergraduate students in logic in all its forms, argumentation theory, AI and computer science, cognitive psychology and neuroscience, linguistics, forensics, philosophy and the history of philosophy, and the history of ideas. (shrink)

Between 1903 and 1918 Russell made a number of attempts to understand the unity of the proposition, but his attempts all foundered on his failure clearly to distinguish between different senses in which the relation R might be said to relate a and b in the proposition aRb: he failed to distinguish between the relation as truth-maker and the relation as unifier, and consequently committed himself again and again to the unacceptable consequence that only true propositions are genuinely unified. There (...) is an anticipation of this confusion in the writings of the fourteenth-century philosopher Richard Brinkley. (shrink)

An eleventh-century Greek text, in which a fourth-century patristic text is discussed, gives an outline of a solution to the Liar Paradox. The eleventh-century text is probably the first medieval treatment of the Liar. Long passages from both texts are translated in this article. The solution to the Liar Paradox, which they entail, is analysed and compared with the results of modern scholarship on several Latin solutions to this paradox. It is found to be a solution, which bears some analogies (...) to contemporary game semantics. Further, an overview of other Byzantine scholia on the Liar Paradox is provided. The findings and the originality of the discussed solution to the Liar Paradox suggest a change in the way in which Byzantine Logic is traditionally regarded in contemporary scholarship. (shrink)

The aim of this paper is to examine the medieval posterity of the Aristotelian and Pyrrhonian treatments of the infinite regress argument. We show that there are some possible Pyrrhonian elements in Autrecourt's epistemology when he argues that the truth of our principles is merely hypothetical. By contrast, Buridan's criticisms of Autrecourt rely heavily on Aristotelian material. Both exemplify a use of scepticism.

During the fourth century C. E. Donatus borrowed from the Greek tradition the idea of replacing res corporalis with res in the definition of the noun, because of the usual equivalence between pragma and res. This change had important consequences, such as a new distinction between corpus and res, as well as a new meaning proposed for the word res. This new meaning happened to be questioned by later commentators, because masters of grammar seemed to reject the Donatian distinction between (...) corpus and res, and consider that corpus is rather included inside res, before being later accepted by Sedulius and Remigius, perhaps under the influence of the common expression res verbi. However, the word remained poly-semic in spite of Donatus' attempt, as can be seen in the Glosulae in Priscianum (s. XII). (shrink)

This paper deals with the simple paradoxes of validity and with the possibility of solving them in terms of Bradwardinian-Buridanian semantics. The paradoxes of validity as conceived here are cases of semantic pathology, which result due to the use of terms signifying the validity of inference. Semantic paradoxes are a semantico-epistemological phenomenon which is a symptom of the need to revise several apparently acceptable semantic assumptions. The analysis of possible solutions to the paradoxes focuses on Bradwardinian-Buridanian semantics and as a (...) result on the closed, token-based semantic theories that assume the existence of an implicit meaning of propositions. The key theses, as far as the solution to the paradoxes is concerned, are the principle of truth-implication which claims that every proposition expresses or implies its own truth and the closure principle which claims that every proposition asserts or expresses everything that follows from it logically. The present paper advances on recent research in claiming that (with certain reservations) the application of these principles can effectively solve inconsistency-paradoxes but not indeterminacy-paradoxes of validity.Haec dissertatio circa simplices “consequentias insolubiles” modumque eos solvendi iuxta doctrinam semanticam Bradwardiniano-Buridanianam versatur. Consequentiae insolubiles, quae hic considerantur, “pathologiam semanticam” exhibunt, quae ex usu terminorum validitatem consequentiae significantium resultat. Insolubilia ut phaenomenon semantico-epistemologicum necessitatem corrigendi nonnula principia semantica, quae secundum primam suiapparentiam bona esse videntur. Inquisitio in divorsos modos solvendi ista insolubilia praecipue doctrinas semanticas Thomae de Bradwardino Ioannisque Buridani respicit, scilicet doc trinas semanticas “clausas” (seu distinctionem inter “meta-linguam” et “linguam obiectualem” non ponentes), nominalisticas, propositionibus etiam significationem quandam “implicitam” ascribentes. Assertiones principales, ex quibus huiusmodi insolubilium solutio pendet, sunt duo: 1. ex omni propositione assertionem sequi sui ipsius veritatis; 2. omnem propositionem quodcumque ex ea logice sequatur asserere. Extendentes investigationem recentiorum conclusionem tractatione nostra defendimus, principiis praedictis adhibendis bene solvi posse consequentias insolubiles ratione inconsistentiae, non tamen consequentias insolubiles ratione indeterminationis. (shrink)

0. Introduction: Mereology, Metaphysics, and Speculative Grammar 0.1 Mereology, Ancient and Contemporary 0.11 Mereology is, strictly speaking, the theory of ...

The medieval version of the problem of universals centres around propositions such as ?man is a species? and ?animalis a genus?. One of C. Lejewski's analyses of such propositions shows the semantic status of their terms by means of Ajdukiewicz-style categorical indices having participial or infinitive forms as their natural-language counterparts. Some medievals certainly used such forms in their corresponding analyses, thus avoiding the alleged referential demands generated by nominally-termed propositions. Boethius the Consul exemplifies the confusion which may still arise (...) from the traditional definition of universal in terms of predication of many. Unnecessary adherence to nominally-termed analyses not only grounded a tendency towards nominalism and Platonism, but also towards the moderns? ?way of ideas? (shrink)

The article aims at elucidating the argumentation in Anselm's Proslogion by relating some aspects of it to the early medieval theory of argument. The focus of the analysis is on the "single argument" (unum argumentum), the discovery of which Anselm announces in the Preface to the Proslogion. Part 1 of the article offers a preliminary description of the single argument by describing the reductio ad absurdum technique based on the notion "that than which a greater cannot be thought". Part 2 (...) discusses the ideas about arguments and argumentation that Boethius presents in Book One of his In Ciceronis Topica. Part 3 draws attention to some early medieval sources (Abelard, Lanfranc, Anselm) that are witness to the importance of the Boethian ideas in Anselm's time. Finally, Part 4 argues that Anselm looked at his single argument in the Boethian framework and that the term "that than which a greater cannot be thought" should be identified as his single argument. (shrink)

The papers in this volume - written by well-known experts in the field - examine the rules for valid argument discovered and formulated in the works of medieval ...

This book presents the first critical edition of the "Syncategoreumata" by the thirteenth-century philosopher Peter of Spain (Petrus Hispanus Portugalensis), ...