This paper argues that Burley's theory of simple supposition is not as it has usually been presented. The prevailing view is that Burley and other authors agreed that simple supposition was in every case supposition for a universal, and that the disagreement over simple supposition between, say, Ockham and Burley was merely a disagreement over what a universal was (a piece of the ontology? a concept?), combined with a separate disagreement over what terms signify (the (...) speaker's thoughts? the objects the thoughts are about?).In fact, however, Burley explicitly allows that some instances of simple supposition are for an individual, and that in certain cases personal supposition and simple supposition coincide. The present paper explores Burley's theory on this topic, and proposes a way of thinking about the metaphysics and the semantics that makes sense of what he says. (shrink)

Having seen the limitations of a reconstruction of Buridan’s semantics in terms of a modified quantification theory, this chapter begins engaging Buridan’s theory in its own terms, starting with a detailed discussion of the semantic properties of terms. The discussion moves from a brief discussion of Buridan’s distinction between immediate and ultimate signification, to Buridan’s theory of reference, namely, supposition, and oblique reference, namely, appellation. The chapter discusses suppositional descents as distinguishing quantifier-scopes, numerical quantification, and appellation (...) in temporal and modal contexts, as well as Buridan’s peculiar theory of appellatio rationis, the theory of oblique reference to concepts in intentional contexts. (shrink)

In the scholarship on medieval logic and semantics of the last decades, Ockham’s theory of supposition is probably the most extensively studied version of such theories; yet, it seems that we still do not fully understand all its intricacies. In this paper, I focus on a phrase that occurs countless times throughout Ockham’s writings, but in particular in the sections dedicated to supposition in the Summa logicae: the phrase ‘denotatur’. I claim that an adequate understanding of the role (...) of the concept of denotatur within Ockham’s supposition theory shall yield a deeper understanding of the theory as a whole. Here, I first examine a few uses of the term ‘denotatur’ and its variants by other authors. I then turn to Ockham: first I briefly mention some uses of the term in contexts other than his theory of supposition. Following that, I focus on his supposition theory, in particular on how ‘denotatur’ allows him to deal with two crucial puzzles, namely the supposition of empty terms and the supposition of terms in false affirmative propositions. The treatment of these two puzzles suggests that Ockham’s theory of supposition must be understood as a theory chiefly intended for the generation of the meanings of propositions. (shrink)

Discrete supposition occurs whenever a discrete term, such as ‘Socrates‘, is the subject of a given proposition. I propose to examine this apparently simple notion. I shall draw attention to the incongruity, within a general theory of the semantic variation of terms in a propositional context, of the notion of discrete supposition, in which a term usually has a single semantic correlate. The incongruity comes to the fore in those treatises that attempt to describe discrete supposition (...) as a sort of personal supposition, although the same term cannot be in simple supposition in another propositional context, because it has no significate distinct from its suppositum. This shows a fundamental link between common signification, simple supposition and predicability, three notions that rely on the existence of a significate distinct and independent from the suppositum of the term. The connection is to be seen especially in William of Sherwood’s Introductiones, the only author of a terminist Summa who recognizes the existence of simple supposition for discrete terms. (shrink)

These are three welcome works on medieval logic. The Summa Logica of William of Ockham has long been a classic, and scholars have been waiting for this critical edition, begun almost a quarter of a century ago by Philotheus Boehner and finally brought to completion by the combined efforts of Stephen Brown and especially Gedeon Gal, now the general editor of the Opera Philosophica et Theologica being prepared at the Franciscan Institute at St. Bonaventure University. The editors date this work (...) after the Commentary on the Sentences, two volumes of which have already appeared in the above mentioned series. It also postdates Ockham’s commentaries on Porphyry, the Praedicamenta, Perihermenias, and Sophisticis Elenchis, as well as the first four books of Aristotle’s Physics. As a terminus ante quem the editors take the fifth book of this same Physics and see it as certainly prior to the Tractatus de praedestinatione, and to the De corpore Christi and De Sacramento Altaris. Parts of the Quodlibetal questions, however, precede it, and others follow. Loux’s translation, unfortunately, antedated this splendid edition of the Summa Logicae, being based on only the partial, earlier edition of Boehner. Nevertheless, it is a useful instrument providing a good and relatively complete introduction to the basic themes of Ockham’s philosophy of language as well as his ontology. A spot check reveals some misprints, e.g., on pp. 56, 192 and on page 38, lines 68-83 of the Latin edition he used have not been translated. The work is introduced by two essays: "The Ontology of William Ockham" and "Ockham on Generality"—the latter dealing with his theory of supposition. Nuchelmans’ interesting work, though it deals mostly with the medieval history of propositions as bearers of truth and falsity, contains some six chapters which trace the history of the term as early as Plato’s treatment in the Sophist, through Aristotle and the important Stoic lekton and axioma. He also concludes with a useful chapter on the significance of a true propositio, both as a mode of being of a thing and as the mental conception.—A.B.W. (shrink)

According to a widespread view in medieval scholarship, theories of supposition are the medieval counterparts of theories of reference, and are thus essentially extensional theories. I propose an alternative interpretation: theories of supposition are theories of properties of terms, but whose aim is to allow for the interpretation of sentences. This holds especially of Ockham’s supposition theory, which is the main object of analysis in this paper. In particular, I argue for my intensional interpretation of his (...) theory on the basis of two key-phrases in his Summa Logicae: ‘denotatur’ and ‘propositio est distinguenda’. Finally, I offer a reconstruction of his theory as a set of instructions to be carried out in order to generate the possible readings of (certain) sentences. (shrink)

In this article, we discuss the notion of merely confused supposition as it arose in the medieval theory of suppositio personalis. The context of our analysis is our formalization of William of Ockham's theory of supposition sketched in Mind 86 (1977), 109-13. The present paper is, however, self-contained, although we assume a basic acquaintance with supposition theory. The detailed aims of the paper are: to look at the tasks that supposition theory took on itself and to (...) use our formalization to relate them to more modern ideas; to explain the notion of merely confused supposition and to defend it against certain criticisms; and to discuss two issues closely related to the idea of merely confused supposition which we could not broach in a shorter article: the mode of supposition of terms in intensional contexts, and the possible existence of a fourth mode, often called suppositio copulatim. (shrink)

This presentation of a system of propositional logic is a foundational paper for systems of illocutionary logic. The language contains the illocutionary force operators '' for assertion and ' ' for supposition. Sentences occurring in proofs of the deductive system must be prefixed with one of these operators, and rules of take account of the forces of the sentences. Two kinds of semantic conditions are investigated; familiar truth conditions and commitment conditions. Accepting a statement A or rejecting A commits (...) a person to accepting some statements (the symbol '' marks this value), to rejecting some statements (), and will leave the person uncommitted with respect to others (). Commitment valuations assign the values to sentences of ; such a valuation is conceived as reflecting the beliefs/knowledge of a particular person. This paper explores the relations between truth conditions and commitment conditions, and between semantic concepts defined in terms of these conditions. (shrink)

The relationship between thought and reality was a focal point of Wyclif’s reflection. On the one hand, Wyclif believed that thought was linguistically constrained by its own nature; on the other hand, he considered thought to be related to reality in its elements and constitution. Hence he deemed language, thought, and external reality to be of the same logical coherence. Within this context, the theory of supposition was intended to explain the different roles that terms can have in (...) relation to language and the extra-mental world when they appear as extremes in propositions. Characteristically, his theory of supposition provides an account not only of the truth-values of a sentence, but also of its meaning; it is not therefore simply a theory of reference, but a sort of complex analysis of language viewed as a semiotic system whose unique interpretative model was reality itself. It gives clear evidence of Wyclif’s realist stance and of his conviction that any kind of linguistic and semantic features must be grounded on ontological structures. (shrink)

Although he does not have an explicit theory of supposition as is found in the works of Latin medieval philosophers, Avicenna has two doctrines giving something equivalent: the threefold distinction of quiddity, corresponding to a division of simple, personal and material supposition, and his analyses of truth conditions for categorical propositions, where sentential context determines in part the reference of their terms. While he does address which individuals are being referred to by the universal terms used (...) there, Avicenna concentrates more on the varied temporal durations of the predications being made. In Western terms, he has incorporated ampliation and restriction into the theory of supposition itself. (shrink)

In a recent paper Paul Vincent Spade suggests that, although the medieval doctrine of the modes of personal supposition originally had something to do with the rest of the theory of supposition, it became, by the 14th century, an unrelated theory with no question to answer. By contrast, I argue that the theory of the modes of personal supposition was meant to provide a way of making understandable the idea that a general term in a categorical proposition (...) can be used to refer to the individual things that fall under it. Once that idea had been made acceptable, truth conditons for the various forms of categorical proposition could be given without any specific appeal to the ideas of descent and ascent in terms of which the modes had been defined. (shrink)

An application of the Method of Analysis of Relational Complexity (MARC) to suppositional reasoning in the knight-knave task is outlined. The task requires testing suppositions derived from statements made by individuals who either always tell the truth or always lie. Relational complexity (RC) is defined as the number of unique entities that need to be processed in parallel to arrive at a solution. A selection of five ternary and five quaternary items were presented to 53 psychology students using a pencil (...) and paper format. A computer-administered version was presented to 50 students. As predicted, quaternary problems were associated with higher error rates and longer response times than ternary problems. The computer-administered form was more difficult than the pencil and paper version of the test. These differences are discussed in terms of RC theory and alternative processing accounts. Together, they indicate that the relational complexity metric is a useful and parsimonious way to quantify complexity of reasoning tasks. (shrink)

In 1981 I published an article called Early Supposition Theory. Then as now, the magisterial work on the subject was L.M. de Rijk’s Logica Modernorum and then as now any discussion of the topic would have to rely to a great extent on the texts published there. This means that many of the problems that existed then still remain, but a couple of important new studies and several new texts have been published in the meantime, so it may be (...) time to try to take stock of the situation. I will first look at the origin of the term suppositio and then at the chronology of our source texts. (shrink)

The article investigates how the problem of reference is treated in the theology of two pupils of Gilbert of Poitiers by means of suppo* terms. Supposition is for Gilbert an action performed by a speaker, not a property of terms, and he considers language as a system for communication between human beings: key notions are the ‘sense in the author’s mind’ and the ‘interpreter’s understanding’. In contrast, the two Porretans tend to objectify language as a formal system (...) of terms. Suppositio becomes in the Summa Zwettlensis the name itself as subject term in a proposition, and is divided into many kinds; formal rules are described which govern the influence of the predicate on the subject term’s denotation. In Everard of Ypres’ Dialogus Ratii et Everardi, supponere is a function of the name, and ‘human is a species of individuals’ is, as in some logical treatises and differently from Gilbert, a case of rhetorical transfer. (shrink)

Aquinas held that the metaphysical consideration of beings as being consists in the consideration of being as created, i.e., the consideration of things in their complete reality, and the reduction of this complete reality to its complete cause. When existence displaces form as the primary sense of being, the thing’s act of existing is conceived of as ‘formal’ with respect to its essence. Consequently, the primary object of metaphysical consideration becomes the complete entity, a composite of essence and existence, and (...) the primary sense of being becomes the subsistence of the complete entity. In Aquinas’s creationist discourse, the term supposit denotes the concept of the entitative whole or complete entity. What this concept of the supposit adds to the Aristotelian conception of the concrete individual derives from the contingency of existence in every being beyond the first being. The subject of a nature and of categorical accidents is now also conceived of as the subject of a received act of existing. Aquinas reduces the distinctions of finite entities to their possession of acts of existing that are diverse absolutely, in virtue of a ‘privation’ of the fullness of existence, just as Aristotle reduces formal contrariety to the possession or ‘privation’ of differences that are diverse absolutely. And as Plato traced the negations constitutive of formal contrariety to a correlative participation between being and otherness, Aquinas analogously traced the distinctions of finite entities to a transcendental duality between participated existence and receiving essence. The necessary participation of each of these principles of finite being in divine and infinite existence constitutes the ultimate metaphysical reduction and horizon of a creationist metaphysics. (shrink)

'If' is one of the most important words in the English language, being used to express hypothetical thought. The use of conditional terms such as 'if' distinguishes human intelligence from that of all other animals. In this volume, Jonathan Evans and David Over present a new theoretical approach to understanding conditionals. The book draws on studies from the psychology of judgement and decision making, as well as philosophical logic.

In this paper, Ockham's theory of an ideal language of thought is used to illuminate problems of interpretation of his theory of truth. The twentieth century idea of logical form is used for finding out what kinds of atomic sentences there are in OckhamÕs mental language. It turns out that not only the theory of modes of supposition, but also the theory of supposition in general is insufficient as a full theory of truth. Rather, the theory of (...) class='Hi'>supposition is a theory of reference, which can help in the determination of truth values within the scope of simple predications. Outside this area, there are interesting types of sentences, whose truth does not depend on whether the terms supposit for the same things or not for the same things. (shrink)

Many fourteenth-century logicians took affirmative propositions to maintain that the subject term and the predicate term stand or supposit for the same. This is called the identity theory of predication by historians and praedicatio identica by Paul of Venice and others. The identity theory of predication was an important part of early fourteenth-century Trinitarian discussions as well, but what was called praedicatio identica by Duns Scotus and his followers in this context was something different. After some remarks on Scotus’s view (...) and its background, I shall analyse Adam Wodeham’s explanation of Scotus’s praedicatio identica and how he understood the assumptions pertaining to supposition in the Scotist approach. I also describe Wodeham’s own solution to Trinitarian sophisms, which did not deviate from the identity theory of predication. (shrink)

We report the results of three experiments designed to assess the role of suppositions in human reasoning. Theories of reasoning based on formal rules propose that the ability to make suppositions is central to deductive reasoning. Our first experiment compared two types of problem that could be solved by a suppositional strategy. Our results showed no difference in difficulty between problems requiring affirmative or negative suppositions and very low logical solution rates throughout. Further analysis of the error data showed a (...) pattern of responses, which suggested that participants reason from a superficial representation of the premises in these arguments and this drives their choice of conclusion. Our second experiment employed a different set of suppositional problems but with extremely similar proofs in terms of the rules applied and number of inferential steps required. As predicted by our interpretation of reasoning strategies employed in Experiment 1, logical performance was very much higher on these problems. Our third experiment showed that problems that could be solved by constructing an initial representation of the premises were easier than problems in which this representation was not sufficient. This effect was independent of the suppositional structure of the problems. We discuss the implications of this research for theories of reasoning based on mental models and inference rules. (shrink)

This paper follows up a suggestion by Paul Vincent Spade that there were two Medieval theories of the modes of personal supposition. I suggest that early work by Sherwood and others was a study of quantifiers: their semantics and the effects of context on inferences that can be made from quantified terms. Later, in the hands of Burley and others, it changed into a study of something else, a study of what I call global quantificational effect. For example, (...) although the quantifier in ‘¬∀xPx’ is universal, it can be seen globally as having an existential effect; this is because the formula containing it is equivalent to ‘∃x¬Px’. The notion of global effect can be explained in terms of the modern theory of normal forms. I suggest that early authors were studying quantifiers, and the terminology of the theory of personal supposition is a classification of kinds of quantifiers. In this theory, to say that a term has distributive supposition is to say, roughly, that it is quantified by a universal quantifying sign. Later authors turned this into a theory of global quantificational effect. In the later theory, to say that a term has distributive supposition is to say that the overall effect is as if the term were universally quantified with a quantifier taking (relatively) wide scope. The difference between these two approaches is illustrated by the fact that the term ‘man’ is classified as having distributive ("universal") supposition in ‘Not every man is running’ in the earlier theory, whereas in the later theory that term does not have distributive supposition; it has determinate ("existential") supposition. In the paper I explain these options, and I argue from several texts that the earlier and later medieval theories actually worked like this. In an appendix I make further efforts to clarify the obscure early accounts, as well as the nineteenth century "doctrine of distribution". The last section of the paper discusses the "purpose(s)" of supposition theory. (shrink)

Supposition is a controversial logical theory. Scholars have investigated many points of this doctrine such as its historical origin, its use in theology, the logical function of the theory, or the relationship between supposition and signification. In the article I focus on this latter aspect by discussing how some Italian, and in particular Florentine, Dominican followers of Aquinas—Francis of Prato, Girolamo Savonarola, and Georgius Rovegnatinus —explained the relation between the linguistic terms’ properties of signifying and suppositing, and (...) hence the division of supposition. After sketching out Thomas Aquinas, Hervaeus Natalis, and William of Ockham’s positions on the relationship between signification and supposition, I closely examine Francis’s criticism of Ockham. Francis follows Walter Burley’s account of supposition and considers the statement that a term has simple supposition when it is taken not significatively and stands for an intention of mind as the weak point of Ockham’s explanation of supposition. According to Francis, if this were the case, there would be no semantic basis for differentiating simple from material supposition. Francis is however hesitant about the full subordination of supposition to signification, especially with regards to material supposition, when a term, suppositing for itself, is taken to signify itself besides its meaning. More than one hundred years later, Girolamo Savonarola and Georgius Rovegnatinus have no doubt about the fact that terms may supposit only for what they signify. (shrink)

Paul Spade argues that there is a tension between Ockham’s descriptions of the various types of supposition at Summa Logicae I.64 and a rule he provides at sl I.65. In later papers, Spade proposes a solution: a term supposits significatively just in case it supposits for everything it signifies. I evaluate Spade’s proposal and explore some of its implications. I show that it successfully resolves the tension and that it suggests a way to more precisely describe material and simple (...) supposition. I argue furthermore that Ockham is committed to the proposal by showing that uncontroversial features of his theory imply it. In doing so, I raise and refute three potential objections. Finally, I highlight and discuss a controversial result: self-signifying conventional terms can supposit materially. I argue that this result makes for a more satisfying theory. (shrink)

We predicted that short-term training of executive control would improve both cognitive control itself and general fluid intelligence. We randomly assigned 120 high school students to the experimental and control groups. The former underwent a 14-day training of four executive functions: interference resolution, response inhibition, task switching, and goal monitoring. The latter did not train anything. The training significantly improved cognitive control and IQ. The control group also improved their IQ scores but gained less than the experimental one. However, the (...) amount of IQ scores enhancement did not correlate with the majority of indices of the training effectiveness, thus justifying the supposition that such enhancement resulted from the general effect of participation in the training rather than from the improvement of executive functions underlying Gf. (shrink)

It has been widely accepted in the past and it remains accepted in many quarters even now, that an ontologically economical position is to be rejected if the corresponding Platonic or otherwise ontologically prodigal discourse cannot be translated, paraphrased or otherwise ‘reduced’ to discourse exhibiting a more economical ontology. Such an attitude is often accompanied by the claim that the prodigal ontology explains some important truthsandthe demand that the nominalist or fictionalist or economicalist provide an alternative explanation for those truths (...) — perhaps in terms of ontologically economical ersatz substitutes for the prodigal entities. (shrink)

This paper has as its topic two recent philosophical disputes. One of these disputes is internal to the project known as decision theory, and while by now familiar to many, may well seem to be of pressing concern only to specialists. It has been carried on over the last twenty years or so, but by now the two opposing camps are pretty well entrenched in their respective positions, and the situation appears to many observers (as well as to some of (...) the parties involved) to have reached a sort of stalemate. The second of these two disputes is, on the other hand, very much alive. While it has been framed in decision theoretic terms, it is definitely not a dispute internal to that enterprise. It is, rather, a debate about the very coherence of the notion of objective value, and as such touches on issues of central importance to, for example, meta–ethics and moral psychology. (shrink)

It is shown, first, that Georgius Benignus [Juraj Dragišić, ca 1445-1520] at the end of the 15th century almost fully disposed with the theory of the fourth syllogistic figure. Prantl's view on Benignus' logic is critically examined. Besides, Benignus' doctrines on the supposition of terms and logical consequences are examined with respect to his two versions of logic (1488/1489 and 1519) and to the main influences (e.g., Strodus, Paulus Venetus, Ferebrich, Paulus Pergolensis). A reduction of the rules of (...) consequences of Benignus' logic 1488/1489 to the rules of logic 1519 is reconstructed. Benignus rejects the reasoning ex impossible quodlibet and e quolibet necessarium in what he defines as material consequences. (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)

Philotheus boehner's "medieval logic" gives the impression that medieval supposition theory and modern quantification theory agree on their interpretation of particular propositions but differ on their interpretation of universal propositions. Matthews shows that this impression is mistaken: they differ on both particular and universal propositions, And the basic reason is that the medievals quantify over terms while modern logicians quantify over variables. (staff).

The paper shows that in the Art of Thinking (The Port Royal Logic) Arnauld and Nicole introduce a new way to state the truth-conditions for categorical propositions. The definition uses two new ideas: the notion of distributive or, as they call it, universal term, which they abstract from distributive supposition in medieval logic, and their own version of what is now called a conservative quantifier in general quantification theory. Contrary to the interpretation of Jean-Claude Parienté and others, the truth-conditions (...) do not require the introduction of a new concept of ‘indefinite’ term restriction because the notion of conservative quantifier is formulated in terms of the standard notion of term intersection. The discussion shows the following. Distributive supposition could not be used in an analysis of truth because it is explained in terms of entailment, and entailment in terms of truth. By abstracting from semantic identities that underlie distribution, the new concept of distributive term is definitionally prior to truth and can, therefore, be used in a non-circular way to state truth-conditions. Using only standard restriction, the Logic’s truth-conditions for the categorical propositions are stated solely in terms of (1) universal (distributive) term, (2) conservative quantifier, and (3) affirmative and negative proposition. It is explained why the Cartesian notion of extension as a set of ideas is in this context equivalent to medieval and modern notions of extension. (shrink)

The Quietists of seventeenth century France advocated pure love of God, the purity of which they proposed to test by a supposition that they conceded was impossible. Suppose, per impossibile, that God punished with eternal hellfire precisely those who love Him most; would you then love God? If not, then, according to Fénelon, for example, the love was less than pure, involving some measure of self-interest. The love is to that extent, he said, mercenary. The aim of this article (...) is, first, to show that the Quietist conception of pure love as involving sacrifice as tested by the impossible supposition was important throughout the period, in ways far transcending the colossal theological row that it generated. Second, to show that the Quietist impossible supposition is intrinsically interesting, and can be defended against objections to it that have recently been raised by Robert Merrihew Adams. Third, to show that the impossible supposition, and the pure love for which it was designed as the test, need not be read in the religious or theological terms deployed so far, that it can be given a secular, non-theological reading that bears even on contemporary work on love, in particular on work done by Harry G. Frankfurt. Even fully satisfying theses aims will not close discussion of Quietism, however. Rather, the motivation is the more modest one of providing a useful re-introduction of a topic on which the English-language literature is almost non-existent. (shrink)

This paper arose from an attempt to determine how the very late medieval1 supposition theorists treated anaphoric pronouns, pronouns whose significance is derivative from their antecedents. Modern researches into pronouns were stimulated in part by the problem of "donkey sentences" discussed by Geach 1962 in a section explaining what is wrong with medieval supposition theory. So there is some interest in seeing exactly what the medieval account comes to, especially if it turns out, as I suspect, to work (...) as well as contemporary ones. Besides, finding a good analysis of pronouns has proved to be very difficult, and so we might possibly find some insight in a historically different kind of approach. I discuss a version of supposition theory that aims at producing analyses of sentences containing quantified terms,2 as articulated around 1400 by Paul of Venice, and as further developed by certain logicians such as de Soto and Celaya in the 1400's and early 1500's.3 Much of what I will say also applies indirectly to earlier versions of supposition theory (before 1400). (shrink)

This critical edition of Albert of Saxony's _25 Questions on Logic_ treats issues such as the imposition, distribution, signification, and supposition of terms, and the truth and falsity, conversion, contradictoriness and kinds of propositions, together with problems concerning negotiations.

Buridan was a brilliant logician in an age of brilliant logicians, sensitive to formal and philosophical considerations. There is a need for critical editions and accurate translations of his works, for his philosophical voice speaks directly across the ages to problems of concern to analytic philosophers today. But his idiom is unfamiliar, so editions and trans lations alone will not bridge the gap of centuries. I have tried to make Buridan accessible to philosophers and logicians today by the introduc tory (...) essay, in which I survey Buridan's philosophy of logic. Several problems which Buridan touches on only marginally in the works trans lated herein are developed and discussed, citing other works of Buridan; some topics which he treats at length in the translated works, such as the semantic theory of oblique terms, I have touched on lightly or not at all. Such distortions are inevitable, and I hope that the idiosyncracies of my choice of philosophically relevant topics will not blind the reader to other topics of value Buridan considers. My goal in translating has been to produce an accurate renaering of the Latin. Often Buridan will couch a logical rule in terms of the grammatical form of a sentence, and I have endeavored to keep the translation consistent. Some strained phrases result, such as "A man I know" having a different logic from "I know a man. " This awkwardness cannot always be avoided, and I beg the reader's indulgence. All of the translations here are my own. (shrink)

Our understanding of folk and scientific psychology often informs the law’s conclusions regarding questions about the voluntariness of a defendant’s action. The field of psychology plays a direct role in the law’s conclusions about a defendant’s guilt, innocence, and term of incarceration. However, physical sciences such as neuroscience increasingly deny the intuitions behind psychology. This paper examines contemporary biases against the autonomy of psychology and responds with considerations that cast doubt upon the legitimacy of those biases. The upshot is that (...) if reasonable doubt is established regarding whether psychology’s role in the law should be displaced, then there is room for future work to be done with respect to the truth of psychology’s conclusions about criminal responsibility. (shrink)

This volume offers an English translation of John of St. Thomas's Cursus theologicus I, question I, disputation 2. In this particular text, the Dominican master raises questions concerning the scientific status and nature of theology. At issue, here, are a number of factors: namely, Christianity's continual coming to terms with the "Third Entry" of Aristotelian thought into Western Christian intellectual culture - specifically the Aristotelian notion of 'science' and sacra doctrina's satisfaction of those requirements - the Thomistic-commentary tradition, and (...) the larger backdrop of the Iberian Peninsula's flourishing "Second Scholasticism." In this latter context, John of St. Thomas applies the theological principles of Thomas Aquinas to the Scholastic disputes preoccupying Thomist, Franciscan, and Jesuit theologians, such as Cajetan, Bañez, Luis de Molina, Vazquez, Suárez - to name only a few - in a tour de force of theological thinking throughout the entire period of Scholasticism. In the process - and not insignificantly - the status quaestionis of theology's scientific character is clearly framed and answered according to John's satisfaction. Key to John of St. Thomas's resolution of the question is his understanding of the continuity of the power of human reason with the super-intelligibility of divine revelation spelled out in terms of what he calls "virtual revelation." This text presented in this volume is a quintessential example of the deep and abiding harmony that flourished between faith and reason as well as grace and nature within the golden era of Baroque Scholasticism. (shrink)

The problem of probabilities of conditionals is one of the long-standing puzzles in philosophy of language. We defend and update Adams' solution to the puzzle: the probability of an epistemic conditional is not the probability of a proposition, but a probability under a supposition. -/- Close inspection of how a triviality result unfolds in a concrete scenario does not provide counterexamples to the view that probabilities of conditionals are conditional probabilities: instead, it supports the conclusion that probabilities of conditionals (...) violate standard probability theory. -/- This does not call into question probability theory per se; rather, it calls for a more careful understanding of its role: probability theory is a theory of probabilities of propositions; but as conditionals do not express propositions, their probabilities are not subject to the standard laws. -/- We argue that both conditional probabilities and probabilities of conditionals are best understood in terms of the dynamics of supposing, modeled as a restriction operation on a probability space. This version of the suppositionalist view allows us to connect Adams' Thesis to the widely held restrictor view of the semantics of conditionals. -/- We address two common objections to Adams' view: that the relevant probabilities are ‘probabilities only in name’, and that giving up conditional propositions puts us at a disadvantage when it comes to interpreting compounds. -/- Finally, we argue that some putative counterexamples to Adams' Thesis can be diagnosed as fallacies of probabilistic reasoning: they arise from applying to conditionals laws of standard probability theory which are invalid for them. (shrink)

The Greek astronomer and geometrician Apollonius of Perga produced pioneering written work on conic sections in which he demonstrated mathematically the generation of curves and their fundamental properties. His innovative terminology gave us the terms 'ellipse', 'hyperbola' and 'parabola'. The Danish scholar Johan Ludvig Heiberg, a professor of classical philology at the University of Copenhagen, prepared important editions of works by Euclid, Archimedes and Ptolemy, among others. Published between 1891 and 1893, this two-volume work contains the definitive Greek text (...) of the first four books of Apollonius' treatise together with a facing-page Latin translation. Volume 1 contains the first three books, with the editor's introductory matter in Latin. (shrink)

The Greek astronomer and geometrician Apollonius of Perga produced pioneering written work on conic sections in which he demonstrated mathematically the generation of curves and their fundamental properties. His innovative terminology gave us the terms 'ellipse', 'hyperbola' and 'parabola'. The Danish scholar Johan Ludvig Heiberg, a professor of classical philology at the University of Copenhagen, prepared important editions of works by Euclid, Archimedes and Ptolemy, among others. Published between 1891 and 1893, this two-volume work contains the definitive Greek text (...) of the first four books of Apollonius' treatise together with a facing-page Latin translation. Volume 2 contains the fourth book in addition to other Greek fragments and ancient commentaries, notably that of Eutocius, as well as the editor's Latin prolegomena comparing the various manuscript sources. (shrink)

The Greek astronomer and geometrician Apollonius of Perga produced pioneering written work on conic sections in which he demonstrated mathematically the generation of curves and their fundamental properties. His innovative terminology gave us the terms 'ellipse', 'hyperbola' and 'parabola'. The Danish scholar Johan Ludvig Heiberg, a professor of classical philology at the University of Copenhagen, prepared important editions of works by Euclid, Archimedes and Ptolemy, among others. Published between 1891 and 1893, this two-volume work contains the definitive Greek text (...) of the first four books of Apollonius' treatise together with a facing-page Latin translation. Volume 1 contains the first three books, with the editor's Latin introductory matter. Volume 2 contains the fourth book in addition to other Greek fragments and ancient commentaries, notably that of Eutocius. (shrink)

The framework of conceptual realism provides a logically ideal language within which to reconstruct the medieval terminist logic of the 14th century. The terminist notion of a concept, which shifted from Ockham's early view of a concept as an intentional object to his later view of a concept as a mental act , is reconstructed in this framework in terms of the idea of concepts as unsaturated cognitive structures. Intentional objects are not rejected but are reconstructed as the objectified (...) intensional contents of concepts. Their reconstruction as intensional objects is an essential part of the theory of predication of conceptual realism. It is by means of this theory that we are able to explain how the identity theory of the copula, which was basic to terminist logic, applies to categorical propositions. Reference in conceptual realism is not the same as supposition in terminist logic. Nevertheless, the various "modes" of personal supposition of terminist logic can be explained and justified in terms of this conceptualist theory of reference. (shrink)

The article investigates how the problem of (linguistic) reference is treated in Gilbert of Poitiers' Commentaries on Boethius' Opuscula sacra. In this text the terms supponere, suppositus,-a,-um , and suppositio mainly concern the act of a speaker (or of the author of a written text) that consists of referring—by choosing a name as subject term in a proposition—to one or more subsistent things as what the speech act (or the written text) is about. Supposition is for Gilbert an (...) action performed by a speaker, not a property of terms, and his `contextual approach' has a pragmatic touch: “we do not predicate in order to supposit as much as we supposit in order to predicate“. Language is considered by Gilbert as a system for communication between human beings, key notions are the `sense in the author's mind' ( sensus mentis eius qui loquitur ) and the `interpreter's understanding' ( intelligentia lectoris ). The phenomenon of `disciplinal' discourse (“man is a species of individuals“) is treated by means of these hermeneutic notions and not by means of a special kind of supposition. (shrink)