I argue that uniquely human forms of ‘Theory of Mind’ are a product of cultural evolution. Specifically, propositional attitude psychology is a linguistically constructed folk model of the human mind, invented by our ancestors for a range of tasks and refined over successive generations of users. The construction of these folk models gave humans new tools for thinking and reasoning about mental states—and so imbued us with abilities not shared by non-linguistic species. I also argue that uniquely human forms of (...) ToM are not required for language development, such that an account of the cultural origins of ToM does not jeopardise the explanation of language development. Finally, I sketch a historical model of the cultural evolution of mental state talk. (shrink)

On standard readings of Grice, Gricean communication requires (a) possession of a concept of belief, (b) the ability to make complex inferences about others’ goal-directed behaviour, and (c) the ability to entertain fourth order meta-representations. To the extent that these abilities are pre-requisites of Gricean communication they are inconsistent with the view that Gricean communication could play a role in their development. In this paper, I argue that a class of ‘minimally Gricean acts’ satisfy the intentional structure described by Grice, (...) but require none of abilities (a)-(c). As a result, Gricean communicative abilities may indeed contribute to the development of (a)-(c) – in particular, by enabling language development. This conclusion has important implications for our theorising about cognitive development. (shrink)

Researchers have converged on the idea that a pragmatic understanding of communication can shed important light on the evolution of language. Accordingly, animal communication scientists have been keen to adopt insights from pragmatics research. Some authors couple their appeal to pragmatic aspects of communication with the claim that there are fundamental asymmetries between signalers and receivers in non-human animals. For example, in the case of primate vocal calls, signalers are said to produce signals unintentionally and mindlessly, whereas receivers are thought (...) to engage in contextual interpretation to derive the significance of signals. We argue that claims about signaler-receiver asymmetries are often confused. This is partly because their authors conflate two conceptions of pragmatics, which generate different accounts of the explanatory target for accounts of the evolution of language. Here we distinguish these conceptions, in order to help specify more precisely the proper explanatory target for language evolution research. (shrink)

It is sometimes claimed that Gricean communication is necessarily a form of cooperative or ‘joint’ action. A consequence of this Cooperative Communication View is that Gricean communication could not itself contribute to an explanation of the possibility of joint action. I argue that even though Gricean communication is often a form of joint action, it is not necessarily so—since it does not always require intentional action on the part of a hearer. Rejecting the Cooperative Communication View has attractive consequences for (...) our theorising about human cognitive development, since it opens up the possibility of appealing to communicative interaction to explain the emergence of joint action in phylogeny. (shrink)

Tomasello and colleagues have offered various arguments to explain why apes find the comprehension of pointing difficult. They have argued that: (i) apes fail to understand communicative intentions; (ii) they fail to understand informative, cooperative communication, and (iii) they fail to track the common ground that pointing comprehension requires. In the course of a review of the literature on apes' production and comprehension of pointing, I reject (i) and (ii), and offer a qualified defence of (iii). Drawing on work on (...) expressive communication, I sketch an account of a mechanism by which ape gestural communication may proceed: the showing of expressive and naturally meaningful embodied behaviours. Such gestures are easily interpretable because they present rich evidence for a speaker's message. By contrast, pointing typically provides poor evidence for a speaker’s message, which must therefore be inferred from considerations in the interlocutors' common ground. This makes pointing comprehension comparatively difficult. (shrink)

Orang-utans played a communication game in two studies testing their ability to produce and comprehend requestive pointing. While the ‘communicator’ could see but not obtain hidden food, the ‘donor’ could release the food to the communicator, but could not see its location for herself. They could coordinate successfully if the communicator pointed to the food, and if the donor comprehended his communicative goal and responded pro-socially. In Study 1, one orang-utan pointed regularly and accurately for peers. However, they responded only (...) rarely. In Study 2, a human experimenter played the communicator’s role in three conditions, testing the apes’ comprehension of points of different heights and different degrees of ostension. There was no effect of condition. However, across conditions one donor performed well individually, and as a group orang-utans’ comprehension performance tended towards significance. We explain this on the grounds that comprehension required inferences that they found difficult – but not impossible. The finding has valuable implications for our thinking about the development of pointing in phylogeny. (shrink)

Humans are uncontroversially better than other species at learning from their peers. A key example of this is imitation, the ability to reproduce both the means and ends of others’ behaviours. Imitation is critical to the acquisition of a number of uniquely human cultural and cognitive traits. However, while authors largely agree on the importance of imitation, they disagree about the origins of imitation in humans. Some argue that imitation is an adaptation, connected to the ‘Mirror Neuron System’ that evolved (...) to facilitate action understanding and the learning of social behaviours. Others argue that imitation is a cultural practice learned in childhood, and that there is no evidence that it evolved genetically. We offer a third alternative that is consistent with both data that the human brain is optimised for imitation, and consistent with its being substantially learned. We hypothesise that at some point in human history humans underwent natural selection for two imitation-relevant abilities – specifically, (i) the tendency to be more attentive to our peers, and (ii) fine motor skill in the manual and oro-facial domains. These changes enabled us to excel at both learning to imitate, and learning by imitating. (shrink)

We admire Heyes's attempt to develop a mechanistic account of norm cognition. Nonetheless, her account leaves us unsure of whom Heyes counts as normative agents, and on what grounds. Therefore we ask a series of questions designed to clarify which features of Heyes's account she thinks are necessary and sufficient for norm cognition.

In this paper I defend what I call the argument from epistemic reasons against the moral error theory. I argue that the moral error theory entails that there are no epistemic reasons for belief and that this is bad news for the moral error theory since, if there are no epistemic reasons for belief, no one knows anything. If no one knows anything, then no one knows that there is thought when they are thinking, and no one knows that they (...) do not know everything. And it could not be the case that we do not know that there is thought when we believe that there is thought and that we do not know that we do not know everything. I address several objections to the claim that the moral error theory entails that there are no epistemic reasons for belief. It might seem that arguing against the error theory on the grounds that it entails that no one knows anything is just providing a Moorean argument against the moral error theory. I show that even if my argument against the error theory is indeed a Moorean one, it avoids Streumer's, McPherson's and Olson's objections to previous Moorean arguments against the error theory and is a more powerful argument against the error theory than Moore's argument against external world skepticism is against external world skepticism. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

This essay is concerned with six linguistic moves that we commonly make, each of which is considered in turn. These are: stating rules of representation; representing things categorically; mentioning expressions; saying truly or falsely how things are; saying vaguely how things are; and stating rules of rules of representation. A common-sense view is defended of what is involved in our doing each of these six things against a much more sceptical view emanating from the idea that linguistic behavior is fundamentally (...) messy. Both the fifth move and the sixth move involve vague concepts, and much of the essay is concerned with developing an approach to various problems and puzzles that attach to such concepts, most notably the sorites paradoxes. (shrink)

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

Current work in language models (LMs) helps us speed up or even skip thinking by accelerating and automating cognitive work. But can LMs help us with critical thinking -- thinking in deeper, more reflective ways which challenge assumptions, clarify ideas, and engineer new concepts? We treat philosophy as a case study in critical thinking, and interview 21 professional philosophers about how they engage in critical thinking and on their experiences with LMs. We find that philosophers do not find LMs to (...) be useful because they lack a sense of selfhood (memory, beliefs, consistency) and initiative (curiosity, proactivity). We propose the selfhood-initiative model for critical thinking tools to characterize this gap. Using the model, we formulate three roles LMs could play as critical thinking tools: the Interlocutor, the Monitor, and the Respondent. We hope that our work inspires LM researchers to further develop LMs as critical thinking tools and philosophers and other 'critical thinkers' to imagine intellectually substantive uses of LMs. (shrink)

Drawing on a passage from Ramsey's Truth and Probability, we formulate a simple, plausible constraint on evaluating the accuracy of credences: the Calibration Test. We show that any additive, continuous accuracy measure that passes the Calibration Test will be strictly proper. Strictly proper accuracy measures are known to support the touchstone results of accuracy-first epistemology, for example vindications of probabilism and conditionalization. We show that our use of Calibration is an improvement on previous such appeals by showing how it answers (...) or sidesteps problems that have been raised for previous work in this area. (shrink)

The Intergovernmental Panel on Climate Change has developed a novel framework for assessing and communicating uncertainty in the findings published in their periodic assessment reports. But how should these uncertainty assessments inform decisions? We take a formal decision-making perspective to investigate how scientific input formulated in the IPCC’s novel framework might inform decisions in a principled way through a normative decision model.

This thesis focuses on expressively rich languages that can formalise talk about probability. These languages have sentences that say something about probabilities of probabilities, but also sentences that say something about the probability of themselves. For example: (π): “The probability of the sentence labelled π is not greater than 1/2.” Such sentences lead to philosophical and technical challenges; but can be useful. For example they bear a close connection to situations where ones confidence in something can affect whether it is (...) the case or not. The motivating interpretation of probability as an agent's degrees of belief will be focused on throughout the thesis. -/- This thesis aims to answer two questions relevant to such frameworks, which correspond to the two parts of the thesis: “How can one develop a formal semantics for this framework?” and “What rational constraints are there on an agent once such expressive frameworks are considered?”. (shrink)

Little is known about the aims and impact of university-based ethics centers. Less is known about how centers leverage their unique campus positions to engage undergraduates in transformative ethics education. This article provides a foundation for future research on university-based ethics centers. First, this article addresses the history of ethics education in higher education, the rise of university ethics centers, and the factors necessary for successful ethics programs. Next, this piece shows the geographic distribution of ethics centers and which centers (...) provide undergraduate-focused ethics education. Finally, this article enables future research on effective ethics center structure, leadership, and outreach. (shrink)

The aim of this essay is to characterize the issue whether tense is real. Roughly, this is the issue whether, given any tensed representation, its tense corresponds in some suitably direct way to some feature of reality. The task is to make this less rough. Eight characterizations of the issue are considered and rejected, before one is endorsed. On this characterization, the unreality of tense is equivalent to the unity of temporal reality. The issue whether tense is real, so characterized, (...) is then related to Kant’s deduction of the categories in his Critique of Pure Reason. It is argued that Kant’s deduction does not provide the argument for the unreality of tense that it may appear to. The conclusion drawn at the end of the essay is that the unreality of tense cannot be argued for—not because tense is real, but because, even if it is unreal, its unreality is basic. (shrink)

This essay constitutes an attempt to probe the very idea of a saying/showing distinction of the kind that Wittgenstein advances in the Tractatus—to say what such a distinction consists in, to say what philosophical work it has to do, and to say how we might be justified in drawing such a distinction. Towards the end of the essay the discussion is related to Wittgenstein’s later work. It is argued that we can profitably see this work in such a way that (...) a saying/showing distinction arises there too. In particular, in the final sub-section of the essay, it is suggested that we can see in Wittgenstein’s later work an inducement to say what we are shown. (shrink)

Effective altruism sounds so innocuous—who could possibly be opposed to doing good more effectively? Yet it has inspired significant backlash in recent years. This paper addresses some common misconceptions and argues that the core “beneficentric” ideas of effective altruism are both excellent and widely neglected. Reasonable people may disagree on details of implementation, but all should share the basic goals or values underlying effective altruism.

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

Moss (2018) argues that rational agents are best thought of not as having degrees of belief in various propositions but as having beliefs in probabilistic contents, or probabilistic beliefs. Probabilistic contents are sets of probability functions. Probabilistic belief states, in turn, are modeled by sets of probabilistic contents, or sets of sets of probability functions. We argue that this Mossean framework is of considerable interest quite independently of its role in Moss’ account of probabilistic knowledge or her semantics for epistemic (...) modals and probability operators. It is an extremely general model of uncertainty. Indeed, it is at least as general and expressively powerful as every other current imprecise probability framework, including lower probabilities, lower previsions, sets of probabilities, sets of desirable gambles, and choice functions. In addition, we partially answer an important question that Moss leaves open, viz., why should rational agents have consistent probabilistic beliefs? We show that an important subclass of Mossean believers avoid Dutch bookability iff they have consistent probabilistic beliefs. (shrink)

This paper analyses the phenomenology and epistemology of chatbots such as ChatGPT and Bard. The computational architecture underpinning these chatbots are large language models (LLMs), which are generative AI (Artificial Intelligence) systems trained on a massive dataset of text extracted from the Web. We conceptualise these LLMs as multifunctional computational cognitive artifacts, used for various cognitive tasks such as translating, summarizing, answering questions, information-seeking, and much more. Phenomenologically, LLMs can be experienced as a “quasi-other”; when that happens, users anthropomorphise them. (...) For most users, current LLMs are black boxes, i.e., for the most part, they lack data transparency and algorithmic transparency. They can, however, be phenomenologically and informationally transparent, in which case there is an interactional flow. Anthropomorphising and interactional flow can, in some users, create an attitude of (unwarranted) trust towards the output LLMs generate. We conclude this paper by drawing on the epistemology of trust and testimony to examine the epistemic implications of these dimensions. Whilst LLMs generally generate accurate responses, we observe two epistemic pitfalls. Ideally, users should be able to match the level of trust that they place in LLMs to the degree that LLMs are trustworthy. However, both their data and algorithmic opacity and their phenomenological and informational transparency can make it difficult for users to calibrate their trust correctly. The effects of these limitations are twofold: users may adopt unwarranted attitudes of trust towards the outputs of LLMs (which is particularly problematic when LLMs hallucinate), and the trustworthiness of LLMs may be undermined. (shrink)

[A. W. Moore] There are criteria of ineffability whereby, even if the concept of ineffability can never serve to modify truth, it can sometimes serve to modify other things, specifically understanding. This allows for a reappraisal of the dispute between those who adopt a traditional reading of Wittgenstein's Tractatus and those who adopt the new reading recently championed by Diamond, Conant, and others. By maintaining that what the nonsense in the Tractatus is supposed to convey is ineffable understanding, rather than (...) ineffable truth, we can do considerable justice to each of these readings. We can also do considerable justice to the Tractatus. /// [Peter Sullivan] Moore proposes to cut between 'traditional' and 'new' approaches to the Tractatus, suggesting that Wittgenstein's intention is to convey, through the knowing use of nonsense, ineffable understanding. I argue, first, that there is indeed room for a proposal of Moore's general kind. Secondly, though, I question whether Moore's actual proposal is not more in tune with Wittgenstein's later thought than with the attitude of the Tractatus. (shrink)

Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.

For Kant, the human cognitive faculty has two sub-faculties: sensibility and the understanding. Each has pure forms which are necessary to us as humans: space and time for sensibility; the categories for the understanding. But Kant is careful to leave open the possibility of there being creatures like us, with both sensibility and understanding, who nevertheless have different pure forms of sensibility. They would be finite rational beings and discursive cognizers. But they would not be human. And this raises a (...) question about the pure forms of the understanding. Does Kant leave open the possibility of discursive cognizers who have different categories? Even if other discursive cognizers might not sense like us, must they at least think like us? We argue that textual and systematic considerations do not determine the answers to these questions and examine whether Kant thinks that the issue cannot be decided. Consideration of his wider views on the nature and limits of our knowledge of mind shows that Kant could indeed remain neutral on the issue but that the exact form his neutrality can take is subject to unexpected constraints. The result would be an important difference between what Kant says about discursive cognizers with other forms of sensibility and what he is in a position to say about discursive cognizers with other forms of understanding. Kantian humility here takes on a distinctive character. (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

There is too much that we do not know about COVID-19. The longer we take to find it out, the more lives will be lost. In this paper, we will defend a principle of risk parity: if it is permissible to expose some members of society (e.g. health workers or the economically vulnerable) to a certain level of ex ante risk in order to minimize overall harm from the virus, then it is permissible to expose fully informed volunteers to a (...) comparable level of risk in the context of promising research into the virus. We apply this principle to three examples of risky research: skipping animal trials for promising treatments, human challenge trials to speed up vaccine development, and low-dose controlled infection or “variolation.” We conclude that if volunteers, fully informed about the risks, are willing to help fight the pandemic by aiding promising research, there are strong moral reasons to gratefully accept their help. To refuse it would implicitly subject others to still graver risks. (shrink)

In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.

In Mind and World, John McDowell argues against the view that perceptual representation is non-conceptual. The central worry is that this view cannot offer any reasonable account of how perception bears rationally upon belief. I argue that this worry, though sensible, can be met, if we are clear that perceptual representation is, though non-conceptual, still in some sense 'assertoric': Perception, like belief, represents things as being thus and so.

David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them which have so far received (...) little attention, and on a number of philosophical reconstructions of the viewpoint (in particular, by Hand, Kitcher, and Tait). (shrink)

Disagreement is common: even informed, intelligent, and generally reasonable people often come to different conclusions when confronted with what seems to be the same evidence. Can the competing conclusions be reasonable? If not, what can we reasonably think about the situation? This volume examines the epistemology of disagreement. Philosophical questions about disagreement arise in various areas, notably politics, ethics, aesthetics, and the philosophy of religion: but this will be the first book focusing on the general epistemic issues arising from informed (...) disagreement. Ten leading philosophers offer specially written essays which together will offer a starting-point for future work on this topic. (shrink)

Conservative assumptions in medical ethics risk immense harms during a pandemic. Public health institutions and public discourse alike have repeatedly privileged inaction over aggressive medical interventions to address the pandemic, perversely increasing population-wide risks while claiming to be guided by ‘caution’. This puzzling disconnect between rhetoric and reality is suggestive of an underlying philosophical confusion. In this paper, I argue that we have been misled by status quo bias—exaggerating the moral significance of the risks inherent in medical interventions, while systematically (...) neglecting the risks inherent in the status quo prospect of an out-of-control pandemic. By coming to appreciate the possibility and significance of status quo risk, we will be better prepared to respond appropriately when the next pandemic strikes. (shrink)

In this paper, we seek a reliabilist account of justified credence. Reliabilism about justified beliefs comes in two varieties: process reliabilism (Goldman, 1979, 2008) and indicator reliabilism (Alston, 1988, 2005). Existing accounts of reliabilism about justified credence comes in the same two varieties: Jeff Dunn (2015) proposes a version of process reliabilism, while Weng Hong Tang (2016) offers a version of indicator reliabilism. As we will see, both face the same objection. If they are right about what justification is, it (...) is mysterious why we care about justification, for neither of the accounts explains how justification is connected to anything of epistemic value. We will call this the Connection Problem. I begin by describing Dunn’s process reliabilism and Tang’s indicator reliabilism. I argue that, understood correctly, they are, in fact, extensionally equivalent. That is, Dunn and Tang reach the top of the same mountain, albeit by different routes. However, I argue that both face the Connection Problem. In response, I offer my own version of reliabilism, which is both process and indicator, and I argue that it solves that problem. Furthermore, I show that it is also extensionally equivalent to Dunn’s reliabilism and Tang’s. Thus, I reach the top of the same mountain as well. (shrink)

According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...) an account of how we reduce our logical ignorance by learning logical facts and how we should update our credences in response to such evidence; and an account of when logical ignorance is irrational and when it isn’t. At the end, I explain why the requirement of logical omniscience remains true of ideal agents with no computational, processing, or storage limitations. (shrink)

Conditionalization is one of the central norms of Bayesian epistemology. But there are a number of competing formulations, and a number of arguments that purport to establish it. In this paper, I explore which formulations of the norm are supported by which arguments. In their standard formulations, each of the arguments I consider here depends on the same assumption, which I call Deterministic Updating. I will investigate whether it is possible to amend these arguments so that they no longer depend (...) on it. As I show, whether this is possible depends on the formulation of the norm under consideration. (shrink)

The debate over persistence currently involves three competing theories—one three-dimensionalist theory called “endurantism” and two four-dimensionalist theories called “perdurantism” and “exdurantism.” This inner debate between the latter two persistence theories is what I aim to clarify, and ultimately, I argue that perdurantism is superior to exdurantism because exdurantism is too extravagant in counting ordinary objects in the world. Extravagant for the reason that objects in their entirety are bound to their momentary stages, and there is practically an interminable number of (...) these stages, which is not reasonable when counting in the ordinary world. (shrink)

This paper applies a virtue epistemology approach to using the Internet, as to improve our information-seeking behaviours. Virtue epistemology focusses on the cognitive character of agents and is less concerned with the nature of truth and epistemic justification as compared to traditional analytic epistemology. Due to this focus on cognitive character and agency, it is a fruitful but underexplored approach to using the Internet in an epistemically desirable way. Thus, the central question in this paper is: How to use the (...) Internet in an epistemically virtuous way? Using the work of Jason Baehr, it starts by outlining nine intellectual or epistemic virtues: curiosity, intellectual autonomy, intellectual humility, attentiveness, intellectual carefulness, intellectual thoroughness, open-mindedness, intellectual courage and intellectual tenacity. It then explores how we should deploy these virtues and avoid the corresponding vices when interacting with the Internet, particularly search engines. Whilst an epistemically virtuous use of the Internet will not guarantee that one will acquire true beliefs, understanding or even knowledge, it will strongly improve one’s information-seeking behaviours. The paper ends with arguing that teaching and assessing online intellectual virtues should be part of school and university curricula, perhaps embedded in critical thinking courses, or even better, as individual units. (shrink)

This Element, written for researchers and students in philosophy and the behavioral sciences, reviews and critically assesses extant work on number concepts in developmental psychology and cognitive science. It has four main aims. First, it characterizes the core commitments of mainstream number cognition research, including the commitment to representationalism, the hypothesis that there exist certain number-specific cognitive systems, and the key milestones in the development of number cognition. Second, it provides a taxonomy of influential views within mainstream number cognition research, (...) along with the central challenges these views face. Third, it identifies and critically assesses a series of core philosophical assumptions often adopted by number cognition researchers. Finally, the Element articulates and defends a novel version of pluralism about number concepts. (shrink)

In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...) in Chapter 2 shows that a completeness proof for propositional logic was found by Hilbert and his assistant Paul Bernays already in 1917--18, and that Bernays's contribution was much greater than is commonly acknowledged. Aside from logic, the main technical contribution of Hilbert's Program are the development of formal mathematical theories and proof-theoretical investigations thereof, in particular, consistency proofs. In this respect Wilhelm Ackermann's 1924 dissertation is a milestone both in the development of the Program and in proof theory in general. Ackermann gives a consistency proof for a second-order version of primitive recursive arithmetic which, surprisingly, explicitly uses a finitistic version of transfinite induction up to www . He also gave a faulty consistency proof for a system of second-order arithmetic based on Hilbert's &egr;-substitution method. Detailed analyses of both proofs in Chapter 3 shed light on the development of finitism and proof theory in the 1920s as practiced in Hilbert's school. ;In a series of papers, Charles Parsons has attempted to map out a notion of mathematical intuition which he also brings to bear on Hilbert's finitism. According to him, mathematical intuition fails to be able to underwrite the kind of intuitive knowledge Hilbert thought was attainable by the finitist. It is argued in Chapter 4 that the extent of finitistic knowledge which intuition can provide is broader than Parsons supposes. According to another influential analysis of finitism due to W. W. Tait, finitist reasoning coincides with primitive recursive reasoning. The acceptance of non-primitive recursive methods in Ackermann's dissertation presented in Chapter 3, together with additional textual evidence presented in Chapter 4, shows that this identification is untenable as far as Hilbert's conception of finitism is concerned. Tait's conception, however, differs from Hilbert's in important respects, yet it is also open to criticisms leading to the conclusion that finitism encompasses more than just primitive recursive reasoning. (shrink)

All humans have an equal basic moral status. They possess the same fundamental rights, and the comparable interests of each person should count the same in calculations that determine social policy. Neither supposed racial differences, nor skin color, sex, sexual orientation, ethnicity, intelligence, nor any other differences among humans negate their fundamental equal worth and dignity. These platitudes are virtually universally affirmed. A white supremacist racist or an admirer of Adolf Hitler who denies them is rightly regarded as beyond the (...) pale of civilized dialogue. However, a very simple line of argument developed by Peter Singer challenges our understanding of these platitudes and forces us to rethink the basis and nature of the moral equality of all humans. What I call the “Singer Problem” arises if one accepts that the morally significant cognitive capacities that are relevant to the determination of the fundamental moral status of a being vary from individual to individual by degree. The problem is to specify a moral principle determining fundamental moral status that assigns a superior status to humans compared to other animals on the basis of the superior cognitive capacities of humans but also assigns all human persons an equal fundamental moral status regardless of their differing cognitive capacities. More broadly posed, the problem is to specify moral principles that yield intuitively satisfactory implications for the treatment of human individuals and other individual animals given that cognitive capacities differ across species and individuals. A search for a resolution of the Singer problem leads to disappointing results. (shrink)

Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.

Critics have often misunderstood the higher-order theory (HOT) of consciousness. Here we clarify its position on several issues, and distinguish it from other views such as the global The higher-order theory (HOT) of consciousness has often been misunderstood by critics. Here we clarify its position on several issues, and distinguish it from other views such as the global workspace theory (GWT) and early sensory models (e.g. first-order local recurrency theories). For example, HOT has been criticized for over-intellectualizing consciousness. We show (...) that while higher-order states are cognitively assembled, the requirements are actually considerably less than often presumed. In this sense HOT may be viewed as an intermediate position between GWT and early sensory views. Also, we clarify that most proponents of HOT do not stipulate consciousness as equivalent to metacognition or confidence. Further, compared to other existing theories, HOT can arguably account better for complex everyday experiences, such as of emotions and episodic memories. This makes HOT particularly useful as a framework for conceptualizing pathological mental states. (shrink)