Thought experiments in current metaphilosophical debates

Although thought experiments were first discovered as a sui generis methodological tool by philosophers of science (most prominently by Ernst Mach), the tool can also be found – even more frequently – in contemporary philosophy. Thought experiments in philosophy and science have a lot in common. However, in this chapter we will concentrate on thought experiments in philosophy only. Their use has been the centre of attention of metaphilosophical discussion in the past decade, and this chapter will provide an overview of the results this discussion has achieved and point out which issues are still open

Why Friedman's Non-monotonic Reasoning Defies Hempel's Covering Law Model

In this paper we will show that Hempel's covering law model can't deal very well with explanations that are based on incomplete knowledge. In particular the symmetry thesis, which is an important aspect of the covering law model, turns out to be problematic for these explanations. We will discuss an example of an electric circuit, which clearly indicates that the symmetry of explanation and prediction does not always hold. It will be argued that an alternative logic for causal explanation is needed. And we will investigate to what extent non-monotonic epistemic logic can provide such an alternative logical framework. Finally we will show that our non-monotonic logical analysis of explanation is not only suitable for simple cases such as the electric circuit, but that it also sheds new light on more controversial causal explanations such as Milton Friedman's explanation of the business cycle

Offline and online data: on upgrading functional information to knowledge

This paper addresses the problem of upgrading functional information to knowledge. Functional information is defined as syntactically well-formed, meaningful and collectively opaque data. Its use in the formal epistemology of information theories is crucial to solve the debate on the veridical nature of information, and it represents the companion notion to standard strongly semantic information, defined as well-formed, meaningful and true data. The formal framework, on which the definitions are based, uses a contextual version of the verificationist principle of truth in order to connect functional to semantic information, avoiding Gettierization and decoupling from true informational contents. The upgrade operation from functional information uses the machinery of epistemic modalities in order to add data localization and accessibility as its main properties. We show in this way the conceptual worthiness of this notion for issues in contemporary epistemology debates, such as the explanation of knowledge process acquisition from information retrieval systems, and open data repositories

Self-Referential Justifications in Epistemic Logic

This paper is devoted to the study of self-referential proofs and/or justifications, i.e.,valid proofs that prove statements about these same proofs. The goal is to investigate whether such self-referential justifications are present in the reasoning described by standard modal epistemic logics such as $\mathsf{S4}$ . We argue that the modal language by itself is too coarse to capture this concept of self-referentiality and that the language of justification logic can serve as an adequate refinement. We consider well-known modal logics of knowledge/belief and show, using explicit justifications, that $\mathsf{S4}$ , $\mathsf{D4}$ , $\mathsf{K4}$ , and $\mathsf{T}$ with their respective justification counterparts $\mathsf{LP}$ , $\mathsf{JD4}$ , $\mathsf{J4}$ , and $\mathsf{JT}$ describe knowledge that is self-referential in some strong sense. We also demonstrate that self-referentiality can be avoided for $\mathsf{K}$ and $\mathsf{D}$ . In order to prove the former result, we develop a machinery of minimal evidence functions used to effectively build models for justification logics. We observe that the calculus used to construct the minimal functions axiomatizes the reflected fragments of justification logics. We also discuss difficulties that result from an introduction of negative introspectio

You Better Play 7: Mutual versus Common Knowledge of Advice in a Weak-link Experiment

This paper presents the results of an experiment on mutual versus common knowl- edge of advice in a two-player weak-link game with random matching. Our experimen- tal subjects play in pairs for thirteen rounds. After a brief learning phase common to all treatments, we vary the knowledge levels associated with external advice given in the form of a suggestion to pick the strategy supporting the payoff-dominant equilib- rium. In the mutual knowledge of level 1 treatment, the suggestion appears on every subject's monitor at the beginning of every round, with no common knowledge that everybody sees the same suggestion. In the mutual knowledge of level 2 treatment, the same suggestion appears on each subject's monitor, accompanied by the request to "send" the suggestion to the partner in the round, followed by a notification that the message has been read. Finally, in the common knowledge treatment, the suggestion is read aloud by the experimenter at the end of the learning phase. Our results are somewhat surprising and can be summarized as follows: in all our treatments both the choice of the efficiency-inducing action and the percentage of efficient equilibrium play are higher with respect to the control treatment, revealing that even a condition as weak as mutual knowledge of level 1 is sufficient to significantly increase the salience of the efficient equilibrium with respect to the absence of advice. Furthermore, and contrary to our hypothesis, mutual knowledge of level 2 (as the one occurring in our "message" treatment) induces successful coordination more frequently than common knowledge.Coordination games; experimental philosophy; epistemic attitudes, weak-link game; conventions

You Better Play 7: Mutual versus Common Knowledge of Advice in a Weak-link Experiment

This paper presents the results of an experiment on mutual versus common knowl- edge of advice in a two-player weak-link game with random matching. Our experimen- tal subjects play in pairs for thirteen rounds. After a brief learning phase common to all treatments, we vary the knowledge levels associated with external advice given in the form of a suggestion to pick the strategy supporting the payo-dominant equilib- rium. In the mutual knowledge of level 1 treatment, the suggestion appears on every subject's monitor at the beginning of every round, with no common knowledge that everybody sees the same suggestion. In the mutual knowledge of level 2 treatment, the same suggestion appears on each subject's monitor, accompanied by the request to "send" the suggestion to the partner in the round, followed by a notication that the message has been read. Finally, in the common knowledge treatment, the suggestion is read aloud by the experimenter at the end of the learning phase. Our results are somewhat surprising and can be summarized as follows: in all our treatments both the choice of the efficiency-inducing action and the percentage of e cient equilibrium play are higher with respect to the control treatment, revealing that even a condition as weak as mutual knowledge of level 1 is sufficient to signicantly increase the salience of the e cient equilibrium with respect to the absence of advice. Furthermore, and contrary to our hypothesis, mutual knowledge of level 2 (as the one occurring in our "message" treatment) induces successful coordination more frequently than common knowledge.Coordination games; experimental philosophy; epistemic attitudes, weak-link game; conventions

Updating Data Semantics

This paper has three main goals. First, to motivate a puzzle about how ignorance-expressing terms like maybe and if interact: they iterate, and when they do they exhibit scopelessness. Second, to argue that there is an ambiguity in our theoretical toolbox, and that exposing that opens the door to a solution to the puzzle. And third, to explore the reach of that solution. Along the way, the paper highlights a number of pleasing properties of two elegant semantic theories, explores some meta-theoretic properties of dynamic notions of meaning, dips its toe into some hazardous waters, and offers characterization theorems for the space of meanings an indicative conditional can have