Argues for a failure of correspondence between perceptual representation and what it is like to perceive. If what it is like to perceive is grounded in perceptual representation, then, using considerations of veridical representation, we can show that inattentive peripheral perception is less representationally precise than attentive foveal perception. However, there is empirical evidence to the contrary. The conclusion is that perceptual representation cannot ground what it is like to perceive.

We define the notion of a model of higher-order modal logic in an arbitrary elementary topos E. In contrast to the well-known interpretation of higher-order logic, the type of propositions is not interpreted by the subobject classifier ΩE, but rather by a suitable complete Heyting algebra H. The canonical map relating H and ΩE both serves to interpret equality and provides a modal operator on H in the form of a comonad. Examples of such structures arise from surjective geometric morphisms (...) f : F → E, where H = f∗ΩF. The logic differs from non-modal higher-order logic in that the principles of functional and propositional extensionality are not longer valid but may be replaced by modalized versions. The usual Kripke, neighborhood, and sheaf semantics for propositional and first-order modal logic are subsumed by this notion. (shrink)

Visual thinking in mathematics is widespread; it also has diverse kinds and uses. Which of these uses is legitimate? What epistemic roles, if any, can visualization play in mathematics? These are the central philosophical questions in this area. In this introduction I aim to show that visual thinking does have epistemically significant uses. The discussion focuses mainly on visual thinking in proof and discovery and touches lightly on its role in understanding.

"Dogmatism" is a term renovated by James Pryor [2000] to stand for a certain kind of neo-Moorean response to Scepticism and an associated conception of the architecture of basic perceptual warrant. Pryor runs the response only for (some kinds of) perceptual knowledge but here I will be concerned with its general structure and potential as a possible global anti-sceptical strategy. Something like it is arguably also present in recent writings of Burge 1 and Peacocke.2 If the global strategy could succeed, (...) (...) it would pre-empt any role in the diagnosis and treatment of sceptical paradoxes for the kind of notion of entitlement (rational, non-evidential warrant) I have proposed elsewhere [Wright 2004]. But my overarching contention will be that Dogmatism is, generally and locally, too problematic a stance to be helpful in that project. (shrink)

Gödel's two incompleteness theorems are among the most important results in modern logic, and have deep implications for various issues. They concern the limits of provability in formal axiomatic theories. The first incompleteness theorem states that in any consistent formal system F within which a certain amount of arithmetic can be carried out, there are statements of the language of F which can neither be proved nor disproved in F. According to the second incompleteness theorem, such a formal system cannot (...) prove that the system itself is consistent (assuming it is indeed consistent). These results have had a great impact on the philosophy of mathematics and logic. There have been attempts to apply the results also in other areas of philosophy such as the philosophy of mind, but these attempted applications are more controversial. The present entry surveys the two incompleteness theorems and various issues surrounding them. (shrink)

According to the “knowability thesis,” every truth is knowable. Fitch’s paradox refutes the knowability thesis by showing that if we are not omniscient, then not only are some truths not known, but there are some truths that are not knowable. In this paper, I propose a weakening of the knowability thesis (which I call the “conjunctive knowability thesis”) to the e:ect that for every truth p there is a collection of truths such that (i) each of them is knowable and (...) (ii) their conjunction is equivalent to p. I show that the conjunctive knowability thesis avoids triviality arguments against it, and that it fares very di:erently depending on another thesis connecting knowledge and possibility. If there are two propositions, inconsistent with one another, but both knowable, then the conjunctive knowability thesis is trivially true. On the other hand, if knowability entails truth, the conjunctive knowability thesis is coherent, but only if the logic of possibility is weak. (shrink)

This paper considers the question of what knowing a logical rule consists in. I defend the view that knowing a logical rule is having propositional knowledge. Many philosophers reject this view and argue for the alternative view that knowing a logical rule is, at least at the fundamental level, having a disposition to infer according to it. To motivate this dispositionalist view, its defenders often appeal to Carroll’s regress argument in ‘What the Tortoise Said to Achilles’. I show that this (...) dispositionalist view, and the regress that supposedly motivates it, operate with the wrong picture of what is involved in knowing a logical rule. In particular I show that it gives us the wrong picture of the relation between knowing a logical rule and actions of inferring according to it, as well as of the way in which knowing a logical rule might be a priori. (shrink)

In this paper we isolate a notion that we call "formalism freeness" from Gödel's 1946 Princeton Bicentennial Lecture, which asks for a transfer of the Turing analysis of computability to the cases of definability and provability We suggest an implementation of Gödel's idea in the case of definability, via versions of the constructible hierarchy based on fragments of second order logic. We also trace the notion of formalism freeness in the very wide context of developments in mathematical logic in the (...) 20th century. (shrink)

A number of authors have noted that the key steps in Fitch’s argument are not intuitionistically valid, and some have proposed this as a reason for an anti-realist to accept intuitionistic logic (e.g. Williamson 1982, 1988). This line of reasoning rests upon two assumptions. The first is that the premises of Fitch’s argument make sense from an anti-realist point of view – and in particular, that an anti-realist can and should maintain the principle that all truths are knowable. The second (...) is that we have some independent reason for thinking that classical logic is not appropriate in this area. This paper explores these two assumptions in the context of Michael Dummett’s version of anti-realism, with particular reference to the argument from indefinite extensibility developed at various points in Dummett’s writings (e.g. Dummett 1991 Ch. 24). -/- Dummett argues that certain concepts, the indefinitely extensible concepts, are such that we cannot form a clear and determinate conception of all the objects that fall under them. The most familiar examples of indefinitely extensible concepts are mathematical. Dummett discusses the concepts ordinal number, real number, and natural number, which are indefinitely extensible because any conception that one might form of their complete extension can be extended to a more inclusive conception (as, for example, in Cantor’s proof of the non-denumerability of the set of real numbers). This paper argues that the concept of a truth is indefinitely extensible. This gives a Dummettian anti-realist an independent motivation for rejecting the classical understanding of the quantifiers in this area. At the same time, however, it places in doubt the admissibility of the knowability principle, which seems to involve quantification over the “totality” of truths. As Dummett is at pains to point out (1991: 316), some sentences that purport to quantify over the extension of an indefinitely extensible concept plainly have a truth-value (we can truly say, for example, that every ordinal number has a successor, even though when we say that we are not quantifying over the set of all ordinals). But is the knowability principle one of these sentences? (shrink)