This paper offers an interpretation of self-Predication (the idea that justice is just) in plato, Given that self-Predication is accepted as obvious both by plato and by his audience, Which entails that "all" self-Predications are clearly, Though not trivially, True. More strongly, It is suggested that "only" self-Predications can be accepted as clearly true by plato. This is to deny that plato had at his disposal an articulated notion of predication, And his middle theory of forms, Primarily the relation of (...) participation, Is seen as his attempt to arrive at that notion. It is argued that his metaphysical and semantical views are heavily influenced by eleatic monism. But this monism is incompatible with the very idea of predication. It is only in his later works, Where he attacks parmenides directly, That plato manages to lay the groundwork for what can be considered as the discovery of predication. (shrink)

The author investigates greek ontologies that apparently rely on a conflation of "binary" (x is f) and "monadic" (x is) uses of 'is'. He uses Aristotelian and other texts to support his proposal that these ontologies are explained by the Greeks using two alternative semantic analyses for 'x is F'. The first views it as asserting a relation between x and F, the second as asserting that a "predicative complex" exists, where a predicative complex is a complex consisting of x (...) and F. The article concludes by indicating some uses for the novel concept of predicative complex in aristotelian interpretation. (shrink)

ONE of the central characteristics of Plato's later metaphysics is his view that Forms can participate in other Forms. At least part of what the Sophist demonstrates is that though not every Form participates in every other, every Form participates in some Forms, and that there are some Forms in which all Forms participate. This paper considers some of the reasons for this development, and some of the issues raised by it.

The modal object calculus is the system of logic which houses the (proper) axiomatic theory of abstract objects. The calculus has some rather interesting features in and of itself, independent of the proper theory. The most sophisticated, type-theoretic incarnation of the calculus can be used to analyze the intensional contexts of natural language and so constitutes an intensional logic. However, the simpler second-order version of the calculus couches a theory of fine-grained properties, relations and propositions and serves as a framework (...) for defining situations, possible worlds, stories, and fictional characters, among other things. In the present paper, we focus on the second-order calculus. The second-order modal object calculus is so-called to distinguish it from the second-order modal predicate calculus. Though the differences are slight, the extra expressive power of the object calculus significantly enhances its ability to resolve logical and philosophical concepts and problems. (shrink)

A careful reading of the initial posing of the issue to be debated with Protagoras and of its subsequent restatement when the debate resumes after a break will show that Socrates employs three distinct formulae, only the first of which answers at all closely to the term "Unity of the Virtues" which has been commonly used in the scholarly literature as a label for the position which Socrates upholds in the debate. The other two formulae, perfectly distinguishable from the first, (...) I shall call the "Similarity" and "Biconditionality" Theses. I shall discuss the three Theses seriatim. But let me emphasize from the start that they are not treated in the text as logically disjoint tenets, but as successive moments in the elucidation of a single doctrine. That is how Protagoras himself understands them. At no point does he try to drive a wedge between them or play off one against another. He accepts them as complementary expressions of a theory which he rejects and combats as a whole. (shrink)

Plato's Parmenides: A Principle of Interpretation and Seven Arguments SANDRA PETERSON PART I. A PRINCIPLE OF INTERPRETATION 1. THE EVIDENT STRUCTURE OF THE PARMENIDES PLATO'S Parmenides falls naturally into halves. In the first half, which is a conversation between Socrates and Parmenides initiated by the young Socra- tes' reaction to arguments of Zcno's, Socrates shows confusion as he tries to answer Parmenides' questions about forms. The second half consists of about 195 short, initially strange-looking, arguments given by Parmenides to a (...) youngster, Aris- totle, as respondent. In between the two halves, at 135d2- 3, Parmenides admires Socrates' "fine" and "divine" passion for arguments. But Parmenides has noticed, even in a conversation of Socrates with Aristotle previous to the setting of the Parmenides, that Socrates is trying to define too soon. Parmenides then recommends to Socrates some exercise. The second half of the Parmenides illustrates it. What is the manner of exercise, Parmenides? he asked. The one you heard from Zeno, he replied. Except for this: I admired you also when you said to him that you would not allow inquiry to wander among the things we see, nor even in their domain, but rather in the field of those things which one would most especially grasp by reasoning and would.. (shrink)

The main lines of interpretation offered to date of the Third Man Argument in Plato's Parmenides (132a1-b2) are considered and rejected. A new, set-theoretic, reconstruction of the argument is offered. It is concluded that the philosophical point of the argument is different from what it has been generally supposed to be: Plato is pointing out the logical shortcomings in his earlier formulated principle of One-Over-Many.

This essay re-examines Meinong's "Über Gegenstandstheorie" and undertakes a clarification and revision of it that is faithful to Meinong, overcomes the various objections to his theory, and is capable of offering solutions to various problems in philosophy of mind and philosophy of language. I then turn to a discussion of a historically and technically interesting Russell-style paradox (now known as "Clark's Paradox") that arises in the modified theory. I also examine the alternative Meinong-inspired theories of Hector-Neri Castañeda and Terence Parsons.

In lieu of an abstract, here is a brief excerpt of the content:Self-Predication and the "Third Man" Argument ROGER A. SHINER 1.1. IN COMMPm'mO on the 'Third Man' Argument (TMA), Proclus z produces the following line of thought. He argues that. if the relation of resemblance between Form and particular were symmetrical, the argument in question would be valid; the relation is not, however, symmetrical. Where a Form and particular are both alike, have the quality of likeness, the likeness of (...) that which is derived is not the same as the likeness of that from which it is derived, just because of the former's derivatory nature. Consequently, ~k tt~v ala01]x~ bttotoi3c0at ~re[vot~ (sc. xo~ ~Semv), abx~ 8~ xo6~ot~ oSr~xt, 'the sensible particulars resemble the Forms, but they are not in the same relation of resemblance to the particulars' (ibid., 913.29-30). That is to say, the bare relation of similarity may be symmetrical, but the relation of a similar copy to a similar original is not; the copy is 'a copy of' the original, but the original/s not 'a copy of' the copy. This way of defending the Theory of Forms against the TMA I shall for purposes of identification call the 'Ontological Defence'. It lays stress on the ontological difference between Form and particular in order to avoid the fatal implication that the relation between them is symmetrical. If we use the language of predication, the point is as follows: the TMA is valid, if the Forms have a given term predicated of them severally in exactly the same sense as it is predicated of their respective dependent particulars. This, however, is not the case, for the quality in virtue of which a given term is predicated of a given Form differs in ontological status from the quality in virtue of which that term is predicated of that Form's dependent particulars. Thus we see that underlying the Ontological x I am grateful for helpful comments on an earlier version of this paper to Professor Gilbert Ryle, Professor John F. Malcolm and two anonymous readers for this Journal. Since this paper went to press, the following relevant articles have appeared: G. Vlastos, "'Self Predication' in Plato's Later Period," Philosophical Review, LXXVIII (1969), 74-78, and "Plato's 'Third Man' Argument (Parm. 132al-b2): Text and Logic," Philosophical Quarterly, XIX (1969), 289-301; K. W. Rankin, "The Duplicity of Plato's Third Man," Mind, LXXVIII (1969), 178-197; T. O. Smith, "'The Theory of Forms, Relations and Infinite Regress," Dialogue, VIII (1969), 116-123. 2 Proelus, In Platonis Parmenidem, ed. V. Cousin, Paris, 1864; 912.27 ft. [3711 372 HISTORY OF PHILOSOPHY Defence is the following assumption--the fact that the Forms are self-predicating only causes problems for the Theory of Forms, if a given Form F and its corresponding particulars, a set of f things, have 'F' predicated of them univocally, are F in precisely the same sense. My thesis in this paper is that this latter assumption is false, it is, rather, quite sufficient for the Self-Predication Assumption (SPA) to be vicious, if 'F' is predicated of both Form and particular not equivocally. This is not the same as 'univocally', and furthermore it is not possible that Plato could have thought of the predication of a term of both Form and particular as equivocal, the only alternative left to him to escape the TMA. The SPA, therefore, is required for the Theory of Forms to make sense, and leads to an ineradicable defect in that Theory. 1.2. One minor terminological point must be noted before we proceed. There are two versions of the TMA in the Parmenides; the first runs from 131eS-132b2, and the second from 132c11-133a7. The second of these explicitly employs the language of copy-resemblance, 7mpdS~tytm ('paradigm'), 6lxoio)tta ('likeness'), ~tKao0~vat ('resemble') as an explication of ~t~0e~tq ('participation'): the first employs the lan~.,uage of cttx6 ~ xai3xa.., eIvat ('that by which things are...'), which, as Plato has already indicated (Phaedo 100d6-8), is deliberatety noncommittal as to the relation between Forms and particulars. I shall refer to the first argument as TMA(1) and the second... (shrink)