This paper argues that, given the representational theory of mind, one cannot know a priori that one knows that p as opposed to being incapable of having any knowledge states; but one can know a priori that one knows that p as opposed to some other proposition q.

A normative reason for a person to? is a consideration which favours?ing. A motivating reason is a reason for which or on the basis of which a person?s. This paper explores a connection between normative and motivating reasons. More specifically, it explores the idea that there are second-order normative reasons to? for or on the basis of certain first-order normative reasons. In this paper, I challenge the view that there are second-order reasons so understood. I (...) then show that prominent views in contemporary epistemology are committed to the existence of second-order reasons, specifically, views about the epistemic norms governing practical reasoning and about the role of higher-order evidence. If there are no second-order reasons, those views are mistaken. (shrink)

Context: The problems that are most in need of interdisciplinary collaboration are “wicked problems,” such as food crises, climate change mitigation, and sustainable development, with many relevant aspects, disagreement on what the problem is, and contradicting solutions. Such complex problems both require and challenge interdisciplinarity. Problem: The conventional methods of interdisciplinary research fall short in the case of wicked problems because they remain first-order science. Our aim is to present workable methods and research designs for doing second-order (...) science in domains where there are many different scientific knowledges on any complex problem. Method: We synthesize and elaborate a framework for second-order science in interdisciplinary research based on a number of earlier publications, experiences from large interdisciplinary research projects, and a perspectivist theory of science. Results: The second-order polyocular framework for interdisciplinary research is characterized by five principles. Second-order science of interdisciplinary research must: 1. draw on the observations of first-order perspectives, 2. address a shared dynamical object, 3. establish a shared problem, 4. rely on first-order perspectives to see themselves as perspectives, and 5. be based on other rules than first-order research. Implications: The perspectivist insights of second-order science provide a new way of understanding interdisciplinary research that leads to new polyocular methods and research designs. It also points to more reflexive ways of dealing with scientific expertise in democratic processes. The main challenge is that this is a paradigmatic shift, which demands that the involved disciplines, at least to some degree, subscribe to a perspectivist view. Constructivist content: Our perspectivist approach to science is based on the second-order cybernetics and systems theories of von Foerster, Maruyama, Maturana & Varela, and Luhmann, coupled with embodied theories of cognition and semiotics as a general theory of meaning from von Uexküll and Peirce. (shrink)

Constructivism is a philosophical current that manifests itself greatly within the realm of contemporary epistemology. Its bases come from the idea that knowledge is not only actively constructed by the observer but also provides a lens through which reality can be interpreted as a result of experiences. This paper traces a brief interdisciplinary curve that outlines some of the most important philosophical approaches that contributed to the consolidation of this school of thought for more than twenty-five centuries.

Dretske makes arguments in which he suggests three levels of the intentionality of knowledge: (1) a low level belonging to law-like causal relationships between physical properties, (2) a middle level defined in terms of the intensionality of sentences describing knowledge of these properties, and (3) a highest level of human cognition. Acknowledging the need to explain humans’ analytic knowledge, however, he proposes that we know a proposition P analytically when we know that P entails Q, even though (...) P and Q are not identical. -/- I explore examples of deduction involving properties of every-day life, such as being a bachelor, being a stay-at-home mom, and being a consultant. I argue that to make these common sense inferences, the average person has to be aware of both analytical entailments and propositional entailments. While the former simply is knowing that if Emily is a stay-at-home mom, then Emily is female, for example, the latter requires us to be conscious of the (often complex) logical structure given to our beliefs by the deductive connectives AND, NOT, and OR. From an empirical standpoint, there are two general possibilities for reductive accounts of these kinds of awareness. One would be a counterfactually defined set of causal criteria, such as Dretske’s. The other would involve statistical patterns of synaptic connections between neural phenomena, whose firings represent our concepts for AND, NOT, and OR. I argue that neither of these reductive explanations is viable; and that in order to explain the success of our inferences, we must appeal to two kinds of higher cognitive intentionality. First, we usually have some conscious awareness of analytical and propositional entailments when we engage in common sense-based deduction. Second, we often have a conscious intention to think deductively during these inferences, which drives our success. (shrink)

I develop a general framework with a rationality constraint that shows how coherently to represent and deal with second-order information about one's own judgmental reliability. It is a rejection of and generalization away from the typical Bayesian requirements of unconditional judgmental self-respect and perfect knowledge of one's own beliefs, and is defended by appeal to the Principal Principle. This yields consequences about maintaining unity of the self, about symmetries and asymmetries between the first- and third-person, and a (...) principled way of knowing when to stop second-guessing oneself. Peer disagreement is treated as a special case where one doubts oneself because of news that an intellectual equal disagrees. This framework, and variants of it, imply that the typically stated belief that an equally reliably peer disagrees is incoherent, and thus that pure rationality constraints without further substantive information cannot give an answer as to what to do. The framework also shows that treating both ourselves and others as thermometers in the disagreement situation does not imply the Equal Weight view. (shrink)

There is a widespread view that in order to be rational we must mostly know what we believe. In the probabilistic tradition this is defended by arguments that a person who failed to have this knowledge would be vulnerable to sure loss, or probabilistically incoherent. I argue that even gross failure to know one's own beliefs need not expose one to sure loss, and does not if we follow a generalization of the standard bridge principle between first-order (...) and second-order beliefs. This makes it possible for a subject to use probabilistic decision theory to manage in a rational way cases of potential failure of this self-knowledge, as we find in implicit bias. Through such cases I argue that it is possible for uncertainty about what our beliefs are to be not only rationally permissible but advantageous. (shrink)

This essay is an accessible introduction to the proof paradox in legal epistemology. -/- In 1902 the Supreme Judicial Court of Maine filed an influential legal verdict. The judge claimed that in order to find a defendant culpable, the plaintiff “must adduce evidence other than a majority of chances”. The judge thereby claimed that bare statistical evidence does not suffice for legal proof. -/- In this essay I first motivate the claim that bare statistical evidence does not suffice for (...) legal proof. I then introduce and motivate a knowledge-centred explanation of this fact. The knowledge-centred explanation rests on two premises. The first is that legal proof requires knowledge of culpability. The second is that one cannot attain knowledge that p from bare statistical evidence that p. To motivate the second premise, I suggest that beliefs based on bare statistical evidence fail to be safe—they could easily be wrong—and bare statistical evidence cannot eliminate relevant alternatives. -/- I then cast doubt on the first premise; I argue that legal proof does not require knowledge. I thereby dispute the knowledge-centred explanation of the inadequacy of bare statistical evidence for legal proof. Instead of appealing to the nature of knowledge, I suggest we should seek a more direct explanation by appealing to those more foundational epistemic properties, such as safety or eliminating relevant alternatives. (shrink)

The entry is intended as an advanced introduction to the topic of knowledge-how. It starts with a list of overviews, monographs and collections, followed by selected 20th century discussions. The last two sections contain sources pertaining to Ryle's own work on the topic as well as work by other influential thinkers, and themes that are sometimes associated with knowledge-how. The remaining seven sections survey the contemporary literature on knowledge-how from three perspectives: (i) generic desiderata for accounts of (...) knowledge-how, (ii) specific topics that are already well-entrenched in the tradition of particular subdisciplines and (iii) second-order controversy regarding distinct assumptions and tools employed by the debaters. (shrink)

The study aimed to identify the knowledge management processes and their role in achieving competitive advantage at Al-Quds Open University. The study was based on the descriptive analytical method, and the study population consists of academic and administrative staff in each of the branches of Al-Quds Open University in (Tulkarm, Nablus and Jenin). The researchers selected a sample of the study population by the intentional non-probability method, the size of (70) employees. A questionnaire was prepared and supervised by a (...) number of specialists in order to obtain the results of the study. The study concluded that there is a positive direct relationship, that is, the higher the degree of application of knowledge management processes, the greater the degree of competitive advantage. Knowledge Technology came first with a score of 80.02% on all items. Competitive advantage came second with 81.74%. In the third place came "knowledge generation" where the total score on all paragraphs in this area (78.24%). In the fourth place, "knowledge transfer" (77.21%). "Developing and storing knowledge" came in fifth place (77.13%). "Acquisition of knowledge" came in sixth place (76.45%). Knowledge Organization ranked seventh (74.26%). The study recommended that the university should enable the employees to benefit from the experiences and expertise available to help generate knowledge. The University encourages the creation of knowledge through the system of incentives and open the way for creators to apply their creations and spread and invest in excellence and creativity. The university should design work performance levels based on the integration of knowledge and organize it according to policies that support freedom of research. The need for Palestinian universities to adopt a knowledge management approach. The need to adopt a system of incentives that rewards cognitive efforts, and give workers enough freedom to enable them to apply their knowledge. (shrink)

With increasing publication and data production, scientific knowledge presents not simply an achievement but also a challenge. Scientific publications and data are increasingly treated as resources that need to be digitally ‘managed.’ This gives rise to scientific Knowledge Management : second-order scientific work aiming to systematically collect, take care of and mobilise first-hand disciplinary knowledge and data in order to provide new first-order scientific knowledge. We follow the work of Leonelli, Efstathiou and (...) Hislop in our analysis of the use of KM in semantic systems biology. Through an empirical philosophical account of KM-enabled biological research, we argue that KM helps produce new first-order biological knowledge that did not exist before, and which could not have been produced by traditional means. KM work is enabled by conceiving of ‘knowledge’ as an object for computational science: as explicated in the text of biological articles and computable via appropriate data and metadata. However, these founded knowledge concepts enabling computational KM risk focusing on only computationally tractable data as knowledge, underestimating practice-based knowing and its significance in ensuring the validity of ‘manageable’ knowledge as knowledge. (shrink)

If the contents of our thoughts are partly determined by facts outside our heads, can we still know those contents directly, without investigating our environment? What if we were surreptitiously switched to Twin-Earth? Would we know the contents of our thoughts under these unusual circumstances? By looking carefully at what determines the content of a second-order thought, a candidate for self-knowledge, the paper argues that we can know the contents of our thoughts directly, even after being switched. (...) Learning about the switch, however, does raise some interesting difficulties. (shrink)

How should we understand knowledge-how – knowledge how to do something? And how is it related to knowledge-that – knowledge that something is the case? In this paper, I will discuss a very important and influential aspect of this question, namely the claim – dubbed ‘Intellectualism’ by Gilbert Ryle – that knowledge-how can be reduced to knowledge-that. Recently, Jason Stanley and Timothy Williamson have tried to establish Intellectualism with the aid of linguistic considerations. This (...) project – Linguistic Intellectualism – will be criticized on three levels. First, I will reconstruct and object to Stanley and Williamson’s positive argument in favour of Intellectualism. Second, I will assess their view of the relationship between knowledge-how and practical ability and argue that their stance is not well-motivated. Third, I will discuss their criticism of Ryle’s objection against Intellectualism. After distinguishing between different versions of Ryle’s argument, I will show that its strongest version is both immune to the objection by Stanley and Williamson and a decisive argument against their own theory. Given that Intellectualism fails for these three reasons, I finally draw on a broader reading of Ryle in order to develop the beginnings of a positive account of knowledge-how and its relationship to knowledge-that. (shrink)

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

In this paper I defend a unified approach to knowledge and understanding. Both are achievements due to cognitive abilities or skills. The difference between them is a difference of aspects. Knowledge emphasizes the successful aspect of an achievement and the exclusion of epistemic luck, whereas understanding emphasizes the agent's contribution in bringing about an achievement through the exercise of one's cognitive skills. Knowledge and understanding cannot be separated. I argue against the claim that understanding is distinct from (...) knowledge because the former is compatible with environmental luck. Achievements rule out environmental luck because abilities can be exercised only in their proper environment. I also reject the intellectualist claim that understanding requires the ability to explain what one intends to understand. The understanding of an item is reflected in our ability to solve cognitive tasks using that item. The more tasks one can deal with by using an item, the deeper is one’s understanding of that item. Being able to explain why a claim holds is not necessary for possessing understanding, even though it may be necessary for accomplishing some very specific tasks. Neither understanding nor knowledge require any kind of second-order cognition by default. (shrink)

Helmholtz's public reflection about the nature of the experiment and its role in the sciences is a historically important description, which also helps to analyze his own works. It is a part of his conception of science and nature, which can be seen as an ideal type of science and its goals. But its historical reach seems to be limited in an important respect. Helmholtz's understanding of experiments is based on the idea that their planning, realization and evaluation lies in (...) the hands of a person or group acting according to decisions of free will. In my opinion this idea is characteristic for the foundation of the experimental method in early modern times, not however for several forms of its present structures. Above all, the increasing technization of producing knowledge reduces the roIe of the subject in conducting experiments. My lecture consists of three parts. In its first part I would like to present a summary of Helmholtz's own theory of experiment and the change of his conception of science and nature. In the second part I would like to discuss three examples of his experimental practice, which were taken in chronological order from three different periods of his work; in the third part I would like to compare the examples with the change of his conception of science and nature. (shrink)

In this paper, I defend the thesis that knowledge is the norm of assertion. I first examine three prominent “counterexamples”: false assertion, selfless assertion, and assertion based on mere justified true belief. I argue that they all fail to square well with our ordinary intuitions. However, the contemporary debate over the norm of assertion depends heavily on the method of counterexamples, whose crux is to prompt our intuitions regarding the appropriateness (or inappropriateness) of a certain kind of assertions. This (...) method has its limits as sometimes the debate simply boils down to a clash of intuitions. I think we can do better. In the second part of the paper, I construct a positive argument for the knowledge norm, showing that the knowledge norm can be derived from the general account of the conversational role of assertion. I argue that in order for assertion to play the role it plays in conversation, the knowledge norm must hold. (shrink)

In the language of second-order logic, first- and second-order variables are distinguished syntactically and cannot be grammatically substituted. According to a prominent argument for the deployment of these languages, these substitution failures are necessary to block the derivation of paradoxes that result from attempts to generalize over predicate interpretations. I first examine previous approaches which interpret second-order sentences using expressions of natural language and argue that these approaches undermine these syntactic restrictions. I then examine (...) Williamson’s primitivist approach according to which second-order sentences are not offered readings in a previously understood language. I argue that the syntactic restrictions alone do not block the derivation of the paradox, unless they are backed by a principled reason that the language cannot be expanded to allow the grammatical substitution of first- and second- order variables. I argue that there is neither a syntactic nor a semantic principle that prohibits such an expansion. (shrink)

Philosophers throughout the ages have struggled to explain the way or ways by which we can acquire knowledge about the external world. With an aim to meet the skeptical challenges regarding the possibility of knowledge, various accounts of knowledge have been developed across philosophical traditions. The worry to meet skeptical challenges is implicitly or explicitly present in almost every philosophical account of knowledge. Many philosophers, while explaining about the nature and the possibility of knowledge, have (...) talked about placing it in the space of reasons or space of justifications. So, I think one of the ways in which we can respond to skeptical challenges is by developing a proper understanding of the space of reasons and justifications where we place our knowledge. When we talk about the space of reasons, it is also important to highlight, in this context, its relationship with the natural world. I would like to emphasize in this regard that there has been a normative turn specifically in the works of John McDowell and Robert Brandom after the naturalistic turn in epistemology. But one can ask- why is there a need of a normative turn after a seemingly successful naturalistic turn in epistemology? I call them normative epistemologists those who have argued that knowledge should be understood by placing it properly in the space of reasons which is necessarily a normative space. I think John McDowell, Robert Brandom and their philosophical heroes Immanuel Kant and G. W. F. Hegel fall into this category of epistemologists. Normative epistemologists have always argued that a philosophical account of knowledge in order to meet the skeptical challenges has to place our knowledge satisfactorily in the space of reasons and various ways of placing knowledge in the space of reasons have been developed in this regard. The significant questions that have been asked in this context are- what could be the best plausible way to place knowledge in the space of reasons? Is placing knowledge in the space of reasons enough to avoid the skeptical challenges regarding the possibility of knowledge? According to some philosophers, the skeptical problems arise because of a certain misunderstanding of space of reasons i.e. the interiorization of the space of reasons. On the interiorized conception of the space of reasons, there is need of extra elements beyond the space of reasons which are required for our knowledge but are not part of the logical space. In this paper, my aim, following Kant and McDowell, is to propose a critique of interiorized conception of space of reasons and show how this conception leads to various problems regarding the possibility of knowledge. In this context, I will specifically discuss argument from illusion as a skeptical challenge for the possibility of knowledge and McDowell’s response to it. In the second part of my paper, my aim is to discuss the debate between McDowell and Brandom on the nature and extent of the space of reasons. (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 purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity are in play (...) (Williamson-style "luminosity" or self-revealing clarity and concealeable clarity) and what their respective functions are in accounts of higher-order vagueness. On this basis, we argue first that, contrary to common opinion, higher-order vagueness and S4 are perfectly compatible. This is in response to claims like that by Williamson that, if vagueness is defined with the help of a clarity operator that obeys axiom 4, higher-order vagueness disappears. Second, we argue that, contrary to common opinion, (i) bivalence-preservers (e.g. epistemicists) can without contradiction condone axiom 4 (by adopting what elsewhere we call columnar higher-order vagueness), and (ii) bivalence-discarders (e.g. open-texture theorists, supervaluationists) can without contradiction reject axiom 4. Third, we rebut a number of arguments that have been produced by opponents of axiom 4, in particular those by Williamson. (The paper is pitched towards graduate students with basic knowledge of modal logic.). (shrink)

Both motivational internalism and externalism need to explain why sometimes moral judgments tend to motivate us. In this paper, I argue that Dreier’ second-order desire model cannot be a plausible externalist alternative to explain the connection between moral judgments and motivation. I explain that the relevant second-order desire is merely a constitutive requirement of rationality because that desire makes a set of desires more unified and coherent. As a rational agent with the relevant second-order (...) desire is disposed towards coherence, she will have some motivation to act in accordance with her moral judgments. Dreier’s second-order desire model thus collapses into a form of internalism and cannot be a plausible externalist option to explain the connection between moral judgments and motivation. (shrink)

[Significantly updated in Chapter 6 of Awareness and the Substructure of Knowledge] In order for a reason to justify an action or attitude it must be one that is possessed by an agent. Knowledge-centric views of possession ground our possession of reasons, at least partially, either in our knowledge of them or in our being in a position to know them. On virtually all accounts, knowing P is some kind of non-accidental true belief that P. This (...) entails that knowing P is a kind of non-accidental true representation that P. I outline a novel theory of the epistemic requirement on possession in terms of this more general state of non-accidental true representation. It is just as well placed to explain the motivations behind knowledge-centric views of possession, and it is also better placed to explain the extent of the reasons we possess in certain cases of deductive belief-updates and cases involving environmental luck. I conclude with three reflections. First, I indicate how my arguments generate a dilemma for Errol Lord’s view that possessing reasons is just a matter of being in a position to manifest one’s knowledge how to use them. Second, I explain how my view can simultaneously manage cases of environmental luck without falling prey to lottery cases. Finally, I sketch the direction for a further range of counterexamples to knowledge-centric theories of possession. (shrink)

Can I be wrong about my own beliefs? More precisely: Can I falsely believe that I believe that p? I argue that the answer is negative. This runs against what many philosophers and psychologists have traditionally thought and still think. I use a rather new kind of argument, – one that is based on considerations about Moore's paradox. It shows that if one believes that one believes that p then one believes that p – even though one can believe that (...) p without believing that one believes that p. (shrink)

What is the relation between reasoning and self-knowledge? According to Shoemaker (1988), a certain kind of reasoning requires self-knowledge: we cannot rationally revise our beliefs without knowing that we have them, in part because we cannot see that there is a problem with an inconsistent set of propositions unless we are aware of believing them. In this paper, I argue that this view is mistaken. A second account, versions of which can be found in Shoemaker (1988 and (...) 2009) and Byrne (2005), claims that we can reason our way from belief about the world to self-knowledge about such belief. While Shoemaker’s “zany argument” fails to show how such reasoning can issue in self-knowledge, Byrne’s account, which centres on the epistemic rule “If p, believe that you believe that p”, is more successful. Two interesting objections are that the epistemic rule embodies a mad inference (Boyle 2011) and that it makes us form first-order beliefs, rather than revealing them (Gertler 2011). I sketch responses to both objections. (shrink)

“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is (...) actually a familiar part of our traditional intuitive logical framework and that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been. (shrink)

It has recently been argued that a sensitivity theory of knowledge cannot account for intuitively appealing instances of higher-order knowledge. In this paper, we argue that it can once careful attention is paid to the methods or processes by which we typically form higher-order beliefs. We base our argument on what we take to be a well-motivated and commonsensical view on how higher-order knowledge is typically acquired, and we show how higher-order knowledge (...) is possible in a sensitivity theory once this view is adopted. (shrink)

When it comes to second-order knowledge (i.e. knowing that one knows), internalists typically contend that when we know that p, we can, by reflecting, directly know that we are knowing it. Gettier considerations are employed to challenge this internalistic contention and to make out a prima facie case for internalistic metaepistemological skepticism, the thesis that no one ever intemalistically knows that one internalistically knows that p. In particular, I argue that at the metaepistemological second-order level, (...) the Gettier problem generates three distinct problems which, taken together, seriously undermine the possibility of anyone possessing second-order internalistic knowledge. (shrink)

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

It is widely accepted that knowledge of certain of one’s own mental states is authoritative in being epistemically more secure than knowledge of the mental states of others, and theories of self-knowledge have largely appealed to one or the other of two sources to explain this special epistemic status. The first, ‘detectivist’, position, appeals to an inner perception-like basis, whereas the second, ‘constitutivist’, one, appeals to the view that the special security awarded to certain self-knowledge (...) is a conceptual matter. I argue that there is a fundamental class of cases of authoritative self-knowledge, ones in which subjects are consciously thinking about their current, conscious intentional states, that is best accounted for in terms of a theory that is, broadly speaking, introspectionist and detectivist. The position developed has an intuitive plausibility that has inspired many who work in the Cartesian tradition, and the potential to yield a single treatment of the basis of authoritative self-knowledge for both intentional states and sensation states. (shrink)

Context: Many recent research areas such as human cognition and quantum physics call the observer-independence of traditional science into question. Also, there is a growing need for self-reflexivity in science, i.e., a science that reflects on its own outcomes and products. Problem: We introduce the concept of second-order science that is based on the operation of re-entry. Our goal is to provide an overview of this largely unexplored science domain and of potential approaches in second-order fields. (...) Method: We provide the necessary conceptual groundwork for explorations in second-order science, in which we discuss the differences between first- and second-order science and where we present a roadmap for second-order science. The article operates mainly with conceptual differentiations such as the separation between three seemingly identical concepts such as Science II, Science 2.0 and second-order science. Results: Compared with first-order science, the potential of second-order science lies in 1. higher levels of novelty and innovations, 2. higher levels of robustness and 3. wider integration as well as higher generality. As first-order science advances, second-order science, with re-entry as its basic operation, provides three vital functions for first-order science, namely a rich source of novelty and innovation, the necessary quality control and greater integration and generality. Implications: Second-order science should be viewed as a major expansion of traditional scientific fields and as a scientific breakthrough towards a new wave of innovative research. Constructivist content: Second-order science has strong ties with radical constructivism, which can be qualified as the most important root/origin of second-order science. Moreover, it will be argued that a new form of cybernetics is needed to cope with the new problems and challenges of second-order science. (shrink)

We extend the framework of Inductive Logic to Second Order languages and introduce Wilmers' Principle, a rational principle for probability functions on Second Order languages. We derive a representation theorem for functions satisfying this principle and investigate its relationship to the first order principles of Regularity and Super Regularity.

examine Nathan Salmon’s solution to the problem of trivialization, as it arises for conceptions of general term rigidity that construe it as identity of designation across possible worlds. I argue that he does not succeed in showing that some alleged general terms, such as “the colour of the sky” are non-rigid, but also that a small class of different examples that he presents, which can be construed as second order descriptions, are indeed non-rigid general terms, although for reasons (...) different from those he thought. (shrink)

Expert testimony figures in recent debates over how best to understand the norm of assertion and the domain-specific epistemic expectations placed on testifiers. Cases of experts asserting with only isolated second-hand knowledge (Lackey 2011, 2013) have been used to shed light on whether knowledge is sufficient for epistemically permissible assertion. I argue that relying on such cases of expert testimony introduces several problems concerning how we understand expert knowledge, and the sharing of such knowledge through (...) testimony. Refinements are needed to clarify exactly what principles are being tested by such cases; but once refined, such cases raise more questions than they answer. (shrink)

The paper sets forth an argument against Kim's distinction between levels and orders.

In March 2016, an interdisciplinary group met for two days and two evenings to explore the implications for policy making of second-order science. The event was sponsored by SITRA, the Finnish Parliament's Innovation Fund. Their interest arose from their concern that the well-established ways, including evidence-based approaches, of policy and decision making used in government were increasingly falling short of the complexity, uncertainty, and urgency of needed decision making. There was no assumption that second-order science or (...) second-order cybernetics would reveal any practical possibilities at this early stage of enquiry. On the other hand, some members of the group are practioners in both policy and in facilitating change in sectors of society. Thus, the intellectual concepts were strongly grounded in experience. This is an account of the deliberations of that group and some reflections on what came out of the various shared contributions and ensuing dialogues. The overall conclusion of the event is that there definitely are possibilities that are worthy of further research and exploration. (shrink)

Aside from the systematic theory of recognition, Honneth’s work in the last decade has also centered around a less commented-upon theme: the critical social theoretic diagnosis of social pathologies. This paper claims first that his diverse diagnoses of specific social pathologies can be productively united through the conceptual structure evinced by second-order disorders, where there are substantial disconnects, of various kinds, between first-order contents and second-order reflexive understandings of those contents. The second major claim (...) of the paper is that once we understand social pathologies as second-order disorders, it becomes apparent that critical social theory must do more than accurately identify and explicate these disorders at the phenomenological and action-theoretic levels. It must further engage in insightful sociological explanations of the social causes of those pathologies in order to further the prognostic and therapeutic tasks implied by the aim of developing a social theory with emancipatory intent. The paper argues that the identificatory and explicative components of diagnostic social theory have been fulfilled by Honneth to a much greater degree than the latter components of explanation, prognosis and therapy. (shrink)

The traditional sciences have always had trouble with ambiguity. Through the imposition of “enabling constraints” -- making a set of assumptions and then declaring ceteris paribus -- science can bracket away ambiguity. These enabling constraints take the form of uncritically examined presuppositions or “uceps.” Second order science examines variations in values assumed for these uceps and looks at the resulting impacts on related scientific claims. After rendering explicit the role of uceps in scientific claims, the scientific method is (...) used to question rarely challenged assertions. This article lays out initial foundations for second order science, its ontology, methodology, and implications. (shrink)

The target article proposes that people perceive social robots as depictions rather than as genuine social agents. We suggest that people might instead view social robots as social agents, albeit agents with more restricted capacities and moral rights than humans. We discuss why social robots, unlike other kinds of depictions, present a special challenge for testing the depiction hypothesis.

These comments, on the paper by Branden Thornhill-Miller and Peter Millican, and on the critique of that paper by Janusz Salamon, divide into four sections. In the first two sections, I briefly sketch some of the major themes from the paper by Thornhill-Miller and Millican, and then from the critique by Salamon. In the final two sections, I provide some critical thoughts on Salamon’s objections to Thornhill-Miller and Millican, and then on the leading claims made by Thornhill-Miller and Millican. I (...) find much to commend, but also some things to dispute, in both papers. As is so often the way, I shall focus on areas of disagreement. (shrink)

Vogel, Sosa, and Huemer have all argued that sensitivity is incompatible with knowing that you do not believe falsely, therefore the sensitivity condition must be false. I show that this objection misses its mark because it fails to take account of the basis of belief. Moreover, if the objection is modified to account for the basis of belief then it collapses into the more familiar objection that sensitivity is incompatible with closure.

Egan argues against Lewis’s view that properties are sets of actual and possible individuals and in favour of the view that they are functions from worlds to extensions (sets of individuals). Egan argues that Lewis’s view implies that 2nd order properties are never possessed contingently by their (1st order) bearers, an implication to which there are numerous counter-examples. And Egan argues that his account of properties is more commensurable with the role they play as the semantic values of (...) predicates than is Lewis’s. (shrink)

A number of widely discussed court decisions on cases of insults against religious feelings in Russia, such as the relatively recent “Pokemon Go” case of blogger Ruslan Sokolovsky or the lawsuit filed against an Orthodox priest by Nikolai Ryabchevsky in Yekaterinburg for comparing Lenin with Hitler, make pertinent the question of why toleration becomes so difficult in matters concerning religion. In this paper, I revise the classical liberal concept of toleration (David Heyd, Peter Nicholson, and John Horton), arguing that it (...) is challenged by contemporary philosophers, who see no room for applying this concept in the “domain of identities”. The most prominent case of “primordial” identity, that is, the notion of identity as a given, is the claim of devoted believers for recognition. Should we replace the principle of toleration by the principle of recognition since the latter better corresponds to identity claims? To address this question, in the first part of the article I describe the mechanism of tolerant attitude (Nicholson, Heyd) and in the second part, I analyze the debates about the possibility or impossibility of inner religious toleration (Avishai Margalit, Cary Nederman, and Maxim Khomyakov) and further compare toleration and recognition as normative principles. In the light of the debates I took part in the conference hosted by the University of Southern Denmark in October 2019 as part of the project “Religious Majority/Minority in Public Space in Russia and Northern Europe: Historical-Cultural Analysis”, I come to the conclusion that the principle of toleration is preferable to the principle of recognition because the “second-order” arguments for toleration in a secular state will be universally acceptable (pragmatic argument) and, therefore, the principle of toleration is more logical (analytical argument). Following Peter John’s thesis about minimal recognition embedded in toleration, it may also be concluded that we need a normatively charged idea of citizenship, which could provide us with universal “second-order” foundation. (shrink)

Here's the thing: when you look at it from just the right angle, it's entirely obvious how semantics for second-order relevant logics ought to go. Or at least, if you've understood how semantics for first-order relevant logics ought to go, there are perspectives like this. What's more is that from any such angle, the metatheory that needs doing can be summed up in one line: everything is just as in the first-order case, but with more indices. (...) Of course, it's no small matter finding the magical angle from which everything becomes obvious. And even having found this perspective, one cannot assume one's audience will find things as obvious as oneself. All that to say this: if the results in the paper below strike you as obvious, pay attention to the perspective that makes that possible. And if they don't, feel free to ignore this preamble in its entirety. (shrink)

Many social situations require a mental model of the knowledge, beliefs, goals, and intentions of others: a Theory of Mind (ToM). If a person can reason about other people’s beliefs about his own beliefs or intentions, he is demonstrating second-order ToM reasoning. A standard task to test second-order ToM reasoning is the second-order false belief task. A different approach to investigating ToM reasoning is through its application in a strategic game. Another task that (...) is believed to involve the application of second-order ToM is the comprehension of sentences that the hearer can only understand by considering the speaker’s alternatives. In this study we tested 40 children between 8 and 10 years old and 27 adult controls on (adaptations of) the three tasks mentioned above: the false belief task, a strategic game, and a sentence comprehension task. The results show interesting differences between adults and children, between the three tasks, and between this study and previous research. (shrink)

Neo-Fregean approaches to set theory, following Frege, have it that sets are the extensions of concepts, where concepts are the values of second-order variables. The idea is that, given a second-order entity $X$, there may be an object $\varepsilon X$, which is the extension of X. Other writers have also claimed a similar relationship between second-order logic and set theory, where sets arise from pluralities. This paper considers two interpretations of second-order logic—as (...) being either extensional or intensional—and whether either is more appropriate for this approach to the foundations of set theory. Although there seems to be a case for the extensional interpretation resulting from modal considerations, I show how there is no obstacle to starting with an intensional second-order logic. I do so by showing how the $\varepsilon$ operator can have the effect of “extensionalizing” intensional second-order entities. (shrink)

Epistemic luck is a generic notion used to describe any of a number of ways in which it can be accidental, coincidental, or fortuitous that a person has a true belief. For example, one can form a true belief as a result of a lucky guess, as when one believes through guesswork that “C” is the right answer to a multiple-choice question and one’s belief just happens to be correct. One can form a true belief via wishful thinking; for example, (...) an optimist’s belief that it will not rain may luckily turn out to be correct, despite forecasts for heavy rain all day. One can reason from false premises to a belief that coincidentally happens to be true. One can accidentally arrive at a true belief through invalid or fallacious reasoning. And one can fortuitously arrive at a true belief from testimony that was intended to mislead but unwittingly reported the truth. In all of these cases, it is just a matter of luck that the person has a true belief. -/- Until the twenty-first century, there was nearly universal agreement among epistemologists that epistemic luck is incompatible with knowledge. Call this view “the incompatibility thesis.” In light of the incompatibility thesis, epistemic luck presents epistemologists with three distinct but related challenges. The first is that of providing an accurate analysis of knowledge (in terms of individually necessary and jointly sufficient conditions for “S knows that p,” where ‘S’ represents the knower and ‘p’ represents the proposition known). An adequate analysis of knowledge must succeed in specifying conditions that rule out all instances of knowledge-destroying epistemic luck. The second challenge is to resolve the skeptical paradox that the ubiquity of epistemic luck generates: As will become clear in section 2c, epistemic luck is an all-pervasive phenomenon. Coupling this fact with the incompatibility thesis entails that we have no propositional knowledge. The non-skeptical epistemologist must somehow reconcile the strong intuition that epistemic luck is not compatible with knowledge with the equally evident observation that it must be. The third challenge concerns the special skeptical threat that epistemic luck seems to pose for more reflective forms of knowledge, such as knowing that one knows. Each of these challenges will be explored in the present article. (shrink)

In common with many other "virtue epistemologists," Abrol Fairweather and Carlos Montemayor contend that in order to count as knowledge, a mental state must be the product of truth-apt dispositions. I question their theoretical motivations. First, I note that unlike virtue ethics, affect is irrelevant to knowledge. A generous act is arguably better if it is performed warm-heartedly, but a belief is no more creditable if it is performed with the right affect. Second, I argue that (...) non-discursive skills are better cases for virtue epistemologists than cognitive reliability—but because it is hard to know how skills work in individual instances of belief-formation, they cannot figure in the accreditation of knowledge. Finally, I argue that the oughts that attend inquiry (e.g., "you ought to look into this carefully") come from outside the context of inquiry. (shrink)

Provided here is an account, both syntactic and semantic, of first-order and monadic second-order quantification theory for domains that may be non-atomic. Although the rules of inference largely parallel those of classical logic, there are important differences in connection with the identification of argument places and the significance of the identity relation.

Open peer commentary on the article “Constructivist Model Building: Empirical Examples From Mathematics Education” by Catherine Ulrich, Erik S. Tillema, Amy J. Hackenberg & Anderson Norton. Upshot: I argue that radical constructivism poses a series of deep methodological constraints on educational research. We focus on the work of Ulrich et al. to illustrate the practical implications of these constraints.