Second-order quantifier elimination in the context of classical logic emerged as a powerful technique in many applications, including the correspondence theory, relational databases, deductive and knowledge databases, knowledge representation, commonsense reasoning and approximate reasoning. In the current paper we first generalize the result of Nonnengart and Szałas [17] by allowing second-order variables to appear within higher-order contexts. Then we focus on a semantical analysis of conditionals, using the introduced technique and Gabbay’s semantics provided (...) in [10] and substantially using a third-order accessibility relation. The analysis is done via finding correspondences between axioms involving conditionals and properties of the underlying third-order relation. (shrink)

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.

Description logics refer to a family of formalisms concentrated around concepts, roles and individuals. They belong to the most frequently used knowledge representation formalisms and provide a logical basis to a variety of well known paradigms. The main reasoning tasks considered in the area of description logics are those reducible to subsumption. On the other hand, any knowledge representation system should be equipped with a more advanced reasoning machinery. Therefore in the current paper we make a step towards (...) integrating description logics with second-order reasoning. One of the important motivations behind introducing second-order formalism follows from the fact that many forms of commonsense and nonmonotonic reasoning used in AI can be modelled within the second-order logic. To achieve our goal we first extend description logics with a possibility to quantify over concepts. Since one of the main criticisms against the use of second-order formalisms is their complexity, we next propose second-order quantifier elimination techniques applicable to a large class of description logic formulas. Finally we show applications of the techniques, in particular in reasoning with circumscribed concepts and approximated terminological formulas. (shrink)

Context: Philosophy of science is the branch of philosophy that deals with methods, foundations, and implications of science. It is a theory of how to create scientific knowledge. Presently, there is widespread agreement on how to do science, namely conjectures, ideally in the form of a mathematical model, and refutations, testing the model using empirical evidence. Problem: Many social scientists are using a conception of science created for the physical sciences. Expanding philosophy of science so that it more successfully (...) encompasses social systems would create new avenues of inquiry. Two dimensions could be added to philosophy of science: the amount of attention paid to the observer and the amount of impact of a theory on the system described. Method: My approach is to illuminate underlying assumptions. I claim that there are at least three epistemologies and that they can be combined to form a more robust conception of knowledge and of how to do research. There are at least four models and four basic elements being used by scientists. Results: The article identifies the logical propositions underlying second-order science. It suggests strategies for developing second-order science. And it describes several methods that can be used to practice second-order science, including how past theories have not only described but also changed the phenomenon being studied. Implications: The task for members of the scientific community, particularly social scientists, is to practice second-order science and to develop further its theories and methods. A practical implication is to accept methods for acting as well as theories as a contribution to science, since methods explicitly define the role of an observer/ participant. Constructivist content: The paper is an extension of the work of Heinz von Foerster and other second-order cyberneticians. (shrink)

Fallibilism is ubiquitous in contemporary epistemology. I argue that a paradox about knowledge, generated by considerations of truth, shows that fallibilism can only deliver knowledge in lucky circumstances. Specifically, since it is possible that we are brains‐in‐vats (BIVs), it is possible that all our beliefs are wrong. Thus, the fallibilist can know neither whether or not we have much knowledge about the world nor whether or not we know any specific proposition, and so the warrant of our (...) knowledge‐claims is much reduced and second‐order skepticism is generated. Since this is the case in both skeptical and everyday contexts, contextualism cannot resolve the paradox. (shrink)

Our aim is to examine why trust can be considered a second-order emotion and how the way in which trust plays out differently in aesthetic and ordinary contexts can provide another mode of investigating second-order emotions. Our thesis is developed in three sections and a conclusion.In the first section, we perform an example analysis to show why narratives are important for our emotions. In the second section, we examine how trust can be considered a (...) class='Hi'>second-order emotion and establish criteria for identifying it as a second-order emotion. In the third section, we present one of the aims of trust, i.e. sharing knowledge between agents, when a testimony-giver shares knowledge in an epistemic trust process with others. We show how the relationship construction between persons thanks to trust, a second-order emotion that represents emotional ties between agents to achieve a first-order emotion. (shrink)

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)

The ArgumentWhen we actually perform an experiment, we do many different things simultaneously – some belonging to the realm of theory, some to the realms of methodology and technique; however, a great deal of what happens is expressible in terms of socially determined images of knowledge or in terms of concepts of reflectivity – second-order concepts – namely thoughts about thoughts.The emergence of experiment as a second-order concept in late antiquity exemplifies the historical development of (...) second-order concepts; it is shown to be rooted in the Sophists' cunning reason and is followed up in the work of Ptolemy, Copernicus and Galileo.Then, by way of epistemological explication, the three levels of representation of an experiment are shown to be analogous to Baxandall's three levels of representation of a picture.Finally it is shown that such an interpretation only makes sense in terms of two-tier thinking: realism, inside a conceptual framework which is chosen or arrived at, relativistically. (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)

Nowadays, the power systems are getting more and more complicated because of the delays introduced by the communication networks. The existence of the delays usually leads to the degradation and/or instability of power system performance. On account of this point, the traditional load frequency control approach for power system sketches a destabilizing impact and an unacceptable system performance. Therefore, this paper proposes a new LFC based on adaptive integral second-order sliding mode control approach for the large-scale power system (...) with communication delays. First, a new linear matrix inequality is derived to ensure the stability of whole power systems using Lyapunov stability theory. Second, an AISOSMC law is designed to ensure the finite time reachability of the system states. To the best of our knowledge, this is the first time the AISOSMC is designed for LFC of the LSPSwCD. In addition, the report of testing results presents that the suggested LFC based on AISOSMC can not only decrease effectively the frequency variation but also make successfully less in mount of power oscillation/fluctuation in tie-line exchange. (shrink)

My contribution will focus on a central issue of Yehuda Elkana's anthropology of knowledge — namely, the role of reflectivity in the development of knowledge. Let me therefore start with a quotation from Yehuda's paper “Experiment as a Second-Order Concept.”.

In a number of papers, Sydney Shoemaker has argued that first-order belief plus rationality implies second-order belief. This paper is a critical discussion of Shoemaker's argument.

Open peer commentary on the article “Second-Order Cybernetics as a Fundamental Revolution in Science” by Stuart A. Umpleby. Upshot: Connecting Umpleby’s article with Piaget and García’s genetic epistemology, I will argue that the revolution the former discerns is more comprehensive. Additionally, since the latter differ from cybernetic and radical traditions in their philosophical assumptions about society and its conditioning on knowledge, I will suggest that these assumptions must be considered to explain each constructivist program’s achievements and challenges.

Context: Second-order cybernetics and its implications have been understood within the cybernetics community for some time. These implications are important for understanding the structure of scientific endeavor, and for researchers in other fields to see the reflexive nature of scientific research. This article is about the role of context in the creation and exploration of our experience. Problem: The purpose of this article is to point out the fundamental nature of the circularity in cybernetics and in scientific work (...) in general. I give a point of view on the nature of objective knowledge by placing it in the context of reflexivity and eigenform. Method: The approach to the topic is based on logical analysis of the nature of circularity. Mathematics and cybernetics are both fundamentally concerned with the structure of distinctions, but there can be no definition of a distinction without circularity, since such a definition would itself be a distinction. The article proceeds by explicating the structure of reflexive domains D where the transformations of the domain are in one-to-one correspondence with the domain itself. Results: I show that every element of a reflexive domain has a fixed point. This means that eigenforms arise naturally in reflexive domains. Furthermore, a reflexive domain is itself an eigenform (at a higher level. This supports the context of a second-order science that would study domains of science as part of a larger cybernetic landscape. Implications: The value of the article is in its concise reformulation of the scientific endeavor as a search for eigenforms in reflexive domains. This new view of science is promising in that it includes the former worlds of apparent objectivity and it embraces those newer worlds of science where the theories and theorists become active participants in the ongoing process of creating knowledge. Constructivist content: I argue that the perspective of reflexive domains constitutes a new way to think about the practice of science, with observers deeply imbedded, and objectivity understood as the mutual search for eigenforms. (shrink)

Context: This conceptual paper tries to tackle the advantages and the limitations that might arise from including second-order science into global climate change sciences, a research area that traditionally focuses on first-order approaches and that is currently attracting a lot of media and public attention. Problem: The high profile of climate change research seems to provoke a certain dilemma for scientists: despite the slowly increasing realization within the sciences that our knowledge is temporary, tentative, uncertain, and (...) far from stable, the public expectations towards science and scientific knowledge are still the opposite: that scientific results should prove to be objective, reliable, and authoritative. As a way to handle the uncertainty, scientists tend to produce “varieties of scenarios” instead of clear statements, as well as reports that articulate different scientific opinions about the causes and dynamics of change for this specific field of research. (shrink)

One reliabilist option against the problem of bootstrapping is to argue that circular reasoning is bad, but reliabilism can avoid circular reasoning. Vogel dismisses this option on the grounds that reliabilists need circular reasoning in order to circumvent skepticism. Briesen argues, however, that although reliabilists need circular reasoning to block second-order skepticism, they do not need it to block first-order skepticism. But I argue in this paper that reliabilists cannot legitimately reject first-order skepticism unless they (...) can block second-order skepticism. In particular, I argue that reliabilists cannot meet the non-undermining provision for justification unless they can somehow block second-order skepticism. (shrink)

Kleinberg describes a novel procedure for efficient search in a dense hyper-linked environment, such as the world wide web. The procedure exploits information implicit in the links between pages so as to identify patterns of connectivity indicative of “authorative sources”. At a more general level, the trick is to use this second-order link-structure information to rapidly and cheaply identify the knowledge-structures most likely to be relevant given a specific input. I shall argue that Kleinberg’s procedure is suggestive (...) of a new, viable, and neuroscientifically plausible solution to at least the so-called “Frame Problem” in cognitive science viz the problem of explaining global abductive inference. More accurately, I shall argue that Kleinberg’s procedure suggests a new variety of “fast and frugal heuristic” ) capable of pressing maximum utility from the vast bodies of information and associations commanded by the biological brain. The paper thus takes up the challenge laid down by Fodor ). Fodor depicts the problem of global knowledge-based reason as the point source of many paradigmatic failings of contemporary computational theories of mind. These failings, Fodor goes on to argue, cannot be remedied by any simple appeal to alternative modes of encoding and processing. I shall show, however, that connectionist models can provide for one neurologically plausible incarnation of Kleinberg’s procedure. The paper ends by noting that current commercial applications increasingly confront the kinds of challenge initially posed to biological thought and reason. (shrink)

Context: A tension exists between the needs and desires of the institutions providing the funding for academics to attend conferences and the potential for transforming the knowledge and understanding of conference participants - than in advancing their own careers and celebrity. Approaches to the problem can recognize the importance of funding and career-building in the current society, while still experimenting in ways that could generate new ideas. Method: Ideas from second-order cybernetics are used to derive design principles (...) that might alleviate the tension and encourage deep conversations, idea generation and experimentation. The author draws on experiences with designing, organizing and participating in cybernetics conferences over a period of 34 years. Results: An academic conference designed to a set of broad, second-order cybernetic principles, where participants are informed of the design intent before they decide to attend, can open an opportunity for learning, understanding and the creation of new ideas in ways that would not otherwise be available. Although there are no guarantees, such designs can attenuate the tension, often experienced at traditionally designed conferences, between advancing individual careers/celebrity and building new knowledge together. Implications: The design principles derived, already exhibited in some conferences, could be useful to organizers wishing to foster incompatible and opposing ideas and facilitate dialogue among conference participants. These same principles have implications for the design of other social systems and point to the possibility of a new and more humane society. Constructivist content: A feature of second-order cybernetics is that knowledge is continually changing as our desires change, and we must take responsibility for the consequences of the ideas we construct and use to satisfy our desires. Key Words: Design by constraint, dynamics of interaction, asynchronicity, tyranny of the clock, times of truth, moments of art. (shrink)

In recent years, the European Union has become more and more important in the lives of Europeans due to its growing authority in policy-making. In contrast to that, there still are several shortcomings in our knowledge of how European institutions, political processes, and events are presented in the media. This paper focuses on the coverage of the elections of the European Parliament because of two contradictory developments. Although the relevance of the EP to EU decision-making has considerably increased since (...) 1979, voter interest and voter turnout at EP elections has been declining. Against this backdrop the paper investigates the long-term development of EP election coverage in German newspapers and compares EP and national election campaign coverage. Based on a content analysis of the coverage of four German quality newspapers of all six European election campaigns that took place since 1979, the analysis shows that there has not been an increase in EP election coverage, that EP elections were covered much less frequently than national elections, that, like in national elections, there was a trend towards more subjectivity in EP election coverage, that EP elections were looked at from a mainly national perspective, and that the degree of personalization was lower in EP than in national election coverage. In addition, explicit assessments of the EP's political relevance gave a better picture of the real development than one would expect from the analysis of the mere amount of coverage. (shrink)

The paper considers premises of the hiddenness argument with an emphasis on its usage of the concept of a personal God. The paper’s assumption is that a recent literature on second-person experiences could be useful for theists in their efforts to defend their position against Schellenberg’s argument. Stump’s analyses of a second-person knowledge indicate that what is required in order to establish an interpersonal relationship is a personal presence of the persons in question, and therefore they (...) falsify the thesis that a minimalist requirement for a relationship between a man and God has to be belief in his existence. Recent works by developmental psychologists not only verify a hypothesis that a second-person knowledge is not reducible to knowledge-that, but also suggest that one needs a shared form of life in order to establish an interpersonal relationship. These two insights allow the author to formulate his own response to the hiddenness argument: only when God’s presence is non-explicit—for example, when God is hidden in a human nature—can a finite person enter into a personal relationship with him. It is the fulfilment of the requirement of being personally present that is the justifying reason for God to permit non-resistant non-belief. (shrink)

The hallmark of implicit learning is that complex knowledge can be acquired unconsciously. The second order conditionals of Reed and Johnson were developed to be complex, and they are popular materials for implicit learning research. Recently, it was demonstrated that in a sequence made noisy , shared features of the SOCs may be learned explicitly . What are these shared features? We hypothesized that low reversal frequency may play a significant role. We have varied reversal frequency, and (...) discovered that reversal frequency affected response times, inclusion exclusion behavior, and recognition ratings. Not only does it appear to be important to distinguish implicit and explicit knowledge, but also to distinguish what the knowledge is of. (shrink)

Our aim is to explore and develop notions of objectivity that are useful and appropriate for critical realist empirical research. Part I explores the values associated with objectivity, Part II the linkages between objectivity and situated action. The introductory section of Part I explains why it is worthwhile in realist terms to develop the notion of objectivity; that is, develop it as opposed to remaining content with murky hidden notions or connotations that the term ‘objectivity’ brings to mind and that (...) tend to cause confusion in how it is accepted and rejected. This is important as a clarification exercise for social research. In Part II, we argue that the growth of knowledge requires engagement and critical analysis. We develop the idea that if subjects are engaging objectively with reality and its multiple standpoints, then the results will tend to be transformative. Again, our aim is to be of use to practical researchers by providing underlying arguments. Specifically, we argue that objectivity is a bridge between the subjectivities of subjects and the rest of the real world. (shrink)

Our aim is to explore and develop notions of objectivity that are useful and appropriate for critical realist empirical research. In Part I, we provided an initial definition that introduced the idea that objectivity is a value that must be chosen but that its significance is rooted in a series of other epistemological and ontological matters. We also addressed why it is worthwhile in realist terms to develop the notion of objectivity, and began to develop a revision of the concept (...) to recognise the role of subjectivities. This, we maintain, is an important clarification in developing social research. Part II explores the linkages between objectivity and situated action. In Part II we argue that the growth of knowledge requires engagement and critical analysis. We develop the idea that if subjects are engaged through multiple standpoints, then objectivity becomes significant as a lever of agency in the service of dialogue and debate and of transformations. Again, our aim is to be of use to practical researchers by providing underlying arguments. Specifically, we argue that objectivity is a bridge between the subjectivities of subjects and the rest of the real world. In so doing, the paper works through various desirable characteristics of an adequate theorisation of knowledge that could make objectivity part of the ontological underpinnings as well as the daily practices of a realist researcher. Objectivity thus links philosophical work to the everyday work of realist researchers. (shrink)

Although information and communication technologies have created hope for a shared pluralistic world, democratic principles are far from being respected in the public digital environment, and require a detailed knowledge of the laws by which they are governed. Von Foerster's conjecture is one of the early theoretical results that could help to understand these laws. Although neglected for a long time, the advent of the overlying layer of recommendation and ranking systems which is progressively occupying the web has given (...) empirical evidences of this conjecture, which predicts the consequences of increasing inter-individual influences on social dynamics and the susceptibility of these latter to manipulation. With both von Foerster's conjecture and the Snowden revelations in the background, we analyse the impact of ICT on human societies and their governance, in view of the fact that they have a massive impact on the way in which people influence each other in their tastes and actions. (shrink)

This paper begins with a problem stemming from Hume regarding credences about credences. Suppose one has a credence of .95 in p, and suppose one assesses the credence to be such. But suppose one’s second-order credence in this assessment is less than 1. Then, by a standard conditionalization rule, one’s credence in p becomes less than .95. Moreover, such “erosion” can iterate by considering one’s, third-, fourth-, fifth-order credences, etc. (In light of this, some have rejected higher- (...) class='Hi'>order credences; however, it is argued that Lewis’ “Principal Principle” forbids this.) The paper then offers a partial solution by describing circumstances under which a person has reason to assign credence 1 to a first-order credence. The solution takes the form of a “transparency” view of self-knowledge from Parent (2017, chapter 8). Briefly, it is argued that when one “reflex-like” utters a sentence “The probability of p is n”, then as a matter of psychological law, the utterance is an expression of one’s own judgment. The Principal Principle then necessitates that one’s credence in p is n, assuming one is being rational. Thus, upon perceiving such an utterance, one can thereby have a reason to assign a second-order credence of 1. (shrink)

The paper argues that Jackson's knowledge argument fails to undermine physicalist ontology. First, it is argued that, as this argument stands, it begs the question. Second, it is suggested that by supplementing the argument , this flaw can be remedied insofar as the argument is taken to be an argument against type-physicalism; however, this flaw cannot be remedied insofar as the argument is taken to be an argument against token-physicalism. The argument cannot be supplemented so as to show (...) that experiences have properties which are illegitimate from a physicalist perspective. (shrink)

According to the method of transparency, genuine self-knowledge is the outcome of an inference from world to mind. A. Byrne has developed a theory in which the method of transparency consists in following an epistemic rule in order to form self-verifying second-order beliefs. In this paper, I argue that Byrne’s theory does not establish sufficient conditions for having self-knowledge of first-order beliefs. Examining a case of self-deception, I strive to show that following such a (...) rule might not result in self-knowledge when one is involved in rational deliberation. In the case under consideration, one precisely comes to believe that one believes that p without coming to believe that p. The justification for one’s not forming the belief that p with its distinctive causal pattern in mental life and behaviour, is that one already had the unconscious belief that not-p, a belief that is not sensitive to the principles governing theoretical and practical reasoning. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:First Order Relationality and Its Implications:A Response to David ElsteinRoger T. Ames (bio)David Elstein has asked a series of important questions about Human Becomings that provide me with an opportunity to try to bring the argument of the book into clearer focus. Let me begin by thanking David for his always generous and intelligent reflection on not only my new monograph [End Page 181] but also on Henry (...) Rosemont's and my best efforts to expand upon the idea of "role ethics" as a productive way to read Confucian ethics.David asks: Is relationality truly a part of original Confucian thought? Does relationality rule out any notion of essential human nature, and does it necessarily imply or entail role ethics? Is relationality true or merely a useful way of thinking (if these can be distinguished)? Do we know that it's useful?I think the answer to these questions turns on two very different ways of understanding relationality, namely the doctrines of first and second order relationality. The term 'ontology' as "the science of being per se or in itself" gives us a doctrine of external, second order relations. Ontology was introduced into our philosophical vocabulary as a new term for an old way of thinking at the beginning of the seventeenth century by two German philosophers.1 For the classical Greeks, "the science of being per se" (to on he on) was posited as their "first philosophy" with all of its implications for metaphysics, epistemology, logic, ethics, philosophy of religion, and so on. Ontology is that branch of metaphysics that seeks to classify and explain the things that exist, with its underlying assumption that there are unchanging substances or essences internal to things that are available to us to classify them as this and not that. Ontology privileges "being per se" with its categorical language and its "substance" and "attribute" dualism, giving us a grammar of substances as property-bearers and properties that are borne, respectively.Such ontological thinking animates Plato's pursuit of formal, "real" definitions in his quest for certainty (that is, definitions not of words but of what really is), and underlies Aristotle's taxonomical science of knowing "what is what." For these classical Greek philosophers, only what is real and is thus true can be the proper object of knowledge, giving us a logic of the changeless. Corollary to ontology is causal thinking, formal definitions, and, important for David's question, a doctrine of external, second order relationality in which relations conjoin discrete and self-sufficient things, such as human "beings." As the contemporary philosopher Zhao Tingyang 趙汀陽 avers, this kind of substance ontology defining the real things that constitute the content of an orderly and structured cosmosprovides a "dictionary" kind of explanation of the world, seeking to set up an accurate understanding of the limits of all things. In simple terms, it determines "what is what," and all concepts are footnotes to "being" or "is."2In the Book of Changes, we find a vocabulary making explicit cosmological assumptions that stand in stark contrast to this substance ontology and that brings with it a doctrine of first order, constitutive relations. This alternative "first philosophy" has prompted me to create the neologism "zoetology," with the Greek zoe- "life" and -logia "discourse," as my own new term for an old way of thinking that we might translate into modern Chinese as shengshenglun 生生論: "the art of living." The starting point in this zoetological cosmology, then, is that nothing does anything by [End Page 182] itself; association is a fact. Since the very nature of life is associative and transactional, the vocabulary appealed to in defining Confucian cosmology is irreducibly dyadic and collateral: always multiple, never one.And further, it is the nature of life itself that it seeks to optimize the available conditions for its continuing growth, where such growth has a persistent existential and thus intentional aspect. "Life" is the productive correlation between organism and environment that gives rise to correlative, relational, ecological thinking that many of our best sinologists (Marcel Granet, David Keightley, Tang Junyi, K. C. Chang, A. C. Graham, and many others) would ascribe to the earliest semblances of Chinese... (shrink)

What does it mean to know another person, and how is such knowledge different from other kinds of knowledge? These questions constitute an important part of what I call ‘second-person epistemology’ – the study of how we know other people. I claim that knowledge of other people is not only central to our everyday lives, but it is a kind of knowledge that is unlike other kinds of knowledge. In general, I will argue that (...) second-person knowledge arises from repeated interactions with another person, and that it also requires employment of certain cognitive abilities and a unique kind of second-order knowledge. This paper provides the framework for a second-person epistemology by examining some of our ordinary claims about what it means to know another person. I describe four conditions that typically characterize knowing another person. Then I describe the psychological grounds of knowing a person. Finally, I conclude with some thoughts about the unique symmetries of second person knowledge and the role of such knowledge in our broader epistemological endeavours. (shrink)

I consider whether one particular anti-individualist claim, the doctrine of object-dependent thoughts (DODT), is compatible with the Principle of Privileged Access, or PPA, which states that, in general, a subject can have non-empirical knowledge of her thought contents. The standard defence of the compatibility of anti-individualism and PPA emphasises the reliability of the process which produces a subject's second order beliefs about her thought contents. I examine whether this defence can be applied to DODT, given that DODT (...) generates the possibility of illusions of thought. Drawing on general epistemological literature, I distinguish several senses of reliability, and argue that in the relevant sense-'global reliability'-DODT does sometimes threaten reliability and hence PPA. (shrink)

The paper pursues the question: what makes self‐knowledge of our intentional states special, what makes it different from other kinds of knowledge? It does so by contrasting a ’constitutive’ view of self‐knowledge with a perceptual model of self‐knowledge, and claims that if the former can be shown to be plausible, that will establish the special character of self‐knowledge. It then follows Crispin Wright in setting up a biconditional, which links the first‐order and second‐ (...) class='Hi'>order intentional states as a prima facie mark of the constitutive view of self‐knowledge. In the rest of the paper, however, a quite different understanding of the biconditional is provided from the one in Crispin Wright's work. The biconditional is given support by a normative conception of agency owing to Strawson's conception of freedom, and a normative conception of intentionality. The overarching claim of the paper is that the special character of self‐knowledge is of a piece with the special nature of the agent's or first person point of view, and at bottom, both self‐knowledge and the point of view of agency are of a piece with the irreducibility of norms and values to states of nature, as natural sciences study them. (shrink)

This paper proposes an account of linguistic knowledge in terms of knowing-how, starting from Love's seminal distinction between first-order linguistic activity and second-order (or metalinguistic) practices. Metalinguistic practices are argued to be constitutive of linguistic knowledge. Skilful linguistic behaviour is subject to correction based on criterial support provided through metalinguistic practices. Linguistic know-how is knowing-how to provide and to recognise criterial support for first-order linguistic activity. I conclude that participation in first-order linguistic activity (...) requires a critical reflective attitude, which implies that all first-order linguistic activity has a second-order dimension. -/- . (shrink)

If we hold that perceiving is sufficient for knowing, we can raise a powerful objection to dreaming skepticism: Skeptics assume the implausible KK-principle, because they hold that if we don’t know whether we are dreaming or perceiving p, we don’t know whether p. The rejection of the KK-principle thus suggests an anti-skeptical strategy: We can sacrifice some of our self-knowledge—our second-order knowledge—and thereby save our knowledge of the external world. I call this strategy the Self- (...) class='Hi'>Knowledge Gambit. I argue that the Self-Knowledge Gambit is not satisfactory, because the dreaming skeptic can avail herself of a normative counterpart to the KK-principle: When we lack second-order knowledge, we should suspend our first-order beliefs and thereby give up any first-order knowledge we might have had. The skeptical challenge is essentially a normative challenge, and one can raise it even if one rejects the KK-Principle. (shrink)

In this essay I examine the role that reflection plays in knowledge. I argue that a notion of reflection grounded in ancient Chinese philosophy can help us understand second-order or reflective knowledge in both the accounts of Confucius and Ernest Sosa. I also argue that reflection can help us understand the most ideal kind of knowledge. I begin my paper by laying out Confucius’ and Sosa’s accounts of knowledge, while at the same time drawing (...) the reader’s attention to their common concern with reflective knowledge. Next I draw on an account of reflection from Confucius and elaborate on it. With this account of reflection in hand, I return to Confucius’ and Sosa’s accounts of knowledge and show how this account of reflection can help those accounts of knowledge. (shrink)

In order to systematically explore the normative treatment of Black slavery by Second Scholastic thinkers, usually placing the problem within the broad discussion of moral conscience and, more narrowly, the nature and justice of trade and contracts, I propose two stations of research that may be helpful for future studies, especially in what concerns the study of Scholastic ideas in colonial Latin America. Beginning with the analysisof just titles for slavery and slavery trade proposed by Luis de Molina (...) S.J., I show how his accounts were critically reviewed by Diego de Avendaño S.J., revealing basic features of Second Scholastic normative thinking in Europe and the Americas. Normative knowledge provided by these two Scholastic intellectuals wouldbe deeply tested throughout the last decades of the 17th century, especially by authors who sharpened the systemic analysis and a rigorist moral assessment of every title of slavery and slaveholding, as well as the requirements of an ethics of restitution. (shrink)

A statement of hyperarithmetic analysis is a sentence of second order arithmetic S such that for every Y⊆ω, the minimum ω-model containing Y of RCA0 + S is HYP, the ω-model consisting of the sets hyperarithmetic in Y. We provide an example of a mathematical theorem which is a statement of hyperarithmetic analysis. This statement, that we call INDEC, is due to Jullien [13]. To the author's knowledge, no other already published, purely mathematical statement has been found (...) with this property until now. We also prove that, over RCA0, INDEC is implied by [Formula: see text] and implies ACA0, but of course, neither ACA0, nor ACA 0+ imply it. We introduce five other statements of hyperarithmetic analysis and study the relations among them. Four of them are related to finitely-terminating games. The fifth one, related to iterations of the Turing jump, is strictly weaker than all the other statements that we study in this paper, as we prove using Steel's method of forcing with tagged trees. (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)

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)

In making his distinction between revisionary and descriptive metaphysics, P.F. Strawson wrote that the former has some value provided that its "partial vision" is at the service of the latter, "which needs no justification at all beyond that of inquiry in general." (Individuals, p. 9) Perhaps we feel no need to ask what justification there is for inquiry in general. But if we do recognize any such need, then we discover that inquiry is self-justifying. The more I put it into (...) question, the more I bring the theme of my inquiry to light in my performance of inquiring. Questioning is the business of philosophers. They are now content to leave the search for detailed information to experts in the various disciplines that have won their independence from philosophy. The questioning a philosopher conducts is of the 'second-order'. He asks about the status of various sorts of questions, the types of knowledge they yield and of con fusion into which they lead. (shrink)

In order for true beliefs acquired from reading fiction to count as knowledge proper, they must survive ‘the challenge from luck’. That is, it must be established that such beliefs are neither luckily true, nor luckily believed by readers. The author considers three kinds of true belief a reader may, she assumes, get from reading fiction: a) those based on testimony about empirical facts; b) those based on ‘true in passing’ sentences; and c) those beliefs about counterfactuals one (...) may get from reading a ‘didactic’ fiction. The first group escape the challenge from luck relatively easily, she argues. However, things turn out to be more complicated with the second group. The author examines Mitchell Green’s suggestion, effectively, that knowledge of fictional genre may see off the challenge from luck here, but rejects this in the form presented by Green, adapting it substantially to offer beliefs of this kind a more promising escape route. The author finishes by following Green’s lead once again, and discussing the category of ‘didactic’ fiction, as he calls it. She argues that any true beliefs about counterfactuals gained from such fictions are likely to be lucky. The author concludes however that things are much more promising for any true beliefs gained about oneself as a result of engaging with what Green calls an ‘interrogative’ fiction. (shrink)

This paper defends a qualified observational model of authoritative self‐knowledge, which centres on two features of ordinarily observable characteristics that help explain a subject's direct awareness of them. The first is that they are basic, in that one does not have to know of any underlying fact in virtue of which they apply when they do; and the second is that it is generally necessary and sufficient for the application of such a characteristic that it seems to a (...) normal observer, in normal circumstances, that it does apply. The view is defended against two well‐known misgivings about modelling such knowledge on observation: first, that there is a telling structural disanalogy, since observation normally involves three components, namely, the item perceived, an intermediary, non‐conceptual sensation state, and a judgement grounded in that sensation state, whereas self‐knowledge of an intentional state apparently involves analogues of the first and third components only, namely, a first‐order content‐bearing state and the second‐order state that it validates; and second that, whereas the relations between a perceptual state and the item perceived are causal and contingent, those between first‐ and corresponding second‐order intentional states are in general non‐contingent, and so not merely causal. (shrink)

This article tries to show that focusing on why and how subject and object are distinct is of key importance for understanding the nature of knowledge itself. It argues that: 1) cognition starts with an aliud which is present to a felt self in a way fundamentally different from one’s own modes of being; 2) individual human knowledge in its paradigmatic form is essentially first-personal, that is, its object-directedness requires a built-in, implicit awareness of a ‘self’ that provides (...) the unifying perspective from which the aliud is apprehended; 3) this is a first-order awareness which is crucially distinct from the second-order awareness which requires a reflexive cognitive act – a distinction which the author proposes to cash out in terms of ‘first-person knowledge’ versus ‘self-knowledge. (shrink)

The question of whether content externalism poses a threat to the traditional view of self-knowledge has been much debated. Compatibilists have tried to diffuse the threat by appealing to the self-verifying character of reflexive judgments about our own thoughts, while incompatibilists have strenuously objected that this does not suffice. In my paper I argue that this debate is fundamentally misconceived since it is based, on both sides, on the problematic notion of ‘knowledge of content’. What this shows, I (...) argue, is not that content externalism is unobjectionable, but that the real challenge to content externalism is not an epistemological one. The real difficulty concerns the content externalist’s seemingly necessary commitment to the idea that individuals have an incomplete grasp of the concepts that go into their own thoughts. This idea poses a threat not to self-knowledge, I argue, but rather to our first- and second-order reasoning abilities. (shrink)

In this paper, we argue that to reverse the excess of specialization and to create room for interdisciplinary cross-fertilization, it seems necessary to move the existing epistemic plurality towards a collaborative process of social cognition. In order to achieve this, we propose to extend the psychological notion of joint attention towards what we call joint intellectual attention. This special kind of joint attention involves a shared awareness of sharing the cognitive process of knowledge. We claim that if an (...) interdisciplinary research team aspires to work collaboratively, it is essential for the researchers to jointly focus their attention towards a common object and establish a second-person relatedness among them. We consider some of the intellectual dispositions or virtues fostered by joint intellectual attention that facilitate interdisciplinary exchange, and explore some of the practical consequences of this cognitive approach to interdisciplinarity for education and research. (shrink)

In order to systematically explore the normative treatment of black slavery by Second Scholastic thinkers, who usually place the problem within the broad discussion of moral conscience and, more narrowly, the nature and justice of trade and contracts, I propose two stations of research that may be helpful for future studies, especially concerning the study of Scholastic ideas in colonial Latin America. Beginning with the analysis of just titles for slavery and slavery trade proposed by Luis de Molina (...) S.J., I show how his accounts were critically reviewed by Diego de Avendaño S.J., revealing basic features of Second Scholasticism’s normative thinking in Europe and the Americas. The normative knowledge provided by these two Scholastic intellectuals would be profoundly tested during the last decades of the 17th century, especially by authors who sharpened the systemic analysis and a rigorist moral assessment of every title of slavery and slaveholding, as well as the requirements of an ethics of restitution. (shrink)

According to the KK-principle, knowledge iterates freely. It has been argued, notably in Greco, that accounts of knowledge which involve essential appeal to normality are particularly conducive to defence of the KK-principle. The present article evaluates the prospects for employing normality in this role. First, it is argued that the defence of the KK-principle depends upon an implausible assumption about the logical principles governing iterated normality claims. Once this assumption is dropped, counter-instances to the principle can be expected (...) to arise. Second, it is argued that even if the assumption is maintained, there are other logical properties of normality which can be expected to lead to failures of KK. Such failures are noteworthy, since they do not depend on either a margins-for-error principle or safety condition of the kinds Williamson appeals to in motivating rejection KK. “Introduction: KK and Being in a Position to Know” Section formulates two versions of the KK-Principle; “Inexact Knowledge and Margins for Error” Section presents a version of Williamson’s margins-for-error argument against it; “Knowledge and Normality” and “Iterated Normality” Sections discuss the defence of the KK-Principle due to Greco and show that it is dependent upon the implausible assumption that the logic of normality ascriptions is at least as strong as K4; finally, “Knowledge in Abnormal Conditions” and “Higher-Order Ignorance Inside the Margins” Sections argue that a weakened version of Greco’s constraint on knowledge is plausible and demonstrate that this weakened constraint will, given uncontentious assumptions, systematically generate counter-instances to the KK-principle of a novel kind. (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)

Large research collaborations constitute an increasingly prevalent form of social organization of research activity in many scientific fields. In the last decades, the concept of distributed cognition has provided a suitable basis for thinking about collective knowledge in the philosophy of science. Karin Knorr-Cetina’s and Ronald Giere’s analyses of high energy physics experiments are the most prominent examples. Although they both conceive the processes of knowledge production in these experiments in terms of distributed cognition, their accounts regarding the (...) epistemic subject of knowledge thus produced are quite different. While Knorr-Cetina argues for an irreducibly collective subject, Giere argues for eliminating the epistemic subject and opting for using the passive voice in describing collectively produced knowledge. Neither of these views are easy to assimilate within an epistemological account, since epistemology traditionally operates within an individualist framework. They both entail that we should deny knowledge to individuals when the processes of knowledge production are distributed. I will argue that epistemology should be extended in a way that can accommodate collectively produced knowledge, but that we would have a serious problem if we deny scientific knowledge to individuals. If the members of a large collaboration cannot be said to know, we have to accept the absurd conclusion that either no one or only a supra-individual entity learns from the most successful research collaborations we have. I will argue instead for conceiving research collaborations in terms of a cognitive system that produces knowledge, which can eventually be possessed by constituent individuals when certain conditions are met. Firstly, the distributed research process should be reliable in producing scientific evidence and secondly, there should be a reliable distributed process of criticism for scrutinizing the reliability of the scientific evidence that is collectively produced. I will analyze both conditions in terms of distributed first-order and second-order justification, where I put forward a reliabilist account of justification that is compatible with epistemic dependence. I will conclude that the notion of justified epistemic dependence enables us to attribute knowledge to individuals when knowledge production is irreducibly social. (shrink)