This paper shows how the universals of category theory in mathematics provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. The paper also shows how the always-self-predicative universals of category theory provide the "opposite bookend" to the never-self-predicative universals of iterative set theory and thus that the paradoxes (...) arose from having one theory (e.g., Frege's Paradise) where universals could be either self-predicative or non-self-predicative (instead of being always one or always the other). (shrink)

We begin with the hypothetical assumption that Tarski’s 1933 formula ∀ True(x) φ(x) has been defined such that ∀x Tarski:True(x) ↔ Boolean-True. On the basis of this logical premise we formalize the Truth Teller Paradox: "This sentence is true." showing syntactically how self-reference paradox is semantically ungrounded.

Predication is a lingual relation. We have this relation when a term is said (λέγεται) of another term. This simple definition, however, is not Aristotle’s own definition. In fact, he does not define predication but attaches his almost in a new field used word κατηγορεῖσθαι to λέγεται. In a predication, something is said of another thing, or, more simply, we have ‘something of something’ (ἓν καθ᾿ ἑνὸς). (PsA. , A, 22, 83b17-18) Therefore, a relation in which two (...) terms are posited to each other in a way that one is said (predicated) of the other is a predication. The term of which the other term is said is called a subject (ὑποκειμένον) and the other, which is said about the subject, is called the predicate. Thus, in a predication the predicate is predicated of the subject; given that being predicated is almost as the same as being said. The relation between being said and being predicated is so close that ‘if something is said of a subject both its name and its definition are necessarily predicated of the subject.’ (Cat., 5, 2a19-26) This, however, is true only about the second genera and not the accidents. a) Nature of relation in predication What is Aristotle’s theory about the nature of the relation in a predication? How does he fundamentally understand this relation? Phil Corkum distinguishes between predication logic and traditional term logic and argues that the relation between subject and predicate in Aristotle is of the latter kind. While in predicate logic, subjects and predicates have distinct roles, they have the same role in traditional term logic. In predication logic, subjects refer, but predicates characterize. Thereupon, a sentence expresses a truth if the object to which the subject refers is correctly characterized by the predicate. In traditional term logic, both subjects and predicates refer and a sentences expresses a truth if both name one and the same thing. He concludes that Aristotle ‘problematically conflates prediction and identity claims’ because while he thinks both subjects and predicates refer, he would deny that a sentence is true just in case the subject and the predicate name one and the same thing. Based on this, Corkum believes that Aristotle’s core semantic is not identity but the weaker relation of constitution, which is a mereological interpretation: ‘All men are mortal’ is true just in case the mereological sum of humans is part of the mereological sum of mortals. b) Aristotle’s theory of predication: one or two theories? Frank Lewis finds an inconsistent gap between the theory of predication in the Categories and that in the later books of the Metaphysics VII, 6. So too Joan Kung, Terry Irwin, Daniel Graham. c) Distinction of ‘being said of’ and ‘being in’ Owen enumerates the texts in which Aristotle’s distinction between ‘being said of’ and ‘being in’ is asserted: OI. 11b38-12a17; To., 127b1-4; Cat. 1a20-b9; 2a11-14; 2a27-b6; 2b15-17; 3a7-32; 9b22-24 d) Predication in Aristotle and the standard ‘S is P’ Marie De Rijk Lambertus thinks that the ‘S is P’ pattern is misleading when it comes to express predication in Aristotle. In his view, ‘The Aristotelian procedure should be described in terms of appositively assigning an attribute (κατηγορούμενον) to a substrate (ὑποκείμενον), rather than ascribing a predicate to a subject by means of a copula…. The comment should be considered an attribute which is said to fall to a substrate, without understanding this procedure in terms of sentence predication.’ e) Aristotle’s predication: bipartite or tripartite? It is a difficulty to make Aristotle’s theories of name-verb predication and tripartite predication consistent. The reason is that tripartite is not consistant with his name-verb structure based on which he says that the predicate term is the ‘verb.’ (20a31; 20b1-2; 16a13-5) The problem is that in a tripartite form like ‘Socrates is white’ we cannot take ‘is white’ as the verb because, based on Aristotle himself, no part of a verb can be significant itself. (16b6-7) However, his assertions about the equivalences between the two structures (OI. 12, 21b9-10; PrA. 51b13-16; Met., 1017b22-30) must mean that they are not inconsistent in his own view. Thus, as Allen Bāck points, ‘Aristotle seems to think that he has a single, consistent theory.’ The sense of saying or speaking as the root sense of rhema makes the relation between predication (saying something of something) and verb more interesting. The use of rhema in the sense of a long expression approves this. In Plato’s work (399ac) where Socrates claims that the name anthropos derives from anthron ha opopen (‘he who examines what he has seen’) we have an onoma from, or in place of, a rhema. 1) Subject The subject (ὑποκειμένον) is that of which another term is said or predicated. Aristotle’s own definition is of a much more philosophical value: ‘By subject I mean that which is expressed by an affirmative term (λέγω δὲ ὑποκείμενον τὸ κάταφάσει δηλούμενον).’ (Met., K, 1067b18) Throughout Aristotle’s work, three kinds of subjects can be found: possible, prime and absolute subject. a) Possible subject Those things that can take the position of a subject in a predication we call possible subjects, no matter they can or cannot take the position of predicate in any predication. All terms except the ultimate predicates are possible subjects because they can take the position of subject. b) Prime subject Those that in any predication can only take the position of a subject and not the position of a predicate are prime subjects. (Cat., 5, 3a36-b2; Met., Z, 1028b36-1029a1) This is the truest sense of subject and belongs only to substances. (Met., Z, 1029a1-2) In fact, ‘that which is not predicated of a subject, but of which all else is predicated’ is a substance. (Met., Z, 1029a7-9) In Categories, besides primary substances (Cat., 2, 1b3-6), individual qualities are also said not to be able to be said of anything else. (Cat., 2, 1a23-29) Aristotle’s examples are a certain ‘knowledge-of-grammar’ (τὶς γράμματικὴ) and ‘an individual white’ (τὸ τὶ λευκὸν). Thus, although substances are indeed in the truest sense individuals and, thereby, in the truest sense primary subjects, other individuals can take the position of subject as well. c) Absolute subject While substances are prime subjects of all other things, there is still something of which substances can be predicated and this predication is not an accidental predication: matter. (Met., Z, 1029a21-24) This predication is, indeed, the predication of a ‘form or this’ on matter and material substance. (Met., Θ, 1049a34-36) The only thing that is absolutely a subject, therefore, and can be a predicate is prime matter (πρώτη ὓλη). (Met., Θ, 1049a24-27) d) Subject and substance The most important thing in being a substance is being a subject: ‘It is because the primary substances are subjects for all the other things and all the other things are predicated of them or are in them, that they are called substances most of all.’ (Cat., 5, 2b15-17) And what is nearer to this position is more a substance as a species is more a substance than a genus.’ (Cat., 5, 2b7-8) e) Primary versus accidental subject A subject is a primary subject in a predication when the predicate is predicated of it as itself. In such a case, the subject is the subject of the predicate qua itself and not qua something else. A subject, on the one hand, is an accidental subject when it is not the primary subject of the predicate that is predicated on it. It means that a subject is an accidental subject when the predicate is predicated of it not qua itself but qua something else. An accidental subject is, therefore, anything other than a substance. 2) Predicate as universal It is evident from our discussion of kinds of subjects that except matter, primary substances (if we ignore both accidental predication and cases of absolute subjects) and other individuals, everything else can take the position of a predicate. Since primary substances are individuals, it results that everything except matter and individuals are capable to take the position of predicate. The immediate consequence of this is that the predicate must be a universal. When individuals cannot take the position of predicate, this position cannot be taken by any particular. Therefore, only universals can be predicated of others. Moreover, albeit universals can be a simple subject (for another universal), they are not prime subjects. The closeness of universal and predicate is to the extent that Aristotle differentiates universal from subject. (Met., Θ, 1049a27-30) 3) Categories or classes of predicates Aristotle distinguishes ten highest classes into one of which each predicate must necessarily fall: substance (or what a thing is), quality, quantity, relation, place, time, position, state, activity and passivity. (Cat., 4, 1b25-27; To., I, 9, 103b20- ; PsA., A, 22, 83b13-23) The substance counted among predicates must refer to secondary and not primary substances not only because Aristotle insists that primary substances cannot be predicated but also from his own examples of the category of substance: man and animal. (To., I, 9, 103b25) However, if a predicate be asserted of itself or its genus be asserted of it, the predicate signifies substance or what is; but if ‘one kind of predicate is asserted of another kind,’ it signifies one of the other nines. (To., I, 9, 103b30) These categories are so comprehensive that no predicate can remain outside them so that even non-being has as many senses as categories. (Met., M, 1089a26-30) a) That whether Aristotle’s categories are merely linguistic or fundamentally ontological is a so much controversial dispute. Some like G. E. R. Lloyd believe that ‘categories are primarily intended as a classification of reality … rather than of the signifying terms themselves.’ b) Although Aristotle’s categories have been historically regarded as a classification of predications, there are some recent commentators like Jonathan Barnes that think it is classifying predicates and not predications. 4) Kinds of predicates In his introduction of Categories, as J. W. Thorp truly points out , Aristotle distinguishes between the category of substance and the other categories using μὲν ... δὲ construction. This construction illustrates that beside tenfold classification of categories, there is an even more crucial differentiation between two kinds of predicates: substance or what is on the one hand and the other nine ones on the other hand: the distinction between what is predicated of the subject as what it is and what is predicated of it as an accident. Therefore, we have three kinds of classification - a twofold, a fourfold and a tenfold-complicatedly classifying the same thing, viz. the predicate. Predicates can be divided also to four kinds: property, definition, genus and accident. (To., I, 4, 101b11-20) A property is that predicate that is convertible with its subject and does not signify its essence. A definition is that predicate that is convertible with its subject and signifies its essence. It is a genus if it is not predicated convertibly and is contained in the definition of its subject. And it is an accident if it is neither convertible nor contained in the definition of its subject. (To., I, 8, ^103b3) All of these four kinds are among categories. (To., I, 9, 103b20) It seems that there might be some kind of relation between the twofold and the fourfold distinction: whereas genus and definition are predicated as what it is, accidents are not so predicated. There seems to be some rules that determine to each of these four kinds each predicate belongs. At To., IV, 123b30ff. Aristotle asserts: ‘If B has a contrary and A does not, then B does not belong to A as its genus.’ There is a dispute around per se accidents (τὰ καθ’ αὑτὰ συμβεβηκότα) (Topics., 102a18) whether they must be regarded as either of the four kinds or as a fifth kind. Barnes (1970) argued that they ‘do not fit at all neatly into the fourfold classification.’ He argues that based on the definition of accidents at A, 5, 102b4-5, they must be accidents but based on another definition, A, 5, 102b6-7, they cannot be accidents. He also defends the view that they are not properties. Barnes concludes: ‘This shows that the two definitions are not equivalent, and hence that the ‘predicables’ are not well-defined.’ Demetris J. Hadgopoulos defends the view that the two definitions of accidents are equivalent and per se accidents are properties. 5) Five types of predications We have five kinds of predications based on our division of subjects and our discussion of predicates: simple, primary (itself divided to substantial and accident), accidental (itself divided to primary and secondary), aoincidental and absolute predication. a) Simple predication. This is a predication in which a universal is predicated of either a particular or a universal subject. This sense of predication includes all other senses except the first kind of accidental predication. b) Primary predication. This is a predication in which a universal is predicated of a primary subject, namely a substance. A primary predication is of two kinds: i) Substantial predication. A primary predication in which the predicate is part of, or is included in, the definition of the subject. The universal that is the predicate here is the definition or the genus or the species or the diferentia of the subject. It is this predication that Aristotle calls a unity: ‘A statement may be called a unity … because it exhibits a single predicate as inhering not accidentally in a single subject.’ (PsA., B, 10, 93b35-37) It is only substantial predicates that can be predicated of each other: ‘Predicates which are not substantial are not predicated of one another.’ (PsA., A, 22, 83b18-19) Aristotle defines a substantial predication also in another way. A predication in which a higher genus is predicated on a lower genus, species, a substance or an individual, (or a species is predicated on an individual) is a substantial predication. Therefore, a substantial predication is a predication in a series that has individuals on one of its ends and a general category on its other end. In fact, only substantial predicates can be predicated of one another. (PsA., A, 22, 83b17-19) This series cannot be an infinite series because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) -/- ii) Accident predication. A primary predication in which the predicate is not part of, or is not included in, the definition of its subject. The universal that is the predicate here is the property or the accident of the subject. c) Accidental predication. This is a predication in which the subject is not a primary subject and its predicate is a substance. This predication is of two kinds: i) Primary accidental predication. This is a predication in which an accident is predicated of substance. Such a predication can go ad infinitum, which is inferable from Aristotle’s assertion that the secondary accidental predication cannot go ad infinitum. ii) Secondary accidental predication. It is a predication in which an accident is predicated of another accident. Such a predication, Aristotle asserts, cannot go ad infinitum because even more than two accidents cannot be combined. Now what is the meaning of Aristotle’s assertion that we cannot continue this ad infinitum? Does it mean that we cannot continue the predication ‘The musician is white’ and say ‘The white is Athenian?’ But why not? Or maybe he means that by adding any predication, we are still in a condition of predicating two accidents of a substance on each other. -/- As primary subjects, substances can also take the position of predicate though not essentially but accidentally. In propositions like ‘the white is a log’ or ‘That big thing is a log’ we observe substance taking the position of predicate but this is only accidentally: ‘When I affirm ‘the white is a log,’ I mean that something which happens to be white is a log- not that white is the subject in which log inheres (οὐχ ὡς τὸ ὑποκείμενον τῷ ξύλῳ τὸ λευκόν ἐστι), for it was not qua white or qua a species of white that the white (thing) came to be a log (οὔτε λευκὸν ὄν οὔθ᾿ ὃπερ λευκόν τι ἐγἐνετο ξύλον), and the white (thing) is consequently not a log except incidentally.’ (PsA., 22, 83a3-9) Aristotle compares this accidental use of substance in the position of predicate with the substantial use of it in the place of a subject: ‘On the other hand, when I affirm ‘the log is white,’ I do not mean that something else, which happens to be a log, is white (οὐχ ὃτι ἓτερόν τί ἐστι λευκόν, ἐκείνῳ δὲ συμβέβηκε ξύλῳ εἶναι), (as I should if I said ‘the musician is white,’ which would mean ‘The man who happens also to be a musician is white’); on the contrary, log is here the subject- the subject which actually came to be white, and did so qua wood or qua a species of wood and qua nothing else.’ (PsA., 22, 83a8-14) Aristotle asks us not to call propositions like ‘The white is a log’ a predication at all or at least call them accidental predication instead of simple (ἁπλως) predication. (PsA., A, 22, 83a14-17) An accidental predication, in which we have a substance in the place of predicate, is different from an essential predication in that while the subject of an accidental predication is said to be the predicate not by itself but as something different with which it coincides, the subject of an essential predicate is said to be the predicate by itself and not because it is something else: ‘Since there are attributes which are predicated of a subject essentially and not accidentally- not, that is, in the sense in which we say ‘That white (thing) is a man,’ which is not the same mode of predication as when we say ‘The man is white’: the man is white not because he is something else but because he is man, but the white is man because ‘being white’ coincides with ‘humanity’ within one subject. Therefore, there are terms such as are essentially subjects of predicates. (PsA., A, 19, 81a24-29) This capability of ‘non-essentially and only accidentally’ being a subject does belong, in fact, to all sensible things. (PsA., A, 27a32-36) d) Coincidental predication. this is a predication in which none of the subject and predicate are a substance or an individual. In this predication, one of the accidents of a substance or individual is predicated of one of the other accidentals of the same substance or individual. For example, when it is said that ‘The white is musical,’ there is an individual, say Socrates, for which both of white and musical are accidents. e) Absolute predication. This is a predication in which a form or a substance is predicated of a matter or a material substance. Some commentators like Loux and Lewis regarded this predication as close to accident predication, both based on inherence. As R.M. Dancy points out, these predications make Aristotle’s theory of predication immanentist: not only accident predications are explained by the immanence of accidents in substances, some of the substantial predications, which were not explained in Categories, are also explained by the immanence of form in matter. It is interesting that in this kind of predication, it is the predicate and not the subject, which is in the strictest sense substance. As the central books of Metaphysics claim, the form is the substance. Thus, in this predication, substance gets away from the sense of ὑποκείμενον. Corkum mentiones 68a19 as the only instance where Aristotle explicitly claims that a term may be predicated of itself, a passage that is, in Corkum’s view, problematic. 6) Demonstrable predicates Those predicates are demonstrable that are so related to their subjects that there are other predicates prior to them predicable of their subjects (ἔτι δ᾿ ἄλλος, εἰ ὧν πρότερα ἄττα κατηγορεῖται). (PsA., A, 22, 83b32-34) 7) Series of predications Since it is possible for a predicate to be itself the subject of another predication, we can have a series of predications in which the predicate of a predication is the subject of the next predication. This series has the following features: a) It has a limit (in number) (PsA., A, 22, 83b14-16) on the side of subjects: there are subjects that cannot themselves be predicated (PsA., A, 27, 43a39-41), which are, as we noted, prime subjects: particulars, i.e. prime substances and other individuals. (PsA., A, 19-22) Aristotle calls them ultimate (ὓστατον). (PsA., 21, 82a36-b1) b) It has a limit (in number of kinds) (PsA., A, 22, 83b14-16) also on the side of predicates: there must be predicates that cannot be subjects. (PsA., A, 19-22; PsA., A, 27, 43a36-39) Aristotle calls them primary (πρῶτον). (PsA., A, 21, 82b1-4) These are the highest categories or the highest genera of categories. (PsA., A, 22, 83b14-16) c) The series has an escalating shape from mere subjects at its downside to mere predicates at its upside. It is Aristotle himself whos uses the words up and down in this sense. (e.g. PsA., A, 22, 83b2-3) d) The predications that lie between lowest and highest ones must be finite in number. (PsA., A, 19-22 especially: 20, 82a21-35) These have subjects and predicates, each capable of both of the roles of being subject and being predicated. A result of this fitness is that neither demonstration can go to infinity nor everything is demonstrable, the two points Aristotle always insist on. e) The upward side includes the more universal ones and the downward the more particular ones. (PsA., 20, 82a21-23) f) It follows from the above features that ‘neither the ascending nor the descending series of predications … are infinite.’ (PsA., A, 22, 83b24-25) g) Reciprocation and convertibility. Except in case of terms (i.e. subjects and predicates) that are at each of the ends of series of predications, namely ultimates and primaries, it is possible to reciprocate (ἀντιστρέφειν) terms and convert the predication. (PsA., A, 19, 82a15-20) h) Antipredication. Antipredication means that in a predication (S is P), the subject becomes the predicate of its predicate (P is S) in the same category its predicate was predicated on it. For example, if P is in the category of quality, antipredication means that S be predicated of P in the category of quality. In other words, P is a quality of S and S is a quality of P. Aristotle rejects this. (PsA., A, 22, 83a36-b3) i) Self-predication versus other-predication. Aristotle distinguishes between a predication in which a term is said of itself and a predication in which a term is said of another. (Phy., Δ, 2, 209a31-33) j) Predicablity (Cat., 5, 3a36-b2): 1) Primary substances and individuals are not predicable. 2) Secondary substances are of two kinds: genus and species i) Genus is predicable able both of the species and of the individuals. ii) Species is predicable of the individual. 3) Differentiae are predicable both of the species and of the individuals. 8) Predication as classification a) Richard Patterson believes that Aristotle’s so repeated construction using hoper (estin A hoper B) in Topics (120a23 sq., 122b19, 26sq., 123a, 124a18, 125a29, 126a21, 128a35. Also in Posterior Analytics (83a24-30) (Brunschwig’s list. ‘expresses the fact that A is a kind of B (esti A B tis), that A is a species of the genus B.’ 9) Universal predication Aristotle defines universal predication (κατὰ παντὸς κατηγορεῖσθαι) as such: ‘wherever no instance of the subject (τῶν τοῦ ὑποκειμέμνου) can be found of which the other term cannot be asserted.’ (PrA., A, 24b27-29) In this predication, the subject is included in another as in a whole (ἐν ὃλῳ εἶναι) and the predicate is predicated of all of the subject (κατὰ παντὸς κατηγορεῖσθαι). (PrA., A, 24b26-27) Attach another discussion we had about ἐν ὃλῳ here. 10) Quantity of predication A predication, truly stated, has a quantity, which is the number of objects under the name of the subject of which the predicate is predicated. The quantity of subject can be stated in four ways: a. Indefinite: when the predicate belongs or does not belong to the subject without any mark to show to haw many of the particulars under the name of the subject it does or does not belong. E.g. ‘Man is white’; ‘Man is not white.’ (PrA., A, 24a20; OI., I, 7, 17b8-12) b. Universal quantity: When the predicate belongs to all or none of the subject. E.g. ‘Every man is animal’; ‘No man is animal.’ (PrA., A, 24a18-19; OI., I, 7, 17b5-6) The contrary of a predication of a universal quality is a predication of a universal quality. E.g. the contrary of ‘Every man is white’ is ‘No man is white.’ (OI., I, 7, 17b20-23) c. Particular quantity: When the predicate belongs (or does not belong) to some of the subject. E.g. ‘Some men are white’; ‘Some men are not white.’ (PrA., A, 24a19-20) d. Single quantity: when the subject is a proper name of only one object. E.g. ‘Socrates is white’; ‘Socrates is not white.’ The contrary of this predication is of a single quantity: ‘Socrates is not white.’ (OI., I, 7, 17b38-18a4) 11) Convertibility of predication. Some predications are convertible, that is, it is possible to change the place of subject and predicate in a true proposition so that the converted proposition remains true. This is supposed to mean that given the truth of a predication, the truth of the converted predication is inferable. The convert form of a predication depends on its quantity. a. Indefinite quantity: This predication has no strictly true convert because its quantity is not stated. b. Universal quantity: It can be converted in two ways: i) A negative universal can be converted to a negative universal in which the terms are changed. E.g. ‘No pleasure is good’ can be converted to ‘No good is pleasure.’ (PrA., A, 2, 25a5-8 and a14-19) ii) An affirmative universal can be converted to an affirmative particular in which the terms are changed. E.g. ‘Every pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a7-9) c. Particular quantity: If it is negative, it cannot be converted but if it is affirmative, it can be converted to an affirmative predication with particular quantity. E.g. ‘Some pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a10-13 and a20-24) d. Single quantity: It cannot be converted. 12) Characteristics of relations between subject and predicate 1. A predicate is of a wider range than its subject. It is based on this fact that Aristotle: a) Prevents individuals to be predicate because there is nothing of which an individual be of a wider range. In other words, it is due to the fact that since an individual is only ‘one particular’ thing and, thus, cannot be of a wider extent than anything that Aristotle prevents them of being a predicate. Matthews, however, thinks we cannot use Socrates, a substance and an individual, in the place of predicate and say it of Socrates because ‘Socrates does not classify Socrates: it names him.’ b) Prevents differentia, species and things under species to be predicated of genus. (To., Z, 6, 144a27-) c) Prevents the species and the things under it to be predicated of the differentia. (To., Z, 6, 144b1-4) d) Also about the effect because it is wider than its subject. (PsA., B, 17, 99a) e) Each attribute is wider than every individual it is predicated on, though several attributes, collectively considered, might not be wider but exactly the substance of a thing. (PsA., B, 13, 96a32-b1) 2. The predicate of a predicate of a subject will be predicated of the subject too: ‘whenever one thing is predicated of another as of a subject, all things said of what is predicated will be said of the subject too.’ (Cat., 3, 1b10-15) In fact, it is due to its predication of the subject that it is predicated of its predicate. (Cat., 5, 2a36-b1) Moreover, what is not predicated of the predicate of a subject cannot be predicated of it as well. (PrA., A, 27, 43b22-27) Thus, what, for example, is not predicated of animal, cannot be predicated of man. 3. The predicate of a subject can be predicated of its predicates as well. (Cat., 5, 3a1-6) For example, you call the individual man grammatical and, thence, you call both a man and an animal grammatical. Nonetheless, the predicate of a subject belongs to it more properly than to its higher predicates. (PrA., A, 27, 43a27-32) 4. It is only the subject that can be distributed and not the predicate. (PrA., A, 27, 43b16-22; OI, I, 7, 17b12-16) Therefore, we can say e.g. ‘Every man is animal’ but we cannot say ‘Every man is every animal.’ 5. It is the reason of the relation between subjects and predicates, that is the reason of predication, which is the subject of inquiry. (Met., Z, 1041a20-24) In other words, since it is a meaningless inquiry to ask why a thing is itself (Met., Z, 1041a14-15), the only remaining meaningful inquiry is to ask why something is something else, i.e. to ask about the reason of predication. 6. A subject cannot categorize its predicate in the same category in which it is categorized by it. If e.g. A is a quality of B, B cannot be a quality of A. Therefore, there is no reciprocation in the same category. (PsA., A, 22, 83a36-39) 13) Characteristics of series of predications 1. A series of secondary accidental predication cannot go ad infinitum for not even more than two terms can be comnbined. For an accident is not an accident of an accident, unless it be because both are accidents of the same subject. (Met., Γ, 1007b1-4) 2. Infinite series cannot be traversed in thought. (PsA., A, 22, 83b6-7) 3. The predications of genera on each other must be ended and cannot go to infinity because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) Therefore, a series of predication of genera on each other must be limited on both sides. There must be an upward limit in general categories as well as a downward limit in individual because they cannot be predicated of others. Whatever lies between these limits can both be predicated of others and others be predicated of them. (PrA., A, 27, 43a36-43) 4. The order of predicates matters: it makes a difference whether the series be ABC or BAC. (PsA., B, 13, 96b25-32) . (shrink)

In this paper I argue that much of the confusion and mystery surrounding the concept of "self" can be traced to a failure to appreciate the distinction between the self as a collection of diverse neural components that provide us with our beliefs, memories, desires, personality, emotions, etc (the epistemological self) and the self that is best conceived as subjective, unified awareness, a point of view in the first person (ontological self). While the former can, (...) and indeed has, been extensively studied by researchers of various disciplines in the human sciences, the latter most often has been ignored -- treated more as a place holder attached to a particular predicate of interest (e.g., concept, reference, deception, esteem, image, regulation, etc). These two aspects of the self, I contend, are not reducible -- one being an object (the epistemological self) and the other a subject (the ontological self). Until we appreciate the difficulties of applying scientific methods and analysis to what cannot be reduced to an object of inquiry without stripping it of its essential aspect (its status as subject), progress on the "self", taken as a pluralistic construct, will continue to address only one part of the problems we face in understanding this most fundamental aspect of human experience. (shrink)

I offer a philosophically well-motivated solution to a problem that George Bealer has identified, which he claims is fatal to functionalism. The problem is that there seems to be no way to generate a satisfactory Ramsey sentence of a psychological theory in which mental-state predicates occur within the scopes of mental-state predicates. My central claim is that the functional roles in terms of which a creature capable of self-consciousness identifies her own mental states must be roles that items could (...) play within creatures whose psychology is less complex than hers. (Bealer’s reply to this paper appears in the same issue of Mind & Language.). (shrink)

The theory of mind that medieval philosophers inherit from Augustine is predicated on the thesis that the human mind is essentially self-reflexive. This paper examines Peter John Olivi's (1248-1298) distinctive development of this traditional Augustinian thesis. The aim of the paper is three-fold. The first is to establish that Olivi's theory of reflexive awareness amounts to a theory of phenomenal consciousness. The second is to show that, despite appearances, Olivi rejects a higher-order analysis of consciousness in favor of a (...) same-order theory. The third and final is to show that, on his view, consciousness is both self-intimating and infallible. (shrink)

In the _Meditations_ and related texts from the early 1640s, Descartes argues that the self can be correctly considered as either a mind or a human being, and that the self’s properties vary accordingly. For example, the self is simple considered as a mind, whereas the self is composite considered as a human being. Someone might object that it is unclear how merely considering the self in different ways blocks the conclusion that a single subject (...) of predication—the self—is both simple and composite, which is contradictory. In response to this objection, this paper develops a reading of Descartes’s various ways of considering the self. I argue that the best reading of Descartes’s qualified claims about the self, i.e., about the self _qua_ mind or the self qua human being, presupposes an account of the unqualified self, that is, of the self _simpliciter_. I argue that the self _simpliciter_ is not a mind, and that it is not a human being either. This result might suggest the pessimistic conclusion that Descartes’s view of the self is incoherent. To avoid this result, I introduce a new metaphysical account of the Cartesian self. On my view, the self is individuated by a unified mental life. The self is constituted by the beings that jointly produce this mental life, and derives its unity from it. (shrink)

For semantic inferentialists, the basic semantic concept is validity. An inferentialist theory of meaning should offer an account of the meaning of "valid." If one tries to add a validity predicate to one's object language, however, one runs into problems like the v-Curry paradox. In previous work, I presented a validity predicate for a non-transitive logic that can adequately capture its own meta-inferences. Unfortunately, in that system, one cannot show of any inference that it is invalid. Here I extend the (...) system so that it can capture invalidities. (shrink)

Like many of their counterparts in the West, Buddhist philosophers realized a long time ago that our linguistic and conceptual practices are rooted in pre-predicative modes of apprehension that provide implicit access to whatever is immediately present to awareness. This paper examines Dignāga’s and Dharmakīrti’s contributions to what has come to be known as “Buddhist epistemology” (sometimes referred in the specialist literature by the Sanskrit neologism pramāṇavāda, lit. “doctrine of epistemic warrants”), focusing on the phenomenological and epistemic role of perception (...) and self-awareness. The central argument is that reliance on accurate observations and on an understanding of the contextual and dispositional factors that constrain, condition, and direct our perceptual and intentional states gives this tradition of epistemic inquiry a pragmatic focus unique in premodern Indian philosophy. (shrink)

Adrian Piper argues that the Humean conception can be made to work only if it is placed in the context of a wider and genuinely universal conception of the self, whose origins are to be found in Kant’s Critique of Pure Reason. This conception comprises the basic canons of classical logic, which provide both a model of motivation and a model of rationality. These supply necessary conditions both for the coherence and integrity of the self and also for (...) unified agency. The Kantian conception solves certain intractable problems in decision theory by integrating it into classical predicate logic, and provides answers to longstanding controversies in metaethics concerning moral motivation, rational final ends, and moral justification that the Humean conception engenders. In addition, it sheds light on certain kinds of moral behavior – for example, the whistleblower – that the Humean conception is at a loss to explain. (shrink)

In this paper, I elicit a number of ways in which, according to the Sartre of The Transcendence of the Ego, we can miss the truth about our own self or, more simply, about ourselves. In order to do that, I consider what I call “statements about one's own self,” that is, statements of the form “I ...” where the predicate of the statement is meant to express things that are true of what is evidently given in reflection. (...) I argue that, although statements about one's own self can, according to Sartre, be true on final philosophical analysis, there are at least three senses in which statements about one's own self can or do miss the truth, even when they are (by hypothesis) true. How they miss the truth depends on the different level of philosophical analysis at which we take Sartre to be working. (shrink)

In this article I analyse two complaints of white vilification, which are increasingly occurring in Australia. I argue that, though the complainants (and white people generally) are not harmed by such racialized speech, the complainants in fact harm Australians of colour through these utterances. These complaints can both cause and constitute at least two forms of epistemic injustice (willful hermeneutical ignorance and comparative credibility excess). Further, I argue that the complaints are grounded in a dual misrecognition: the complainants misrecognize themselves (...) in their own privileged racial specificity, and they misrecognize others in their own marginal racial specificity. Such misrecognition preserves the cultural imperialism of Australia’s dominant social imaginary—a means of oppression that perpetuates epistemic insensitivity.Bringing this dual misrecognition to light best captures the indignity that is suffered by the victims of the aforementioned epistemic injustices. I argue that it is only when we truly recognize difference in its own terms, shifting the dominant social imaginary, that “mainstream Australians”can do their part in bringing about a just society. (shrink)

The focus of the article is the self-predication principle, according to which the/a such-and-such is such-and-such. We consider contemporary approaches (Frege, Russell, Meinong) to the self-predication principle, as well as fourteenth-century approaches (Burley, Ockham, Buridan). In crucial ways, the Ockham-Buridan view prefigures Russell’s view, and Burley’s view shows a striking resemblance to Meinong’s view. In short the Russell-Ockham-Buridan view holds: no existence, no truth. The Burley-Meinong view holds, in short: intelligibility suffices for truth. Both views approach (...) self-predication in a uniform way. We were unable to find a medieval philosopher who, like Frege, approaches self-predication in a non-uniform way. We do not want to dispute that there are also considerable differences between the contemporary and the fourteenth-century approach to self-predication. Importantly, fourteenth-century accounts of self-predication rely strongly on the identity theory of predication, and this theory is not endorsed by contemporary philosophers of language. Nevertheless, some basic tenets seem to us to be clearly shared between fourteenth-century and contemporary thinkers. (shrink)

The article tries to prove that the famous formula "epekeina tês ousias" has to be understood in the sense of being beyond being and not only in the sense of being beyond essence. We make hereby three points: first, since pure textual exegesis of 509b8–10 seems to lead to endless controversy, a formal proof for the metaontological interpretation could be helpful to settle the issue; we try to give such a proof. Second, we offer a corollary of the formal proof, (...) showing that not only self-predication of the form of the Good, but of any form is not possible, that is: no form of F has the form of F. Third, we apply Spinoza’s distinction between an ens imaginarium and a chimaera to Plato’s Idea of the Good. (shrink)

In this article I argue that "Timaeus" 48e-52d, the passage in which Plato introduces the receptacle into his ontology, Contains the material for a satisfactory response to the third man argument. Plato's use of "this" and "such" to distinguish the receptacle, Becoming, And the forms clarifies the nature of his ontology and indicates that the forms are not, In general, self-predicative. This result removes one argument against regarding the "Timaeus" as a late dialogue.

Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals. The set-theoretic antinomies forced naïve set theory to be reformulated using some iterative notion of a set so that a set would always have higher type or rank than its members. Then the universal u_{F}={x|F(x)} for a property F() could never be self-predicative in the sense of u_{F}∈u_{F}. But the mathematical theory of (...) categories, dating from the mid-twentieth century, includes a theory of always-self-predicative universals--which can be seen as forming the "other bookend" to the never-self-predicative universals of set theory. The self-predicative universals of category theory show that the problem in the antinomies was not self-predication per se, but negated self-predication. They also provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. (shrink)

The subject of the first section is Carnapian modal logic. One of the things I will do there is to prove that certain description principles, viz. the ''self-predication principles'', i.e. the principles according to which a descriptive term satisfies its own descriptive condition, are theorems and that others are not. The second section will be devoted to Carnapian modal arithmetic. I will prove that, if the arithmetical theory contains the standard weak principle of induction, modal truth collapses to (...) truth. Then I will propose a different formulation of Carnapian modal arithmetic and establish that it is free of collapse. Noteworthy is that one can retain the standard strong principle of induction. I will occupy myself in the third section with Carnapian epistemic logic and arithmetic. Here too it is claimed that the standard weak principle of induction is invalid and that the alternative principle is valid. In the fourth and last section I will get back to the self-predication principles and I will point to some of the consequences if one adds them to Carnapian Epistemic arithmetic. The interaction of self-predication principles and the strong principle of induction results in a collapse of de re knowability. (shrink)

Carnap's theory of descriptions was restricted in two ways. First, the descriptive conditions had to be non-modal. Second, only primitive predicates or the identity predicate could be used to predicate something of the descriptum . The motivating reasons for these two restrictions that can be found in the literature will be critically discussed. Both restrictions can be relaxed, but Carnap's theory can still be blamed for not dealing adequately with improper descriptions.

In this paper I argue against the view of G.E.L. Owen that the second version of the Third Man Argument is a sound objection to Plato's conception of Forms as paradigms and that Plato knew it. The argument can be formulated so as to be valid, but Plato need not be committed to one of its premises. Forms are self-predicative, but the ground of self-predication is not the same as that of ordinary predication.

The phenomenon of self-reference combines self-refutation in the case of Plato’s critics of Protagoras in “Theaetetus” and self-predication in the case of a difficulty which Plato himself faces developing the theory of ideas in “Parmenides”. The author of the article asserts that self-predication does not produce a negative impact on Plato’s metaphysics and in no way destroys the integrality of Plato’s philosophy: It is logically correct as are both his criticism of Protagoras’ relativism and (...) the theory of ideas. (shrink)

Fregean theories of descriptions as terms have to deal with improper descriptions. To save bivalence various proposals have been made that involve assigning referents to improper descriptions. While bivalence is indeed saved, there is a price to be paid. Instantiations of the same general scheme, viz. the one and only individual that is F and G is G, are not only allowed but even required to have different truth values.

This paper examines the concept of manifestation process in Kashmir Shaivism from Shiva tattva to Prithvi tattva and their transcendental and immanent predicates (Prakrti and Purusa).This paper also shows that the ultimate reality, Paramshiva, manifests itself into various forms which likely represent the theory of causation. This research paper also provides answer to two questions; First, how ultimate reality with its thirty-six principles or elements manifest in various forms and what types of forms ‘Descent’ attains from the ‘universal self’? (...) Second, how manifestation process takes place from the ‘cosmic self’ (universal consciousness) to a ‘limited self’ (Jiva)? Since, this paper is based on philosophical exploration of manifestation process and contains interpretation and argumentation of Pratyabhijna philosophy only; it excludes manifestation due to Yogas (Upayas) and Karmas. Moreover, it explains the Trika form of reality (Shiva/God, Shakti/World, and Nara/Man) and also the identity between ‘ascent’ and ‘descent’. Manifestation further investigates the union of Shiva and Shakti with Maya and displays its character (Prakashvimarshmaya). This work further tries to describe the contribution of Abhinavagupta in the concept of manifestation. (shrink)

The identity "relation" is misconceived since the syntax of "=" is misconceived as a relative term. Actually, "=" is syncategorematic; it forms (true) sentences with a nonpredicative syntax from pairs of (coreferring) flanking names, much as "&" forms (true) conjunctive sentences from pairs of (true) flanking sentences. In the conaming structure, nothing is predicated of the subject, other than, implicitly, its being so conamed. An identity sentence has both an objectual reading as a necessity about what is named, and also (...) a metalinguistic reading as a contingency about the names. Either way the claim about the subject referent has no extralinguistic content. The necessity of alteridentity (non-self-identity) statements is "lexical", due to contingencies of the names' reference, much like the necessity of analytic statements, due to contingencies of the predicates' sense, and unlike the necessity of logical truths (e.g., self-identities) whose truth is secured by syntax alone. Both alter-identity and analytic sentences are readable as objectual necessities and metalinguistic contingencies. Epistemically, alter-identity statements are not essentially unlike analyticities. "Greece is Hellas"/"g=h" and "Greeks are Hellenes"/"(x)(Gx<=>Hx)" are equally (un)informative; so too for "Azure is cobalt"/"a=c" and "Everything azure is cobalt"/"(x)(Ax<=>Cx)". The real epistemic contrast is between proper names (terms without predicative sense) and terms with a predicative sense (names and predicates of properties). Proper names refer to concrete objects, property names refer to abstract objects. That contrast is metaphysical and thus epistemic. (shrink)

The first learning game to be developed to help students to develop and hone skills in constructing proofs in both the propositional and first-order predicate calculi. It comprises an autotelic (self-motivating) learning approach to assist students in developing skills and strategies of proof in the propositional and predicate calculus. The text of VALIDITY consists of a general introduction that describes earlier studies made of autotelic learning games, paying particular attention to work done at the Law School of Yale University, (...) called the ALL Project (Accelerated Learning of Logic). Following the introduction, the game of VALIDITY is described, first with reference to the propositional calculus, and then in connection with the first-order predicate calculus with identity. Sections in the text are devoted to discussions of the various rules of derivation employed in both calculi. Three appendices follow the main text; these provide a catalogue of sequents and theorems that have been proved for the propositional calculus and for the predicate calculus, and include suggestions for the classroom use of VALIDITY in university-level courses in mathematical logic. (shrink)

This article examines the various Liar paradoxes and their near kin, Grelling’s paradox and Gödel’s Incompleteness Theorem with its self-referential Gödel sentence. It finds the family of paradoxes to be generated by circular definition–whether of statements, predicates, or sentences–a manoeuvre that generates pseudo-statements afflicted with the Liar syndrome: semantic vacuity, semantic incoherence, and predicative catalepsy. Such statements, e.g., the self-referential Liar statement, are meaningless, and hence fail to say anything, a point that invalidates the reasoning on which the (...) various paradoxes rest. The seeming plausibility of the paradoxes is due to the fact that often the sentence used to make the pseudo-statement is ambiguous in that it may also be used to make a genuine statement about the pseudo-statement. Hence, if a formal system is to avoid ambiguity and consequent paradox and contradiction, it must distinguish between the two statements the sentence may be used to make. Gödel’s Theorem presents a further complication in that the self-reference involved is sentential rather than statemental. Nevertheless, on the intended interpretation of the system as a formalization of arithmetic, the self-referential Gödel sentence can only be an ambiguous statement, one that is both a pseudo-statement and its genuine double. Consequently, the conclusions commonly drawn from Gödel’s theorem must be deemed unwarranted. Arithmetic might well be formalized in a proper system that either excludes circular definition or introduces disambiguators. (shrink)

Nicholas Rescher’s way of understanding process philosophy reflects the ambitions of his own philosophical project and commits him to a conceptually ideal interpretation of process. Process becomes a transcendental idea of reflection that can always be predicated of our knowledge of the world and of the world qua known, but not necessarily of reality an sich. Rescher’s own taxonomy of process thinking implies that it has other variants. While Rescher’s approach to process philosophy makes it intelligible and appealing to mainstream (...) analytic philosophy, it leaves behind the more daring ideas of Bergson, James, and Whitehead, all of whom envisioned the primordial reality of process in a radical ontology of becoming. This variant of process thought can be construed as coherent and self-consistent, but not without relinquishing the correspondence theory of truth and embracing challenging ideas that bring us in close proximity to existentialism, apophatic theology, and Buddhism. (shrink)

This paper begins with a brief summary of the Self-consciousness Argument, developed in the author’s paper “Self-consciousness.” (This argument is designed to refute the extant versions of functionalism -- American functionalism, Australian functionalism, and language-of-thought functionalism.) After this summary is given, two thesis are defended. The first is that the Self-consciousness Argument is not guilty of a Fregean equivocation regarding embedded occurrences of mental predicates, as has been suggested by many commentators, including Mark McCullagh. The second thesis (...) is that the Self-consciousness Argument cannot be avoided by weakening the psychological theory upon which Ramsified functional definitions are based. Specifically, it does no good to excise psychological principles involving embedded mental predicates. Why? Because functional definitions based on the resulting sparse theories are exposed to an interesting new family of counterexamples. (shrink)

Let us call a thought or belief whose content would be expressed by a sentence of subject-predicate form (by the thinker or someone attributing the thought to the thinker) an ‘ascription’. Thus, the thought that Madonna is middle-aged is an ascription of the property of being middle-aged to Madonna. To call a thought of this form an ascription is to emphasize the predicate in the sentence that gives its content. Let us call an ‘x-ascription’ an ascription whose subject is x, (...) that is, an ascription such that the subject of the sentence which would express its content is x. Let us call a ‘self-ascription’ an ascription whose subject is identical with the ascriber. Let us call a ‘reflexive ascription’ a selfascription such that either (i) in the sentence the ascriber would use to attribute correctly the ascription to himself he would use the first person pronoun to refer to himself both as the ascriber and as the subject of the ascription, as in a sentence of the form, I believe that I ö. (shrink)

The field of mindfulness and the emerging science of heroism have a common interest in the causes and conditions of selfless altruism though up to this point there has been little cross-pollination. However, there is increasing evidence that mindfulness training delivers heroically relevant qualities such as increased attentional functioning, enhanced primary sensory awareness, greater conflict monitoring, increased cognitive control, reduced fear response, and an increase in loving kindness and self-sacrificing behaviors. Predicated on the notion of a “no self,” (...) traditional mindfulness and its focus on enlightenment and selfless service may in fact be ideally suited to the development of the elusive “trait” (predictable) versus “state” (intermittent) heroic character. Interweaving observations and questions drawn from the science of heroism, the article explores the relevant theory, practices, and scientific outcomes of mindfulness. It finds that there is evidence that heroically relevant qualities are trainable with the suite of mindfulness techniques and that an enduring experience of selflessness and service of others (the enlightened hero) may well be within the grasp of the serious practitioner. (shrink)

Hope, in its propositional construction "I hope that p," is compatible with a stated chance for the speaker that not-p. On fallibilist construals of knowledge, knowledge is compatible with a chance of being wrong, such that one can know that p even though there is an epistemic chance for one that not-p. But self-ascriptions of propositional hope that p seem to be incompatible, in some sense, with self-ascriptions of knowing whether p. Data from conjoining hope self-ascription with (...) outright assertions, with first- and third-person knowledge ascriptions, and with factive predicates suggest a problem: when combined with a plausible principle on the rationality of hope, they suggest that fallibilism is false. By contrast, the infallibilist about knowledge can straightforwardly explain why knowledge would be incompatible with hope, and can offer a simple and unified explanation of all the linguistic data introduced here. This suggests that fallibilists bear an explanatory burden which has been hitherto overlooked. (shrink)

My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a (...) realm of sui generis non-natural PROPERTIES. Semantic autonomy insists on a realm of sui generis non-natural PREDICATES which do not mean the same as any natural counterparts. Logical Autonomy maintains that moral conclusions cannot be derived from non-moral premises.-moral premises with the aid of logic alone. Logical Autonomy does not entail Semantic Autonomy and Semantic Autonomy does not entail Ontological Autonomy. But, given some plausible assumptions Ontological Autonomy entails Semantic Autonomy and given the conservativeness of logic – the idea that in a valid argument you don’t get out what you haven’t put in – Semantic Autonomy entails Logical Autonomy. So if Logical Autonomy is false – as Prior appears to prove – then Semantic and Ontological Autonomy would appear to be false too! I develop a version of Logical Autonomy (or NOFI) and vindicate it against Prior’s counterexamples, which are also counterexamples to the conservativeness of logic as traditionally conceived. The key concept here is an idea derived in part from Quine - that of INFERENCE-RELATIVE VACUITY. I prove that you cannot derive conclusions in which the moral terms appear non-vacuously from premises from which they are absent. But this is because you cannot derive conclusions in which ANY (non-logical) terms appear non-vacuously from premises from which they are absent Thus NOFI or Logical Autonomy comes out as an instance of the conservativeness of logic. This means that the reverse entailment that I have suggested turns out to be a mistake. The falsehood of Logical Autonomy would not entail either the falsehood Semantic Autonomy or the falsehood of Ontological Autonomy, since Semantic Autonomy only entails Logical Autonomy with the aid of the conservativeness of logic of which Logical Autonomy is simply an instance. Thus NOFI or Logical Autonomy is vindicated, but it turns out to be a less world-shattering thesis than some have supposed. It provides no support for either non-cognitivism or non-naturalism. (shrink)

The High Court continues to exercise its inherent jurisdiction to make declarations about interventions into the lives of situationally vulnerable adults with mental capacity. In light of protective responses of health care providers and the courts to decision-making situations involving capacitous vulnerable adults, this paper has two aims. The first is diagnostic. The second is normative. The first aim is to identify the harms to a capacitous vulnerable adult’s autonomy that arise on the basis of the characterisation of situational vulnerability (...) and autonomy as fundamentally opposed concepts or the failure to adequately acknowledge the conceptual relationship between them at common law. The second part of this aim is to draw upon developments in analytic feminist philosophy to illustrate how standard approaches to autonomy are ill-equipped to capture the autonomy issues of capacitous vulnerable adults when their decisions regarding care and treatment are at stake. The second (normative) aim is to develop an account of self-authorised, intersubjective autonomy on the basis of analytic feminist insights into the relational practices of recognition. This account not only attempts to capture the autonomy of capacitous vulnerable adults and account for the necessary harms to their autonomy that arise from standard common law responses to their situational vulnerability, it is also predicated on the distinctions between mental capacity, the satisfaction of conditions for informed consent and the exercise of autonomy, meaning that it is better placed to fulfil the primary aim of the inherent jurisdiction – to facilitate the autonomy of vulnerable adults with capacity. (shrink)

States cannot legitimately enforce their borders against migrants if dominant conceptions of sovereignty inform enforcement because these conceptions undermine sufficient respect for migrants’ basic human rights. Instead, such conceptions lead states to assert total control over outsiders’ potential cross-border movements to support their in-group’s self-rule. Thus, although legitimacy requires states to prioritize universal respect for basic human rights, sovereign states today generally fail to do so when it comes to border enforcement. I contend that this enforcement could only be (...) rendered legitimate if it was predicated on more desirable conceptions of sovereignty that supported the universal prioritization of basic human rights. Specifically, desirable conceptions would not establish and require absolute state sovereignty over borders as a necessary precondition for true popular self-governance. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Spinoza and the Theory of Organism HANS JONAS I CARTESIANDUALISMlanded speculation on the nature of life in an impasse: intelligible as, on principles of mechanics, the correlation of structure and function became within the res extensa, that of structure-plus-function with feeling or experience (modes of the res cogitans) was lost in the bifurcation, and thereby the fact of life itself became unintelligible at the same time that the explanation (...) of its bodily performance seemed to be assured. The impasse became manifest in Occasionalism : its tour de force of an extraneous, divine "synchronization" of the outer and the inner world (the latter denied to animals) not only suffered from its extreme artificiality, the common failing of such ad hoc constructions, but even at so high a cost failed to accomplish its theoretical purpose by its own terms. For the animal machine, like any machine, raises beyond the question of the "how" that of the "what for" of its functioning---of the purpose for which it had thus been constructed by its maker.1 Its performance, however devoid of immanent teleology, must serve an end, and that end must be someone's end. This end may (directly) be itself, as indeed Descartes had implied when declaring self-preservation to be the effect of the functioning of the organic automaton. In that case the existence as such of the machine would be its end--either terminally, or in turn to benefit something else. In the former case, the machine would have to be more than a machine, for a mere machine cannot enioy its existence. But since, by the rigorous conception of the res extensa, it cannot be more than a machine, its function and/or existence must serve something other than itself. Automata in Descartes ' time were mainly for entertainment (rather than work). But the raison d'etre of the living kingdom could not well be seen in God's indulging his mechanical abilities or in the amusement of celestial spectators--especially since mere complexity of arrangement does not create new quality and thus add something to the unrelieved sameness of the simple substratum that might enrich the spectrum of being. For quality, beyond the primitive determinations of the extended per se, is the subjective creature of sensation, the confused representation of quantity in a mind; and thus organisms cannot harbor it because as mere machines they lack mentality, and pure spirits cannot because they lack sensuality, or the privilege of confusion and thereby of illusion with its possible enjoyment. And as to their intellectual enjoyment, even that, deprived of the thrill of discovery by the same token, would pale in the contemplation of what to sufficiently large The concept of "machine," adopted for its strict confinementto efficientcause, is still a finalisticconcept,even thoughthe final cause is no longer internal to the entity, as a mode of its own operation,but external to it as antecedent design. [43] 44 HISTORY OF PHILOSOPHY intellects is nothing but the ever-repeated exemplification of the same few, elementary (and ultimately trivial) truths. There remained, then, the time-honored--Stoic as well as Christian--idea that plants and animals are for the benefit of Man. Indeed, since the existence of a living world is the necessary condition for the existence of any of its members, the self-justifying nature of at least one such member (= species) would justify the existence of the whole. In Stoicism, Man provided this end by his possession of reason, which makes him the culmination of a terrestrial scale of being that is also self-justifying throughout all its grades (the end as the best of many that are good in degrees) ; in Christianity, by his possession of an immortal soul, which makes him the sole imago Dei in creation (the end as the sole issue at stake) ; and Cartesian dualism radicalized this latter position by making man even the sole possessor of inwardness or "soul" of any kind, thus the only one of whom "end" can meaningfully be predicated as he alone can entertain ends. All other life then, the product of physical necessity, can be considered his means. However, this traditional idea, in its anthropocentric vanity never a... (shrink)

This paper is my commentary on Raymond Tallis’ book Freedom: An Impossible Reality (2021). Tallis argues that the laws described by science are dependent on human agency which extracts them from nature. Consequently, human agency cannot be explained as an effect of natural laws. I agree with Tallis’ main argument and I appreciate that he helps us understand the systematic importance of a human-scale breadth of view regarding any theoretical investigation. In the main part of the paper, I critically comment (...) on Tallis’ interpretation of several more loosely associated topics from a phenomenological perspective. Firstly, I reconsider Tallis’ account of intentionality as a factor that opens a distance between the cognizer and the world. Whereas Tallis emphasizes that agency requisitions aspects of the world to achieve its goals, I point out that agency does not determine the meaning of things unidirectionally and independently of all context. A self-controlled agency is provisionally reached through a process of ‘deindexicalization’ of our passive intentional capacities, that is, by creating and maintaining new, different worldly contexts. Subsequently, I analyze Tallis’ description of our intentional relation to spatiotemporally distant possibilities. In my view, Tallis underestimates the extent to which our intentional relation to possibilities is pre-reflexive and pre-predicative and hence independent of propositional attitudes. Finally, I consider Tallis’ interpretation of nature and show that it is deeply influenced by the sciences of nature. In contrast, I argue that agency can be properly described only if we understand it as an intervention in a lifeworld already imbued with sense, not merely a physical or material nature. (shrink)

ABSTRACT: In antiquity we encounter a distinction of two types of hypothetical syllogisms. One type are the ‘mixed hypothetical syllogisms’. The other type is the one to which the present paper is devoted. These arguments went by the name of ‘wholly hypothetical syllogisms’. They were thought to make up a self-contained system of valid arguments. Their paradigm case consists of two conditionals as premisses, and a third as conclusion. Their presentation, either schematically or by example, varies in different authors. (...) For instance, we find ‘If (it is) A, (it is) B; if (it is) B, (it is) C; therefore, if (it is) A, (it is) C’. The main contentious point about these arguments is what the ancients thought their logical form was. Are A, B, C schematic letters for terms or propositions? Is ‘is’, where it occurs, predicative, existential, or veridical? That is, should ‘A esti’ be translated as ‘it is an A’, ‘A exists’, ‘As exist’ or ‘It is true/the case that A’? If A, B, C are term letters, and ‘is’ is predicative, are the conditionals quantified propositions or do they contain designators? If one cannot answer these questions, one can hardly claim to know what sort of arguments the wholly hypothetical syllogisms were. In fact, all the above-mentioned possibilities have been taken to describe them correctly. In this paper I argue that it would be mistaken to assume that in antiquity there was one prevalent understanding of the logical form of these arguments - even if the ancients thought they were all talking about the same kind of argument. Rather, there was a complex development in their understanding, starting from a term-logical conception and leading to a propositional-logical one. I trace this development from Aristotle to Philoponus and set out the deductive system on which the logic of the wholly hypothetical syllogisms was grounded. (shrink)

Leibniz, it seems, wishes to reduce statements involving relations or extrinsic denominations to ones solely in terms of individual accidents or, respectively, intrinsic denominations. His reasons for this appear to be that relations are merely mental things (since they cannot be individual accidents) and that extrinsic denominations do not represent substances as they are on their own. Three interpretations of Leibniz''s reductionism may be distinguished: First, he allowed only monadic predicates in reducing statements (hard reductionism); second, he allowed also `implicitly (...) relational predicates'' such as `loves somebody'' (soft reductionism); third, he allowed also `explicitly relational predicates'' such as `loves Helen'' (nonreductionism). Hard reductionism is problematic with respect to Leibniz''s doctrines of universal expression and incompossibility (among other things). Nonreductionism, in turn, faces insurmountable problems with Leibniz''s doctrine of self-sufficiency and internal identification of substances, as well as with that of individual accidents. The remaining option, soft reductionism, standing between the other two interpretations, arguably avoids at least some of their problems. (shrink)

Recent attention to "self-consistent" (Rosser-style) systems raises anew the question of the proper interpretation of the Gödel Second Incompleteness Theorem and its effect on Hilbert's Program. The traditional rendering and consequence is defended with new arguments justifying the intensional correctness of the derivability conditions.

According to what I call ‘the asymmetry thesis’, persons, though they are the direct bearers of the properties expressed by mental predicates, are not the direct bearers of properties such as those expressed by ‘weighs 135 pounds’ or ‘has crossed legs’. A number of different views about persons entail the asymmetry thesis. I first argue that the asymmetry thesis entails an error theory about our discourse involving person‐referring terms. I then argue that it is further threatened by consideration of the (...) grounds we have for self‐ascribing mental and physical predicates. (shrink)

A number of contemporary philosophers think that the unqualified statement “X is unspeakable” faces the danger of self-referential absurdity: if this statement is true, it must simultaneously be false, given that X is speakable by the predicate word “unspeakable.” This predicament is in this chapter formulated as an argument that I term the “ineffability paradox.” After examining the Buddhist semantic theory of apoha (exclusion) and an apoha solution to the issue, I resort to a few Chinese Buddhist and Hindu (...) philosophical materials to rationally reconstruct a strategy for resolving the paradox. By introducing the mode of expression termed “indication,” together with the relevant notions of superimposition and of gesturing beyond the horizon, I show that expressing the ineffable does not necessarily involve irresoluble contradiction. It is also suggested that philosophers may need to acknowledge the relevance of the notion of ineffability for contemporary philosophizing. (shrink)

Dâwûd al-Qarisî (Dâvûd al-Karsî) was a versatile and prolific 18th century Ottoman scholar who studied in İstanbul and Egypt and then taught for long years in various centers of learning like Egypt, Cyprus, Karaman, and İstanbul. He held high esteem for Mehmed Efendi of Birgi (Imâm Birgivî/Birgili, d.1573), out of respect for whom, towards the end of his life, Karsî, like Birgivî, occupied himself with teaching in the town of Birgi, where he died in 1756 and was buried next to (...) Birgivî. Better known for his following works on Arabic language and rhetoric and on the prophetic traditions (hadith): Sharḥu uṣûli’l-ḥadîth li’l-Birgivî; Sharḥu’l-Ḳaṣîdati’n-nûniyya (two commentaries, in Arabic and Turkish); Şarḥu’l-Emsileti’l-mukhtalifa fi’ṣ-ṣarf (two commentaries, in Arabic and Turkish); Sharḥu’l-Binâʾ; Sharḥu’l-ʿAvâmil; and Sharḥu İzhâri’l-asrâr, Karsî has actually composed textbooks in quite different fields. Hence the hundreds of manuscript copies of his works in world libraries. Many of his works were also recurrently printed in the Ottoman period. One of the neglected aspects of Karsî is his identity as a logician. Although he authored ambitious and potent works in the field of logic, this aspect of him has not been subject to modern studies. Even his bibliography has not been established so far (with scattered manuscript copies of his works and incomplete catalogue entries). This article primarily and in a long research based on manuscript copies and bibliographic sources, identifies twelve works on logic that Karsî has authored. We have clarified the works that are frequently mistaken for each other, and, especially, have definitively established his authorship of a voluminous commentary on al-Kâtibî’s al-Shamsiyya, of which commentary a second manuscript copy has been identified and described together with the other copy. Next is handled his most famous work of logic, the Sharhu Îsâghûcî, which constitutes an important and assertive ring in the tradition of commentaries on Îsâghûcî. We describe in detail the nine manuscript copies of this work that have been identified in various libraries. The critical text of Karsî’s Sharhu Îsâghûcî, whose composition was finished on 5 March 1745, has been prepared based on the following four manuscripts: (1) MS Kayseri Raşid Efendi Kütüphanesi, No. 857, ff.1v-3v, dated 1746, that is, only one year after the composition of the work; (2) MS Bursa İnebey Yazma Eser Kütüphanesi, Genel, No.794B, ff.96v-114v, dated 1755; (3) MS Millet Kütüphanesi, Ali Emiri Efendi Arapça, No. 1752, ff.48v-58r, dated 1760; (4) MS Beyazıt Yazma Eser Kütüphanesi, Beyazıt, No. 3129, ff.41v-55v, dated 8 March 1772. While preparing the critical text, we have applied the Center for Islamic Studies (İslam Araştırmaları Merkezi, İSAM)’s method of optional text choice. The critical text is preceded by a content analysis. Karsî is well aware of the preceding tradition of commentary on Îsâghûcî, and has composed his own commentary as a ‘simile’ or alternative to the commentary by Mollâ Fanârî which was famous and current in his own day. Karsî’s statement “the commentary in one day and one night” is a reference to Mollâ Fanârî who had stated that he started writing his commentary in the morning and finished it by the evening. Karsî, who spent long years in the Egyptian scholarly and cultural basin, adopted the religious-sciences-centered ‘instrumentalist’ understanding of logic that was dominant in the Egypt-Maghrib region. Therefore, no matter how famous they were, he criticized those theoretical, long, and detailed works of logic which mingled with philosophy; and defended and favored authoring functional and cogent logic texts that were beneficial, in terms of religious sciences, to the seekers of knowledge and the scholars. Therefore, in a manner not frequently encountered in other texts of its kind, he refers to the writings and views of Muhammad b. Yûsuf al-Sanûsî (d.1490), the great representative of this logical school in the Egyptian-Maghrib region. Where there is divergence between the views of the ‘earlier scholars’ (mutaqaddimûn) like Ibn Sînâ and his followers and the ‘later scholars’ (muta’akhkhirûn), i.e., post-Fakhr al-dîn al-Râzî logicians, Karsî is careful to distance himself from partisanship, preferring sometimes the views of the earliers, other times those of the laters. For instance, on the eight conditions proposed for the realization of contradiction, he finds truth to be with al-Fârâbî, who proposed “unity in the predicative attribution” as the single condition for the realization of contradiction. Similarly, on the subject matter of Logic, he tried to reconcile the mutaqaddimûn’s notion of ‘second intelligibles’ with the muta’akhkhirûn’s notion of ‘apprehensional and declarational knowledge,’ suggesting that not much difference exists between the two, on the grounds that both notions are limited to the aspect of ‘known things that lead to the knowledge of unknown things.’ Karsî asserts that established and commonly used metaphors have, according to the verifying scholars, signification by correspondence (dalâlat al-mutâbaqah), adding also that it should not be ignored that such metaphors may change from society to society and from time to time. Karsî also endorses the earlier scholars’ position concerning the impossibility of quiddity (mâhiyya) being composed of two co-extensive parts, and emphasizes that credit should not be given to later scholars’ position who see it possible. According to the verifying scholars (muhaqqîqûn), it is possible to make definition (hadd) by mentioning only difference (fasl), in which case it becomes an imperfect definition (hadd nâqis). He is of the opinion that the definition of the proposition (qadiyya) in al-Taftâzânî’s Tahdhîb is clearer and more complete: “a proposition is an expression that bears the possibility of being true or false”. He states that in the division of proposition according to quantity what is taken into consideration is the subject (mawdû‘) in categorical propositions, and the temporal aspect of the antecedent (muqaddam) in hypothetical propositions. As for the unquantified, indefinite proposition (qadiyya muhmalah), Karsî assumes that if it is not about the problems of the sciences, then it is virtually/potentially a particular proposition (qadiyya juz’iyyah); but if it is about the problems of the sciences, then it is virtually/potentially a universal proposition (qadiyya kulliyyah). This being the general rule about the ambiguous (muhmal) propositions, he nevertheless contends that, because its subject (mawdû‘) is negated, it is preferable to consider a negative ambiguous (sâliba muhmalah) proposition like “human (insân) is not standing” to be a virtually/potentially universal negative (sâliba kulliyyâh) proposition. He states that a disjunctive hypothetical proposition (shartiyya al-munfasila) that is composed of more than two parts/units is only seemingly so, and that in reality it cannot be composed of more than two units. Syllogism (qiyâs), according to Karsî, is the ultimate purpose (al-maqsad al-aqsâ) and the most valuable subject-matter of the science of Logic. For him, the entire range of topics that are handled before this one are only prolegomena to it. This approach of Karsî clearly reveals how much the ‘demonstration (burhân)-centered’ approach of the founding figures of the Muslim tradition of logic like al-Fârâbî and Ibn Sînâ has changed. al-Abharî, in his Îsâghûjî makes no mention of ‘conversion by contradiction’ (‘aks al-naqîd). Therefore, Karsî, too, in his commentary, does not touch upon the issue. However, in his Îsâghûjî al-jadîd Karsî does handle the conversion by contradiction and its rules. Following the method of Îsâghûjî, in his commentary Karsî shortly touches on the four figures (shakl) of conjuctive syllogism (qiyâs iqtirânî) and their conditions, after which he passes to the first figure (shakl), which is considered ‘the balance of the sciences’ (mi‘yâr al-‘ulûm), explaining the four moods (darb) of it. In his Îsâghûjî al-jadîd, however, Karsî handles all the four figures (shakl) with all their related moods (darb), where he speaks of fife moods (darb) of the fourth figure (shakl). The topic of ‘modal propositions’ (al-muwajjahât) and of ‘modal syllogism’ (al-mukhtalitât), both of which do not take place in the Îsâghûjî, are not mentioned by Karsî as well, either in his commentary on Îsâghûjî or in his Îsâghûjî al-jadîd. Karsî proposes that the certainties (yaqîniyyât), of which demonstration (burhân) is made, have seven, not six, divisions. After mentioning (1) axioms/first principles (awwaliyyât), (2) observata/sensuals (mushâhadât), (3) experta/empiricals (mujarrabât), (4) acumenalia (hadthiyyât), (5) testata (mutawâtirât), and (6) instictives (fitriyyât), that is, all the ‘propositions accompanied by their demonstrations,’ Karsî states that these six divisions, which do not need research and reflection (nazar), are called badîhiyyât (self-evidents), and constitute the foundations (usûl) of certainties (yaqîniyyât). As the seventh division he mentions (7) the nazariyyât (theoreticals), which are known via the badîhiyyât, end up in them, and therefore convey certainty (yaqîn). For Karsî, the nazariyyât/theoreticals, which constitute the seventh division of yaqîniyyât/certainties, are too numerous, and constitute the branches (far‘) of yaqîniyyât. Every time the concept of ‘Mughâlata’ (sophistry) comes forth in the traditional sections on the five arts usually appended to logic works, Karsî often gives examples from what he sees as extreme sûfî sayings, lamenting that these expressions are so widespread and held in esteem. He sometimes criticizes these expressions. However, it is observed that he does not reject tasawwuf in toto, but excludes from his criticism the mystical views and approaches of the truth-abiding (ahl al-haqq), shârî‘â-observant (mutasharri‘) leading sufis who have reached to the highest level of karâmah. (shrink)

Within Hegel's system of science, judgement(Urteil)is thought's original dividing from identity into difference. In the same context, judgement is also an act of predication where “subject” must be understood in both a grammatical and psychical sense. Thus, judgement expresses a language act that is a self-positing into the difference of being. This article looks at two examples where Hegel's ontological notion of judgement obtains, then finds, the roots of this notion in Hölderlin and Fichte.

Despite the fact that Aristotle and Frege/Russell differ in how to understand the ambiguity in the meaning of the word “is”, their theories share a common feature: “is” does not have a normative meaning. This paper, however, (I) shows (a) that there is a normative meaning of “is” (and correspondingly a constative meaning of the word “ought”) and (b) that the ambiguity of “is” is itself ambiguous. Furthermore, it proposes (c) a performative criterion for making a distinction between constative and (...) normative “is”. Thereby, (II) a new interpretation of Kant’s critique of the ontological argument (CPR A 598/B626) makes sense: The difference between being as a real predicate and being as a position depends on the difference between “is” as a descriptive and “is” as a normative predicate. (III) The criterion also makes possible a new answer to Leibniz’s and Schelling’s question, “Why is there something rather than nothing?”: The “is” in “there is something” is normative and the question means “Why shall there be something rather than nothing?”. As “there shall be nothing” is self-refuting, the question evokes an ultimate foundation in a practical sense. (shrink)

The monograph is an English, expanded and revised version of the book Cheshko, V. T., Ivanitskaya, L.V., & Glazko, V.I. (2018). Anthropocene. Philosophy of Biotechnology. Moscow, Course. The manuscript was completed by me on November 15, 2019. It is a study devoted to the development of the concept of a stable evolutionary human strategy as a unique phenomenon of global evolution. The name “An Evolutionary Metaphysics (Cheshko, 2012; Glazko et al., 2016). With equal rights, this study could be entitled “Biotechnology (...) as a result and factor of the evolutionary processˮ. The choice in favor of used “The Evolutionary Metaphysics of Human Enhancement Technologiesˮ was made in accordance with the basic principle of modern post-academician and human-sized science, a classic example of which is biotechnology. The “Metaphysics of Evolution” and “Evolutionary Metaphysics” concepts are used in several ways in modern philosophical discourse. In any case, the values contain a logical or associative reference to the teleological nature of the evolutionary process (Hull, 1967, 1989; Apel, 1995; Faye, 2016; Dupre, 2017; Rose, 2018, etc). In our study, the “evolutionary metaphysics” serves to denote the thesis of the rationalization and technologization of global evolution and anthropogenesis, in particular. At the same time, the postulate of an open future remains relevant in relation to the results of the evolutionary process. The theory of evolution of complex, including the humans system and algorithm for its constructing are а synthesis of evolutionary epistemology, philosophical anthropology and concrete scientific empirical basis in modern science. ln other words, natural philosophy is regaining the status bar element theoretical science in the era of technology-driven evolution. The co-evolutionary concept of 3-modal stable evolutionary strategy of Homo sapiens is developed. The concept based оn the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined bу descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctness) parameters simultaneously, that cannot bе instrumental reduced to others ones. Resulting volume of both parameters define the vectors of blological, social, cultural and techno-rationalistic human evolution Ьу two gear mechanism genetic and cultural co-evolution and techno-humanitarian balance. The resultant each of them сап estimated Ьу the ratio of socio-psychological predispositions of humanization / dehumanization in mentality. Explanatory model and methodology of evaluation of creatively teleological evolutionary risk component of NBIC technological complex is proposed. Integral part of the model is evolutionary semantics (time-varying semantic code, the compliance of the blological, socio-cultural and techno-rationalist adaptive modules of human stable evolutionary strategy). It is seem necessary to make three clarifications. First, logical construct, “evolutionary metaphysics” contains an internal contradiction, because it unites two alternative explanatory models. “Metaphysics”, as a subject, implies deducibility of the process from the initial general abstract principle, and, consequently, the outcome of the development of the object is uniquely determined by the initial conditions. Predicate, “evolutionary”, means stochastic mechanism of realizing the same principle by memorizing and replicating random choices in all variants of the post-Darwin paradigm. In philosophy, random choice corresponds to the category of “free will” of a reasonable agent. In evolutionary theory, the same phenomenon is reflected in the concept of “covariant replication”. Authors will attempt to synthesize both of these models in a single transdisciplinary theoretical framework. Secondly, the interpretation of the term “evolutionary (adaptive) strategyˮ is different from the classical definition. The difference is that the adaptive strategy in this context is equivalent to the survival, i.e. it includes the adaptation to the environment and the transformation (construction) of the medium in accordance with the objectives of survival. To emphasize this difference authors used verbal construction “adaptiveˮ (rather than “evolutionaryˮ) strategy as more adequate. In all other cases, the two terms may be regarded as synonymous. Thirdly, the initial two essays of this series were published in one book in 2012. Their main goal was the development of the logically consistent methodological concept of stable adaptive (evolutionary) strategy of hominines and the argumentation of its heuristic possibilities as a transdisciplinary scientific paradigm of modern anthropology. The task was to demonstrate the possibilities of the SESH concept in describing and explaining the evolutionary prospects for the interaction of social organization and technology (techno-humanitarian balance) and the associated biological and cultural mechanisms of the genesis of religion (gene-cultural co-evolution). In other words, it was related to the sphere of cultural and philosophical anthropology, i.e. to the axiological component of any theoretical constructions describing the behavior of self-organizing systems with human participation. In contrast, the present work is an attempt to introduce this concept into the sphere of biological anthropology and, consequently, its main goal is to demonstrate the possibility of verification of its main provisions by means of procedures developed by natural science, i.e. refers to the descriptive component of the same theoretical constructions. The result of this in the future should be methods for assessing, calculating and predicting the risk of loss of biological and cultural identity of a person, associated with a permanent and continuously deepening process of development of science and technology. (shrink)

The theorizing about the doctrine of the Trinity by contemporary analytic philosophers of religion has recently been imbued with an air of enthusiastic excitement and self-confidence. My intuition is that there’s room for saying something more in support to the embarrassment and puzzlement traditionally related to the predication of God’s onefoldness and threefoldness. My purpose is to deliver a general argument for (weak) trinitarian skepticism. My view is that the argument provides substantive reasons in support to the common (...) sense intuition that either God’s onefoldness and threefoldness aren’t actually compatible or God’s onefoldness and threefoldness aren’t robustly construed. (shrink)

This paper explores the question of whether there can be a right to secede from a liberal state by examining the concept of a liberal state and the different forms of liberalism that may be appealed to in order to justify secession. It argues that where the foundations of the state’s legitimacy are conceived in terms of a non-derivative right to self-determination, then secession from a liberal state may be a justified form of action for different types of groups (...) including ‘illiberal’ ones. If, however, a broader definition of political legitimacy is adopted – one that is predicated upon the liberal notions of individual moral autonomy and equality – then the right to independent statehood will generally not include a right to secede from a state that already upholds these principles. Consequently, liberal theorists of secession are forced to choose between particularizing a right of independent statehood to groups trapped in illiberal states, or acknowledging that the right to secede includes a right to establish an ‘illiberal’ state that bestows upon its citizens unequal rights and entitlements other than a right of exit. (shrink)

his chapter discusses some of the basic tenets of a critical realist social ontology. It defines capitalism, which Roy Jacques conspicuously fails to do. Jacques argues that the very point of explanatory critique is to facilitate useful action. For Geoffrey Hodgson, the epsilon scenario could be described as beyond capitalism. A form of employment contract remains, but it is a mere shell of its former capitalist self. In the work process, the degree of control by the employer over the (...) employee is minimal. Hodgson argues that 'impurity' necessarily characterizes all socioeconomic systems. However, any assessment of feasibility depends crucially upon an adequate theoretical analysis of concrete socio-economic systems. The chapter explains the nature of disaggregative analysis, which is predicated upon a realist ontology. Transcendentally the social world is composed of internal and external social relations; disaggregative analysis enables thought experiments about alternative social arrangements. The chapter addresses the nature of division of labour, knowledge and Hayek. (shrink)

This article examines the various Liar paradoxes and their near kin, Grelling’s paradox and Gödel’s Incompleteness Theorem with its self-referential Gödel sentence. It finds the family of paradoxes to be generated by circular definition–whether of statements, predicates, or sentences–a manoeuvre that generates the fatal disorders of the Liar syndrome: semantic vacuity, semantic incoherence, and predicative catalepsy. Afflicted statements, such as the self-referential Liar statement, fail to be genuine statements. Hence they say nothing, a point that invalidates the reasoning (...) on which the various paradoxes rest. The seeming plausibility of the paradoxes is due to the fact that the same sentence may be used to make both the pseudo-statement and a genuine statement about the pseudo-statement. Hence, if a formal system is to avoid ambiguity and consequent seeming paradox, it requires some sort of disambiguator to distinguish the two statements. Gödel’s Theorem presents a further complication in that the self-reference involved is sentential rather than statemental. Nevertheless, on the intended interpretation of the system as a formalization of arithmetic, the self-referential Gödel sentence can only be an ambiguous statement, one that is both a pseudo-statement and its genuine double. Consequently, the conclusions commonly drawn from Gödel’s theorem must be deemed unwarranted. Arithmetic might well be formalized in a proper system that either excludes circular definition or introduces disambiguators. (shrink)

This paper aims to suggest a new approach to Plato’s theory of being in Republic V and Sophist based on the notion of difference and the being of a copy. To understand Plato’s ontology in these two dialogues we are going to suggest a theory we call Pollachos Esti; a name we took from Aristotle’s pollachos legetai both to remind the similarities of the two structures and to reach a consistent view of Plato’s ontology. Based on this theory, when Plato (...) says that something both is and is not, he is applying difference on being which is interpreted here as saying, borrowing Aristotle’s terminology, 'is is (esti) in different senses'. I hope this paper can show how Pollachos Esti can bring forth not only a new approach to Plato’s ontology in Sophist and Republic but also a different approach to being in general. -/- Keywords Plato; being; difference; image; pollachos esti; pollachos legetai 1. Being, Not-Being and Difference The three dialogues where the notion of "difference" attaches to the notion of being, namely Parmenides II, Sophist and Timaeus,and specifically the first two we try to discuss here. In these dialogues, Plato is going to achieve a new and revolutionary understanding of being which is not anymore based on the notion of "same" as it was before in Greek ontology. It was his discovery, I think, that the notion of being in the Greek ontology is attached to the notion of the "same" and it is because of this attachment that there have always been many problems understanding being especially after Parmenides. That being has always been relying on the "same" can be found out from the way most of the Presocratics understood it. It was based on such a relationship between being and "same" that a later Ionian, Heraclitus of Ephesus, rejected Being by rejecting its sameness: unable to be the same, being cannot be being anymore but becoming. Heraclitus’ criticism of his predecessors’ understanding of being was due to his discovery that what they call being is not the same but different in every moment. The relation of being and sameness reaches to its highest point in Parmenides. What Plato does in using the "difference" is nothing but the establishment of a creative relation between being and "difference". In this new relation, although he is in agreement with Heraclitus that being is not the same but different, he does not do it by use of becoming. He disagrees, on the other hand, with Parmenides that such a relation between being and difference leads to not being. At Parmenides 142b5-6 it is said that if One is, it is not possible for it to be without partaking (μετέχειν) of being (οὐσίας), which leads to the distinction of being and one: -/- So there would be also the being of the one (ἡ οὐσία του̑ ἑνὸς) which is not the same (ταὐτὸν) as the one. Otherwise, it wouldn’t be its being, nor the one would partake of it. (142b7-c1) -/- The fact that what is (ἔστι) signifies (σημαῖνον) is other (ἀλλο) than what One signifies (c4-5), is being taken as a reason for their distinction. The conclusion is that when we say 'one is', we speak of two different things, one partaking of the other (c5-7). Having repeated these arguments of the otherness of being and one at 143a-b, Parmenides says that the cause of this otherness can be neither Being nor One but "difference": -/- So if being is something different (ἕτερον) and one something different (ἕτερον), it is not by being one that the one is different from being nor by its being being that being is other than one, but they are different from each other (ἕτερα ἀλλήλων) by difference (τῷ ἑτερῳ) and otherness (ἄλλῳ). (143b3-6) -/- The fifth hypothesis, 'one is not' (160b5ff.) is also linked with the notion of difference. When we say about two things, largeness and smallness, that they are not, it is clear that we are talking about not being of different (ἕτερον) things (160c2-4). When it is said that something is not, besides the fact that there must be knowledge of that thing, we can say that it entails also its difference: 'difference in kind pertains to it in addition to knowledge' (160d8). Parmenides explains the reason as such: -/- For someone doesn’t speak of the difference in kind of the others when he says that the one is different from the others, but of that thing’s own difference in kind. (160e1-2) -/- Although the theory of being as "difference" is not fulfilled yet, an exact look at what occurs in Sophist can make us sure that this was the launching step for "difference" to get its deserved role in Plato’s ontology. The notion of the "difference" is not yet well-functioned in Parmenides because we can see that being is still attached to the same: -/- For that which is the same is being (ὄν γὰρ ἐστι τὸ ταὐτόν) (162d2-3). -/- The notion of difference in Sophist is the key element based on which a new understanding of being is presented and the problem of not being is somehow resolved. The friends of Forms, the Stranger says, are those who distinguish between being and becoming (248a7-8) and believe that we deal with the latter with our body and through perception while with the former, the real being (ὄντως οὐσίαν) with our soul and through reasoning (a10-11). Being is then bound with the "same" by adding: -/- You say that being always stays the same and in the same state (ἣν ἀεὶ κατὰ ταὐτὰ ὡσαύτως ἔχειν) but becoming varies from one time to another (δὲ ἄλλοτε ἄλλως). (248a12-13) -/- That the theory of the relation of being and capacity (247d8f., 248c4-5) matches more with becoming than with being (248c7-9) must be rejected because being is also the subject of knowledge which is kind of doing something (248d-e). It does, however, confirm that 'both that which changes and also change have to be admitted as existing things (ὄντα) (249b2-3). I believe that this is what Socrates would incline to do at Theaetetus 180e-181a, that is, putting a fight between two parties of Parmenidean being and Heraclitean becoming and then escaping. The solution is that becoming is itself a kind of being and we ought to accept what changes as being. This is what must be done by a philosopher, namely, to refuse both the claim that 'everything is at rest' and that 'being changes in every way' and beg, like a child, for both and say being (τὸὄν) is both the unchanging and that which changes (249c10-d4). This kind of begging for both is obviously under the attack of contradiction (249e-250b). For both and each of rest and change similarly are (250a11-12) but it cannot be said either that both of them change or both of them rest, being must be considered as a third thing both of the rest and change associate with (250b7-10). The conclusion is that 'being is not both change and rest but different (ἕτερον) from them instead' (c3-4). The notion of difference helps Plato to take being departed from both rest and change because it was their sophisticated relation with being that made the opposition of being and becoming. Plato is now trying to separate being from rest and, thus, from "same" by "difference". Such a crucial change is great enough to need a 'fearless' decision (256d5-6). The possibility of being of not being is resulted (d11-12) comes as the answer to the question 'so it’s clear that change is not being and also is being (ἡ κίνησις ὄντως οὐκ ὄν ἐστι καὶ ὄν) since it partakes in being?' (d8-9). It is then by the notion of difference that becoming is considered as that which both is and is not. This coincidence of being and not being about change is apparently similar to Socrates’ paradoxical statement at Republic 477a about what both is and is not. -/- Introduction The Republic 476-477 has always been a matter of controversy mainly about two interwoven points. The first problem is the meaning of being here; that whether what he has in mind is a veridical, existential or propositional sense of being. The second problem is his distinction between the objects of knowledge and opinion which seems to lead, some believe, to the Two Worlds (TW) theory. The crucial point in Republic is that what is considered between knowledge (ἐπιστήμης) and ignorance (α͗γνοιας), namely opinion, must have a different object that leads Socrates to draw the distinction of knowledge and opinion between their objects. The problem of understanding being in the fifth book of the Republic is that when it is said that the Form of F is F but a particular participating in F, both is and is not F, it sounds too bizarre and unacceptable. It cannot be imaginable how a thing can be existent and non-existent at the same time. At the first sight, the only solution seems to be the degrees of existence which is called by Annas (1981, 197) a 'childish fallacy' and a 'silly argument'. Kirwan (1974, 118) thinks that Republic V does not attribute 'any doctrine about existence' to Plato and Kahn (1966, 250) claims that the most fundamental value of einai when used alone (without predicate) is not "to exist" but "to be so", "to be the case" or "to be true". The problems of understanding being in Republic and Sophist besides the difficulties of the existential reading led scholars to the other senses of being, mostly related to the well-known Aristotelian distinctions between different senses of being. In the predicative reading, Annas, for example, refers this difference to the qualified and unqualified application. Whereas the Form of F is unqualifiedly F, a particular instance of F can be F only qualifiedly (1981, 221). Vlastos’ well-known substitution of 'degrees of reality' for 'degrees of being/existence' must be categorized as a predicative reading. Kahn thinks that the basic sense of being for Plato is 'something like propositional structure, involving both predication and truth claims, together with existence for the subject of predication' (2013, 96). Believing that the complete-incomplete distinction terminology is misleading about Plato, he thinks that semantic functions are only second-order uses of the verb and it is the predicative or incomplete function which is fundamental. Suggesting a veridical reading, Fine (2003, 70 ff) thinks that while both existential and predicative readings separate the objects of knowledge and belief, it is only her reading which does not force such separation of the objects and thus does not imply TW. Stokes (1998, 266) thinks that though Fine is right saying that Plato does not endorse TW in book V, she is wrong in rejecting existential in favor of the veridical reading. The reception of existential reading can be seen more obviously in Calvert who thinks, in agreement with Runciman, that 'it would be safer to say that Plato’s gradational ontology is probably not entirely free from degrees of existence' (1970, 46). At Sophist 254d-e Plato singles out five most important kinds (or Forms!?) in which the same (ταὐτὸν) and difference (θάτερον) are regarded besides being, rest and change. They are, therefore, neither the same nor the difference but share in both (b3). Being (τὸ ὄν) cannot be the same also because if they 'do not signify distinct things' both change and rest will have the same label when we say they are (255b11-c1). We have then four distinct kinds, being, change, rest and same, none of them is the other. The case of difference is more complicated. When the stranger wants to assess the relation of being and difference, he can say simply neither that they are distinct nor that they are not. He has to make an important distinction inside being to get able to draw the relation of being and difference: -/- But I think you'll admit that some of the things that are (τῶν ὄντων) are said (λέγεσθαι) by themselves (αὐτὰ καθ’ αὑτά) but some [are said] always referring to (πρὸς) other things (ἄλλα) (255b12-13) -/- The difference is always said referring to other things (τὸδέγ’ ἕτερον ἀεὶ πρὸς ἕτερον) (255d1). It pervades all kinds because each of them should be different from the others and is so due to the difference and not its own nature (253e3f.) After asserting that change is different from being and therefore both is and is not (256d), the difference is described as what makes all the other kinds not be, by making each different from being. Given that all of them are by being, this association of being and difference is the cause of their being and not-being at the same time, the issue that its version at RepublicV made all those controversies we discussed above: -/- So in the case of change and all the kinds, not being necessarily is (Ἔστιν ἄρα ἐξ ἀναγκης τὸ μὴ ὄν). Τhat’s because as applied to all of them, the nature of the difference (ἡ θατέρον φύσις) makes each of them not be by making it different from being. And we’re going to be right if we say that all of them are not in the same way. And conversely [we’re also going to be right if we say] that they are because they partake in being. (Sophist 256d11-e3) -/- Plato’s new construction of five distinct kinds and the role he gives to thedifference among them is aimed to resolve the old problem of understanding being which has always been annoying from the time of Heraclitus and Parmenides. Both the ontological status of becoming and that of not being were, in Plato’s mind, based on the absolute domination of the notion of the Same over being. Now, not only becoming is understandable as being but also not being which is not the contrary of being anymore but only different (ἕτερον) (257b3-4). Though I agree partly with Frede that the account of not being which is needed for false statements is more complicated than just saying, as Cropsey (1995, 101) says, that Plato is substituting 'X is not Y' with 'X is different from Y', I totally disagree with him that when we say X is not beautiful, Plato could not have thought that it is not a matter of its being different from beautiful because 'it would be different from beauty even if it were beautiful by participation in beauty' (1992, 411). Conversely, as we will discuss, it is exactly the relation of the beautiful thing, X, and the beautiful itself, in which X shares that is to be solved by the notion of not being as difference. Though it is beautiful because of sharing in beauty, X is not beautiful because it is different from beautiful itself. What the difference is to do is to show how something can both be and not be the same thing. The difference is what makes one thing both be and not be a certain other thing. This equips the difference with the ability to explain a certain thing’s not-being when it is. Thanks to the notion of difference, it is now possible to explain not only not being but also the simultaneous being and not being of a thing: 'What we call "not-beautiful" is the thing that ἕτερόν ἐστιν from nothing other than του̑ καλου̑ φύσεως' (257d10-11). The result is that not beautiful happens to be (συμβέβηκεν εἶναι) one single thing among kinds of beings (τι τῶν ὄντων τινὸς ἑνὸς γένους) and at the same time set over against one of the beings (πρός τι τῶν ὄντων αὖ πάλιν ἀντιτεθὲν) (257e2-4) and thus be something that happens to be not beautiful (εἶναί τις συμβαίνει τὸ μὴ καλόν); a being set over against being (ὄντος δὴ πρὸς ὄν ἀντίθεσις) (e6-7). Neither the beautiful is more a being (μα̑λλον ... ἐστι τῶν ὄντων) nor not beautiful less (e9-10) and thus both the contraries similarly are (ὁμοίως εἶναι) (258a1). This conclusion, it is emphasized again (a7-9), owes to θατέρου φύσις now turned out as being. Therefore, each of the many things that are of the nature of the difference and set over each other in being (τῆς τοῦ ὄντος πρὸς ἄλληλα ἀντικειμένων ἀντίθεσις) is being as being itself is being (αὐτοῦ τοῦὄν τοςοὐσία ἐστιν) and not less. They are different from, and not the contrary of, each other (a11-b3). This is exactly τὸμὴὄν, the subject of the inquiry (b6-7). Hence, not being has its own nature (b10) and is one εἶδοςamong the many things that are (b9-c3). Such far departing from Parmenides’ ontological principle is done on the basis of the nature of the difference. It was the discovery of such a notion that made the stranger brave enough to say that not being is each part of the nature of the difference that is set over against being (258d7-e3, cf. 260b7-8). That the relation of being and difference is difference is the key element of the new ontology. The difference is, only because of its sharing in being, but it is not that which it shares in but different from it (259a6-8). Not being is exactly based on this difference: ἕτερον δὲ τοῦ ὄντος ὄν ἔστι σαφέστατα ἐξ ἀνάγκης εἶναι μὴ ὄν (a8-b1). 2. Difference and the Being of a Copy We discussed above that the sense of being of particulars in Republic V made so many debates that whether being is there used in an existential sense or not. Particulars in Republic are regarded as images in the allegories of Line and Cave. The being of an image/copy makes, thus, the same problem. Plato’s analogy of original -copy for the relation of Forms and their particulars in Republic has obviously a different attitude to being. The main question is that what is the ontological status of a copy in respect of its original? Are there two kinds of being, 'real being' versus 'being' as Ketchum says (1980, 140) or only one kind? What is the difference of being in an original and its copy? Is it a matter of degrees of being or reality as some commentators have suggested? Is it a matter of being relational? By reducing the ontological issue to an epistemological one, Vlastos’ suggestion of degrees of reality in an article with the same name does neither, I think, pay attention to the problem nor resolve it. He agrees that Plato never speaks of "degrees" or "grades" of reality (1998, 219). What allows him to entitle it as such are some of Plato’s words in Republic as well as Plato’s words in some other dialogues (1998, 219). When Plato states that the Forms only can completely, purely or perfectly be real he means, Vlastos says, they are cognitively reliable (1998, 229); an obvious reduction of the issue to an epistemological one. He thinks that when in Republic we are being said that a particular’s being F is less pure than its Form, it is because it is not exclusively F, but it is and is not F and this being adulterated by contrary characters is the reason of our confused and uncertain understanding of it (1998, 222). Ketchum rightly criticizes Vlastos’ doctrine in its disparting from ontology thinking that 'to understand Plato’s talk of being as talk of reality is to obscure the close relation that exists between "being" and the verb "to be"' (1980, 213). He thinks, therefore, that οὐσία must be understοοd as being rather than reality, τὸὄν as "that which is" and not "that which is real" and … (ibid). His conclusion is that degrees of reality cannot interpret Plato correctly and we must accept degrees of being. Allen believes that a 'purely epistemic' reading of the passage in Republic is patently at odds with Plato’s text (1961, 325). He thinks that not only degrees of reality but also degrees of reality must be maintained (1998, 67). What Cooper suggests gets close to this paper’s solution: -/- Plato does not I think wish to suggest that existence is a matter of degree in the way in which being pleasant or painful is a matter of degree. Rather there are different grades of ontological status. (1986, 241) -/- A more ontological solution for the problem of understanding the being of a copy and its relation with the being of its original is suggested by the theory of copy as a relational entity. Based on this interpretation, 'the very being of a reflection is relational, wholly dependent upon what is other than itself: the original…' (Allen, 1998, 62). As relational entities, particulars have no independent ontological status; they are purely relational entities which derive their whole character and existence from Forms (ibid, 67). Although these relational entities are and have a kind of existence, we must also say that 'they do not have existence in the way that Forms, things which are fully real, do' (ibid). Allen (1961, 331) extends his theory to Phaedo where it is said that particulars are deficient (74d5-7, 75a2-3, 75b4-8), 'wish' to be like (74d10) or desire to be of its nature (75a2); an extension that, like F.C. white (1977, 200), I cannot admit. He correctly states that Plato did not start out with a doctrine of particulars as images and semblances but come to such a view after Phaedo, or perhaps after Republic V (1977, 202). Though we may not agree with him about Republic V, if we have to consider its last pages also, we must agree with him that not only the ontology of Phaedo but also that of Republic II-V (except the last pages of the latter book) are somehow different from (but at the same time appealing to) the ontology of original-copy which should exclusively assign to Sophist, Timaeus and RepublicVI-VII besides the last pages of book V. The answer to the problem of Plato’s sense of being in RepublicV can be reached only if we read Republic V based on and as following Sophist. We can find out his meaning of that which both is and is not only by the ontological status he assigns to a copy in Sophist. The kind of being of a copy in Sophist reveals as Plato’s key for the lock of the problem of not being. Let’s see how the ontological status of a copy is the critical point of Plato’s ontology. In the earlier pages of Sophist, we are still in the same situation about not being. To think that that which is not is is called a rash assumption (237a3-4) and Parmenides’ principle of the impossibility of being of not being is still at work (a8-9). At 237c1-4, the problem of "not being" is noticed in a new way which shows some kinds of a more realistic position to the problem of not being. Nevertheless, not being is still unthinkable, unsayable, unutterable and unformulable in speech (238c10). Soon after mentioning that it is difficult even to refuse not being (238d), the solution to the problem appears: the being of a copy (εἴδωλον) (239d). A copy is, says Theaetetus, something that is made referring to a true thing (πρὸς τἀληθινὸν) but still is 'another such thing (ἕτεροντοιου̑τον)' (240a8). Nevertheless, this 'another such thing' cannot be another such real or true thing. In answer to the question of the Stranger that if this 'another such thing' is the true thing (240a9), Theaetetus answers: οὐδαμῶς ἀληθινόν γε, ἀλλ’ ἐοικὸςμὲν (240b2). A copy’s being 'another such thing' does not mean another true thing but only a resemblance of it. Not only is not a copy another true thing besides the original, but it is the opposite of the true thing (b5) because only its original is the thing genuinely and being a copy is being the thing only untruly. The word ἐοικὸς is opposed to ὄντως ὄν in the next line (240b7): 'So you are saying that that which is like (ἐοικὸς) is not really that which is (οὐκ ὄντως [οὐκ] ὄν)'. But still a copy 'is in a way (ἔστι γε μήν πως)' (b9). While it is not really what it is its resemblance, it has its own being and reality because it really is a likeness (εἰκων ὄντως) (b11). The Stranger asks: -/- So it is not really what is (οὐκ ὄν ἄρα [οὐκ] ὄντως ἐστὶν) but it really is what we call a likeness (ὄντως ἣν λέγομεν εἰκόνα)? (b12-13) -/- This is Plato’s innovative ontological solution to the problem of not being. Theaetetus’ answer confirms this: 'Maybe that which is not is woven together with that which is' (c1-2). Therefore, a copy neither is what really is nor is not-being but only is what in a way is. Thanks to the ontological status of a copy, the third status intermediate between being and not being is brought forth. The essence of an image, in Kohnke’s words, does not consist 'solely in the negation of what is genuine and has real being' because otherwise 'it would be an ὄντως οὐκ ὄν,essentially and really a not being' (1957, 37). The characteristics of a copy can be summed up as folows: i) A copy is a copy by referring to a true thing (πρὸς τἀληθινὸν). ii) A copy is different from that of which it is a copy (ἕτερον). iii) A copy is not itself a true thing (ἀληθινόν) as that of which it is a copy but only that which is like it (ἐοικὸς). iv) It is not really that which really is (ὄντως ὄν) but only really a likeness (εἰκων ὄντως). The conclusion is that: v) A copy in a way (πως) is that means it both is and in not, the product of interweaving being with not being. This leads to the refutation of father Parmenides’ principle, accepting that 'that which is not somehow is (τό τε μὴ ὄν ὡς ἔστι)' and 'that which is, somehow is not (τό ὄν ὡς οὐκ ἔστι) (241d5-7). Besides copies and likenesses (εἰκόνων), we have also imitations (μιμημάτων) and appearances (φαντασμάτων) as the subjects of this new kind of being and thus false belief (241e3). In Timaeus, the world of becoming which cannot correctly be called and thus we have to call it "what is such" (τὸ τοιου̑τον) (49e5) or "what is altogether such" (τὸ διἀ παντὸς τοιου̑τον) (e6-7), consists solely of imitations (μιμημάτα) (50c5) which are identifiable only by the things that they are their imitations. The word τοιου̑τον which had been used to determine the situation of a copy in respect of its original, now becomes the definition of the world of becoming in which everything is an image of another thing, a Being, that stays always the same and is different and separated from its image. Cherniss, in my view rightly, draws attention to the very important point about the ontological status of an image that can at the same time be considered a criticism of the relational theory. What we are being said in Timaeus, he thinks,cannot be explained by saying that an image is not self-related and making its being relational. What is crucial about an image is that it 'stands for something, refers to something, means something and this meaning the image has not independently as its own but only in reference to something else apart from it' (1998, 296). This function finds its best explanation in the theory we are to suggest in the following. 3. πολλαχῶς ἔστι The best way to understand the ontological status of an image in Plato is to see first how his most clever pupil, Aristotle, resolved the same problem that Plato brought his theory of image for its sake. Aristotle’s theory of pollachos legetai is a brilliant and, at the same time, deviated version of Plato’s theory that is able, however, to help us read Plato in a better way. We discuss Aristotle’s theory to reach to a full understanding of Plato’s theory because it is, firstly, constructed in Aristotle in a more clear way and, secondly, it can also be taken as an evidence that our reading of Plato is legitimate. The phrase τὸ ὄν πολλαχῶς λέγεται, a so much repeated phrase in Aristotle’s works, is his resolution for some of the ontological problems of his predecessors all treating being as if it has only one sense. Aristotle is right in his criticism of the philosophical tradition specially Heraclitus, Parmenides and Plato since all did presuppose only one sense for being and his theory is, thus, a creative and revolutionary solution for many problems that all the past philosophers were stuck in. But it is at the same time somehow a borrowed theory. As we will discuss, both the structure of the doctrine and the problems it tries to resolve are the same as Plato’s doctrine (and even is comparable in its phraseology) though it is in Aristotle, as can be expected, a more clear and better structured doctrine. 1) Associated with the theory of pros hen and the theory of substance, the theory of several senses of being provides a structure which, I insist, is the best guide to understand Plato’s theory of Being in Sophist, Timeaus and Republic. a) Although the theory of pollachos legetai is not necessarily based on the theory of pros hen, they become tightly interdependent about being: -/- Being is said in many ways/senses (τὸ δὲ ὄν λέγεται μὲν πολλαχῶς) but by reference to one (πρὸς ἕν) [way/sense] and one kind of nature (μίαν τινὰ φύσιν). (Metaphysics 1003a33-34) -/- The doctrine of pros hen which is Aristotle’s initiative third alternative besides the homonymous and synonymous application of words, is primarily a linguistic theory that tries to provide a new theory to explain the different implementations of the same word. The pros hen implementation of being is to provide an alternative for the theory of the synonymous (in Plato: homonymous) implementation of being which says being is said in one sense (kath hen) (1060b 32-33). That both the pros hen and the kath hen implementation of a word has one thing (hen) as what is common, makes them in opposition to the homonymous implementation which does not consider anything in common. Whereas both pros hen and kath hen assume a common nature, with which all the implementations of the word have some kind of relation, their difference is that while kath hen takes all the implementations of the word as the same with the common nature, pros hen makes them different. Substance is called πρῶτον ὄν because it is said to be primarily: -/- For as is (τὸ ἔστιν) is predicated of all things, not however in the same way (οὐχ ὁμοίως) but of one sort of thing primarily and of others in a secondary way. So too τὸτί ἐστιν belongs simply (ἁπλῶς) to substance but in a limited sense (πῶς) to the others [other categories] (1030a21-23). -/- The word ἁπλῶς standing against κατὰ συμβεβηκός tries to make substance different from the accidents. When we are being said that τὸ ὄν πολλαχῶς λέγεται, it means that only the substance that is simply (ἁπλῶς) the ἕν, the common nature, τὸὄν. When we use the word 'being' about a substance, the being is said differently from when we use 'being' about an accident. The distinction between the substance and the other categories is a distinction between what simply is said to be and what only with reference to (pros) the substance is said to be. The doctrine of pros hen, changing kath hen to pros hen in respect of to on, makes a distinction that wants to show that while there is a kind of implementing the word being that is simply being, there is another kind which is called being only by reference to that which is simply being. In the doctrine of pros hen it is not so that all the things that are said to be are only by reference to a common one thing, but that while one thing is called being because it is that thing itself, the other things are called so without being that thing itself but only by referring to it. At the very beginning of book Γ, it is said that: -/- Being is said in many senses but all refer to one arche. Some things are said to be because they are substances, others because they are affections of substances, others because they are a process towards substances or destructions or privations or qualities of substances … (1003b5-9, cf. 1028a18-20) -/- Substance is what really is said to be and all other things that are said to be are said only in favor of it. This difference of substance from all other senses of being is what is, I believe, primarily aimed in Aristotle’s interrelated theories of pollachos legetai,pros hen and the theory of substance. b) The difference of the implementation of being in the case of substance and the accidents goes so deep that while substance is considered as the real being, the accidents are almost not being. An accident is a mere name (Metaphysics 1026b13-14) and is obviously akin to not being (b21). Aristotle adds that Plato was 'in a sense not wrong' saying that sophists deal with not being (τὸ μὴ ὄν) because the arguments of sophists are, above all, about the accidental (1026b13-16). At the beginning of book , he says about quality and quantity (which look to be more of a being than other accidents) that they are not existent (οὐδ̕ ὄντα ὡς εἰπεῖν) in an unqualified sense (ἁπλῶς) (1069a21-22). The two above-mentioned points, Aristotle’s (a) interwoven theories of pollachos legetai, pros hen and the theory of substance and (b) taking accidents almost as not being, comparedwith substance, brings forth a structure that I shall call Pollachos Legetai (with capital first letters). What is of the highest importance in this structure for me is the difference of substance from accidents and the kind of relation which is settled between them. There is a substance that without any qualification is said to be and the accidents that are said to be only by reference (pros) to it. Adding Aristotle’s point about accidents that they are nearly not being to this relation and difference, we can obviously see how much this structure is close to Plato’s original-copy ontology. We spoke of the relation of being and difference in Plato’s model and the way Plato construes the being of a copy. A copy is a copy only by referring to (pros) a model; it is different from (ἕτερον) that of which it is a copy; it is not itself a true thing as its model and not really that which is (ὄντως ὄν) but only is in a way (πῶς). If we behold the difference of substance and accident in the context of the theory of pollachos legetai and pros hen, we can observe its fundamental similarity with Plato’s original-copy theory in its structure. Allen draws attention to the fact that the relation between Forms and particulars in Plato’s original-copy model is 'something intermediate between univocity and full equivocity' (1998, 70, n. 24) and the same as what Aristotle calls it pros hen (ibid). What made us compare the two structures was not, of course, the complete similarity of two structures (we have to agree with many possible differences of the two theories) but exactly the specific relation between an original and its copy on the one hand, and a substance and its accident on the other hand. As substance and accident do not share a common character and the substance -accident model hints that they stand in a certain relation, there is no common character between the original and copy in Plato’s model as well. Furthermore, their similarity is not confined to their structure only; they are also aimed to solve the same problem. The central point of the theory is that all the predecessors took being in one sense and this was their weakness point. Besides the mentioned above passages about the relation of pollachos legetai and presocratics’, as well as Plato’s, ontology, the relation of the theory with the problem of not being is clear in several passages. In Metaphysics, it is said: 'Being is then said in many senses… It is for this reason that we say even of not being that it is not being' (1003b5-10). Discussing the accidental sense of being, Aristotle points that it is in the accidental way that we say, for example, that not-white is because that of which it is an accident is (1017a18-19, cf. 1069a22-24). We mentioned that he thought Plato was right saying that sophistic deals with not being because sophistic deals with accidental, which is somehow not being (1026b14-16). Plato turned sophistic not-being to what both is and is not and Aristotle to what accidentally is said to be. What helps Aristotle to resolve the problem of not being is his distinction between ἁπλῶς and κατὰ σθμβεβηκός. Aristotle’s "qua" (ᾕ) which is directly linked with his distinction between καθ’ αὑτο λέγεται and κατὰ συμβεβηκός λέγεται, is used to resolve the old problem of coming to be out of not being (Physics 191b4-10). He strictly asserts that his predecessors could not solve the problem because they failed to observe the distinction of "qua itself" from "qua another thing" (b10-13). He then continues: -/- We ourselves are in agreement with them in holding that nothing can be said simply (ἁπλως) to come from not being (μὴὄντος). But nevertheless we maintain that a thing may come to be from not being in an accidental way (κατὰ συμβεβηκός). For from privation which ὅ ἐστι καθ’ αὑτο μὴ ὄν, nothing can become. (Phy. 191b13-16, cf. b19-25) . (shrink)

The book is devoted to the contemporary stage of quantum mechanics – quantum information, and especially to its philosophical interpretation and comprehension: the first one of a series monographs about the philosophy of quantum information. The second will consider Be l l ’ s inequalities, their modified variants and similar to them relations. The beginning of quantum information was in the thirties of the last century. Its speed development has started over the last two decades. The main phenomenon is entanglement. (...) The subareas are quantum computer, quantum communication (and teleportation), and quantum cryptography. The book offers the following main conceptions, theses and hypotheses: – dualistic Phythagoreanism as a new kind among the interpretations of quantum mechanics and information: arithmetical, logical, and metamathematical one; – Gödel ’ s first incompleteness theorem is an undecidable proposition, and consequently the second one,too. – a partial rehabilitation of Hilbert ’ s program for the self-foundation of mathematics; – the dual-foundation of mathematics; – Skolemian relativity between: Cantor ’s kinds of infinity, finiteness and infinity, discreteness and continuity, completeness and incompleteness, etc.; – information is a physical quantity representing the non-reducibility of a system to its parts, particularly nonaddtivity; – there exist pure relations «by itself», which cannot be reduced to predications; – energy conservation can and should be generalized; – Einstein’ s «general covariance» or «principle of relativity» can and should be generalized to cover discrete morphisms where the notion of velocity does not make sense. (shrink)