This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...

It may come as a surprise to readers familiar with the life and work of the Arts Master that he discusses the Eucharist at all. As he likes to remind us, theological topics are generally out of his wheelhouse. Even so, in his Questions on the “Metaphysics” of Aristotle (QM) 4.6, Buridan takes the sacrament of the Eucharist as a key data point in his discussion of Aristotle’s Categories. In the Eucharist, the accidents of the bread and wine—their color, texture, (...) and so on—remain intact, but the underlying substance is transubstantiated into the body and blood of Christ. Accordingly, God can preserve accidents independent of their underlying substance. Therefore, for our part we can use accidental terms, like whiteness, without connoting any substances, like communion bread. Moreover, it follows that, contrary to Aristotle, substance and the accidental categories are not the most general genera. Instead, being (ens) is, as Buridan concludes. Here, I trace Buridan’s thought on the metaphysical and semantic matters of substance in light of the Eucharist. The Eucharist is for him not only a theological truth, but a metaphysical and semantic datum as well. I conclude by asking why Buridan did not take any and all questions about the Eucharist to be out of his ken. What does this tell us about his attitude toward theology? This paper also includes, as an appendix, the first ever English translation of the question under discussion (QM 4.6): “Does the term being (ens) signify substances and accidents by one single concept or notion?”. (shrink)

The present PhD dissertation aims to examine the relation between modality and change in Aristotle’s metaphysics. -/- On the one hand, Aristotle supports his modal realism (i.e., worldly objects have modal properties - potentialities and essences - that ground the ascriptions of possibility and necessity) by arguing that the rejection of modal realism makes change inexplicable, or, worse, banishes it from the realm of reality. On the other hand, the Stagirite analyses processes by means of modal notions (‘change is the (...) actuality of what is virtual insofar as it is virtual’). In other words: to grasp what change is, one has to resort to the modal idiom of potentialities, while the fact that there is change is indicative of the fact that nature is full of modal properties. -/- Aristotle’s modal and kinetic realism finds a negative in the figure of the Megaric Diodorus Kronus. The polemical situation of Greek philosophy has indeed the dialectical advantage of not opposing the Aristotelian position to a sui generis straw man. Both in its reduction of modal judgements to temporal quantifications and in its dissolution of the reality of the state-of-being-in-motion in favour of a cinematographic view of processes, the philosophical figure of reductionist antirealism embodied by Diodorus constitutes an alternative that takes the opposite view of Aristotle’s realism. -/- The present study is structured as a discussion between these two positions. In the face of Diodorus’ antirealist challenges, Aristotle articulates modal and kinetic considerations: the answers he gives to Diodorus’ puzzles thus provide valuable insight into his metaphysics. Moreover, the examination of Aristotle’s and Diodorus’ metaphysics, because of their insight and originality, will not fail to interest the philosopher concerned with the metaphysical foundations of modern physics, insofar as the entanglement between modalities and processes is nowadays at the core of mechanics (phase spaces, path integrals, etc.). (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)

Formalizing categorical propositions of traditional logic in the language of quantifiers and propositional functions is no straightforward matter, especially when modalities get involved. Starting...

La lógica de la Edad Media se presenta a los lógicos contemporáneos, filósofos medievalistas, historiadores y filósofos de la lógica, como un campo tan fascinante como de difícil acceso. Parece demasiado intrincado para casi cualquier investigador de estas áreas encontrar la punta del ovillo que lo conduzca a transitar una presentación ordenada e inteligible de la lógica medieval. Este libro pretende solucionar este problema. Para ello, presenta de manera ordenada y autocontenida los desarrollos lógicos de la parte técnicamente más evolucionada (...) de la lógica de la Edad Media: el siglo XIV. A diferencia de otras presentaciones no evade los hechos históricos y culturales que conforman el panorama de la época ni las cuestiones filosóficas detrás de los desarrollos lógicos, a fin de entender cabalmente las cuestiones técnicas y no desnaturalizar la propuesta medieval. Los primeros tres capítulos se abocan a cuestiones introductorias, históricas y a la genealogía de los tópicos más importantes. El cuarto capítulo está dedicado a la presentación sintáctica del lenguaje de la lógica medieval. El quinto y el sexto a la metateoría de esta lógica. El séptimo explora y presenta la semántica. Los dos últimos nos brindan una reconstrucción racional, en términos del lenguaje simbólico contemporáneo, de la lógica de finales del siglo XIV. (shrink)

Jean Buridan developed his theory of consequence within a semantical framework compatible with what we now call token-based semantics. In his Treatise on Consequences and Sophismata, Buridan showed...

'Reason, Causation and Compatibility with the Phenomena' strives to give answers to the philosophical problem of the interplay between realism, explanation and experience. This book is a compilation of essays that recollect significant conceptions of rival terms such as determinism and freedom, reason and appearance, power and knowledge. This title discusses the progress made in epistemology and natural philosophy, especially the steps that led from the ancient theory of atomism to the modern quantum theory, and from mathematization to analytic philosophy. (...) Moreover, it provides possible gateways from modern deadlocks of theory either through approaches to consciousness or through historical critique of intellectual authorities. This work will be of interest to those either researching or studying in colleges and universities, especially in the departments of philosophy, history of science, philosophy of science, philosophy of physics and quantum mechanics, history of ideas and culture. Greek and Latin Literature students and instructors may also find this book to be both a fascinating and valuable point of reference. (shrink)

There is a traditional conception of knowledge but it is not the Justified True Belief analysis Gettier attacked. On the traditional view, knowledge consists in having a belief that bears a discernible mark of truth. A mark of truth is a truth-entailing property: a property that only true beliefs can have. It is discernible if one can always tell that a belief has it, that is, a sufficiently attentive subject believes that a belief has it if and only if it (...) has it. Requiring a mark of truth makes the view infallibilist. Requiring it to be discernible makes the view internalist. I call the view Classical Infallibilism. (shrink)

In this paper we explain our pretense account of truth-talk and apply it in a diagnosis and treatment of the Liar Paradox. We begin by assuming that some form of deflationism is the correct approach to the topic of truth. We then briefly motivate the idea that all T-deflationists should endorse a fictionalist view of truth-talk, and, after distinguishing pretense-involving fictionalism (PIF) from error- theoretic fictionalism (ETF), explain the merits of the former over the latter. After presenting the basic framework (...) of our PIF account of truth-talk, we demonstrate a few advantages it offers over T-deflationist accounts that do not explicitly acknowledge pretense at work in the discourse. In turning to the Liar Paradox, we explain how the quasi-anaphoric functioning that our account attributes to truth-talk provides a diagnosis of the Liar Paradox (and other instances of semantic pathology) as having no content—in the sense of not specifying any of what we call M-conditions. At the same time, however, we vindicate the intuition that we can understand liar sentences, thereby avoiding one standard objection to “meaningless strategy” responses to the Liar Paradox. With this diagnosis in place, we then, by way of treatment, introduce a new predicate, ‘semantically defective’, and show how the explanation we give for its application allows for a consistent, yet revenge-immune, (dis)solution of the Liar Paradox, and semantic pathology generally. (shrink)

This paper examines some of the metaphysical assumptions behind Aquinas’s denials that a human rational soul unites with matter at conception and that a human rational soul is capable of developing and arranging the organic parts of an embryo. The paper argues that Buridan does not share these assumptions and holds that a soul is capable of developing and arranging organic parts. It argues that, given hylomorphism about the nature of organisms, including human beings, Buridan’s view is philosophically superior to (...) Aquinas’s in several respects. Finally, the paper poses an apparent inconsistency between several of Buridan’s texts on this topic and attempts to show that the inconsistency is merely apparent. (shrink)

In this paper, I raise the following problem: What terms are considered as syncategoremata in the Arabic logical texts? How are they defined? How do they determine the forms of the propositions and the inferences? To answer these questions, I focus on the analyses provided by al-Fārābī and Avicenna. Both authors apply the grammatical distinction between the particle, the noun and the verb to logic. They also state the semantic and the syntactic criterions, but their analyses of the particles are (...) different. For al-Fārābī devotes two treatises to the analysis of particles: al-musta‘malah fī l-maniq, where he provides a listing of particles that he classifies in the manner of the Greek grammarians and Kitāb al-urūf, where he analyzes some particles used in metaphysics; while Avicenna, despite the considerable amount of his logical corpus, does not devote a special book to the analysis of particles. He does not provide any listing either but characterizes each logical particle on its own, while analyzing the propositions, their elements and the inferences. In this paper, I argue that this treatment of particles in the two frames shows a significant difference between the two authors with regard to the relation between logic and grammar, and with regard to the characterizations of the logical particles themselves. For Avicenna is much less interested than al-Fārābī by the grammatical analysis and focuses much more on the logical particles, which he scrutinizes meticulously. This enriches his definitions of the logical constants and leads him in the final analysis to different and more various inferences than those hold by al-Fārābī. (shrink)

The traditional square of opposition is generalized and extended to a cube of opposition covering and conveniently visualizing inter-sentential oppositions in relational syllogistic logic with the usual syllogistic logic sentences obtained as special cases. The cube comes about by considering Frege–Russell’s quantifier predicate logic with one relation comprising categorical syllogistic sentence forms. The relationships to Buridan’s octagon, to Aristotelian modal logic, and to Klein’s 4-group are discussed.GraphicThe photo shows a prototype sculpture for the cube.

Buridan endorses the basic idea that q follows from p iff it is impossible that p is true but q is false. Since he also accepts the law that, if p is impossible, the conjunction (p ∧ q) must be impossible, he comes to regard the principle ‘Ex impossibili quodlibet’ (EIQ) as basically correct. However, his logic is based on a ‘nominalist’ view according to which propositions are tokens of spoken, written or thought language existing in space of time, and (...) the truth of such a proposition presupposes that it exists. This conception prompted Buridan to modify the definition of ‘consequence’, but none of his attempts was fully successful. Yet, a large part of his theory of consequences is based on the usual account of necessary truth-conservation. As regards principle EIQ, Buridan distinguishes two variants of impossibility. Proposition p is possible iff the state of affairs as described by p is possible; this doesn’t guarantee, however, that p is ‘possibly true’. E.g. ‘No proposition is negative’ is considered by Buridan as describing a possible state of affairs, but this proposition is not possibly true, because in order to be true, it would have to exist, and as soon as it comes into existence, it becomes false. Accordingly, EIQ requires that the antecedent p is really impossible and not only impossibly true. (shrink)

An unconventional formalization of the canonical square of opposition in the notation of classical symbolic logic secures all but one of the canonical square’s grid of logical interrelations between four A-E-I-O categorical sentence types. The canonical square is first formalized in the functional calculus in Frege’s Begriffsschrift, from which it can be directly transcribed into the syntax of contemporary symbolic logic. Difficulties in received formalizations of the canonical square motivate translating I categoricals, ‘Some S is P’, into symbolic logical notation, (...) not conjunctively as \, but unconventionally instead in an ontically neutral conditional logical symbolization, as \. The virtues and drawbacks of the proposal are compared at length on twelve grounds with the explicit existence expansion of A and E categoricals as the default strategy for symbolizing the canonical square preserving all original logical interrelations. (shrink)

The essay first makes some observations on the general interrelationship between the logical writings of Albert and Buridan. Second, it gives an account of a ‘semantic logical model’ for analyzing complex subject terms in some basic categorical propositions which is defended by Albert of Saxony, and briefly recounts Buridan's criticisms of that model. Finally, the essay maintains that the Albertian model is typically compatible with, and a further development of, what is called by a late-fourteenth century anonymous scholar ‘the English-Rule’ (...) but the ‘determinable/determinate’ grammatical model defended by Buridan is not. (shrink)

This paper studies John Buridan's octagons of opposition for the de re modal propositions and the propositions of unusual construction. Both Buridan himself and the secondary literature have emphasized the strong similarities between these two octagons (as well as a third one, for propositions with oblique terms). In this paper, I argue that the interconnection between both octagons is more subtle than has previously been thought: if we move beyond the Aristotelian relations, and also take Boolean considerations into account, then (...) the strong analogy between Buridan's octagons starts to break down. These differences in Boolean structure can already be discerned within the octagons themselves; on a more abstract level, they lead to these two octagons having different degrees of Boolean complexity (i.e. Boolean closures of different sizes). These results are obtained by means of bitstring analysis, which is one of the key tools from contemporary logical geometry. Finally, I argue that this historical investigation is directly relevant for the theoretical framework of logical geometry, and discuss how it helps us to address certain open questions in this framework. (shrink)