Gyula Klima

This paper primarily aims to provide a coherent interpretation of several, apparently conflicting claims made by Aquinas concerning the semantic function of the copula. The paper also argues that these claims can properly be understood only if they are interpreted as forming a coherent part of Aquinas' larger theory of the analogy of being. The Appendix sketches a model theoretical semantics for the reconstruction of Aquinas' relevant ideas, providing the technical means for setting apart the various senses of the verb 'est' and its cognates distinguished by Aquinas

In order to make this point, in the next section I will present a very simple, intuitive reconstruction of Anselm’s argument. Then, in the third section, I will show that since the argument thus reconstructed is obviously valid, and it would be foolish to challenge any other of its premises except the assumption that God does not exist in reality, it is a sound proof of God’s existence. Nevertheless, in the fourth section, I will argue further that despite its soundness, this proof can rationally be rejected by anyone who refuses to think..

Summary: The aim of this paper is to explore the relationships between Buridan’s logic and the ontology of modes modi). Modes, not considered to be really distinct from absolute entities, could serve to reduce the ontological commitment of the theory of the categories, and thus they were to become ubiquitous in this role in late medieval and early modern philosophy. After a brief analysis of the most basic argument for the real distinction between entities of several categories (“the argument from separability”), I point out that despite nominalist charges to the contrary, “older realists”—that is, authors working before and around Ockham’s time—were not committed to such real distinctions, and thus to an overpopulated ontology, by their..

Lo studio intende mettere in evidenza l'ambiguità della nozione di unità, intesa come entità numerica, con la nozione di unità quale sinonimo di essere. Sul primo concetto verte la parte iniziale dello studio, alla quale segue l'esame del significato ontologico di «uno». Le considerazioni fatte guidano l'A. a valutare i rapporti di relazione fra le nozioni di essere e uno, e quelle di sostanzialità, identità e semplicità in Tommaso. La gerarchia ontologica che ha al vertice l'essere assoluto e l'assoluta unità implica la paradossale impossibilità di «significare» e definire la divinità

`Realism', `conceptualism' and `nominalism' are terms that one is most likely to come across in history of philosophy textbooks, presented as ones labeling three major ontological alternatives provided by mediaeval philosophy. The general inadequacy of these labels is perhaps best shown by the desperate efforts to provide further, modified labels , the well-known `moderate' and `extreme' or `exaggerated' versions of the above, in hopes of implying at least a lesser amount of falsehood in hanging..

Buridan's life, works, and influence -- Buridan's logic and the medieval logical tradition -- The primacy of mental language -- The various kinds of concepts and the idea of a mental language -- Natural language and the idea of a formal syntax in Buridan -- Existential import and the square of opposition -- Ontological commitment -- The properties of terms (proprietates terminorum) -- The semantics of propositions -- Logical validity in a token-based, semantically closed logic -- The possibility of scientific knowledge -- Buridan's anti-skepticism -- Buridan's essentialist nominalism.

“The expression ‘free logic’ is an abbreviation for the phrase ‘free of existence assumptions with respect to its terms, general and singular’.”1 Classical quantification theory is not a free logic in this sense, as its standard formulations commonly assume that every singular term in every model is assigned a referent, an element of the universe of discourse. Indeed, since singular terms include not only singular constants, but also variables2, standard quantification theory may be regarded as involving even the assumption of the existence of the values of its variables, in accordance with Quine’s famous dictum: “to be is to be the value of a variable”.

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 41.2 (2003) 272-273 [Access article in PDF] Matthew of Orléans. Sophistaria sive summa communium distinctionum circa sophismata accidentium. Edited by Joke Spruyt. Leiden: Brill, 2001. Pp. ix + 581. Cloth, $151.00. Matthew of Orléans is not a famous author (indeed, even his name is given tentatively by the editor on the basis of the explicit of one manuscript). And the Sophistaria was apparently not one the most influential works of its time, the early thirteenth century (its full text is preserved only in a couple of manuscripts, and it has never been printed before). Yet, the Sophistaria of Matthew of Orléans is a fine example of a characteristic genre in the rich tradition of medieval logical literature. The genre itself is an interesting combination of two other characteristic genres: treatises on syncategoremata and sophismata. The sophismata treatises are discussions of problem-sentences (sophismata) usually grouped together to illustrate some logical doctrinal points, especially concerning the resolution of ambiguities caused by the logical behavior of syncategorematic terms in various contexts. The treatises on syncategoremata provide systematic discussions of the logical behavior of syncategorematic words, i.e., logical connectives, themselves. But these treatises also illustrate their doctrinal points by resolving the ambiguities of sophismata, mostly using some commonly accepted distinctions concerning how the function of the syncategoremata is to be construed in the contexts provided by these problem-sentences. The proper subject matter of the sophistaria treatises is the discussion of these common distinctions, dealing especially with ambiguities caused by (what we would describe as) the different possible scopes of the syncategoremata occurring in the paradigmatic sophismata.For example, take the sentence "Someone seeing nothing is someone seeing something." This sentence can be regarded as ambiguous, if we analyze "nothing" into "not... a thing," yielding (1) "Someone not seeing a thing is someone seeing something," which can be taken to be ambiguous between (a) "Someone not seeing anything is someone seeing something" and (b) "Someone not seeing something is someone seeing something," depending on whether we take "not" in (1) to be operating (a) on "seeing a thing," or (b) only on "seeing." On this analysis, the ambiguous sentence is obviously false in the first sense, but may be true in the second, for it may be true of Socrates who does not see Plato but sees Coriscus.To be sure, this is not the only possible way to account for the (genuine or putative) ambiguity of the original sentence. In fact, this is not the account considered by Matthew of Orléans or in a parallel passage by Peter of Spain in their analyses of the corresponding Latin sentence (Nihil videns est aliquid videns), although one of the arguments for the truth of the sophisma they reject would be a good argument for the second reading provided here (cf. Peter of Spain, Tractatus [Van Gorcum: Assen, 1972], 220, ll. 10-6, and Sophistaria, 88, ll. 16-20). In any case, the point of the sophistaria treatises is precisely the discussion of the merits and demerits of such possible accounts.The Sophistaria of Matthew of Orléans is a well-organized, highly structured treatise, divided into eight chapters, corresponding to the eight groups of syncategorematic terms [End Page 272] it deals with. The first chapter is devoted to the discussion of common distinctions concerning negations (both propositional and term-negations, including privative negation), the second deals with exclusive words (such as "only"), the third with exceptive words ("besides," "except," "unless"), the fourth with the conditional sign "if," the fifth with the modalities "necessarily" and "contingently," the sixth with the verbs "begins" and "ceases," the seventh with the word "whether," and the eighth with the distributive sign "every," that is, the universal sign that causes the terms it is construed with to be distributed for everything that falls under it.The discussion of these topics in the individual chapters is organized around typical scholastic questions raised concerning the validity of some common distinction in connection with typical sophismata, involving ambiguities in the operation...