Aristotle analyses a large range of objects as composites of matter and form. But how exactly should we understand the relation between the matter and form of a composite? Some commentators have argued that forms themselves are somehow material, that is, forms are impure. Others have denied that claim and argued for the purity of forms. In this paper, I develop a new purist interpretation of Metaphysics Z.10-11, a text central to the debate, which I call 'hierarchical purism'. I (...) argue that hierarchical purism can overcome the difficulties faced by previous versions of purism as well as by impurism. Roughly, on hierarchical purism, each composite can be considered and defined in two different ways: From the perspective of metaphysics, composites are considered only insofar as they have forms and defined purely formally. From the perspective of physics, composites are considered insofar as they have forms and matter and defined with reference to both. Moreover, while the metaphysical definition is a definition in the strict sense of 'definition', the physical definition is a definition in a loose sense. Analogous points hold for intelligible composites and geometry. Finally, neither sort of definitional practice implies that, for Aristotle, forms are impure. (shrink)

In the following pages, the reader will find a detailed study of what Aristotle considered the most difficult aporia formulated in Metaphysics III (Beta), which is answered in chapter 2 of Book X (Iota): the Eleventh Aporia. In such aporia, Aristotle rivals: (i) the conception assumed by the ancient Physiologoi, which takes the One to be an underlying nature whose being is not exhausted by being One, and (ii) the Platonic-Pythagorean view, which prefers to conceive the One in (...) itself, according to its own determinations and apart from any connection with some reality outside it. (shrink)

This paper pulls together three debates fundamental in metaphysics and proposes a novel unified approach to them. The three debates are (i) between bundle theory and substrate theory about the nature of objects, (ii) dispositionalism and categoricalism about the nature of properties, and (iii) regularity theory and production theory about the nature of causation. The first part of the paper (§§2-4) suggests that although these debates are metaphysical, the considerations motivating the competing approaches in each debate tend to be (...) epistemological. The second part (§§5-6) argues that the two underlying epistemological pictures supporting competing views lead to highly unsatisfying conceptions of the world. The final part (§§7-10) proposes an alternative epistemological picture, which I call ‘introverted empiricism,’ and presents the way it provides for a more satisfying grasp of the ultimate nature of objects, properties, and causation. It is a consequence of this alternative picture that there is a kind of intimate self-understanding that underlies our understanding of the deep nature of reality. (shrink)

In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance Hale (...) and Wright 1992 and 1994; Wright 1983 and 1988; Schiffer 1996; Resnik 1997; Shapiro 1997 and Zalta 1988) while mathematical nominalists, usually in the form of fictionalists, hold that necessarily such objects fail to exist (see for instance Balaguer 1996 and 1998; Rosen 2001 and Yablo 2005). In metaphysics more generally, until recently it was more or less assumed that whatever the right account of composition—the account of under what conditions some xs compose a y—that account will be necessarily true (for a discussion of theories of composition see Simons 1987 and van Inwagen 1987 and 1990; the modal status of the composition relation is explicitly addressed in Schaffer 2007; Parsons 2006 and Cameron 2007). Similarly, it has generally been assumed that whatever the right account is of the nature of properties, whether they be universals, tropes, or whether nominalism is true, that account will be necessarily true (though see Rosen 2006 for a recent suggestion to the contrary). In considering theories of persistence it has been widely held that whether objects endure or perdure through time is a matter of necessity (Sider 2001; though see Lewis 1999 p227 who defends contingent perdurantism). And with respect to theories of time it is frequently held that whichever of the A- or B-theory is true is necessarily true. A-theorists often argue that there is time in a world only if the A-theory is true at that world (see for instance McTaggart 1903; Markosian 2004; Bigelow 1996; Craig 2001) while B-theorists often argue that the A-theory is internally inconsistent (Smart 1987; Mellor 1998; Savitt 2000 and Le Poidevin 1991). Once again, we find a few recent contingentist dissenters. Bourne (2006) suggests that it is a contingent feature of time that it is tensed, and thus that the A-theory is contingently true. Worlds in which there exist only B-theoretic properties are worlds with time, it is just that time in those worlds time is radically different to the way it is actually. Other defenders of the B-theory, though not expressly contingentists, do offer arguments against versions of the A-theory that try to show that such A-theories theories are inconsistent with the actual laws of nature (see for instance Saunders 2002 and Callender 2000); these arguments, at least, leave room for the possibility that the A-theories in question are contingently false (at least on the assumption that the laws of nature are themselves contingent, an assumption that not everyone accepts). Despite some notable exceptions, necessitarianism has flourished in many, if not most, domains in metaphysics. One such exception is Lewis’ famous defence of Humean supervenience as a contingent claim about our world. Lewis does not argue that necessarily, the supervenience base for all matters of fact in a world is nothing but a vast mosaic of local matters of particular fact. Rather, he thinks that we have reason to think that our world is one in which Humean supervenience holds (see Lewis 1986 p9-10 and 1994). Another exception to the necessitarian orthodoxy is to be found in the lively debate about the modal status of the laws of nature. Here, if anything, contingentism has been the dominating force, with it generally being held that there are possible worlds in which different laws of nature hold (this view is defended by, among others, Lewis 1986 and 2010; Schaffer 2005 and Sidelle 2002). Necessitarian dissenters hold that the laws of nature are necessary, frequently because they think it is necessary that fundamental properties have the causal or nomic profiles they do (see for instance Shoemaker 1980 and 1988; Swoyer 1982; Bird 1995; Ellis and Lierse 1994). Nevertheless, when it comes to thinking about the nature of the laws themselves, the necessitarian presumption is back on firm footing. Though there is disagreement about whether the laws are generalisations that feature in the most virtuous true axiomatisation of all the particular matters of fact (often known as the Humean view of laws and defended by Ramsey 1978; Lewis 1986 and Beebee 2000) or whether laws are relations of necessity that hold between universals (a view defended by Armstrong 1983; Dretske 1977; Tooley 1977 and Carroll 1990) no one has seriously suggested that it might be a contingent matter which of these is the right account of laws. The necessitarian orthodoxy is not surprising since metaphysics is largely an a priori process. While a priori reasoning may be used to determine whether a proposition is necessary or contingent, it is not well placed (in the absence of a posteriori evidence) to determine whether a contingent proposition is actually true or false. Since metaphysicians aim to tell us which principles are true in which worlds, on the face of it the discovery that metaphysical principles are contingent seems to make part of the task of metaphysics epistemically intractable. In what follows I consider two reasons one might end up embracing contingentism and whether this would lead one into epistemic difficulty. The following section considers a route to contingent metaphysical truths that proceeds via a combination of conceptual necessities and empirical discoveries. Section 3 considers whether there might be synthetic contingent metaphysical truths, and the final section raises the question of whether if there were such truths we would be well placed to come to know them. (shrink)

Locke’s metaphysical commitments are a matter of some controversy. Further controversy attends the issue of whether and how Locke adapts his views in order to accommodate the success of Newton’s Principia. The chapter lays out an interpretation of Locke’s commitments according to which Locke’s response to Newton on gravity does not require the positing of brute powers and is consistent with his core essentialism. The chapter raises the question of how the hypothesis concerning the creation of matter, alluded to at (...) 4.10.18, fits with these commitments. The chapter concludes that the De grav hypothesis would represent a significant revision to the background metaphysical picture of the Essay, but that nevertheless its attractions to Locke are intelligible and illuminating. (shrink)

The handout of my talk at the Nordic Network in Metaphysics webinar on Friday 2/10/2020.

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Newton's Metaphysics: Essays by Eric SchliesserMarius StanEric Schliesser. Newton's Metaphysics: Essays. Oxford: Oxford University Press, 2021. Pp. 328. Hardback, $99.90.Newton owes his high regard to the quantitative science he left us, but his overall picture of the world had some robustly metaphysical threads woven in as well. Posthumous judgment about the value of these threads has varied wildly. Christian Wolff thought him a metaphysical rustic, as (...) did Hans Reichenbach some two centuries later ("Die Bewegungslehre bei Newton, Leibniz und Huygens," Kant-Studien 29 [1924]: 416–38). In the 1960s, the tide would turn, as Howard Stein and James Edward McGuire separately began to show that Newton's metaphysics was not just sophisticated, but often more compelling than its early modern alternatives (see respectively "Newtonian Spacetime," Texas Quarterly 10 [1967]: 174–200; and Tradition and Innovation: Newton's Metaphysics of Nature [Dordrecht: Kluwer Academic Publishers, 1995]). Eric Schliesser's book unfolds in that same register of appreciative, high scholarship, and it attests to the enduring attraction of its subject.The book grew out of previous discrete papers, to which he added a few more for this occasion. Accordingly, it does not come with a master argument. Rather, it is an in-depth exploration of some key metaphysical themes in Newton. As such, it befits its subject figure, who reflected on themes and concepts while stopping short of working out systems.The first major theme is Newton and Spinozism. The latter does not denote Spinoza's metaphysics. In fact, Schliesser explains, Newton shared with Spinoza some weighty commitments, for example, to space being actually infinite, and to substance monism: "for Newton, there is strictly speaking only one genuine substance," namely, God (33). Rather, "Spinozism" is an interpreter's category for a bundle of three theses: identifying God and nature; denying final causation in the physical world; and the assumption of "blind" metaphysical necessity. Some counted Hobbes and John Toland as Spinozist in this sense, and even Epicurus, avant la lettre. Newton and his followers argued vehemently against this package, as Schliesser shows in chapters 4, 5, and 8. Their chief complaint was that Spinozism is unable to account for the "origin of motion," for a certain type of order, and for the stability of cosmological structure—and to do so in a way that "meets the standards of Newtonian mechanics" (122). This interpretive lens allows Schliesser to draw Kant in, by reading his youthful Theory of Heaven as a possible Spinozist reply to their objections (chapter 3). [End Page 157]A second theme is the metaphysics of mechanics, where Schliesser weaves together several strands. One is the ontology of gravity, for which he offers a novel construal: for Newton, gravity counts as real, but in a qualified sense. Namely, it is not essential and not intrinsic: "even after creation, a lonely partless particle of matter in the universe would not be said to gravitate." And gravity is relational: a "shared quality" of two or more bits of matter, which obtains in virtue of their sharing a nature (19). Another strand is Newton's ontology of time—really, a subtle, difficult topic long neglected. Famously, Newton in Principia defends absolute, true, and mathematical time. The question is what these three qualifiers denote, and whether Newton thought they were synonymous. Schliesser in chapter 7 argues for the provocative view that "absolute" and "true" time are not identical concepts; rather, they pick out different entities. These entities share a common structure, namely, metric and topological. That makes them species of "mathematical" time (179). But, Schliesser contends, Newton has unequal warrant for his two concepts of time.Yet another theme is formal causation. It comes to the fore in chapter 5, which grapples with Newton's opaque idea that space is an "emanative effect." Schliesser explains that here, "emanation picks out a species of formal causation" (147), but in a novel, early modern sense that comes from Bacon, not Aristotle. If space has a formal cause, then so has its twin brother, time, the topic of chapter 7. God is their common formal cause. Then in chapter 6 (coauthored with Zvi Biener) Schliesser adds that, for Newton, laws... (shrink)

Regarding the relation of Plato’s early and middle period dialogues, scholars have been divided to two opposing groups: unitarists and developmentalists. While developmentalists try to prove that there are some noticeable and even fundamental differences between Plato’s early and middle period dialogues, the unitarists assert that there is no essential difference in there. The main goal of this article is to suggest that some of Plato’s ontological as well as epistemological principles change, both radically and fundamentally, between the early and (...) middle period dialogues. Though this is a kind of strengthening the developmentalistic approach corresponding the relation of the early and middle period dialogues, based on the fact that what is to be proved here is a essential development in Plato’ ontology and his epistemology, by expanding the grounds of development to the ontological and epistemological principles, it hints to a more profound development. The fact that the bipolar and split knowledge and being of the early period dialogues give way to the tripartite and bound knowledge and benig of the middle period dialogues indicates the development of the notions of being and knowledge in Plato’s philosophy before the dialogues of the middle period. -/- Keywords Plato; early dialogues; middle dialogues; being; knowledge; development -/- Introduction The differences between two groups of the early and middle period dialogues have always been a matter of dispute. Whereas the developmentalists like Vlastos, Silverman (2002), Teloh (1981), Dancy (2004) and Rickless (2007) think that from the early to the middle dialogues Plato’s philosophy changes, at least in some essential points, the unitarists like Kahn, Cherniss and Shorey believe that there happens no development and the differences must be taken as natural, ignorable and even pedagogic. In his well-known article, Socrates contra Socrates in PLATO, Vlastos lists ten theses of difference between two groups of dialogues. The first group which includes Plato’s early dialogues he divides to 'elenctic' (Apology, Charmides, Crito, Euthyphro, Gorgias, Hippias Minor, Ion, Laches, Protagoras and Republic I) and 'transitional' (Euthydemus, Hippias Major, Lysis, Menexenus and Meno) dialogues. These transitional come after all the elenctic dialogues and before all the dialogues of the second group which compose Plato’s middle period dialogues, including (with Vlastos' chronological order) Cratylus, Phaedo, Symposium, Republic II-X, Phaedrus, Parmenides and Theaetetus (1991, 46-49). Vlastos asserts strictly that his list of differences are 'so diverse in content and method that they contrast as sharply with one another as with any third philosophy you care to mention, beginning with Aristotole’s' (ibid, 46). Vlastos’ list of differences between two Socrateses is considered a view breaking sharply between the early and the middle dialogues. Besides all ten differences between the two Socrateses in Vlastos’ list that can be supportive for our doctrine here, we intend to focus on some ontological as well as epistemological distinctions that have not completely been discussed hitherto. Contrary to the developmentalist theory of Vlastos, unitarian theory of Charles Kahn wishes to eliminate any substantial difference between the early and the middle dialogues. He distinguishes seven 'pre-middle' or 'threshold' dialogues including Laches, Charmides, Euthyphro, Protagoras, Meno, Lysis and Euthydemus from the other Socratic dialogues which he calls 'earliest group' (1996, 41). The threshold dialogues, Kahn thinks, 'embarke upon a sustained project' that is to reach to its climax in the middle period dialogues, namely Phaedo, Symposium and Republic. Believing in that there is no 'fundamental shift'between the early and middle dialogues (ibid, 40), Kahn thinks the Socratic dialogues are just the 'first stage' with a 'deliberate silence' towards the theories of later periods (ibid, 339). One of the reasons of the surprising fact that Plato gives no hint of the metaphysics and epistemology of the Forms in the early dialogues, he thinks, is the pedagogical advantages of aporia. He thinks that Plato 'obscurely', and mostly because of education, hinted to some doctrines and conceptions in his early dialogues and with the aim of clarifying them only in the later ones (ibid, 66). The seven threshold dialogues, Kahn asserts, 'had been designed from the first' to prepare the pupils and readers for the views expounded in the middle period dialogues (ibid, 59-60). To show that the differences of the two Socrateses of the early and middle period dialogue are in their onto-epistemological grounds and thence cannot be explained by a unitaristic view, we try to draw the ontological and epistemological principles of the early dialogues in the first part below in order to show, in the second part, that those principles have been developed in the middle period dialogues. -/- A. The Onto-Epistemologic Principles of the Early Dialogues Socratic dialogues are paradoxical about knowledge because while being knowledge-oriented always searching for knowledge, they deny it and even never discuss it directly. Three elements of Socrates’ way of searching Knowledge throughout the early dialogues, i.e. Socratic 'what is X?' question, his disavowal of knowledge and his elenctic method combined together produce something like a circle which works, more or less, in the same way in these dialogues. Though this circle is an embaressing inquiry always resulting in ignorance instead of knowledge, its motivation is surprisingly Socrates’ passionate enthusiasm for knowledge, an intensive love of wisdom. The starting point of this circle is Socrates’ confession of having no knowledge which might be explicitly asserted or presupposed, maybe because it was one of the famous characteristics of Socrates; a confession always paradoxically accompanied with his intense longing for knowledge (e.g., Gorgias 505e4-5). Every time Socrates encounters with someone who thinks he knows something (οἴεταί τι εἰδέναι) (Apology 21d5) and tries to examine him. This examination seems to be the simplest one asking just what it is that he knows. Socrates’ elenchus, therefore, is always connected with 'what is X?' (τίς ποτέ ἐστιν) question, a question that most of the early dialogues of Plato are concerned with; 'what is courage?' in the Laches, 'what is piety?' in Euthydemus, 'what is temperance?' in Charmides and 'what is beauty?' in Hippias Major. This question we call here 'Socratic question' and probably is the very question the historical Socrates used to employ, is tightly interrelated with both his disavowal and his elenchus. He disclaims knowledge because he cannot find the answer to the question himself and he rejects others’ since they cannot offer the correct answer too. Every interlocutor can claim he knows X, if and only if he can answer the Socratic question. Otherwise, he is more of an ignorant than of a knower of τί ποτέ ἐστι X. Knowing the answer to this question is, thus, knowledge’s criterion for Socrates. Having found out that he cannot answer what it is which he would claim to know, the interlocutor comes to the point Socrates was there at the beginning. The least advantage of this circle is that he becomes as wise as Socrates does about the subject, becoming aware that he does not know it. At the end of the circle they are both still at the beginning, not knowing what X is. So let us first take a glance at these three elements. Socratic disavowal of knowledge is strictly asserted in some passages. At Apology 21b4-5, Socrates says: -/- I do not know of myself being wise at all (οὔτε μέγα οὔτε σμικρὸν σύνοιδα ἐμαυτῷ σοφὸς ὤν) -/- Moreover, at 21d4-6: -/- None of us knows anything worthwhile (καλὸν κἀγαθὸν εἰδέναι) …. I do not know (οἶδα) neither do I think I know. -/- In Charmides Socrates speaks about a fear about his probable mistake of thinking that he knows (εἰδέναι) something when he does not (166d1-2). The somehow generalization of this disavowal can be seen in Gorgias. After calling his disavowal 'an account that is always the same' (509a4-5), Socrates continues (a5-7): -/- I say that I do not know (οἶδα) how these things are, but no one I have ever met, like now, who can say anything else without being absurd. -/- At the end of Hippias Major (304d7-8), Socrates affirms his disavowal of knowledge of 'what is X?' this time about the fine: -/- I do not know (οἶδα) what that is itself (αὐτὸ τοῦτο ὅτι ποτέ ἐστιν). Some other passages, however, made a number of scholars dubious about Socrates’ disavowal. Vlastos mentions Apology 29b6-7 as an evidence : 'that to do wrong and to disobey one’s master, both god and men, I know (οἶδα) to be evil and shameful'. He thinks that if we give this single text 'its full weight' it can suffice to show that Socrates does claim knowledge of a moral truth (1985, 7). Vlastos’ claim is not admittable since it would be too strange, I think, for a man like Socrates to violate his disavowal claim just after emphasizing it. We can see his claim just before the already mentioned passage: -/- And surely it is the most blameworthy ignorance to believe that one knows what one does not know. It is perhaps on this point and in this respect, gentlemen, that I differ from the majority of men and if I were to claim that I am wiser than anyone in anything it world be in this, that, as I have no adequate knowledge (οὐκ εἰδὼς ἱκανῶς) of things in the underworld, so I do not think I have (οὐκ εἰδέναι) (Apology 29b1-6) Vlastos tries to solve what he calls the 'paradox' of Socrates’ disavowal of knowledge distinguishing the 'certain' knowledge from 'elenctic' knowledge (1985, 11) and thinking that when Socrates avows knowledge, we must perceive it as an elenctic knowledge, a knowledge its content 'must be propositions he thinks elenctically justifiable' (ibid, 18). Irwin’s solution is the distinction of knowledge and belief. He approves that Socrates does not 'explicitly' make such a distinction, but still thinks that Socrates’ 'test for knowledge would make it reasonable for him to recognize true belief without knowledge, and his own claims are easily understood if they are claims to true belief alone' (1977, 40). While I agree with Vlastos up to a point, I strongly disagree with Irwin about the early dialogues. As I will try to show below, we are not permitted to consider any kind of distinction within knowledge in Socratic dialogues because only one category of knowledge is alluded to there and the distinction of knowledge and belief thoroughly belongs to the second Sorcates. Although no kind of distinction can be admittable here, I think Vlastos’ distinction can be accepted only if we regard it as a distinction between knowledge, which is unique and without any, even incomparable, rival, and a semi-idiomatic and ordinary one that is a necessary requirement for any argument, and thus, unavoidable even for someone who does not claim any kind of knowledge. An apparent evidence of this is Gorgias 505e6-506a4: -/- I go through the discussion as I think it is (ὡς ἄν μοι δοκῇ ἔχειν), if any of you do not agree with admissions I am making to myself, you must object and refute me. For I do not say what I say as I know (οὐδὲ γάρ τοι ἔγωγε εἰδὼς λέγω ἃ λέγω) but as searching jointly with you (ζητῶ κοινῇ μεθ᾽ ὑμῶν). -/- The minimal degree of knowledge everyone must have to take part in an argument, conduct it and use the phrase "I know" when it is necessary is what Socrates cannot deny. We can call it elenctic knowledge only if we agree that it is not the kind of knowledge that Socrates has always been searching, the one that can be accepted as the answer of Socratic 'what is X?' question. His disavowal of knowledge is applied only to the knowledge which can truly be the answer of Socratic question and pass the elenctic exam; a knowledge that, I believe, is never claimed by first Socrates. Socrates conducts his method of examining his interlocutors’ knowledge, our second element here, by almost the same method repeated in Socratic dialogues. That whether we are allowed to regard all the examinations of Socrates in the early dialogues as based on the same or not has been a matter of dispute. Vlastos himself (1994, 31) distinguished Euthydemas, Lysis, Menexenns and Hippias Major from the other Socratic dialogues because he thinks Socrates has lost his faith to elenchus in there. Irwin (1977, 38) distinguishes Apology and Crito where Socrates’ own convictions is present. Contrary to some scholars like Benson (2002, 107) who take elenchus in all the Socratic dialogues as a unique method, Michelle Carpenter and Ronald M. Polansky (2002, 89-100) argue pro the variety of methods of elenchus. Thomas C. Brickhouse and Nicholas D. Smith (2002, 145-160) even reject such a thing as Socratic elenchus which can gather all of the Socrates’ various arguments under such a heading. There can be no solution for the problem of elenchus, they think, is due to 'the simple reason that there is no such thing as 'the Socratic elenchos"'(p.147). Though we consider elenchus a somehow determined process and a part of Socratic circle in the early dialogues, all we assume is that whatever differences it might have in different dialogues, it has the same onto-epistemological principles and, thus, we are not going to take it necessarily as a unique method. This method sets out to prove that the interlocutors are as ignorant as Socrates himself is. That whether elenchus is constructive, capable of establishing doctrines as Vlastos (1994) or Brickhouse and Smith (1994, 20-21) believe or not is another issue to which this paper is not to claim anything. What is crucial for our discussion here is that elenchus does not reach to the very knowledge Socrates is looking for. This is strictly against Irwin who thinks that not only elenchus leads to positive results, 'it should even yield knowledge to match Socrates’ conditions'(1977, 68, cf. 48). He does not explain where and how they really yield to that kind of knowledge. He explains his elenctic method in his apology in the court (Apology 21-22), that how he used to examine wise men, politicians, poets and all those who had the highest reputation for their knowledge and every time found that they have no knowledge. If we accept, as I strongly do, that Socrates’ disavowal of his knowledge is not irony, it might seem more reasonable to agree that the process that has that disavowal as its first step cannot be irony as well. The key of the circle which can explain why Socrates disclaims knowledge and how he can reject others’ claim of having any kind of knowledge lies in the third element, Socratic question. In Hippias Major (287c1-2), Socrates asks: 'Is it not by Justice that just people are Just? (ἆρ᾽ οὐ δικαιοσύνῃ δίκαιοί εἰσιν οἱ δίκαιοι). He insists at 294b1 that they were searching for that by which (ᾧ) all beautiful things are beautiful (cf. b4-5, 8). At Euthyphro 6d10-11 it is said that the Socratic question is waiting for 'the form itself (αὐτὸ τὸ εἶδος) by which (ᾧ) all the pious actions are pious; and at 6d11-e1: -/- Through one form (που μιᾷ ἰδέᾳ) impious actions are impious and pious actions pious. -/- Since the X itself is that by which X is X, knowing 'X itself' is the only way of knowing X. It is probably because of this that Socrates makes the distinction between the ousia as a right answer to the question and effect as a wrong one: -/- I am afraid, Euthyphro, that when you were asked what piety is (τὸ ὅσιον ὅτι ποτ᾽ ἐστίν) you did not wish to make clear its nature itself (οὐσίαν … αὐτοῦ) to me, but you said some effect (πάθος) about it. (Euthp. 11a6-9) -/- 1. Knowledge of what X is Now it is time to look for the onto-epistemological principles of Socratic circle and its three elements. It cannot reasonably be expected from the first Socrates to present us explicitly and clearly formulated principles of his onto-epistemology when such explications cannot be found even in the second Socrates who has some obviously positive theoris. Since there must be some principles underlying this first systematic inqury of knowledge, we must seek to them and be satisfied with elicitation of the first Socratas’ principle. What will be drawn out as his principles cannot and must not, thus, be taken as very fix and dogmatic principles. Some very slightest principles and grounds suffice for our purposes here. The first principle that is the prima facie significance of the Socratic question and his implementation of all those elenctic arguments I call the principle of 'Knowledge of What X is' (KWX): -/- KWX To know X, it is required to know what X is. -/- Aristotle (Metaphysics 1078b23-25, 27-29, 987b4-8) takes Plato’s τί ἐστι question as seeking the definition of a thing that is the same as historical Socrates’ search but applying to a different field. That Plato’s 'what is X?' question was a search for definition became the prevailed understanding of this question up to now. I am going neither to discuss the answer of Socratic question nor to challenge taking it as definition. What I am to insist is that knowledge is attached firmly to the answer of the question: Knowledge of X is not anything but the knowledge of what X is. It entails, certainly, the priority of this knowledge to any other kind of knowledge about X but it also has something more fundamental about the relation of knowledge and Socratic question. Socrates’ exclusive focus on the answer of his question can authorize the consideration of such an essential role for KWX in his epistemolgoy. The total rejection of his interlocutors’ knowledge when they are unable to answer the question can be regarded as a strong evidence for it. Socrates’ elenctic method and his rejection of others’ knowledge in the early dialogues, which all end aporetically with no one accepted as knower and nothing as knowledge, prevent us from finding any positive evidence for this. We have to be content, therefore, of negative evidences which, I think, can be found wherever Socrates rejects his interlocutors’ knowledge when they are not able to give an acceptable answer to his 'what is X?' question. 2. Bipolar Epistemology Socrates’ rejection of his interlocutors’ knowledge has another epistemological principle as its basis. Let me call this principle Bipolar Epistemology' (BE): BE There is no third way besides knowledge and Ignorance. -/- BE says that about every object of knowledge there are only two subjective statuses: knowledge and Ignorance. Socrates’ disavowal, however, says nothing but that he is ignorant of knowledge of X because he does not know what X is. This means that BE is presupposed here. Socrates’ elenchus and his rejection of interlocutors’ having any kind of knowledge are the necessary results of the fact that he does not let any third way besides knowledge and ignorance. The first Socrates never let anyone partly know X or have a true opinion about it, as he would not let anyone know anything about X when he did not know what X is. -/- 3. Bipolar Ontology The principle of BE in first Socrates’ epistemology is parallel to another principle in his ontology. Plato’s bipolar distinction between being and not being is as strict and perfect as his distinction between knowledge and ignorance. This principle I shall call the principle of 'Bipolar Ontology' (BO): BO Being is and not being is not. BO is apparently the same with the well-known Parmenidean Principle of being and not being (cf. Diels-Kranz (DK) Fr. 2.2-5). Euthydemus’ statement against the possibility of false knowledge can be good evidence for this principle: -/- The things which are not surely do not exist (τὰ δὲ μὴ ὄντα … ἄλλο τι ἢ οὐκ ἔστιν). (Euthydemus 284b3-4) -/- He continues (b4-5): -/- There is nowhere for not being to be there (οὖν οὐδαμοῦ τά γε μὴ ὄντα ὄντα ἐστίν). -/- That BE does not let true opinion as a third option besides knowledge and ignorance seems to be related to BO’s rejecting a third option besides being and not being, which is itself the basis of the impossibility of false belief. Socrates’ elaborate discussion of the problem of false belief in Theatetus that leads to a more decisive discussion and finally to some solutions in Sophist can make our consideration of BO for the first group of dialogues authentive. -/- 4. &5. Split Knowledge and Split Being The fourth principle I shall call the principle of 'Split Knowledge' (SK): -/- SK Knowledge of X is separated from any other knowledge (of anything else) as if the whole knowledge is split to various parts. -/- This Principle is hinted and criticized as Socrates’ way of treating with knowledge in Hippias Major: -/- But Socrates, you do not contemplate the entireties of things, nor do people you have used to talk with (τὰ μὲν ὅλα τῶν πραγμάτων οὐ σκοπεῖς, οὐδ᾽ ἐκεῖνοι οἷς σὺ εἴωθας διαλέγεσθαι). (301b2-4) -/- Contrary to Rankin who regards the passage as 'antilogical, almost eristic in tone rather than presenting a serious philosophy of being' (1983, 54), I think it can be taken as serious. Hippias criticizes Sorcates that he does not contemplate (σκοπεῖς) the entireties of things (ὅλα τῶν πραγμάτων), a critique which Socrates is not its only subject but all those whom Socrates accustomed to talk with (ἐκεῖνοι οἷς σὺ εἴωθας διαλέγεσθαι). This last phrase, I think, extends this critic beyond this dialogue to other Socratic dialogues. Hippias’ use of the perfect tense of the verb ἔθω (to be accustomed) is a good evidence of this extension. We can get, thus, these ἐκεῖνοι as Socrates’ interlocutors in his other dialogues that hints that this criticism has the epistemological groundings of the previous dialogues as its subject. What ἐκεῖνοι οἷς σὺ εἴωθας διαλέγεσθαι points to is that Hippias does not have in mind Socrates’ way of treating things only in this dialogue, but he is also criticizing Socrates’ way throughout his dialogues. At 301b4-5, Socrates and his interlocutors’ way of beholding things is described as such: -/- You people knock (κρούετε) at the fine and each of the beings (ἕκαστον τῶν ὄντων) by taking each being cut up in pieces (κατατέμνοντες) in words (ἐν τοῖς λόγοις). This leads us to our next principle that is parallel to, and the ontological side of, SK, the principle of 'Split Being'(SB): -/- SB Everything (being) is separated from any other thing as if the whole being is split to many beings. -/- Socrates and his interlocutors and thus, as we saw, the Socratic dialogues are accused to regard everything as it is separated from all other things. This separation is en tois logois that, I think, can reasonably be taken as saying that Socratic dialogues (it refers of course to the dialogues before Hippias Major) cut up all things which have the same name/definition from all other things and try to understand them separately, without considering other things that are not in their logos. They, for example in Hippias Major, are cutting up to kalon and try to understand what it and all others inside this logos are by separating it from all other things. This is directed straightly against Socratic question and the way Socratic dialogues follow to find its answer, every time separating one logos. As Meyer (1995, 85) points out, every question 'presupposes that the X in question in a logos is something' and 'every answer to every question aims at unity' (84). The critique of Hippias Major is, therefore, at the same time a critique of SK and SB. It is also a critique of KWX because it is only based on KWX that Socratic dialogues could search for the answer of 'what is X' question supposing that knowing what X is is enough for the knowledge of X. SK and KWX are absolutely interdependent. What Socrates and all his previous interlocutors have neglected in Socratic dialogues, Hippias says, was 'continuous bodies of being' (διανεκῆ σώματα τῆς οὐσίας) (301b6). Either this theory actually belongs to the historical Hippias as it is being said or not, it is strictly criticizing SB. We have the same phrase with changing sūma to logos some lines later at 301e3-4: διανεκεῖ λόγῳ τῆς οὐσίας. Although this theory that can be observed as both an ontological and an epistemological theory is rejected by Socrates (301cff.), it is still against first Socrates’ onto-epistemological principles and might let us look at what is rejected as Socratic prineple. -/- 6. Knowledge is of Being The sixth principle that I think is presupposed by the first Socrates, is the 'Knowledge of Being' Principle (KB): -/- KB Knowledge is of Being. -/- This principle is obviously the source of the problem of false knowledge, a very important problem throughout Plato’s philosophy. We face this problem maybe for the first time in Euthydemus. In less than 20 Stephanus’ pages, 276-295, we are encountered with different interwoven problems about knowledge , all grounded in the problem of false opinion. Having challenged the obvious possibility of telling lies at 283e, at 284 Euthydemus discusses it saying that the man who speaks is speaking about 'one of those things that are (ἓν μὴν κἀκεῖνό γ᾽ ἐστὶν τῶν ὄντων)' (284a3) and thus speaks what is (λέγων τὸ ὄν) (a5). He must necessarily be saying truth when he is speaking what is because he who speaks what is (τὸ ὄν) and the things that are (τὰ ὄντα) speaks truth (τἀληθῆ λέγει) (a5-6). This is based on Parmenidean principle of the impossibility of being of not being which Euthydemus restates (284b3-4) and we mentioned discussing BO principle above. The things that are not are nowhere (οὐδαμοῦ) and there is no possibility for anyone to do (πράξειεν) anything with them because they must be made as being before anything else can be done, which is impossible (b5-7). The words, then, are of things that exist (εἰσὶν ἑκάστῳ τῶν ὄντων λόγοι) (285e9) and as they are (ὡς ἔστιν) (e10). The result is that no one can speak of things as they are not. It is this impossibility of false speach that is extended to thinking (δοξάζειν) at 286d1 and leads to the impossibility of false opinion (ψευδής … δόξα) (286d4). The general conclusion is asserted at 287a extending this impossibility to actions and making any kind of mistake. Not only knowledge is of being but speech, thought and action are of being simply because of the fact that nothing can be of not being. -/- B. First Socrates’ Principles in the Middle Period Dialogues Out of what were presupposed or criticized mostly in five dialogues, Euthyphro, Euthydemus, Hippias Major, Laches and Charmides, we tried to draw the first Socrates’ principles. Our inquiry here is directed to find out the fate of these principles in the three dialogues of the middle period, Meno, Phaedo and Republic. To do this, first we ought to check the situation of Socratic circle in these dialogues. The Socratic circle that was predominant in the early dialogues, does not look like a circle here anymore though they certainly have some features in common. Meno, Phaedo and Republic II-X are not committed to the principles of the circle and the whole circle in disrupted in them. The difference of the two Socrateses towards acquiring knowledge is obvious. The Socrates of Meno, Phaedo and Republic is evidently more self-confident that he can get to some truths during his arguments as he does. They are in their first appearance, as almost all other dialogues, committed to Socrates’ disavowal. All of them try to keep the shape of the Socratikoi Logoi genre, which is committed to the historical Socrates’ way of discussion; a dramatic personage who is to challenge his interlocutors, ask them and refuse the answers. Nevertheless, the fact is that what we have in common between two groups of dialogues is mostly a dramatic structure. Whereas the first group’s arguments are based on Socrates’ disavowal and lead to no positive results, the second group is decisively going to achieve some positive results. The aim of the first Socrates was to show others that they are ignorant of what they thought they knew. The new Socrates of Meno, on the opposite, makes so much efforts to show that the slave boy has within himself true opinions (ἀληθεῖς δόξαι) about the things that he does not know (οἶδε) (85c6-7). Despite his lack of knowledge, he has true opinions nevertheless. The way from these true opinions to knowledge, as Socrates states, is not so long. These true opinions are now like a dream but 'can become knowledge of the same things not less accurate than anyone’s' (οὐδενὸς ἧττον ἀκριβῶς ἐπιστήσεται περὶ τούτων) (c11-d1), if they be repeated by asking the same questions. The most outstanding text regarding Socrates’ disavowal is Meno 98b where he explicitly claims knowledge: -/- And indeed I also speak as (ὡς) one who does not know (εἰδὼς) but is guessing (εἰκάζων). However, [about the fact] that true opinion and knowledge are different, I do not altogether expect (δοκῶ) myself to be guessing (εἰκάζειν), but if I say about anything that I know (εἰδέναι) -which about few things I say- this is one of the things that I know (οἶδα). (98b1-5) This passage is very significant about Plato’s disavowal of knowledge. There can hardly be found, I think, anywhere else in Plato’s corpus where Socrates speaks about his knowledge of something as such. He says first that he speaks as someone who does not know. This ὡς οὐκ εἰδὼς λέγω comparing with what he used to say in the first group, οὐκ οἶδα, has this added ὡς. Socrates does not claim strongly anymore that he does not know anything but speaks only as someone who does not know. He needs this ὡς not only because he is going to accept that he does know some, though few, things immediately after this sentence, but also because he needs his previous disavowal to be loosened from Meno on. He does not merely say here that he knows something. It is then different from the examples mentioned before which could be taken as idiomatic or at least not emphatic. Socrates’ remarkable emphasis on distinguishing εἰδέναι from εἰκάζειν departs it from all other passages where he says only he knows something. Moreover, he claims definitely that he has knowledge about few (ὀλίγα) things. From the early to the middle dialogues, Socrates’ attitude to knowledge has totally renewed its face. He brings forth a new concept, true opinion, and he does not speak of knowledge as he used to before; the rough, perfect and unachievable knowledge of the first group has turned to something more smooth, realistic and achievable. Comparing with the early dialogues that did not set out from the first to reach positive results, the middle ones are extraordinarily and surprisingly positive and hence destroy the basis of the Socratic circle. The questions and answers are purposely directed to some specific new theories; most of them are not directly related to the topics or the main questions of the dialogues. They are suggested when Socrates draws the attention of the interlocutor away from the main question because of the necessity of another discussion. Even if the main question remains unanswered, we have still many positive theories, prominently of metaphysical type. These theories are so abundant and dominant in these dialogues, especially Phaedo and Republic, that one might think that they may appear to be arbitrarily sandwiched in there. This helps dialogues to keep their original Socratic structure while they are suggesting new theories. Hence, the Socratic question of 'what is X?', though is still used to launch the discussion, is loosened and is forgotten for most part of the dialogues. Meno that has first a differently formulated question, 'can virtue be taught?', leads finally to the Socratic question of 'What is virtue?'. Phaedo is dedicated to the demonstration of the immortality of soul and the life after death without having a central Socratic question. The case of Republic is more complicated. The first book, on the one hand, has all the criteria of a Socratic circle: its 'what is justice?' question, Socrates’ strong disavowal (e.g. 337d-e), his rejection of all answers and coming back to the first point without finding out any answer. This Book, considered alone, is a perfect Socratic dialogue, as many scholars regard it as early and separated from other books. The books II-X are, on the other hand, far from implementing a Socratic circle. They have still the 'what is justice?' question as their incentive leading question, but they are, in most of the positive doctrines and methods that encompass the main parts, ignoring the question. Even these books that, I believe, are the farthest discussions from the Socratic circle are so cautious not to break the Socratic structure of the dialogue as long as it is possible. What is changed is not the structure of the dialogue but the ontological and epistemological grounds based on which new theories are suggested. -/- 1. Knowledge of the Good We can clearly see in the second group of dialogues that the KWX principle loses the place it had before in our first group. It is not, of course, rejected, but still we cannot say that it has the same situation. KWX that was based on Socratic question, as we discussed before, was the leading principle of the first Socrates’ epistemology and of the highest position. Other epistemological principles, SK directly and BE indirectly, were relying on Socratic question and therefore on KWX. Such a position does not belong to KWX from Meno on. What makes it different in the second Socrates is another principle that is needed it not only as its complementary principle but also as what is more fundamental. Plato, then, does not reject KWX in this period, but, it seems, he transcends to another more basic principle; a principle we shall call the principle of 'Knowledge of the Good' (KG): -/- KG Knowledge of X requires knowledge of the Good. -/- Whereas all the dialogues of our first group are free from any discuscon about KG, it bears a very important role in the second group so as becomes the superior principle of knowledge in Republic. Trying to solve the problem of teachability of virtue, Socrates says that it can be teachable only if it is a kind of knowledge because nothing can be taught to human beings but knowledge (ἐπιστήμην) (Meno 87c2). The dilemma will be, then, whether virtue is knowledge or not (c11-12) and since virtue is good, we can change the question to: whether is there anything good separate from knowledge (εἰ μέν τί ἐστιν ἀγαθὸν καὶ ἄλλο χωριζόμενον ἐπιστήμης) (d4-5). Therefore, the conclusion will be that if there is nothing good which knowledge does not encompass, virtue can be nothing but knowledge (d6-8). What let us discuss KG as an epistemological principle for the second Secrates is the relation he tries to establish between knowledge and the Good which, though is alongside with the mentioned thesis and the idea of virtue as knowledge, goes much deeper inside epistemology asking to regard the Good as the basis of knowledge. The effort of Phaedo cannot succeed in establishing the Good as the criterion of explanation and knowledge since, I think, it needs a far more complicated ontology of Republic where Socrates can finally announce KG. What is said in Republic is totally compatible with Phaedo 99d–e and the metaphor of watching an eclipse of the sun. In spite of the fact that we do not have adequate knowledge of the Idea of the Good, it is necessary for every kind of knowledge: 'If we do not know it, even if we know all other things, it is of no benefit to us without it' (505a6-7). The problem of our not having sufficient knowledge of the Idea of Good is tried to be solved by the same method of Phaedo 99d-e, that is to say, by looking at what is like instead of looking at thing itself (506d8-e4). It is this solution that leads to the comparison of the Good with sun in the allegory of Sun (508b12-13). What the Good is in the intelligible realm corresponds to what the sun is in the visible realm; as sun is not sight, but is its cause and is seen by it (b9-10), the Good is so regarding knowledge. It has, then, the same role for knowledge that the sun has for sight. Socrates draws our attention to the function of sun in our seeing. The eyes can see everything only in the light of the day being unable to see the same things in the gloom of night (508c4-6). Without the sun, our eyes are dimmed and blind as if they do not have clear vision any longer (c6-7). That the Good must have the same role about knowledge based on the analogy means that it must be considered as a required condition of any kind of knowledge: -/- The soul, then, thinks (νόει) in the same way: whenever it focuses on what is shined upon by truth and being, understands (ἐνόησέν), knows (ἔγνω) and apparently possesses understanding (νοῦν ἔχειν). (508d4-6) -/- Socrates does not use agathon in this paragraph and substitutes it with both aletheia and to on. He links them with the Idea of the Good when he is to assert the conclusion of the analogy: -/- That which gives truth to the objects of knowledge and the power of knowing to the knower, you must say, is the Idea of the Good: being the cause of knowledge and truth (αἰτίαν δ᾽ ἐπιστήμης οὖσαν καὶ ἀληθείας) so far as it is known (ὡς γιγνωσκομένης μὲν διανοοῦ). (508e1-4) Knowledge and truth are called goodlike (ἀγαθοειδῆ) since they are not the same as the Good but more honoured (508e6-509a5). KG, which had been implicitly contemplated and searched in Phaedo, is now explicitly being asserted in Republic. As what was quoted clearly proves, this principle is the very one which we can observe as the most fundamental principle of the second Socrates in Republic, corresponding to the role KWX had in the first Socrates. The Form of the Good in Republic, of which Santas speaks as 'the centerpiece of the canonical Platonism of the middle dialogues, the centerpiece of Plato’s metaphysics, epistemology, ethics and …' (1983, 256) much more can be said. Plato’s Cave allegory in Book VIII dedicates a similar role to the Idea of the Good. The Idea of the Good is there as the last thing to be seen in the knowable realm, something so important that its seeing equals to understanding the fact that it is the cause of all that is correct and beautiful (517b). Producing both light and its source in visible realm, it controls and provides truth and understanding in the intelligible realm (517c). -/- 2. Tripartite Epistemology BE is thoroughy rejected in the second Socrates and substituted by its opposite, the principle of 'Tripartite Epistemolgy' (TE): -/- TE Opinion is an epistemological status between knowledge and ignorance. BE of the first Socrates was denying any third way besides knowledge and ignorance which was the foundation of Socratic circle without which Socrates could not reject his interlocutors’ possessing any kind of knowledge. We cannot say, however, that the first Socrates had a third epistemological status in mind but rejected it. Such a status was unacceptable for him so that one can say that he would reject any kind of such status if suggested. There were only two possibilities about knowledge: either one knows something or he does not know it. TE, thus, was not the first Socrates’ discovery and, I think it is not the second Socrates’discovery. All we can see in our second group of dialouges is that he uses this principle as an already demonstrated one. Having examined the slave boy in Meno for the prupose of showing the working of recollection, it truns out that he has some opinions in him while he still does not know. Without trying to prove it, Socrates takes this as the distinction between knowledge and opinion: -/- So, he who does not know (οὐκ εἰδότι) about what he does not know (περὶ ὧν ἂν μὴ εἰδῇ) has within himself true opinions (ἀληθεῖς δόξαι) about the same things he did not know (περὶ τούτων ὧν οὐκ οἶδε) (85c6-7). -/- The same distinction is set between ὀρθὴν δόξαν and ἐπιστήμην at 97b5-6 ff. (also cf. 97b1-2: ὀρθῶς μὲν δοξάζων … ἐπιστάμενος). He connects then their difference to the myth of Daedalus, the statue that would run away and escape. So are true opinions, not willing to remain long in mind and thus not worthy until one ties them down by αἰτίας λογισμῷ (98a3-4). Socrates says that this tying down is anamnesis. We face, in Phaedo, the same relation is settled between knowledge as the process of being tied down and getting the capability to give an account, on the one hand, and anamnesis, on the other hand. When a man knows, he must be able to give an account of what he knows (Phaedo 76b5-6) and since not all people are able to give such an account, those who recollect, recollect what once they learned (76c4). Although the distinction between knowledge and opinion is not explicitly used in Phaedo, referring to the parallel link between knowledge plus account and anamnesis in Phaedo and Meno, one can say that those who cannot recollect are not able to give account and, thus, are in a state of opinion. What is said at Phaedo 84a, though not yet a definite distinction between knowledge and opinion, makes a distinction between their objects so as we can agree that it is presupposed. The soul of the philosopher, Socrates says, follows reason, stays with it forever and contemplates the divine, which is not the object of opinoin (ἀδόξαστον) (84a8, cf. Meno 98b2-5). The distinction of knowledge and belief in Republic has a significant difference with what we discussed in Meno and Phaedo since the distinction of Meno was based on anamnesis and thus more an epistemological distinction. Even in Phaedo that we do not have any elaborate discussion about the distinction, the only hint to the matter at 76 is bound to the theory of anamnesis. In addition to the relation of the distinction with this theory, there is another evidence that does not permit us to consider the distinction as an ontological distinction. Let’s see Meno 85c6-7: -/- So, he who does not know about what he does not know has within himself true opinions about the same things he did not know (τῷ οὐκ εἰδότι ἄρα περὶ ὧν ἂν μὴ εἰδῇ ἔνεισιν ἀληθεῖς δόξαι περὶ τούτων ὧν οὐκ οἶδε). (85c6-7) -/- This last sentence persists that the objects of knowledge and true opinion are the same. What Socrates is to say here is that whereas he does not know X he has true opinion about the same X. I think Socrates’ sentence that the slave boy οὐκ εἰδότι ἄρα περὶ ὧν ἂν μὴ εἰδῇ and his restatement of it by saying περὶ τούτων ὧν οὐκ οἶδε is because he wants to emphasize that the slave boy who does not know, has true opinion about the same thing. Socrates could say this just with using τούτων and there would be no necessity to bring περὶ ὧν ἂν μὴ εἰδῇ for οὐκ εἰδότι if he did not want to emphasize. -/- 3. Tripartite Ontology The distinction between knowledge and true opinion in Republic, on other side, has nothing to do with recollection, but is based on an ontological principle, 'Tripartite Ontology' (TO): -/- TO There are things that both are and are not. -/- This principle I confine, among our three dialogues of the second group, to Republic not extended to Meno and Phaedo, is obviously the opposite of BO. Speaking about the lovers of sights and sounds in the fifth book, Socrates distinguishes them from philosophers because their thought is unable to understand the nature of beautiful itself besides beautiful things (476a6-8) and hence they can only have opinions. The philosopher who, on the contrary, believes in beautiful itself and can distinguish it from beautiful things (476c9-d3), has knowledge because he knows, contrasting others who have opinion because they only opine (d5-6). Since those whose knowledge were degraded as opinion will complain about Socrates’ such calling their thought, he provides them the following argument (476e7-477b1): -/- - Does the person who knows, knows (γιγνώσκει) something (τὶ) or nothing (οὐδέν)? - He knows something (τί). - Something that is (ὂν) or is not (οὐκ ὄν)? - Something that is (ὂν) for how could something that is not be known (πῶς γὰρ ἂν μὴ ὄν γέ τι γνωσθείη)? - Then we have an adequate grasp of this: No matter how many ways we examine it, what completely is (παντελῶς ὂν) is completely knowable (παντελῶς γνωστόν) and what is in no way (μὴ ὂν δὲ μηδαμῇ) is in every way unknowable (πάντῃ ἄγνωστον). - A most adequate one. - Good. Now, if anything is such as to be and also not to be (ὡς εἶναί τε καὶ μὴ εἶναι), won’t it be intermediate (μεταξὺ) between what purely is (εἰλικρινῶς ὄντος) and what in no way is (μηδαμῇ ὄντος)? - Yes, it’s intermediate. - Then as knowledge (γνῶσις) is set over what is (τῷ ὄντι), while ignorance (ἀγνωσία) is of necessity set over what is not (μὴ ὄντι) mustn’t we find an intermediate between ignorance (ἀγνοίας) and knowledge (ἐπιστήμης) to be set over the intermediate, if there is such a thing? -/- From the third status of being we must reach to the third status of knowledge. The simple reading of this text can be an existential reading, taking the "is" of the mentioned sentences as existence. The problem is that when it is said that there is something that both is and is not reading "is" existentially, it sounds too bizarre to be acceptable. It cannot easily be understandable to have something as both existent and non-existent at the same time. This problem arose so many debates and led many scholars to reject the existential reading of "is" and suggest some other readings like predicative or veridical readings. I think though Plato’s complicated ontology of Republic cannot be correctly understood by a simple existential reading, this "is" cannot be free from existential sense of being and, thus, cannot be reduced to just a predicative or veridical sense of being. -/- 4. Bound Knowledges In addition to KG, the Good is also the basis of another principle in the second Socrates, namely the principle of 'Bound Knowledge' (BK): -/- BK Knowledge of everything is bound to the knowledge of the Good. -/- We distinguished BK from KG because we want to insist, in BK, on what had not been insisted upon in KG, that is, the binding role that the Good plays in the second Socrates, contrasting the absence of such a role in the first Socrates. Socrates remembers, in Phaedo, his wonderful keen on natural philosophers' wisdom when he was young. The origin of this enthusiasm was Socrates’ hope to know the cause of everything as they used to claim. When he was searching the matters of his interest on their basis, Socrates says, he became convinced he can get no acceptable answer from them and found himself blind even to the things he thought he knew before. One day he hears Anaxagoras’ theory that 'it is Mind that arranges and is the cause of everything (ὡς ἄρα νοῦς ἐστιν ὁ διακοσμῶν τε καὶ πάντων αἴτιος)' (Phd. 97c1-2 cf. DK, Fr.15.8-9, 11-12, 12-14) and thinks that he can finally find what he has always expected, i.e. something which can explain all things. What I intend to show here is that what makes Socrates hopeful is that Anaxagoras’ theory tries 1) to explain all things by one thing and 2) this explanation is understood by Socrates as if it is based on the concept of the Good. That Socrates was searching for one explanation for all things can be proved even from what he has been expecting from natural philosophers. The case is, nonetheless, more clearly asserted when he speaks about Anaxagoras’ theory. In addition to διακοσμῶν τε καὶ πάντων αἴτιος of 97c2 mentioned above, we have τὸ τὸν νοῦν εἶναι πάντων αἴτιον (c3-4) and τόν γε νοῦν κοσμοῦντα πάντα κοσμεῖν (c4-5) all emphasizing on the cause of all things (πάντα) which can clearly prove that one of the reasons which caused Socrates to embrace it delightfully was its claim to provide the cause of all things by one thing. Another reason was that Anaxagoras’ Mind, at least in Socrates’ view, was attempting to explain everything by the concept of the Good. This connection between Mind and Good belongs more to the essential relation they have in Socrates’ thinking than Anaxagoras’ theory because there are almost nothing about such a relation in Anaxagoras. The reason for Socrates’ reading can be that Mind is substantially compatible with Socrates’ idea of the relation between good and knowledge. Both the thesis 'no one does wrong willingly' and the theory of virtue as knowledge we pointed to above are evidences of this essential relation. Nobody who knows that something is bad can choose or do it as bad. The reason, when it is reason, that means when it is as it should be, when it is wise or when it knows, works only based on good-choosing. In this context, when Socrates hears that Mind is considered as the cause of everything, it sounds to him like this: good should be regarded as the basis of the explanation of all things. We see him, thus, passing from the former to the latter without any proof. This is done in the second sentence after introducing Mind: -/- I thought that if this were so, the arranging Mind would arrange all things and put each thing in the way that was Best (ὅπῃ ἂν βέλτιστα ἔχῃ). If one then wished to find the cause of each thing by which it either perishes or exists, one needs to find what is the best way (βέλτιστον αὐτῷ ἐστιν) for it to be, or to be acted upon, or to act. On these premises then it befitted a man to investigate only, about this and other things, what is the most excellent (ἄριστον) and best (βέλτιστον). The same man must inevitably also know what is worse (χεῖρον), for that is part of the same knowledge. (97c4-d5) This passage is a good evidence of Socrates’ leap from Anaxagoras’ Mind to his own concept of the Good that can explain why Socrates found Anaxagoras theory after his own heart (97d7). Mind is welcomed because of its capability for explanation on the basis of good to 'explain why it is so of necessity, saying which is better (ἄμεινον), and that it was better (ἄμεινον) to be so' (97e1-3). What Socrates thought he had found in Anaxagoras can indicate what he had been expecting from natural scientists before. Socrates could not be satisfied with their explanations because they were unable to explain how it is the best for everything to be as it is. It can probably be said, then, that it was the lack of the unifying Good in their explanation that had disappointed him. We must insist that we are discussing what Socrates thought that Anaxagoras’ theory of Mind should have been, not about Anaxagoras’ actual way of using Mind. Phaedo 97c-98b, is not about what Socrates found in Anaxagoras but what he thought he could find in it. On the contrary, it should also be noted that it was not this that was dashed at 98b, but Anaxagoras’ actual way of using Mind. It was Anaxagoras’ fault not to find out how to use such an excellent thesis (98b8-c2, cf. 98e-99b). Socrates gives an example to show how not believing in 'good' as the basis of explanation makes people be wanderers between different unreal explanations of a thing. His words δέον συνδεῖν (binding that binds together) as a description for the Good we chose as the name of BK principle: They do not believe that the truly good and binding binds and holds them together (ὡς ἀληθῶς τὸ ἀγαθὸν καὶ δέον συνδεῖν καὶ συνέχειν οὐδὲν οἴονται). (99c5-6) -/- Having in mind Plato’s well-known analogy of the sun and the Good at Republic 508-509, we can dare to say that his warning of the danger of seeing the truth directly like one watching an eclipse of the sun in Phaedo (99d-e) is more about the difficulty of so-called good-based explanation than its insufficiency, a difficulty which is precisely confirmed in Republic (504e-505a, 506d-e). Moreover, BK is asserted in a more explicit way in the Republic, where the Good is considered not only as a condition for the knowledge of X, as was noted above discussing KG, but also as what binds all the objects of knowledge and also the soul in its knowing them. At Republic VI, 508e1-3, when Socrates says that the Form of the Good 'gives truth to the things known and the power to know to the knower (τοῦτο τοίνυν τὸ τὴν ἀλήθειαν παρέχον τοῖς γιγνωσκομένοις καὶ τῷ γιγνώσκοντι τὴν δύναμιν ἀποδιδὸν)', he wants to set the Good at the highest point of his epistemological structure by which all the elements of this structure are bound. This binding aspect of the Good is by no means a simple binding of all knowledges or all the objects of knowledge, but the most complicated kind of binding as it is expected from the author of the Republic. The kind of unity the Good gives to the different knowledges of different things is comparable with the unity which each Form gives to its participants in Republic: as all the participants of a Form are united by referring to the ideas, all different kinds of knowledge are united by referring to the Good. If we observe Aristotle's assertion that for Plato and the believers of Forms, the causative relation of the One with the Forms is the same as that of the Forms with particulars (e.g. Metaphysics 988a10-11, 988b4), that is to say the One is the essence (e.g., ibid, 988a10-11: τοῦ τί ἐστὶν, 988b4-6: τὸ τί ἢν εἶναί) of the Forms besides his statement that for them One is the Good (e.g., ibid, 988b11-13) the relation between the Good and unity may become more understandable. Since the quiddity of the Good (τί ποτ᾽ ἐστὶ τἀγαθὸν) is more than discussion (506d8-e2), we cannot await Socrates to tell us how this binding role is played. All we can expect is to hear from him an analogy by which this unifying role is envisaged, the sun. The kind of unity that the Good gives to the knowledge and its objects in the intelligible realm is comparable to the unity that the sun gives to the sight and its objects in the visible realm (508b-c). The allegory of Line (Republic VI, 509d-511), like that of the Sun, tries to bind all various kinds of knowledges. The hierarchical model of the Line which encompasses all kinds of knowledge from imagination to understanding can clearly be considered as Plato’s effort to bind all kinds of knowledges by a certain unhypothetical principle. The method of hypothesis starts, in the first subsection of the intelligible realm, with a hypothesis that is not directed firstly to a principle but a conclusion (510b4-6). It proceeds, in the other subsection, to a 'principle which is not a hypothesis' (b7) and is called the 'unhypothetical principle of all things' (ἀνυποθέτου ἐπὶ τὴν τοῦ παντὸς ἀρχὴν) (511b6-7). This παντὸς must refer not only to the objects of the intelligible realm but to the sensible objects as well. Plato does posit, therefore, an epistemological principle for all things, a principle that all things are, epistemologically, bound and, thus, unified by. -/- 5. Bound Beings The ontological aspect of BK we shall call the principle of 'Bound Beings' (BB): -/- BB Being of all things are bound by the Good. -/- We saw in our principle of Split Being (SB) how the first Socrates was criticized because of his approach to split being and separate each thing from other things. The principle of Bound Beings intends to make the things more related, a duty which is done again by the Good. In the allegory of Sun, there are two paragraphs that evidently and deliberately extend the binding role of the Good to the ontological scene: -/- You will say that the sun not only makes the visible things have the ability of being seen but also coming to be, growth and nourishment. (509b2-4) -/- This clearly intends to remind the ontological role the sun plays in bringing to being all the sensible things in order to display how its counterpart has the same role in the intelligible realm (b6-10): -/- Not only the objects of knowledge (γιγνωσκομένοις) owe their being known (γιγνώσκεσθαι) to the Good, but also their existence (τὸ εἶναί) and their being (οὐσίαν) are due to it, though the Good is not being but superior to it in rank and power. That the Good is here represented as responsible for being of things in addition to their being known means, in my opinion, that Plato wants to posit BB in addition to BK. The allegory of Cave at the very beginning of the seventh Book (514aff.) can be taken as another evidence. The role of the Good, one might say, is confined to the intelligible realm because it is asserted that the role the Good plays in this realm is corresponding to that of the sun in the visible realm. The fact that Plato wants to observe the Good also as the ontological cause of the sensible things is obvious from his saying, in the allegory of Cave, that the Form of the Good 'produces light and its source (τὸν τούτου κύριον) [i.e. the sun] in the visible realm' (517c3). We can conclude, then, that the ontological function of the Good is not confined to the intelligible realm in which it is the lord and provides truth and understanding (c3-4) because it is also responsible to produce τὸν κύριον of light. 6. Proportionality of Being and Knowledge Insofaras BE and BO principles of the first Socrates gave way to TE and TO principles of the second Socrates, we cannot expect him to preserve KB in the same way as it was in the first Socrates. The new tripartite ontology and epistemology necessitates some modifications in KB which results in the principle of 'Proportionality of Being and Knowledge' (PBK): -/- PBK To every class of being there is a proportionate category of knowledge. -/- This principle, of course, does not entail the refutation of KB and thus is not kind of rejecting PBK but only a more complicated version of it. Based on PBK, we can still agree that knowledge is of being (KB) but the issue is that since none of the concepts of knowledge and being in the second Socrates are as simple as they were for the first Socrates, we need a more complicated principle for their relation here. Although from Meno 97a where the distinction of knowledge and true opinion is drawn out in the second group of the dialogues, we can expect a new relation, it is articulated in its most complete way in Republic and specifically in the allegory of Line. All the beings are divided there hierarchically to four classes, to each of them belongs a class of knowledge: imagination to images, belief to the sensible things (more correctly: the things of which they[in previous class] were images (ᾧ τοῦτο ἔοικεν)), thought to mathematical objects (?) and understanding to the Forms and the first principle. The degree of clarity that each of the classes of knowledge shares in (σαφηνείας ἡγησάμενος μετέχειν) is proportionate to the degree that its object shares in truth (ἀληθείας μετέχει). (511e2-4) -/- Conclusion From the six onto-epistemilogical principles of the first Socrates, four principles turn to their opposite in the middle period dialogues. While bipolar epistemology and ontology of the early dialogues give place to tripartite epistemology in the middle period dialogues and tripartite ontology in Republic, the split knowledge and being of the first Socrates are inclined to be substituted by bound knowledges and bound beings in the second Socrates and specifically in Republic. Not all our system of principles in this article is necessarily determinative. Either they are rightly formulated or not, our result would not be vulnerable if we accept that 1) making the distinction of knowledge and belief, 2) accepting the being of not being and 3) trying to bind both being and knowledge by the concept of the Good happens only in middle period dialogues, having been absent in the early ones. These are the favourite results all those somehow arbitrary and even oversimplified principles were to illustrate; that there is kind of a development in the epistemological as well as the ontological grounds of Plato’s philosophy. -/- Notes . (shrink)

The problem of synthetic judgements touches on the question of whether philosophy can draw independent statements about reality in the first place. For Kant, the synthetic judgements a priori formulate the conditions of the possibility for objectively valid knowledge. Despite the principle fallibility of its statements, modern science aims for objective knowledge. This gives the topic of synthetic a priori unbroken currency. This paper aims to show that a modernized version of transcendental philosophy, if it is to be feasible at (...) all, must “bid farewell” to the concept of being “free of empiricism” or the “purity” of the a priori. Approaches to this end can already been found in Kant’s reflections on non-pure synthetic knowledge. Moreover, the a priori validity of knowledge does not exclude the possibility that it can be discovered empirically. In keeping with Kant, Fries and Nelson anticipated this separation (usually first attributed to Reichenbach) between the validity and discovery context of knowledge and pointed out that the a priori could be discovered empirically, but never proven. There are currently still good reasons why transcendental philosophical concepts are of fundamental importance for modern science, although it must not be overlooked that even within the framework of a modernized transcendental philosophy, several unsolved problems remain or are raised. For example, the irredeemability of the universal validity and necessary claims of the a priori, the problem of a clear demarcation between the phenomenal and noumenal world. Moreover, the “beautiful structure” or the Kantian system, which constituted its persuasive power, is lost. (shrink)

This study is dedicated to the chapter Metaphysics My 10, which, in my opinion, represents an example of basic research as regards Aristotle’s ontological investigations. The aim of my analysis is to point out that the chapter constitutes a manifesto for a new ontology: this new ontology is Aristotle’s typological ontology. The main entities of the typological ontology are universals, on the one hand, and instantiations of universals, on the other hand. The ontological levels, to which these two kinds (...) of entities belong, are different from each other: therefore they must be kept rigorously separated from each other. The new ontology constitutes a clear opposition to the ontology of ideas. In my opinion Aristotle does not aim at eliminating universals from the range of the existing entities: At least the universals which correspond to biological kinds (such as „man“ or „animal“) and to all the properties connected to these biological kinds are real entities, even though they do not exist at the same level at which the level of the instantiations do. Aristotle’s aim is thus to assign universals and individuals to different realms of reality. The reality consists both of individuals and of universals: these kinds of entities occupy different realms of reality. (shrink)

According to the new mechanistic approach, an acting entity is at a lower mechanistic level than another acting entity if and only if the former is a component in the mechanism for the latter. Craver and Bechtel :547–563, 2007. doi:10.1007/s10539-006-9028-8) argue that a consequence of this view is that there cannot be causal interactions between acting entities at different mechanistic levels. Their main reason seems to be what I will call the Metaphysical Argument: things at different levels of a mechanism (...) are related as part and whole; wholes and their parts cannot be related as cause and effect; hence, interlevel causation in mechanisms is impossible. I will analyze this argument in more detail and show under which conditions it is valid. This analysis will reveal that interlevel causation in mechanisms is indeed possible, if we take seriously the idea that the relata of the mechanistic level relation are acting entities and accept a slightly modified notion of a mechanistic level that is highly plausible in the light of the first clarification. (shrink)

Translation of Aristotle’s Metaphysics IX and X (Theta & Iota) into Portuguese, with a few notes, experimental glossary and introduction. The translation, which was made at 2004, is preliminary and its publication was intended to provide a didactic tool for courses as well as a provisional resource in research seminars. It needs some revision. I am currently working (slowly...) on the revision of the translation and a new revised one will surely appear at some point.

This paper offers a new interpretation of Aristotle’s identification, in De Anima 2.5, of αἴσθησις with an ἀλλοίωσίς τις that is not ‘a kind of destruction of something by its contrary’. Drawing on a passage from Metaphysics Iota 5, it argues that when so described, what is referred to as an ἀλλοίωσίς τις is not a uniquely perceptual alteration.

The model of a closed linear measure space, which can be used to model Aristotle’s treatment of motion (kinesis), can be analogically extended to the qualitative ‘spaces’ implied by his theory of contraries in Physics I and in Metaphysics Iota, and to the dimensionless ‘space’ of the unity of matter and form discussed in book Eta of the Metaphysics. By examining Aristotle’s remarks on contraries, the subject of change, continuity, and the unity of matter and form, Aristotle’s (...) thoughts on motion, on contraries, and on the unity of substance can be brought together under a single interpretive framework, which can provide an approach to interpreting his ontology. (shrink)

The Eleventh Aporia results from the breakup of the entire Greek philosophy previous to Aristotle in two manners of conceiving and proposing the first principles (archai), specially the One (to hen): (i) the manner by which Physiologoi conceived the One as a principle, namely, assuming an underlying nature, different from the One in itself, not adequately characterized by the simple fact of being one and which is denoted by the concept of One, and (ii) the manner inaugurated by the Pythagoreans (...) and later endorsed by Plato, marked by the abandonment of the appeal to an underlying nature and by conceiving the One in itself (auto to hen) as a principle, depriving it of any connection with some reality not strictly characterized by being one. Aristotle faces this aporia in Metaphysics Iota 2 and, according to the interpretation I propose: (a) refuses the Pythagorean-Platonic manner of conceiving and proposing principles, (b) endorses the course of action of the Physiologoi, and, in doing so, (c) steps back and retakes the “project” of the Physiologoi at the point where it was interrupted, namely, during the search for a principle of motion. From this scenario, I will try to show that the final outcome of the Eleventh Aporia can be the introduction of the Prime Mover as the properly Aristotelian (and cosmological) candidate to the title of One between the principles. (shrink)

Abstract Timothy Williamson has recently proposed to undermine modal skepticism by appealing to the reducibility of modal to counterfactual logic ( Reducibility ). Central to Williamson’s strategy is the claim that use of the same non-deductive mode of inference ( counterfactual development , or CD ) whereby we typically arrive at knowledge of counterfactuals suffices for arriving at knowledge of metaphysical necessity via Reducibility. Granting Reducibility, I ask whether the use of CD plays any essential role in a Reducibility-based reply (...) to two kinds of modal skepticism. I argue that its use is entirely dispensable, and that Reducibility makes available replies to modal skeptics which show certain propositions to be metaphysically necessary by deductive arguments from premises the modal skeptic accepts can be known. Content Type Journal Article Pages 1-19 DOI 10.1007/s11098-011-9784-4 Authors Juhani Yli-Vakkuri, Wolfson College, Oxford University, Oxford, OX2 6UD UK Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

In Book 10 of the Republic, Plato launches an extensive critique of art, claiming that it can have no legitimate role within the well-ordered state. While his reasons are multifac- eted, Plato’s primary objection to art rests on its status as a mere shadow of a shadow. Such shadows inevitably lead the human mind away from the Good, rather than toward it. How- ever, after voicing his many objections, Plato concedes that if art “has any arguments to show it should (...) have a place in a well-governed city, [he] would gladly welcome it back.” Over two millennia later, the nineteenth-century Russian philosopher Vladimir Solov’ev implicitly responded to this challenge in his Lectures on Godmanhood (1881). Solov’ev cited the phenomenon of art as additional proof in favor of his model of the metaphysical foundations of reality. According to Solov’ev, art is not three steps removed from ultimate reality; rather, an artist creates true art only when he has experienced a vision of the univer- sal and substantial ideas that stand over and above particular things, and then conveys them to the viewer directly, via the artistic medium. Hence, the artist is able to sidestep the in- termediate shadow and produce something that is more than a shadow—a clear reflection of that higher reality. If Solov’ev is correct, the artist should enjoy the elevated status of sage, per- haps even philosopher-king, rather than face exile from Plato’s republic, because the artist both knows the Good and guides the less enlightened toward it. After a brief sketch of the metaphysical grounds for Plato’s critique of art, I provide an analysis of Solov’ev’s ontology, as represented in his Lectures on Godmanhood. Next, I describe Solov’ev’s concept of the three-fold mission of art and its relationship to human nature, drawing both from the Lectures and from The Universal Meaning of Art (1890). Finally, in the last section, I demonstrate how the afore-mentioned account comprises Solov’ev’s robust and successful response to Plato’s challenge, from within a platonic framework. (shrink)

Martin Heidegger as Interrogator: The Final Paradigm By Daniel Fidel Ferrer. Copyright©2024 Daniel Fidel Ferrer. All rights reserved. Attribution-NonCommercial-NoDerivs CC BY-NC-ND. Imprint 1.0. 2024. All Rights are reserved. Intended copies of this work can be used for research and teaching. No change in the content and must include my full name, Daniel Fidel Ferrer. Enjoying reading and disagreeing. Publisher: Kuhn von Verden Verlag. Language: English and German. Includes bibliographical references and an index. Pages 1-316. Index total pages is 524. Ontology. (...) 2. Metaphysics. 3. Philosophy, German. 4. Thought and thinking. 5. Kant, Immanuel, 1724-1804. 6. Schelling, Friedrich Wilhelm Joseph von, 1775-1854. 7. Hegel, Georg Wilhelm Friedrich, 1770-1831. 10. Philosophy, Modern -- 20th century. 11. Philosophy, Modern -- 19th century. 12. Practice (Philosophy). 13. Philosophy and civilization. 14. Postmodernism. 15. Nietzsche, Friedrich Wilhelm, 1844-1900. 16. Heidegger, Martin, 1889-1976. 17. Ferrer, Daniel Fidel. Table of Contents Mottos Division I. Discussion of the title pages 2-6 Prologue pages 7-14 Heidegger, what do we know about him? page 15-22 Early Heidegger pages 23-41 What are the periods in Heidegger’s thought? pages 42-51 Preface and Setting the Stage pages 52-65 Introduction pages 66-82 Heidegger on Questioning pages 83-94 The Crisis or Krisis in philosophy? pages 95-106 Does Heidegger have a philosophy? pages 107-127 Heidegger about the Nature of Teaching pages 128-132 Heidegger against philosophy as a worldview or the standpoint of standpointlessness pages 133-137 Heidegger’s world-famous book Being and Time (Sein und Zeit, SuZ, 1927) pages 138-153 Heidegger’s second attempt Beiträge zur Philosophie (Vom Ereignis) (1936-1938) pages 154-162 Heidegger on the image of the Bridge pages 163-170 Conclusion pages 171-188 -/- Division II. Engagement with Heidegger on history of philosophy (metaphysics). Reinigung as cleaning, purifying pages 189-191 What is Heidegger’s Metahistory of philosophy? pages 192-243 Appendix A. Reconstruction of a partial letter from Martin Heidegger to Dieter Sinn. Dated. 24 August 1964. pages 244-248 Appendix B. Martin Heidegger's Dialogue and Critical Debate with Hegel. pages 249-253 Appendix C. Heidegger on Pain (Schmerz) pages 254-257 Appendix D. Update: 2023 Oct 24. Daniel Fidel Ferrer replies to Professor Thomas Sheehan (Sein question) pages 258-269 Appendix E. Five Habilitations done with Martin Heidegger. Habilitationsschrift pages 270-272 Heidegger Bibliography Individual Lectures Vortrag or Vorträge. Detailed pages 273-294 Heidegger‘s Gesamtausgabe (HGA or GA). Note GA 72 has yet to be published (2024). pages 295-299 Letters. Briefe. Briefwechsel. Not complete pages 300-303 Heidegger Studies / Heidegger Studien / Etudes Heideggeriennes (list of Heidegger texts) pages 304-305 Jahresgaben der Martin-Heidegger-Gesellschaft (from the internet) (list of Heidegger texts) pages 306-308 Additional References (bibliographies) pages 309-310 Heidegger Index Projects by Daniel Fidel Ferrer page 311 -/- Martin Heidegger Audio Recordings pages 312-313 -/- Additional acknowledgements pages 314-315 -/- Letter from Hermann Heidegger to Daniel Ferrer den 5.2.2002. In German. Hermann Heidegger’s response to the Barbara Fiand collection being in the USA. -/- One of the thesis: there is no Heidegger philosophy. Read more… -/- “What always counts in the lecture-courses is the manner of proceeding - the sequence of steps - not a claim to final truths. The lecture-courses never wrap up in a completeness and in seemingly "finishing off" the works interpreted, but rather in the inner fullness of the hidden dynamics of questioning.” GA 66. Besinnung (1938/39). GA 66: 421. (shrink)

Aphorisms on the attack. -/- Applied -- Confrontations: Philosophical reflections and aphorisms. -/- Brief: Symptomatology, typology and genealogy. Philosophical physician. -/- 1. Ontology. 2. Metaphysics. 3. Philosophy, German. 4.Thought and thinking. 5. Philosophy, Asian. 6. Philosophy, Indic. 7. Philosophy, Modern -- 20th century.8. Philosophy, Modern -- 19th century. 9. Practice (Philosophy). 10. Philosophy and civilization. 11. Postmodernism. 12. Nietzsche, Friedrich Wilhelm, 1844-1900. 13. Heidegger, Martin, 1889-1976. 14. Heidegger, Martin, 1889-1976 -- Homes and haunts -- Germany -- Todtnauberg.15. Nagarjuna, 2nd (...) cent. I. Ferrer, Daniel Fidel, 1952-. (shrink)

The main assumption and conclusion of this book is summarized by Nietzsche’s thought and his single sentence (Motto): "The tragic era for Europe: due to the struggle with nihilism. (Das tragische Zeitalter für Europa: bedingt durch den Kampf mit dem Nihilismus). " eKGWB/NF-1886, 7 [31]. I have translated the entire group of notes that start with a note giving Nietzsche’s location “Lenzer Heide” (Graubünden, Switzerland) dated June 10, 1887 (Lenzer Heide den 10. Juni 1887). From the first note, eKGWB/NF-1886. 5 (...) [71] and then subsection ending at the final note: eKGWB/NF-1886. 5 [110]. Also in this publication, Friedrich Nietzsche. Sämtliche Werke Kritische Studienausgabe in 15 Bänden (KSA). Volume information, KSA 12. Nachgelassene Fragmente 1885-1887, (1967). Section or notebook, five. 5 = NVÜ3. Sommer 1886—Herbst 1887. The Lenzer Heide subsection is from 5 [71] and goes to section 5 [110]. Pages for this subsection are p. 211-229 (KSA 12). The editor sometimes use letter spacing as way to emphasis what Nietzsche wrote, for example, “N i h i l i s m u s”; for the word ‘Nihilismus’. Over 190+ Nietzsche’s notes are translated in this text. Additional materials from his published writing are also included in the topics discussed. The general background is the context of Martin Heidegger’s Nietzsche interpretations. Principle conclusion: all of Nietzsche’s philosophical thought can be seen as his response to the urgent crisis of Nihilism. Countermovement to Nihilism. Additional topics and many more translations covering: the eternal return of the same, Will to Power, B. Spinoza (1632-1677), concept of meaninglessness, Nihilism and Nietzsche Thought, Stages or the outline of Nihilism, Chronological Nietzsche’s Thoughts on Nihilism, and Nietzsche on the Nihilist. Other topics covered are: Nietzsche Contra Metaphysics: Rejection of ontology and Being Rejection of God Rejection of metaphysicians Rejection of the idea of eternal Rejection of supersensuous Rejection of Platonism Rejection of the dignity of humanity (metaphysicians) Rejection of eternal values Rejection of immorality Possible Metaphysical Claims for the idea of Will-to-Power, Connection of Will to Power and Amor Fati, Anti-metaphysical and perspectivism, Nietzsche's Metahistory of philosophy, and Bibliographic sources. (shrink)

This dissertation is concerned with two of the largest questions that we can ask about the nature of physical reality: first, whether physical reality begin to exist and, second, what criteria would physical reality have to fulfill in order to have had a beginning? Philosophers of religion and theologians have previously addressed whether physical reality began to exist in the context of defending the Kal{\'a}m Cosmological Argument (KCA) for theism, that is, (P1) everything that begins to exist has a cause (...) for its beginning to exist, (P2) physical reality began to exist, and, therefore, (C) physical reality has a cause for its beginning to exist. While the KCA has traditionally been used to argue for God's existence, the KCA does not mention God, has been rejected by historically significant Christian theologians such as Thomas Aquinas, and raises perennial philosophical questions -- about the nature and history of physical reality, the nature of time, the nature of causation, and so on -- that should be of interest to all philosophers and, perhaps, all humans. While I am not a religious person, I am interested in the questions raised by the KCA. In this dissertation, I articulate three necessary conditions that physical reality would need to fulfill in order to have had a beginning and argue that, given the current state of philosophical and scientific inquiry, we cannot determine whether physical reality began to exist. -/- Friends of the KCA have sought to defend their view that physical reality began to exist in two distinct ways. As I discuss in chapter 2, the first way in which friends of the KCA have sought to defend their view that physical reality began to exist involves a family of a priori arguments meant to show that, as a matter of metaphysical necessity, the past must be finite. If the past is necessarily finite, then the past history of physical reality is necessarily finite. And if having a finite past suffices for having a beginning, then, since the past history of physical reality is necessarily finite, physical reality necessarily began to exist. I show that the arguments which have been offered thus far for the view that the past is necessarily finite do not succeed. Moreover, as I elaborate on in chapter 5, having a finite past does not suffice for having a beginning. -/- As I discuss in chapter 3, the second way in which friends of the KCA have sought to defend their view that physical reality began to exist involves a family of a posteriori arguments meant to show that we have empirical evidence that physical reality has a finite past history. For example, the big bang is sometimes claimed to have been the beginning of physical reality and, since we have excellent empirical evidence for the big bang, we have excellent empirical evidence for the beginning of physical reality. The big bang can be understood in two ways. On the one hand, the big bang can be understood as a theory about the history and development of the observable universe. Understood in that sense, then I agree that the big bang is supported by excellent empirical evidence and by a scientific consensus. On the other hand, some authors (particularly science popularizers, science journalists, and religious apologists) have wrongly interpreted big bang theory as a theory about the beginning of the whole of physical reality. As I argue, while a beginning of physical reality may be consistent with classical big bang theory, classical big bang theory does not provide good reason for thinking that physical reality began to exist. -/- In part II, I turn to discussing three necessary, but not necessarily sufficient, conditions for physical reality to have a beginning. Before discussing the three conditions, in chapter 4, I introduce three metaphysical accounts of the nature of time (A-theory, B-theory, and C-theory) as well as some formal machinery that will subsequently become useful in the dissertation. I introduce the first of the three conditions in chapter 5. According to the Modal Condition, physical reality began to exist only if, at the closest possible worlds without time, physical reality does not exist. I show that this condition helps us to make sense of various views in both theology and philosophy of physics. In chapter 6}, I introduce the second of my three conditions, the Direction Condition, according to which, roughly, physical reality began to exist only if all space-time points agree about the direction of time, so that all space-time points can agree that physical reality's putative beginning took place in their objective past. In chapter 7, I discuss the third condition, the Boundary Condition, according to which physical reality began to exist only if there is a past temporal boundary such that physical reality did not exist before the boundary. I show that there are two senses in which physical reality could be said to have had a past temporal boundary. Lastly, in chapter 8, I show that there is a relationship between my three conditions and classical big bang theory, even though the relationship is not the one usually identified in the literature. -/- In part III, I present four arguments for the view that, at the present stage of philosophical and scientific inquiry, we cannot know whether physical reality satisfies the three necessary conditions to have had a beginning and, consequently, we cannot know whether physical reality had a beginning. As I will prove in chapter 9, no set of observations that we currently have, when conjoined with General Relativity, entails that physical reality satisfies the Direction or Boundary Conditions. As I show in chapter 10, considerations in the philosophical foundations of statistical mechanics entail either that the Cosmos violates the Modal Condition or else that there is a transcendental condition on the possibility of our knowledge of the past that prevents our access to data we would need to gather to determine whether physical reality satisfies the Boundary Condition. In chapter 11, I show that there are a number of live cosmological models according to which physical reality does not satisfy the Boundary Condition. As long as we don't know whether any of those cosmological models are correct, we do not know whether physical reality satisfies the Boundary Condition. Lastly, I turn to confirmation theory and show that, at our present stage of inquiry, ampliative inferences for the conclusion that physical reality satisfies the Modal, Direction, and Boundary Conditions are not successful. (shrink)

Biologists, historians of biology, and philosophers of biology often ask what is it to be an individual, really. This book does not answer that question. Instead, it answers a much more interesting one: How do biologists individuate individuals? In answering that question, the authors explore why biologists individuate individuals, in what ways, and for what purposes. The cross-disciplinary, dialogical approach to answering metaphysical questions that is pursued in the volume may seem strange to metaphysicians who are not biologically focused, but (...) it is adroitly achieved by the editors. Scott Lidgard (a paleontologist and marine ecologist) and Lynn K. Nyhart (a historian of biology) orchestrate a dialogue among historians of biology, philosophers of biology, and practicing biologists over 10 chapters. These are followed by three reflective commentaries written to frame the different disciplinary perspectives and to highlight the historical, biological, and philosophical themes across the chapters. The result is a volume—in structure and in content—that has much to be generously commended. Biological individuality is a hotly discussed topic, but it is also part of a series of long-standing arguments within both the history and philosophy of biology (HPB) and metaphysics. Notable and fervent debates have centered on evolution and the units of selection, predominantly on Michael T. Ghiselin’s and David L. Hull’s notion of species as individuals, Peter Godfrey-Smith’s Darwinian individuals, and Ellen Clarke’s individuating mechanisms. Lately, it has encompassed non-Darwinian individuals, symbiotic associations like Thomas Pradeu’s immunological individuals, and John Dupré and Maureen A. O’Malley’s metabolic individuals.2 The present volume is curated in a way to introduce the reader to new research in HPB that articulates these debates as well as to introduce and engage in the study of further notions of biological individuality. But its aim is more than an introduction. As the subtitle suggests, it is also intended to give the reader insight into the working together of biologists, historians of biology, and philosophers of biology in figuring out how the notion of biological individuality is instantiated. As such, the problem-centered dialogue that results does more than talk through biological individuality. It shows how the different and often divergent goals of the authors’ disciplines shape not only how they think about individuality but how they communicate this thinking in reciprocal collaboration with others in different disciplines. … cont’d…. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Plato on Knowledge as a Power1Nicholas D. SmithAt 471C4 in Plato’s Republic, the argument takes a sudden turn when Glaucon becomes impatient with all of the specific prescriptions Socrates has been making, and asks to return to the issue Socrates had earlier set aside—whether or not the city he was describing could ever be brought into being. In response to Glaucon’s impatient question, Socrates articulates his “third wave of (...) paradox” (472ag–7), namely, that the ills of the cities will never be ended until either philosophers become rulers or rulers become philosophers (473c11–d6). Glaucon immediately responds that such a view is likely to be greeted with violence and scorn (473e6–474a4), and so Socrates must hasten to explain his odd claim. His explanation, it turns out, is that true philosophers have an enormous cognitive advantage over non-philosophers—philosophers have and use knowledge (ἐπιστήμη), whereas non-philosophers have and use only opinion (δόξα).2 This distinction, between επιστήμη and δόξα, turns out: to be a distinction between two different cognitive powers (δυνάμεις—477d7–e3). And different powers, Plato clearly tells us, apply to or take as their objects (Plato says they are “ἐπί”) different things (477dl).In this paper, I shall argue that the relationship between the cognitive powers and their various objects has been fundamentally misunderstood, which has led scholars into one or more misinterpretations of important and explicit features of the text. At the heart of these misunderstandings, I claim, is [End Page 145] their shared misconception of the relation between the cognitive power and its objects as interpretable in terms of the relationship between a cognitive stale and what the content of that state is of or about.3 One consequence of the view for which I shall argue is that what has come to be known as the “two-worlds theory”4 of Plato’s epistemology is seriously mistaken, but no less mistaken than the alternatives given by its recent critics. Another consequence that I shall draw from my argument is that Plato should be understood neither as a kind of foundationalist with regard to knowledge and warrant, as some have supposed him to be,5 nor as a coherentist, as others have supposed,6 but, rather, as a kind of causal reliabilist. [End Page 146]1. KNOWLEDGE AS A POWERScholarly interpretations of Plato’s epistemology have routinely sought to understand the relationships between each cognitive power of Republic Book V and the objects of the ἐφ’ ᾦ (“what it is related to”) condition by which it is differentiated from other δυνάμεις as Plato’s way of telling us what each sort of cognition is of or aboul. 7 So, for example, we find Gail Fine using the expressions “belief [δόξα] is set over [Fine’s translation of Plato’s ἐπί] …” and “knowledge is set over …” interchangeably with “belief is of …” or “belief is about…” and “knowledge is of …” or “knowledge is about …”8 Against the “two-worlds theory,” Fine argues that, for Plato, there can be knowledge of sensibles and beliefs about Forms. Accordingly, since she assimilates the power-ἐπί-object set of relations to the cognilion-of/about-object relation, she concludes—in order to account for knowledge of sensibles and beliefs about Forms—that the objects of knowledge and opinion must be propositions. Plato’s claims that knowledge is ἐπί what is, whereas opinion is ἐπί what is and is not, Fine understands as, “One can only know true propositions; one can believe both true and false propositions.”9 We shall see later that this “veridical” understanding of what Plato means to identify as “what is,” and “what is and is not” fails to account for important and explicit elements of Plato’s exposition of the epistemological and metaphysical distinctions he is making. For now, it is enough to note that Fine understands the ἐφ’ᾦ) relation in terms of our cognition-of/about-object relation. One finds the same assimilation made by those who advance existential readings of Plato’s “is” and “is not,”10 as [End Page 147] well as those who have urged that we adopt predicative readings of “is” and “is not.”11But I think there are very serious problems with this assimilation. Plato is very... (shrink)

Kit Fine famously objected against the idea that essence can be successfully analyzed in terms of de re necessity. In response, I want to explore a novel, interesting, but controversial modal account of essence in terms of intrinsicality and grounding. In the first section, I will single out two theoretical requirements that any essentialist theory should meet—the essentialist desideratum and the essentialist challenge—in order to clarify Fine’s objections. In the second section, I will assess Denby’s improved modal account, which appeals (...) to the notion of intrinsicality, and argue that it is untenable. In the third section, I will explain how, when combined with a modal-existential criterion, a hyperintensional account of intrinsicality—in the same vein as Bader (J Philos 110(10): 525–563, 2013) and Rosen (in: Hale and Hoffman (eds) Modality: Metaphysics, logic, and epistemology, Oxford, OUP, 2010)—can help successfully address Fine’s counterexamples. In the fourth section, I will evaluate how this novel analysis of essence stands with respect to sortal, origin, and natural kinds essentialism and discuss potential objections and difficulties. (shrink)

People reason not only in beliefs, but also in intentions, preferences, and other attitudes. They form preferences from existing preferences, or intentions from existing beliefs and intentions, and so on. This often involves choosing between rival conclusions. Building on Broome (Rationality through reasoning, Hoboken, Wiley. https://doi.org/10.1002/9781118609088, 2013) and Dietrich et al. (J Philos 116:585–614. https://doi.org/10.5840/jphil20191161138, 2019), we present a philosophical and formal analysis of reasoning in attitudes, with or without facing choices in reasoning. We give different accounts of choosing, in (...) terms of a conscious activity or a partly subconscious process. Reasoning in attitudes differs fundamentally from reasoning _about_ attitudes, a form of theoretical reasoning in which one discovers rather than forms attitudes. We show that reasoning in attitudes has standard formal properties (such as monotonicity), but is indeterministic, reflecting choice in reasoning. Like theoretical reasoning, it need not follow logical entailment, but for a more radical reason, namely indeterminism. This makes reasoning in attitudes harder to model logically than theoretical reasoning. But it can be studied abstractly, using indeterministic consequence operators. (shrink)

How is it that a speaker _S_ can at once make it obvious to an audience _A_ that she intends to communicate some proposition _p_, and yet at the same time retain plausible deniability with respect to this intention? The answer is that _S_ can bring it about that _A_ has a high justified credence that ‘_S_ intended _p_’ without putting _A_ in a position to know that ‘_S_ intended _p_’. In order to achieve this _S_ has to exploit a (...) sense in which communication can be lottery-like. After defending this view of deniability I argue that it compares favorably to a rival account recently developed by Dinges and Zakkou (Mind, https://doi.org/10.1093/mind/fzac056, 2023 ). (shrink)

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

Proclus argues that place (topos) is a body of light, identified as the luminous vehicle of the soul, which mediates between soul and body and facilitates motion. Simplicius (in Phys. 611,10–13) suggests that this theory is original to Proclus, and unique in describing light as a body. This paper focuses on the function of this theory as a bridge between Proclus’ physics and metaphysics, allowing the Aristotelian physical notion of “natural place” to serve as a mechanism for the descent (...) and ascent of the soul. (shrink)

This chapter contains sections titled: Introduction Queer Theory Meets Liberalism: Futurity, Autonomy and Flourishing Liberal Autonomy and ‘Futurity’ Equal Consideration: What is the Difference between Spelunking and Queerness? Queer Children and the Family Liberalism, the Common School Ideal and Queer Futures Conclusion: Queer Theory and Liberalism—Is a Civil Union Possible? Notes References.

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Citation: Christodoulou, Marina. “‘To be dead is an unthinkable anomaly’ Reversed Necropolitics and the Death Imaginary.” Lo Sguardo - rivista di filosofia N. 23, 2017 (I) - Reinventare il reale. Jean Baudrillard (2007-2017) a cura di Eleonora de Conciliis, Enrico Schirò, Daniela Angelucci, pp. 127-137. Articolo sottoposto a peer review. Ricevuto il 14/10/2016. Accettato il 12/01/2017. ISSN: 2036-6558 -/- --------- -/- The concept or the theory of Death in the thought of Jean Baudrillard is not given the particular attention it (...) needs. When one speaks of the thought of Baudrillard, one rarely will mention ‘death’ as one of the keywords of his corpus. I think, though, that it deserves such a key place, for three reasons. Firstly, because the theme of Death is a gargantuan concept in the history of Philosophy and it even emerges with the definition of Philosophy itself, since, at least, Plato. Every philosopher, more or less is preoccupied with it, as an archetypical necessity of both human culture and of philosophy in particular. It is always interesting to see how each philosopher or each person thinks on it, as their thoughts on Death are a departure point and an indication of their whole philosophical system or, for non-philosophers, of their whole way of life. Secondly, it is important to examine this theme in Baudrillard because it inseparably interconnects, explains, and is explained by all the other, key, and the less prominent themes in his philosophy. Baudrillard’s thinking might take new dimensions when viewed through his thoughts on Death. Finally, Baudrillard is considered a difficult thinker, because, unlike other philosophers, he grasps themes which people are used to seeing as the pre-occupation or within the realm of fiction, even science-fiction. I would like to show, using simple language, that his philosophy, especially surrounding the subject of Death, is completely naked of any metaphysical, romanticised, fantastic, or fiction-like properties; it is realistic and political. (shrink)

At the end of the first hypothesis, Parmenides gets Aristotle to agree that being [οὐσίας] must be in time; that is, that being must partake in at least one of the temporal modes: either to have been in the past, to be in the present, or it will be in the future (140e-142a). If this is true, then “the one does not partake in being” (141e7-8), meaning temporal being—to which Aristotle agrees, saying “Apparently not” (141e9). Parmenides then gets Aristotle to (...) agree that “Therefore, ‘the one’ in no way is” (141e9-10). This, however, contradicts the very first premise that begins Parmenides’ entire gymnastic exercise, “if one is” (137c4). The problem with the previous conclusion—that to be is to be in time—is that in professing his assent to it, Aristotle, in fact, gainsays it. He performatively contradicts the very thing he wants to assert. Aristotle answers Parmenides question, “Therefore could something partake of being in any way other than in one of those ways?” (141e7-8) with a two-word answer in Greek: “οὐκ ἔστιν [It’s not possible].” We can, therefore, ask of the very claim Aristotle is making—that it is impossible for something to be and not be in time—when in time does it hold true? At what time is it “not possible [οὐκ ἔστιν]” for something to not partake of temporal being? Is it not possible only in the present moment, in the past, or in the future? If Aristotle’s assertion is to have any force it must hold always. It has the same tenselessness as mathematical propositions, like ‘1+1=2.’ Forms, like mathematical entities, must necessarily have atemporal existence. Accordingly, in atemporally maintaining that anything that is must be in time, Aristotle undermines his own assertion. He performatively contradicts the very thing that he wants to affirm. (shrink)

The doctrine that Christ is really present in the Eucharist appears to entail that Christ's body is not only multiply located but present in different ways at different locations. Moreover, the doctrine poses an even more difficult meta-question: what makes a theological explanation of the Eucharist a ‘real presence’ account? Aquinas's defence of transubstantiation, perhaps the paradigmatic account, invokes Aristotelian metaphysics and the machinery of Scholastic philosophy. My aim is not to produce a ‘rational reconstruction’ of his analysis but (...) rather to suggest a metaphysically innocent alternative that will ‘save the phenomena’ of religious belief and practice.Send article to KindleTo send this article to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.The real presenceVolume 49, Issue 1H. E. BABER DOI: https://doi.org/10.1017/S0034412512000121Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. The real presenceVolume 49, Issue 1H. E. BABER DOI: https://doi.org/10.1017/S0034412512000121Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. The real presenceVolume 49, Issue 1H. E. BABER DOI: https://doi.org/10.1017/S0034412512000121Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation Request permission. (shrink)

How serious was Kant about his suggestion, in the first edition Preface to Religion within the Bounds of Bare Reason (6:10), that he hoped his book would be suitable for use as compulsory reading for a philosophy class that theology students of the future would be required to take in their final year of study? This chapter (of a forthcoming anthology that will include chapters on all of Kant's lecturing activity) begins by sketching the pedagogical themes that develop progressively throughout (...) Religion, becoming more prominent as the text proceeds. I then turn to Kant’s own lectures, especially his Lectures on the Philosophical Doctrine of Religion and relevant passages from the various editions of his Lectures on Metaphysics, with the goal of answering two additional questions. First, do the student notes for lectures delivered prior to 1792 provide evidence that Kant followed his own, subsequently-articulated theory of moral-religious pedagogy when he taught university courses relating to religion and/or theology? And second, do the lectures notes (including those relating to lectures given after 1792) provide any evidence that Kant’s views on moral pedagogy within a religious community predated his writing of Religion? (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 concept of universal in Aristotle’s philosophy has several aspects. 1) Universal and plurality Aristotle posits universal (καθόλου) versus particular (καθ᾿ ἕκαστον) each covering a range of elements: some elements are universal while others are particulars. Aristotle defines universal as ‘that which by nature is predicated (κατηγορεῖσθαι) of many subjects’ and particular as ‘that which is not’ so. (OI ., I, 7, 17a38-b1) The plurality of possible subjects of universal is what Aristotle insists on. The inclusion of the notion of (...) ‘plurality’ in the definition of universal might make us expect to have ‘singularity’ in the definition of particular. So, when Aristotle says that universal is that which is naturally predicable of many subjects, we expect him to define the particular as ‘that which is predicable of one subject only.’ Nonetheless, Aristotle does not and indeed cannot define it this way. We cannot find a text in which he defines particular as such simply because particulars are not predicable of any subject unless we regard their predication of themselves a predication, which Aristotle does not, at least in a genuine sense. Thus, he defines a particular only negatively. Hence, the capability of predication of a plurality is indeed the capability of predication itself because the particular cannot be predicated of anything. A particular is that which cannot be predicated of anything (or: of anything else, if saying of a thing of itself is to be considered as predication). It is ‘numerically one’ and what of which the universal is predicated (Met., B, 999b34-1000a1). Those that cannot be predicated of anything, or particulars, are of two kinds: primary substances and individual accidents. Besides Categories we can hardly find a text where Aristotle discusses individual accidents maybe because they are of much less importance for him compared with substances. However, substances are what he mentions repeatedly so that we can confine particulars to substances. In fact, it is substance that Aristotle considers so repeatedly as what cannot be predicated. As the main particulars and individuals, substances are posited as the main things that are not universal. The closeness of the two concepts of ‘substance’ and ‘unpredicability’ is to the extent that he ignores individual accidents and makes these concepts equal and as the opposite of universal: ‘what is not predicated of a subject is said a substance (οὐσία λέγετα τὸ μὴ καθ᾿ ὑποκειμένου) but what is always said of some subject is called a universal.’ (Met., Z, 1038b15-16. cf. Met., B, 1003a7-9) Therefore, since particulars cannot be predicated of any subject and, thus, every predication is necessarily a predication of a plurality of subjects, the inclusion of ‘plurality’ in the definition of universal is either i) in the sense of ‘representation’ or it must be regarded as ii) an unnecessary addition mentioned just for clarification or iii) only for avoiding cases where something is predicated of itself. By the first we mean this: though a substance is not said of anything, it represents some one thing and there is some one thing that is that substance. A universal, on the other hand, can represent a plurality of things. There is, however, a third possibility that has no essential difference with the sense of representation. Aristotle might have ‘arbitrary predication’ in mind when he suses ‘plurality’ in the definition of universal: while a particular can be the arbitrary predicate of just one thing, a universal can be predicated, both really and arbitrarily, of many things. Whatever Aristotle’s intention was, what is important for our investigation is this: Aristotle uses the notion of plurality in the definition of universal in spite of the fact that it is not necessary. What this implies is that this notion is so important for Aristotle that albeit every predictability is a predictability of a possible plurality, he adds the notion of plurality. What makes this notion important, I believe, is that he has something like a class in mind when he defines a universal because the notion of plurality is indistinguishable from a class. 2) Universal and whole; particular and part In Aristotle, the concepts of universal and whole are so close: ‘That which is true of a whole class and is said to hold good as a whole (which implies that it is a kind of whole) is true of a whole in the sense that it contains many things by being predicated of each, and that each and all of them, e.g. man, horse, god, are one because all are living things (τὸ μὲν γὰρ καθόλου καὶ τὸ ὃλως λεγόμενον ὡς πολλὰ περιέχον τῷ κατηγορεῖσθαι καθ’ ἑκάστου καὶ ἓν ἃπαντα εἶναι ὡς ἑκαστον, ...). Phil Corkum points to Aristotle’s distinction between quantitative and integral wholes in Met., 5, 26, 1023b26-33 where a quantitative whole is called homoiomerous, as the sum of animal while an integral whole, e.g. a house, is called heteromerous. He links the notion of homoiomerous to the notion of indivisibility of individuals (in 1b6-9 and 3b10-18) and indivisibility of universals. He believes that in PrA., I, 4, 25b32-26a2 it is the transitivity of mereological containment that is discussed. 3) Universal is common between instances Universal is common (κοινόν) between all the plurality of subjects it can be predicated of because what belongs to more than one thing must be common between them. (Met., Z, 1038b10-12) In the Same way, what is common cannot be a particular and, thus, a substance. (Met., Z, 1040b23-24) An individual or substance is a ‘this’ and a ‘this’ cannot be what common indicates simply because it is here in ‘this’ and can be nowhere else while common must be common between several things. In fact, what can be indicated by a common is indeed a ‘such.’ (Met., B, 1003a7-9) 4) Universal is the same in its instances We have a universal i) in all of its instances and ii) in the same way (ταὐτὸ ἐπὶ πὰντων). (Met, Γ, 1005a9-10) While the first point is evident (otherwise how could it be their universal?), the second point might seem not only ambiguous but the cause of many problems. For Aristotle, therefore, a universal must be ‘one’ in number and not many. This numerically one universal is the very universal for all its instances. It is the same universal that is predicated on each of its instances. This sameness is not, however, a mere homonymous sameness or the sameness of a homonymous word. All these three points, namely oneness, sameness and rejection of mere homonymous sameness are asserted in Aristotle’s own words τι ἕν καὶ τὸ αὐτὸ ἐπὶ πλειόνων μη ὁμώνυμον. (PsA., A, 11, 77a8-9) This non-homonymous unity is asserted also in PsA., A, 24, 85b15-16. 5) Universal as predicate Contrary to substance that cannot be a predicate, universal is what cannot be prevented from being in the place of predicate. Therefore, Aristotle distinguishes universal from subject because while the latter must necessarily be capable of being a predicate, though it might take the position of subject as well, the latter does not necessarily have such a capability especially when it is a this because it cannot be a predicate in such a case: ‘For the subject and universal differ in being or not being a ‘this’; like man and body and soul are the subject of accidents while the accident is something like musical or white.’ (Met., Θ, 1049a27-30) This indicates that a universal is basically different from subject and although it can be posited in the place of subject, it is the position of predicate that is its position as a universal. In Metaphysics, Z, 13, Aristotle asserts that ‘no universal can be substance.’ The same is asserted in Met., I, 1053b16-17 cf. 1060b21. As James H. Lesher points out, Aristotle’s position is that ‘nothing predicated universally is a substance.’ 6) Universal in substance In Met., 10388b8-9 Aristotle says that no universal is a substance. While a universal cannot be a substance in the way essence (to ti en einai) is, it is, Aristotle asserts, ‘in’ it (ἐν τούτῳ δὲ ἐνυπάρχειν) (Met., Ζ, 1038b16-18). Aristotle’s examples are: animal in man and horse. A universal is ‘in’ the thing it is its universal. But in what sense a universal can be in a thing? It cannot be in it as ‘in a subject’, which is denied in Categories for secondary substances. If we check the senses of being in, we can find some other senses of ‘being in’ some of which are compatible with this sense of ‘being in.’ Michael J. Loux believes that contrary to his earlier works like Peri Ideaon and Organon in which the immanence of universals signals a reproduction of the platonic two worlds picture, in his later works like Physics and Metaphysics, when Aristotle tells us that universals are in particulars he means that they are ‘components of or ingredients in sensible particulars.’ In Metaphysics (Δ, 1014b3-9) Aristotle compares elements with universals and call them ‘the most universal things because elements are present either in all or in many things. 7) Logos is of universal Not only universals have logos (Met., Z, 1038b18-19) but ‘Every logos and every science is of universals and not of particulars.’ (Met., K, 1059b25-26) The reason is that they are the same: the logos of the unjiversal ‘circle’ is nothing but ‘being circle’ and the logos of the universal ‘soul’ is ‘being soul.’ (Met., Z, 1035b33-1036a2) The same is said about definition. (Met, Z, 1036a27-29) 8) Universal: in the soul Contrasting individuals, universals are in the soul (So., 3, 5, 417b22-23; cf. PsA., B, 19, 100a6-7). Aristotle also says that the form, i.e. the essence, of the artwork is in the soul. (met., Z, 1032a32-b2) Moreover, as Michael J. Loux points out, ‘the Peri Ideon tells us that we need universals to serve as the objects of noetic acts.’ 9) Universal: not beside individual In spite of the fact that demonstration creates the opinion that demonstrating is based on the existence of universals as existing among the existing things, they do not have existence besides individuals (PsA., A, 24, 85a31-35; Met, Λ, 1071a19-23). Aristotle believes that universals of a P-series (B203, 71) are not παρὰ τὰ εἴδη: 999a6ff. Also check De Anima, II, 3, 414b20-25 10) Primary or commensurate universal Aristotle distinguishes ‘πρῶτον καθόλού’ (PsA., B, 17, 99a33-35) literally meaning ‘primary universal’ but mostly, and truly, translated as commensurate universal. While a universal merely ‘μὴ ἀντιςτρέφει,’ a primary universal ‘ᾧ ἓκαςτον μὲν μὴ ἀντιςτρέφει’ (PsA., B, 17, 99a33-35). Aristotle mentions three conditions for a commensurate universal. It is an attribute that i) belongs to every instance of its subject (without exception!!!), and this belonging is ii) essentially and iii) qua that subject itself (ᾗ αύτό). (PsA., A, 4, 73b26-28) However, he insists that the second and the third conditions are indeed the same. (PsA., A, 4, 73b28-30) The first condition he paraphrases as ‘to belong to any random instance of that subject’ and the second and the third as ‘when the subject is the first thing to which it can be shown to belong.’ (PsA., A, 4, 73b32-74a3) Aristotle’s example is ‘the equality of its angles to two right angles’. This attribute is not a commensurate universal of figure due to the first condition: it cannot be demonstrated of any figure. Nonetheless, though it can be demonstrated of every isosceles because every isosceles has angles equal to two right angles, it is not a commensurate universal of isosceles due to the other conditions: it is not predicated of isosceles qua isosceles but qua triangle. These conditions seem to be like regulators: they organize everything to match to the right group. The method of finding commensurate universal is like test and error method based on elimination: you must eliminate each of the higher or lower universals and check if the attribute remains or not. The commensurate universal is that which remains in between eliminated universals. (cf. PsA., A, 5, 74a37-b4) Brad Inwoodpresents an understanding of commensurate universal that is different from what I have understood and, thus, must be checked: ‘These universals are propositions in which, for example, ‘all A are B’ is true and which are still true universal statements if converted: ‘all B are A’ is also true.’ -/- . (shrink)

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)

I intend to: a) clarify the origins and de facto meanings of the term relativism; b) reconstruct the reasons for the birth of the thesis named “cultural relativism”; d) reconstruct ethical implications of the above thesis; c) revisit the recent discussion between universalists and particularists in the light of the idea of cultural relativism.. -/- 1.Prescriptive Moral Relativism: “everybody is justified in acting in the way imposed by criteria accepted by the group he belongs to”. Universalism: there are at least (...) some judgments which are valid inter-culturally Absolutism: there are at least some particular prescriptions which are valid without exception everywhere and always -/- 2. The traditional proof of prescriptive moral relativism: the argument from variability: Judgments, rules, and shared values are de facto variable in time and space. The traditional counter-proof: examples of variability do not prove what skeptics contend. -/- 3. Pre-history of the doctrine -Ancient sophists: either immoralist or contractualist -Modern moral scepticism (xvii c.): variability as an historical and ethnographic fact supports a sceptical conclusion more moderate than sheer immoralism. - Voltaire, Kant, Reid counter-attack pointing at a universally shared moral sense - Romantics and idealists stage an even more moderate reformulation: instead of universally shared moral sense they point at the Spirit of a People which is: a)alternative to abstract and universal philosophical systems as far as it is lived ‘culture’; b) indivisible unity with an inner harmony and a source of normative standards; c) dynamic, in so far as it is a manifestation of the Spirit through the becoming of National cultures. -/- 4. The birth of Cultural Relativism and its ethical implications 4.1. The 18th c. doctrine was the noble savage (a non-historical doctrine: state of nature vs. social state) 4.2 Edward Tylor (1832-1817) and ethnocentric historicism Savage moral standards are real enough, but they are far and weaker than ours. 4.3 Boas and Malinowski and an holistic reaction to ethnocentric historicism -/- Franz Boas (1858-1942): a) Development of civilizations is not ruled by technical progress nor does it follow a one-way path; instead there are parallel developments (for ex. Agriculture does not follow stock-raising); b) racial characters have no relevance in development of civilization; c) we are not yet in a position to compare externally identical kinds of behaviour till we have not yet understood beliefs and intentions laying at their roots (for ex.: “From an ethnological point of view murder cannot be considered as a single phenomenon”; d) we should distinguish among different practices which are only superficially similar (fro ex. practices traditionally classified under the label “tabù”); e) there is as a fact just one normative ethic, constant in its contents but varying in its extension; f) the implication is not that we cannot judge behavior by members of other groups; it is only a recommendation of caution. -/- Bronislaw Malinowski (1884-1942): a) against Tylor’s and Frazer’s “magpie” methodology, field-work is required, a culture as a whole should be observed from inside; individual elements are incomprehensible; b) a culture is an organic whole; c) its elements are accounted for by their function (economy), avoiding non-observables (empio-criticism). -/- Ruth Benedict and Melville Herskovitz identify Boas’s approach with “cultural relativism”. Benedict: what is normal and abnormal is to be judged on a culture’s own standards, not on our own (“Anthropology and the Abnormal”). Herskovits: “Boas adumbrates what we have come to call cultural relativism” (The Mind, p. 10); “Judgements are based on experience, and experience is interpreted by each individual in terms of his own enculturation” (Man and his Works). -/- 4. How analytic philosophy understood and misunderstood the discussion 4.1. At the beginning of the 20th c., the new view in ethics was non-cognitivism (emotivist and subjectivist). Eric Westermark combines this view with an old-style ethnographic approach in support of relativity of moralities. Moralities are codes, or systems of emotive ‘disinterested’ reactions selected by evolution on their usefulness in terms of survival value for the society that is the carrier of such systems or codes. The moral relativity thesis: there are cases of disagreement that cannot be settled even after agreement about facts. 4.2 Anti-realists Brandt, Mackie, Gilbert, Harman adopt Westermark’s approach in a more sophisticated version: a) moralities are codes with an overall function and may be appraised only as wholes; b) variability is an argument for moral subjectivism; c) apparent legitimacy of deriving shift from ought is legitimized only within one institution d) morality should not be described but instead made, and existing moralities may be improved. Is it ‘real’ relativism? It is clearly subjectivism (a metaethical thesis). The normative thesis is that there better and worse codes, and survival values is the normative standard. -/- 4.3 Particularists MacIntyre, Sandel, Taylor, Wiggins, McDowell ‘Wittgensteinian’ prospectivist arguments bent to support weak-relativist claims MacIntyre: there is ‘incommensurability’ between different theoretical systems in both science and ethics. No argument is possible through different systems Different traditions may coexist for a long time without being able to bring their conflicts to a rational solution. -/- 4.4 Kantian universalists Baier, Gewirth, Rawls, Apel, Habermas Shared claim: justice concerns the right and is universal in so far as it may be based on minimal assumptions Other virtues are relative to context in so far as they are related to comprehensive views of the good - O’Neill criticism: a) it is an assumption shared by both alignments; b) after an alleged crisis brought about by alleged loss of metaphysical certainties, theories of justice have dropped demanding assumptions and kept universalism, virtue theories have kept demanding assumptions and dropped universalism; c) the opposition of virtue and justice has arisen in an unjustified way. O’Neill’s positive proposal: ‘constructive’ procedures may be adopted both (i) concerning all the range of virtues and (ii) across cultures once we abandon idealization and confine ourselves to abstraction from real-world cases. -/- 4.5 A metaethical relativist and anti-relativist normative ethicists: Bernard Williams Williams: vulgar relativism may be assumed to claim that: a) 'just' means 'just in a given society'; b) 'just in a given society' is to be understood in functionalist sense; c) it is wrong for one society’s members to condemn another society’s values. It is inconsistent since in (c) uses ‘just’ in a non-relative way that has been excluded in (a). William’s positive proposal: i) keep a number of substantive or thick ethical concepts that will be different in space and time; ii) admit that public choices are to be legitimized through recourse to more abstract procedures and relying on more thin ethical concepts. -/- 5. Critical remarks 5.1 The only real relativism available is ‘vulgar’ relativism (Westermark?) 5.2. Descriptive universalism (or absolutism) has a long pedigree, from Cicero on, reaching Boas himself but it is useless as an answer to normative questions 5.3. Twentieth-century philosophical discussion seems to discuss an ad hoc doctrine reconstructed by assembling obsolete philosophical ideas but ignoring the real theory of cultural relativism as formulated by anthropologists. -/- 6. A distinction between ethoi and ethical theories as a way out of confusions a)There are systems of conventions de facto existing. These may be studies from outside as phenomena or facts. b)There is moral argument and this, when studies from outside, is a fact, but this does not influence in any degree the possible validity of claims advanced. c) the difference between the above claims and Mackie’s criticism to Searle’s argument of the promising game is that promises, arguments etc. are also phenomena, but they are also communicative phenomena with a logical and pragmatic structure. -/- 7.Conclusions: a) cultural relativism, as a name for Boas’s methodology is a valuable discovery, and in this sense we are all relativists; b) ethical relativism, as an alleged implication of cultural relativism, has been argued in a philosophically quite unsophisticated way by Benedict and Herskovits; philosophers apparently discussed ethical relativism in the basis of a rather faint impression of what cultural relativism had been. c) a full-fledged ethical relativism has hardly been defended by anybody among philosophers; virtually no modern philosopher really argued a prescriptive version of the thesis; d) we may accept the grain of truth in ethical relativism by including relativist critique to ethical absolutism into a universalist normative doctrine that be careful in separating open-textured formulations of universal claims from culturally conditioned particular prescriptions. -/- . (shrink)

This fourth article in a six-part series correlating Kant’s philosophy with the Yijing begins by summarizing the foregoing articles: both Kant and the Yijing’s 64 hexagrams (gua) employ “architectonic” reasoning to form a four-level system with 0+4+12+(4x12) elements, the fourth level’s four sets of 12 correlating to Kant’s model of four university “faculties”. This article explores the second twelvefold set, the law faculty. The “idea of reason” guiding this wing of the comparative analysis is immortality. Three of Kant’s “quaternities” correspond (...) to three sets of four gua in the Yijing: the fourfold nature of the soul in rational psychology (as substantial, simple, unified, spatially related) corresponds to gua 47, 6, 58, 10, respectively; the three “Definitive Articles” and fourth, “Secret Article”, in Perpetual Peace correspond to gua 16, 35,51, 21; and the four objective relations of law to duty in Metaphysics of Morals correspond to gua 45, 12, 17, 25. (shrink)

A new, creative and compelling argument—even a new type of argument—for idealism is elaborated upon in this long-form essay, which is fluid and easy to read. I recently published a book with 10 new suggestive and compelling analytical arguments in favor of the primacy of consciousness over matter. I do believe that these arguments are a game changer. It is titles: "The Direct Experience, the way of non duality". Please checkout out on Amazon.

The main assumption and conclusion of this book is summarized by Nietzsche’s thought and his single sentence (Motto): "The tragic era for Europe: due to the struggle with nihilism. (Das tragische Zeitalter für Europa: bedingt durch den Kampf mit dem Nihilismus). " eKGWB/NF-1886, 7 [31]. I have translated the entire group of notes that start with a note giving Nietzsche’s location “Lenzer Heide” (Graubünden, Switzerland) dated June 10, 1887 (Lenzer Heide den 10. Juni 1887). From the first note, eKGWB/NF-1886. 5 (...) [71] and then subsection ending at the final note: eKGWB/NF-1886. 5 [110]. Also in this publication, Friedrich Nietzsche. Sämtliche Werke Kritische Studienausgabe in 15 Bänden (KSA). Volume information, KSA 12. Nachgelassene Fragmente 1885-1887, (1967). Section or notebook, five. 5 = NVÜ3. Sommer 1886—Herbst 1887. The Lenzer Heide subsection is from 5 [71] and goes to section 5 [110]. Pages for this subsection are p. 211-229 (KSA 12). The editor sometimes use letter spacing as way to emphasis what Nietzsche wrote, for example, “N i h i l i s m u s”; for the word ‘Nihilismus’. Over 190+ Nietzsche’s notes are translated in this text. Additional materials from his published writing are also included in the topics discussed. The general background is the context of Martin Heidegger’s Nietzsche interpretations. Principle conclusion: all of Nietzsche’s philosophical thought can be seen as his response to the urgent crisis of Nihilism. Countermovement to Nihilism. Additional topics and many more translations covering: the eternal return of the same, Will to Power, B. Spinoza (1632-1677), concept of meaninglessness, Nihilism and Nietzsche Thought, Stages or the outline of Nihilism, Chronological Nietzsche’s Thoughts on Nihilism, and Nietzsche on the Nihilist. Other topics covered are: Nietzsche Contra Metaphysics: Rejection of ontology and Being Rejection of God Rejection of metaphysicians Rejection of the idea of eternal Rejection of supersensuous Rejection of Platonism Rejection of the dignity of humanity (metaphysicians) Rejection of eternal values Rejection of immorality Possible Metaphysical Claims for the idea of Will-to-Power, Connection of Will to Power and Amor Fati, Anti-metaphysical and perspectivism, Nietzsche's Metahistory of philosophy, and Bibliographic sources. (shrink)

This essay provides an interpretation of Hume’s “two definitions” of causation. It argues that the two definitions of causation must be interpreted in terms of Hume’s fundamental ontological distinction between perceptions and (material) objects. Central to Hume’s position on this subject is the claim that, while there is a natural tendency to suppose that there exist (metaphysical) causal powers in objects themselves, this is a product of our failure to distinguish perceptions and objects. Properly understood, our idea of causation involves (...) no suggestion that there is anything more to causation among objects themselves than constant conjunction. A new appendix is added, discussing the relevance of this interpretation to the recent debate concerning Hume’s “causal realism.” -/- [The original of this article was published in HUME STUDIES 10 (1984), 1 - 25, with corrections added separately in the following issue.]. (shrink)

Heidegger: Bibliography of addresses and courses he took and taught: German and English / By Daniel Fidel Ferrer. Copyright ©Daniel Fidel Ferrer, 2022. All rights reserved. Copyright materials. Request permission for use from Daniel Fidel Ferrer. Attribution-NonCommercial-NoDerivs. CC BY-NC-ND. Imprint 1.0. March 2022. Pages 1-49. -/- 1. Heidegger, Martin, -- 1889-1976. 2. Heidegger, Martin, -- 1889-1976 -- Indexes. 4). Metaphysics. 5). Philosophy, German. 6). Philosophy, German – Greek influences. 7). Ontology. I. Ferrer, Daniel Fidel, 1952-. Language: English (Preface and (...) Introduction). Includes many bibliographical references in German and English. Bibliography some of the standalone address (es) – Vortrag. -/- Table of Contents Motto (page 3) Introduction (pages 4-6) Heidegger about the nature of Teaching (pages 7-8) Some general examples about Heidegger’s courses (The Tour) (pages 9-10). Bibliography Master List (pages 11-14) Martin Heidegger Courses taken and teachers (pages 15-25) Other Heidegger documents (pages 26-27) Martin Heidegger Sound Recordings (pages 28-29) After GA 102. “Megiston" and "Grundworte” (pages 30) Heidegger Addresses --- Vorträge (pages 31-47) End quotes (pages 48-49) -/- . (shrink)

Augustine’s accounts of his so-called mystical experiences in conf. 7.10.16, 17.23, and 9.10.24 are puzzling. The primary problem is that, although in all three accounts he claims to have seen “that which is,” we have no satisfactory account of what “that which is” is supposed to be. I shall be arguing that, contrary to a common interpretation, Augustine’s intellectual “seeing” of “being” in Books 7 and 9 was not a vision of the Christian God as a whole, nor of one (...) of the divine persons, each of whom is equally God, according to Augustine. This becomes clear when we attend to the fact that Augustine is appropriating a specific meaning of “that which is” or “being” used by Plotinus in his account of the lover of Beauty. This resolution, however, leads to a second question. Is there anything distinctively Christian about any, or all, of Augustine’s ascents? On the one hand, it would be odd if there were not, given that the Confessions are addressed to the Christian God. On the other hand, upon close inspection we find that the allegedly specific “Christian” characteristics that modern commentators have identified in the ascents of conf. 7 and 9 also occur in the Neoplatonists. I will argue that there is in fact one important difference between Augustine and the Neoplatonists here that has not been pointed out in these prior interpretations. (shrink)

There are four ways in which things are said to oppose (ἀντικεῖσθαι) each other: as relatives (τὰ πρός τι), as contraries (τὰ ἐναντία), as privation and possession (στρέσις καὶ ἓξις) and as affirmation and negation (κατάφασις καὶ ἀπόφασις). (Cat. , 10, 11b15-23) Aristotle’s examples are: double and half for relatives, good and bad for contraries, blindness and sight for privation and possession and ‘He is sitting’ and ‘he is not sitting’ for affirmation and negation. We discussed relatives separately thus we (...) ignore it here. A. Contraries Contraries (ἐναντία) have the following features: 1) They are not said of each other (οὐδαμῶς πρὸς ἄλληλα λέγεται) as relatives are said of each other. (Cat., 10, 11b15-23) 2) Contraries are of two kinds: a) Non-intermediables: Those that it is necessary for one or the other of them to belong to the things they naturally occur in or predicated of and accept no intermediate between themselves. Since it is necessary for one of e.g. health and sickness to occur in an animal’s body or odd and even to belong to a number, there is no intermediate between health and sickness or odd and even. (Cat., 10, 11b38-12a9; 12b28-34) b) Intermediables: Those that it is not necessary for one of them to belong to the things they naturally occur in or predicated of and accept intermediates between themselves. It is not necessary for one of e.g. black and white to belong to a body and there may be some intermediates between them. (Cat., 10, 12a9-25; 12b34-40) 3) Contraries can change to one another when the thing capable of receiving them is there. (Cat., 13a18-21) The only exception is when one of the contraries belongs to something by nature. In such cases, change is not possible as the hotness of fire cannot change to coldness while fire is still there. 4) Contraries belong to the same thing, either the same in species or in genus as e.g. sickness and health in an animal’s body or whiteness and blackness in body simply. (Cat., 10, 14a15- ) In Metaphysics (I, 1058a8-10) Aristotle asserts that contraries are in the same genus. 5) There are three possibilities about the genera of contraries: they either are in the same genus, e.g. black and white, or in the contrary genera, e.g. justice and injustice, or are themselves genera, e.g. good and bad. (Cat., 11, 14a19-25) 6) Doing and being affected admit of contrariety, e.g. heating is contrary to cooling. (Cat., 9, 11b1-4) 7) Substances only are able to receive contraries. (Cat., 5, 4a10-17) 8) There is nothing contrary to a substance, whether primary or secondary. (Cat., 5, 3b24-27) Thus, neither man nor an individual man has a contrary. 9) There is no contrary to a quantity: e.g. four-foot ot ten has no contrary. (Cat., 5, 3b27-32) 10) Otherness in species means to be contraries. (Met., I, 1058a17-20) 11) Contrariety is complete difference. Two things that have the same genus but are different in species are other than one another in the highest degree and their difference is complete, i.e. they cannot be present along with one another. (Met., I, 1058a10-16) 12) One of the contraries is a privation, which is a denial of a predicate to a determinate genus. (Met., Γ, 1011b18-20) 13) ‘Neither true judgments nor true propositions can be contrary the one to the other.’ (OI., II, 14, 24b6-7) B. Privation and possession Privation and possession are said in connection with the same thing in which the possession naturally occurs. Only that thing which is capable of receiving a possession and only when it is entirely absent from that which naturally has it and only at the time when it is natural for it to have it, is called to be deprived of it. (Cat., 10, 12a26-30) A thing is not called e.g. blind if it has never had or was not supposed to have sight. That privation and possession are not relatives is obvious from the fact that none is called just what it is, of its opposite. (Cat., 10, 12b16-21) Moreover, while relatives reciprocate, they do not. (Cat., 10, 12b21-25) That they are not contraries is explained by the classification of contraries to intermediable and non-intermediable contraries. The latter are different from privation and possession because it is necessary for one of such contraries to be predicated of absolutely everything while it is not the case about privation and possession because they are necessary only in things naturally capable of their predication. Intermediable contraries are different from privation and possession because while the former are not necessary the latter are necessary in their subject matters. (Cat., 13a3-17) Unlike contraries for each of which it is possible to change to the other, change in privation and possession is allowed only from possession to privation and not vice versa: neither a blind man gets sight nor a bald man regain his hair. (Cat., 13a18-36) C. Affirmation and negation Aristotle regards the reception of truth and falsity as the main difference affirmation and negation opposition has in respect of other three kinds of opposition: it is only affirmation and negation that it is always necessary for one of them to be true and the other to be false (Cat., 13a37-b26), no matter the subject of affirmation or negation exists or not. (Cat., 10, 13b27-35) ‘It is impossible that contradictory propositions should both be true of the same subject.’ (OI., II, 12, 21b17-18) It is evident both about relatives and those contraries that include no co-positing, e.g. health and sickness. The only cases that resemble affirmation and negation are those contraries that are said with co-positing, e.g. ‘Socrates is well’ and ‘Socrates is sick.’ Yet, Aristotle points, not even with these is it necessary always for one to be true and the other false because if Socrates does not exist, neither will be true. (Cat., 10, 13b12-19) This is true also about privation and possession: neither ‘Socrates has sight’ nor ‘Socrates is blind’ are true if he does not exist. Moreover, it is not necessary for one or the other of them to be true or false even if he exists because until the time when it is natural for Socrates to have sight, both are false. (Cat., 10, 13b20-26) . (shrink)

Aristotle differentiates between otherness (ἑτερότης) and difference (διαφορὰ). Otherness has no definite respect: one thing is other than another thing only because they are not the same. Every two things which are not the same are other than each other. Therefore, two things other than each other do not need something in which they are other than each other. Difference, on the other hand, has a definite respect and one thing is different from another thing in some respect. Thus, there (...) must be something identical whereby two different things differ. (Met. , I, 1054b23-27) Therefore, there is no difference between anything and the things outside its genus. (Met., I, 1055a26-27) 1) Difference Aristotle takes two things as identical things in which difference occurs: genus and species. All things that differ differ either in genus or in species. (Met., I, 1054b27-28) a) Difference in genus Two things are different in genus if they ‘have not their matter in common and are not generated out of each other,’ which means that they belong to different figures of predication. (Met., I, 1054b28-29) They have no way to one another and are too far distinct and are not comparable. (Met., I, 1055a6-8) b) Difference in species Two things are different in species if they have the same genus (Met., I, 1054b29-30) but are not subordinate one to the other. (Met., Δ, 1018a38-b7) 2) Contrariety Aristotle mentions five senses. In the first sense he calls contraries ‘those attributes that differ in genus, which cannot belong at the same time to the same subject.’ (Met., Δ, 1018a25-27) Three senses emphasize on having the most difference either in the same genus, the same receptive material or the same category, all similar to genus. The fifth sense also insists on having the greatest difference but mentions species besides genus as where difference occurs. (Met., Δ, 1018a27-31) It seems that Aristotle is more inclined to the second sense as his definition in Metaphysics, I, 1055a27-29 might concede: ‘The things in the same genus which differ most are contraries; for the complete difference is the greatest difference among these,’ though he agrees with the third sense too and regards those that differ most in the same receptive material also as contraries. (Met., I, 1055a29-30) In fact, Aristotle speaks of all kinds of contraries within, without or in genera: ‘All contraries must either be in the same genus or in contrary genera or be themselves genera.’ Their corresponding examples are white and black (in the same genus), justice and injustice (in contrary genera) and good and bad (themselves genera). (Cat., 11, 14a19-25) To speak generally, as one of the four kinds of opposition, contraries are those that cannot belong at the same time to the same thing. (Met., Γ, 1011b15-18) Thus, contrariety (ἐναντιότης) is complete difference (Met., I, 1055a16-17) and contraries are the extremes of things that differ in species for which generation takes place and have the greatest distance. (Met., I, 1055a8-10; Δ, 1018a38-b7) Since contraries have the extreme difference, there cannot be more than one contrary and extreme for each thing. (Met., I, 1055a19-21) Thus, the things in the same genus which differ most are contraries. (Met., I, 1055a27-28) Aristotle says that the meaning of calling two things ‘other in species’ is that they are contrary and this being other in species he posits versus being the same in species. (Met., I, 1058a17-28) Aristotle even calls ‘the difference between things which differ in species’ a difference that belongs only to things in the same species. (Met., I, 1058a26-28) The reason is that ‘all things are divided by opposites and … contraries are in the same genus … and every difference in species is a difference from something in something … Hence also all contraries which are different in species … are … other than one another in the highest degree- for the difference is complete-, and cannot be present along with one another.’ The conclusion is that ‘The difference, then, is a contrariety.’ (Met, I, 1058a8-16) There are some characteristics for contraries in Aristotle’s philosophy: a) One thing cannot have more than one contrary for there can be neither anything more extreme than the extreme, nor more than two extremes for the one interval. (Met., I, 1055a19-21) b) The primary contrariety is the contrariety between state and complete privation. (Met., I, 1055a33-37) Aristotle regards privation both as a kind of contradiction (Met., I, 1055b3-11) and as that of which contrariety is a kind: all contrariety is a privation but not all privation is contrariety. (Met., I, 1055b11-17) In fact, every contrariety involves a privation as one of its items (Met, I, 1055b17-19 and b25-29): ‘of the contraries, no less than of the contradictories, one is a privation- and a privation of substance; and privation is the denial of a predicate to a determinate genus.’ (Met., Γ, 1011b18-20) Nonetheless, the relation between contrary, privation and contradictory seems to be even more complex:’For within a single identical genus the contrary of a given attribute is either its privative or its contradictory; e.g. within number what is not odd is even, inasmuch as within this sphere even is a necessary consequent of not-odd.’ (PsA., A, 4, 73b21-24) c) A contrary cannot be an intermediate because otherwise it would not be a perfect contrary, which must be based on definition. (Met., I, 1056a12-14) d) Contraries always accept intermediates between themselves. (Met., I, 1056a14-15 e) ‘Contraries do not involve one another in their composition, and are therefore first principles.’ (Met., I, 1057b22-23) f) ‘All the inferior classes, both the contraries and their intermediates, will be compounded out of the primary contraries.’ (Met., I, 1057b31-34) g) None of the intermediables can be predicated of either of the contraries. (Met., K, 1063b19-22) h) Contrary propositions (as defined in OI, I, 7, 17b3-6) can never both be true because they state contrary conditions which cannot subsist at one and the same time in the same subject. (OI, II, 14, 24b7-) 3) Otherness in kind Aristotle also speaks of things other in kind (ἓτερα τῷ γένει) by which he means an otherness between things ‘whose ultimate substratum is other and one cannot be analysed to the other nor both into the same thing. His example of this otherness in kind is the otherness of form and matter. (Met., Δ, 1024b9-12) 4) Network of difference and wholism Aristotle speaks of a theory based on which the knowledge of each thing depends on the knowledge of its differentiae distinguishing it from every single other thing. Therefore, to know and define one thing we need to know the whole existence. (PsA., B, 13, 97a6-11) Aristotle rejects this theory based on the fact that ‘not every differentia precludes identity’ and, thus, many differentiae inhere in things specifically identical, though not in the substance of these nor essentially.’ (PsA., B, 13, 97a11-14) 5) Knowledge and difference There must be some kind of relation between knowledge and difference in Aristotle’s saying that sight, more than other senses, makes us know and bring in light many differences between things. (Met., A, 980a24-27) . (shrink)

The deceptive strangeness of prescience in Dune is typical of Herbert's ideas. The ancient Babylonians were able to systematically predict astronomical events, but contemporary astrophysicists can forecast distant events beyond the Babylonians’ wildest dreams. Herbert describes the prescience of characters like Paul as a hyperawareness of possibilities and probabilities given certain choices, rather than being able to examine a fixed future. Common sense suggests that prescience should help us live together better. The Prisoner's Dilemma can be interpreted in different ways, (...) but the basic logic is always the same. The Prisoner's Dilemma is an imaginary interaction between “prisoners,” but it actually might make more sense with prescient characters from the Duniverse. Stuart Hampshire argued that self‐knowledge tends to have the opposite effect – that it makes us freer. Prescience is a vastly expanded understanding of possible and probable consequences given information and choices, not the observation of a fixed future. (shrink)

Mental causation, idea that it is us – via our minds – who cause bodily actions is as commonsensical as it is indispensable for our understanding of ourselves as rational agents. Somewhat less uncontroversial, but nonetheless widespread (at least among ordinary people) is the idea that the mind is non-physical, following the intuition that what is physical can neither act nor think nor judge morally. Taken together, and cast into a metaphysical thesis, the two intuitions yield interactive dualism: the view (...) that human persons and their minds are non-physical but can nonetheless interact with their bodies, most notably through their brains. This thesis has two main objectives: first, to defend interactive dualism against objections, and second, to show how it can blend in with a physical world in which laws of nature hold. The first part (chapter 1) consists in a brief motivation of interactive dualism as opposed to non-interactive dualism. I argue that non-interactive, epiphenomenalist dualism sacrifices so many crucial aspects of our human existence that interactive dualism is highly to be preferred to it, barring even stronger counterarguments against the latter. It is those putative counterarguments I address in parts II and III. Part II takes on the philosophical objections from the causal closure of the physical and from causal heterogeneity. The former takes the success of physics and physiology as basis for the doctrine of the causal closure of the physical (CCP). I argue against this that there is not only no convincing argument for CCP, but also that any science-based belief in CCP cannot be epistemically justified. As regards the causal heterogeneity objection, it is ‘weighed and found wanting’, because it relies on unwarranted assumptions about causation. In part III, I examine the objection from energy conservation. It roughly says that if interactive dualism were true, then energy would not be conserved, which physics taught us cannot be the case. My reply is that the underlying conception of energy (and momentum) conservation is wrong-headed and not the one that actual physicists use. Instead of being categorical and global, conservation laws are conditional and local, thereby making natural room for mental interaction. Some dualists, however, have sought to make interactive dualism conservation-friendly, notably by invoking quantum physics; I show that these attempts are unnecessary and create more problems than they solve. Finally, in chapter 9, I turn the tables on non-interactionists by investigating current neurophysiological literature on volitional actions, which, though not addressing the question directly, still encourages the interactive dualist picture more than a non-interactionist one. Part IV is about the interplay between interactive dualism and the laws of nature. The ultimate goal is, if possible, to come up with a theory of the laws of nature that explains the lawlike behavior of nature and at the same time makes room for interaction. I begin by pointing out that the laws of nature are or at least should be what physicalists worry about (chapter 10). I then proceed with a historical survey on the development of the notion of laws of nature (chapter 11) that sheds light on its theistic origin. This is followed by an inquiry into the question how a law of nature could possibly be broken (chapter 12) and a survey of the extant metaphysical theories of the laws of nature with special regard to their receptivity to interaction (chapter 13). Finally, in chapter 14 I develop a theory of the laws of nature both faithful to their divine origin and the possibility of mental interaction: dispositionalist divine decretalism, a synthesis of dispositionalism and Jeffrey Koperski’s divine decretalism. (shrink)