This paper proposes a solution to David Miller's Minnesotan-Arizonan demonstration of the language dependence of truthlikeness (Miller 1974), along with Miller's first-order demonstration of the same (Miller 1978). It is assumed, with Peter Urbach, that the implication of these demonstrations is that the very notion of truthlikeness is intrinsically language dependent and thus non-objective. As such, truthlikeness cannot supply a basis for an objective account of scientific progress. I argue that, while Miller is correct in arguing that the number of (...) true atomic sentences of a false theory is language dependent, the number of known sentences (under certain straightforward assumptions) is conserved by translation; degree of knowledge, unlike truthlikeness, is thus a linguistically invariant notion. It is concluded that the objectivity of scientific progress must be grounded on the fact (noted in Cohen 1980) that knowledge, not mere truth, is the aim of science. (shrink)

The interest of epistemic comparative conditionals comes from the fact that they represent genuine ‘comparative epistemic relations’ between propositions, situations, evidences, abilities, interests, etc. This paper argues that various types of epistemic comparative conditionals uniformly represent comparative epistemic relations via the comparison of epistemic positions rather than the comparison of epistemic standards. This consequence is considered as a general constraint on a theory of knowledge attribution, and then further used to argue against the contextualist thesis that, in some cases, considering (...) a new counter- possibility can raise the epistemic standard of knowledge attribution. Instead, the paper shows that considering a new counter-possibility can only lower the epistemic position of a putative knower. Moreover, since the comparison, by the nature of conditionals, is free from any commitment to the truth-values of specific knowledge attributions, my conclusion is free from the debate between contextualism and invariantism on whether the truth-value of a knowledge attribution can actually vary with context. (shrink)

There is the idea that rational belief for a single individual can be constructed via a process of unilateral argument. To preempt antipathy between the AI communities that can claim the idea that rational belief can be so constructed, we trace the idea to the beginning of this century, to Keynes' dispute with Russell over logic and probability. We review how Keynesian ideas were revived in AI's work on non-monotonic reasoning and parallel developments in philosophical logic.

What are facts, situations, or events? When Situation Semantics was born in the eighties, I objected because I could not swallow the idea that situations might be chunks of information. For me, they had to be particulars like sticks or bricks. I could not imagine otherwise. The first manuscript of “An Investigation of the Lumps of Thought” that I submitted to Linguistics and Philosophy had a footnote where I distanced myself from all those who took possible situations to be units (...) of information. In that context and at that time, this meant Jon Barwise and John Perry. (shrink)

Harry Frankfurt has famously criticized the principle of alternate possibilities—the principle that an agent is morally responsible for performing some action only if able to have done otherwise than to perform it—on the grounds that it is possible for an agent to be morally responsible for performing an action that is inevitable for the agent when the reasons for which the agent lacks alternate possibilities are not the reasons for which the agent has acted. I argue that an incompatibilist about (...) determinism and moral responsibility can safely ignore so-called “Frakfurt-style cases ” and continue to argue for incompatibilism on the grounds that determinism rules out the ability to do otherwise. My argument relies on a simple—indeed, simplistic—weakening of the principle of alternate possibilities that is explicitly designed to be immune to Frankfurt -style criticism. This alternative to the principle of alternate possibilities is so simplistic that it will no doubt strike many readers as philosophically fallow. I argue that it is not. I argue that the addition of one highly plausible premise allows for the modified principle to be employed in an argument for incompatibilism that begins with the observation that determinism rules out the ability to do otherwise. On the merits of this argument I conclude that deterministic moral responsibility is impossible and that Frankfurt ’s criticism of the principle of alternate possibilities—even if successful to that end—may be safely ignored. (shrink)

What''s computation? The received answer is that computation is a computer at work, and a computer at work is that which can be modelled as a Turing machine at work. Unfortunately, as John Searle has recently argued, and as others have agreed, the received answer appears to imply that AI and Cog Sci are a royal waste of time. The argument here is alarmingly simple: AI and Cog Sci (of the Strong sort, anyway) are committed to the view that cognition (...) is computation (or brains are computers); butall processes are computations (orall physical things are computers); so AI and Cog Sci are positively silly.I refute this argument herein, in part by defining the locutions x is a computer and c is a computation in a way that blocks Searle''s argument but exploits the hard-to-deny link between What''s Computation? and the theory of computation. However, I also provide, at the end of this essay, an argument which, it seems to me, implies not that AI and Cog Sci are silly, but that they''re based on a form of computation that is well beneath human persons. (shrink)

There is a great divide between two approaches to epistemology over the past thirty to forty years. Some label the divide that between internalists and externalists, and that characterization may be accurate on some account of the distinction. I will pursue the divide from a different direction, in part because the literature on the distinction between internalism and externalism has become a mess, and I don’t want to clean up the mess here.

The Meno problem, asking for the surplus value of knowledge beyond the value of true justified belief, was recently much treated within reliabilist and virtue epistemologies. The answers from formal epistemology, by contrast, are quite poor. This paper attempts to improve the score of formal epistemology by precisely explicating Timothy Williamson's suggestion that ‘present knowledge is less vulnerable than mere present true belief to rational undermining by future evidence’. It does so by combining Nozick's sensitivity analysis of knowledge with Spohn's (...) fact‐asserting epistemic interpretation of conditionals. Accordingly, the surplus value of knowledge lies in a specific kind of stability of knowledge, which differs, though, from that claimed by other so‐called stability analyses of knowledge. (shrink)

In this paper, I develop a serious new dilemma involving necessary truths for safety-based theories of knowledge, a dilemma that I argue safety theorists cannot resolve or avoid by relativizing safety to either the subject’s basis or method of belief formation in close worlds or to a set of related or sufficiently similar propositions. I develop this dilemma primarily in conversation with Duncan Pritchard’s well-known, oft-modeled safety-based theories of knowledge. I show that Pritchard’s well-regarded anti-luck virtue theory of knowledge and (...) his recently proposed (allegedly superior) anti-risk virtue theory of knowledge clearly succumb to the dilemma, and so they are inadequate as they stand. If Pritchard’s safety-based theories of knowledge are shown to be inadequate by the dilemma that is developed in this paper, then a number of other safety-based theories of knowledge (e.g., Beddor and Pavese’s, Luper’s, Dutant’s, early Pritchard’s, and others) look to be in jeopardy in this connection as well. (shrink)

Integrative experiment design should be extended to thought-experiments. Thought-experiments are closely connected to “real” experiments. They are involved in devising the design space of theories and possible experiments. The latter may be partitioned into experiments to be really performed and mere thought-experiments. The proposed extension of integrative experiment design lends guidance to a more methodical performance of thought-experiments.