Wittgenstein's Tractatus is widely regarded as a masterpiece, a brilliant, if flawed attempt to achieve an ‘unassailable and definitive … final solution’ to a wide range of philosophical problems. Yet, in a 1931 notebook, Wittgenstein confesses: ‘I think there is some truth in my idea that I am really only reproductive in my thinking. I think I have never invented a line of thinking but that it was always provided for me by someone else’. This disarming self-assessment is, I believe (...) accurate. The Tractatus, despite making significant advances on the logical doctrines of Frege and Russell, is essentially a derivative work—Wittgenstein, as he elsewhere acknowledges, provided a fertile soil in which the original seeds of other peoples' thought grew in a unique way. In a play of mine, published in Philosophy (1999), Wittgenstein fails a tough viva on the Tractatus because he fails to properly support some of the weak arguments in the work and because of his inadequate acknowledgment of sources. The present paper further explores some of the antecedents of Wittgenstein's early views and answers some criticisms of the play. (shrink)

In his comments, Richard Fumerton carefully develops two fundamental concerns with my views, which he interprets sympathetically, and almost entirely correctly. Before turning to these concerns, though, I must make one point about his concise opening statement of my principal claims. As I hope is clear from my précis, perceptual experiences provide reasons for empirical beliefs not simply in virtue of sharing demonstrative content with them. The key idea is that a person cannot properly grasp the objective content of these (...) experiences—that is, he cannot actually have experiences of particular things in the mind-independent world around him—without understanding that his apprehension that things are thus and so out there is in part due to the fact that they are. He therefore recognizes the relevant content as his epistemic openness to the way things objectively are. This is clearly central to my overall position. (shrink)

Frank Jackson and David Chalmers have suggested that the diagonal intensions defined by their two-dimensional framework can play the two key roles of Fregean senses: they provide a priori accessible extension conditions for a representation and they provide the identity conditions for meanings and thought contents. In this paper, I clarify the nature of the psychological abilities that are needed to underwrite the first role. I then argue that these psychological abilities are not sufficiently stable or cognitively salient to individuate (...) meanings or thought contents. (shrink)

Der Beitrag entwickelt aus verschiedenen Perspektiven Überlegungen dazu, was Dankbarkeit ist, wie sie sich zur Freiheit verhält, vor dem Hintergrund von welchen Kontexten sie zu sehen ist, welche Emotionen in ihr eine Rolle spielen können und wie sie sich in der psychoanalytischen Behandlung und überhaupt im Sozialen auswirkt.

Theoretical reasoning (inference) is a conscious personal‐level activity and a causal process. It is the process of revising one's beliefs for a reason whereby some of our beliefs cause or result in other beliefs. But inference is more than mere causation. This raises the question of what exactly distinguishes theoretical reasoning from mere causal processes. Paul Boghossian has located the distinguishing feature of inference in, what he calls, the “taking condition” requirement (TC). It turns out, however, that all attempts to (...) explain this notion fail. In this paper, I shall offer an indirect argument for the taking condition grounded in a specific account of the structure of epistemic reasons that distinguishes two levels of epistemic normativity, namely, the possession and justification levels. I show how such an account can legitimize the role of (TC) in reasoning and deflect the standard objections raised against it. Finally, I explain how this proposal naturally accommodates the defeasibility of reasoning. (shrink)

Normativism in the theory of meaning and content is the view that linguistic meaning and/or intentional content are essentially normative. As both normativity and its essentiality to meaning/content can be interpreted in a number of different ways, there is now a whole family of views laying claim to the slogan “meaning/content is normative”. In this essay, we discuss a number of central normativist theses, and we begin by identifying different versions of meaning normativism, presenting the arguments that have been put (...) forth for and against them. (shrink)

People frequently report that their thought has, at times, a vocal character. Thinking commonly appears to be accompanied or constituted by silently ‘talking’ to oneself in inner speech. In this paper, I argue that inner speech ‘utterances’ can constitute occurrent propositional attitudes, e.g., occurrent judgments, suppositions, etc., and, thereby, we can consciously reason through tokening a series of inner speech utterances in working memory. As I demonstrate, the functional role a mental state plays in working memory is determined in a (...) flexible and context sensitive manner by metacognitive monitoring and control procedures. An inner speech utterance functions as an occurrent judgment (and, thus, as a premise, lemma, or conclusion in a line of conscious reasoning) when it is experienced with a level of certainty that exceeds one’s threshold of confidence for acceptance. In virtue of an agent experiencing an inner speech utterance with a sufficient level of certainty, the utterance plays the functional role of an occurrent judgment through, e.g., terminating inquiry and causing overt actions (like overtly asserting the words rehearsed in inner speech). (shrink)

This paper disputes the widespread assumption that beliefs and desires may be attributed as theoretical entities in the service of the explanation and predic- tion of human behavior. The literature contains no clear account of how beliefs and desires might generate actions, and there is good reason to deny that principles of rationality generate a choice on the basis of an agent’s beliefs and desires. An alter- native conception of beliefs and desires is here introduced, according to which an attribution (...) of belief is, in a certain sense, an assertion on the believer’s behalf and an attribution of desire is, in a certain sense, a command on the desirer’s behalf. In terms of this conception of the attribution of beliefs and desires, we can begin to understand how attributions of beliefs and desires can be explanatory, although we still cannot expect the attribution of beliefs and desires to generate predictions based on an assumption of rationality. Finally, the reality of beliefs and desires is likened to the reality of money; it is the reality of things governed by objective norms. (shrink)

Philosophy and Phenomenological Research, Volume 103, Issue 3, Page 547-566, November 2021.

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic ; analytical philosophy, philosophy of science, philosophy of mathematics and decision theory and foundations of economics. (...) Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic. (shrink)

Celem tego tekstu jest rekonstrukcja i analiza argumentów przedstawianych za Psychologiczną Zasadą Niesprzeczności, stwierdzającą, że żaden podmiot nie może mieć sprzecznych przekonań lub być opisany jako posiadający sprzeczne przekonania. Poprzez rozróżnienie dwóch możliwych interpretacji PZN, deskryptywnej i normatywnej, oraz dokładne zbadanie argumentacji przedstawionej dla każdej z nich z osobna, wskazuję zawarte w nich błędy oraz problemy związane z uzgodnieniem ich z wynikami badań prowadzonych w psychologii poznawczej i klinicznej. Uzasadniam, dlaczego PZN nie może być wyprowadzona z żadnego ze stanowisk metafizycznych (...) dotyczących nastawień sądzeniowych i że posiadanie sprzecznych przekonań powinno być uznane za możliwe. Następnie piszę, dlaczego zinterpretowanie niektórych podmiotów jako posiadających sprzeczne przekonania może być bardziej efektywne w wyjaśnianiu przypadków nieracjonalnego zachowania niż rozwiązania zgodne z PZN. (shrink)

Intuition or rational trust? Resumen: Según la concepción tradicional, la justificación de las creencias lógicas básicas —entendida tanto inferencial como no-inferencialmente— no logra evitar ni la circularidad, ni la regresión al infinito. Justificar reglas básicas lógicas inferencialmente conlleva usar principios lógicos con lo que se genera un círculo vicioso. Apelar a fuentes básicas como la intuición, no sortea todas las dificultades. Argumentaré que es preciso recurrir a una “habilitación”, una sub-clase dentro de las garantías epistémicas. Si además aceptamos que intuir (...) es algo que hacemos y no algo que nos pasa, podemos sostener que la intuición, de hecho, se apoya en una confianza racional. Palabras clave: justificación, conocimiento lógico, garantía racional, intuición, habilitación.: According to the traditional conception, the justification of basic logical beliefs —understood both inferentially and non-inferentially— cannot avoid either circularity or regression to infinity. To justify logical basic rules inferentially involves using logical principles, so a vicious circle is generated. Appealing to basic sources such as intuition, does not avoid such problems. I will argue that it is necessary to resort to an entitlement, a sub-class within the epistemic warrants. If we also accept that intuiting is something that we do and not something that happens to us, we can sustain that intuition, indeed, is based on a rational trust. Keywords: justification, logical knowledge, rational warrant, intuition, entitlement. (shrink)

El objeto de este artículo es analizar el problema de la justificación del conocimiento básico y ofrecer una solución basada en un tipo de justificación deflacionaria no-evidencialista a partir de la noción de habilitación de T. Burge y la de _garantía racional_ de C. Wright. El problema, en el caso del conocimiento básico lógico, es que justificar las reglas lógicas inferencialmente supone utilizar principios lógicos, con lo cual se genera un círculo vicioso. Examinamos la viabilidad del enfoque no-inferencialista de Wright (...) y sostendremos que una garantía racional es una respuesta viable para el problema de la justificación del conocimiento lógico básico. (shrink)

What exactly is reasoning? While debate on this question is ongoing, most philosophers seem to agree on at least the following: reasoning is a mental process operating on contents, which consists in adopting or revising some of your attitudes in light of others. In this paper, I argue that this characterisation is mistaken: there is no single mental phenomenon that satisfies both of these conditions. Instead, I characterise two distinct mental phenomena, which I call ‘deducing’, on the one hand, and (...) ‘reasoning’ or ‘inference’ on the other, to play each of these roles. Recognising this division of labour is essential to developing a better understanding of our rational economy. (shrink)

My thesis is that you can lie with ‘ P therefore Q ’ without P or Q being lies. For you can lie by virtue of not believing that P supports Q. My thesis is reconciled with the principle that all lies are assertions through H. P. Grice’s account of conventional implicatures. These semantic cousins of conversational implicatures are secondary assertions that clarify the speaker’s attitude toward his primary assertions. The meaning of ‘therefore’ commits the speaker to an entailment thesis (...) even though the speaker does not enter that commitment into the text. Insincere conventional implicatures are akin to insincerely asserted footnotes. An absence of lies in the text is compatible with the presence of lies in the meta-text. (shrink)

My research centers on analytic pragmatist approaches to intentionality. One goal that defenders of such approaches set for themselves is to be able to provide a naturalistically sound account of intentionality without being pejoratively scientistic. Many critics argue that this is an unattainable goal, and I begin my dissertation by framing in neutral terms what I take to be the core of these criticsâ objection. I call this the Pincer Objection, and while surveying the works of four prominent analytic pragmatistsâDonald (...) Davidson, John McDowell, Huw Price, and Robert BrandomâI argue that all of them fall prey to the Pincer Objection. The reason they fall prey to this objection is because within their semantic theories they give explanatory priority to the semantic properties of propositions. I argue that, as an analytic pragmatist, I should instead prioritize the semantic properties of inferences, and that once I do so I am faced with the question: How are materially valid inferences possible? Finally, I argue that if I can provide an answer to this question, then I can successfully address the Pincer Objection. In this manner, my dissertation is not directed towards answering this question, but instead towards establishing the naturalistic credentials of accounts of intentionality that take this question seriously. (shrink)

Infinite regress arguments are part of a philosopher's tool kit of argumentation. But how sharp or strong is this tool? How effectively is it used? The typical presentation of infinite regress arguments throughout history is so succinct and has so many gaps that it is often unclear how an infinite regress is derived, and why an infinite regress is logically problematic, and as a result, it is often difficult to evaluate infinite regress arguments. These consequences of our customary way of (...) using this tool indicate that there is a need for a theory to re-orient our practice. My general approach to contribute to such a theory, consists of collecting and evaluating as many infinite regress arguments as possible, comparing and contrasting many of the formal and non-formal properties, looking for recurring patterns, and identifying the properties that appeared essential to those patterns. Two very general questions guided this work: How are infinite regresses generated in infinite regress arguments? How do infinite regresses logically function as premises in an argument? In answering these questions I clarify the notion of an infinite regress; identify different logical forms of infinite regresses; describe different kinds of infinite regress arguments; distinguish the rhetoric from the logic in infinite regress arguments; and suggest ways of improving our discussion and our practice of constructing and evaluating these arguments. (shrink)

I characterize the deductivist ideal of justification and, following to a great extent Toulmin’s work The Uses of Argument, I try to explain why this ideal is erroneous. Then I offer an alternative model of justification capable of making our claims to knowledge about substantial matters sound and reasonable. This model of justification will be based on a conception of justification as the result of good argumentation, and on a model of argumentation which is a pragmatic linguistic reconstruction of Toulmin’s (...) model of argument. (shrink)

Infinite regress arguments show up in many philosophical debates. But what actually is a regress argument? This article reviews two theories: the Paradox Theory and the Failure Theory. According to the Paradox Theory, regress arguments can be used to refute an existentially or universally quantified statement (e.g. to refute the statement that at least one discussion is settled, or the statement that discussions are settled only if there is an agreed-upon criterion to settle them). According to the Failure Theory, regress (...) arguments can be used to demonstrate that a certain solution fails to solve an existentially or universally quantified problem (e.g. to demonstrate that a certain solution fails to settle all discussions, or that it fails to settle even one discussion). In the literature, the Paradox Theory is fairly well-developed, and this article shows that the Failure Theory can be supplied with similar tools. (shrink)

Our beliefs utilize various sources: perception, memory, induction, etc. We trust these sources to provide reliable information about the world around us. My dissertation investigates how this trust could be justified. Chapter one introduces background material. I argue that justification rather than knowledge is of primary epistemological importance, discuss the internalism/externalism debate, and introduce an evidentialist thesis that provides a starting point/framework for epistemological theorizing. Chapter two introduces a puzzle concerning justification. Can a belief source provide justification absent prior justification (...) for believing it's reliable? Any answer appears to either make justifying the reliability of a source intellectually unsatisfying or all together impossible. Chapter three considers and rejects a plethora of proposed solutions to our puzzle. Investigating these solutions illustrates the need to further investigate evidence, evidence possession, and evidential support. Chapter four discusses the metaphysics of evidence. I argue that evidence always consists of a set of facts and that fact-proposition pairs stand in confirmation relations isomorphic to those holding between pairs of propositions. Chapter five argues that justification requires what I call actually connected possession of supporting evidence: a subject must be aware of supporting evidence and of the support relation itself. Chapter six argues that the relation constitutive of a set of facts being justificatory evidence is a sui generis and irreducible relation that is knowable a priori. Chapter seven begins by showing how Richard Fumerton's acquaintance theory meets the constraints on a theory of justification laid down in previous chapters. I modify the theory so as to: make room for fallible foundational justification, and allow inferential justification absent higher-order beliefs about evidential connections. Chapter eight applies the developed theory of justification to our initial puzzle. I show how my modified acquaintance theory is in a unique position to vindicate the idea that necessarily a source provides a person with justification only if she is aware of evidence for the reliability of that source. However, this awareness of evidence for a source's reliability falls short of a justified belief and thereby avoids impalement from our dilemma's skeptical horn. (shrink)

In this chapter a new problem about rule-following is outlined, one that is distinct both from Kripke’s and Wright’s versions of the problem. This new problem cannot be correctly responsed to, as Kripke’s can, by invoking Wright’s Intentional Account of rule-following. The upshot might be called, following Kant, an antinomy of pure reason: we both must — and cannot — make sense of someone’s following a rule. The chapter explores various ways out of this antinomy without here endorsing any of (...) them. (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.

Over the last several years a number of leading philosophers – including Catherine Elgin, Linda Zagzebski, Jonathan Kvanvig, and Duncan Pritchard – have grown increasingly dissatisfied with the contemporary focus on knowledge in epistemology and have attempted to “recover” the notion of understanding. According to some of these philosophers, in fact, understanding deserves not just to be recovered, but to supplant knowledge as the focus of epistemological inquiry. This entry considers some of the main reasons why philosophers have taken understanding (...) to be more valuable than knowledge, focusing on claims that it is more transparent, that it better reflects or mirrors the world, and that it is a greater intellectual achievement. (shrink)

TheTractatusfirst appeared in 1921, the same year that Post's “Introduction to a General Theory of Elementary Propositions” appeared in theAmerican Journal of Mathematics. As the latter is the first piece clearly to present and exploit the distinction between a deductive system and a truth-functional interpretation of such a system, we may conclude that Wittgenstein's views had been arrived at somewhat before a variety of logical concepts had received the clarification and refinement incipient on the now taken-for-granted distinction between proof and (...) model theory. One such concept, of considerable interest to Wittgenstein, was that of inference. The following constitutes an attempt to explicate his notion. In particular, I shall attempt to show that his repudiation of “laws of inference” is closely tied to his rejection of logical constants; and that both can be seen as the product of what might be termed a “metaphysics of completeness”—before, of course, any notion of completeness had achieved a measure of precision or currency. (shrink)

What sorts of systematic explanations should we and can we seek in cognitive science for perception, language comprehension, rational action and other forms of cognition? In broad outline I think the answer is reasonably clear: We are looking for causal explanations, and our subject matter is certain functions of a biological organ, the human and animal brain.

In many actual arguments, the conclusion seems intuitively to follow from the premisses, even though we cannot show that it follows logically. The traditional approach to evaluating such arguments is to suppose that they have an unstated premiss whose explicit addition will produce an argument where the conclusion does follow logically. But there are good reasons for doubting that people so frequently leave the premisses of their arguments unstated. The inclination to suppose that they do stems from the belief that (...) the only way in which an argument's conclusion can follow definitely from its premisses is to follow logically. I argue that this belief is mistaken. I propose a revision of the current generic conception of logical consequence, and its variant specifications, to avoid the paradoxes of strict implication. The revised conception can then be naturally extended to include also what we might call 'enthymematic consequence'. This concept is a kind of consequence, whose properties merit investigation. (shrink)

In this paper I argue that there can be genuine (as opposed to merely verbal) disputes about whether a sentence form is logically true or an argument form is valid. I call such disputes ?cases of deviance?, of which I distinguish a weak and a strong form. Weak deviance holds if one disputant is right and the other wrong, but the available evidence is insufficient to determine which is which. Strong deviance holds if there is no fact of the matter. (...) In section 2 I argue that weak deviance need not be trivial and may even be interesting. Section 3 considers what it could mean to say that logic is determined by a theory, especially a theory of meaning, an idea that arises in section 2. In section 4 I discuss the dispute between classical and relevance logicians over entailment and argue that it is a case of strong deviance. Finally, in section 5 I show that the result of the previous section is not absolute but relative to the background logic used in reaching it. (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)

Barry Barnes and David Bloor of the Strong Programme of the sociology of knowledge advance a naturalized epistemology that reduces all accounts of normativity to social causes. I endorse their program of naturalizing one kind of normativity, but I argue that there is another kind they cannot naturalize. Within the context of sociological explanations of rationality, there are norms of rationality instantiated by scientists that Barnes and Bloor study, and Barnes and Bloor's own normative ascriptions of scientists as rational beings. (...) I argue that Barnes and Bloor successfully justify their naturalization of the norms of rationality of the scientists they describe by a methodological caution and arguments from under-determination and finitism. But they inevitably fail to naturalize their own normative ascriptions of those scientists as rational. (shrink)

Hume argued that inductive inferences do not have rational justification. My aim is to reject Hume’s argument. The discussion is partly motivated by an analogy with Carroll’s Paradox, which concerns deductive inferences. A first radically externalist reply to Hume (defended by Dauer and Van Cleve) is that justified inductive inferences do not require the subject to know that nature is uniform, though the uniformity of nature is a necessary condition for having the justification. But then the subject does not have (...) reasons for believing what she believes. I defend a moderate externalist account that seeks to partly accommodate that objection to the radical externalist proposal. It is based on an extension of Peacocke’s theory of concepts: possession conditions for predicative concepts standing for natural properties include (fallible) dispositions to project them to new cases in accordance with inductive inferential patterns. (shrink)

In updating our beliefs on the basis of our background attitudes and evidence we frequently employ objects in our environment to represent pertinent information. For example, we may write our premises and lemmas on a whiteboard to aid in a proof or move the beads of an abacus to assist in a calculation. In both cases, we generate extramental (that is, occurring outside of the mind) representational states, and, at least in the case of the abacus, we operate over these (...) states in light of their contents (e.g., the integers represented by the beads) to generate new representations. In this paper, I argue that our belief updating processes and the grounds of their rational evaluation are partly constituted by extramental representations and operations. In other words, we don’t merely update our attitudes through an internal process of reasoning on the basis of available evidence. If we are to accurately understand and rationally evaluate our belief updating processes and resultant attitudes, we need to examine how we representationally appropriate our extramental environment in the updating process. (shrink)

Evidentialism as an account of theoretical rationality is a popular and well-defended position. However, recently, it's been argued that misleading higher-order evidence (HOE) – that is, evidence about one's evidence or about one's cognitive functioning – poses a problem for evidentialism. Roughly, the problem is that, in certain cases of misleading HOE, it appears evidentialism entails that it is rational to adopt a belief in an akratic conjunction – a proposition of the form “p, but my evidence doesn't support p” (...) – despite it being the case that believing an akratic conjunction appears to be clearly irrational. In this paper, I diffuse the problem for evidentialism using the distinction between propositional and doxastic rationality. I argue that, although it can be propositionally rational to believe an akratic conjunction (according to evidentialism), one cannot inferentially base an akratic belief in one's evidence, and, thus, one cannot doxastically rationally possess an akratic belief. In addition, I address the worry that my solution to the puzzle commits evidentialists to the possibility of epistemic circumstances in which a proposition, p, is propositionally rational to believe (namely, an akratic conjunction), yet one cannot, in principle, (doxastically) rationally believe p. As I demonstrate, cases of misleading HOE are not the only types of cases that force evidentialists to accept that propositional rationality does not entail the possibility of doxastic rationality. There are no new problems raised by misleading HOE that weren't already present in cases involving purely first-order evidence. (shrink)

Mercier and Sperber (MS) have ventured to undermine an age-old assumption in logic, namely the presence of premise-conclusion structures, in favor of two novel claims: that reasoning is an evolutionary product of a reason-intuiting module in the mind, and that theories of logic teach next to nothing about the mechanisms of how inferences are drawn in that module. The present paper begs to differ: logic is indispensable in formulating conceptions of cognitive elements of reasoning, and MS is no less exempt (...) from taking notice of premise-conclusion structures than the commonplace theories of reasoning are. Our counterclaim is realized in terms of diagrammatic reasoning dating back to Charles Peirce’s pragmaticism. The upshot is that pragmatist logic restores the premise-conclusion structures in argumentation, supplants reason-intuition module with logical content, and validates good reasoning as an indispensable resource evident to all rational minds that claim ownership of reason and understanding. (shrink)

In this paper, I analyse the nature of a particular form of theoretical reasoning—ratiocination. Ratiocination is purposeful, self-conscious, deliberatively controlled reasoning. I will argue that ratiocination concludes when the ratiocinator believes that she ought to believe p. In Section 1, I suggest that the way a reasoner’s mind moves in ratiocination is different from the way her mind moves in non-ratiocinative reasoning. Such a difference should motivate an analysis that focuses just on ratiocination. In Section 2, I provide a general (...) characterisation of ratiocination and distinguish it from non-ratiocinative reasoning. I draw a distinction between non-deliberative rational control and deliberative rational control. I then argue that the ratiocinator always exercises the latter. Since theoretical reasoning is a norm-governed activity and since ratiocination involves deliberatively controlled reasoning, the ratiocinator necessarily tries to control her mental movements in a way that is in line with the normative requirements of this activity. In Section 3, I argue that ratiocination ends when the ratiocinator believes that she ought to believe p. I further explain the nature of the ‘ought’ in the ratiocinator’s belief that she ought to believe p. In Section 4, I address possible objections to the account on offer and explain why my account does not undermine our general understanding of the nature of theoretical reasoning. I explain that my claim is compatible with the claim that reasons to be rational are transparent to reasons to believe p. I also discuss why the ratiocinator’s belief that she ought to believe p is not an intermediate stage in ratiocination. Finally, I argue that ratiocination, as described, is compatible with the claim that belief is truth-governed. (shrink)

Alonzo Church (1903–1995) was a renowned mathematical logician, philosophical logician, philosopher, teacher and editor. He was one of the founders of the discipline of mathematical logic as it developed after Cantor, Frege and Russell. He was also one of the principal founders of the Association for Symbolic Logic and the Journal of Symbolic Logic. The list of his students, mathematical and philosophical, is striking as it contains the names of renowned logicians and philosophers. In this article, we focus primarily on (...) Church’s philosophical contributions. (For an account of his life and academic history see the Introduction to The Collected Works of Alonzo Church (2019).) However, we also discuss his mathematical results when it is desirable to do so in order to pursue a philosophical issue. (shrink)

There is a pervasive view that inference—as opposed, notably, to a grasp of objects—is an intralinguistic process that does not draw on extralinguistic resources. The present paper aims to show that this dichotomy between inferring and grasping objects can be resisted. Specifically, I offer an alternative view: a phenomenological account according to which our most basic inferences draw on our grasp of objects. I motivate this account on the grounds that, although it is restricted to such basic inferences, it has (...) significant implications for the general question of whether inference involves taking one's premises to support one's conclusion. The proposed account implies that basic inferences need not involve corresponding “takings,” (even though such inferences involve conceptual content), but it leaves open the possibility that non-basic inferences do involve corresponding “takings,” while relying on basic inferences. It will turn out that such a disjunctive view, according to which non-basic reasoning is somewhat parasitic on basic reasoning, manages to avoid many of the problems with which the literature on the “taking condition” deals. (shrink)