Partial Monotonic Protothetics

This paper has four parts. In the first part, I present Leniewski's protothetics and the complete system provided for that logic by Henkin. The second part presents a generalized notion of partial functions in propositional type theory. In the third part, these partial functions are used to define partial interpretations for protothetics. Finally, I present in the fourth part a complete system for partial protothetics. Completeness is proved by Henkin's method [4] using saturated sets instead of maximally saturated sets. This technique provides a canonical representation of a partial semantic space and it is suggested that this space can be interpreted as an epistemic state of a non-omniscient agent.     

Cooperation,Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications

Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as Alternating-time Temporal Logic (ATL). The key insight in ATL is that the path quantifiers of CTL could be replaced by cooperation modalities, of the form , where is a set of agents. The intended interpretation of an ATL formula is that the agents can cooperate to ensure that holds (equivalently, that have a winning strategy for ). In this paper, we extend ATL with knowledge modalities, of the kind made popular in the work of Fagin, Halpern, Moses, Vardi and colleagues. Combining these knowledge modalities with ATL, it becomes possible to express such properties as group can cooperate to bring about iff it is common knowledge in that . The resulting logic — Alternating-time Temporal Epistemic Logic (ATEL) — shares the tractability of model checking with its ATL parent, and is a succinct and expressive language for reasoning about game-like multiagent systems.     

Naturalized Epistemics and Conditional Reasoning

The continued predominance of SL-logic and deductive paradigms in the research on conditional-based reasoning by experimental psychologists is examined and criticized. After recounting the history and influence of the model, I note the emergence of trends in epistemology and other areas of theory that might provide a springboard for the critique of the model, and I argue that a new approach to examining reasoning with conditionals ought to be developed. I conclude that a superior approach would model such reasoning with sociolinguistic, inductive, and neurophysiological parameters, and that it would not involve any comparison of subjects' reasoning with the standard deductive rules of logic.     

The Virtue of Nussbaum's Essentialism

This paper shows that Nussbaum's Aristotelian essentialism effectively combines resources for constructive social criticism (even in "traditional" societies) with concern for the concrete particulars of realized ways of life. Many critics of Nussbaum's views have failed to appreciate its many virtues in this regard. Yet Nussbaum's confidence in the broad possibilities of internal social criticism demands a better account of the moral openness of human cultures than anything Nussbaum has herself provided. Even Nussbaum's reading of Aristotle – as well as the ethical antirelativism on which it depends – demands a richer account than Nussbaum has so far offered of the essential openness of human world interpretations.     

Moral Responses and Moral Theory: Socially-based Externalist Ethics

The paper outlines a view called social (or two-level) response-dependency as an addition to standard alternatives in metaethics that allows for a position intermediate between standard versions of internalism and externalism on the question of motivational force. Instead of taking psychological responses as either directly supplying the content of ethics (as on emotivist or sentimentalist accounts) or as irrelevant to its content (as in classical versions of Kantian or utilitarian ethics), the view allows them an indirect role, as motivational props to moral teaching and thus to the general institution of moral discourse. However, they are not implied by any particular moral judgment (or speaker), so that amoralism comes out as possible. The response that defines the distinctively moral notion of wrong on this account is the second-level (social) response of forbidding some behavior; but this is ultimately to be understood in terms of (variable) individual reactions. Natural human emotion tendencies thereby constrain the content of ethics, while allowing for some degree of social variation in moral codes.     

WHAT EPISTEMIC VALUES SHOULD WE RECLAIM FOR RELIGION AND SCIENCE? A RESPONSE TO J. WESLEY ROBBINS

Abstract. Postmodernism in science rejects and deconstructs the cultural dominance of especially the natural sciences in our time. Although it presents the debate between religion and science with a promising epistemological holism, it also seriously challenges attempts to develop a meaningful relationship between science and religion. A neopragmatist perspective on religion and science is part of this important challenge and eminently reveals the problems and reduction that arise when pragmatist criteria alone are used to construct a holism that renounces any demarcation between different areas of rationality. In this pragmatist vision for a holist culture, the cognitive resources of rationality are bypassed in such a way that a meaningful interaction between theology and science becomes impossible.     

What is an expert?

Experts play an important role in society, but there has been little investigation about the nature of expertise. I argue that there are two kinds of experts: those whose expertise is a function of what theyknow (epistemic expertise), or what theydo (performative expertise). Epistemic expertise is the capacity to provide strong justifications for a range of propositions in a domain, while performative expertise is the capacity to perform a skill well according to the rules and virtues of a practice. Both epistemic and performative experts may legitimately disagree with one another, and the two senses are conceptually and logically distinct.     

Socialising epistemic risk: On the risks of epistemic injustice

Epistemic risk is of central importance to epistemology nowadays: one common way in which a belief can fail to be knowledge is by being formed in an epistemically risky way, that is, a way that makes it true by luck. Recently, epistemologists have been expanding this rather narrow conception of risk in every direction, except arguably the most obvious one—to enable it to accommodate the increasingly commonplace thought that knowledge has an irreducibly social dimension. This paper fills this lacuna by bringing issues of epistemic injustice to bear on epistemic risk. In particular, it draws on the phenomenon of white ignorance, to sketch a more social notion of epistemic risk, on which the interests of one's epistemic community partly determine whether a belief-forming procedure is epistemically risky.     

“I don't know but I know who to ask”: 12‐month‐olds actively seek information from knowledgeable adults

Active social communication is an effective way for infants to learn about the world. Do pre‐verbal and pre‐pointing infants seek epistemic information from their social partners when motivated to obtain information they cannot discover independently? The present study investigated whether 12‐month‐olds (N = 30) selectively seek information from knowledgeable adults in situations of referential uncertainty. In a live experiment, infants were introduced to two unfamiliar adults, an Informant (reliably labeling objects) and a Non‐Informant (equally socially engaging, but ignorant about object labels). At test, infants were asked to make an impossible choice—locate a novel referent among two novel objects. When facing epistemic uncertainty—but not at other phases of the procedure—infants selectively referred to the Informant rather than the Non‐Informant. These results show that pre‐verbal infants use social referencing to actively and selectively seek information from social partners as part of their interrogative communicative toolkit. A video abstract of this article can be viewed at https://youtu.be/23dLPsa-fAY     

Social and Cognitive Aspects of the Vulnerability to Political Misinformation

In the last few years, especially after the Brexit referendum and the 2016 U.S. elections, there has been a surge in academic interest for misinformation and disinformation. Social, cognitive, and political scientists' work on these phenomena has focused on two main aspects:

• Individuals' (and by extension societies') vulnerability to misinformation;
• Factors and interventions that can increase individuals' (and societies') resistance to misinformation.

In this article, we offer a critical review of the psychological research pertaining to these two aspects. Drawing on this review, we highlight an emerging tension in the relevant literature. Indeed, the current state of the art of the political misinformation literature reflects the combined operation of two opposing psychological constructs: excess gullibility on the one hand and excess vigilance on the other. We argue that this conceptualization is important in both advancing theories of individuals' and societies' vulnerability to misinformation and in designing prospective research programs. We conclude with proposing what, in our view, are the most promising avenues for future research in the field.