Originally published in 1993, Modalities in Medieval Philosophy looks at the idea of modality as multiplicity of reference with respect to alternative domains. The book examines how this emerged in early medieval discussions and addresses how it was originally influenced by the theological conception of God acting by choice. After a discussion of ancient modal paradigms, the author traces the interplay of old and new modal views in medieval logic and semantics, philosophy and theology. (...) A detailed account is given of late medieval discussions of the new modal logic, epistemic logic, and the logic norms. These theories show striking similarities to some basic tenets of contemporary approaches to modal matters. This work will be of considerable interest to historians of philosophy and ideas and philosophers of logic and metaphysics. (shrink)

The fourteenth-century English philosopher and theologian Richard Kilvington presents a useful correction to popular views of medieval philosophy in two ways. On the one hand, he reminds us that to think of medieval philosophy in terms of Aquinas, Duns Scotus and Ockham, or to think of medieval logic in terms of Aristotelian syllogistic, is to overlook vast areas of intellectual endeavour. Kilvington, like many before and after him, was deeply concerned with problems that would now be assigned (...) to philosophy of language; philosophical logic and philosophy of science. He discussed topics in epistemic logic, semantic paradoxes, problems of reference, particularly those connected with the interplay between quantifiers and modal or temporal operators, and problems arising from the use of infinite series in the analysis of motion and change. On the other hand, this very account of his work raises the important issue of conceptual domain. I have spoken as if Kilvington's work can be neatly classified in terms of contemporary interests; and the temptation to read medieval philosophy in modern terms is only strengthened when one recognizes Kilvington as the first member of the group of Oxford calculatores, men such as William Heytesbury and Richard Swineshead, whose discussions of mathematics and physics have caused them to be hailed as forerunners of modern science. (shrink)

In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat someone were capable to compile it, would?ll itself a ponderous volume. What is impressive in the growth of modal logic has not been so much the quick accumulation of results but the richness of its thematic dev- opments. In the 1960s, when Kripke semantics gave new credibility to the logic of modalities? which was already known and appreciated in the Ancient and Medieval (...) times? no one could have foreseen that in a short time modal logic would become a lively source of ideas and methods for analytical philosophers,historians of philosophy,linguists, epistemologists and computer scientists. The aim which oriented the composition of this book was not to write a new manual of modal logic buttoo?ertoeveryreader,evenwithnospeci?cbackground in logic, a conceptually linear path in the labyrinth of the current panorama of modal logic. The notion which in our opinion looked suitable to work as a compass in this enterprise was the notion of multimodality, or, more speci?cally, the basic idea of grounding systems on languages admitting more than one primitive modal operator. (shrink)

In recent years modal syllogistic provided by 14th century logician John Buridan has attracted increasing attention of historians of medieval logic. The widespread use of quantified modal logic with the apparatus of possible worlds semantics in current analytic philosophy has encouraged the investigation of the relation of Buridan’s theory of modality with the modern developments of symbolic modal logic. We focus on the semantics of and the inferential relations among the propositions that underlie Buridan’s (...) theory of modal syllogism. First, we review all inferences between propositions of necessity, possibility, contingency, and non-contingency, with or without quod est locution, that are valid in Buridan’s semantics, and offer a comprehensive diagrammatic representation that includes them all. We then ask the question if there is a way to model those results in first order modal logic. Three ways of formalizing Buridan’s propositions in quantified modal logic are considered. Comparison of inferences between the quantified formulas and Buridan’s propositions reveals that, when supplied with a suitable formalization, Buridan’s semantics of categorical statements and immediate inferences among them can be fully captured by the quantified modal system T. (shrink)

What makes a valid argument valid? Generally speaking, in a valid argument, if the premisses are true, then the conclusion must necessarily also be true. But on its own, this doesn’t tell us all that much. What is truth? And what is necessity? In what follows, I consider answers to these questions proposed by the fourteenth century logician John Buridan († ca. 1358). My central claim is that Buridan’s logic is downstream from his metaphysics. Accordingly, I treat his metaphysical discussions (...) as the key to his logic. As has been often noted, Buridan’s metaphysics are radically anti-realist about universals, though I think the depth and scope of his anti-realism has at times been papered over. Buridan constructs his logic on an amazingly spartan ontology, and this accomplishment is overdue for reconsideration. To the foregoing questions: truth is a feature of propositions, and of propositions only—not of proposition-like states of affairs, or anything like that. It is a function of the reference or supposition (suppositio) of their terms, which depends on predication in a propositional context. And necessary truth is grounded in causation: a predication is necessary if it cannot be falsified by any power, natural or supernatural, without ii annihilating what its terms stand for. “Socrates is a human”, for instance, can only be falsified by annihilating Socrates, and so it is a necessary truth. -/- These considerations provide an ample theoretical basis for a thorough examination of Buridan’s modal logic. This is what the thesis culminates with. In the final chapter, I set forth some novel and surprising findings, chief of which is this: Buridan’s modal syntax and semantics are nothing like Kripke’s—and indeed are incompatible with them. This has significant implications not only for modal logic and metaphysics, but for how we think about medieval logic and philosophy more generally. -/- Throughout the thesis, I advocate a methodology of emphasising the differences, rather than the similarities, between past and present thought. Buridan is wildly unlike what we’re used to, and we should let him speak for himself. (shrink)

A Critical Introduction to the Metaphysics of Modality examines the eight main contemporary theories of possibility behind a central metaphysical topic. Covering modal skepticism, modal expressivism, modalism, modal realism, ersatzism, modal fictionalism, modal agnosticism, and the new modal actualism, this comprehensive introduction to modality places contemporary debates in an historical context. Beginning with a historical overview, Andrea Borghini discusses Parmenides and Zeno; looks at how central Medieval authors such as Aquinas, and Buridan prepared (...) the ground for the Early Modern radical views of Leibniz, Spinoza, and Hume and discusses advancements in semantics in the later-half of the twentieth century a resulted in the rise of modal metaphysics, the branch characterizing the past few decades of philosophical reflection. Framing the debate according to three main perspectives - logical, epistemic, metaphysical- Borghini provides the basic concepts and terms required to discuss modality. With suggestions of further reading and end-of-chapter study questions, A Critical Introduction to the Metaphysics of Modality is an up-to-date resource for students working in contemporary metaphysics seeking a better understanding of this crucial topic. (shrink)

In the last 30 years there has been growing interest in and a greater appreciation of the unique contributions that medieval authors have made to the history of logic. In this thesis, we compare and contrast the modal logics of Robert Kilwardby and John Buridan and explore how their two conceptions of modality relate to and differ from modern notions of modal logic. We develop formal reconstructions of both authors' logics, making use of a number of different (...) formal techniques. In the case of Robert Kilwardby we show that using his distinction between per se and per accidens modalities, he is able to provide a consistent interpretation of the apodictic fragment of Aristotle's modal syllogism and that, by generalising this distinction to hypothetical construction, he can develop an account of connexive logic. In the case of John Buridan we show that his modal logic is a natural extension of the usual Kripke-style possible worlds semantics, and that this modal logic can be shown to be sound and complete relative to a proof-theoretic formalisation of Buridan's treatment of the expository syllogism. (shrink)

In his logical treatises, John Mair develops a method and a set of rules for the verification of modal propositions, which is in the spirit of his predecessors Ockham and Buridan, but ultimately goes beyond them. He calls this method positio de inesse. It is also by this method that the truth conditions for divided modal propositions are set out. There is a standard interpretation of it as a form of reductionist method, and scholars have been tempted to (...) think that it was motivated by an implicit rejection of de re modal properties shared by Mair and other sixteenth- century nominalists. After presenting the background to Mair’s writings on the semantics of modal propositions, in this paper we revisit Mair's version of the method of positio de inesse. We argue that it is based on some basic semantic rules and contend that this procedure analyzes divided modal propositions into singular de re sentences referring to possible objects. Consequently, we conclude that this method does not reflect a reductionist approach to modal discourse. We instead provide an alternative interpretation. (shrink)

In his book Knowledge and Belief, Jaakko Hintikka uses a model-theoretic approach of modal semantics as a theoretical basis for investigating the principles of epistemic logic. I shall first summarize the main points of Hintikka’s classic work and then address the most disputed themes raised by it in the 60s and later, such as logical omniscience and the KK-thesis, as well as Hintikka’s modifying his views on the basis of criticism. The last part of the book treats quantified (...) epistemic logic, particularly quantifying into “intensional” or “referentially opaque” epistemic contexts defended against Quine’s objections. I deal with this topic in Sect. 17.3 and add some relevant comparisons with John Buridan’s medieval approach in Sect. 17.4. A survey of Hintikka’s later theory of modelling knowledge acquisition is presented in Sect. 17.5; this includes the semantics of questions and inquiry in terms of game-theoretical semantics and their application to the logic of epistemology and scientific reasoning in the interrogative model of inquiry. Combining these results with the theory of independence friendly logic provides, Hintikka argues, a promising improvement of general epistemology which he calls a second-generation epistemic logic. The subject of the last section is “knowing who” in the sense of a basic epistemic attitude associated with identification which is the key notion in Hintikka’s epistemic theory of questions and answers, reference, and quantification. A central issue in this context is Hintikka’s discovery of the duality of cross-identification methods, the public or descriptive and the perspective ones. (shrink)

This book explores noteworthy approaches to modal syllogistic adopted by medieval logicians including Abélard, Albert the Great, Avicenna, Averröes, Jean Buridan, Richard Campsall, Robert Kilwardby, and William of Ockham. The book situates these approaches in relation to Aristotle's discussion in the Prior and Posterior Analytics, and other parts of the Organon, but also in relation to the thought of Alexander of Aphrodisias and Boethius on the one hand, and to modern interpretations of the modal syllogistic on the (...) other. Problems explored include: Aristotle's doctrine of modal conversion, the pure and mixed necessity-moods, modal ecthesis, the pure and mixed contingency-moods, and Aristotle's use of counter-examples. Medieval logicians brought various concepts to bear on these problems, including the distinction between per se and per accidens terms, the notion of essential predication, the distinction between ut nunc and simpliciter propositions, the distinction between de dicto and de re modals, and the notion of ampliation. All these are examined in this book. (shrink)

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)

In the paper we introduce a wide range of Anderson-like variants of Gödel's theory and prove for each of them strong completeness theorem wrt. corresponding class of modal structures.These theories — all formulated in the 2nd order modal language with a 2nd order unary predicate of positiveness — differ among themselves with respect of: properties of the necessity operator and of the predicate of positiveness, axioms characterizing identity between 1st sort terms, definitions of identity between 2nd sort terms, (...) the treatment of Godlikeness as a term of the 2nd order, the treatment of necessary existence as a term of the 2nd order if there exists the necessity of its presence, the treatment of Ix (Ix(y) is read: terms x, y are identical), for every 1st sort term x, as a term of the 2nd order if there exists the necessity of its presence.Concerning to semantical commitments, the following are essential: (i) 1st order terms order receive only rigid extensions in the constant objectual 1st order domain; (ii) 2nd order terms receive non-rigid extensions in the constant objectual domain of 2nd order and rigid intensions in the constant conceptual 2nd order domain; (iii) The behavior of the identity between 1st sort terms shifts from possible worlds to possible worlds. (shrink)

There is often said to be something peculiar about the history of modal theory up until the turn of the fourteenth century, when John Duns Scotus decisively reframed the issues. I wish to argue that this impression of dramatic discontinuity is almost entirely a misimpression. Premodern philosophers prescind from the wide-open modal space of all possible worlds because they seek to adapt their modal discourse to the explanatory and linguistic demands of their context.

Over the last half century, possible worlds have bled into almost every area of philosophy. In the metaphysics of modality, for example, philosophers have used possible worlds almost exclusively to illuminate discourse about metaphysical necessity and possibility. But recently, some have grown dissatisfied with possible worlds. Why are horses necessarily mammals? Because the property of being a horse bears a special relationship to the property of being a mammal, they say. Not because every horse is a mammal in every possible (...) world. Some have recently begun to use properties to develop rivals to possible worlds semantics which may someday compare in formal power and capture the different systems of modal logic. In this paper, I do two things. I first offer a quick primer on possible worlds semantics. Then I discuss three rivals and the work they have left to do. (shrink)

Ockham has a very particular definition of modality: every term that is predicable of a whole sentence is a modal term. His definition reaches well beyond “necessary,” “possible,” “contingent” and “impossible,” including predicates such as “known” and “believed,” but also “written” and “spoken.” He provides a general framework for inferences including every term covered by his definition of modality. However, there is a proper modal syllogistic in Ockham only for the Aristotelian modalities, that combines two distinct semantic apparatus, (...) constituted by Ockhamist modal predicates, on the one hand, and by modal and modally modified copulae, on the other. For the development of a syllogistic for the Aristotelian modalities, both are needed. There is no similar apparatus for other modalities in Ockham. (shrink)

This paper belongs to the field of probabilistic modal logic, focusing on a comparative analysis of two distinct semantics: one rooted in Kripke semantics and the other in neighbourhood semantics. The primary distinction lies in the following: The latter allows us to adequately express belief functions (lower probabilities) over propositions, whereas the former does not. Thus, neighbourhood semantics is more expressive. The main part of the work is a section in which we study the (...) class='Hi'>modal equivalence between probabilistic Kripke models and a subclass of belief neighbourhood models, namely additive ones. We study how to obtain modally equivalent structures. (shrink)

Paul Thom's book presents Kilwardby's science of logic as a body of demonstrative knowledge about inferences and their validity, about the semantics of non-modal and modal propositions, and about the logic of genus and species. This science is thoroughly intensional. It grounds the logic of inference on "that in virtue of which" the inference holds. It bases the truth conditions of propositions on relations between conceptual entities. It explains the logic of genus and species through the notion (...) of essence. Thom interprets this science as a formal logic of intensions with its own proof theory and semantics. This comprehensive reconstruction of Kilwardby's logic shows the medieval master to be one of the most interesting logicians of the thirteenth century. (shrink)

The problem with model-theoretic modal semantics is that it provides only the formal beginnings of an account of the semantics of modal languages. In the case of non-modal language, we bridge the gap between semantics and mere model theory, by claiming that a sentence is true just in case it is true in an intended model. Truth in a model is given by the model theory, and an intended model is a model which has (...) as domain the actual objects of discourse, and which relates these objects in an appropriate manner. However, the same strategy applied to the modal case seems to require an intended modal model whose domain includes mere possibilia. Building on recent work by Christopher Menzel (Synthese 85 (1990)), I give an account of model-theoretic semantics for modal languages which does not require mere possibilia or intensional entities of any kind. Menzel has offered a representational account of model-theoretic modal semantics that accords with actualist scruples, since it does not require possibilia. However, Menzel's view is in the company of other actualists who seek to eliminate possible worlds, but whose accounts tolerate other sorts of abstract, intensional entities, such as possible states of affairs. Menzel's account crucially depends on the existence of properties and relations in intension. I offer a purely extensional, representational account and prove that it does all the work that Menzel's account does. The result of this endeavor is an account of model theoretic semantics for modal languages requiring nothing but pure sets and the actual objects of discourse. Since ontologically beyond what is prima facie presupposed by the model theory itself. Thus, the result is truly an ontology-free model-theoretic semantics for modal languages. That is to say, getting genuine modal semantics out of the model theory is ontologically cost-free. Since my extensional account is demonstrably no less adequate, and yet is at the same time more ontologically frugal, it is certainly to be preferred. (shrink)

It has been suggested that the Modal Interpretation of Quantum Mechanics (QM) is "incomplete" if it lacks a dynamics for possessed values. I argue that this is only one of two possible attitudes one might adopt toward a Modal Interpretation without dynamics. According to the other attitude, such an interpretation is a complete interpretation of QM as standardly formulated, an interpretation whose innovation is to attempt to make sense of the quantum realm without the expedient of novel physics. (...) Then I explain why this attitude, though available, is unattractive. Without dynamics, the Modal Interpretation vanquishes the measurement problem only, it seems, to succumb to the problem of state preparation. On this view, the Modal Interpretation needs dynamics not to be an interpretation at all, but to be an adequate one. I review reasons to suspect that the dynamics which would best suit the Modal Interpretation--a dynamics equivalent to a set of two time transition probabilities of the sort used to solve the preparation problem--is not a dynamics the interpretation can have. I close with a brief discussion of versions of the Modal Interpretation that may not succumb to the considerations presented here. (shrink)

This contributed volume includes both theoretical research on philosophical logic and its applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on Philosophical Logic, held in Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The contributions represent pioneering philosophical logic research in Asia.

This book offers a major reassessment of Peter Abelard's modal logic and theory of modalities, presenting them as far more uniform and consistent than was until now recognized. Irene Binini offers new ways of connecting Abelard's modal views with other parts of his logic, semantics, metaphysics and theology. Further, the work also provides a comprehensive study of the logical context in which Abelard's theories originated and developed, by presenting fresh evidence about many 11th- and 12th-century sources that (...) are still unpublished. This analysis sheds new light on the relations between Abelard and ancient authors such as Aristotle, Boethius, and Priscian, as well as between Abelard and his contemporaries, such as Anselm of Canterbury, William of Champeaux, Joscelin of Soissons, and Alberic of Paris. (shrink)

The interesting question about modality is not about its extension, but about its point. Everyone can agree (for instance) that the past is necessary in the Ockhamist sense but not in some ‘modern’ senses, and that the present is necessary in the Ockhamist sense but not in the Scotist sense. But why should it matter? These comments on Pasnau (2020) first set out a simple-minded explication in modern terms of some of these fourteenth-century ideas. Then I take issue with (a) (...) Pasnau’s claim that the necessity of the past has something to do with the structure of ‘narrative history’, and (b) Duns Scotus’s claim that the contingency of the present has something to do with human freedom. (shrink)

In the article we study the existence predicate $\varepsilon$ in the context of semantics for first-order modal logic. For a formula $\varphi$ we define $\varphi^{\varepsilon}$ - the so called existence relativization. We point to a gap in the work of Fitting and Mendelsohn concerning the relationship between the truth of $\varphi$ and $\varphi^{\varepsilon}$ in classes of varying- and constant-domain models. We introduce operations on models which allow us to fill the gap and provide a more general perspective on (...) the issue. As a result we obtain a series of theorems describing the logical connection between the notion of truth of a formula with the existence predicate in constant-domain models and the notion of truth of a formula without the existence predicate in varying-domain models. (shrink)

This paper concerns the applications of two-dimensional modal semantics to the explanation of the contents of speech and thought. Different interpretations and applications of the apparatus are contrasted. First, it is argued that David Kaplan's two-dimensional semantics for indexical expressions is different from the use that I made of a formally similar framework to represent the role of contingent information in the determination of what is said. But the two applications are complementary rather than conflicting. Second, my (...) interpretation of the apparatus is contrasted with that of David Chalmers, Frank Jackson, and David Lewis. It is argued that this difference reflects a contrast between internalist and externalist approaches to the problem of intentionality. (shrink)

According to actualism, modal reality is constructed out of valuations (combinations of truth values for all propositions). According to possibilism, modal reality consists in a set of possible worlds, conceived as independent objects that assign truth values to propositions. According to possibilism, accounts of modal reality can intelligibly disagree with each other even if they agree on which valuations are contained in modal reality. According to actualism, these disagreements (possibilist disagreements) are completely unintelligible. An essentially actualist (...) semantics for modal propositional logic specifies which sets of valuations are compatible with the meanings of the truth-functional connectives and modal operators without drawing on formal resources that would enable us to represent possibilist disagreements. The paper discusses the availability of an essentially actualist semantics for modal propositional logic. I argue that the standard Kripkean semantics is not essentially actualist and that other extant approaches also fail to provide a satisfactory essentially actualist semantics. I end by describing an essentialist actualist semantics for modal propositional logic. (shrink)

`Realism', `conceptualism' and `nominalism' are terms that one is most likely to come across in history of philosophy textbooks, presented as ones labeling three major ontological alternatives provided by mediaeval philosophy. The general inadequacy of these labels is perhaps best shown by the desperate efforts to provide further, modified labels , the well-known `moderate' and `extreme' or `exaggerated' versions of the above, in hopes of implying at least a lesser amount of falsehood in hanging..

The book also sheds new light on the nature of metaphysical theorizing by exploring the interaction of semantic and metaphysical issues, the connections between different metaphysical issues, and the nature of ontological commitment.

In his natural philosophy, John Buridan reinterprets Aristotelian conceptions of necessity using a framework derived from his logical writings. After a discussion of Buridan’s account of varieties of necessity, in this paper I shall approach some interpretative uses of that account where two natural philosophical concerns are involved. The first is connected with the relationship of modality and time in a question from the first book of his commentary to De Generatione et Corruptione addressing a consequence from possibilities of alteration (...) to possibilities of generation. The content of that question hinges on the metaphysical connection between alteration and substantial changes. In the third section, I shall explore a quasi-definition of causal necessity and contingency Buridan discusses in the second book of his commentary to the Physics. Buridan’s discussion of alternative descriptions of causal necessity and contingency in that context reveals competing pictures of the role of essences in causal explanation associated with Avicenna and Averroes respectively. (shrink)

This paper is a study of a distinctively chemical notion of possibility. This is the notion of possibility that occurs in chemical discourses when chemists speak of the possibility or impossibility of achieving a given result through chemical means. This notion pertains to the possibility of processes, not of compounds, so it differs from the kind of chemical possibility mentioned in Wittgenstein's Philosophical Investigations or the kinds discussed in the literature on Putnam's Twin Earth argument. I argue that this process-oriented (...) notion of possibility cannot be reduced in a simple way to physical possibility, and that standard possible worlds semantics does not allow a natural analysis of this notion. I suggest an extension of possible worlds semantics that may overcome this limitation. I finish by pointing out some open questions about chemical possibility. (shrink)

In Kripke-semantics for modal logic, the truth value of a sentence depends on the choice of a semantic index. It means that application of such semantics to natural language analysis requires indication of an index relevant for semantic analysis. It is commonly accepted that the relevant index is initialised by the context of an utterance. The idea has been rejected by the semanticists investigating tempo-modal languages in the framework of indeterminism, which generated the problem of initialization (...) of the semantic index. I present the main argument of those semanticists and describe several responses to the initialisation problem. I finally argue that under certain metaphysical and semantic assumptions, one can respond to the initialisation failure in the classical way, even in indeterministic contexts. (shrink)

Compare two conceptions of validity: under an example of a modal conception, an argument is valid just in case it is impossible for the premises to be true and the conclusion false; under an example of a topic-neutral conception, an argument is valid just in case there are no arguments of the same logical form with true premises and a false conclusion. This taxonomy of positions suggests a project in the philosophy of logic: the reductive analysis of the (...) class='Hi'>modal conception of logical consequence to the topic-neutral conception. Such a project would dispel the alleged obscurity of the notion of necessity employed in the modal conception in favour of the clarity of an account of logical consequence given in terms of tractable notions of logical form, universal generalization and truth simpliciter. In a series of publications, John Etchemendy has characterized the model-theoretic definition of logical consequence as truth preservation in all models as intended to provide just such an analysis. In this paper, I will argue that Aristotle intends to provide an account of a modal conception of logical consequence in topic-neutral terms and so is engaged in a project comparable to the one described above. That Aristotle would be engaged in this sort of project is controversial. Under the standard reading of the Prior Analytics, Aristotle does not and cannot provide an account of logical consequence. Rather, he must take the validity of the first figure syllogisms (such as the syllogism known by its medieval mnemonic ‘Barbara’: A belongs to all B; B belongs to all C; so A belongs to all C) as obvious and not needing justification; he then establishes the validity of the other syllogisms by showing that they stand in a suitable relation to the first figure syllogisms. I will argue that Aristotle does attempt to provide an account of logical consequence—namely, by appeal to certain mereological theorems. For example, he defends the status of Barbara as a syllogism by appeal to the transitivity of mereological containment. There are, as I will discuss, reasons to doubt the success of this account. But the attempt is not implausible given certain theses Aristotle holds in semantics, mereology and the theory of relations. (shrink)

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