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)

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)

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)

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)

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)

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

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)

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)

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)

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)

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)

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)

'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 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)

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)

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)

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)

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.

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)

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)

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)

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)

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)

Resumen El concepto de scientia plasmado en la obra de Guillermo de Ockham considera, en primer lugar, la teoría de la suposición, la cual transforma la visión del conocimiento evidente a partir del examen de términos y proposiciones como signos de las cosas. En segundo lugar, el conocimiento intuitivo de los singulares, el cual posibilita la formulación de proposiciones necesarias que describen hechos y estados de cosas. En tercer lugar, una perspectiva lógica de scientia como conjuntos de proposiciones que configuran (...) las distintas ciencias.The concept of scientia established in William of Ockham's work considers firstly, the theory of supposition, which transforms the view of the evident knowledge based on the analysis of terms and propositions as signs of things. Secondly, the intuitive knowledge of singulars, which allows the formulation of necessary propositions that describe facts and state of affairs. Thirdly, a logical approach of science as set of propositions that configure the different sciences. (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)

[Supposition of Mental Term according to William of Ockham :] This paper investigates Ockham ’s claim that there is a diversity of suppositions of a mental term. First, it summarizes the hitherto research in Ockham ’s theory of concepts and the theory of mental language ascribed to him. Secondly, it describes his theory of supposition, focusing on the interpretation of this theory which describes it as a device for interpretation of propositions. Thirdly, the paper examines the problems which (...) arise from combining Ockham ’s theory concepts and his theory of supposition – namely, the problems concerning the nature of mental proposition, the question of mental syncategoremata, and of equivocation in mental language. Part 8 then reveals the absurdity of understanding the supposition of a mental term as an instrument for interpretation of mental propositions. Finally, I propose a new interpretation of the whole issue, based on Ockham ’s early commentary on the Sentences. According to this interpretation, the diversity of supposition of a mental term is not triggered by the need of distinguishing various meanings of a mental propositions, but by Ockham ’s nominalistic theory of science. (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)

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)

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)

The rule of law is a necessary condition for any substantive theory of justice. If a theory sacrifices the rule of law, justice, too, is sacrificed. The connection between the necessary condition and justice is explored in the work of John Rawls, H. L. A. Hart, Karl Marx, Emile Durkheim, Albert Camus and William Shakespeare. The conceptions of justice elaborated in each of these political thinker's works share very little more than the rule of law. Since the conceptions examined are (...) so different and the necessary condition is contained in each, I conclude that there is substantial support for the thesis. ;In order to do justice to the texts examined in this dissertation the plain language, the words on the page, must be given priority but cannot be fully determinative of the text's meaning. The immanent structure of the text, the rules of the text which give it shape and form, must also be discerned. There are no particular rules for interpretation in general, yet each text contains within it its own individual rules. The rules of the text are what allow the meanings of the text to play themselves out for different readers. Understanding the history of the text is also important for interpretation. ;Some interpretations of the theories of justice examined here have sought to change the substance of that theory through interpretation. For example, Marx's theory depends upon the law of equal commodity exchange. As shown in chapter three, if an alien supposition of distributive justice is interpreted into Marx's theory so that the surplus value which Marx claims belongs to the capitalist is redistributed, then the proposed transition to communism, which Marx analyzed and supported, will not occur. Doing justice to Marx's texts allows Marx's theory of justice to come through and be judged on its own terms. Only after that has been accomplished can it be evaluated and compared with other theories. The same association between interpretative method and substantive meaning is demonstrated for each theory. The conclusion compares interpretation in law and drama and connects doing justice to texts with justice. (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 article examines the ways in which Georges Didi-Huberman conceptualizes the notion of the “aura” after Walter Benjamin’s famous and elusive rendering of the term. The central focus is on the way in which Didi-Huberman theorizes the aura to showcase its capacity for transformation – specifically in terms of its connection to “place” and in terms of what he calls a “memory trace.” After an introduction, the article is divided into five sections, followed by a conclusion. The first (...) two sections act as a foundation from which to investigate Didi-Huberman’s engagement with the aura. Therein, I explore the aesthetic debates surrounding what kind of knowledge artworks can produce and specifically how language can, most reductively, objectify the way in which artworks are critiqued, on the one hand, or produce elusive and romantic readings of artworks, on the other. Furthermore, I explore the way in which the notion of aura is engaged in Benjamin’s work upon which Didi-Huberman largely draws for his own understanding of the term. The subsequent two sections outline what I call Didi-Huberman’s two-part proposal of the aura re-imagined; this entails what he calls the “supposition” of the aura and the “secular” aura. Didi-Huberman takes Barnett Newman’s “zip” paintings as a point of entry to think how the aura can be hypothesized after Benjamin. In the final section, I look to the artworks of James Turrell as they are investigated by Didi-Huberman and to one of his short books, Being a Skull, to describe how artworks can function as vertiginous places, which implicate our conception of space in general. Didi-Huberman’s “dialectics of place” both complexifies Benjamin’s equating of place with the aura as uniqueness and smooths over some edges of his paradoxical thinking. (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)

In lieu of an abstract, here is a brief excerpt of the content:Maurice Blondel on the Practice of Supernatural ReligionAnne M. CarpenterIntroductionMaurice Blondel attended daily Mass to the very end of his life.1 This essay is, in a way, a meditation on this fact. But it is more nearly a confrontation with Blondel's philosophical argument in defense of human action's capacity for affirming the infinite, for "containing" the infinite in its affirmation of the infinite, an affirmation achieved in action's finitude. (...) That is, this is an essay on Blondel's argument for a supernatural religion that can be literally practiced. Much like Blondel's larger philosophical works, this essay spends its time exploring the coordinating ground of supernatural religion, which is the natural world split open in two directions: in its very existence, which is a supposition of what absolutely outstrips its power; in its very action, which in ecstasy takes the shape of a desire for a reversal that it cannot offer itself. So the natural world presupposes the supernatural and desires the supernatural while remaining, of its own power, natural. Blondel makes a theoretical distinction in the universe that, concretely, is a natural–supernatural one committed to a single destiny. This theory and this concreteness cohere in order to make the literal practice of religion both possible and necessary, terms that this essay explains. [End Page 1305]Action: The Problem of Theory and PracticeBlondel's later writing in the 1930s expands on an important paradox that appears in the very early L'Action (1893). That paradox has to do with a distinction between theory—that is, the world of ideas and reflection—and practice, by which Blondel means the concrete world of human action, a world that for Blondel is an expansive range or "body" of action. It is true, after all, that an idea is not a deed. And yet no deed is without its idea, without the mediatory power of the act of consciousness, nor without the mediation of this consciousness's rationality—a further synthesizing act within consciousness—even when the deed contradicts reason. "Hence," says Blondel, "it is because we find in our acts a kind of creative sovereignty that we have a consciousness of ourselves and reason; it is because we are reasonable and conscious of ourselves that we judge ourselves capable of voluntary initiative."2 The paradox, at one angle, is this leap or gap, this difference nevertheless sustained by a mediation, where ideas and deeds are non-identical yet inseparable. At another angle, it is a paradox that a "science of practice" has to straddle, since it studies (as science) what it is not: concrete action (practice). Blondel, whether young or of his latter days, is after the possibility of such a science. He is also after the bond between reasoning and acting. In this section, I also seek that bond, and I make use of Blondel's early and later works together to give a sense not of Blondel's development, but of the Gestalt of his life's work with respect to the bond between thought and action.3The bond first requires the rejection of monism. Though Blondel's stance toward theologies of his day tends to be more well-known among theologians, and therefore filtered through questions of nature and grace and carried through to a rejection of a two-tiered conception of the universe, still, his nearer interlocutors are often monists: modern philosophers and the modern sciences, and their strange compatriots in history, the spiritual movements of the fin de siècle, involving spiritualisms of various kinds, recollected in our popular imagination today in visions of crystal balls and séance tables. The positivism of the modern sciences and of modern (French) philosophy poses a totally self-contained "nature" that can be explained [End Page 1306] without religion, in a form of what English speakers might call "secularism," but which is more accurately filtered through French Republican desires for laïcité.4 While Blondel was writing, there were not only these political and scientific and philosophical trends, but also the semi-pantheistic, variously agnostic religious movements that dominated privileged circles in Europe at the time. These are a kind of... (shrink)

(1) Assuming the significates of non-complex terms, in this treatise I intend to investigate certain properties of terms, [properties] that are applicable to them only insofar as they are parts of propositions. (2) Now I divide this tract into three parts. The first is about the supposition of terms, the second about appellation, and the third about copulation. Supposition belongs to the subject, appellation to the predicate. Copula-.

One of the manuscripts of Buridan’s Summulae contains three figures, each in the form of an octagon. At each node of each octagon there are nine propositions. Buridan uses the figures to illustrate his doctrine of the syllogism, revising Aristotle's theory of the modal syllogism and adding theories of syllogisms with propositions containing oblique terms (such as ‘man’s donkey’) and with ‘propositions of non-normal construction’ (where the predicate precedes the copula). O-propositions of non-normal construction (i.e., ‘Some S (some) P (...) is not’) allow Buridan to extend and systematize the theory of the assertoric (i.e., non-modal) syllogism. Buridan points to a revealing analogy between the three octagons. To understand their importance we need to rehearse the medieval theories of signification, supposition, truth and consequence. (shrink)

This paper is about the development of logic in the Aristotelian tradition, from Aristotle to the mid-fourteenth century. I will compare four systems of logic with regard to their expressive power. 1. Aristotle’s own logic, based mostly on chapters 1-2 and 4-7 of his Prior Analytics 2. An expanded version of Aristotle’s logic that one finds, e.g., in Sherwood’s Introduction to Logic and Peter of Spain’s Tractatus 3-5. Versions of the logic of later supposition theorists such as William Ockham, (...) John Buridan, and Paul of Venice. Version 4 is the logic without relatives ; version 5 adds relatives. I am ignoring modals, conditionals that are not ut nunc, infinitizing negation, exclusives and exceptives, all exponibles, all insolubles, and terms with simple or material supposition, ampliation and restriction, and many other things. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:347 THE ROLE OF PART XII IN HUME'S DIALOGUES CONCERNING NATURAL RELIGION Anyone appreciative of Hume's greatness as a philosopher will want to suppose that the Dialogues both form a coherent whole and express Hume's own views on natural religion or religion based on reason (as opposed to religion based on revelation). In the last connection, given what we know of Hume's epistemology, life, and correspondence, one would be (...) inclined to suppose that he would reject out of hand the claims of revealed religion and contend that if there existed an acceptable religion it would have to be some form of natural religion. But insofar as natural religion claimed to establish scientifically the existence and nature of God one would envisage Hume dissenting. Now as long as we restrict our gaze to Parts I-XI of the Dialogues we seem to be able, easily enough, to satisfy all these suppositions. In Part IV, under the name of 'mysticism, ' revealed religion is summarily and facetiously dismissed as 2 indistinguishable from atheism. Demea's apparently permanent departure from the discussion at the conclusion of Part XI as much as says, symbolically, that revealed religion is not a serious contender for one's belief. Its a priori arguments -- the argument from sufficient reason and the ontological argument -- are almost as shortly attacked and dismissed (D 188-192). Also quite in keeping with Hume's philosophical view on knowledge of matters of fact is, on the other hand, the lengthy and detailed examination he bestows on the empiricist argument from design. That Philo, ostensibly his spokesman, is however able to uncover all kinds of logical short-comings in its claims to scientifically 348 establish the existence and nature of God does not surprise us; it coheres perfectly with our preconceived picture of Hume the skeptic, and his system as restricting science to numbers and quantities or, in the term's looser sense, to human nature and its more immediate surroundings. In short, Parts I-XI seem to be all of one Humean whole. But at first and even second glance Part XII notoriously seems to tear our hopes to find coherence and a plausible representation of Hume to tatters. There are, for one thing, those mocking sentences that seem to paint Hume in the colors of a devout, believing Christian, 'avid' for revelation. Thus, at the end of Part XII, apparently expressing Hume's deepest convictions, Philo says that "a person, seasoned with a just sense of the imperfections of natural reason, will fly to revealed truth with the greatest avidity" and immediately afterwards, "To be a philosophical sceptic is, in a man of letters, the first and most essential step towards being a sound, believing Christian" (D 227, 228). For another thing, in Part XII Hume seems to be completely reversing his refutations in Parts I-XI of the argument from design's claims to establish the existence and nature of God. Thus, where in Part II he had Philo reject the use of causal reasoning in the establishment of a Mind as the first cause of the universe on the relevantly Humean grounds that, to do so, "it were requisite, that we had experience of the origin of worlds" (D 150), in Part XII he has Philo, apparently speaking for himself (Hume), argue that "as there are also considerable differences, we have reason to suppose a proportional difference in the causes; and in particular ought to attribute a much higher degree of power and energy to the supreme cause than any we have ever observed in mankind. 349 Here then the existence of a DEITY is plainly ascertained by reason" (D 217). Indeed, all forms of the argument of design, purely analogical as well as causal, seem resurrected in Part XII, although they were one and all hanged and buried in Parts I-XI. Moreover, it seems that in Part XII Hume via Philo is saying that science itself leads us "to acknowledge a first intelligent Author" (D 214-215). Before proceeding to deal with certain other incoherencies with which Part XII seems to confront us let us address ourselves to the two that I have so far... (shrink)

This volume is an important supplement to the two volumes in the series of Cambridge Histories covering the philosophy of the Middle Ages. Dronke's book, which adopts the format of the latter volume, is intended to fill the gap between them. It contains sixteen contributions by fifteen scholars. The contributions are arranged in four parts. The four essays in part 1, "Background," provide useful summaries of the intellectual inheritance that provides the cultural environment for what has been called the twelfth-century (...) renaissance. These essays give us, for the first time I think, a clear and reasonably broad account of the historical and philosophical relations between twelfth-century thinkers and ancient thought. Part 2, "New Perspectives," contains four chapters, one on twelfth-century scientific speculations, one on the grammatical, logical, and semantic issues that grew out of interest in grammar, and two on logic during the period. These chapters are the most exciting in the book: they succeed in showing us not only some of what is new and distinctive in twelfth-century thought but also in taking us to the frontiers of some of the philosophically most interesting current research. Fredborg's "Speculative Grammar" and Jacobi's "Logic : The Later Twelfth Century" uncover some of the strange and intriguing roots of characteristically medieval developments in logic: issues such as the properties of terms, the theory of supposition, and fallacies; and methods such as the use of sophismata and instantiae. (shrink)

ABSTRACT This part of the series has a dual purpose. In the first place we will discuss two kinds of theories of proof. The first kind will be called a theory of linear proof. The second has been called a theory of suppositional proof. The term "natural deduction" has often and correctly been used to refer to the second kind of theory, but I shall not do so here because many of the theories so-called are not of the second kind--they (...) must be thought of either as disguised linear theories or theories of a third kind (see postscript below). The second purpose of this part is 25 to develop some of the main ideas needed in constructing a comprehensive theory of proof. The reason for choosing the linear and suppositional theories for this purpose is because the linear theory includes only rules of a very simple nature, and the suppositional theory can be seen as the result of making the linear theory more comprehensive. CORRECTION: At the time these articles were written the word ‘proof’ especially in the phrase ‘proof from hypotheses’ was widely used to refer to what were earlier and are now called deductions. I ask your forgiveness. I have forgiven Church and Henkin who misled me. (shrink)

ABSTRACTThe aim of this narrow-focused text is to argue against the claim that the appresentation of unperceived features of objects that is implied in perceptual intentionality presupposes a reference to perceptions other subjects could have of these objects. This claim, as it has been defended by Dan Zahavi, rests upon an erroneous supposition about the modal status of the perceptual possibilities to which the perceived object refers, which shall not be interpreted as effectively realizable but as mere de jure (...) possibilities, perceptions that could have been realized in principle, but that are maybe beyond one’s reach considering one’s concrete factual powers and opportunities. Horizontal intentionality is better accounted for in terms of perceptions that one could have had because of one’s embodied character and the always open possibility of occupying another position with respect to the object. This modal ubiquity which is inherent to one’s being-in-space is what supports the field of de jure possibil... (shrink)