How to account for metaphor has long been a contentious issue within pragmatics. Revisiting this debate, Wilson & Carston (2019) analyse Grice’s oft-discussed exclusion of metaphor as an empirically unjustified use of cut-off points on the empirical continuum of language and link it a tension between his underlying focus on formalisation contrary to their aim of maximising pragmatics’ empirical scope. In spite of the latter, Relevance Theory’s various own models fail to account for essential characteristics of metaphor caused by certain (...) non-propositional effects eluding its grasp and subsequently excluded. Rather than solving this with new tools, as Wilson & Carston propose, this paper seeks to examine the aforementioned tension and its link to the use of cut-off points they criticised. I will argue that Relevance Theory, too, uses cut-off points, highlighting their nature as the effect of a shared approach vis-à-vis formalisation rather than an individual flaw of Grice’s: Both exclude certain empirical effects of language in pursuance of a unified theory of communication organised around the notion of intention and grounded in teleological assumptions external to language. Drawing on Derrida’s analogous critique of Austin’s pragmatics, I will illustrate the paradoxical nature of such cut-off points and possible ways forward. (shrink)

In this paper, I propose a solution to the problem of singular propositions and non-present objects within the view of presentism- that is, how can we refer to past objects if presentism claims only objects in the present exist and that objects outside of the present do not exist, if an object does not exist, how can we refer to it? I will propose that past objects which once did exist have had a lasting effect on the present which allows (...) us, in the present, to refer to those objects indirectly. These effects, which exist in the present and cannot come to be without a cause, allow us to refer to the past object as the cause of those effects. The effect of the past object on the present means that the cause (the past object) has not entirely gone out of existence allowing us to refer to the cause or the past object in the present. (shrink)

We contest the unsubstantiated assumption of both materialists and non-materialist that the ontological status they propose applies to all humans and that the competing claim is false for all - ie we reject both the claim of non-materialists that all humans share the same fundamental aspect of having a "non-material consciousness" (nmc), as well as the contrasting claim of materialists that none do (being fully material as according to eliminative materialists/reductive physicalists etc). Instead, the basic proposition of this paper, our (...) ‘ontological conecture’ (OC) - an updated version of our 1998 website article “Mindless Materialists” - is that the central tenets of proponents on both sides are true, but only regarding themselves. A signature feature of nmc is that brains associated to it are capable of knowing of its existence directly, and as a corollary we would propose that if a sophisticated brain does not know it is associated to nmc then most likely this is because it is in fact not so associated. Thus, in accordance with our OC we will consider a brain’s statements on this issue (that it does or does not possess nmc) as not merely its ‘philosophical position’ but as an authoritative statement, a reflection of an ontological fact. Furthermore, we propose that only those who possess nmc are capable of understanding what it is, so that although they are well-qualified to know directly that they themselves possess it, in contrast those who lack nmc and possess only material consciousness (mc) cannot even comprehend what non-materiality means - they will understandably tend to consider it a non-existent absurdity, which contention would be quite correct in a purely-material reality, such as they effectively inhabit. -/- Terminology reflecting ontological status: Since according to our OC those brains which categorize themselves as non-materialists are presumed to indeed be associated to nmc, for usefulness in phraseology we’ll refer to people whose brain is so associated as being nmc’s (not merely “espousing nmc”). Materialists say they are conscious but that theirs is a material consciousness (abbrev: “mc”) , and since according to our OC we accept this self-determination we will refer to them as being “mc’s” or being materialist (not merely “espousing materialism”). -/- Are materialists mindless or are non-materialists delusional? Notoriously, it is impossible to prove that one possesses nmc (which is a sort of corollary to the fact that it is directly self-known) - being non-material, nmc cannot be detected via the scientific method. However just as those with nmc cannot prove they possess it so too one cannot prove or determine via measurement that materialists do not possess it. Nevertheless we feel that our OC is the simplest solution to the conundrum of how there are materialists if a brain can directly sense its associated nmc. In sum, although of course it is impossible to prove that any particular person possesses or lacks nmc, given all the above our OC considers - as stated by the title of this paper - a brain’s self-identification as "materialist" or “non-materialist” (dualist, panpsychist, idealist etc) as reflecting the absence or presence of an associated real non-material awareness/consciousness, rather than merely as a statement of a philosophical stance. An alternative solution is implicit in the above - that all humans possess nmc just that materialists are those whose brains lack the awareness of theirs, or that the brain-aspect which communicates to others has no access to it. -/- Towards developing more constructive dialogue between mc’s/nmc’s, and greater self-confidence and independence among nmc’s in the face of materialist dominance of the intellectual-climate: A large part of the overall paper is devoted to not just pointing out the futility of communication of the sort usually engaged in - ie based on the erroneous underlying assumption that both sides of the debate are ontologically the same - but also suggesting ways to make the debate less frustrating by a recognition of the OC. Greater clarity in discussions can be achieved partly via a deeper understanding of the different meanings the same term might have to nmc’s/mc’s and suggestions relevant the construction of a sort of translation algorithm to utilize in discussions (as a simple example, substituting ‘higher-level cognitive material brain-processes’ for ‘mind’ when that term is used by an mc); by the frank statement by nmc’s engaged in dialogue with mc’s that the existence of nmc is not up for discussion; by learning how the existence of our nmc colors the meaning we give to certain terms in ways we were not aware of, meanings which are absent for mc’s; and in general via the recognition by the nmc that the dialogue is with a person lacking nmc. -/- Perhaps materialists are right: In the interest of ‘reciprocity’, the paper also offers an alternative/opposing view to the central proposition, to the effect that the materialist claim is correct, and it is a defect of brain wiring or structure which is the source of an active illusion of "self-awareness" underlying the philosophical claims of non-materialists. A prospective source of this illusion is offered - an analog of the sense of presence experienced during ‘sleep paralysis’. (shrink)

This paper is partly exegetical, partly systematic. I argue that Frege's account of what he called “colouring” contains some important insights on how communication is related to mental states such as mental images or emotions. I also show that the Fregean perspective is supported by current research in psycholinguistics and that a full understanding of some linguistic phenomena that scholars have accounted for in terms of either semantics or pragmatics need involve psycholinguistic elements.

To understand what non-propositional content is and whether there are any such contents, we first need to know what propositional content is. That issue will be the focus of the first section of this essay. In the second section, with an understanding of propositional content in hand, we will consider representations that fail to have propositional content. In contrast to recent literature, it will be argued that metaphysical considerations concerning what's represented, rather than linguistic considerations, are (...) a more promising way of establishing non-propositional contents. To keep the discussion containable, focus will be on representational mental states, though many of the considerations can be extended to other forms of representation. (shrink)

I argue first that attention is a (maybe the) paradigmatic case of an object-directed, non-propositional intentional mental episode. In addition attention cannot be reduced to any other (propositional or non-propositional) mental episodes. Yet, second, attention is not a non-propositional mental attitude. It might appear puzzling how one could hold both of these claims. I show how to combine them, and how that combination shows how propositionality and non-propositionality can co-exist in a mental life. The crucial move (...) is one away from an atomistic, building block picture to a more holistic, structural picture. (shrink)

Intentionality, or the power of minds to be about, to represent, or to stand for things, remains central in the philosophy of mind. But the study of intentionality in the analytic tradition has been dominated by discussions of propositional attitudes such as belief, desire, and visual perception. There are, however, intentional states that aren't obviously propositional attitudes. For example, Indiana Jones fears snakes, Antony loves Cleopatra, and Jane hates the monster under her bed. The present paper explores such (...) mental states in an introductory but opinionated way. (shrink)

According to a popular view in philosophy, intuition is a singular propositional attitude. In this paper, I outline an opposite account on “garden-variety intuition”, i.e. intuition that people experience in their daily lives. The account is based on a distinction between intuition on the processing level, ‘intuitive belief’ and ‘intuition that p’. Immediacy and certainty prove to be the phenomenal features of intuitive beliefs and intuitions that p. Regarding the processing level, I suggest to combine dual-process theory and the (...) theory of mental models, and I claim that this results in non-propositional intuitions. Finally, I argue that non-propositional intuitions are fundamental for garden-variety intuition: They constitute inclinations to believe, possibly resulting in intuitive beliefs or intuitions that p. (shrink)

Book synopsis: Our mental lives are entwined with the world. There are worldly things that we have beliefs about and things in the world we desire to have happen. We find some things fearsome and others likable. The puzzle of intentionality — how it is that our minds make contact with the world — is one of the oldest and most vexed issues facing philosophers. Many contemporary philosophers and cognitive scientists have been attracted to the idea that our minds represent (...) the world. This book explores an important assumption about representation, namely, that when we represent things in the world, we represent them as having properties, and in this way our representations have "propositional" structure. The contributors examine what the commitment to propositionalism amounts to; illuminate why one might find the thesis attractive ; and consider ways in which one might depart from propositionalism. The hope is that this will lead towards a more complete understanding of how the mind and world are connected. (shrink)

I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. (Revised) belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are obtained without (...) resorting to non-classical logics, or to non-normal or impossible worlds semantics. The framework combines, instead, a standard semantics for propositional S5 with a simple mereology of contents. (shrink)

Book synopsis: Our mental lives are entwined with the world. There are worldly things that we have beliefs about and things in the world we desire to have happen. We find some things fearsome and others likable. The puzzle of intentionality — how it is that our minds make contact with the world — is one of the oldest and most vexed issues facing philosophers. Many contemporary philosophers and cognitive scientists have been attracted to the idea that our minds represent (...) the world. This book explores an important assumption about representation, namely, that when we represent things in the world, we represent them as having properties, and in this way our representations have "propositional" structure. The contributors examine what the commitment to propositionalism amounts to; illuminate why one might find the thesis attractive ; and consider ways in which one might depart from propositionalism. The hope is that this will lead towards a more complete understanding of how the mind and world are connected. (shrink)

This paper investigates the question of whether know-how can be regarded as a form of non-propositional intentionality.

Traditional normative theories of belief in epistemology presume that belief-forming includes a reflective component and a mental agency component. Beliefs are regarded as conscious doxastic attitudes with propositional contents. Let’s call this view the Transcendental View about Belief (TVB). First, I argue that reputed norms of belief as the truth norm, the knowledge norm and the rationality norm all incorporate TVB. Further, I argue that the empirical evidence concerning belief-forming collected in the last two decades by Rüdiger Seitz, Hans-Ferdinant (...) Angel, Raymond Paloutzian and their colleagues suggests that primal beliefs do not correspond to the description provided by TVB. Primal beliefs are byproducts of perceptive and affective type 1 processing. As such, they are non-propositional multilayer relational states of a cognitive system S that do not presuppose conscious awareness. Thus, I maintain that TVB is normatively inadequate, because it is descriptively false. I presume that a good normative account of beliefs should be able to accommodate primal beliefs and provide a norm of primal belief. I conclude by attempting to outline such a positive account. (shrink)

Propositionalism is the view that intentional attitudes, such as belief, are relations to propositions. Propositionalists argue that propositionalism follows from the intuitive validity of certain kinds of inferences involving attitude reports. Jubien (2001) argues powerfully against propositions and sketches some interesting positive proposals, based on Russell’s multiple relation theory of judgment, about how to accommodate “propositional phenomena” without appeal to propositions. This paper argues that none of Jubien’s proposals succeeds in accommodating an important range of propositional phenomena, such (...) as the aforementioned validity of attitude-report inferences. It then shows that the notion of a predication act-type, which remains importantly Russellian in spirit, is sufficient to explain the range of propositional phenomena in question, in particular the validity of attitude-report inferences. The paper concludes with a discussion of whether predication act-types are really just propositions by another name. (shrink)

● Sergio Cremaschi, The non-existing Island. I discuss the way in which the cleavage between the Continental and the Anglo-American philosophies originated, the (self-)images of both philosophical worlds, the converging rediscoveries from the Seventies, as well as recent ecumenic or anti-ecumenic strategies. I argue that pragmatism provides an important counter-instance to both the familiar self-images and to the fashionable ecumenic or anti-ecumenic strategies. My conclusions are: (i) the only place where Continental philosophy exists (as Euro-Communism one decade ago) is America; (...) (ii) less obviously, also analytic philosophy does not exist, or does no more exist as a current or a paradigm; what does exist is, on the one hand, philosophy of language and, on the other, philosophy of mind, that is, two disciplines; (iii) the dissolution of analytic philosophy as a school has been extremely fruitful, precisely in so far as it has left room for disciplines and research programmes; (iv) what is left, of the Anglo-American/Continental cleavage is primarily differences in styles, depending partly on intellectual traditions, partly owing to sociology, history, institutional frameworks; these differences should not be blurred by rash ecumenism; besides, theoretical differences are alive as ever, but within both camps; finally, there is indeed a lag (not a difference) in the appropriation of intellectual techniques by most schools of 'Continental' philosophy, and this should be overcome through appropriation of what the best 'analytic' philosophers have produced. ● Michael Strauss, Language and sense-perception: an aspect of analytic philosophy. To test an assertion about one fact by comparing it with perceived reality seems quite unproblematic. But the very possibility of such a procedure is incompatible with the intellectualistic basis of logical positivism and atomism (as it is for example to be found in Russell's Analysis of Mind). According to the intellectualistic approach pure sensation is meaningless. Sensation receives its meaning and order from the intellect through interpretation, which is performed with the help of linguistic tools, i.e. words and sentences. Before being interpreted, sensation is not a picture or a representation, it is neither true nor false, neither an illusion nor knowledge; it does not tell us anything; it is a lifeless and order-less matter. But how can a thought (or a proposition) be compared with such a lifeless matter? This difficulty confronts the intellectualist, if on the one hand he admits the necessity of comparing thought with sense-perception, and on the other hand presupposes that we possess only intellectual and no immediate perceptual understanding of what we see and hear. In this paper I give a critical exposition of three attempts, made by Russell, Neurath and Wittgenstein, to solve this problem. The first attempt adheres to strict conventionalism, the second tends to naturalism and the third leads to an amended, very moderate version of conventionalism. This amended conventionalism looks at sense impressions as being a peculiar language, which includes primary symbols, i.e. symbols not founded on convention and not being in need of interpretation. ● Ernst Tugendhat, Phenomenology and language analysis. The paper, first published in German in 1970, by which Tugendhat gave a start to the German rediscovery of analytic philosophy. The author stages a confrontation between phenomenology and language analysis. He argues that language analysis does not differ from phenomenology as far as the topics dealt with are concerned; instead, both currents are quite different in method. The author argues that language-analytic philosophy does not simply lay out of the mainstream of transcendental philosophy, but that instead it challenges this tradition on the very level of foundations. The author criticizes the linguistic-analytic approach centred on the subject as well as any object-centred approach, while proposing inter-subjective understanding through language as the new universal framework. This is, when construed in so general terms, the same program of hermeneutics, though in a more basic version. ● Jürgen Habermas, Language game, intention and meaning. On a few suggestions by Sellars and Wittgenstein. The paper, first published in German in 1975, in which Habermas announces his own linguistic turn through a discovery of speech acts. In this essay the author wants to work out a categorical framework for a communicative theory of society; he takes Wittgenstein's concept of language game as a Leitfade and, besides, he takes advantage also of Wilfried Sellars's quasi-transcendental account of the genesis of intentionality. His goal is to single out the problems connected with a theory of consciousness oriented in a logical-linguistic sense. ● Zvie Bar-On, Isomorphism of speech acts and intentional states. This essay presents the problem of the formal relationship between speech acts and intentional states as an essential part of the perennial philosophical question of the relation between language and thought. I attempt to show how this problem had been dealt with by two prominent philosophers of different camps in our century, Edmund Husserl and John Searle. Both of them wrote extensively about the theory of intentionality. I point out an interesting, as it were unintended, continuity of their work on that theory. Searle started where Husserl left off 80 years earlier. Their meeting point could be used as the first clue in our search. They both adopted in effect the same distinction between two basic aspects of the intentional experience: its content or matter, and its quality or mode. Husserl did not yet have the concept of a speech act as contradistinguished from an intentional state. The working hypothesis, however, which he suggested, could be used as a second clue for the further elaboration of the theory. The relationship of the two levels, the mental and the linguistic, which remained for Husserl in the background only, became the cornerstone of Searle' s inquiry. He employed the speech act as the model and analysed the intentional experience by means of the conceptual apparatus of his own theory of speech acts. This procedure enabled him to mark out a number of parallelisms and correlations between the two levels. This procedure explains the phenomenon of the partial isomorphism of speech acts and intentional states. ● Roberta de Monticelli, Ontology. A dialogue among the linguistic philosopher, the naturalist, and the phenomenological philosopher. This paper proposes a comparison between two main ways of conceiving the role and scope of that fundamental part of philosophy (or of "first" philosophy) which is traditionally called "ontology". One way, originated within the analytic tradition, consists of two main streams, namely philosophy of language and (contemporary) philosophy of mind, the former yielding "reduced ontology" and the latter "neo-Aristotelian ontology". The other way of conceiving ontology is exemplified by "phenomenological ontology" (more precisely, the Husserlian, not the Heideggerian version). Ontology as a theory of reference ("reduced" ontology, or ontology as depending on semantics) is presented and justified on the basis of some classical thesis of traditional philosophy of language (from Frege to Quine). "Reduced ontology" is shown to be identifiable with one level of a traditional, Aristotelian ontology, namely the one which corresponds to one of the four "senses of being" listed in Aristotle's Metaphysics: "being" as "being true". This identification is justified on the basis of Franz Brentano's "rules for translation" of the Aristotelian table of judgements in terms of (positive and negative) existential judgments such as are easily translatable into sentences of first order predicate logic. The second part of the paper is concerned with "neo-Aristotelian ontology", i.e. with naturalism and physicalism as the main ontological options underlying most of contemporary discussion in the philosophy of mind. The qualification of such options as "neo-Aristotelian" is justified; the relationships between "neo-Aristotelian ontology" and "reduced ontology" are discussed. In the third part the fundamental tenet of "phenomenological ontology" is identified by the thesis that a logical theory of existence and being does capture a sense of "existing" and "being" which, even though not the basic one, is grounded in the basic one. An attempt is done of further clarifying this "more basic" sense of "being". An argument making use of this supposedly "more basic" sense is advanced in favour of a "phenomenological ontology". ● Kuno Lorenz, Analytic Roots in Dialogic Constructivism. Both in the Vienna Circle ad in Russell's early philosophy the division of knowledge into two kinds (or two levels), perceptual and conceptual, plays a vital role. Constructivism in philosophy, in trying to provide a pragmatic foundation - a knowing-how - to perceptual as well as conceptual competences, discovered that this is dependent on semiotic tools. Therefore, the "principle of method" had to be amended by the "principle of dialogue". Analytic philosophy being an heir of classical empiricism, conceptually grasping the "given", and constructive philosophy being an heir of classical rationalism, perceptually providing the "constructed", merge into dialogical constructivism, a contemporary development of ideas derived especially from the works of Charles S. Peirce (his pragmatic maxim as a means of giving meaning to signs) and of Ludwig Wittgenstein (his language games as tools of comparison for understanding ways of life). 7. Albrecht Wellmer, "Autonomy of meaning" and "principle of charity" from the viewpoint of the pragmatics of language. In this essay I present an interpretation of the principle of the autonomy of meaning and of the principle of charity, the two main principles of Davidson's semantic view of truth, showing how both principles may fit in a perspective dictated by the pragmatics of language. I argue that (I) the principle of the autonomy of meaning may be thoroughly reformulated in terms of the pragmatics of language, (ii) the principle of charity needs a supplement in terms of pragmatics of language in order to become really enlightening as a principle of interpretation. Besides, I argue that: (i) on the one hand, the fundamental thesis of Habermas on the pragmatic theory of meaning ("we understand a speech act when we know what makes it admissible") is correlated with the seemingly intentionalist thesis according to which we understand a speech act when we know what a speaker means; (ii) on the other hand, to say that the meaning competence of a competent speaker is basically a competence about a potential of reasons (or also of possible justifications) which is inherently connected with the meaning of statements, or with their use in utterances. ● Rüdiger Bubner, The convergence of analytic and hermeneutic philosophy This paper argues that the analytic philosophy does not exist, at least as understood by its original programs. Differences in the analytic camp have always been bigger than they were believed to be. Now these differences are coming to the fore thanks to a process of dissolution of dogmatism. Philosophical analysis is led by its own inner logic towards questions that may be fairly qualified as hermeneutic. Recent developments in analytic philosophy, e.g. Davidson, seem to indicate a growing convergence of themes between philosophical analysis and hermeneutics; thus, the familiar opposition of Anglo-Saxon and Continental philosophy might soon belong to history. The fact of an ongoing appropriation of analytical techniques by present-day German philosophers may provide a basis for a powerful argument for the unity of philosophizing, beyond its strained images privileging one technique of thinking and rejecting the remainder. Actual philosophical practice should take the dialogue between the two camps more seriously; in fact, the processes described so far are no danger to philosophical work. They may be a danger for parochial approaches to philosophizing; indeed, contrary to what happens in the natural sciences, Thomas Kuhn's "normal science" developing within the framework of one fixed paradigm is not typical for philosophical thinking. And in philosophy innovating revolutions are symptoms more of vitality than of crisis. ● Karl-Otto Apel, The impact of analytic philosophy on my intellectual biography. In my paper I try to reconstruct the history of my Auseinandersetzung mit - as I called it - "language-analytical" philosophy (including even Peircean semiotics) since the late Fifties. The heuristics of my study was predetermined by two main motives of my beginnings: the hermeneutic turn of phenomenology and the transformation of "transcendental philosophy" in the light of the "language a priori". Thus, I took issue with the early and the later Wittgenstein, logical positivism, and post-Wittgensteinian and post-empiricist philosophy of science (i.e. G.H. von Wright and the renewal of the "explanation vs understanding controversy" as well as the debate between Th. Kuhn and Popper/Lakatos); besides, with speech act theory and the debate about "transcendental arguments" since Strawson. The "pragmatic turn", started already by C.L. Morris and the later Carnap, led me to study also the relationship between Wittgensteinian "use" theory of meaning and of truth. This resulted on my side in something like a program of "transcendental semiotics", i.e. "transcendental pragmatics" and "transcendental hermeneutics". ● Ben-Ami Scharfstein, A doubt on both their houses: the blindness to non-western philosophies. The burden of my criticism is that contemporary European philosophers of all kinds have continued to think as if there were no true philosophy but that of the West. For the most part, the existentialists have been oblivious of their Eastern congeners; the hermeneuticians have yet to stretch their horizons beyond the most familiar ones; and the analysts remain unaware of the analyses and linguistic sensitivities of the ancient non-European philosophers. Briefly, ignorance still blinds almost all contemporary Western philosophers to the rich, variegated philosophical traditions outside of their familiar orbit. Both Continental and Anglo-Americans have lost the breadth of view that once characterized such thinkers as Herder and the Humboldts. The blindness that has resulted is not simply that of individual Western philosophers but of our whole, still parochial philosophical culture. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

Classical interpretations of Goedels formal reasoning, and of his conclusions, implicitly imply that mathematical languages are essentially incomplete, in the sense that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is, both, non-algorithmic, and essentially unverifiable. However, a language of general, scientific, discourse, which intends to mathematically express, and unambiguously communicate, intuitive concepts that correspond to scientific investigations, cannot allow its mathematical propositions to be interpreted ambiguously. Such a language must, therefore, define mathematical truth (...) verifiably. We consider a constructive interpretation of classical, Tarskian, truth, and of Goedel's reasoning, under which any formal system of Peano Arithmetic---classically accepted as the foundation of all our mathematical Languages---is verifiably complete in the above sense. We show how some paradoxical concepts of Quantum mechanics can, then, be expressed, and interpreted, naturally under a constructive definition of mathematical truth. (shrink)

The AISDL team discloses the pre-peer-reviewed results of a research project exploring the non-linear effects of threat perception and trust on recycled water acceptance. The research project was contributed by six authors. The project’s outcome has been sent to the academic journal for peer review. -/- .

This paper discusses Husserl’s theory of intentionality and compares it to contemporary debates about intentionalism. I first show to what extent such a comparison could be meaningful. I then outline the structure of intentionality as found in Ideas I. My main claims are that – in contrast with intentionalism – intentionality for Husserl covers just a region of conscious contents; that it is essentially a relation between act-processes and presented content; and that the side of act-processes contains non-representational contents. In (...) the third part, I show that Husserl also offers resources against intentionalism’s exclusive concern with propositional content. (shrink)

Many philosophers have found in Hume’s skeptical doubts concerning the operations of the understanding the materials for an argument that generalizes from induction to other domains, like our beliefs in the external world, other minds, and the past. This chapter offers a novel reconstruction of that argument and identifies the principles that are responsible for its capacity to generalize beyond induction. Next, it presents a classical reading of Hume’s skeptical solution and shows that Crispin Wright’s entitlement theory is close in (...) spirit to it. After that, it develops two objections to entitlement theory: it relies on the truth of deeply contingent propositions that are not a priori rational, and it does not manage to redefine the concept of epistemic rationality while offering an effective anti-skeptical response. The chapter concludes with a constructive suggestion: some passages that support a non-classical reading of Hume’s positive views on induction offer the materials to reject the steps of the skeptical argument that cause trouble for entitlement theory. (shrink)

Iffication, Preiffication, Qualiffication, Reiffication, and Deiffication. -/- Roughly, iffication is the speech-act in which—by appending a suitable if-clause—the speaker qualifies a previous statement. The clause following if is called the qualiffication. In many cases, the intention is to retract part of the previous statement—called the preiffication. I can retract part of “I will buy three” by appending “if I have money”. This initial study focuses on logical relations among propositional contents of speech-acts—not their full conversational implicatures, which will be (...) treated elsewhere. The modified statement—called the iffication—is never stronger than the preiffication. A degenerate iffication is one logically equivalent to its preiffication. There are limiting cases of degenerate iffications. In one, the qualiffication is tautological, as “I will buy three if three is three”. In another, the negation of the qualiffication implies the preiffication, as “I will buy three if I will not buy three”. Reiffication is iffication of an iffication. “I will buy three if I have money” is reifficated by appending “if there are three left”. Deiffication is the speech-act in which—by appending a suitable and-clause—the effect of an iffication is cancelled so that the result implies the preiffication. “I will buy three if I have money” is deifficated by appending “and I have money”. All further examples come from standard (one-sorted, tenseless, non-modal) first-order arithmetic. All theorems are about first-order arithmetic propositions. An easy theorem, hinted above, is that an iffication is degenerate if and only if the negation of the qualiffication implies the preiffication. The iffication of a conjunction using one of the conjuncts as qualiffication need not imply the other conjunct: “Two is an even square if two is square” does not imply “Two is even”. END OF PRINTED ABSTRACT. -/- Some find that the last statement provides a surprise in logic. https://www.academia.edu/s/a5a4386b75?source=link Acknowledgements: Robert Barnes, William Frank, Amanda Hicks, David Hitchcock, Leonard Jacuzzo, Edward Keenan, Mary Mulhern, Frango Nabrasa, and Roberto Torretti. (shrink)

This article arises indirectly out of the development of a particular approach, called ATT-Meta, to the understanding of some types of metaphorical utterance. However, the specifics of the approach are not the focus of the present article, which concentrates on some general issues that have informed, or arisen from, the development of the approach. The article connects those issues to the questions of metaphorical meaning and truth. -/- A large part of the exploration of metaphor in fields such as Cognitive (...) Linguistics and natural language Pragmatics takes metaphor to rest on complex mappings between a target subject matter and a source subject matter (see, e.g., Lakoff 1993, 2008). This is one main way in which some aspects of the source, generally including some structural aspects, can have parallels in the target. It is typical for much, and perhaps the whole, of the meaning of a metaphorical expression to be explained by means of these parallels. We will talk about “parallelism” rather than “isomorphism,” or even “analogy,” because “isomorphism” implies a strict one-to-one correspondence between items in the source scenario and items in the target scenario, and analogy theorists often hold that analogy rests on isomorphism. We wish not to prejudge the question of whether looser, messier forms of parallelism are sometimes needed. Also, we will talk about parallels rather than mappings, because our discussion will embrace the question of parallelism that may be discernible, albeit implicitly, in accounts of metaphor that are not presented as being based on mappings. Three main cases of such accounts are Relevance Theory (RT: e.g., Sperber & Wilson 2008, Wilson & Carston 2006), the categorization-based or "class-inclusion“ approach (Glucksberg 2008), and Ritchie’s (2006) CLST account (Context-Limited Simulation Theory). -/- One main issue we will address is that of substantial non-parallelism that can exist between source and target subject-matters in metaphor: more precisely, the issue that there may be source aspects that are exploited by the utterance and have a deep effect on metaphorical interpretation but that do not themselves have a natural parallel in the target subject-matter (although we will point out that artificial parallels can generally be created). This is part of a broader point that the content of metaphorical discourse should often be seen as being derived in a rather holistic way from several metaphorical bits of the discourse, which conspire to describe some source-domain scenario, rather than being derived by putting together metaphorical meanings of each metaphorical bit (even if each bit could in principle be assigned its own separate metaphorical meaning). As a result, we suggest that it is misguided to think of the propositions making up the content (or, if you like, "meaning“) about the target scenario that is being described is a matter of metaphorical meaning of specific grammatical units such as sentences, clauses or other constituents that a traditional semantic theory would assign propositional meaning to. Rather, grammatical units (that are to be taken metaphorically) have meanings in source-domain terms; content in target-domain terms is derived from the source-domain scenario depicted by those units and fleshed out through inference; and the target-domain content is only (in general) fuzzily relatable to particular grammatical units. This view is on a spectrum at whose extreme point we could place Davidson’s (1984) view that metaphors only have literal (i.e., source-domain) meanings, with other effects on the understander not being a matter of propositional content. However, on our view it is proper to take metaphorical discourse as having non-literal meaning, couched as a collection of propositions, among other things possibly; it is just that the propositions are not to be thought of (in general) as meaning of specific sentences, clauses or other grammatical units rather than of a possibly only fuzzily delineated piece of discourse. -/- A second main concern of the article is the question of how much, and what types of, inference are involved in the derivation of metaphorical meaning. While our own ATT-Meta approach accords with, amongst other accounts, Relevance Theory (RT) as to the centrality of inference in metaphor interpretation, we disagree with RT on its claim that metaphor interpretation is a matter of (a relatively high degree of) concept "broadening“ and (often) "narrowing“. We argue that almost all inference can in fact be theoretically re-described as concept broadening and/or narrowing, and what is left over should be included in the metaphor interpretation process anyway. Thus, the RT claim about broadening and narrowing really just says that inference, of unrestricted type, is involved in metaphor understanding, in accord with what ATT-Meta claims. (shrink)

The water scarcity crisis is becoming more severe across the globe and recycled water has been suggested as a feasible solution to the crisis. However, expanding the use of potable and recycled public water has been hindered by public acceptance. Previous studies suggest threat perception and trust of provided information have positive linear relationships with recycled water acceptance. However, given the complex filtering role of trust in the human mental process, we argue that the effects of threat perception and (...) trust may have non-linear relationships with acceptance of recycled water for drinking. To support and validate this argument, we employed Bayesian Mindsponge Framework analytics on 726 Spanish residents. We found that individuals more concerned about water shortage are less likely to accept using recycled water for drinking if their trust in the water quality and safety is low. Meanwhile, people more concerned about water shortage are more likely to accept using recycled water for drinking if they trust the water quality and safety. The findings suggest the non-linear relationships between threat perception, trust, and recycled water acceptance while validating mindsponge-based reasoning. Moreover, the results also highlight the importance of trust in influencing the mental process’s outcome: recycled water acceptance. (shrink)

The standing tradition in theorizing about meaning, since at least Frege, identifies meaning with propositions, which are, or determine, the truth-conditions of a sentence in a context. But a recent trend has advocated a departure from this tradition: in particular, it has been argued that modal claims do not express standard propositional contents. This non-propositionalism has received different implementations in expressivist semantics and certain kinds of dynamic semantics. They maintain that the key aspect of interpretation of modal claims is (...) the characteristic dynamic effect they have on the context. I argue that pessimism about truth-conditions arises from an overly simplistic picture of content, context and their interaction. While I agree with the critics that an important aspect of modal meaning is the dynamic effect modals have on the context, I argue that they have mischaracterized the nature and the complexity of this effect. A more nuanced account of the interaction between modals and context shows that far from being incompatible with propositional meaning, the dynamic aspect of meaning is precisely what allows us to predict the correct propositional content of an utterance. (shrink)

My two principal aims in this essay are interconnected. One aim is to provide a new interpretation of the ‘infinite modes’ in Spinoza’s Ethics. I argue that for Spinoza, God, conceived as the one infinite and eternal substance, is not to be understood as causing two kinds of modes, some infinite and eternal and the rest finite and non-eternal. That there cannot be such a bifurcation of divine effects is what I take the ‘infinite mode’ propositions, E1p21–23, to establish; (...) E1p21–23 show that each and every one of the immanent effects of an infinite and eternal God is an infinite and eternal mode. The other aim is to show that these propositions can be understood as part of an extended critical response to Descartes’s infamous doctrine that God creates eternal truths and true and immutable natures. If we have the correct (Spinozan) conceptions of what God is and how God works, we see that an eternal and infinite God can only be understood to cause ‘eternal truths,’ and that these eternal truths are infinite and eternal modes of God. (shrink)

Must privacy and freedom of expression conflict? To witness recent debates in Britain, you might think so. Anything other than self-regulation by the press is met by howls of anguish from journalists across the political spectrum, to the effect that efforts to protect people’s privacy will threaten press freedom, promote self-censorship and prevent the press from fulfilling its vital function of informing the public and keeping a watchful eye on the activities and antics of the powerful.[Brown, 2009, 13 January]1 Effective (...) protections for privacy, from such a perspective, inevitably pose a threat to democratic government via the constraints that they place on the press. Such concerns with privacy must be taken seriously by anyone who cares about democratic government, and the freedom, equality and wellbeing of individuals. But if it is one thing to say that privacy and freedom of expression cannot always be fully protected, it is another to suppose that protections for the one must always come at the expense of the other. After all, the economics of contemporary politics and journalism would seem to be partly responsible for our difficulties in protecting personal privacy while sustaining robust and informative forms of public discourse. [Moore, 2010, 10 -141]2 Most newspapers are loss-making businesses and the need to reduce those losses and, if possible, to turn a profit, make investigative journalism an increasingly expensive proposition as compared to both “comment” and more or less elevated forms of gossip. At the same time, politics has increasingly become the prerogative of a narrow group of people with access to the large sums of money necessary successfully to compete for high office. In those circumstances, the need for critical scrutiny is as important as it is difficult. Revising our ideas about privacy and its protection cannot alone reduce the tensions between freedom of expression and personal privacy typical of our societies, necessary though such revision may be. Moreover, this paper can only touch on some aspects of the ways in which we need to rethink our interests in privacy, in order adequately to reflect people’s diverse interests in freedom of expression, and the important role of a free press to democratic government. Nonetheless, I hope to suggest ways of thinking about people’s claims to privacy which can be generalised fairly readily, and can help us to think constructively about the nature, causes and solutions to some important social and political problems, even if, in its nature, philosophical analysis rarely tells us what to do. More specifically, this paper argues that people are entitled to keep some true facts about themselves to themselves, should they so wish, as a sign of respect for their moral and political status, and in order to protect themselves from being used as a public example in order to educate or to entertain other people. The “outing” - or non-consensual public disclosure - of people’s health records or status, or their sexual behaviour or orientation is usually unjustified, even when its consequences seem to be beneficial. Indeed, the paper claims, the reasons to reject outing, as inconsistent with democratic commitments to freedom and equality, are reasons to insist on the importance of privacy to freedom of expression. While a free press is of the utmost importance to democratic government, it is not identical with the free expression of individuals and, on occasion, the former may have to be constrained in order to protect the latter. [Barendt, 2007, 231]. Hence, the paper concludes, we should distinguish the claims of individuals to publish reports about their lives – even if this necessarily involves revealing the private lives of others – from journalistic claims to publish information about the sex lives of consenting adults. I will start by briefly situating my argument within a democratic approach to privacy, before using the “outing” of Oliver Sipple to examine people’s claims to privacy and their implications for freedom of expression and of the press. I will be assuming that some forms of privacy are legitimate, in order to focus more closely on the question of what information, if any, people may keep to themselves. (shrink)

The thesis that the two-valued system of classical logic is insufficient to explanation the various intermediate situations in the entity, has led to the development of many-valued and fuzzy logic systems. These systems suggest that this limitation is incorrect. They oppose the law of excluded middle (tertium non datur) which is one of the basic principles of classical logic, and even principle of non-contradiction and argue that is not an obstacle for things both to exist and to not exist at (...) the same time. However, contrary to these claims, there is no inadequacy in the two-valued system of classical logic in explanation the intermediate situations in existence. The law of exclusion and the intermediate situations in the external world are separate things. The law of excluded middle has been inevitably accepted by other logic systems which are considered to reject this principle. The many-valued and the fuzzy logic systems do not transcend the classical logic. Misconceptions from incomplete information and incomplete research are effective in these criticisms. In addition, it is also effective to move the discussion about the intellectual conception (tasawwur) into the field of judgmental assent (tasdiq) and confusion of the mawhum (imaginable) with the ma‘kûl (intellegible). (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)

I present a solution to the epistemological or characterisation problem of induction. In part I, Bayesian Confirmation Theory (BCT) is discussed as a good contender for such a solution but with a fundamental explanatory gap (along with other well discussed problems); useful assigned probabilities like priors require substantive degrees of belief about the world. I assert that one does not have such substantive information about the world. Consequently, an explanation is needed for how one can be licensed to act as (...) if one has substantive information about the world when one does not. I sketch the outlines of a solution in part I, showing how it differs from others, with full details to follow in subsequent parts. The solution is pragmatic in sentiment (though differs in specifics to arguments from, for example, William James); the conceptions we use to guide our actions are and should be at least partly determined by preferences. This is cashed out in a reformulation of decision theory motivated by a non-reductive formulation of hypotheses and logic. A distinction emerges between initial assumptions--that can be non-dogmatic--and effective assumptions that can simultaneously be substantive. An explanation is provided for the plausibility arguments used to explain assigned probabilities in BCT. -/- In subsequent parts, logic is constructed from principles independent of language and mind. In particular, propositions are defined to not have form. Probabilities are logical and uniquely determined by assumptions. The problems considered fatal to logical probabilities--Goodman's `grue' problem and the uniqueness of priors problem are dissolved due to the particular formulation of logic used. Other problems such as the zero-prior problem are also solved. -/- A universal theory of (non-linguistic) meaning is developed. Problems with counterfactual conditionals are solved by developing concepts of abstractions and corresponding pictures that make up hypotheses. Spaces of hypotheses and the version of Bayes' theorem that utilises them emerge from first principles. -/- Theoretical virtues for hypotheses emerge from the theory. Explanatory force is explicated. The significance of effective assumptions is partly determined by combinatoric factors relating to the structure of hypotheses. I conjecture that this is the origin of simplicity. (shrink)

Propositional logics in general, considered as a set of sentences, can be undecidable even if they have “nice” representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already intuitionistic logic is PSPACE-complete). On the other hand, finite-valued logics are computationally relatively simple—at worst NP. Moreover, finite-valued semantics are simple, and general methods for theorem proving exist. This raises the question to what extent and under what circumstances propositional logics represented in (...) various ways can be approximated by finite-valued logics. It is shown that the minimal m-valued logic for which a given calculus is strongly sound can be calculated. It is also investigated under which conditions propositional logics can be characterized as the intersection of (effectively given) sequences of finite-valued logics. (shrink)

The very existence of society depends on the ability of its members to influence formatively the beliefs, desires, and actions of their fellows. In every sphere of social life, powerful human agents (whether individuals or institutions) tend to use coercion as a favorite shortcut to achieving their aims without taking into consideration the non-violent alternatives or the negative (unintended) consequences of their actions. This propensity for coercion is manifested in the doxastic sphere by attempts to shape people’s beliefs (and doubts) (...) while ignoring the essential characteristics of these doxastic states. I argue that evidential persuasion is a better route to influence people’s beliefs than doxastic coercion. Doxastic coercion perverts the belief-forming mechanism and undermines the epistemic and moral faculties both of coercers and coercees. It succeeds sporadically and on short-term. Moreover, its pseudo doxastic effects tend to disappear once the use of force ceases. In contrast to doxastic coercion, evidential persuasion produces lasting correct beliefs in accordance with proper standards of evidence. It helps people to reach the highest possible standards of rationality and morality. Evidential persuasion is based on the principles of symmetry and reciprocity in that it asks all persuaders to use for changing the beliefs of others only those means they used in forming their own beliefs respecting the freedom of will and assuming the standard of rationality. The arguments in favor of evidential persuasion have a firm theoretical basis that includes a conceptual clarification of the essential traits of beliefs. Belief is treated as a hypercomplex system governed by Leibniz’s law of continuity and the principle of self-organization. It appears to be a mixture consisting of a personal propositional attitude and physical objects and processes. The conceptual framework also includes a typology of believers according to the standards of evidence they assume. In this context, I present a weak version of Clifford’ ethical imperative. In the section dedicated to the prerequisites for changing beliefs, I show how doxastic agents can infuse premeditated or planned changes in the flow of endogenous changes in order to shape certain beliefs in certain desired forms. The possibility of changing some beliefs in a planned manner is correlated with a feedback doxastic (macro-mechanism) that produces a reaction when it is triggered by a stimulus. In relation with the two routes to influence beliefs, a response mechanism is worth taking into consideration – a mechanism governed to a significant extent by human conscience and human will, that appears to be complex, acquired, relatively detached from visceral or autonomic information processing, and highly variable in reactions. Knowing increasingly better this doxastic mechanism, we increase our chances to use evidential persuasion as an effective (although not time-efficient) method to mold people’s beliefs. (shrink)

The subject of this essay-based dissertation is Hume’s natural philosophy. The dissertation consists of four separate essays and an introduction. These essays do not only treat Hume’s views on the topic of natural philosophy, but his views are placed into a broader context of history of philosophy and science, physics in particular. The introductory section outlines the historical context, shows how the individual essays are connected, expounds what kind of research methodology has been used, and encapsulates the research contributions of (...) the essays. The first essay treats Newton’s experimentalist methodology in gravity research and its relation to Hume’s causal philosophy. It is argued that Hume does not see the relation of cause and effect as being founded on a priori reasoning, similar to the way in which Newton criticized non-empirical hypotheses about the causal properties of gravity. Contrary to Hume’s rules of causation, the universal law does not include a reference either to contiguity or succession, but Hume accepts it in interpreting the force and the law of gravity instrumentally. The second article considers Newtonian and non-Newtonian elements in Hume more broadly. He is sympathetic to many prominently Newtonian themes in natural philosophy, such as experimentalism, critique of hypotheses, inductive proof, and the critique of Leibnizian principles of sufficient reason and intelligibility. However, Hume is not a Newtonian philosopher in many respects: his conceptions regarding space and time, the vacuum, the specifics of causation, the status of mechanism, and the reality of forces differ markedly from Newton’s related conceptions. The third article focuses on Hume’s Fork and the proper epistemic status of propositions of mixed mathematics. It is shown that the epistemic status of propositions of mixed mathematics, such as those concerning laws of nature, is that of matters of fact. The reason for this is that the propositions of mixed mathematics are dependent on the Uniformity Principle. The fourth article analyzes Einstein’s acknowledgement of Hume regarding special relativity. The views of the scientist and the philosopher are juxtaposed, and it is argued that there are two common points to be found in their writings, namely an empiricist theory of ideas and concepts and a relationist ontology regarding space and time. (shrink)

This thesis is about the metaphysics of logic. I argue against a view I refer to as ‘logical realism’. This is the view that the logical constants represent a particular kind of metaphysical structure, which I dub ‘logico-metaphysical structure’. I argue instead for a more metaphysically lightweight view of logic which I dub ‘logical expressivism’. -/- In the first part of this thesis (Chapters I and II) I argue against a number of arguments that Theodore Sider has given for logical (...) realism. In Chapter I, I present an argument of his to the effect that logico-metaphysical structure provides the only good explanation of the semantic determinacy of the logical constants. I argue that other explanations are possible. In Chapter II, I present another argument of his to the effect that logico-metaphysical structure is something that comes along with ontological realism: the view that there is a non-language-relative fact of the matter about what exists. I argue that the connection between logical and ontological realism is not as close as Sider makes it out to be. -/- In the second part of this thesis (Chapters III – V) I set out a positive view of the logical constants that can explain both why their meanings are semantically determinate, and why they form part of our vocabulary. On that view, the primary bearers of logical structure are propositional attitudes, and the logical constants are in our language as vehicles for the expression of logically complex propositional attitudes. In Chapter III, I set out an expressivist theory of propositional logic. In Chapter IV, I use this theory to explain how the logical connectives end up having determinate meanings. In Chapter V, I extend the expressivist theory to predicate logic. (shrink)

Volition and Allied Causal Concepts is a work of aetiology and metapsychology. Aetiology is the branch of philosophy and logic devoted to the study of causality (the cause-effect relation) in all its forms; and metapsychology is the study of the basic concepts common to all psychological discourse, most of which are causal. Volition (or free will) is to be distinguished from causation and natural spontaneity. The latter categories, i.e. deterministic causality and its negation, have been treated in a separate work, (...) The Logic of Causation. Volition may be characterized as personal causality, a relation between an agent (the self or soul) and his actions (acts of will). Unlike causation, this relation cannot be entirely defined using conditional (if–then) propositions. Although we can say that the agent is a sine qua non of his actions, we cannot say that the agent is invariably (in all or specific circumstances) followed by his actions. It appears that both an act of will and its negation remain possible to a soul in any given set of circumstances. This defines freedom of the will, and implies the responsibility of the agent for his actions. Introspection provides knowledge of particular acts of will. The existence of freewill implies a distinction between necessary causation (determinism independent of volition) and inertial causation (determinism, except when some contrary will interferes). An act of will occurs on a spiritual plane. It may have natural (mental or physical) consequences; those that inevitably follow it may be regarded as directly willed, whereas those that vary according to circumstances must be considered indirectly willed. Volition presupposes some degree of consciousness. So-called involuntary acts of will involve a minimum of attention, whereas mindful acts are fully conscious. Even pure whim involves intention. Most volitions moreover involve valuation, some sort of projection of goals, deliberation on means, choice and decision. To judge responsibility, various distinctions are called for, like that between intentional, incidental and accidental consequences. Volitional action can be affected through the terms and conditions of the world surrounding its agent, but also more intimately through the influence of concrete or abstract aspects of that world that the subject has cognized. The causal concept of influence, and its implication of cognition (of inner or outer information, including emotions), are crucial to measuring the effort involved in volition. Influences make willing easier or harder, yet do not curtail its essential freedom. All the causal concepts used in psychological explanation – affections, appetites, instincts, habits, obsessions, compulsions, urges and impulses – can be elucidated thanks to this important finding. Much of human (and animal) behavior can thus be both acknowledged as volitional and as variously influenced. Volition and Allied Causal Concepts is a work of ambitious scope, intent on finally resolving philosophical and logical issues that have always impeded progress in psychology. It clarifies the structure and workings of the psyche, facilitating hygienic and therapeutic endeavors. The relation between volition and physical laws is discussed, as is the place of volition in biology. Concepts used in biology, analogous to that of purpose, are incidentally analyzed. Theological issues are also dealt with, as are some topics in ethics and law. (shrink)

Popper's account of refutation is the linchpin of his famous view that the method of science is the method of conjecture and refutation. This thesis critically examines his account of refutation, and in particular the practice he deprecates as avoiding a refutation. I try to explain how he comes to hold the views that he does about these matters; how he seeks to make them plausible; how he has influenced others to accept his mistakes, and how some of the ideas (...) or responses to Popper of such people are thus similarly mistaken. I draw some distinctions necessary to the provision of an adequate account of the so-called practice of avoiding a refutation, and try to rid the debate about this practice of at least one red herring. I analyse one case of 'avoiding' a refutation in detail to show how the rationality of scientific practice eludes both Popper and many of his commentators. Popper's skepticism about contingent knowledge prevents him from providing an acceptable account of contingent refutation, and so his method is really the method of conjecture and conjecture. He cannot do without the concepts of knowledge and refutation, however, if his account of science is to be plausible or persuasive, and so he equivocates between, amongst other things, refutation as disproof and refutation as the weaker notion of discorroboration. I criticise David Stove's account of this matter, in particular to show how he misses this point. An additional advantage Popper would secure from this equivocation is that if refutations were mere discorroborations they would be easier to achieve, and hence more common in science, than is the case. On Popper's weak notion of refutation, it would be possible to refute true theories since corroboration does not entail truth. There are two other related doctrines Popper holds about refutation which, if accepted, make some refutations seem easier to obtain than is the case. I call these doctrines 'Strong Popperian Falsificationism' (SPF) and 'Weak Popperian Falsificationism' (WPF). SPF is the false doctrine that if a prediction from some theory is refuted then that theory is refuted. Popper does not always endorse SPF. In particular, when confronted with a counterexample to it, he retreats to WPF, which is the false doctrine that if a prediction from some theory is refuted then that theory is prima facie refuted. WPF , or even SPF, can seem plausible if one has in mind predictions derived from theories in strong or conclusive tests of those theories, which I suggest Popper characteristically does. v Popper is disposed to describe any such case of predictive failure which does not lead to the refutation of the theory concerned as one in which that refutation has been avoided. To reinforce his portrayal of the refutation, or the attempted refutation, of major scientific theories as the rational core of scientific practice, Popper treats the so-called practice of avoiding a refutation as untypical of science, and much so-called avoidance he dismisses as unscientific or pseudo-scientific. I argue that his notion of avoiding a refutation is incoherent. Popper is further driven to believe that such avoidance is possible, however, because he conflates sentences with propositions and propositions with propositional beliefs. Also, he wishes to avoid being saddled with the relativisim that is a consequence of his weak account of refutation as discorroboration. Popper believes that ad hoc hypotheses are the most important of the unscientific means of avoiding a refutation. I argue that his account of such hypotheses is also incoherent, and that several hypotheses thought to be ad hoc in his sense are not. Such hypotheses appear to be so largely because of Popper's use of rhetoric and partly because these hypotheses are unacceptable for other reasons. I conclude that to know that a hypothesis is ad hoc in Popper's sense does not illuminate scientific practice. Popper has also attempted to explicate ad hocness in terms of some undesirable, or allegedly undesirable, properties of hypotheses or the explanations they would provide. The first such property is circularity, which is undesirable; the second such property is reduction in empirical content, which is not. In the former case I argue that non-circularity is clearly preferable to non-ad hocness as a criterion for a satisfactory explanation or explanans, as the case may be, and in the latter case that Popper is barking up the wrong tree. Some cases of so-called avoidance are obviously not unscientific. The discovery of Neptune from a prediction based on the reasonable belief that there were residual perturbations in the motion of Uranus is an important case in point, and one that is much discussed in the literature. The manifest failure of astronomers to account for Uranus's motion did not lead to the refutation of Newton's law of gravitiation, yet significant scientific progress obviously did result. Retreating to WPF, Popper claims that Newton's law was prima facie refuted. In general, astronomers have never shared this view, and they are correct in not doing so. I argue that the law of gravitation would have been prima facie refuted only if there had been good reason at the time to believe as false what is true, namely, that an unknown trans-Uranian planet was the cause of those Uranian residuals. Knowledge of the trans-Uranian region was then so slight that it was merely a convenient assumption, one which there was little reason to believe was false, that the known influences on Uranus's motion were the only such influences. I conclude that in believing vi or supposing that it was this assumption that was false, rather than the law of gravitation, Leverrier and Adams, the co-predictors of Neptune, were acting rationally and intelligently. Popper's commentators offer a variety of accounts of the alleged practice of avoiding a refutation, and of this case in particular. I analyse a sample of their accounts to show how common is the acceptance of some of Popper's basic mistakes, even amongst those who claim to reject his falsificationism, and to display the effects on their accounts of this acceptance of his mistakes. Many commentators recognize that anomalies are typically dealt with by changes in the boundary conditions or in other of the auxiliary propositions employed. Where many still go wrong, however, is in retaining the presupposition of WPF which encouraged Popper to hold the contradictory view about anomalies in the first place. Thus Imre Lakatos and others, for example, have developed a 'siege mentality' about major scientific theories; they see them as under continual threat of refutation from anomalies, and so come to believe that dogmatism is essential in science if such theories are to survive as they do. I examine various such doomed attempts to reconcile Popper with the history of science. It is a common failure in this literature to conflate or to fail to see the need to distinguish a belief from a supposition, and an epistemic reason from a pragmatic reason. I argue that only if one does draw these distinctions can one give an adequate account of how anomalies are rationally dealt with in science. The other important strand in Popper's thinking about 'avoidance' of refutation which has seriously misled some of his commentators is his unfounded belief in the dangers of ad hoc hypotheses. I examine the accounts that a sample of such commentators provide of the trans-Uranian planet hypotheses of Leverrier and Adams. These commentators imply or assert what Popper only hints at, namely, that there is something fishy about this hypothesis. I provide a further defence of the rationality of entertaining this hypothesis at the time. I conclude with a few remarks about Popper's dilemma in respect of scientific practice and his long standing emphasis on refutations. (shrink)

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

Thought is the primary realm in which truth and falsity may occur and speech the secondary realm of this occurrence while the realm of external being has no truth and falsity in itself. The first and last points are directly asserted by Aristotle in one text: ‘Falsity and truth are not in things-it is not as if the good were true, and the bad were in itself false- but in thought.’ (Met., E, 1027b25-27; cf. Met., K, 1065a22-23) The second point (...) is also somehow implied: ‘As there are in the mind thoughts which do not involve truth and falsity, and those which must be either true or false, so it is in speech.’ (OI, I, 1, 16a9-11) 1) Truth and falsity belong only to co-positings and positing aways and not to incomposites Truth and falsity do not belong to the realm of external being but only to the realms of thought and language. However, they do not belong to all the elements in these realms. Neither do they belong to incomposite elements in thought (‘With regard to simple things and essences, falsity and truth do not exist even in thought.’ (Met., E, 1027b26-28; So., Γ, 6, 430a26-b4)), nor to such elements in language. Consequently, all incomposites are incapable of being true or false. (cf. Met., Θ, 1051b17-22 and b26-27) Where we have no co-positing or positing away, of the kind made by copula or verb, we cannot have truth and falsity though we can have significance: ‘“Man” and “white”, as isolated terms, are not yet either true or false. In proof of this, consider the word “good-stag.” It has significance, but there is no truth or falsity about it, unless “is” or “is not” is added, either in present or in some other tense.’ (OI., I, 1, 16a14-18) Therefore, any other kind of co-positing cannot be the subject of truth and falsity. One good example of co-positings not made by copula or verbs are simple negations: ‘He that uses the expression ‘not-man,’ if nothing more be added, is not nearer but farther from making a true or a false statement than he who uses the expression “man.”’ (OI., I, 10, 20a34-36) It is indeed a co-positing or a positing away that is the subject of truth and falsity: ‘For it is co-positing (σύνθεσιν) and positing away (διαίρεσιν) that truth and falsity is about.’ (OI., I, 1, 16a12-13) Co-positing is so vital for truth-falsity that ‘of the things that are never said based on co-positing, nothing is true or false.’ (Cat., 10, 13b9-11) This co-positing can be both in thought (‘where the alternative of true or false applies, there we always find a sort of combining of objects of thought in a quasi-unity … For falsehood always involves a combining’ (So., Γ, 6, 430a26-b2) and ‘truth or false is a co-positing of concepts of thought’ (So., Γ, 6, 430a11-12) and in language because they are produced in thought: ‘There is not only the true or false assertion that Cleon is white but also the true or false assertion that he was or will be white. In each and every case that which unifies is thought.’ (So., Γ, 6, 430b4-6) 2) Correspondence to external world Although truth and falsity belong to thought and language and not to external world, their basis is in the external world. It is, in fact, the correspondence of thought and language to external world that makes what is true, true and what is false, false: ‘To say of what is that it is, or of what is not that it is not, is false, while to say of what is that it is, and of what is not that is not, is true.’ (Met., Γ, 1011b26-27; cf. Met., Θ, 1051b2-5) When the two realms are correspondent, we can transfer from one to the other: ‘If it is true to say that a thing is white, it must necessarily be white; if the reverse proposition be true, it will of necessity not be white. Again, if it is white, the proposition stating that it is white was true; if it is not white, the proposition to the opposite effect was true. And if it is not white, the man who states that it is making a false statement, it follows that it is not white.’ (OI., I, 9, 18a39-b3) This possible mutual transformation does not, however, imply that each realm is the basis of the other. In fact, it is only the external world that is the basis of truth and falsity in thought or language and not vice versa: ‘it is not because we think that you are white, that you are white, but because you are white we who say this have the truth.’ (Met., Θ, 1051b6-9; Cat., 5, 4b8-10) Aristotle even calls the external world the ‘cause’ of truth in the realm of language while the converse causation is not approved: ‘Whereas the true statement is in no way the cause of the actual thing’s existence, the actual thing does seem in some way the cause of the statement’s being true: it is because the actual thing exists or does not that the statement is called true or false.’ (Cat., 12, 14b18-22) This one-sided relation Aristotle calls ‘reciprocation as to implication of existence’: ‘For there being a man reciprocates as to implication of existence with the true statement about it: if there is a man, the statement whereby we say that there is a man is true, and reciprocally- since if the statement whereby we say that there is a man is true, there is a man. And whereas the true statement is in no way the cause of the actual thing’s existence, the actual thing does seem in some way the cause of the statement’s being true: it is because the actual thing exists or does not that the statement is called true or false,’ (Cat., 12, 14b14-22) Aristotle attaches falsity to not-being: ‘We cal things false in this way, then, either because they themselves do not exist, or because the appearance which results from them is that of something that does not exist.’ (Met., Δ, 1024b24-26) Or: ‘A false formula is the formula of non-existent objects, in so far as it is false.’ (Met., Δ, 1024b26-27) This correspondence to ‘non-being’ is, however, more a miscorrespondence: ‘Hence every formula is false when applied to something other than that of which it is true, e.g. the formula of a circle is false when applied to a triangle.’ (Met., Δ, 1024b27-28) . (shrink)

We approach the topic of solution equivalence of propositional problems from the perspective of non-constructive procedural theory of problems based on Transparent Intensional Logic (TIL). The answer we put forward is that two solutions are equivalent if and only if they have equivalent solution concepts. Solution concepts can be understood as a generalization of the notion of proof objects from the Curry-Howard isomorphism.

Purpose: Despite the prevalent use of the golden ratio in the environment design for autistic users, there is no experimental research that explains their desired space ratio. This study aims to find the desired ratio in the learning environment, like an occupational therapy room for autistic users, while considering effective variables on their choices. Methodology: Based on McAllister's (2012) study, a scale model inspired by a dollhouse has been chosen to work and play with autistic children directly and find their (...) desired space ratio. Meanwhile, the furniture configuration and the access type in the environment could also define the ratio for interviewees. Accordingly, the scale model was designed with six different scale rooms containing three ratios and two spatial access types represented by the furniture arrangement. 50 autistic children of different ages, genders, and disorders in the moderate and medium spectrum have been randomly sampled. Then, they were asked to choose their desired ratio by playing with the scale model and putting the doll in their preferred room. This study also included 50 non-autistic children as a control group with different genders and defined ages. Result: After interviewing both groups, the chi-square test with Cramer's V calculation analyzed the result to find the statistically significant correlation between control variables, among which two independent variables had a statistically significant correlation with the chosen ratio for all the interviewees. First, being autistic significantly impacted their desired ratio choice as autistic children went for a ratio of 2:5, and no autistic ones had a high tendency toward the golden ratio (1:1.6). The chi-square test also showed that the access type in the scale model was the effective variable for both groups when choosing their desired ratio. Conclusion: The access type of the room with its furniture configuration impacted how users perceived the room's ratio, as well as being autistic or non-autistic users. (shrink)

Most contemporary philosophical discussions of intentionality start and end with a treatment of the propositional attitudes. In fact, many theorists hold that all attitudes are propositional attitudes. Our folk-psychological ascriptions suggest, however, that there are non-propositional attitudes: I like Sally, my brother fears snakes, everyone loves my grandmother, and Rush Limbaugh hates Obama. I argue that things are as they appear: there are non-propositional attitudes. More specifically, I argue that there are attitudes that relate individuals to (...) non-propositional objects and do so not in virtue of relating them to propositions. I reach this conclusion by not only showing that attempted analyses of apparently non-propositional attitudes in terms of the propositional fail, but that some non-propositional attitudes don’t even supervene on propositional attitudes. If this is correct, then the common discussions of intentionality that address only propositional attitudes are incomplete and those who hold that all intentional states are propositional are mistaken. (shrink)

Contemporary philosophy of mind tends to theorize about the propositional attitudes primarily in terms of belief and desire. But there is a propositional attitude, sometimes called ‘entertaining,’ that seems to resist analysis in terms of belief and desire, and has been thought at other times and places (notably, in late nineteenth-century Austrian philosophy) to be more fundamental than belief and desire. Whether or not we accept the fundamentality of entertaining, it certainly seems to be an attitude ill understood (...) in contemporary philosophy of mind. The purpose of this paper is to make first steps – very first steps – toward a more mature understanding of entertaining. (shrink)

Dugundji proved in 1940 that most parts of standard modal systems cannot be characterized by a single finite deterministic matrix. In the eighties, Ivlev proposed a semantics of four-valued non-deterministic matrices (which he called quasi-matrices), in order to characterize a hierarchy of weak modal logics without the necessitation rule. In a previous paper, we extended some systems of Ivlev’s hierarchy, also proposing weaker six-valued systems in which the (T) axiom was replaced by the deontic (D) axiom. In this paper, we (...) propose even weaker systems, by eliminating both axioms, which are characterized by eight-valued non-deterministic matrices. In addition, we prove completeness for those new systems. It is natural to ask if a characterization by finite ordinary (deterministic) logical matrices would be possible for all those Ivlev-like systems. We will show that finite deterministic matrices do not characterize any of them. (shrink)

Recent work in philosophy of language has raised significant problems for the traditional theory of propositions, engendering serious skepticism about its general workability. These problems are, I believe, tied to fundamental misconceptions about how the theory should be developed. The goal of this paper is to show how to develop the traditional theory in a way which solves the problems and puts this skepticism to rest. The problems fall into two groups. The first has to do with reductionism, specifically attempts (...) to reduce propositions to extensional entities-either extensional functions or sets. The second group concerns problems of fine grained content-both traditional 'Cicero'/'Tully' puzzles and recent variations on them which confront scientific essentialism. After characterizing the problems, I outline a non-reductionist approach-the algebraic approach-which avoids the problems associated with reductionism. I then go on to show how the theory can incorporate non-Platonic (as well as Platonic) modes of presentation. When these are implemented nondescriptively, they yield the sort of fine-grained distinctions which have been eluding us. The paper closes by applying the theory to a cluster of remaining puzzles, including a pair of new puzzles facing scientific essentialism. (shrink)

I formulate an account, in terms of essence and ground, that explains why atomic Russellian propositions have the truth conditions they do. The key ideas are that (i) atomic propositions are just 0-adic relations, (ii) truth is just the 1-adic version of the instantiation (or, as I will say, holding) relation (Menzel 1993: 86, note 27), and (iii) atomic propositions have the truth conditions they do for basically the same reasons that partially plugged relations, like being an x and a (...) y such that Philip gave x to y, have the holding conditions they do. The account is meant to be mainly of intrinsic interest, but I hope that it goes some distance toward answering an objection to classical theories of propositions put forward by King (2014), who writes that ‘since the classical conception of propositions as things that have truth conditions by their very natures and independently of minds and languages is incapable of explaining how or why propositions have truth conditions, it is unacceptable’ (2014: 47). Propositions do have their truth conditions ‘by their very natures’ and ‘independently of minds and languages’. But a fact about a given entity can hold by the very nature of that entity without being a fundamental fact. I argue that this is plausibly the case for atomic Russellian propositions and the facts about their truth conditions. A fact about the truth conditions of such a proposition holds by the very nature of the given proposition but is metaphysically grounded in facts about that proposition’s parts and their essences. If my account is correct, then the supposedly intractable problem of explaining why the given propositions have the truth conditions they do reduces to the problem of explaining why relations have the holding essences they do, which few seem to have found worrisome . (shrink)

Although philosophers of art and aesthetics regularly appeal to a notion of ‘pictorial content’, there is little agreement over its nature. The present paper argues that pictures have propositional contents. This conclusion is reached by considering a style of argument having to do with the phenomenon of negation intended to show that pictures must have some kind of non-propositional content. I first offer reasons for thinking that arguments of that type fail. Second, I show that when properly understood, (...) such arguments can in fact be turned on their heads and shown to support the propositionalist position. (shrink)

In “A Defense of Presentism ”, Ned Markosian addresses the problem of singular propositions about non-present objects. The proposed solution uses a paraphrasing strategy that differentiates between two kinds of meaning in declarative sentences, and also distinguishes between two truth-conditions for singular propositions. The solution, however, is unsatisfactory. I demonstrate that the both truth-conditions suffer from the same problems in spite of the examples used to support the claim that one is a proper treatment for singular propositions. Part of the (...) difficulty is in the limited expressivity of logical formalisms, a limitation not unique to the philosophy of time, but which calls for greater attention. (shrink)

Those arguing for the existence of non-propositional content appeal to emotions for support, although there has been little engagement in those debates with developments in contemporary theory of emotion, specifically in connection with the kind of mental states that emotional experiences are. Relatedly, within emotion theory, one finds claims that emotional experiences per se have non-propositional content without detailed argument. This paper argues that the content of emotional experience is propositional in a weak sense, associated with aspectual (...) experience and correctness conditions. Furthermore, it provides an interpretation of purely-objectual emotional experiences which satisfies this weak view of propositional content. (shrink)

I present an argument that propositional attitudes are not mental states. In a nutshell, the argument is that if propositional attitudes are mental states, then only minded beings could have them; but there are reasons to think that some non-minded beings could bear propositional attitudes. To illustrate this, I appeal to cases of genuine group intentionality. I argue that these are cases in which some group entities bear propositional attitudes, but they are not subjects of mental (...) states. Although propositional attitudes are not mental states, I propose that they are typically co-instantiated with mental states. In an attempt to explain this co-instantiation, I suggest that propositional attitudes of minded beings are typically realized by mental states. (shrink)

Jeffrey King has recently argued: (i) that the semantic value of a sentence at a context is (or determines) a function from possible worlds to truth values, and (ii) that this undermines Jason Stanley's argument against the rigidity thesis, the claim that no rigid term has the same content as a non-rigid term. I show that King's main argument for (i) fails, and that Stanley's argument is consistent with the claim that the semantic value of a sentence at a context (...) is (or determines) a function from worlds to truth values. (shrink)

An important objection to sententialist theories of attitude reports is that they cannot accommodate the principle that one cannot know that someone believes that p without knowing what it is that he believes. This paper argues that a parallel problem arises for propositionalist accounts that has gone largely unnoticed, and that, furthermore, the usual resources for the propositionalist do not afford an adequate solution. While non-standard solutions are available for the propositionalist, it turns out that there are parallel solutions that (...) are available for the sententialist. Since the difficulties raised seem to show that the mechanism by which sentential complements serve to inform us about attitudes and about sentence meaning does not depend on their referring to propositions, this casts doubt on whether talk of propositions should retain a significant theoretical role in the enterprise of understanding thought, language and communication. (shrink)