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

As a discipline, logic is arguably constituted of two main sub-projects: formal theories of argument validity on the basis of a small number of patterns, and theories of how to reduce the multiplicity of arguments in non-logical, informal contexts to the small number of patterns whose validity is systematically studied . Regrettably, we now tend to view logic 'proper' exclusively as what falls under the first sub-project, to the neglect of the second, equally important sub-project. In this paper, I discuss (...) two historical theories of argument formalization: Aristotle's syllogistic theory as presented in the "Prior Analytics", and medieval theories of supposition. They both illustrate this two-fold nature of logic, containing in particular illuminating reflections on how to formalize arguments . In both cases, the formal methods employed differ from the usual modern technique of translating an argument in ordinary language into a specially designed symbolism, a formal language. The upshot is thus a plea for a broader conceptualization of what it means to formalize. Pode-se dizer que, enquanto disciplina, a lógica é caracterizada por dois subprojetos: teorias formais da validade de argumentos, baseadas em um número reduzido de esquemas e padrões formais, e teorias de como reduzir a multiplicidade de argumentos em contextos informais, não lógicos, ao pequeno número de padrões formais cuja validade é estudada de maneira sistemática no âmbito do primeiro subprojeto. O segundo subprojeto corresponde à noção de formalização de argumentos. Infelizmente, a tendência atual é de considerar como sendo a lógica propriamente dita exclusivamente o que se encaixa no primeiro subprojeto, em detrimento do segundo subprojeto, igualmente importante. Neste artigo, duas teorias históricas sobre a formalização de argumentos são analisadas: a teoria da silogística apresentada por Aristóteles nos "Primeiros Analíticos" e teorias medievais da suposição. Ambas ilustram o caráter duplo da lógica, que envolve dois subprojetos distintos, e contêm reflexões sofisticadas sobre como formalizar argumentos. Em ambos os casos, os métodos formais utilizados se diferenciam dos métodos atuais de tradução de um argumento em linguagem vernacular para um simbolismo especialmente formulado, ou seja, uma linguagem formal. Em conclusão, o artigo pode ser visto como a defesa de uma conceitualização mais abrangente do que significa 'formalizar' um argumento. (shrink)

The essay casts doubt upon the view that Albert was criticizing or was dependent upon Thomas Manlevelt's logico-philosophical views, and counter argues that it is in fact Manlevelt who knows and cites Albert's views in his recently edited Porphyrian Questions, rather than vice versa. The argument for this conclusion proceeds in two stages. First, it is argued that the brief comment Albert makes about ‘conjunct descent’ in treating the definition of merely confused supposition his Perutilis Logica does not conclusively show (...) that Albert is criticizing the logico-philosophical view of Thomas Manlevelt, as the notion of ‘conjunct descent’ is already present in the work of Heytesbury. Hence, Albert may have been referring to him, since the unique contribution of Thomas Manlevelt to the definition of merely confused personal supposition appears completely unknown to Albert. Second, it is argued that the views in the Porphyrian Questions on the nature of the continuum, quantity, and disposi.. (shrink)

One of the riddles of the history of late medieval philosophy is the identity of a certain Hugo who is frequently quoted in manuscripts as well as in early prints. This article offers solutions to the relevant problems, identifying the work to which these quotations refer. One of the manuscripts presents the author’s name as “Hugo de Reyss,” Reyss being identified with Rees in North-Rhine/Westphalia. A passage in that work links the author to the University of Paris. Among the Hugos (...) documented at the University of Paris at the relevant time, Hugo de Hervorst is the most promising candidate. Hugo of Hervorst and his family had close relations to Rees. In sum, a chain of arguments leads to the identification of Hugo de Reyss as Hugo de Hervorst, whose academic and ecclesiastical careers can thus be outlined. Documented for the first time in 1372, he died in 1399. (shrink)

Paul Spade has attacked the theory of the modes of personal supposition as found in Ockham and Buridan, partly on the grounds that the details of the theory are incompatible with the equivalence between propositions and their descended forms which is implied by the appeal to suppositional descent and ascent. I trace the development of the doctrines of ascent and descent from the mid-fourteenth century to the early sixteenth century, and I investigate Domingo de Soto’s elaborate account of how descent (...) and ascent actually worked. I show that although Soto himself shared some of Spade’s doubts, including those about the use of merely confused supposition, he had a way of reducing at least some propositions containing terms with such supposition to equivalent disjunctions and conjunctions of singular propositions. Moreover, he gave explicit instructions on how to avoid the supposed problem of O-propositions. (shrink)

In epoca medievale si è molto discusso su alcuni concetti chiave come prova o giustificazione. La teoria della prova contenuta nei trattati di logica medievale prende il nome tecnico di consequentia, che è un tipo di ragionamento fondato sul passaggio dalla concessione (o negazione) di uno o più enunciati denominati antecedenti alla concessione (o negazione) di uno o più enunciati denominati conseguenti. Questo tipo di teoria ha avuto un correlato a livello dei singoli termini che compongono l’enunciato all'interno della teoria (...) nota come suppositio terminorum. Prende, infatti, il nome di descensus, la regola che permette la verifica del passaggio da un termine maggiore (un termine comune) ad un termine minore (che denota individui). La stessa definizione di alcune ramificazioni della teoria della suppositio è col-legata alla possibilità di ammettere o meno il descensus cioè questa "discesa" da un termine comune ad una congiunzione o disgiunzione di termini singolari. Il presente lavoro intende descrivere la teoria del descensus come un tipo particolare di consequentia mostrandone le connessioni con le moderne tecniche logiche. I trattati che si affronteranno appartengono al XIV e al XV secolo, cioè ad un periodo caratterizzato da una sistemazione della materia che li rende confrontabili con un quadro teorico unitario. (shrink)