I show that from common views about propositions as sets of possible worlds and knowledge requiring a sufficiently strong safety condition one can derive a condition stating that self-knowledge of belief is only possible if the content of that belief is fully understood. I show this by a reductio. If a subject S lacks full understanding of a proposition p, then S’s belief about believing that p cannot amount to knowledge. Even though my argument is based on (...) particular views about propositions and knowledge, I argue that the same kind of argument is also available for other knowledge conditions that rule out relevant luck and other accounts of propositions. However, for many of these other accounts of knowledge the requirement for understanding p will not be full understanding, but only sufficiently high understanding. These results tell us how self-knowledge, ruling out luck and understanding belief contents relate. (shrink)

On Relation between the Individual Character of Propositional Knowledge and Its Value -/- The paper presents two aspects of human propositional knowledge, objective and subjective. The former is based on the truth condition, and the latter on the belief condition. Then several problems of the value of knowledge are briefly presented. The last part contains two arguments for the sine qua non belief condition of knowledge, one of which concerns the problem of epistemic luck (...) assumed in virtue. (shrink)

Schemes of diagrammatic representation have been so familiarly introduced into logical treatises during the last century or so, that many readers, even of those who have made no professional study of logic, may be supposed to be acquainted with the general nature and object of such devices. Of these schemes one only, viz. that commonly called "Eulerian circles," has met with any general acceptance. A variety of others indeed have been proposed by ingenious and celebrated logicians, several of which would (...) claim notice in a historical treatment of the subject; but they mostly do not seem to me to differ in any essential respect from that of Euler. They rest upon the same leading principle, and are subject all alike to the same restrictions and defects. We must therefore cast about for some new scheme of diagrammatic representation which shall be competent to indicate imperfect knowledge on our part; for this will at once enable us to appeal to it step by step in the process of working out our conclusions. I have never seen any hint at such a scheme, though the want seems so evident that one would suppose that something of the kind must have been proposed before. (shrink)

In mathematics, any form of probabilistic proof obtained through the application of a probabilistic method is not considered as a legitimate way of gaining mathematical knowledge. In a series of papers, Don Fallis has defended the thesis that there are no epistemic reasons justifying mathematicians’ rejection of probabilistic proofs. This paper identifies such an epistemic reason. More specifically, it is argued here that if one adopts a conception of mathematical knowledge in which an epistemic subject can know a (...) mathematical proposition based solely on a probabilistic proof, one is then forced to admit that such an epistemic subject can know several lottery propositions based solely on probabilistic evidence. Insofar as knowledge of lottery propositions on the basis of probabilistic evidence alone is denied by the vast majority of epistemologists, it is concluded that this constitutes an epistemic reason for rejecting probabilistic proofs as a means of acquiring mathematical knowledge. (shrink)

Introspective knowledge by acquaintance is knowledge we have by being directly aware of our phenomenally conscious states. In this paper, I argue that introspective knowledge by acquaintance is a sui generis kind of knowledge: it is irreducible to any sort of propositional knowledge and is wholly constituted by a relationship of introspective acquaintance. My main argument is that this is the best explanation of some epistemic facts about phenomenal consciousness and introspection. In particular, it (...) best explains the epistemic asymmetry between a subject who has never had a certain phenomenal state and one who has. I also consider two theoretical objections to my claim: an objection from disunity and an objection from mysteriousness. I show that these objections can be answered and that introspective knowledge by acquaintance being sui generis remains a live option on the table. (shrink)

One emerging issue in contemporary epistemology concerns the relation between animal knowledge, which can be had by agents unable to take a view on the epistemic status of their attitudes, and reflective knowledge, which is only available to agents capable of taking such a view. Philosophers who are open to animal knowledge often presume that while many of the beliefs of human adults are formed unreflectively and thus constitute mere animal knowledge, some of them—those which become (...) subject of explicit scrutiny or are the result of a deliberative effort—may attain the status of reflective knowledge. According to Sanford Goldberg and Jonathan Matheson (2020), however, it is impossible for reflective subjects to have mere animal knowledge. If correct, their view would have a number of repercussions, perhaps most notably the vindication of a dualism about knowledge, which would frustrate attempts to provide a unified account of knowledge-attributions to human adults, very young children, and non-human animals. I discuss Goldberg and Matheson’s proposal, outline some of the ways in which it is insightful, and argue that it is ultimately unsuccessful because it neglects the inherent temporal dimension of knowledge acquisition. While the article is pitched as a reply to Goldberg and Matheson, its primary aim is to highlight significant connections between the debates on the relation between animal and reflective knowledge, propositional and doxastic justification, and the theory of epistemic defeat. (shrink)

proposition. Universal proposition is defined as the proposition in which the relation between the subject term and the predicate term is without any condition, in which the predicate is either affirmed or denied of the subject unconditionally. In nyaya logic the term vyapti is a universal proposition or invariable relation between the middle term (linga/hetu) and the major term (sadya) . According to the category of relation propositions are divided into categorical and the conditional. Although proposition is a logical entity (...) which is an assertion, either affirm or deny the subject. Truth and falsity are the values of proposition. Universal proposition is of two kinds: universal affirmative proposition and universal negative proposition while universality is the quantity of the subject and affirmation or negation is the quality of the proposition. Anumana (inference) is the knowledge of the objects which follows some other knowledge. In nyaya logic Inference is a combined deductive-inductive reasoning consisting of at least three categorical propositions and in it there are at least three propositions consisting of three terms, viz. the paksa or minor term about which we infer something, the sadhya or major term which inferred object, and the linga(probans) or sadana or middle which is invariably related to the major, and is present in the minor. Indian inference resembles to the categorical syllogism of western logic. In nyaya logic inference consisting of three propositions the first proposition is the conclusion of the syllogism , the second is the minor premise and last the major premise which is totally opposite of western logic. Syllogism of nyaya logic contains five propositions, called its Avayavas or members. These are pratijna, hetu, udarana, upanaya, and nigamana. Middle term have five characteristics in order to make five Figures of syllogism as Figure is the form of the syllogism. These five characteristics, or at least four of them , must be found in the middle term of a valid inference. If not, there will be fallacies(error in reasoning). Nyayikas give us three classifications of inference. According to first inference is of two kinds, namely, svartha and parartha. According to another inference is of three kinds, purvavat, sesavat and samanyatodrsta. According to third classification inference is distinguished into kevalanvayi, kevala-vyatireki and anvaya-vyatireki. (shrink)

The philosophy of science has traditionally assumed that knowledge should be organized in the form of theories. From theories propositions can be deduced that can be tested in experiments. Most propositions deduced from theories take the form of if-then statements. For example, if variable A increases, what happens to variable B, assuming that all other variables are held constant? However, an alternative way of organizing knowledge, in the form of producer-product relationships, was proposed by the philosopher E.A. Singer, (...) Jr. and advocated by two of his students, C. West Churchman and Russell L. Ackoff. Whether to structure knowledge in the form of theories or methods is related to the question of whether there is a fundamental difference between the natural and the social sciences. As opposed to Karl Popper’s doctrine of the unity of method, this paper argues that structuring knowledge in the form of methods is appropriate in applied fields, particularly in management where a large part of the task is to achieve agreement among a group of knowing subjects on an appropriate set of actions. (shrink)

The distinction between propositional and doxastic justification is well-known among epistemologists. Propositional justification is often conceived as fundamental and characterized in an entirely apsychological way. In this chapter, I focus on beliefs based on deductive arguments. I argue that such an apsychological notion of propositional justification can hardly be reconciled with the idea that justification is a central component of knowledge. In order to propose an alternative notion, I start with the analysis of doxastic justification. I (...) then offer a notion of propositional justification, intersubjective propositional justification, that is neither entirely apsychological nor idiosyncratic. To do so, I argue that to be able to attribute propositional justification to a subject, we have to consider her social context as well as broad features of our human cognitive architecture. (shrink)

Some philosophers have recently argued that whether a true belief amounts to knowledge in a specific circumstance depends on features of the subject’s practical situation that are unrelated to the truth of the subject’s belief, such as the costs for the subject of being wrong about whether the believed proposition is true. One of the best-known arguments used to support this view is that it best explains a number of paradigmatic cases, such as the well-known Bank Case, in which (...) a difference in knowledge occurs in subjects differing exclusively with respect to their practical situation. I suggest an alternative explanation of such cases. My explanation has a disjunctive character: on the one hand, it accounts for cases in which the subject is aware of the costs of being wrong in a given situation in terms of the influence of psychological factors on her mechanisms of belief-formation and revision. On the other hand, it accounts for cases in which the subject is ignorant of the costs of being wrong in her situation by imposing a new condition on knowledge. This condition is that one knows that p only if one does not underestimate the importance of being right about whether p. I argue that my explanation has a number of advantages over other invariantist explanations: it accounts for all the relevant cases preserving the semantic significance of our ordinary intuitions, it is compatible with an intellectualist account of knowledge and it escapes several problems affecting competing views. (shrink)

We think we have lots of substantial knowledge about the future. But contemporary wisdom has it that indeterminism prevails in such a way that just about any proposition about the future has a non-zero objective chance of being false.2, 3 What should one do about this? One, pessimistic, reaction is scepticism about knowledge of the future. We think this should be something of a last resort, especially since this scepticism is likely to infect alleged knowledge of the (...) present and past. One anti-sceptical strategy is to pin our hopes on determinism, conceding that knowledge of the future is unavailable in an indeterministic world. This is not satisfying either: we would rather not be hostage to empirical fortune in the way that this strategy recommends. A final strategy, one that we shall explore in this paper, is one of reconciliation: knowledge of a proposition is compatible with a subject’s belief having a non-zero objective chance of error.4 Following Williamson, we are interested in tying knowledge to the presence or absence of error in close cases, and so we shall explore the connections between knowledge and objective chance within such a framework. We don’t want to get tangled up here in complications involved in attempting to formulate a necessary and sufficient condition for knowledge in terms of safety. Instead, we will assume the following rough and ready necessary condition: a subject knows P only if she could not easily have falsely believed P.5 Assuming that easiness is to be spelt.. (shrink)

The philosophy of science has traditionally assumed that knowledge should be organized in the form of theories. From theories propositions can be deduced that can be tested in experiments. Most propositions deduced from theories take the form of if-then statements. For example, if variable A increases, what happens to variable B, assuming that all other variables are held constant? However, an alternative way of organizing knowledge, in the form of producer-product relationships, was proposed by the philosopher E.A. Singer, (...) Jr. and advocated by two of his students, C. West Churchman and Russell L. Ackoff. Whether to structure knowledge in the form of theories or methods is related to the question of whether there is a fundamental difference between the natural and the social sciences. As opposed to Karl Popper’s doctrine of the unity of method, this paper argues that structuring knowledge in the form of methods is appropriate in applied fields, particularly in management where a large part of the task is to achieve agreement among a group of knowing subjects on an appropriate set of actions. (shrink)

When one thinks—knows, believes, imagines—that something is the case, one’s thought has a topic: it is about something, towards which one’s mind is directed. What is the logic of thought, so understood? This book begins to explore the idea that, to answer the question, we should take topics seriously. It proposes a hyperintensional account of the propositional contents of thought, arguing that these are individuated not only by the set of possible worlds at which they are true, but also (...) by their topic: what they are about. The book then builds epistemic, doxastic, probabilistic, and conditional logics based on this view. It applies them to issues ranging from dogmatism, scepticism, and epistemic fallibilism, to imagination and suppositional reasoning, belief revision, framing effects, and the acceptability of indicative conditionals. (shrink)

The Problem of Nearly Convergent Knowledge is an updated and stronger version of the Problem of Convergent Knowledge, which presents a problem for the traditional, binary view of knowledge in which knowledge is a two-place relation between a subject and the known proposition. The problem supports Knowledge Contrastivism, the view that knowledge is a three-place relation between a subject, the known proposition, and a proposition that disjoins the alternatives relevant to what the subject knows. (...) For example, if knowledge is contrastive, I do not simply know that the bird in front of me is a goldfinch; instead, I know that the bird in front of me is a goldfinch rather than a raven or eagle or falcon. There is, however, a binary view of knowledge that overcomes even the Problem of Nearly Convergent Knowledge. I will give this binary view, show that it is motivated by the same considerations that motivate Knowledge Contrastivism, and argue that it avoids problematic consequences for our epistemic lives that Knowledge Contrastivism cannot. (shrink)

The subject of this paper is the epistemology of identity: a general theory of knowledge, evidence and justification for the claim that one thing is identical to another. Although identity figures significantly in our epistemic lives, this is a topic that, to the best of my knowledge, has gone entirely unexplored. Initial attempts to integrate such an epistemology into existing theories of evidence---many of which are tailor-made for contingent propositions---are confounded by the necessity of identity. I defend a (...) restricted form of skepticism according to which the only knowable identity claims are trivial. (shrink)

Bertrand Russell was neither the first nor the last philosopher to engage in serious theorizing about propositions. But his work between 1903, when he published The Principles of Mathematics, and 1919, when his final lectures on logical atomism were published, remains among the most important on the subject. And its importance is not merely historical. Russell’s rapidly evolving treatment of propositions during this period was driven by his engagement with – and discovery of – puzzles that either continue to shape (...) contemporary theorizing about propositions, or ought to do so. Russell’s creative responses to these puzzles also laid the foundation for many later accounts (most obviously, contemporary ‘Russellian’ accounts of propositions). In this entry we provide an opinionated overview of Russell’s influential treatment of propositions, with a focus on the evolution of his views from 1903 to 1919. A growing secondary literature is dedicated to Russell’s changing views during this period, and their often complex or opaque motivations. We do not intervene overmuch in this ongoing scholarly discussion. Instead, our aim is to trace some of the central motivations for Russell’s evolving views, and highlight the extent to which these motivations remain relevant to contemporary theorizing about propositions. (shrink)

The concept of knowledge can be modelled in epistemic modal logic and, if modelled by using a standard modal operator, it is subject to the problem of logical omniscience. The classical solution to this problem is to distinguish between implicit and explicit knowledge and to construe the knowledge operator as capturing the concept of implicit knowledge. In addition, since a proposition is said to be implicitly known just in case it is derivable from the set of (...) propositions that are explicitly known by using a certain set of logical rules, the concept of implicit knowledge is definable on the basis of the concept of explicit knowledge. In any case, both implicit and explicit knowledge are typically characterized as factive, i.e. such that it is always the case that what is known is also true. The aim of the present paper is twofold: first, we will develop a dynamic system of explicit intersubjective knowledge that allows us to introduce the operator of implicit knowledge by definition; secondly, we will show that it is not possible to hold together the following two theses: (1) the concept of implicit knowledge is definable along the lines indicated above and (2) the concept of implicit knowledge is factive. (shrink)

We describe the three place relation of contrastive knowledge, which holds between a person, a target proposition, and a contrasting proposition. The person knows that p rather than that q. We argue for three claims about this relation. (a) Many common sense and philosophical ascriptions of knowledge can be understood in terms of it. (b) Its application is subject to fewer complications than non-contrastive knowledge is. (c) It applies over a wide range of human and nonhuman cases.

This paper explores some consequences of Lewis’s (Australas J Philos 74(4):549–567, 1996) understanding of how knowledge is compartmentalized. It argues, first, that he underestimates how badly it impacts his view. When knowledge is compartmentalized, it lacks at least one of two essential features of Lewis’s account: (a) Elusiveness—familiar skeptical possibilities, when relevant, are incompatible with everyday knowledge. (b) Knowledge is a modality—when a thinker knows that p, there is no relevant possibility where p is false. Lewis (...) proposes compartmentalized knowledge to keep treating knowledge as a modality while mitigating one of its unrealistic epistemological implications: In normal modal epistemic logic (and standard possible world semantics), a thinker always counts as knowing the strongest proposition that follows from the set of all the individual propositions that this thinker knows. Lewis’s compartmentalization proposal is that thinkers merely know the conjunctions of propositions that are known in each of, but not across, their compartments. The irony is that in avoiding overblown knowledge the view now allows for thinkers to attend to skeptical error possibilities and yet knowledge is present. The account avoids inflation of knowledge in one sense only to acquire another type of knowledge the view denies subjects can have. This problem motivates an inspection of knowledge accounts whose intra-compartment closure principles are weaker than those that are valid in normal modal-logic. The conclusion is that some formulations of closure can avoid the challenge Lewis’s view faces. Nevertheless, even these closure principles pose a barrier—perhaps an implausible barrier—for knowledge of ignorance. Even when the reasoning supporting the lack of knowledge is sound, a subject cannot always know she doesn’t know. Interestingly, this obstacle is one that knowledge of knowledge doesn’t seem to face. (shrink)

This paper seeks to intervene in environmental ethics and social epistemology. Within a predominant strand of environmental ethics, one witnesses accounts based on nonhumans’ ability to suffer, and consequently, the passivity of nonhumans. On the other hand, social epistemology is often not social enough insofar as it does not include nonhumans. Seminal accounts of epistemic injustice often conceal or exclude the possibility that nonhumans can be subjects of knowledge and victims of epistemic injustice because of an anthropocentric bias that (...) maintains propositional language is a necessary condition for knowledge. By presenting a non-anthropocentric, corporeal epistemology, this paper reveals a more affirmative account of nonhumans as epistemic agents with tacit, embodied knowledge. To prevent epistemic depreciation turning into ethical indifference or wrongdoing, this paper focuses on whether it is possible to commit epistemic injustices against nonhumans. In particular, this paper argues that humans can commit fourth-order epistemic exclusion, testimonial injustice, and testimonial smothering against nonhumans. (shrink)

In 1951 John Rawls expressed these convictions about the fundamental issues in metaethics: [T]he objectivity or the subjectivity of moral knowledge turns, not on the question whether ideal value entities exist or whether moral judgments are caused by emotions or whether there is a variety of moral codes the world over, but simply on the question: does there exist a reasonable method for validating and invalidating given or proposed moral rules and those decisions made on the basis of (...) them? For to say of scientific knowledge that it is objective is to say that the propositions expressed therein may be evidenced to be true by a reasonable and reliable method, that is, by the rules and procedures of what we may call "inductive logic"; and, similarly, to establish the objectivity of moral rules, and the decisions based upon them, we must exhibit the decision procedure, which can be shown to be both reasonable and reliable, at least in some cases, for deciding between moral rules and lines of conduct consequent to them.1 In this passage Rawls reconfigured the issue of moral objectivity and so reoriented the practice of metaethics from linguistic analysis to rational methodology. In so doing, his work has provided inspiration to philosophers as disparate in normative views as Thomas Nagel,2 Richard Brandt3, Alan Gewirth4, and David Gauthier.5 Rawls replaced the Moorean question, Do moral terms refer? with the Rawlsian question, Can moral judgments be the outcome of a rational and reliable procedure? He later gave a resoundingly positive answer to this question6 and later still, a more tentative one.7 Rawls' considered qualification of his earlier enthusiasm about the extent to which moral philosophy could be "part of the theory of rational choice"8 is a tribute to the seriousness with which he took his critics' objections. (shrink)

Any good theory of knowledge ascriptions should explain and predict our judgments about their felicity. I argue that any such explanation must take into account a distinction between three ways of using knowledge ascriptions: to suggest acceptance of the embedded proposition, to explain or predict a subject's behavior or attitudes, or to understand the relation of knowledge as such. The contextual effects on our judgments about felicity systematically differ between these three types of uses. Using such a (...) distinction is, in principle, open to both contextualist and pragmatic invariantist accounts of knowledge ascriptions. However, there are some implications pertaining to the use of the “method of cases” in the debate about knowledge ascriptions. (shrink)

One challenge for moderate invariantists is to explain why we tend to deny knowledge to subjects in high stakes when the target propositions seem to be inappropriate premises for practical reasoning. According to an account suggested by Williamson, our intuitive judgments are erroneous due to an alleged failure to acknowledge the distinction between first-order and higher-order knowledge: the high-stakes subject lacks the latter but possesses the former. In this paper, I provide three objections to Williamson’s account: i) his (...) account delivers counterintuitive verdicts about what it is appropriate for a high-stakes subject to do; ii) the high-stakes subject doesn’t need iterated knowledge in order to be regarded as appropriately relying on the relevant proposition in practical reasoning; iii) Williamson’s account doesn’t provide a good explanation of why the high-stakes subject would be blameworthy if she were relying on the relevant proposition in her practical reasoning. (shrink)

At the time in which quantum mechanics engages in talks of multiverses and quantum technologies helps to realize a concept of metaverse, the so-called ‘virtual life’ has become the extended reality. Chalmers in his book rejects a dichotomy of reality and illusion and consctructs a trichotomy by adding virtuality in order to offer a proposition that a virtual world is a part of the extended reality. The author sees new philosophical challenges in this new reality. For an example, as we (...) are bound to allow some form of consciousness to a robot in a context of simulation there are questions of status of personal agency or personal identity. Traditional subjects of ontology, knowledge, and value come to us as new challenges. Despite difficulties in discussions of some topics, the author leads us to see a new horizon of possible philosophical debates for a new reality. ___ Journal of The Society of Philosophical Studies, South Korea, 138(2022.9): pp. 143-156. (shrink)

This is a thesis in support of the conceptual yoking of analytic truth to a priori knowledge. My approach is a semantic one; the primary subject matter throughout the thesis is linguistic objects, such as propositions or sentences. I evaluate arguments, and also forward my own, about how such linguistic objects’ truth is determined, how their meaning is fixed and how we, respectively, know the conditions under which their truth and meaning are obtained. The strategy is to make explicit (...) what is distinctive about analytic truths. The objective is to show that truths, known a priori, are trivial in a highly circumscribed way. My arguments are premised on a language-relative account of analytic truth. The language relative account which underwrites much of what I do has two central tenets: 1. Conventionalism about truth and, 2. Non-factualism about meaning. I argue that one decisive way of establishing conventionalism and non-factualism is to prioritise epistemological questions. Once it is established that some truths are not known empirically an account of truth must follow which precludes factual truths being known non-empirically. The function of Part 1 is, chiefly, to render Carnap’s language-relative account of analytic truth. I do not offer arguments in support of Carnap at this stage, but throughout Parts 2 and 3, by looking at more current literature on a priori knowledge and analytic truth, it becomes quickly evident that I take Carnap to be correct, and why. In order to illustrate the extent to which Carnap’s account is conventionalist and non-factualist I pose his arguments against those of his predecessors, Kant and Frege. Part 1 is a lightly retrospective background to the concepts of ‘analytic’ and ‘a priori’. The strategy therein is more mercenary than exegetical: I select the parts from Kant and Frege most relevant to Carnap’s eventual reaction to them. Hereby I give the reasons why Carnap foregoes a factual and objective basis for logical truth. The upshot of this is an account of analytic truth (i.e. logical truth, to him) which ensures its trivial nature. In opposition to accounts of a priori knowledge, which describe it as knowledge gained from rational apprehension, I argue that it is either knowledge from logical deduction or knowledge of stipulations. I therefore reject, in Part 2, three epistemologies for knowing linguistic conventions (e.g. implicit definitions): 1. intuition, 2. inferential a priori knowledge and, 3. a posteriori knowledge. At base, all three epistemologies are rejected because they are incompatible with conventionalism and non-factualism. I argue this point by signalling that such accounts of knowledge yield unsubstantiated second-order claims and/or they render the relevant linguistic conventions epistemically arrogant. For a convention to be arrogant it must be stipulated to be true. The stipulation is then considered arrogant when its meaning cannot be fixed, and its truth cannot be determined without empirical ‘work’. Once a working explication of ‘a priori’ has been given, partially in Part 1 (as inferential) and then in Part 2 (as non-inferential) I look, in Part 3, at an apriorist account of analytic truth, which, I argue, renders analytic truth non-trivial. The particular subject matter here is the implicit definitions of logical terms. The opposition’s argument holds that logical truths are known a priori (this is part of their identification criteria) and that their meaning is factually based. From here it follows that analytic truth, being determined by factually based meaning, is also factual. I oppose these arguments by exposing the internal inconsistencies; that implicit definition is premised on the arbitrary stipulation of truth which is inconsistent with saying that there are facts which determine the same truth. In doing so, I endorse the standard irrealist position about implicit definition and analytic truth (along with the “early friends of implicit definition” such as Wittgenstein and Carnap). What is it that I am trying to get at by doing all of the abovementioned? Here is a very abstracted explanation. The unmitigated realism of the rationalists of old, e.g. Plato, Descartes, Kant, have stoically borne the brunt of the allegation of yielding ‘synthetic a priori’ claims. The anti-rationalist phase of this accusation I am most interested in is that forwarded by the semantically driven empiricism of the early 20th century. It is here that the charge of the ‘synthetic a priori’ really takes hold. Since then new methods and accusatory terms are employed by, chiefly, non-realist positions. I plan to give these proper attention in due course. However, it seems to me that the reframing of the debate in these new terms has also created the illusion that current philosophical realism, whether naturalistic realism, realism in science, realism in logic and mathematics, is somehow not guilty of the same epistemological and semantic charges levelled against Plato, Descartes and Kant. It is of interest to me that in, particularly, current analytic philosophy (given its rationale) realism in many areas seems to escape the accusation of yielding synthetic priori claims. Yet yielding synthetic a priori claims is something which realism so easily falls prey to. Perhaps this is a function of the fact that the phrase, ‘synthetic a priori’, used as an allegation, is now outmoded. This thesis is nothing other than an indictment of metaphysics, or speculative philosophy (this being the crime), brought against a specific selection of realist arguments. I, therefore, ask of my reader to see my explicit, and perhaps outmoded, charge of the ‘synthetic a priori’ levelled against respective theorists as an attempt to draw a direct comparison with the speculative metaphysics so many analytic philosophers now love to hate. I think the phrase ‘synthetic a priori’ still does a lot of work in this regard, precisely because so many current theorists wrongly think they are immune to this charge. Consequently, I shall say much about what is not permitted. Such is, I suppose, the nature of arguing ‘against’ something. I’ll argue that it is not permitted to be a factualist about logical principles and say that they are known a priori. I’ll argue that it is not permitted to say linguistic conventions are a posteriori, when there is a complete failure in locating such a posteriori conventions. Both such philosophical claims are candidates for the synthetic a priori, for unmitigated rationalism. But on the positive side, we now have these two assets: Firstly, I do not ask us to abandon any of the linguistic practises discussed; merely to adopt the correct attitude towards them. For instance, where we use the laws of logic, let us remember that there are no known/knowable facts about logic. These laws are therefore, to the best of our knowledge, conventions not dissimilar to the rules of a game. And, secondly, once we pass sentence on knowing, a priori, anything but trivial truths we shall have at our disposal the sharpest of philosophical tools. A tool which can only proffer a better brand of empiricism. (shrink)

The primary aim of this paper is to argue that the value of understanding derives in part from a kind of subjective stability of belief that we call epistemic resilience. We think that this feature of understanding has been overlooked by recent work, and we think it’s especially important to the value of understanding for social cognitive agents such as us. We approach the concept of epistemic resilience via the idea of the experience of epistemic ownership and argue that the (...) former concept has Platonic pedigree. Contrary to longstanding exegetical tradition, we think that Plato solves the “Meno problem” with an appeal to the epistemic resilience characteristic of understanding, not the well-groundedness characteristic of canonical cases of propositional knowledge. Finally, we apply our discussion to the case of science outreach and the challenge of global warming skepticism and conclude with directions for future research. (shrink)

According to the knowledge view of evidence notoriously defended by Timothy Williamson (2000), for any subject, her evidence consists of all and only her propositional knowledge (E=K). Many have found (E=K) implausible. However, few have offered arguments against Williamson’s positive case for (E=K). In this paper, I propose an argument against Williamson’s positive case in favour of (E=K). Central to my argument is the possibility of the knowledge of necessary truths. I also draw some more general (...) conclusions concerning theorizing about evidence. (shrink)

In this paper I want to introduce and defend what I call the "subject mode account" of collective intentionality. I propose to understand collectives from joint attention dyads over small informal groups of various types to organizations, institutions and political entities such as nation states, in terms of their self-awareness. On the subject mode account, the self-consciousness of such collectives is constitutive for their being. More precisely, their self-representation as subjects of joint theoretical and practical positions towards the world – (...) rather than as objects of such positions – makes them what they are. Members of such collectives represent each other as co-subjects of such positions and thus represent the world from the point of view of the collective. (shrink)

This work approaches the distinction between knowledge-how and knowledge-that in terms of two complementary concepts: performance and information. In order to do so, I formulate Ryle’s argument of infinite regress in terms of performance in order to show that Stanley and Williamson’s counterargument has no real object: both reject the view that the exercise of knowledge-that necessarily requires the previous consideration of propositions. Next, using the concept of feedback, I argue that Stanley and Williamson’s positive account of (...) knowledge-how in terms of knowledge-that corresponds to the output of the comparison between an intention of action and the perceived outcome of performance. Then, I expound other theories of mind and cognition in which feedback and prediction play a fundamental role in order to explain other ways in which information intervenes in performance—i.e., information is construed as knowledge-that available at subject level that guides performance. Finally, I present some reflections on the impact of the concept of knowledge-how, and possible routes to continue our enquiry on the nature of knowledge. (shrink)

Limits of the Conversation about Forms. Types of Knowledge and Necessity of Forms in Plato's "Parmenides". - Forms (ideas) are among the things that Plato is serious about. But about these things he says in his "Seventh Letter": "There neither is nor ever will be a treatise of mine on the subject." (341c, transl. J. Harward). Plato's statement suggests the question, why one does not and never can do justice to the Platonic forms by means of a written text (...) about the forms. Another big question of Plato research is whether the conversations documented in the Platonic dialogues are also affected by this verdict. This paper aims to provide, as far as possible, newly substantiated answers to these two questions. To this end, the systematic limits of the discussion about forms, which are particularly evident in Plato's dialogue "Parmenides", are examined in eight steps: First, two types of knowledge are presented that play an important systematic role in Plato's philosophy with regard to the limits of conversation: knowledge-how (practical knowledge) and knowledge-that (propositional knowledge) (I). Then the Socratic model of these two types of knowledge is interpreted, which is drafted in the tenth book of the "Republic". This model uses the example of bridle, bridlemaker and rider to explain the primacy of practical knowledge and the limits of propositional knowledge (II). Subsequently, it will be shown how the dialogues "Republic" and "Parmenides" are connected with each other in content and form (III). The gradation of the two types of knowledge, which is indicated by the motifs of the bridle and the horse on the image level of the "Parmenides", proves to be the structure that systematically underlies the structure of the entire dialogue (IV). It also makes clear why the conversation about the forms in the first part of the "Parmenides" has to fail (V). The assumption that the two parts of the "Parmenides" express two different types of knowledge in dealing with forms is supported by the results of a logical analysis of the last defence of the acceptance of forms (135b-c). This analysis shows why, for reasons of principle, it is impossible to speak adequately about forms (VI). Forms have the function of being presuppositions of 'talking about something'. Thus forms are always presupposed in conversation when one talks about them, and thus elude appropriate discussion in conversation (VII). That this is not only a methodical insight of the Platonic Parmenides, but can also be attributed to Plato himself, is demonstrated by the concluding reinterpretation of the central sentence of the critique of writing in Plato's "Seventh Letter". It will become apparent that, contrary to the now widespread view of the representatives of the Tübingen school, philosophical and also good philological reasons speak for the fact that Plato related his criticism only to the communicability of forms through treatises, i.e. tract-like writings (VIII). (shrink)

In recent work on the semantics of ‘knowledge’-attributions, a variety of accounts have been proposed that aim to explain the data about speaker intuitions in familiar cases such as DeRose’s Bank Case or Cohen’s Airport Case by means of pragmatic mechanisms, notably Gricean implicatures. This paper argues that pragmatic explanations of the data regarding ‘knowledge’-attributions are unsuccessful and concludes that in explaining those data we have to resort to accounts that (a) take those data at their semantic face (...) value (Epistemic Contextualism, Subject-Sensitive Invariantism or Epistemic Relativism), or (b) reject them on psychological grounds (Moderate Insensitive Invariantism). To establish this conclusion, the paper relies solely upon widely accepted assumptions about pragmatic theory, broadly construed, and on the Stalnakerian insight that linguistic communication takes place against the backdrop of a set of mutually accepted propositions: a conversation’s common ground. (shrink)

This paper discusses Raimo Tuomela's we-mode account in his recent book "Social Ontology: Collective Intentionality and Group Agents" and develops the idea that mode should be thought of as representational. I argue that in any posture – intentional state or speech act – we do not merely represent a state of affairs as what we believe, or intend etc. – as the received view of 'propositional attitudes' has it –, but our position relative to that state of affairs and (...) thus ourselves. That is, we represent the subject through what I call "subject mode" and its position through what I call "position mode". I argue that the key to understanding collective intentionality is to understand how we represent others as co-subjects of positions rather than as their objects. This is shown on various levels of collective intentionality. On the non-conceptual level of joint attention we experience others as co-subjects who we attend with rather than to and who we are at least also disposed to act jointly with. On the conceptual level of the we-mode we represent others as co-subjects of positions of knowledge, intention, belief and shared values. Organizations and thus group agents in Tuomela's sense I propose to understand in terms of what I call "role mode", that is, in terms of the positions individuals and groups take as occupants of certain roles, for example, as committee members, or as chancellor of Germany. I try to show how this account, while very much in the spirit of Tuomela's, can avoid his fictionalism about group agents and some other problems of his account, while steering between the Scylla of excessive individualism and the Charybdis of extreme collectivism. (shrink)

Assuming a radical stance on embodied cognition, according to which the information ac- quired through basic cognitive processes is not contentful (Hutto and Myin, 2013), and as- suming that perception is a source of rationally grounded knowledge (Pritchard, 2012), a pluralistic account of perceptual knowledge is developed. The paper explains: (i) how the varieties of perceptual knowledge fall under the same broader category; (ii) how they are subject to the same kind of normative constraints; (iii) why there (...) could not be a conflict between the different varieties of perceptual knowledge; and (iv) why the traditional episte- mological inquiry is inclined to overestimate the role of propositional perceptual knowledge. (shrink)

Neuroscience can relate to ethics and normative issues via the brain’s cognitive control network. This network accomplishes several executive processes, such as planning, task-switching, monitoring, and inhibiting. These processes allow us to increase the accuracy of our perceptions and our memory recall. They also allow us to plan much farther into the future, and with much more detail than any of our fellow mammals. These abilities also make us fitting subjects for responsibility claims. Their activity, or lack thereof, is at (...) the heart of culpability. For instance, planning to kill someone is strong evidence of what the law calls mens rea—a guilty mind. Claims about norms, or ethical “should” claims, express two-level propositions, directed at the behaving person at one level, and at that person’s mind and cognitive control network at another level. Thus, “People should stop themselves from hurting others,” is a claim about how people should behave and also a claim about how their cognitive control networks should behave—i.e., they should inhibit harmful behavior, or the intentions leading up to it. Planning is both an ability of the full person, and of that person’s mind. Neuroscience affirms the common notion, seen both in law and folk psychology, that what makes us guilty or culpable are certain events and states that exist in our minds. Overt behavior, including speech, is fallible evidence of these states and processes. Cases of negligence still involve the executive processes, but “negatively,” in that negligence results when certain types of executive activity fail to take place. (shrink)

I propose and defend the conjecture that what explains why Gettiered subjects fail to know is the fact that their justified true belief depends essentially on unknown propositions. The conjecture follows from the plausible principle about inference in general according to which one knows the conclusion of one’s inference only if one knows all the premises it involves essentially.

For Kant, knowledge involves certainty. If “certainty” requires that the grounds for a given propositional attitude guarantee its truth, then this is an infallibilist view of epistemic justification. Such a view says you can’t have epistemic justification for an attitude unless the attitude is also true. Here I want to defend an alternative fallibilist interpretation. Even if a subject has grounds that would be sufficient for knowledge if the proposition were true, the proposition might not be true. (...) And so there is sometimes still rational room for doubt. The goal of this paper is to present four different models of what “certainty” amounts to, for Kant, each of which is compatible with fallibilism. (shrink)

Anyone familiar with Russell’s work on the multiple-relation theory of judgment will at some point have puzzled over the map of the five-term understanding complex at the end of Chapter 1, Part II of his Theory of Knowledge (1913). Russell presents the map with the intention of clarifying what goes on when a subject S understands the “proposition” that A and B are similar. But the map raises more questions than it answers. In this paper I present and develop (...) some of the central issues that arise from Russell’s map, and I offer an interpretation of it that reflects his evolving views in the manuscript. I argue that multiple lines in the map are not meant to represent many relations, but rather one comprehensive multiple relation of understanding. And I argue that such a relation relates in a complex way due to the distinctive nature of its relata. (shrink)

Harman’s lottery paradox, generalized by Vogel to a number of other cases, involves a curious pattern of intuitive knowledge ascriptions: certain propositions seem easier to know than various higher-probability propositions that are recognized to follow from them. For example, it seems easier to judge that someone knows his car is now on Avenue A, where he parked it an hour ago, than to judge that he knows that it is not the case that his car has been stolen and (...) driven away in the last hour. Contextualists have taken this pattern of intuitions as evidence that ‘knows’ does not always denote the same relationship; subject-sensitive invariantists have taken this pattern of intuitions as evidence that non-traditional factors such as practical interests figure in knowledge; still others have argued that the Harman Vogel pattern gives us a reason to abandon the principle that knowledge is closed under known entailment. This paper argues that there is a psychological explanation of the strange pattern of intuitions, grounded in the manner in which we shift between an automatic or heuristic mode of judgment and a controlled or systematic mode. Understanding the psychology behind the pattern of intuitions enables us to see that the pattern gives us no reason to abandon traditional intellectualist invariantism. The psychological account of the paradox also yields new resources for clarifying and defending the single premise closure principle for knowledge ascriptions. (shrink)

There is an as yet unacknowledged and incomparable contribution to the philosophical debates about know-how to be found in the writings of Ludwig Wittgenstein. It is sourced in his investigations into knowledge and certainty in On Certainty, though it is not limited to these late passages. Understanding the ramifications of this putative contribution (even if one does not agree with it) highlights the extent to which (i) there is now a new range of issues pertaining to know-how which no (...) future philosophical consideration of the topic can ignore, except on pain of failing to engage comprehensively with the subject; (ii) the topic of know-how has been inappropriately marginalised by naturalized epistemology, and may well be as central to epistemology as the propositional knowledge which currently dominates epistemology’s attention; and (iii) any engagement with these potential Wittgensteinian contributions will need to be conducted in tandem with a reflection on the meta-philosophy of epistemology, since their potential impact extends to epistemology’s main methodology, i.e., naturalized reflective equilibrium. These three conclusions, together with a diagnosis of where and why all the current intellectualist accounts of know-how are either internally inconsistent, or irreconcilably flawed on their own terms, provide the motivation and the opportunity for a New Epistemology of Know-How. These conclusions established, I offer one possible Wittgensteinian-orientated version of the New Epistemology of Know-How, providing the first example of a non-naturalized philosophical approach to the topic since Gilbert Ryle. (shrink)

Recent epistemology has focused almost exclusively on propositional knowledge. This paper considers an underexplored area of epistemology, namely knowledge of persons: if propositional knowledge is a state of mind, consisting in a subject's attitude to a (true) proposition, the account developed here thinks of interpersonal knowledge as a state of minds, involving a subject's attitude to another (existing) subject. This kind of knowledge is distinct from propositional knowledge, but it exhibits a (...) gradability characteristic of context-sensitivity, and admits of shifty thresholds. It is supported by a wide range of unexplored linguistic data and intuitive cases; and it promises to illuminate debates within epistemology, philosophy of religion, and ethics. (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)

The thesis of experiential revelation—Rev for brevity—in the philosophy of mind claims that to have an experience—i.e., to be acquainted with it—is to know its nature. It is widely agreed that although at least moderate versions of Rev might strike one as plausible and perhaps even appealing, at least up to a certain extent, most of them are nonetheless inconsistent with almost any coherent form of physicalism about the mind. Thus far, the issue of the alleged tension between Rev and (...) physicalism has mostly been put in the relevant literature in terms of phenomenal concepts—those concepts which refer to phenomenal properties, or qualia, and characterize them in terms of the peculiar quality(ies) they exhibit—and some kind of “special feature” those concepts allegedly possess. I call this version of Rev C-Rev. This paper aims to suggest that while it is true that phenomenal concepts reveal the nature of their referent(s)—i.e., it is a priori, for a subject possessing the concept and just in virtue of possessing it, what it is for the referent(s) of the concept to be part of reality—this feature of them, in turn, rests on a non-conceptual non-propositional kind of knowledge, namely, sui generis introspective knowledge by acquaintance of one’s own phenomenally conscious states. I call this version of Rev A-Rev. §1 provides some introductory material. In §2 I discuss two arguments that have recently been put forth to undermine the cogency of C-Rev against physicalism. §3 elaborates on the historical roots of C-Rev. §4 presents some of the major arguments which have been offered for A-Rev. A few concluding remarks close the paper. (shrink)

According to subject‐sensitive invariantism (SSI), whether S knows that p depends not only on the subject's epistemic position (the presence of a true belief, sufficient warrant, etc.) but also on non‐epistemic factors present in the subject's situation; such factors are seen as “encroaching” on the subject's epistemic standing. Not the only such non‐epistemic factor but the most prominent one consists in the subject's practical stakes. Stakes‐based SSI holds that two subjects can be in the same epistemic position with respect to (...) some proposition but with different stakes for the two subjects so that one of them might know the proposition while the other might fail to know it. It is remarkable that the notion of stakes has not been discussed much in great detail at all so far. This paper takes a closer look at this notion and proposes a detailed, new analysis. It turns out that there is more than one kind of stakes, namely event‐stakes, knowledge‐stakes and action‐stakes. I discuss several issues that even plausible notions of stakes raise and propose solutions. (shrink)

Three classic distinctions specify that truths can be necessary versus contingent,analytic versus synthetic, and a priori versus a posteriori. The philosopher reading this article knows very well both how useful and ordinary such distinctions are in our conceptual work and that they have been subject to many and detailed debates, especially the last two. In the following pages, I do not wish to discuss how far they may be tenable. I shall assume that, if they are reasonable and non problematic (...) in some ordinary cases, then they can be used in order to understand what kind of knowledge the maker’s knowledge is. By this I mean the sort of knowledge that Alice enjoys when she holds the information that Bob’s coffee is sweetened because she just put two spoons of sugar in it herself. The maker’s knowledge tradition is quite important but it is not mainstream in modern and analytic epistemology and lacks grounding in terms of exactly what sort of knowledge one is talking about. My suggestion is that this grounding can be provided by a minimalist approach, based on an information-theoretical analysis. In the article, I argue that we need to decouple a fourth distinction, namely informative versus uninformative, from the previous three and, in particular, from its implicit association with analytic versus synthetic and a priori versus a posteriori; such a decoupling facilitates, and is facilitated by, moving from a monoagent to a multiagent approach: the distinctions qualify a proposition, a message, or some information not just in themselves but relationally, with respect to an informational agent; the decoupling and the multiagent approach enable a re-mapping of currently available positions in epistemology on these four dichotomies; within such a re-mapping, two positions, capturing the nature of a witness’ knowledge and of a maker’s knowledge, can best be described as contingent, synthetic, a posteriori, and uninformative and as contingent, synthetic, weakly a priori, and uninformative respectively. In the conclusion, I indicate why the analysis of the maker’s knowledge has important consequences in all those cases in which the poietic intervention on a system determines the truth of the model of that system. (shrink)

A non-relativistic quantum mechanical theory is proposed that describes the universe as a continuum of worlds whose mutual interference gives rise to quantum phenomena. A logical framework is introduced to properly deal with propositions about objects in a multiplicity of worlds. In this logical framework, the continuum of worlds is treated in analogy to the continuum of time points; both “time” and “world” are considered as mutually independent modes of existence. The theory combines elements of Bohmian mechanics and of Everett’s (...) many-worlds interpretation; it has a clear ontology and a set of precisely defined postulates from where the predictions of standard quantum mechanics can be derived. Probability as given by the Born rule emerges as a consequence of insufficient knowledge of observers about which world it is that they live in. The theory describes a continuum of worlds rather than a single world or a discrete set of worlds, so it is similar in spirit to many-worlds interpretations based on Everett’s approach, without being actually reducible to these. In particular, there is no splitting of worlds, which is a typical feature of Everett-type theories. Altogether, the theory explains (1) the subjective occurrence of probabilities, (2) their quantitative value as given by the Born rule, and (3) the apparently random “collapse of the wavefunction” caused by the measurement, while still being an objectively deterministic theory. (shrink)

In this paper, I identify the hard problem of access for epistemological disjunctivism (ED): given that perceptual experience E is opaque with respect to its own epistemic properties, subject S is not in a position to know epistemic proposition (i) (that E is factive with respect to empirical proposition p) just by having E and/or reflecting on E. This is the case even if (i) is true. I first motivate the hard problem of access (Section 2) and then reconstruct and (...) analyze three of the ways in which EDists have argued for the internal accessibility of the factive character of perceptual experience. These arguments explain internal access in terms of the unity of perceptual and rational capacities (Section 3), favoring support (Section 4), and the outward-looking model of self-knowledge (Section 5). My conclusion (Section 6) is that none of these responses works. I then suggest how ED might be modified to succeed as an access internalist epistemology. (shrink)

Recently, a number of cases have been proposed which seem to show that – contrary to widely held opinion – a subject can inferentially come to know some proposition p from an inference which relies on a false belief q which is essential. The standard response to these cases is to insist that there is really an additional true belief in the vicinity, making the false belief inessential. I present a new kind of case suggesting that a subject can inferentially (...) come to know a proposition from an essential false belief where no truth in the vicinity seems to be present. (shrink)

This is the second in a two part series of articles that attempt to clarify the nature and enduring relevance of Kant's concept of a priori knowledge. (For Part I, see below.) In this article I focus mainly on Saul Kripke's critique of Kant, in Naming and Necessity. I argue that Kripke draws attention to a genuine defect in Kant's epistemological framework, but that he used definitions of certain key terms that were quite different from Kant's definitions. When Kripke's (...) definitions are replaced by Kant's definitions, Kripke's account of the status of naming turns out to be a defense of analytic aposteriority as a significant classification of knowledge that Kant neglected. I also introduce here a new way of understanding such epistemological labels, as defining the perspective adopted by the knowing subject in a given situation, rather than an objective characteristic of certain propositions as such. (shrink)

Contextualists and pragmatists agree that knowledge-denying sentences are contextually variable, in the sense that a knowledge-denying sentence might semantically express a false proposition in one context and a true proposition in another context, without any change in the properties traditionally viewed as necessary for knowledge. Minimalists deny both pragmatism and contextualism, and maintain that knowledge-denying sentences are not contextually variable. To defend their view from cases like DeRose and Stanley's high stakes bank case, minimalists like Patrick (...) Rysiew, Jessica Brown, and Wayne Davis forward ‘warranted assertability maneuvers.’ The basic idea is that some knowledge-denying sentence seems contextually variable because we mistake what a speaker pragmatically conveys by uttering that sentence for what she literally says by uttering that sentence. In this paper, I raise problems for the warranted assertability maneuvers of Rysiew, Brown, and Davis, and then present a warranted assertability maneuver that should succeed if any warranted assertability maneuver will succeed. I then show how my warranted assertability maneuver fails, and how the problem with my warranted assertability maneuver generalizes to pragmatic responses in general. The upshot of my argument is that, in order to defend their view from cases like DeRose and Stanley's high stakes bank case, minimalists must prioritize the epistemological question whether the subjects in those cases know over linguistic questions about the pragmatics of various knowledge-denying sentences. (shrink)

This paper seeks to intervene in environmental ethics and social epistemology. Within a predominant strand of environmental ethics, one witnesses accounts based on nonhumans’ ability to suffer, and consequently, the passivity of nonhumans. On the other hand, social epistemology is often not social enough insofar as it does not include nonhumans. Seminal accounts of epistemic injustice often conceal or exclude the possibility that nonhumans can be subjects of knowledge and victims of epistemic injustice because of an anthropocentric bias that (...) maintains propositional language is a necessary condition for knowledge. By presenting a non-anthropocentric, corporeal epistemology, this paper reveals a more affirmative account of nonhumans as epistemic agents with tacit, embodied knowledge. To prevent epistemic depreciation turning into ethical indifference or wrongdoing, this paper focuses on whether it is possible to commit epistemic injustices against nonhumans. In particular, this paper argues that humans can commit fourth-order epistemic exclusion, testimonial injustice, and testimonial smothering against nonhumans. (shrink)