In the paper we will employ set theory to study the formal aspects of quantum mechanics without explicitly making use of space-time. It is demonstrated that von Neuman and Zermelo numeral sets, previously efectively used in the explanation of Hardy’s paradox, follow a Heisenberg quantum form. Here monadic union plays the role of time derivative. The logical counterpart of monadic union plays the part of the Hamiltonian in the commutator. The use of numerals and monadic union in the classical (...) probability resolution of Hardy’s paradox [1] is supported with the present derivation of a commutator for sets. (shrink)

In this note I present a solution to Kripkenstein’s paradox, based on a very simple argument: (1) natural language and rule-following are empirical phenomena; (2) no case has been described, in real life, of a person who behaves as Wittgenstein’s or Kripke’s fictional character; (3) therefore, the discussion of such a case is completely devoid of interest. I lay out the example of a ‘Kripkensteinian apple’, which has a normal weight on even days and is weightless on odd (...) days, in order to highlight the contrast between a genuinely empirical perspective, such as that of physics, and the logical-analytical perspective, under which Kripkenstein’s paradox has attracted so much attention. (shrink)

Tropical cyclones and their pertinent natural hazards can cause destructive damage to people and properties. Vietnam, located in the Northwest Pacific basin, is highly vulnerable to tropical cyclones due to its geography (i.e., a long coastline and narrow width). In this paper, we discuss how the negative consequences of tropical cyclones on Vietnam can be exacerbated by climate change and how forests, either in the mountainous or in the coastal regions, play crucial roles in safeguarding the country from tropical cyclones (...) and their pertinent hazards (e.g., landslides and flood). Despite the importance of forests, their protection values are undermined, leading to continuous deforestation of natural forests for socio-economic development. We suggest the social transitions towards eco-surplus culture through more proactive and transparent communication of the destructive outcomes of tropical cyclones and the protection roles of forests in the current climate change era. (shrink)

The problem of measurement in economic models and the possibility of their quantum-mechanical description are considered. It is revealed that the apparent paradox of such a description is associated with a priori requirement of conformity of the model to all the alternatives of free choice of the observer. The measurement of the state of a trader on a stock exchange is formally defined as his responses to the proposals of sale at a fixed price. It is shown that an (...) analogue of Bell's inequalities for this measurement model is violated at the most general assumptions related to the strategy of the trader and requires a quantummechanical description of the dynamics of his condition. In the framework of the theory of weak continuous quantum measurements, the equation of stock price dynamics and the quantum-mechanical generalization of the F. Black and M. Scholes model for pricing options are obtained. The fundamental distinctions between the obtained model and the classical one are discussed. (shrink)

We present counterexamples to the widespread assumption that Moorean sentences cannot be rationally asserted. We then explain why Moorean assertions of the sort we discuss do not incur the irrationality charge. Our argument involves an appeal to the dual-process theory of the mind and a contrast between the conditions for ascribing beliefs to oneself and the conditions for making assertions about independently existing states of affairs. We conclude by contrasting beliefs of the sort we discuss with the structurally similar but (...) rationally impermissible beliefs of certain psychiatric patients. (shrink)

I examine the reasons Aristotle presents in Physics VIII 8 for denying a crucial assumption of Zeno’s dichotomy paradox: that every motion is composed of sub-motions. Aristotle claims that a unified motion is divisible into motions only in potentiality (δυνάμει). If it were actually divided at some point, the mobile would need to have arrived at and then have departed from this point, and that would require some interval of rest. Commentators have generally found Aristotle’s reasoning unconvincing. Against David (...) Bostock and Richard Sorabji, inter alia, I argue that Aristotle offers a plausible and internally consistent response to Zeno. I defend Aristotle’s reasoning by using his discussion of what to say about the mobile at boundary instants, transitions between change and rest. There Aristotle articulates what I call the Changes are Open, Rests are Closed Rule: what is true of something at a boundary instant is what is true of it over the time of its rest. By contrast, predications true of something over its period of change are not true of the thing at either of the boundary instants of that change. I argue that this rule issues from Aristotle’s general understanding of change, as laid out in Phys. III. It also fits well with Phys. VI, where Aristotle maintains that there is a first boundary instant included in the time of rest, but not a “first in which the mobile began to change.” I then show how this rule underlies Aristotle’s argument that a continuous motion cannot be composed of actual sub-motions. Aristotle distinguishes potential middles, points passed through en route to a terminus, from actual middles. The Changes are Open, Rests are Closed Rule only applies to actual middles, because only they are boundaries of change that the mobile must arrive at and then depart from. On my reading, Aristotle argues that the instant of arrival, the first instant at which the mobile has come to be at the actual middle, cannot belong to the time of the subsequent motion. If it did, the mobile would already be moving towards the next terminus and thus, per Phys. VI 6, would have already left. But it cannot have moved away from the midpoint at the very same moment it has arrived there. This means that the instant of arrival must be separated from the time of departure by an interval of rest. I show how Aristotle’s reasoning applies generally to rule out any continuous reflexive motion or continuous complex rectilinear motion. On my interpretation, however, the argument does not apply to every change of direction. When, as in the case of projectile motion, multiple movers and their relative powers explain why the mobile changes directions, distinct sub-motions are not involved. Aristotle holds that such motions cannot be continuous, not because they involve intervals of rest, but because they involve multiple causes of motion. My interpretation of the Changes are Open, Rests are Closed Rule allows us to make better sense of Aristotle’s argument than any previous interpretation. (shrink)

Essentialists suppose that for every individual, if that individual exists at any possible world, then necessarily that individual exemplifies some non-trivial qualitative property essential to it, as such. Anti-essentialists deny this. One important argument leveled by some anti-essentialists against essentialism takes the form of a thought experiment, one originally introduced by Roderick Chisholm, sometimes referred to as Chisholm's Paradox (CP). In this essay, I defend essentialism against CP. I begin by presenting the argument and showing how it leads to (...) a contradiction of the essentialist thesis. I then consider one of the most popular solutions to CP to date, that given by Nathan Salmon. Next, I critique Salmon's proposal and show that it is an insufficient response on behalf of the essentialist. And finally, I propose a novel solution to the paradox and discuss why it is that many metaphysician in the past have found CP plausible, despite being fallacious. (shrink)

This paper addresses a question concerning psycho­logical continuity, i.e., which features preserve the same psychological subject over time; this is not the same question as the one concerning the necessary and sufficient conditions for personal identity. Marc Slors defends an account of psychological continuity that adds two features to Derek Parfit’s Relation R, namely narrativity and embodiment. Slors’s account is a significant improvement on Parfit’s, but still lacks an explicit acknowledgment of a third feature that I call relationality. Because they (...) are usually regarded as cases of radical discontinuity, I start my discussion from the experiences of psychological disruption undergone by victims of severe violence and trauma. As it turns out, the challenges we encounter in granting continuity to the experiences of violence and trauma victims are germane to those we encounter in granting continuity to the experiences of subjects in non-traumatic contexts. What is missing in the most popular accounts of psychological continuity is an explicit acknowledgment of the links that tie our psychological lives to other subjects. A more persuasive notion of psychological continuity is not only embodied and narrative, as is Slors’s notion, but also explicitly relational. (shrink)

According to Aristotle if a universal proposition (for example: “All men are white”) is true, its contrary proposition (“All men are not white”) must be false; and, according to Aristotle, if a universal proposition (for example: “All men are white”) is true, its contradictory proposition (“Not all men are white”) must be false. I agree with what Aristotle wrote about universal propositions, but there are universal propositions which have no contrary proposition and have no contradictory proposition. The proposition X “All (...) the propositions that contradict this proposition are true” does not have the contrary proposition and does not have the contradictory proposition. In fact: FEX “All the propositions that contradict this proposition are not true” has a different subject: the subject of the proposition X is constituted by all the propositions that contradict the proposition X; by contrast, the subject of the proposition FEX is constituted by all the propositions that contradict the proposition FEX. And FOX “Not all the propositions that contradict this proposition are true” has a different subject: the subject of the proposition X is constituted by the propositions that contradict the proposition X; by contrast, the subject of the proposition FOX is constituted by the propositions that contradict the proposition FOX. According to Aristotle, a singular proposition (in his example: "Socrates is white") which is true must have its negative proposition ("Socrates is not white") which is false. I agree with Aristotle, but there are singular propositions which do not have the corresponding negative proposition. The proposition (or, rather, the pseudo-proposition) L “This same statement is not true” does not have the negative proposition because the proposition FNL “This same statement is true” has a different subject from the subject of the proposition L: the subject of the proposition L is the proposition L; by contrast, the subject of the proposition FNL is the proposition FNL. L and FNL cannot have the same subject. By contrast, the proposition M “This mount is entirely in Swiss territory” and the proposition NM “This mount is not entirely in Swiss territory” can have the same subject (for example, the Mount Eiger): in case the subject of the proposition M and the subject of the proposition NM is the same, M and NM are opposite propositions, NM is the negative proposition of M. By contrast, the proposition (or, rather, the pseudo-proposition) L "This same statement is not true" cannot have the corresponding negative proposition because FNL "This same statement is true" has a different subject: the subject of L is L ; by contrast, the subject of FNL is FNL. Then the paper continues by analyzing some variants of the liar’s paradox: L1 “The statement L1 is not true”; the so-called liar cycle; and the so-called Yablo’s paradox. (shrink)

Brentano never published on Bertrand’s paradox but claimed to have a solution. Adrian Maître has recovered from the Franz Brentano Archive Brentano’s remarks on his solution. They do not give us a worked demonstration of his solution but only an incomplete and in places obscure justification of it. Here I attempt to identify his solution, to explain what seem to me the clearly discernible parts of his justification and to discuss the extent to which the justification succeeds in the (...) light of current work on Bertrand’s paradox. (shrink)

In a recent paper by Tranchini (Topoi, 2019), an introduction rule for the paradoxical proposition ρ∗ that can be simultaneously proven and disproven is discussed. This rule is formalized in Martin-Löf’s constructive type theory (CTT) and supplemented with an inferential explanation in the style of Brouwer-Heyting-Kolmogorov semantics. I will, however, argue that the provided formalization is problematic because what is paradoxical about ρ∗ from the viewpoint of CTT is not its provability, but whether it is a proposition at all.

This book is an anthology with the following themes. Non-European Tradition: Bussanich interprets main themes of Hindu ethics, including its roots in ritual sacrifice, its relationship to religious duty, society, individual human well-being, and psychic liberation. To best assess the truth of Hindu ethics, he argues for dialogue with premodern Western thought. Pfister takes up the question of human nature as a case study in Chinese ethics. Is our nature inherently good (as Mengzi argued) or bad (Xunzi’s view)? Pfister ob- (...) serves their underlying agreement, that human beings are capable of becoming good, and makes precise the disagreement: whether we achieve goodness by cultivating autonomous feelings or by accepting external precepts. There are political consequences: whether government should aim to respect and em- power individual choices or to be a controlling authority. Early Greek Thinking: Collobert examines the bases of Homeric ethics in fame, prudence, and shame, and how these guide the deliberations of heroes. She observes how, by depending upon the poet’s words, the hero gains a quasi- immortality, although in truth there is no consolation for each person’s inevi- table death. Plato: Santas examines Socratic Method and ethics in Republic 1. There Socrates examines definitions of justice and tests them by comparison to the arts and sciences. Santas shows the similarities of Socrates’ method to John Rawls’ method of considered judgments in reflective equilibrium. McPherran interprets Plato’s religious dimension as like that of his teacher Socrates. McPherran shows how Plato appropriates, reshapes, and extends the religious conventions of his own time in the service of establishing the new enterprise of philosophy. Ac- cording to Taylor, Socrates believes that humans in general have the task of helping the gods by making their own souls as good as possible, and Socrates’ unique ability to cross-examine imposes on him the special task of helping others to become as good as possible. This conception of Socrates’ mission is Plato’s own, consisting in an extension of the traditional conception of piety as helping the gods. Brickhouse and Smith propose a new understanding of Socratic moral psychology—one that retains the standard view of Socrates as an intellectualist, but also recognizes roles in human agency for appetites and passions. They compare and contrast the Socratic view to the picture of moral psychology we get in other dialogues of Plato. Hardy also proposes a new, non-reductive understanding of Socratic eudaimonism—he argues that Socrates invokes a very rich and complex notion of the “Knowledge of the Good and Bad”, which is associated with the motivating forces of the virtues. Rudebusch defends Socrates’ argument that knowledge can never be impotent in the face of psychic passions. He considers the standard objections: that knowledge cannot weigh incom- mensurable human values, and that brute desire, all by itself, is capable of moving the soul to action. Aristotle: Anagnostopoulos interprets Aristotle on the nature and acquisition of virtue. Though virtue of character, aiming at human happiness, requires a complex awareness of multiple dimensions of one’s experience, it is not properly a cognitive capacity. Thus it requires habituation, not education, according to Aristotle, in order to align the unruly elements of the soul with reason’s knowledge of what promotes happiness. Shields explains Aristotle’s doctrine that goodness is meant in many ways as the doctrine that there are different analyses of goodness for different types of circumstance, just as for being. He finds Aristotle to argue for this conclusion, against Plato’s doctrine of the unity of the Good, by applying the tests for homonymy and as an immediate cons- equence of the doctrine of categories. Shields evaluates the issue as unresolved at present. Russell discusses Aristotle’s account of practical deliberation and its virtue, intelligence (phronesis). He relates the account to contemporary philo- sophical controversies surrounding Aristotle’s view that intelligence is neces- sary for moral virtue, including the objections that in some cases it is unnecessary or even impedes human goodness. Frede examines the advantages and disadvantages of Aristotle’s virtue ethics. She explains the general Greek con- ceptions of happiness and virtue, Aristotle’s conception of phronesis and compares the Aristotle’s ethics with modern accounts. Liske discusses the question of whether the Aristotelian account of virtue entails an ethical-psy- chological determinism. He argues that Aristotle’s understanding of hexis allows for free action and ethical responsibility : By making decisions for good actions we are able to stabilize our character (hexis). Hellenistic and Roman: Annas defends an account of stoic ethics, according to which the three parts of Stoicism—logic, physics, and ethics—are integrated as the parts of an egg, not as the parts of a building. Since by this analogy no one part is a foundation for the rest, pedagogical decisions may govern the choice of numerous, equally valid, presentations of Stoic ethics. Piering interprets the Cynic way of life as a distinctive philosophy. In their ethics, Cynics value neither pleasure nor tradition but personal liberty, which they achieve by self-suffi- ciency and display in speech that is frank to the point of insult. Plotinus and Neoplatonism: Gerson outlines the place of ordinary civic virtue as well as philosophically contemplative excellence in Neoplatonism. In doing so he attempts to show how one and the same good can be both action-guiding in human life and be the absolute simple One that grounds the explanation of everything in the universe. Delcomminette follows Plotinus’s path to the Good as the foundation of free will, first in the freedom of Intellect and then in the “more than freedom” of the One. Plotinus postulates these divinities as not outside but within each self, saving him from the contradiction of an external foundation for a truly free will. General Topics: Halbig discusses the thesis on the unity of virtues. He dis- tinguishes the thesis of the identity of virtues and the thesis of a reciprocity of virtues and argues that the various virtues form a unity (in terms of reciprocity) since virtues cannot bring about any bad action. Detel examines Plato’s and Aristotle’s conceptions of normativity : Plato and Aristotle (i) entertained hybrid theories of normativity by distinguishing functional, semantic and ethical normativity, (ii) located the ultimate source of normativity in standards of a good life, and thus (iii) took semantic normativity to be a derived form of normativity. Detel argues that hybrid theories of normativity are—from a mo- dern point of view—still promising. Ho ̈ffe defends the Ancient conception of an art of living against Modern objections. Whereas many Modern philosophers think that we have to replace Ancient eudaimonism by the idea of moral obligation (Pflicht), Ho ̈ffe argues that Eudaimonism and autonomy-based ethics can be reconciled and integrated into a comprehensive and promising theory of a good life, if we enrich the idea of autonomy by the central elements of Ancient eudaimonism. Some common themes: The topics in Chinese and Hindu ethics are perhaps more familiar to modern western sensibilities than Homeric and even Socratic. Anagnostopoulos, Brickhouse and Smith, Frede, Liske, Rudebusch, and Russell all consider in contrasting ways the role of moral character, apart from intellect, in ethics. Brickhouse / Smith, Hardy, and Rudebusch discuss the Socratic con- ception of moral knowledge. Brickhouse / Smith and Hardy retain the standard view of the so called Socratic Intellectualism. Shields and Gerson both consider the question whether there is a single genus of goodness, or if the term is a homonym. Bussanich, McPherran, Taylor, and Delcomminette all consider the relation between religion and ethics. Pfister, Piering, Delcomminette, and Liske all consider what sort of freedom is appropriate to human well-being. Halbig, Detel, and Ho ̈ffe propose interpretations of main themes of Ancient ethics. (shrink)

In this paper, I argue that the recent discussion on the time - reversal invariance of classical electrodynamics (see (Albert 2000: ch.1), (Arntzenius 2004), (Earman 2002), (Malament 2004),(Horwich 1987: ch.3)) can be best understood assuming that the disagreement among the various authors is actually a disagreement about the metaphysics of classical electrodynamics. If so, the controversy will not be resolved until we have established which alternative is the most natural. It turns out that we have a paradox, namely (...) that the following three claims are incompatible: the electromagnetic fields are real, classical electrodynamics is time-reversal invariant, and the content of the state of affairs of the world does not depend on whether it belongs to a forward or a backward sequence of states of the world. (shrink)

If I were to say, “Agnes does not know that it is raining, but it is,” this seems like a perfectly coherent way of describing Agnes’s epistemic position. If I were to add, “And I don’t know if it is, either,” this seems quite strange. In this chapter, we shall look at some statements that seem, in some sense, contradictory, even though it seems that these statements can express propositions that are contingently true or false. Moore thought it was paradoxical (...) that statements that can express true propositions or contingently false propositions should nevertheless seem absurd like this. If we can account for the absurdity, we shall solve Moore’s Paradox. In this chapter, we shall look at Moore’s proposals and more recent discussions of Moorean absurd thought and speech. (shrink)

In this exposition of important and yet often neglected developments in the history of Western spirituality, Stefan Rossbach reminds us of the philosophical and spiritual underpinnings of the Cold War era. He argues that the conflict's main protagonists - representing the "Third Rome" and the "New World" respectively - drew on the traditions of apocalypticism, millenarianism and "Gnostic" spirituality for the formation and articulation of their self-understanding as the key agents of providential history. In order to characterize the attitudes reflected (...) in these traditions, "Gnostic Wars" offers a historical analysis of conceptions of subjectivity and spiritual order which imply the possibility, and indeed the necessity, of a radical "externalization of evil". Beginning with the "Gnostic" systems of late Antiquity, the analysis follows "lines of meaning" which extend, through the millenarianism of the late Middle Ages and the Hermeticism and "Christian Cabala" of the Renaissance, right up to the present. From the long-term perspective which is thereby established, the spectre of a man-made nuclear apocalypse appears as the latest and most dramatic expression of an outlook on the human condition which refuses to accept limits in the imposition of human designs on the world. The concluding discussion of the paradoxical continuities that underlie the sense of epoch evoked by the end of the Cold War highlights this work's implications for our understanding of contemporary international politics. (shrink)

Lewis Carroll, both logician and writer, suggested a logical paradox containing furthermore two connotations (connotations or metaphors are inherent in literature rather than in mathematics or logics). The paradox itself refers to implication demonstrating that an intermediate implication can be always inserted in an implication therefore postponing its ultimate conclusion for the next step and those insertions can be iteratively and indefinitely added ad lib, as if ad infinitum. Both connotations clear up links due to the shared formal (...) structure with other well-known mathematical observations: (1) the paradox of Achilles and the Turtle; (2) the transitivity of the relation of equality. Analogically to (1), one can juxtapose the paradox of the Liar (for Lewis Carroll’s paradox) and that of the arrow (for “Achilles and the Turtle”), i.e. a logical paradox, on the one hand, and an aporia of motion, on the other hand, suggesting a shared formal structure of both, which can be called “ontological”, on which basis “motion” studied by physics and “conclusion” studied by logic can be unified being able to bridge logic and physics philosophically in a Hegelian manner: even more, the bridge can be continued to mathematics in virtue of (2), which forces the equality (for its property of transitivity) of any two quantities to be postponed analogically ad lib and ad infinitum. The paper shows that Hilbert arithmetic underlies naturally Lewis Carroll’s paradox admitting at least three interpretations linked to each other by it: mathematical, physical and logical. Thus, it can be considered as both generalization and solution of his paradox therefore naturally unifying the completeness of quantum mechanics (i.e. the absence of hidden variables) and eventual completeness of mathematics as the same and isomorphic to the completeness of propositional logic in relation to set theory as a first-order logic (in the sense of Gödel (1930)’s completeness theorems). (shrink)

Recently we proposed "quantum language" (or, the linguistic Copenhagen interpretation of quantum mechanics"), which was not only characterized as the metaphysical and linguistic turn of quantum mechanics but also the linguistic turn of Descartes=Kant epistemology. We believe that quantum language is the language to describe science, which is the final goal of dualistic idealism. Hence there is a reason to want to clarify, from the quantum linguistic point of view, the following problems: "brain in a vat argument", "the Cogito proposition", (...) "five-minute hypothesis", "only the present exists", "Copernican revolution", "McTaggart's paradox", and so on. In this paper, these will be discussed and clarified in quantum language. That is, these are not in quantum language. Also we emphasize that Leibniz's relationalism in Leibniz-Clarke correspondence is regarded as one of the most important parts of the linguistic Copenhagen interpretation of quantum mechanics. This paper is the revised version of the paper: Open Journal of Philosophy, 2018 Vol.8, No.5, 466-480). (shrink)

I suggest that looking at how Kant’s arguments relate to the stand of the discussion on the relationship between right and ethics in his times contributes to a better understanding of his own position in this matter. I contrast the terms of the pre-Kantian debate with Kant’s take on the matter, in order to point out how Kant gains a new perspective concerning the rela- tionship between ethics and right. While the most prominent pre-Kantian view construed right and ethics (...) as either resulting from the application of a general principle to di erent domains or reciprocally independent, Kant’s own account centres on the difference between outer and inner freedom. I argue that Kant thereby only differentiates two relations of freedom to different hindrances, without implying any separation. This distinction allows him to construe right and ethics as sharing the same normative force of moral obligation. Therefore I suggest that Kant’s view understands the relationship between right and ethics neither as dependence nor as independence, but highlights the normative continuity throughout morals. (shrink)

John Smith was among the first of the Cambridge Platonists. He was therefore in a position to influence not only his contemporaries but all those who followed after him well into the twentieth century and beyond. Well established lines of influence both to and from Whichcote, Cudworth, and More are explored first before moving on to less well-known connections to Bishop Simon Patrick and mathematician Isaac Barrow. Smith’s continued significance for eighteenth century theology is demonstrated through discussion of his (...) inspiration of the doctrines of spiritual sensation developed by Jonathan Edwards and John Wesley. Special notice is also given to Smith’s authority as an interpreter of Biblical prophecy through the eighteenth and nineteenth centuries. The chapter concludes with looks at Smith’s influence on Samuel Taylor Coleridge, Ralph Waldo Emerson, William Ralph Inge, Rufus Jones, Pierre Hadot, and others. This chapter, offers a broad, but highly selective, overview of the reception and influence of Smith’s life and work. It is intended, however, as a call for future research more than as an authoritative presentation of Smith’s legacy. For, if the Cambridge Platonists have been underappreciated until recently, none of them have been unjustly ignored as consistently as Smith. (shrink)

This essay critically examines the implications of digital technology on philosophy, applying Walter Benjamin's analysis of art in the mechanical age to the digital reproduction of philosophical texts. It identifies three core transformations: enhanced accessibility, global dissemination, and facilitated scholarly collaboration, brought forth by the advent of digital humanities. The discussion extends to the challenges digital mediums pose to the traditional "aura" of texts, the democratization of philosophical engagement, and the exacerbation of a digital divide among scholars. Through a (...) nuanced critique, the essay advocates for a balanced approach to digital scholarship in philosophy, emphasizing the need to harness digital tools judiciously while addressing the digital divide. This analysis contributes to the ongoing discourse on the digital history of philosophy, highlighting the complex interplay between technology and philosophical practice. (shrink)

Starting with a discussion of what I call Koyré’s paradox of conceptual novelty, I introduce the ideas of Damerow et al. on the establishment of classical mechanics in Galileo’s work. I then argue that although the view of Damerow et al. on the nature of Galileo’s conceptual innovation is convincing, it misses an essential element: Galileo’s use of the experiments described in the first day of the Two New Sciences. I describe these experiments and analyze their function. Central (...) to my analysis is the idea that Galileo’s pendulum experiments serve to secure the reference of his theoretical models in actually occurring cases of free fall. In this way Galileo’s experiments constitute an essential part of the meaning of the new concepts of classical mechanics. (shrink)

Fitch's Paradox and the Paradox of the Knower both make use of the Factivity Principle. The latter also makes use of a second principle, namely the Knowledge-of-Factivity Principle. Both the principle of factivity and the knowledge thereof have been the subject of various discussions, often in conjunction with a third principle known as Closure. In this paper, we examine the well-known Surprise Examination paradox considering both the principles on which this paradox rests and some formal characterisations (...) of the surprise notion, crucial in this paradox. Standard formalizations of the Surprise Examination paradox in modal logic do not seem, at first glance, to depend on either factivity or knowledge-of-factivity, but we will argue that both factivity and knowledge-of-factivity play a key implicit role in the paradox. Namely, they are implicitly, perhaps unintentionally, used in order to simplify the definition of surprise. We analyze modal logical formalizations of three versions of the paradox concluding that the Surprise Examination paradox is the result of two flaws: the assumption of knowledge-of-factivity, and the over-simplification of the definition of "surprise" accordingly. By fixing these two flaws, the Surprise Examination paradox vanishes. (shrink)

This article is devoted to thirtieth anniversary of the first publication in 1982 Saul Kripke's book "Wittgenstein on rules and private language". Radical skeptical interpretation of the work 'late' Ludwig Wittgenstein proposed by Saul Kripke in this book is considered one of the most famous "puzzle" of modern philosophy of language, which has become a source of much debate and discussion on the nature of the linguistic sign and its meaning. This article examines some of the consequences of a (...) radical version of skeptical 'rule-following' paradox by Saul Kripke, which remain in force and effect for finite functions and limited linguistic registers 'Ad finitum'. Thereby questioned the widely held view among analytic philosophers that the skeptical core for Saul Kripke's 'rule-following' paradox is argument 'Ad infinitum' (an inherent source of skepticism for our intention to follow the rule is concluded in itself situation of mastering for us endless function on the limited set of examples), and thus any direct or even moderate solutions of this paradox would be focused to its elimination. Thus proved that including for the field of finite functions and languages described theirs the skeptical force of 'rule-following' paradox itself completely saves. Moreover, undertaken in this article analysis detects a very quaint phenomenon to the field of language registers 'Ad finitum' - the effect of 'replication' (in the using of a linguistic phrase is always a n-th set of empirically equivalent but logically incompatible and even non-identical languages which it belongs). Study of the phenomenon of replication leads to a number of important remarks on many critics of Saul Kripke's skeptical paradox, in particular the famous Oxford philosopher Gordon Baker and Peter Hacker. Thus the concept of 'community speakers' has been called by Saul Kripke for skeptical solution to paradox of him own cannot be eliminated by the concept of 'share' and 'shareable' languages proposed for this aim by Gordon Baker and Peter Hacker. Despite the criticism the skeptical paradox 'rule-following' by Saul Kripke is still the center of attention and remains influential in modern philosophy of language and the meaning theory. (shrink)

Why is it that we respond emotionally to plays, movies, and novels and feel moved by characters and situations that we know do not exist? This question, which constitutes the kernel of the debate on »the paradox of fiction«, speaks to the perennial themes of philosophy, and remains of interest to this day. But does this question entail a paradox? A significant group of analytic philosophers have indeed thought so. Since the publication of Colin Radford's celebrated paper »How (...) Can We Be Moved by the Fate of Anna Karenina?« (1975), the number of proposals to solve, explain, reformulate, dismiss or even revitalize this apparent paradox has continued to proliferate. In line with recent developments in the philosophy of emotion, in this paper I will argue against the sustainability of the paradox, claiming that the only reasonable way to continue our discussions about it consists in using it as a heuristic tool to shed light on problems regarding our involvement with fiction. Against this background, I will then focus on one of the problems related to how our emotional responses to fiction contribute to our appreciation of it. The paper is divided into three main sections. The first section shows the parallel evolution of the paradox of fiction and the analytic philosophy of emotion. Here I claim that, although the paradox is epistemically flawed, since one of its premises is rooted in a limited view on the emotions typical of early cognitiv-ism, the discussions it provokes are still epistemically useful. As Robert Stecker (2011, 295), among others, has pointed out, the paradox was formulated during the heyday of cognitive theories of the emotions in which emotion necessarily requires belief. Today, however, only few authors would endorse this premise. If emotion does not always require belief (as the majority of authors in the contemporary debate admit), let alone belief about the existence of the object towards which it is directed, then there is no reason to speak of a paradox. From this first conclusion, however, it does not follow that the paradox is completely without use from the epistemic point of view. A glimpse at the topics touched on during the discussions about how to solve, reformulate, or negate the paradox reveals their value in shedding light on the interrelation between emotion and fiction. The second section elaborates a phenomenologically inspired cognitive account of the emotions by focusing on their cognitive bases, their influence on Emotion in the Appreciation of Fiction 205 cognitions, and their cognitive function. In this model, emotions are responsible for indicating values, for showing what matters to us, and for being appropriate to their objects. My claim is that this view applies not only to reality, but also to our involvement with fiction. In the final section I draw on this account to focus on one kind of appreciation of fiction which necessarily requires our emotional involvement. Following an idea put forward by Susan Feagin (1996, 1), I employ the concept of »appre-ciation« to refer to a set of abilities exercised with the aim of extracting value from the work. There is a long tradition in aesthetics that condemns any focus on the emotions in the appreciation of art and fiction, and defends the necessity of aesthetic appreciation without emotional influence. To refer to this negative attitude towards the emotions, I will borrow an expression coined by Susan Feagin (2013, 636), who refers to »the intellectualized view of appreciation«. Against this widespread view, I will argue that some aspects of the fiction can only be appreciated with the help of our emotions. The cognitive approach developed in the previous section can explain how the emotions might in fact play a significant role in the appreciation of art and fiction. Attention will be paid to three activities involved in appreciation, for all of which emotion is crucial: processing relevant information about the fictional world, understanding aspects of it, and becoming acquainted with the values it presents. My aim here is to argue that there are particular aspects of the fictional world that can only be appreciated if recipients have the appropriate emotions. (shrink)

Gödel's Philosophical Legacy Kurt Gödel's contributions to philosophy extend beyond his incompleteness theorems. He engaged deeply with the work of other philosophers, including Immanuel Kant and Edmund Husserl, and explored topics such as the nature of time, the structure of the universe, and the relationship between mathematics and reality. Gödel's philosophical writings, though less well-known than his mathematical work, offer rich insights into his views on the nature of existence, the limits of human knowledge, and the interplay between the finite (...) and the infinite. His work continues to inspire and challenge philosophers, mathematicians, and scientists, inviting them to explore the profound and often enigmatic questions at the heart of human understanding. -/- Kurt Gödel's Broader Contributions to Philosophy Kurt Gödel, while primarily known for his monumental incompleteness theorems, made significant contributions that extended beyond the realm of mathematical logic. His philosophical pursuits deeply engaged with the works of eminent philosophers like Immanuel Kant and Edmund Husserl. Gödel's explorations into the nature of time, the structure of the universe, and the relationship between mathematics and reality reveal a profound and multifaceted intellectual legacy. -/- Engagement with Immanuel Kant Gödel held a deep interest in the philosophy of Immanuel Kant. He admired Kant's critical philosophy, particularly the distinction between the noumenal and phenomenal worlds. Kant posited that human experience is shaped by the mind’s inherent structures, leading to the conclusion that certain aspects of reality (the noumenal world) are fundamentally unknowable. Gödel’s incompleteness theorems echoed this Kantian theme, illustrating the limits of formal systems in capturing the totality of mathematical truth. Gödel believed that mathematical truths exis t independently of human thought, akin to Kant's noumenal realm. This philosophical alignment provided a robust foundation for Gödel's Platonism, which asserted the existence of mathematical objects as real, albeit abstract, entities. -/- Influence of Edmund Husserl Gödel was also profoundly influenced by Edmund Husserl, the founder of phenomenology. Husserl's phenomenology emphasizes the direct investigation and description of phenomena as consciously experienced, without preconceived theories about their causal explanation. Gödel saw Husserl's work as a pathway to bridge the gap between the abstract world of mathematics and concrete human experience. Husserl's ideas about the structures of consciousness and the intentionality of thought resonated with Gödel's views on mathematical intuition. Gödel believed that human minds could access mathematical truths through intuition, a concept that draws on Husserlian phenomenological methods. -/- The Nature of Time and the Universe Gödel's philosophical inquiries extended to the nature of time and the structure of the universe. His collaboration with Albert Einstein at the Institute for Advanced Study led to the development of the "Gödel metric" in 1949. This solution to Einstein's field equations of general relativity described a rotating universe where time travel to the past was theoretically possible. Gödel's model challenged conventional notions of time and causality, suggesting that the universe might have a more intricate structure than previously thought. Gödel's exploration of time was not just a mathematical curiosity but a profound philosophical statement about the nature of reality. He questioned whether time was an objective feature of the universe or a construct of human consciousness. His work hinted at a timeless realm of mathematical truths, aligning with his Platonist view. -/- Mathematics and Reality Gödel's philosophical outlook extended to the broader relationship between mathematics and reality. He believed that mathematics provided a more profound insight into the nature of reality than empirical science. For Gödel, mathematical truths were timeless and unchangeable, existing independently of human cognition. This perspective led Gödel to critique the materialist and mechanistic views that dominated 20th-century science and philosophy. He argued that a purely physicalist interpretation of the universe failed to account for the existence of abstract mathematical objects and the human capacity to understand them. Gödel's philosophy suggested a more integrated view of reality, where both physical and abstract realms coexist and inform each other. -/- Gödel's Exploration of Time Kurt Gödel, one of the most profound logicians of the 20th century, ventured beyond the confines of mathematical logic to explore the nature of time. His inquiries into the concept of time were not merely theoretical musings but were grounded in rigorous mathematical formulations. Gödel's exploration of time challenged conventional views and opened new avenues of thought in both physics and philosophy. -/- Gödel and Einstein Gödel’s interest in the nature of time was significantly influenced by his friendship with Albert Einstein. Both were faculty members at the Institute for Advanced Study in Princeton, where they engaged in deep discussions about the nature of reality, time, and space. Gödel's exploration of time culminated in his solution to Einstein's field equations of general relativity, known as the Gödel metric. -/- The Gödel Metric In 1949, Gödel presented a model of a rotating universe, which became known as the Gödel metric. This solution to the equations of general relativity depicted a universe where time travel to the past was theoretically possible. Gödel’s rotating universe contained closed timelike curves (CTCs), paths in spacetime that loop back on themselves, allowing for the possibility of traveling back in time. The Gödel metric posed a significant philosophical challenge to the conventional understanding of time. If time travel were possible, it would imply that time is not linear and absolute, as commonly perceived, but rather malleable and subject to the geometry of spacetime. This raised profound questions about causality, the nature of temporal succession, and the very structure of reality. -/- Philosophical Implications Gödel’s exploration of time extended beyond the mathematical implications to broader philosophical inquiries: Nature of Time: Gödel questioned whether time was an objective feature of the universe or a construct of human consciousness. His work suggested that our understanding of time as a linear progression from past to present to future might be an illusion, shaped by the limitations of human perception. -/- Causality and Free Will: The existence of closed timelike curves in Gödel’s model raised questions about causality and free will. If one could travel back in time, it would imply that future events could influence the past, potentially leading to paradoxes and challenging the notion of a deterministic universe. -/- Temporal Ontology: Gödel's work contributed to debates in temporal ontology, particularly the debate between presentism (the view that only the present exists) and eternalism (the view that past, present, and future all equally exist). Gödel’s rotating universe model seemed to support eternalism, suggesting a block universe where all points in time are equally real. Philosophy of Science: Gödel’s exploration of time had implications for the philosophy of science, particularly in the context of understanding the limits of scientific theories. His work underscored the importance of considering philosophical questions when developing scientific theories, as they shape our fundamental understanding of concepts like time and space. -/- Legacy Gödel’s exploration of time remains a significant and controversial contribution to both physics and philosophy. His work challenged established notions and encouraged deeper inquiries into the nature of reality. Gödel’s rotating universe model continues to be a topic of interest in theoretical physics and cosmology, inspiring new research into the nature of time and the possibility of time travel. In philosophy, Gödel’s inquiries into time have prompted ongoing debates about the nature of temporal reality, the relationship between mathematics and physical phenomena, and the limits of human understanding. His work exemplifies the intersection of mathematical rigor and philosophical inquiry, demonstrating the profound insights that can emerge from such an interdisciplinary approach. The Temporal Ontology of Kurt Gödel Kurt Gödel's profound contributions to mathematics and logic extend into the realm of temporal ontology—the philosophical study of the nature of time and its properties. Gödel's insights challenge conventional perceptions of time and suggest a more intricate, layered understanding of temporal reality. This essay explores Gödel's contributions to temporal ontology, particularly through his engagement with relativity and his philosophical reflections. -/- Gödel's Rotating Universe One of Gödel’s most notable contributions to temporal ontology comes from his work in cosmology, specifically his solution to Einstein’s field equations of general relativity, known as the Gödel metric. Introduced in 1949, the Gödel metric describes a rotating universe with closed timelike curves (CTCs). These curves imply that, in such a universe, time travel to the past is theoretically possible, presenting a significant challenge to conventional views of linear, unidirectional time. -/- Implica tions for Temporal Ontology Gödel's rotating universe model has profound implications for our understanding of time: Eternalism vs. Presentism: Gödel’s model supports the philosophical stance known as eternalism, which posits that past, present, and future events are equally real. In contrast to presentism, which holds that only the present moment exists, eternalism suggests a "block universe" where time is another dimension like space. Gödel’s rotating universe, with its CTCs, reinforces this view by demonstrating that all points in time could, in principle, be interconnected in a consistent manner. Non-linearity of Time: The possibility of closed timelike curves challenges the idea of time as a linear sequence of events. In Gödel’s universe, time is not merely a straight path from past to future but can loop back on itself, allowing for complex interactions between different temporal moments. This non-linearity has implications for our understanding of causality and the nature of temporal succession. Objective vs. Subjective Time: Gödel’s work invites reflection on the distinction between objective time (the time that exists independently of human perception) and subjective time (the time as experienced by individuals). His model suggests that our subjective experience of a linear flow of time may not correspond to the objective structure of the universe. This raises questions about the relationship between human consciousness and the underlying temporal reality. -/- Gödel and Philosophical Reflections on Time Gödel’s engagement with temporal ontology was not limited to his cosmological work. He also reflected deeply on philosophical questions about the nature of time and reality, drawing on the ideas of other philosophers and integrating them into his own thinking. Kantian Influences: Gödel was influenced by Immanuel Kant’s distinction between the noumenal world (things as they are in themselves) and the phenomenal world (things as they appear to human observers). Gödel’s views on time echoed this distinction, suggesting that our perception of time might be a phenomenon shaped by the limitations of human cognition, while the true nature of time (the noumenal aspect) might be far more complex and non-linear. Husserlian Phenomenology: Gödel’s interest in Edmund Husserl’s phenomenology also informed his views on time. Husserl’s emphasis on the structures of consciousness and the intentionality of thought resonated with Gödel’s belief in the importance of intuition in accessing mathematical truths. Gödel’s reflections on time incorporated a phenomenological perspective, considering how temporal experience is structured by human consciousness. Mathematical Platonism: Gödel’s Platonist views extended to his understanding of time. Just as he believed in the independent existence of mathematical objects, Gödel saw time as an objective entity with a structure that transcends human perception. His work on the Gödel metric can be seen as an attempt to uncover this objective structure, revealing the deeper realities that underlie our experience of time. (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)

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)

I want to examine the implications of a metaphysical thesis which is presupposed in various objections to Rawls' theory of justice.Although their criticisms differ in many respects, they concur in employing what I shall refer to as the continuity thesis. This consists of the following claims conjointly: (1) The parties in the original position (henceforth the OP) are, and know themselves to be, fully mature persons who will be among the members of the well-ordered society (henceforth the WOS) which is (...) generated by their choice of principles of justice. (2) The OP is a conscious event among others, integrated (compatibly with the constraints on knowledge and motivation imposed on the parties) into the regular continuity of experience that comprises each of their ongoing constitutes lives. (3) The parties in the OP thus are, and regard themselves as, psychologically continuing persons, partially determined in personality and interests by prior experiences, capable of recollection and regret concerning the past, anticipation and apprehensiveness regarding the future, and so on. Although the continuity thesis as stated above is not at odds with any of the conditions that define the OP, its exegetical validity is a matter for discussion. I shall be concerned to argue that if it is indeed contained in or a consequence of Rawls' theory, then it casts into doubt the capacity of the OP to generate or justify any principles of justice at all. On the other hand, if the continuity thesis is viewed as dispensable and unnecessary to the Rawlsian enterprise, then Rawls is correct in maintaining the irrelevance of the question of personal identity to the construction of his moral theory. In this case, the contract-theoretic, instrumentalist justification for the two principles of justice (henceforth the 2PJ) needs to be supplanted by a modified conception of wide reflective equilibrium. The considerations that form the bulk of this discussion then may be understood as providing a rationale for Rawls' recent revisions in the model of justification on which his theory of justice rests, and for his increasing emphasis on us as moral mediators between the OP and the WOS. Now I want to consider the question of whether or not, given the textual evidence, anything like the continuity thesis is stated or implied by Rawls, and what problems for his theory, if any, turn on a positive or negative answer to this question. -/- . (shrink)

We address the need for a model by considering two competing theories regarding the origin of life: (i) the Metabolism First theory, and (ii) the RNA World theory. We discuss two interrelated points, namely: (i) Models are valuable tools for understanding both the processes and intricacies of origin-of-life issues, and (ii) Insights from models also help us to evaluate the core objection to origin-of-life theories, called “the inefficiency objection”, which is commonly raised by proponents of both the Metabolism First theory (...) and the RNA World theory against each other. We use Simpson’s Paradox (SP) as a tool for challenging this objection. We will use models in various senses, ranging from taking them as representations of reality to treating them as theories/accounts that provide heuristics for probing reality. In this paper, we will frequently use models and theories interchangeably. Additionally, we investigate Conway’s Game of Life and contrast it with our SP-based approach to emergence-of-life issues. Finally, we discuss some of the consequences of our view. A scientific model is testable in three senses: (i) a logical sense, (ii) a nomological sense, and (iii) a current technological sense. The SP-based model is testable in the first two senses but it is not feasible to test it using current technology. (shrink)

The paper continues the consideration of Hilbert mathematics to mathematics itself as an additional “dimension” allowing for the most difficult and fundamental problems to be attacked in a new general and universal way shareable between all of them. That dimension consists in the parameter of the “distance between finiteness and infinity”, particularly able to interpret standard mathematics as a particular case, the basis of which are arithmetic, set theory and propositional logic: that is as a special “flat” case of Hilbert (...) mathematics. The following four essential problems are considered for the idea to be elucidated: Fermat’s last theorem proved by Andrew Wiles; Poincaré’s conjecture proved by Grigori Perelman and the only resolved from the seven Millennium problems offered by the Clay Mathematics Institute (CMI); the four-color theorem proved “machine-likely” by enumerating all cases and the crucial software assistance; the Yang-Mills existence and mass gap problem also suggested by CMI and yet unresolved. They are intentionally chosen to belong to quite different mathematical areas (number theory, topology, mathematical physics) just to demonstrate the power of the approach able to unite and even unify them from the viewpoint of Hilbert mathematics. Also, specific ideas relevant to each of them are considered. Fermat’s last theorem is shown as a Gödel insoluble statement by means of Yablo’s paradox. Thus, Wiles’s proof as a corollary from the modularity theorem and thus needing both arithmetic and set theory involves necessarily an inverse Grothendieck universe. On the contrary, its proof in “Fermat arithmetic” introduced by “epoché to infinity” (following the pattern of Husserl’s original “epoché to reality”) can be suggested by Hilbert arithmetic relevant to Hilbert mathematics, the mediation of which can be removed in the final analysis as a “Wittgenstein ladder”. Poincaré’s conjecture can be reinterpreted physically by Minkowski space and thus reduced to the “nonstandard homeomorphism” of a bit of information mathematically. Perelman’s proof can be accordingly reinterpreted. However, it is valid in Gödel (or Gödelian) mathematics, but not in Hilbert mathematics in general, where the question of whether it holds remains open. The four-color theorem can be also deduced from the nonstandard homeomorphism at issue, but the available proof by enumerating a finite set of all possible cases is more general and relevant to Hilbert mathematics as well, therefore being an indirect argument in favor of the validity of Poincaré’s conjecture in Hilbert mathematics. The Yang-Mills existence and mass gap problem furthermore suggests the most general viewpoint to the relation of Hilbert and Gödel mathematics justifying the qubit Hilbert space as the dual counterpart of Hilbert arithmetic in a narrow sense, in turn being inferable from Hilbert arithmetic in a wide sense. The conjecture that many if not almost all great problems in contemporary mathematics rely on (or at least relate to) the Gödel incompleteness is suggested. It implies that Hilbert mathematics is the natural medium for their discussion or eventual solutions. (shrink)

In current discussions on the problem of the metaphysical nature of the word, four factions – eliminativism, nominalism, originalism, and the type-token theory – take an active part. For eliminativism, words as separate entities do not exist; they are only a useful cognitive illusion. In the process of communication, competent speakers make sounds and inscriptions through which they are able to infer certain intentional contents of each other’s cognitive states. However, these sounds and inscriptions cannot be regarded as instances of (...) words since they do not possess the phonological and orthographic properties constitutive of words. For nominalism, by contrast, the streams of sounds and ink patterns produced by competent speakers serve as relevant instances of a particular word, or its tokens. What we usually call “words” are collections of such tokens, composed on the basis of similarity relations (phono- logical, orthographic or semantic). For originalism, the streams of sounds and ink patterns created by competent speakers are stages of words, understood as continuants, concrete ob- jects preserving identity over time, individualized by the causal history of their origin. Words are created by competent speakers through the practice of naming and spread through chains of interpersonal contact. The phonological, orthographic and semantic properties possessed by different stages of the same word are generally useless for a proper description of objects such as words. At different times of their existence, words can change any of their properties (pronunciation, spelling, and even reference) while preserving their identity in time. For the type-token theory, words are types, or abstract objects encoding a particular phonographic pattern, which in the process of communication must be instantiated by a competent native speaker by uttering or writing the appropriate token. The type-token theory has several ad- vantages over the views of eliminativism, nominalism and originalism. Firstly, it offers a unified ontology of linguistic structures (since the division into tokens and types extends here to the whole range of linguistic units, including sentences and letters). Secondly, unlike most of its competitors, it is able to present a clear operational criterion for word identity, while being consistent with most of our intuitive notions of intra- and cross-linguistic phenomena (homonymy, synonymy, etc.). (shrink)

David Kaplan famously argued that mainstream semantics for modal logic, which identifies propositions with sets of possible worlds, is affected by a cardinality paradox. Takashi Yagisawa showed that a variant of the same paradox arises when standard possible worlds semantics is extended with impossible worlds to deliver a hyperintensional account of propositions. After introducing the problem, we discuss two general approaches to a possible solution: giving up on sets and giving up on worlds, either in the background semantic (...) framework or in the corresponding conception of propositions. As a result, we conclude that abandoning worlds by embracing a truthmaker-based approach offers a promising way to account for hyperintensional propositions without facing the paradoxical outcome. (shrink)

Identity in the philosophical literature has until recently be confined mostly to ruminations on the self: as soul in Plato; rationality connected to, but not coterminous with, the body in Descartes; uninterrupted consciousness in Locke; a stream of experiences which a thing has in relation to itself in Hume; an emotive life in Rousseau; as noumenal self about which we can know little in Kant; as will in Schopenhauer; as an elusive but nonspecific something in Wittgenstein; and as the continuous, (...) purposive struggle of creative power against an historically contingent concatenation of social, political, and cultural forces in Nietzsche and Foucault. Yet what follows is not a summary of metaphysics or philosophy of mind. There also is not sufficient space here to examine identity in each of the separate disciplines. Instead, what follows are some prefatory discursive remarks about identity; then, owing to the dominance of psychological theories on identity, a brief overview of some of its salient themes will be adumbrated; this will be followed by a discussion on identity formation and maintenance both in political philosophy and philosophy of education. (shrink)

The book, which constitutes part of the current feminist research as broadly understood, deals in particular with issues related to the philosophical approach to women’s experience. The main thrust of the research is to ask questions such as: What is women’s experience? Is it generally possible to speak of women’s typical experiences? Does it influence knowledge, and if so, how? Does it influence women’s perception and interpretation of art, and if so, how? And finally, taking a broader perspective: can women’s (...) experience serve as a basis for distinguishing philosophical theories specific to women? Within the framework of feminist philosophy developed since the 1960s and 70s, researchers have employed the concept of women’s experience, but this concept has not yet been comprehensively elaborated and defined. Importantly, women’s experience also plays an essential role in the project of feminist esthetics, whose isolation from traditional esthetic reflection has been proposed by certain feminist authors. Therefore, the book also discusses the problem of the relationship of women’s experience in the feminist approach to the feminist esthetics postulated by researchers both male and female. The book takes the position that feminist philosophy is an integral part of traditional philosophical research, a part in which the feminist perspective is applied. This perspective is understood as a theoretical research tool, applied in the humanities and social sciences, in order to unmask the gender-related elements in traditional discourses and to determine their impact on the results of the conducted research, i.e., the knowledge obtained thereby. In this sense, the feminist perspective is of an evaluative and critical but also transformative nature, because the purpose of its application is to appreciate and highlight women and the phenomenon of womanhood as well as to incorporate gender-related categories within philosophical reflection and academic research. This goal is expressed in the practical demand for a transformation of sociopolitical practice and theory that takes women’s ways of experiencing reality into account. In this approach, the feminist perspective paradoxically brings us closer to the attainment of more universal, holistic, and gender-transcending knowledge. The order of the considerations presented in the book was dictated by their main objective: a philosophical approach to and description of women’s esthetic experiences. The first part comprises a reconstruction of the historical development of feminism, in which three waves of feminism―which, from the perspective of a contemporary researcher, constitute a historically complete field of research―are discussed in a synthetic manner. The first part of these considerations concludes the introduction to feminist philosophy, specifically through the reconstruction of selected critical arguments advanced by feminist researchers regarding the traditional theory of cognition. The second part of the book covers issues in the field of feminist philosophy. The considerations presented here are focused on the concept of women’s cognitive experience, of which women’s experience of an esthetic character constitutes a particular type. Hence, studies of feminist epistemology are presented first, followed by studies of feminist esthetics. Analysis of the esthetic experiences of women is carried out in two stages: first, through reference to a philosophical approach to women’s cognitive experiences, and second, on this basis, through indicating fundamental differences between feminist and androcentric understandings of esthetic experiences. Although critical references to feminist ideas and solutions appear in many places in the book, on the most general level the considerations presented here are consistent with the feminist ideal of merging theory and practice. Feminism, in essence, has grown from socio-political practice and evolved toward detailed philosophical and scientific theories. Importantly, these theories are continually being revised and creatively developed. Feminist researchers refer to women’s life practices because it is the latter that determines whether a given theory adequately addresses problems affecting women. Therefore, the research presented in the book is focused on women’s experiences, which, in the author’s opinion, constitute the reference point for any and all reflections taking the feminist perspective into account. -/- . (shrink)

In anticipation of the journal’s centenary in 2027 this paper provides a citation network analysis of all available citation and publication data of the Australasian Journal of Philosophy (1923–2017). A total of 2,353 academic articles containing 21,772 references were collated and analyzed. This includes 175 articles that contained author-submitted keywords, 415 publisher-tagged keywords and 519 articles that had abstracts. Results initially focused on finding the most published authors, most cited articles and most cited authors within the journal, followed by most (...) discussed topics and emerging patterns using keywords and abstracts. The analysis then proceeded to apply social network analysis using Kumu© – a visualization platform for mapping systems and relationships using large datasets. Analysis reveals topic clusters both unique to the journal, and inclusive of the journal’s history. Results from this analysis reaffirm the journal’s continuing focus on topics in traditional analytic philosophy such as morality, epistemology and knowledge, whilst also featuring topics associated with logic and paradox. This paper presents a new approach to analysing and understanding the historic and emerging topics of interest to the journal, and its readership. This has never previously been done for single philosophy journal. This is historically important given the journal’s forthcoming centenary. (shrink)

In Toleranz im Konflikt and in other works the German philosopher Rainer Forst presents an intricate interpretation of tolerance as a moral-political virtue. His aim is to resolve many of the well-known paradoxes by distinguishing different components of tolerance and distinguishing the reasons that we may have for objecting, accepting or rejecting certain practices and views. Good ethical reasons for objecting to certain practices and views do not morally justify their suppression by legal means and state power. In this way (...) Forst connects his inclusive analysis of tolerance, with both his account of the contexts of justification and his defense of what he calls the moral right to justification. In his critical discussion Tim Heysse sounds the political implications of this analysis of tolerance. He criticizes its exclusive focus on political and legal power and its corresponding neglect of social power. However, he also calls attention to the fact that Forst’s analysis has the merit of revealing tolerance as a potential source of political conflict in society. (shrink)

Wuwei (nonaction) is one of the core concepts of Daoist ethics. Edward Slingerland pointed out that wuwei involves a paradox, and Arthur C. Danto questioned whether wuwei could support a genuine moral theory and the idea of right action. To defend Daoist ethics and its concept of right action, it is necessary to envisage Danto’s criticism and the problems raised by Slingerland. According to Ivanhoe, Wuwei is not a paradox, but a riddle or mystery about self-cultivation. He thinks (...) that if people could find the trick to the riddle, they can realize Wuwei. Ivanhoe’s analysis failed. Nickolas Knightly argues that we must acknowledge the paradox of Wuwei squarely. Based on criticizing Ivanhoe’s and Knightly’s schemes, this paper further analyzes the strategies to deal with the paradox of Wuwei. Wuwei should be placed in a specific situation and context. Wuwei requires the agents to have the corresponding psychological motivation, which will not continuously interfere with the purpose of action. Wuwei, as the behavior evaluation word of Daoist ethics, corresponds to moral anti-realism and nonassertive moral abolitionism. (shrink)

This paper presents a paradox based on the following assumptions: that emotions are warranted when you are justified in thinking that the emotion is fitting, that there are warranted cases of past-directed fear, that fear is fitting in the face of its formal object: dangerousness, and that this formal object consists in a probability of damage or harm to something of value. The paper then discusses three likely solutions: (1) denying that past-directed fear can be warranted, (2) using an (...) alternative formulation of fear's formal object, and (3) giving up warrant as justified as fittingness. Finally, it provides a case for the third solution and presents a warrant-based approach to fittingness and the appropriateness of emotions in general. (shrink)

In this paper, I propose the concept of the “animated persona,” a soundless voice that says, “I am here” and appears on the surface of someone or something. This concept can bring clarity to the experience of perceiving a kind of personhood on a corpse, a wooden mask, or even a tree. In the first half of this paper, I will examine some Japanese literature and a work of Viktor Frankl’s that discuss these phenomena. In the second half, I will (...) analyze the concept of animated persona from five perspectives: (1) a compelling power, (2) surface-ness, (3) religious experience, (4) universality, and (5) the meaning of “I.” Lastly, I will discuss the relationship among the three layers of biological object, animated persona, and self-conscious being. My aim is to shed new light on the meaning of the encounter between the living and the dead. (shrink)

One of the questions regarding the Parmenides is whether Plato was committed to any of the arguments developed in the second part of the dialogue. This paper argues for considering at least one of the arguments from the second part of the Parmenides, namely the argument of the generation of numbers, as being platonically genuine. I argue that the argument at 142b-144b, which discusses the generation of numbers, is not deployed for the sake of dialectical argumentation alone, but it rather (...) demonstrates key platonic features, such as the use of the greatest kinds and the generation principle. The connection between the argument for the generation of numbers and Plato’s philosophy of mathematics is strengthened by the exploration of a possible reference in Aristotle’s Metaphysics A6. Taken as a genuine platonic theory, the argument could have significant impact on how we understand Plato’s philosophy of mathematics in particular, and the ontology of the late dialogues in general – that numbers can be reduced to more basic entities, i.e the greatest kinds, in a way similar to the role the greatest kinds are assigned in the Sophist. (shrink)

The Russell's paradox concerns the foundations of naive set theory. This short short paper is about how it can be interpreted in other contexts and has significance in the world of commands. Understanding the paper assumes that the reader is broadly familiar with the foundations of set theory and its history. The text contains many formulas and therefore the reader should be comfortable in the world of logical formulas. My example is somewhat similar to the barber paradox. There, (...) too, we are puzzled by the feasibility of a task. In the case of the barber paradox there is a solution: the barber is a woman, in my example there is no such escape. (shrink)

DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone or, more (...) commonly, from the hypothesis augmented by a set of premises known to be true. A “direct proof of a hypothesis" is an argumentation that actually deduces the hypothesis itself from premises known to be true. Since `appears', `believes' and `knows' all make elliptical reference to a participant, it is clear that `paradox', `indirect proof' and `direct proof' are all participant-relative. PARTICIPANT RELATIVITY In normal mathematical writing the participant is presumed to be “the community of mathematicians" or some more or less well-defined subcommunity and, therefore, omission of explicit reference to the participant is often warranted. However, in historical, critical, or philosophical writing focused on emerging branches of mathematics such omission often invites confusion. One and the same argumentation has been a paradox for one mathematician, an inconsistency proof for another, and an indirect proof to a third. One and the same argumentation-text can appear to one mathematician to express an indirect proof while appearing to another mathematician to express a direct proof. WHAT IS A PARADOX’S SOLUTION? Of the above four sorts of argumentation only the paradox invites “solution" or “resolution", and ordinarily this is to be accomplished either by discovering a logical fallacy in the “reasoning" of the argumentation or by discovering that the conclusion is not really false or by discovering that one of the premises is not really true. Resolution of a paradox by a participant amounts to reclassifying a formerly paradoxical argumentation either as a “fallacy", as a direct proof of its conclusion, as an indirect proof of the negation of one of its premises, as an inconsistency proof, or as something else depending on the participant's state of knowledge or belief. This illustrates why an argumentation which is a paradox to a given mathematician at a given time may well not be a paradox to the same mathematician at a later time. -/- The present article considers several set-theoretic argumentations that appeared in the period 1903-1908. The year 1903 saw the publication of B. Russell's Principles of mathematics, [Cambridge Univ. Press, Cambridge, 1903; Jbuch 34, 62]. The year 1908 saw the publication of Russell's article on type theory as well as Ernst Zermelo's two watershed articles on the axiom of choice and the foundations of set theory. The argumentations discussed concern “the largest cardinal", “the largest ordinal", the well-ordering principle, “the well-ordering of the continuum", denumerability of ordinals and denumerability of reals. The article shows that these argumentations were variously classified by various mathematicians and that the surrounding atmosphere was one of confusion and misunderstanding, partly as a result of failure to make or to heed distinctions similar to those made above. The article implies that historians have made the situation worse by not observing or not analysing the nature of the confusion. -/- RECOMMENDATION This well-written and well-documented article exemplifies the fact that clarification of history can be achieved through articulation of distinctions that had not been articulated (or were not being heeded) at the time. The article presupposes extensive knowledge of the history of mathematics, of mathematics itself (especially set theory) and of philosophy. It is therefore not to be recommended for casual reading. AFTERWORD: This review was written at the same time Corcoran was writing his signature “Argumentations and logic”[249] that covers much of the same ground in much more detail. https://www.academia.edu/14089432/Argumentations_and_Logic . (shrink)

The knower paradox states that the statement ‘We know that this statement is false’ leads to inconsistency. This article presents a fresh look at this paradox and some well-known solutions from the literature. Paul Égré discusses three possible solutions that modal provability logic provides for the paradox by surveying and comparing three different provability interpretations of modality, originally described by Skyrms, Anderson, and Solovay. In this article, some background is explained to clarify Égré’s solutions, all three of (...) which hinge on intricacies of provability logic and its arithmetical interpretations. To check whether Égré’s solutions are satisfactory, we use the criteria for solutions to paradoxes defined by Susan Haack and we propose some refinements of them. This article aims to describe to what extent the knower paradox can be solved using provability logic and to what extent the solutions proposed in the literature satisfy Haack’s criteria. Finally, the article offers some reflections on the relation between knowledge, proof, and provability, as inspired by the knower paradox and its solutions. (shrink)

Architecture and Deconstruction Case of Peter Eisenman and Bernard Tschumi -/- Introduction Towards deconstruction in architecture Intensive relations between philosophical deconstruction and architecture, which were present in the late 1980s and early 1990s, belong to the past and therefore may be described from a greater than before distance. Within these relations three basic variations can be distinguished: the first one, in which philosophy of deconstruction deals with architectural terms but does not interfere with real architecture, the second one, in which (...) a collaboration between Jacques Derrida and a group of architects interested in his concepts is commenced, and the third one, in which completed or only designed objects or new concepts of deconstruction created by architects gain their supremacy over philosophy. The following book analyses these three possible ways, first of all with the reference to Peter Eisenman and Bernard Tschumi. -/- Peter Eisenman -/- Misreading… and Other Errors -/- The issue of relations between Peter Eisenman’s work and philosophy of deconstruction may be referred to his activity more than ten years preceding his direct collaboration with Jacques Derrida (in 1985) and organisation of the exhibition Deconstructivist Architecture at Museum of Modern Art in New York (in 1988). As soon as at the stage of designing the first houses (House I-III, 1967-1970), which almost entirely inscribed in formalistic aesthetics of Modernism, the architect analysed the problem of architecture dependence on its assumptions. All his later designs may be treated as consequence of this initial interest in relations between practice and theory, and at the same time as an introduction to manipulations later on led at the level of metaphysics of architecture. Beginning with the issue of presence, considered in comments to House VI (1972), the number of ideas having their analogies in philosophy of deconstruction increased. The text entitled The End of the Classical: The End of the Beginning, The End of the End (1984), in which Eisenman criticised questions of representation in architecture, its delusive strive for truth and comparably unattainable attempts at ultimate definition of elementary rules, should be acclaimed the breaking point. This attitude was extended by numerous strategies disturbing architecture rules defined at metaphysical level in an essay Moving Arrows, Eros, and Other Errors: an Architecture of Absence (1986). The issue of Eisenman’s passage from formalism to deconstruction has already been much discussed in the literature (Rosalind Krauss, Thomas Patin among others), still it should be mentioned that the threads similar to Derrida’s concept included in Eisenman’s writing reveal untranslatability of architecture and philosophy. -/- Choral Works or Separate tricks -/- In 1985-1986 a series of seven disputes between Jacques Derrida and Peter Eisenman took place. The pretext for them were designs concerning Parc de la Villette in Paris. The situation of many months of collaboration between a notable philosopher of the second half of the 20th c. and an architect that already had a huge theoretical oeuvre, ended up with a publication of a large volume entitled Chora L Works and it became at the same time a vast study area for historians of contemporary architecture and philosophers. Derrida’s contribution to concept works were his considerations over the idea of chôra, the properties related to this concept were about to be reflected in shapes of the park. Therefore, Chora L Works became an example of the abilities of contemporary art, both in its capability of translation from philosophical ideas to artistic forms and its resistance to tradition of representing in architecture some phenomena and values originating outside this discipline. In the final period of their collaboration both interlocutors started to polemicise with each other more decidedly, what became a separate part of their thought exchange. The exchange of letters between Derrida and Eisenman at the turn of 1989 ended up the period of their direct contacts, nevertheless, at this time precisely a large group of experts in issues of deconstruction joined the discussion and extended the revealed in the former dispute problems into more than ten years of further considerations and publications. Except for a long text by Jeffrey Kipnis, who had participated in the meetings of the philosopher and the architect, there appeared also comments of researchers of artistic theories (K. Michael Hays, Thomas Patin), philosophers (Andrew Benjamin), and even experts in Greek literature (Maria Theodorou or Ann Bergren). Following these debates a contemporary reflection on architecture has saturated with indeed numerous concepts originating in philosophy of deconstruction. -/- Architecture which imitates mute philosophy -/- The series of Jacques Derrida and Peter Eisenman meetings, which took place in the period of 1985-1987, induced many authors to make comments. Some of them (Jeffrey Kipnis, Ann Bergren, Maria Theodorou) developed the subject of chôra which was introduced to the discussion by Derrida. The problem that was about to be solved was the question of tying up the concept of chôra with architecture, including Eisenman’s architecture and the series of meetings within frames of Chora L Works project. Kipnis on this occasion paid attention to chôra and its character of anachronia which infects any being created within chôra. In other words any event has its counterpart (analogon) in another, earlier event. He demonstrated the similarity of structure of many events and statements from the times of Derrida and Eisenman’s meetings to the almost identical behaviour of figures in Plato’s dialogue Timaeus. The loss of beginning present in this phenomenon was appropriate to both features of chôra and the effects of typical analyses of philosophy of deconstruction. Bergren’s analyses focused on accentuating gender of chôra, which, according to this author, had been neglected hitherto in discussions. She collated chôra descriptions with characteristics of women in myths, early Greek epic and philosophy and she arrived at a conclusion that chôra has features of a single woman and a married one at the same time. And yet Theodorou’s studies showed that in the Homeric epics chôra is not treated as an idea but is related with single things and events. The other part of the comments (represented by Andrew Benjamin and K. Michael Hays’ utterances) concerns Eisenman’s attitude to tradition which was treated as a variety of iteration understood philosophically. Benjamin commenced his considerations at the point of closeness between a definition of tradition and a concept of chôra understood as perpetuation (placement). A problematic issue was for him Eisenman’s complex relation to tradition based on its contest and affirmation at the same time. Overcoming the simple subordination to tradition – according to Benjamin – was based on awareness of the role of repetition in culture not known before. Hays made an attempt to explain the pleasure and torment of repetition with the support of Sigmund Freud and Roland Barthes’ concepts. According to Hays repetitions are attempts of a single being to a certain primal state perceived as free of any tension. In a similar way Rosalind Krauss explained a motif of a grate present in Modernistic art and also exceptionally frequent in Eisenman’s work. -/- Annex Architecture is still writing Balzac novels. Peter Eisenman and literature -/- Architecture’s approach to writing, script or literature, present within Peter Eisenman’s work, is an exceptional phenomenon, furthermore a complex one. The article considers four possible relations. The first one relates to Eisenman’s characteristics as a person extremely gifted with the ability to wordplay, which very ‘play’ reveals skills to create architectural images. In the second approach the attention has been paid to Eisenman’s interests – in the first period of his oeuvre – in linguistic works by Noam Chomsky and his transformational-generative grammar. The third kind of relations applied to overcoming the need for autonomy of architecture (and of modernist aesthetics at the same time) and renew interests in questions of meaning in architecture. The fourth sort of relations occurred when Eisenman started to create reflections of historic or literary narrations in architecture – ‘stone stories’ and architectural fictions of their kind. -/- Bernard Tschumi -/- From perversion to deconstruction In Bernard Tschumi’s writings from the 1970s and 1980s we can find a transposition of important threads of post-structuralist ideas deriving from Georges Bataille, Roland Barthes and Jacques Derrida’s works. The analysis of the architect’s writings also shows roots in Phillippe Sollers, Michel Foucault and Denis Hollier’s works. The analysis of borrowed elements from the beginnings of Tschumi’s theoretical activity may be helpful in explaining the contents of his later writings motre inspired by philosophy of deconstruction. The set of his earliest views was inspired by Marxism, Neo Marxism and French Structuralism, mainly by the writings of Henri Levebre and Guy Debord. From the thought of Levebre Tschumi took interest for city as not only a question of urbanistics but also a political issue. From Debord’s concepts he borrowed a conviction about the role of situational violation for changes in the society structure. Some of these beliefs were preserved in his own concepts of architecture as an event. From this period derived also his will to change conservative elements of social structure not by means of political revolution but of theoretical and creative activity. Tschumi acknowledged that the effective way of the proceedings towards achieving his aims would be accepting the role of both a critical intellectualist and architecture expert who would not hide away his left-wing orientation. The speculations defined by the architect as ‘revolting analyses’ were about to characterise contradictions which tear the society apart, penetrate architecture and constitute the basis of culture. Spreading away of the conscience of false assumptions hidden away in various disciplines could have weakened cohesion of a conservative society and influence the will to change among the elites. This way the beginnings of political revolution were rooted in philosophy of architecture. In 1977 Tschumi published his text entitled The Pleasure of Architecture inspired by Roland Barthes’s The Pleasure of the Text, it also included some concepts derived from Georges Bataille and Jacques Derrida. First of all the author used Barthes’s concept which made an assumption that literary activity is pervaded by the spirit of resistance towards social rules, and Tschudi transferred this remark onto architecture. From the ideas of Bataille, acquainted via Holier’s work, he derived his belief that two concepts of space, a conceptual one (defined as Pyramid) and a sensual one (defined as Labirynth), not losing their distinct features, they join in the concept of experienced space which exceeds contradictions. The exceeding itself was defined as the basic rule of architecture and it was referred to situations in which architecture not only negates social needs, but also disavows its own tradition. Crossing the borders applies not only to political issues or permanent rules of the very discipline but also interfering with other fields (especially literature and film). The fact that architecture is associated with organising events turned Tschumi’s attention to questions of violence that result from upsetting architectural order of a given building by its users and the one hand, and on the other from forcing the users to specific acts imposed by this very order. The analysis of the concepts used by Tschumi in his early writings indicates that they are close to definitions that would occur in his reflection in the following years influenced by philosophy of deconstruction. -/- Approaching deconstruction Tschumi in his theories developed in the 1980s presumed that the current social world had undergone a deep process of decay, and the reaction against which ought to be based on ordering-up actions, and also preserving the main outline of disintegration of the whole and its elements in the state of conflict. The statements concerning the nature of the contemporary to Tschumi social relations were applied by him to the world of architecture, this led him to coming up with designing strategies that took into consideration the destabilised character of conditions in which works of architecture were created. New ways of conduct invented by Tschumi drew their inspiration from literature and research on literature, psychoanalysis, structural linguistics, structuralism and post structuralism, and eventually also deconstruction philosophy. The proposed methods were opposed by their author both to functionalism continuity trends and postmodern architecture. Tschumi’s proposals contradicted any forms of conservatism or traditionalism in political sphere as well as in reference to tendencies in architecture. They were not simple contradictions of social or architectural rules, they intrude them from the inside, weaken or escalate the already existing incongruities, they move the boundaries between the areas. Revolutionary illusions about the possibility of radical changes were replaced with strategies which completed, tainted or test former rules in the series of formal games of permutation and combination. Quite different from avant-garde formalism Tschumi’s games were not about maintaining the autonomy of a given area, but on the contrary – polluting it with other areas’ influences. Tschumi enjoyed demonstrating illusions of architecture concerning simple relations between form and function, or between form and meaning. Making use of Freud, Lacan and Foucault’s research he introduced a category of “madness” into architecture allowing an observation that the recognised norms are nothing but merely ones of many possible principles of behaviour, and their recognised status resulted from unjustified hindering innovativeness which is crucial for architecture. To reborn architecture’s capability of changing Tschumi also made use of Barthes’s discoveries concerning rules of narration and works by writers who applied in their writing knowledge on linguistics. Making a work’s author unclear by various mechanical transformations of its elements was however apparent only, and formal rigours imposed on the process of designing liberated possibilities difficult to obtain in more traditional creative action. Another mode of acting introduced by Tschumi was combining his work of elements deriving from outside architecture; joining space records with notation of motion and events accompanying architectural objects among others. These architectural and extra-architectural elements were not unified, on the contrary their heterogenous and conflictual character was stressed. This is how shock, anxiety and instability, typical for live in great metropolises, infiltrated architecture. Taking some ideas of deconstruction philosophy as a pattern Tschumi also took into critical consideration in his essays traditional in architecture oppositions between form and figuration, or theory and practice. By combining various inspirations he eventually worked out an idea of architectural event, which he understood as a series of actions contesting its own field, redefining its sources, principles and elements. An event, understood in this way, was not so much producing works as rather creating conditions of their production and at the same time designing the society different from a hierarchic one. -/- Park of deconstruction Among numerous philosophical strategies of deconstruction most frequently used was questioning the practice of strong opposition of two reasons. In many cases Bernard Tschumi’s writings just consider functioning of the conflict juxtaposition of the ideas of structure and ornament or theory and practice in history of architecture. Violation of traditional relations between terms of this kind, both old and modern, raised Jacques Derrida’s objections, when he was induced for the first time to co-operate with architects’ milieu. During this long lasting thought exchange the philosopher eventually acknowledged Bernard Tschumi’s arguments for reasoning the encroachment of architecture’s fundamental rules. Deconstruction applied in architecture was not a simple transposition or analogy of practices that had been applied by philosophy of deconstruction. We may even say that considering architectural terms became an important formula of deconstruction. Architecture understood in philosophical way became something beyond the practice and theory of its own discipline, a sort of metaphysics of both philosophy and architecture. The deliberate encroachment of simplicity of dividing architecture into theory and practice, for the first time became a clear aim for Tschumi in his drawings and texts entitled The Manhattan Transcripts. The contents of this series of works was a record of characteristic features of this New York district in such a way that not only objects were the subject of the record but also relations between objects, people and events. The record was about to take into consideration a conflict character of elements of this representation and at the same time to avoid applying to them the rule of mimetism. The record became a form of reflection over the very record by an increased control over the ways of representation. Architecture which was considered in the The Manhattan Transcripts was not directed to fulfill the needs of inhabitation or production, it was rather related with hitherto usually marginalised liminal situations: building ostentatiously big monuments, religious cult, war etc. Architecture operating in these relations focused also the attention on the included in it continuous tendency to overpass its own restrictions, the role of violence as its not recognised factor, or the meaning of excess and shock in its operation. Architecture moving from reason towards madness became even more visible in the design of Parisian Parc de la Villette, whose pavilions were defined as folies (in French it means both small park buildings and follies). The park was supposed to be on the one hand a reflection of traditional society disintegration while on the other it questioned basic rules of producing a work of architecture. The traditional rules of designing, based on ordering up, were replaced with the strategies of dysfunction and dissociation. In Tschumi’s opinion methods of this kind may be equivalent of what Derrida named différance. Instead of aiming at mergence, any diversity, plays or variations were strengthen. Tschumi’s texts, in which he explained his attitude, were completed by Derrida’s extent statement entitled Point de folie – Maintenant l’architecture. Derrida’s article is the most significant of all his statements on architecture as a form of thinking and activity. According to the philosopher, architecture should divide space (in French defined as espacement), what enables both thinking and action – it arranges the space of an event. Tschumi’s buildings, defined as folies, in an essential way destabilise any created order, and at the same time they refresh it. Derrida’s statement suggests that architecture may become both metaphor of an order merging a language or a society but also of inner forces which deconstruct and reconstruct it. Therefore architecture is at the same time a construction, a deconstruction and a reconstruction. Parc de la Villette stands out in this system with its attempt to step beyond the scheme of an easy repetition and its heading for chances of achieving more radical otherness. -/- Conclusion Destruction as construction. Paradoxes of deconstruction in architecture -/- Scepticism about persistence and common importance of fundamental values of human culture evinced in philosophers and writers’ works as early as in Greek antiquity, nevertheless it was not expressed so strongly as in the second half of the 20th century. Especially in Heidegger’s work Being and Time (although originated in 1927, still influential in all later philosophy) the following states were characterised: the state of losing the ground (Abgrund), of being out of sight (Unheimlichkeit) and of being out of dwelling (Un-zuhause-sein) – as the basis of self-confidence of conscious being there (Dasein). The entire criticism of philosophy of home and dwelling draws the inspiration from this early writing of the German philosopher, it combines crisis of basic terms of metaphysics with social conditions which are dictated by living in large metropolis. The crisis of both metaphysical foundation and home appears to be similar to the situation of weakening the relations between a man and his dwelling in extensively expanding cities. Whereas philosophy, as well as many disciplines of social sciences, have diagnosed for a long time the destabilisation of fundamental ideas of Western culture and crucial changes in the ways of dwelling, architecture itself occurred to be “the last fortress of metaphysics” (J. Derrida). Among contemporary architects, Peter Eisenman and Bernard Tschumi were the ones who engaged most decidedly in the issues of critical analysis of architecture foundation and its social role. Both the architects noticed new formulas of contemporary social and individual existence, tremendously different from the entire history, and at the same time they affirmed lack of adequacy of architecture concepts to new situations. Both Eisenman and Tschumi used to describe the existing architecture as a tool for consolidation of highly integrated and hierarchised societies, and also as a discipline extremely uncoincidental with the current character of social life based on ideas of freedom and diversity. The means to transform architecture and make a factor of further social changes out of it, was a concept that accentuated revealing the inner contradictions of this discipline, and considering them in designing strategies. Eisenman’s activity, in regard of what has just been noticed, was focused on questioning the basic rules of traditionally comprehended architecture, especially the rule of purpose. The American architect noticed that the concept of architecture as fulfilment the need of location, hides away the fact that the location has to be constantly reconsidered, and hence it is overtaken by change (dislocation). Therefore new concept of architecture propounded architectural activity to translocate the concept of location – more than before – but also to change its status perpetually. Such comprehended architecture should claim, as its main purpose, the constant revision of this purpose and create itself anew permanently. Even Eisenman’s earliest designs of houses nos. I-IV broke with such values as the sense of safety, closeness and familiarity, and just on the contrary they accentuated senses of strangeness, homelessness and loss of confidence. The contradictions within architecture noticed by Tschumi referred to combination of intellectual and sensual values in architecture, when their non-appropriation was defeated by an additional condition, namely the way of experience based on pleasure of excess, marked by insanity. The features of folly were especially visible in his designs of gardens, where the order of planning was mixed with sensual experience introduced by particular elements (both the ones created by nature, and the buildings defined as folies). Parc de la Villette designed by the French architect in Paris put in question not only the common understanding of purpose in architecture but also the ideas of order and integrity, as its plan was based on the combination of independent layers with records of grids of points, various lines and planes. The architecture that collides inadequate elements with each other was supposed to be a kind of an event with no beginning and no end. The architecture treated as an event became a form of a space weakened articulation that maintains its diversity and lack of accordance of the elements building it up. The analyses of Eisenman and Tschumi’s theoretical writings indicate how much the aims of architecture have actually changed; instead of supporting social persistence, the architecture is rather intensifying contradictions, and instead of providing people with the sense of safety, it sublimes danger. From simple acts of defamiliarisation, increasing the distance to itself and enhancing the role of theory, through discomfort, anxiety, not feeling someone at home, weirdness, excess, shock and violence, architecture reached the edge of stability and uncertainty, only to make an attempt at penetrating what is impossible and unutterable, and recording what cannot become the subject of any records. -/- . (shrink)

In this dissertation, we shall investigate whether Tennant's criterion for paradoxicality(TCP) can be a correct criterion for genuine paradoxes and whether the requirement of a normal derivation(RND) can be a proof-theoretic solution to the paradoxes. Tennant’s criterion has two types of counterexamples. The one is a case which raises the problem of overgeneration that TCP makes a paradoxical derivation non-paradoxical. The other is one which generates the problem of undergeneration that TCP renders a non-paradoxical derivation paradoxical. Chapter 2 deals with (...) the problem of undergeneration and Chapter 3 concerns the problem of overgeneration. Chapter 2 discusses that Tenant’s diagnosis of the counterexample which applies CR−rule and causes the undergeneration problem is not correct and presents a solution to the problem of undergeneration. Chapter 3 argues that Tennant’s diagnosis of the counterexample raising the overgeneration problem is wrong and provides a solution to the problem. Finally, Chapter 4 addresses what should be explicated in order for RND to be a proof-theoretic solution to the paradoxes. (shrink)

This study explored the experiences of the newly-hired faculty in the university to acquire an in-depth and profound understanding of these experiences. It involved eight purposively chosen faculty in a semi-structured interview and focus group discussion documented in voice and video recorders. Using Colaizzi’s seven step-approach to data analysis, results revealed three paradoxical themes: the joys and struggles of teaching, successes and pains of learning, and the privileges and challenges of serving. On the one hand, the joys and struggles (...) of teaching were brought about by their adjustments in instruction. On the other hand, successes and pains of learning centered on professional growth. Finally, the privileges and challenges of serving incorporated the experiences in research, production, and extension. Generally, these teachers have experienced ups and downs in their first two years of teaching at a higher education institution. On the basis of study findings, implications and recommendations are discussed. (shrink)

The idea behind this special theme journal issue was to continue the work we have started with the INBIOSA initiative (www.inbiosa.eu) and our small inter-disciplinary scientific community. The result of this EU funded project was a white paper (Simeonov et al., 2012a) defining a new direction for future research in theoretical biology we called Integral Biomathics and a volume (Simeonov et al., 2012b) with contributions from two workshops and our first international conference in this field in 2011. The initial impulse (...) for this effort was given a year earlier by a publication of one of the guest editors of this issue (Simeonov, 2010) in this journal. This time we wish to provide a broader forum and more space to elaborate in detail some of the most interesting concepts we have encountered in our discussions, as well as to invite some new contributions of particular interest in the field. Another goal we had in mind was to collect and review as many provocative perspectives as possible on the same key topic we are interested before making a decision to follow a more focused notion that would lead to a funded research program. Therefore we welcomed the generous suggestion of Professor Denis Noble, FRS, who is also editor of this journal to prepare a special theme issue entitled: “Can biology create a profoundly new mathematics and computation?” It has taken a while to invite and collect the contributions. Most of them had a couple of revision cycles and adjustments after having been thoroughly discussed with colleagues, incl. the editors of this issue. We think that the result we have obtained at the end is a satisfactory one, since we succeeded to integrate a diversity of original, but sometimes controversial and mutually excluding concepts organized within chapters of a self-contained volume. The task of compiling all this was not easy at all. Despite our efforts to position the articles of different authors and themes in a way allowing their easy comprehension and relation to each other within the individual chapters, some of them still require a sort of introduction to dissolve possible ambiguities. This is what we are going to do in the following few paragraphs with the hope that the reader (and some of the authors) would excuse our failures. (shrink)

Being robustly committed to state neutrality which does not permit the promotion of liberal-perfectionist ideals and denying that there is anything normatively relevant or ‘special’ about religion leaves liberal-egalitarians embroiled in a paradox. If religion is not special, how and why do liberal states afford it differential treatment (in comparison with non-religious analogues like secular doctrines or deeply-held beliefs of individual conscience)? This paper explores liberal-egalitarian strategies for resolving this paradox with predominant reference to the disaggregation strategy advanced (...) by Cécile Laborde. After discussing the novelty and advantages of disaggregation relative to other liberal-egalitarian strategies, the paper distinguishes between the coverage and the basis in justification of differential treatment to argue that disaggregation does not ultimately succeed in solving the latter. Despite this, reflecting on the clarifications achieved through disaggregation and the deeper issues of justification and justice emerging therefrom, the paper concludes by proposing the need to consider a lateral solution to the paradox and speculating on what this might look like. (shrink)

John McDowell articulated a radical criticism of normative inferentialism against Robert Brandom’s expressivist account of conceptual contents. One of his main concerns consists in vindicating a notion of intentionality that could not be reduced to the deontic relations that are established by discursive practitioners. Noticeably, large part of this discussion is focused on empirical knowledge and observational judgments. McDowell argues that there is no role for inference in the application of observational concepts, except the paradoxical one of justifying the (...) content of an observational judgment in terms of itself. This paper examines the semantical consequences of the analysis of the content of empirical judgments in terms of their inferential role. These, it is suggested, are distinct from the epistemological paradoxes that McDowell charges the inferentialist approach with. (shrink)