Consider the following three claims. (i) There are no truths of the form ‘p and ~p’. (ii) No one holds a belief of the form ‘p and ~p’. (iii) No one holds any pairs of beliefs of the form {p, ~p}. Irad Kimhi has recently argued, in effect, that each of these claims holds and holds with metaphysical necessity. Furthermore, he maintains that they are ultimately not distinct claims at all, but the same claim formulated in different ways. I find (...) his argument suggestive, if not entirely transparent. I do think there is at least an important kernel of truth even in (iii), and that (i) ultimately explains what’s right about the other two. Consciousness of an impossibility makes belief in the obtaining of the corresponding state of affairs an impossibility. Interestingly, an appreciation of this fact brings into view a novel conception of inference, according to which it consists in the consciousness of necessity. This essay outlines and defends this position. A central element of the defense is that it reveals how reasoners satisfy what Paul Boghossian calls the Taking Condition and do so without engendering regress. (shrink)

This paper attempts to take a new look at the famous Lewis Carroll paradox about Achilles and the Tortoise. It examines in particular the connections between Lewis Carroll's regress argument for logical inferences and a similar regress for practical inferences. The Tortoise's point of view is espoused: no norm of reasoning or of conduct can in itself “make the mind move,” only the brute force of belief can. This conclusion is a Humean one. But it does not imply that we (...) renounce altogether the normative force of such principles of reasoning as modus ponens. Connexions with the Wittgensteinian rule-following problem are indicated. (shrink)

Simon Evnine examines various epistemic aspects of what it is to be a person. Persons are defined as finite beings that have beliefs, including second-order beliefs about their own and others' beliefs, and are agents, capable of making long-term plans. It is argued that for any being meeting these conditions, a number of epistemic consequences obtain. First, all such beings must have certain logical concepts and be able to use them in certain ways. Secondly, there are at least two principles (...) governing belief that it is rational for persons to satisfy and are such that nothing can be a person at all unless it satisfies them to a large extent. These principles are that one believe the conjunction of one's beliefs and that one treat one's future beliefs as, by and large, better than one's current beliefs. Thirdly, persons both occupy epistemic points of view on the world and show up within those views. This makes it impossible for them to be completely objective about their own beliefs. Ideals of rationality that require such objectivity, while not necessarily wrong, are intrinsically problematic for persons. This "aspectual dualism" is characteristic of treatments of persons in the Kantian tradition. In sum, these epistemic consequences support a traditional view of the nature of persons, one in opposition to much recent theorizing. (shrink)

This book contains a selection of the papers presented at the Logic, Reasoning and Rationality 2010 conference in Ghent. The conference aimed at stimulating the use of formal frameworks to explicate concrete cases of human reasoning, and conversely, to challenge scholars in formal studies by presenting them with interesting new cases of actual reasoning. According to the members of the Wiener Kreis, there was a strong connection between logic, reasoning, and rationality and that human reasoning is rational in so far (...) as it is based on logic. Later, this belief came under attack and logic was deemed inadequate to explicate actual cases of human reasoning. Today, there is a growing interest in reconnecting logic, reasoning and rationality. A central motor for this change was the development of non-classical logics and non-classical formal frameworks. The book contains contributions in various non-classical formal frameworks, case studies that enhance our apprehension of concrete reasoning patterns, and studies of the philosophical implications for our understanding of the notions of rationality. (shrink)

Inference is a process by which appropriate belief states get connected. Belief states are biological states in the sense that they are reentrant loops ; their intrinsic feature is recognition. In inference or reasoning the transition process between belief states is regulated by the rule of concept usage, involved in the belief state, in natural language. Like belief states experiential states are also biological states whose extrinsic feature is recognition, such that, one can have an, say, X-type experience without recognizing (...) it as an experience of X. One can, however, also have an experience of an X; in the latter case, one not only has an X-type experience but also recognizes an X as an X. In some cases the transition from X-type experience to believing an X to be there instantiates a quasi-inferential pattern. In all such cases the transition process is regulated by the rule of X usage. In such quasi-inferential transition additional belief states are involved. Such states assert that there are no countervailing factors and there are additional factors conducive to the conclusion. Such belief states are expressed non-propositionally in the language of thought. Propositions are a necessary part of such quasi-inference for they give content to thoughts to which one can assign 'falsity' and defeasible reasoning requires us to assign 'falsity' to our thoughts. Propositions implicated in the quasi-inferences from experience types to belief states are the evidential reasons for the conclusion and they can only be accepted as provisionally true and have to be revised in the light of further information. (shrink)

In Grundgesetze der Arithmetik, Frege tried to show that arithmetic is logical by giving gap-free proofs from what he took to be purely logical basic laws. But how do we come to judge these laws as true, and to recognize them as logical? The answer must involve giving an account of the apparent arguments Frege provides for his axioms. Following Sanford Shieh, I take these apparent arguments to instead be exhibitions: the exercise of a logical capacity in order to bring (...) us into a state of judgement. I provide an account of what sort of inferential capacities are at play in such exhibitions, and explain how they lead us to judge that Frege’s primitive laws are general and undeniable. I will also situate my account with respect to other rival interpretations, particularly the elucidatory interpretations of Joan Weiner and Thomas Ricketts. (shrink)

Rationality requires us to have certain propositional attitudes (beliefs, intentions, etc.) given certain other attitudes that we have. Carroll’s Tortoise repeatedly shows up in this discussion. Following up on Brunero (Ethical Theory Moral Pract 8:557–569, 2005), I ask what Carroll-style considerations actually prove. This paper rejects two existing suggestions, and defends a third.

This book on infinite regress arguments provides (i) an up-to-date overview of the literature on the topic, (ii) ready-to-use insights for all domains of philosophy, and (iii) two case studies to illustrate these insights in some detail. Infinite regress arguments play an important role in all domains of philosophy. There are infinite regresses of reasons, obligations, rules, and disputes, and all are supposed to have their own moral. Yet most of them are involved in controversy. Hence the question is: what (...) exactly is an infinite regress argument, and when is such an argument a good one? (shrink)

Even if you believe just what you rationally ought to believe, you may be open to rational criticism if you do so ‘for the wrong reasons’, as we say. Some have thought that this familiar observation supports the idea that there are diachronic norms of epistemic rationality – namely, norms of good reasoning. Partly drawing upon Carroll's story of Achilles and the Tortoise, this article criticises this line of thought on the grounds that it rests on a mistaken conception of (...) inference. (shrink)

SummarySurely, we think, in some cases it is determinate which rules we follow . But what in the world could determine a rule for us in any case? First 1 consider five common, perfectly natural, but utterly inadequate sorts of answer to this question. Then I consider an account which would avoid the usual inadequacies but would leave rules radically indeterminate, a position which is utterly counter‐intuitive. Thus painted into a corner, I then step out with a prima facie queer, (...) but adequate and ultimately not terribly counter‐intuitive, solution to the puzzle: a sort of picture‐theory of understanding rules . Finally 1 show that the picture‐theory undermines the sorts of anti‐realism which would, if they were valid, undermine the picture‐theory.RésuméNous pensons que, dans certains cas, les règies que nous suivons sont sûrement déterminées. Mais qu'est‐ce au monde qui pourrait déterminer pour nous une règie dans tous les cas? Je considère d'abord cinq réponses communes à cette question, réponses très naturelles, mais absolument inadéquates. Ensuite, j'examine une réponse qui serait plus adéquate, mais laisserait les règies radicalement indéterminées, ce qui est très contraire a l'intuition. Je propose alors une solution qui paraît au premier abord saugrenue, mais qui est adéquate et pas tellement contraire à l'intuition: une sorte de theorie des images pour comprendre les régies . Finalement, je montre que cette théorie des images désarme les types d'antiréalisme qui, s'ils étaient valables, s'opposeraient à cette théorie des images.ZusammenfassungWir denken, dass in einigen Fällen bestimmt ist, wetche Regeln wir befolgen . Was aber in der Welt könnte eine Regel in einem beliebigen Fall bestimmen? Ich betrachte zunächst fünf gewöhnliche durch‐aus natürliche, aber völlig inadäquate Arten von Antworten auf diese Frage. Dann betrachte ich eine Behandlung , die die üblichen Mängel vermeidet, die jedoch Regeln radikal unbestimmt lässt, was unserer Intuition zuwiderläuft. So in die Enge getrieben suche ich einen Ausweg in einer Lösung, die prima facie zwar befremdlich erscheinen mag, die aber adäquat ist und nicht stark gegen die Intuition verstösst: eine Art von Bildtheorie des Verstehens von Regeln . Schliesslich weise ich nach, dass die Bildtheorie die Arten von Antirealismus unterminiert, die die Bildtheorie zerstören würden, wenn sie güitig waren. (shrink)

I show that in our theoretical representations of argument, vicious infinite regresses of self-reference may arise with respect to each of the three usual, informal criteria of argument cogency: the premises are to be relevant, sufficient, and acceptable. They arise needlessly, by confusing a cogency criterion with argument content. The three types of regress all are structurally similar to Lewis Carroll’s famous regress, which involves quantitative extravagance with no explanatory power. Most attention is devoted to the sufficiency criterion, including its (...) relation to the view au courant that inferring necessarily involves the thinker taking her premises to support her conclusion. I contend that this view is mistaken and likewise that arguments make no such assumption or inference claim as that the premises support the conclusion. The core of the positive alternative model I propose is that there is commitment to, but not claiming, the proposition that the premises support the conclusion. (shrink)

This essay argues that the main lesson of Lewis Carroll's Regress is that arguments are constitutively presuppositional.

In this essay, I provide a new argument for Intellectualism about knowing how, one that does not rest on controversial assumptions about how knowing how is ascribed in English. In particular, I argue that the distinctive intentionality of the manifestations of knowing how ought to be explained in terms of a propositional attitude of belief about how to perform an action.

What does it take to be prejudiced against a particular group? And is prejudice always epistemically problematic, or are there epistemically innocent forms of prejudice? In this paper, I argue that certain important forms of prejudice can be wholly constituted by the differential accessibility of certain pieces of information. These accessibility relations constitute a salience structure. A subject is prejudiced against a particular group when their salience structure is unduly organised around that category. This is significant because it reveals that (...) prejudice does not require the presence of any explicit cognitive or emotive attitude, nor need it manifest in behaviour: it can be solely constituted by the organisation of information, where that information may be accurate and well-founded. Nonetheless, by giving an account of ‘undue organisation’ in epistemic terms, I show that this account is compatible with an understanding of prejudice as a negatively valenced epistemic category. (shrink)

The infinite regress of Carroll’s ‘What the Tortoise said to Achilles’ is interpreted as a problem in the epistemology of mathematical proof. An approach to the problem that is both diagrammatic and non-logical is presented with respect to a specific inference of elementary geometry.

In this paper, I sketch a new model for the format of the content of understanding states, Compressible Graph Maximalism (CGM). In this model, the format of the content of understanding is graphical, and compressible. It thus combines ideas from approaches that stress the link between understanding and holistic structure (like as reported by Grimm (in: Ammon SGCBS (ed) Explaining Understanding: New Essays in Epistemollogy and the Philosophy of Science, Routledge, New York, 2016)), and approaches that emphasize the connection between (...) understanding and compression (like Wilkenfeld (Synthese 190(6):997–1016, 2018)). I argue that the combination of these ideas has several attractive features, and I defend the idea against some challenges. (shrink)

In making assertions one takes on commitments to the consistency of what one asserts and to the logical consequences of what one asserts. Although there is no quick link between belief and assertion, the dialectical requirements on assertion feed back into normative constraints on those beliefs that constitute one's evidence. But if we are not certain of many of our beliefs and that uncertainty is modelled in terms of probabilities, then there is at least prima facie incoherence between the normative (...) constraints on belief and the probability-like structure of degrees of belief. I suggest that the norm-governed practice relating to degrees of belief is the evaluation of betting odds. (shrink)

The paper argues that there is such a thing as luck in acquisition of candidate a priori beliefs and knowledge, and that the possibility of luck in this “armchair” domain shows that definitions of believing by luck that p offered in literature are inadequate, since they mostly rely on the possibility of it being the case that not- p. When p is necessary, such a definition should be supplemented by one pointing to variation in belief, not in the fact believed. (...) Thus the paper suggests a focus upon the agent and her epistemic virtue in the account of epistemic luck in general. (shrink)

It has been common wisdom for centuries that scientific inference cannot be deductive; if it is inference at all, it must be a distinctive kind of inductive inference. According to demonstrative theories of induction, however, important scientific inferences are not inductive in the sense of requiring ampliative inference rules at all. Rather, they are deductive inferences with sufficiently strong premises. General considerations about inferences suffice to show that there is no difference in justification between an inference construed demonstratively or ampliatively. (...) The inductive risk may be shouldered by premises or rules, but it cannot be shirked. Demonstrative theories of induction might, nevertheless, better describe scientific practice. And there may be good methodological reasons for constructing our inferences one way rather than the other. By exploring the limits of these possible advantages, I argue that scientific inference is neither of essence deductive nor of essence inductive. (shrink)

Charles Peirce's diagrammatic logic — the Existential Graphs — is presented as a tool for illuminating how we know necessity, in answer to Benacerraf's famous challenge that most ‘semantics for mathematics’ do not ‘fit an acceptable epistemology’. It is suggested that necessary reasoning is in essence a recognition that a certain structure has the particular structure that it has. This means that, contra Hume and his contemporary heirs, necessity is observable. One just needs to pay attention, not merely to individual (...) things but to how those things are related in larger structures, certain aspects of which relations force certain other aspects to be a certain way. (shrink)

Plausibly, an inference is an act of coming to believe something on the basis of something else you already believe. But what is it to come to believe some- thing on the basis of something else? I propose a disjunctive answer: it is either for some beliefs to rationally cause another—where rational causation is understood as causation that is either actually or potentially productive of knowledge—or for some beliefs to “deviantly” cause another, but for the believer mistakenly to come thereby (...) to believe that the former have rationally caused the latter. The result, I argue, is both a theoretically satisfying account of the act of inferring and a demonstration of the power of a knowledge-first approach to the philosophy of mind. (shrink)

Understanding has received growing interest from epistemologists in recent years, but no consensus regarding its epistemic properties has yet been reached. This paper extracts, but also rejects, candidates of epistemic properties for construing an epistemological model of understanding from the writings of epistemologists participating in the current discussion surrounding that state. On the basis of these results, a suggestion is put forward according to which understanding is a non-basic epistemic state of warrant rather than knowledge. It is argued that this (...) move provides a satisfactory conciliatory answer to the central question whether understanding is a factive epistemic state. Some differences between understanding and knowledge are recorded along the way: for instance, that in contrast to knowledge, understanding does not require belief and that, even though neither knowledge nor understanding iterates, so that a subject can both know without knowing that she knows, as well as understanding without understanding that she understands, the reasons for the failure is different. (shrink)

While we can judge and believe things by merely accepting testimony, we cannot make inferences by merely accepting testimony. A good theory of inference should explain this. The theories that are best suited to explain this fact seem to be theories that accept a so-called intuitional construal of Boghossian’s Taking Condition.

The paper argues for a version of the Guise of the Good thesis, namely the claim that if someone acts as the result of practical reasoning, then she takes her premises to jointly provide a sufficient and undefeated reason for her action. I argue for this by showing, first, that it is an application of Boghossian's Taking Condition on inference to practical reasoning and, second, that the motivations for the Taking Condition for theoretical reasoning carry over to practical reasoning. I (...) end by arguing that this version of the Guise of the Good withstands standard objections. (shrink)

The paper offers an account of inference. The account underwrites the idea that inference requires that the reasoner takes her premises to support her conclusion. I reject views according to which such ‘takings’ are intuitions or beliefs. I sketch an alternative view on which inferring consists in attaching what I call ‘inferential force’ to a structured collection of contents.

Understanding enjoys a special kind of value, one not held by lesser epistemic states such as knowledge and true belief. I explain the value of understanding via a seemingly unrelated topic, the implausibility of veritism. Veritism holds that true belief is the sole ultimate epistemic good and all other epistemic goods derive their value from the epistemic value of true belief. Veritism entails that if you have a true belief that p, you have all the epistemic good qua p. Veritism (...) is a plausible and widely held view; I argue that it is untenable. I argue that integration among beliefs possesses epistemic value independent from the good of true belief, and so has value veritism cannot account for. I argue further that this integration among beliefs comprises the distinctive epistemic value of understanding. (shrink)

I argue for the thesis (UL) that there are certain logical abilities that any rational creature must have. Opposition to UL comes from naturalized epistemologists who hold that it is a purely empirical question which logical abilities a rational creature has. I provide arguments that any creatures meeting certain conditions—plausible necessary conditions on rationality—must have certain specific logical concepts and be able to use them in certain specific ways. For example, I argue that any creature able to grasp theories must (...) have a concept of conjunction subject to the usual introduction and elimination rules. I also deal with disjunction, conditionality and negation. Finally, I put UL to work in showing how it could be used to define a notion of logical obviousness that would be well suited to certain contexts—e.g. radical translation and epistemic logic—in which a concept of obviousness is often invoked. (shrink)

Simon Blackburn has shown that there is an analogy between the problem of moral motivation in ethics (how can moral reasons move us?) and the problem of what we might call the power of logical reasons (how can logical reasons move us, what is the force of the 'logical must?'). In this paper, I explore further the parallel between the internalism problem in ethics and the problem of the power of logical reasons, and defend a version of psychologism about reasons, (...) although not one of the Humean form. I discuss two forms of cognitivism: (i) a pure cognitivism and 'hard' realism modelled after Dancy's parallel conception in ethics: when we grasp logical reasons we grasp facts, which are directly known to us; (ii) a Kantian form of cognitivism, based on the idea that compulsion by reason goes with the capacity of reflection. I argue that (i) is implausible, and that (ii) fails to meet the internalist requirement. One would then seem to be left with what Dancy calls, about practical reasoning, psychologism about reasons. I sketch what might be such a psychologism. But it fails to account for the objectivity of logical reasons. I argue that the relevant state here is a form of dispositional knowledge of logical reasons. (shrink)

There is an idea, going back to Aristotle, that reasons for action can be understood on a parallel with reasons for belief. Not surprisingly, the idea has almost always led to some form of inferentialism about reasons for action. In this paper I argue that reasons for action can be understood on a parallel with reasons for belief, but that this requires abandoning inferentialism about reasons for action. This result will be thought paradoxical. It is generally assumed that if there (...) is to be a useful parallel, there must be some such thing as a practical inference. As we shall see, that assumption tends to block the fruitful exploration of the real parallel. On the view I shall defend, the practical analogue of an ordinary inference is not an inference, but something I shall call a practical step. Nevertheless, the practical step will do, for a theory of reasons for action, what ordinary inference does for an inferentialist theory of reasons for belief. The result is a general characterization of reasons, practical and theoretical, in terms of the correctness conditions of the relevant sorts of step. (shrink)

A philosophically important but largely overlooked cognitive theory is examined, one that provides information on which inferences an agent will make from his beliefs. Such a theory of feasible inferences is indispensable in a complete cognitive psychology, in particular, for predicting the agent's actions on the basis of rationality conditions and attributed beliefs and desires. However, very little of the feasibility theory which applies to a typical human being can be shown a priori to apply to all agents. The logical (...) competence required of a rational agent seems to have a cluster structure: it cannot be the case that an agent is able to make no inferences, but an agent can be unable to make any particular one. (shrink)

A surge of empirical research demonstrating flexible cognition in animals and young infants has raised interest in the possibility of rational decision-making in the absence of language. A venerable position, which I here call “Classical Inferentialism”, holds that nonlinguistic agents are incapable of rational inferences. Against this position, I defend a model of nonlinguistic inferences that shows how they could be practically rational. This model vindicates the Lockean idea that we can intuitively grasp rational connections between thoughts by developing the (...) Davidsonian idea that practical inferences are at bottom categorization judgments. From this perspective, we can see how similarity-based categorization processes widely studied in human and animal psychology might count as practically rational. The solution involves a novel hybrid of internalism and externalism: intuitive inferences are psychologically rational (in the explanatory sense) given the intensional sensitivity of the similarity assessment to the internal structure of the agent's reasons for acting, but epistemically rational (in the justificatory sense) given an ecological fit between the features matched by that assessment and the structure of the agent's environment. The essay concludes by exploring empirical results that show how nonlinguistic agents can be sensitive to these similarity assessments in a way that grants them control over their opaque judgments. (shrink)

A surge of empirical research demonstrating flexible cognition in animals and young infants has raised interest in the possibility of rational decision‐making in the absence of language. A venerable position, which I here call “Classical Inferentialism”, holds that nonlinguistic agents are incapable of rational inferences. Against this position, I defend a model of nonlinguistic inferences that shows how they could be practically rational. This model vindicates the Lockean idea that we can intuitively grasp rational connections between thoughts by developing the (...) Davidsonian idea that practical inferences are at bottom categorization judgments. From this perspective, we can see how similarity‐based categorization processes widely studied in human and animal psychology might count as practically rational. The solution involves a novel hybrid of internalism and externalism: intuitive inferences are psychologically rational (in the explanatory sense) given the intensional sensitivity of the similarity assessment to the internal structure of the agent's reasons for acting, but epistemically rational (in the justificatory sense) given an ecological fit between the features matched by that assessment and the structure of the agent's environment. The essay concludes by exploring empirical results that show how nonlinguistic agents can be sensitive to these similarity assessments in a way that grants them control over their opaque judgments. (shrink)

Some philosophers have tried to establish a connection between the normativity of instrumental rationality and the paradox presented by Lewis Carroll in his 1895 paper “What the Tortoise Said to Achilles.” I here examine and argue against accounts of this connection presented by Peter Railton and James Dreier before presenting my own account and discussing its implications for instrumentalism (the view that all there is to practical rationality is instrumental rationality). In my view, the potential for a Carroll-style regress just (...) shows us that since instrumental rationality involves a higher-order commitment to combine our willing an end with our taking the necessary means, it therefore cannot, on pain of regress, itself be added as a conjunct to one of the elements to be combined. This view does not support instrumentalism. (shrink)

John Cook Wilson (1849–1915) was Wykeham Professor of Logic at New College, Oxford and the founder of ‘Oxford Realism’, a philosophical movement that flourished at Oxford during the first decades of the 20th century. Although trained as a classicist and a mathematician, his most important contribution was to the theory of knowledge, where he argued that knowledge is factive and not definable in terms of belief, and he criticized ‘hybrid’ and ‘externalist’ accounts. He also argued for direct realism in perception, (...) criticizing both empiricism and idealism, and argued for a moderate nominalist view of universals as being in rebus and only ‘apprehended’ by their particulars. His influence helped swaying Oxford away from idealism and, through figures such as H. A. Prichard, Gilbert Ryle, or J. L. Austin, his ideas were also to some extent at the origin of ‘moral intuitionism’ and ‘ordinary language philosophy’ which defined much of Oxford philosophy until the second half of the twentieth-century. Nevertheless, his name and legacy were all but forgotten for generations after World War II. Still, his views on knowledge are with us today, being in part at work in the writings of philosophers as diverse as John McDowell, Charles Travis, and Timothy Williamson. (shrink)

This dissertation articulates our human capacity to judge as a capacity for knowledge, specifically for empirical knowledge, and for knowledge of itself as such. I interpret and draw on the account of such knowledge presented by Kant’s Critique of Pure Reason, situate this account historically, and relate it to relevant contemporary debates. The first chapter motivates my project by assessing the insights and shortcomings of Cartesian epistemology. I argue that while Descartes draws on the essential self-consciousness of judgement to show (...) that the cogito is knowledge, he fails, by his own standards, to secure this status for any judgement beyond the cogito. I conclude that self-consciousness alone is empty, but that, since we can judge beyond the cogito, judgement can be given content from elsewhere. The next chapter evaluates the empiricist doctrine that operations of the senses by themselves give content to judgement and can vindicate it as empirical knowledge. I contend that Kant deepens Hume’s finding, that empiricism fails to enable us to explain empirical knowledge, into the more radical insight that empiricism fails to enable us to understand the senses as providing any content. I conclude that the senses alone are blind and that our account of empirical knowledge must privilege neither sensory givenness nor intellectual self-consciousness. The third chapter contrasts two readings of Kant on the cooperation between sensibility and understanding in empirical knowledge. I argue, against many Kantians, that the Transcendental Deduction shows that instead of understanding this cooperation compositionally – so that operations of sensibility are intelligible independently of acts of the understanding – we must conceive of it hylomorphically – so that the operations of sensibility and understanding constitute the mutually dependent matter and form of empirical knowing respectively. The final chapter substantiates this hylomorphism by explicating the form of knowledge as synthesis. Following Kant, I argue that inference is a species of synthesis and provide a synthetic explanation of inference. The resulting account simultaneously illustrates synthesis, addresses a prominent contemporary problem regarding the nature of inference, and explains how our capacity to know provides not just isolated glimpses of empirical reality, but a unified conception of it. (shrink)

Wittgenstein’s Tractatus construes the nature of reasoning in a manner which sharply conflicts with the conventional wisdom that logic is normative, not descriptive of thought. For although we sometimes seem to reason incorrectly, Wittgenstein denies that we can make logical mistakes (5.473). My aim in this paper is to show that the Tractatus provides us with good reasons to rethink some of the central assumptions that are standardly made in thinking about the relation between logic and thought. In particular, the (...) rejection of logical mistakes is to be understood in connection with Wittgenstein’s non-psychological approach to the thinking subject (5.641). On Wittgenstein's view, inference, understanding, and meaning are holistically related; cases of defective reasoning are to be explained in terms of a defective grasp of meaning which manifests in an indeterminate use of signs. Invalid reasoning therefore does not count for Wittgenstein as a species of reasoning, but rather as the mere illusion of reasoning. The rejection of logical mistakes thus gives voice to a radical disjunctivist approach. (shrink)

Philosophical debates on how to account for the progress of science have traditionally divided along the realism-anti-realism axis. Relatively recent developments in epistemology, however, have opened up a new knowledge-understanding axis to the debate. This chapter presents a novel understanding-based account of scientific progress that takes its motivation from problem-solving practices in science. Problem-solving is characterized as a means of measuring degree of understanding, which is argued to be the principal epistemic (or cognitive) aim of science, over and against knowledge. (...) This account is then defended against knowledge reductionism by showing how each plays an important and distinctive role in science. (shrink)

This thesis brings together two concerns. The first is the nature of inference—what it is to infer—where inference is understood as a distinctive kind of conscious and self-conscious occurrence. The second concern is the possibility of doxastic agency. To be capable of doxastic agency is to be such that one is capable of directly exercising agency over one’s beliefs. It is to be capable of exercising agency over one’s beliefs in a way which does not amount to mere self-manipulation. Subjects (...) who can exercise doxastic agency can settle questions for themselves. A challenge to the possibility of doxastic agency stems from the fact that we cannot believe or come to believe “at will”, where this in turn seems to be so because belief “aims at truth”. It must be explained how we are capable of doxastic agency despite that we cannot believe or come to believe at will. On the orthodox ‘causalist’ conception of inference for an inference to occur is for one act of acceptance to cause another in some specifiable “right way”. This conception of inference prevents its advocates from adequately seeing how reasoning could be a means to exercise doxastic agency, as it is natural to think it is. Suppose, for instance, that one reasons and concludes by inferring where one’s inference yields belief in what one infers. Such an inference cannot be performed at will. We cannot infer at will when inference yields belief any more than we can believe or come to believe at will. When it comes to understanding the extent to which one could be exercising agency in such a case the causalist conception of inference suggests that we must look to the causal history of one’s concluding act of acceptance, the nature of the act’s being determined by the way in which it is caused. What results is a picture on which such reasoning as a whole cannot be action. We are at best capable of actions of a kind which lead causally to belief fixation through “mental ballistics”. The causalist account of inference, I argue, is in fact either inadequate or unmotivated. It either fails to accommodate the self-consciousness of inference or is not best placed to play the very explanatory role which it is put forward to play. On the alternative I develop when one infers one’s inference is the conscious event which is one’s act of accepting that which one is inferring. The act’s being an inference is determined, not by the way it is caused, but by the self-knowledge which it constitutively involves. This corrected understanding of inference renders the move from the challenge to the possibility of doxastic agency to the above ballistics picture no longer tempting. It also yields an account of how we are capable of exercising doxastic agency by reasoning despite being unable to believe or come to believe at will. In order to see how such reasoning could amount to the exercise of doxastic agency it needs to be conceived of appropriately. I suggest that paradigm reasoning which potentially amounts the exercise of doxastic agency ought to be conceived of as primarily epistemic agency—agency the aim of which is knowledge. With inference conceived as suggested, I argue, it can be seen how to engage in such reasoning can just be to successfully exercise such agency. (shrink)

What is the relation of logic to thinking? My dissertation offers a new argument for the claim that logic is constitutive of thinking in the following sense: representational activity counts as thinking only if it manifests sensitivity to logical rules. In short, thinking has to be minimally logical. An account of thinking has to allow for our freedom to question or revise our commitments – even seemingly obvious conceptual connections – without loss of understanding. This freedom, I argue, requires that (...) thinkers have general abilities to respond to support and tension among their thoughts. And these abilities are constituted by following logical rules. So thinkers have to follow logical rules. But there isn’t just one correct logic for thinking. I show that my view is consistent with logical pluralism: there are a range of correct logics, any one of which a thinker might follow. A logic for thinking does, however, have to contain certain minimal principles: Modus Ponens and Non-Contradiction, and perhaps others. We follow logical rules by exercising logical capacities, which display a distinctive first-person/third-person asymmetry: a subject can find the instances of a rule compelling without seeing them as instances of a rule. As a result, there are two limits on illogical thinking. First, thinkers have to tend to find instances of logical rules compelling. Second, thinkers can’t think in obviously illogical ways. So thinking has to be logical – but not perfectly so. When we try to think, but fail, we produce nonsense. But our failures to think are often subjectively indistinguishable from thinking. To explain how this occurs, I offer an account of nonsense. To be under the illusion that some nonsense makes sense is to enter a pretence that the nonsense is meaningful. Our use of nonsense within the pretence relies on the role of logical form in understanding. Finally, while the normativity of logic doesn’t fall directly out of logical constitutivism, it’s possible to build an attractive account of logical normativity which has logical constitutivism as an integral part. I argue that thinking is necessary for human flourishing, and that this is the source of logical normativity. (shrink)

(1) This paper is about how to build an account of the normativity of logic around the claim that logic is constitutive of thinking. I take the claim that logic is constitutive of thinking to mean that representational activity must tend to conform to logic to count as thinking. (2) I develop a natural line of thought about how to develop the constitutive position into an account of logical normativity by drawing on constitutivism in metaethics. (3) I argue that, while (...) this line of thought provides some insights, it is importantly incomplete, as it is unable to explain why we should think. I consider two attempts at rescuing the line of thought. The first, unsuccessful response is that it is self-defeating to ask why we ought to think. The second response is that we need to think. But this response secures normativity only if thinking has some connection to human flourishing. (4) I argue that thinking is necessary for human flourishing. Logic is normative because it is constitutive of this good. (5) I show that the resulting account deals nicely with problems that vex other accounts of logical normativity. (shrink)