I develop a non-representationalist account of mathematical thought, on which the point of mathematical theorizing is to provide us with the conceptual capacity to structure and articulate information about the physical world in an epistemically useful way. On my view, accepting a mathematical theory is not a matter of having a belief about some subject matter; it is rather a matter of structuring logical space, in a sense to be made precise. This provides an elegant account of the cognitive utility (...) of mathematics. Further, it makes explicit how the brand of non-representationalism I develop is compatible with there being substantive rationality constraints on our mathematical theorizing. (shrink)

Logicism is, roughly speaking, the doctrine that mathematics is fancy logic. So getting clear about the nature of logic is a necessary step in an assessment of logicism. Logic is the study of logical concepts, how they are expressed in languages, their semantic values, and the relationships between these things and the rest of our concepts, linguistic expressions, and their semantic values. A logical concept is what can be expressed by a logical constant in a language. So the question “What (...) is logic?” drives us to the question “What is a logical constant?” Though what follows contains some argument, limitations of space constrain me in large part to express my Credo on this topic with the broad brush of bold assertion and some promissory gestures. (shrink)

A significant argument for the claim that knowing-wh is knowing-that, implicit in much of the literature, including Stanley and Williamson (2001), is spelt out and challenged. The argument includes the assumption that a subject's state of knowing-wh is constituted by their involvement in a relation with an answer to a question. And it involves the assumption that answers to questions are propositions or facts. One of Lawrence Powers' counterexamples to the conjunction of these two assumptions is developed, responses to it (...) are rebutted, and the possibility of rejecting the second rather than the first of these assumptions is explored briefly. (shrink)

This compilation of references includes all references for the knowledge-how chapters included in Bengson & Moffett's edited volume. The volume and the compilation of references may serve as a good starting point for people who are unfamiliar with the philosophical literature on knowledge-how.

Choices confront us with questions. How we act depends on our answers to those questions. So the way our beliefs guide our choices is not just a function of their informational content, but also depends systematically on the questions those beliefs address. This paper gives a precise account of the interplay between choices, questions and beliefs, and harnesses this account to obtain a principled approach to the problem of deduction. The result is a novel theory of belief-guided action that explains (...) and predicts the decisions of agents who, like ourselves, fail to be logically omniscient: that is, of agents whose beliefs may not be deductively closed, or even consistent. (Winner of the 2021 Isaac Levi Prize.). (shrink)

It would be good to have a Bayesian decision theory that assesses our decisions and thinking according to everyday standards of rationality — standards that do not require logical omniscience (Garber 1983, Hacking 1967). To that end we develop a “fragmented” decision theory in which a single state of mind is represented by a family of credence functions, each associated with a distinct choice condition (Lewis 1982, Stalnaker 1984). The theory imposes a local coherence assumption guaranteeing that as an agent's (...) attention shifts, successive batches of "obvious" logical information become available to her. A rule of expected utility maximization can then be applied to the decision of what to attend to next during a train of thought. On the resulting theory, rationality requires ordinary agents to be logically competent and to often engage in trains of thought that increase the unification of their states of mind. But rationality does not require ordinary agents to be logically omniscient. (shrink)

There is a problem about belief and knowledge in Plato's epistemology that has exercised serious students of Plato only to settle into a recent orthodoxy. Guthrie characterizes the problem and its current resolution this way: ‘In the Meno doxa appeared to be a dim apprehension of the same objects of which knowledge is a clear and complete understanding … in the Republic each is directed to different objects, knowledge to the Forms and doxa to the sensible world alone … at (...) least the opinion seems now to prevail that on the relationship between doxa and knowledge Meno and Republic are irreconcilable, and exhibit a complete change of mind on Plato's part.'. (shrink)

Epistemic minimalism affirms that mere true belief is sufficient for propositional knowledge. I construct a taxonomy of some specific forms of minimalism and locate within that taxonomy the distinct positions of various advocates of minimalism, including Alvin Goldman, Jaakko Hintikka, Crispin Sartwell, Wolfgang Lenzen, Franz von Kutschera, and others. I weigh generic minimalism against William Lycan’s objection that minimalism is incompatible with plausible principles about relations between knowledge, belief, and confidence. I argue that Lycan’s objection fails for equivocation but that (...) some specific forms of minimalism are better able than others to articulate that defense. (shrink)

This paper explores speakers'' epistemic access to the semanticand syntactic features of sentences of their language. I argue that there is evidence that ceteris paribus, the actual semantic features of sentences of a language are accessible as such by typical speakers of that language.I then explore various linguistic, cognitive, and epistemic consequences of this position.

Konolige''s technical notion of belief based on deduction structures is briefly reviewed and its usefulness for the design of artificial agents with limited representational and deductive capacities is pointed out. The design of artificial agents with more sophisticated representational and deductive capacities is then taken into account. Extended representational capacities require in the first place a solution to the intensional context problems. As an alternative to Konolige''s modal first-order language, an approach based on type-free property theory is proposed. It considers (...) often neglected issues, such as the need for a more general account of thede dicto-de re distinction, and quasi-indicators. Extended deductive capacities require a subdivision of Konolige''s notion of belief into two distinct technical notions,potential anddispositional belief. The former has to do with what an artificial agent could in principle come to actively believe, given enough time and its specific logical competence; the latter with what an agent can be assumed to believe with respect to a specific goal to be fulfilled. (shrink)

Ivan Boh affirms and Robert Pasnau denies that William Heytesbury holds merely true belief to be sufficient for knowledge in the broad sense. I argue that Boh is correct and Pasnau is mistaken, and that there is a long-running orthodox medieval tradition agreeing with Heytesbury about the conditions for knowledge. I offer a hypothesis about the origins, continuance and demise of that medieval tradition, and some remarks about the tradition's significance.

In the wake of Frege's attack on psychologism and the subsequent influence of Logical Positivism, psychological considerations in philosophy came to be viewed with suspicion. Philosophical questions, especially epistemological ones, were viewed as 'logical' questions, and logic was sharply separated from psychology. Various efforts have been made of late to reconnect epistemology with psychology. But there is little agreement about how such connections should be made, and doubts about the place of psychology within epistemology are still much in evidence. It (...) therefore remains to be clarified just how such links should be established, and what impact they would have on the direction of epistemology. (shrink)