References
- 1997 . Topoi , 16 : 41 – 63 . I make some comments about the second question in Terence Parsons, ‘Supposition as Quantification or as Global Quantificational Effect?’
- Kretzmann , Norman , ed. 1988 . Meaning and Inference in Medieval Philosophy 187 – 224 . Dordrecht : Kluwer . Paul Vincent Spade, ‘The Logic of the Categorical: The Medieval Theory of Descent and Ascent,’ in
- 1990 . Peter of Spain: Language in Dispute 77 – 93 . Amsterdam/Philadelphia : John Benjamins Publishing Company . There are English translations of Peter in Francis P. Dinneen, and Joseph P. Mullally, The Summae Logicales of Peter of Spain (Notre Dame: University of Notre Dame Press 1945); of Sherwood in Norman Kretzmann, William of Sherwood's Introduction to Logic (Minneapolis: University of Minnesota Press 1966) and William of Sherwood's Treatise on Syncategorematic Words (Minneapolis: University of Minnesota Press 1968); of Lambert in Norman Kretzmann and Eleonore Stump, The Cambridge Translations of Medieval Philosophical Text, vol. 1 (Cambridge: Cambridge University Press 1988); and of a typical anonymous writer in Steve Barney, Wendy Lewis, Calvin Normore, and Terence Parsons (trans.), On the Properties of Discourse, Topoi 16 (1997)
- 1997 . Treatise on the Kinds of Supposition (De Suppositionibus), Topoi , 16 There are English translations of Burley in Paul Vincent Spade, Walter Burley, From the Beginning of his 95–102, and Walter Burley: On the Purity of the Art of Logic, the Shorter and the Longer Treatises (New Haven: Yale University Press, forthcoming), of Ockham in Alfred J. Freddoso and Schuurman (trans.), William Ockham, Summa Logicae, Part II (Notre Dame: University of Notre Dame Press 1980), and Michael J. Loux, Ockham's Theory of Terms: Part I of the Summa Logicae (Notre Dame: University of Notre Dame Press 1974), and of Buridan in Peter King Jean Buridans Logic: The Treatise on Supposition, The Treatise on Consequences (Dordrecht: D. Reidel 1985).
- Ockham's Theory of Terms. See §§70–74 of Loux
- Sometimes other adjustments are required. For example, an instance of ‘No dingo is spotted’ will be ‘this dingo is not spotted,’ not ‘this dingo is spotted.’
- This is the claim that every dingo is this particular mammal, not the claim that every dingo is a mammal of this kind.
- 1959 . Medieval Logic Manchester : Manchester University Press . Principally, Philotheus Boehner, and Ernest Moody, The Logic of William of Ockham (New York: Russell and Russell 1955 [reissued 1965]).
- 1964 . Philosophical Review , 73 : 81 – 86 . E.g. in Gareth B. Matthews, Ockham's Supposition Theory and Modern Logic, 91–99; ‘Suppositio and Quantification in Ockham,’ Noûs 7 (1973) 13–24; and ‘A Note on Ockham's Theory of the Modes of Common Personal Supposition,’ Franciscan Studies 44 (1984)
- ‘Dingo’ is distributed in ‘Some predator is not a dingo,’ but that proposition may not be inferred from ‘Some predator is not this dingo, and some predator is not that dingo, and., and so on for all the dingos.’
- 1974 . Computability and Logic Cambridge : Cambridge University Press . The process of forming prenex normal forms is well-known; cf. George Boolos and Richard Jeffrey, 112–113. The fact that the formation of a prenex normal form can be viewed as the movement of quantifiers to the front of the formula depends on the fact that the steps do not introduce new quantifiers or lose old ones. Such steps are available when the connectives in the formula are negation, conjunction, disjunction, and the material conditional. This is not so if the formula contains biconditional signs (see ibid, page 113); fortunately, medieval theorists did not employ unitary biconditional signs. It is clear from their practice that they would have seen a proposition of the syntactic form ‘A if and only if B’ as consisting of a conjunction of ‘A if B’ and ‘A only if B,’ neither of which contains a biconditional.
- I have done that in work in draft form; I am relying on it here.
- Parsons . ‘Supposition’
- If you separate the restricted quantifier from its restriction, you can move the quantifier alone: Ex[Snow is white v [x is a dingo & x is spotted]] but this does not result in the whole ‘some dingo’ moving.
- Kretzmann . William of Sherwood's Treatise on Syncategorematic Words 35 – 36 . Sherwood's sentence is ‘Every human who sees every human is running’; I have changed the first ‘human’ to ‘thing’ to avoid the complication of the same term being used twice; this is not essential to the point Sherwood is illustrating.
- I assert this without proof; the reader is invited to try to find an equivalent normal form. The original sentence is a universal affirmative, and requires for its truth that there be a thing that sees every human; this aspect of it will be lost in most prenex forms. (If you decide to ignore this medieval doctrine about universal affirmatives and instead hold that universal affirmatives with empty subject terms are vacuously true, then the vacuous truth of the original sentence when there is no thing that sees every human is lost in most prenex forms.)
- It might appear that this is a peculiar result, dependent on a special view about existential import of subject terms. But the same result follows if we take the modern view that universal affirmatives are vacuously true when their subject terms are empty. For on that view the original proposition is true if nothing sees every human; thus the descent condition for determinate supposition fails: the original proposition does not entail that ‘Every thing that sees this human is running’ for some particular case of ‘this human’. (Just imagine that each thing sees some human, but nothing sees every human, and nothing is running.)
- 1991 . Vivarium , 29 : 50 – 84 . I rely here on Stephen Read, ‘Thomas Cleves and Collective Supposition,’
- Spade, ‘The Logic of the Categorical’
- De Rijk , L. M. 1967 . Logica Modernorum II part 2 (Assen, The Netherlands: Koninklijke Van Gorcum & Company N.V., 615
- Kretzmann . William of Sherwood's Treatise on Syncategorematic Words 35 – 6 .
- Jean Buridan's Logic King, 141
- Perreiah , Alan . 1472 . 152 – 53 . Logica Parva: Translation of the Edition (München: Philosophia Verlag 1984)
- Jean Buridan's Logic He says, “. ‘man’ is properly distributed here, since part of the sentence is ‘which is not a man.’ Even though this is not a sentence (since it is part of a sentence) it nevertheless has a likeness to a sentence with respect to the distribution and supposition of the terms; such terms supposit and appellate in an expression which is part of a sentence and which taken of itself is a sentence as they would in a sentence taken per se.” King, 138.
- Geach , Peter . 1962 . Reference and Generality Ithaca , New York : Cornell University Press .
- If you want to make a conjoint something-or-other, you need to make a conjoint negative predicate in the twentieth century meaning of ‘predicate’: ‘Every[thing] not seeing this dingo and not seeing that dingo and. runs.’ But this is not the test; the test is descent to a conjoint term.
- Read, ‘Thomas Cleves and Collective Supposition’
- This requires a slight refinement of the theory concerning how to treat repeated terms; you have to test for supposition on the assumption that repeated terms are logically independent of one another. This fine tuning adjustment must be made both in the formal account for global quantificational effect, and in the theory couched in terms of ascent and descent.
- This is subject to the grammatical idiosyncrasies of individual languages; sometimes in ordinary language it is not clear whether such descent is possible, or exactly how it is to be formulated.
- Jean Buridan's Logic King, 130. Buridan adds to the definition that “perhaps a sentence with a disjunctive extreme follows,” but he makes clear in other discussion that the ‘perhaps’ means that some terms with merely confused supposition satisfy this and some do not. So it is not a requirement. (See discussion below.)
- King, jean Buridans Logic, 145
- 1971 . Logica Magna (Tractatus de Suppositionibus) St. Bonaventure , NY : The Franciscan Institute . This descent and ascent condition means descent to and ascent from the whole conjunction of instances, not just to/from a single instance. This is the condition used by Paul of Venice; see Alan Perreiah,.
- Logica Magna In his translated in Perreiah, 89–121. This account differs from that in the Logica Parva, translated in Perreiah.
![Supercharge Your Next Research Paper: Research and write your next paper with Jenni AI.]({"type":"image" , "src" : "/sda/112444/Skyscraper-humanities.png"})