Naive observers viewed a sequence of colored Mondrian patterns, simulated on a color monitor. Each pattern was presented twice in succession, first under one daylight illuminant with a correlated color temperature of either 16,000 or 4,000 K and then under the other, to test for color constancy. The observers compared the central square of the pattern across illuminants, either rating it for sameness of material appearance or sameness of hue and saturation or judging an objective property—that is, whether its change (...) of color originated from a change in material or only from a change in illumination. Average color constancy indices were high for material appearance ratings and binary judgments of origin and low for hue–saturation ratings. Individuals’ performance varied, but judgments of material and of hue and saturation remained demarcated. Observers seem able to separate phenomenal percepts from their ontological projections of mental appearance onto physical phenomena; thus, even when a chromatic change alters perceived hue and saturation, observers can reliably infer the cause, the constancy of the underlying surface spectral reflectance. (shrink)

The question of whether lies by those who govern are acceptable receives a clear focus and an ideal case in the Republic. Against C. D. C. Reeve, and T. C. Brickhouse and N. D Smith, I argue that the Republic’s apparent recommendation of administrative lies is incoherent. While lies may be a necessary part of the City’s administration, the process and practice of lying undermines that nature which is necessary for any suitable ruler – rendering the ideal impossible. I argue (...) that this analysis, while concerned with an ideal case, also applies to the political realist’s regrettable-but-necessary defence of such practices. (shrink)

How should one react when one has a belief, but knows that other people—who have roughly the same evidence as one has, and seem roughly as likely to react to it correctly—disagree? This paper argues that the disagreement of other competent inquirers often requires one to be much less confident in one’s opinions than one would otherwise be.

We present data and argument to show that in Tetris - a real-time interactive video game - certain cognitive and perceptual problems are more quickly, easily, and reliably solved by performing actions in the world rather than by performing computational actions in the head alone. We have found that some translations and rotations are best understood as using the world to improve cognition. These actions are not used to implement a plan, or to implement a reaction; they are used to (...) change the world in order to simplify the problem-solving task. Thus, we distinguish pragmatic actions ñ actions performed to bring one physically closer to a goal - from epistemic actions - actions performed to uncover information that is hidden or hard to compute mentally. To illustrate the need for epistemic actions, we first develop a standard information-processing model of Tetris-cognition, and show that it cannot explain performance data from human players of the game - even when we relax the assumption of fully sequential processing. Standard models disregard many actions taken by players because they appear unmotivated or superfluous. However, we describe many such actions that are actually taken by players that are far from superfluous, and that play valuable roles in improving human performance. We argue that traditional accounts are limited because they regard action as having a single function: to change the world. By recognizing a second function of action - an epistemic function - we can explain many of the actions that a traditional model cannot. Although, our argument is supported by numerous examples specifically from Tetris, we outline how the one category of epistemic action can be incorporated into theories of action more generally. (shrink)

A critical examination of the Reflection principle in Bayesian epistemology, and of the diachronic Dutch-book-style arguments that have been invoked to support Reflection and Conditionalization.

The old evidence problem affects any probabilistic confirmation measure based on comparing pr(H/E) and pr(H). The article argues for the following points: (1) measures based on likelihood ratios also suffer old evidence difficulties; (2) the less-discussed synchronic old evidence problem is, in an important sense, the most acute; (3) prominent attempts to solve or dissolve the synchronic problem fail; (4) a little-discussed variant of the standard measure avoids the problem, in an appealing way; and (5) this measure nevertheless reveals a (...) different problem for probabilistic confirmation measures, a problem that is unlikely to lend itself to formal solution. (shrink)

Epistemologists have recently proposed a number of norms governing rational inquiry. My aim in this paper is to unify and explain recently proposed norms of inquiry by developing a general account of the conditions under which inquiries are rational, analogous to theories such as evidentialism and reliabilism for rational belief. I begin with a reason-responsiveness conception of rationality as responding correctly to possessed normative reasons. I extend this account with a series of claims about the normative reasons for inquiry that (...) we possess. I apply the account to shed light on two classes of norms that have featured prominently in recent discussions: norms of clutter avoidance forbidding agents from engaging in trivial inquiries, and norms of logical non-omniscience governing properties such as the deductive closure and consistency of an agent's belief state. I conclude with a discussion of the sense in which norms of inquiry should be regarded as epistemic norms. (shrink)

Friendship is a notion that runs through the thought of different ancient philosophers and has the peculiar characteristic of being held in high esteem almost unanimously by all. Although there are earlier precedents, for Socrates friendship takes on great importance and his disciple Plato provides deep reflections on the subject, linking friendship with transcendence. However, the pages of Aristotle's 'Nicomachean Ethics' on this subject are undoubtedly the most influential for posterity. For him, friendship has many variants, although he privileges over (...) all of them friendship between equals and founded on ethical character. Only complete moral integrity guarantees that the love between friends consists of a genuine appreciation for the person of the other and not for something different from it. After Aristotle, Cicero's treatise 'Lellius' or 'On Friendship' stands out. Despite taking up several appreciations of Aristotle, Cicero is original and corrects some of his ideas, giving priority to the strength of mutual love over the preconditions of friends. Moreover, he gives a prominent place to trust ('fides') in their relationship. Finally, Seneca frames friendship within his ethical conception, subordinating love for the friend to the moral development of the philosopher. (shrink)

Consequentialism, many philosophers have claimed, asks too much of us to be a plausible ethical theory. Indeed, the theory's severe demandingness is often claimed to be its chief flaw. My thesis is that as we come to better understand this objection, we see that, even if it signals or tracks the existence of a real problem for Consequentialism, it cannot itself be a fundamental problem with the view. The objection cannot itself provide good reason to break with Consequentialism, because it (...) must presuppose prior and independent breaks with the view. The way the objection measures the demandingness of an ethical theory reflects rather than justifies being in the grip of key anti-Consequentialist conclusions. We should reject Consequentialism independently of the Objection or not at all. Thus, we can reduce by one the list of worrisome fundamental complaints against Consequentialism. (shrink)

A wide range of prominent epistemological theories include a principle of conservatism. Such principles take the fact that an agent currently holds a certain belief to constitute at least some measure of epistemic justification for her to maintain that belief. I examine the main arguments that have been made in conservatism's behalf, and find them unsound. Most interestingly, conservatism does not fall out of confirmational holism (the view that the justification of each of our beliefs is in part determined by (...) our other beliefs). I argue that conservatism is a mild form of dogmatism, and should be abandoned. (shrink)

The most immediately appealing model for formal constraints on degrees of belief is provided by probability theory, which tells us, for instance, that the probability of P can never be greater than that of (P v Q). But while this model has much intuitive appeal, many have been concerned to provide arguments showing that ideally rational degrees of belief would conform to the calculus of probabilities. The arguments most frequently used to make this claim plausible are the so-called "Dutch Book" (...) arguments. (shrink)

This essay focuses on three recent books on morality and virtue, Michael Slote's 'Morals from Motives', Rosalind Hursthouse's 'On Virtue Ethics', and Philippa Foot's 'Natural Goodness'. Slote proposes an "agent-based" ethical theory according to which the ethical status of acts is derivative from assessments of virtue. Following Foot's lead, Hursthouse aims to vindicate an ethical naturalism that explains human goodness on the basis of views about human nature. Both Hursthouse and Slote take virtue to be morally basic in a way (...) that Foot, to her credit, does not. We argue that all three views face a range of serious difficulties. (shrink)

Cognitive modules are internal mental structures. Some theorists and empirical researchers hypothesise that the human mind is either partially or massively comprised of structures that are modular in nature. Is the massive modularity of mind hypothesis a cogent view about the ontological nature of human mind or is it, rather, an effective/ineffective adaptationist discovery heuristic for generating predictively successful hypotheses about both heretofore unknown psychological traits and unknown properties of already identified psychological traits? Considering the inadequacies of the case in (...) favour of massive modularity as an ontological hypothesis, I suggest approaching and valuing massive modularity as an adaptationist discovery heuristic. (shrink)

Much contemporary epistemology is informed by a kind of confirmational holism, and a consequent rejection of the assumption that all confirmation rests on experiential certainties. Another prominent theme is that belief comes in degrees, and that rationality requires apportioning one's degrees of belief reasonably. Bayesian confirmation models based on Jeffrey Conditionalization attempt to bring together these two appealing strands. I argue, however, that these models cannot account for a certain aspect of confirmation that would be accounted for in any adequate (...) holistic confirmation theory. I then survey the prospects for constructing a formal epistemology that better accommodates holistic insights. (shrink)

Diego de Deza was an important ecclesiastic in early 16th century Spain. Before being ordained bishop, he was the first Dominican to occupy the most important chair of theology in Salamanca, which would later be held by Francisco de Vitoria. As bishop he contributed in different ways to the spread of Thomism, especially with the refoundation of the Colegio de San Gregorio in Valladolid and the Colegio de Santo Tomás in Seville. Especially in his college of Seville he gave indications (...) that indicated to follow Aquinas as a teacher not only for theology, but also for philosophy and the Bible. This article investigates this contribution by contrasting various unpublished manuscripts. (shrink)

A number of philosophers, from Thomas Reid1 through C. A. J. Coady2, have argued that one is justified in relying on the testimony of others, and furthermore, that this should be taken as a basic epistemic presumption. If such a general presumption were not ultimately dependent on evidence for the reliability of other people, the ground for this presumption would be a priori. Such a presumption would then have a status like that which Roderick Chisholm claims for the epistemic principle (...) that we are justified in believing what our senses tell us. (shrink)

This paper considers the phenomenon of lying and the implications it has for those subjects who are capable of lying. It is argued that lying is not just intentional untruthfulness, but is intentional untruthfulness plus an insincere invocation of trust. Understood in this way, lying demands of liars a sophistication in relation to themselves, to language, and to those to whom they lie which exceeds the demands on mere truth-tellers.

Can we adequately account for our reasons of mere taste without holding that our desires ground such reasons? Recently, Scanlon and Parfit have argued that we can, pointing to pleasure and pain as the grounds of such reasons. In this paper I take issue with each of their accounts. I conclude that we do not yet have a plausible rival to a desire-based understanding of the grounds of such reasons.

Truthmaker theory promises to do some useful philosophical work: equipping us to argue against phenomenalism and Rylean behaviourism, for instance, and helping us decide what exists (Lewis 1999, 207; Armstrong 1997, 113-119). But it has proved hard to formulate a truthmaker theory that is both useful and believable. I want to suggest that a neglected approach to truthmakers – that of Ian McFetridge – can surmount some of the problems that make other theories of truthmaking unattractive. To begin with, I’ll (...) outline some of the most prominent accounts of truthmaking in the current literature. Then the second part of the paper will explain McFetridge’s theory and argue for its superiority over these accounts. (shrink)

Both Representation Theorem Arguments and Dutch Book Arguments support taking probabilistic coherence as an epistemic norm. Both depend on connecting beliefs to preferences, which are not clearly within the epistemic domain. Moreover, these connections are standardly grounded in questionable definitional/metaphysical claims. The paper argues that these definitional/metaphysical claims are insupportable. It offers a way of reconceiving Representation Theorem arguments which avoids the untenable premises. It then develops a parallel approach to Dutch Book Arguments, and compares the results. In each case (...) preferencedefects serve as a diagnostic tool, indicating purely epistemic defects. (shrink)

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely (...) logical. Second, the foregoing provides a hyperintensional account of the interpretation of mathematical and metamathematical vocabulary. (shrink)

It is obvious that we would not want to demand that an agent' s beliefs at different times exhibit the same sort of consistency that we demand from an agent' s simultaneous beliefs; there' s nothing irrational about believing P at one time and not-P at another. Nevertheless, many have thought that some sort of coherence or stability of beliefs over time is an important component of epistemic rationality.

A given causal system can be represented in a variety of ways. How do agents determine which variables to include in their causal representations, and at what level of granularity? Using techniques from Bayesian networks, information theory, and decision theory, we develop a formal theory according to which causal representations reflect a trade-off between compression and informativeness, where the optimal trade-off depends on the decision-theoretic value of information for a given agent in a given context. This theory predicts that, all (...) else being equal, agents prefer causal models that are as compressed as possible. When compression is associated with information loss, however, all else is not equal, and our theory predicts that agents will favor compressed models only when the information they sacrifice is not informative with respect to the agent’s anticipated decisions. We then show, across six studies reported here (N=2,364) and one study reported in the supplemental materials (N=182), that participants’ preferences over causal models are in keeping with the predictions of our theory. Our theory offers a unification of different dimensions of causal evaluation identified within the philosophy of science (proportionality and stability), and contributes to a more general picture of human cognition according to which the capacity to create compressed (causal) representations plays a central role. (shrink)

Informing others about the world is often a helpful act. In this paper, I study agents who conduct experiments to gather information about the world, committing in advance to fully disclose the nature of the experiment together with all experimental findings. While this appears to be a benign activity, I characterize a type of exploitative informing that is possible even within this restricted setup. I show how exploitative informants use public experiments to predictably manipulate interlocutors’ beliefs and actions to their (...) own advantage. I discuss epistemic and practical grounds on which it may be permissible for agents to resist acts of exploitative informing, then conclude by discussing implications for epistemic injustice and duties to gather evidence. (shrink)

For a stable visual world, the colours of objects should appear the same under different lights. This property of colour constancy has been assumed to be fundamental to vision, and many experimental attempts have been made to quantify it. I contend here, however, that the usual methods of measurement are either too coarse or concentrate not on colour constancy itself, but on other, complementary aspects of scene perception. Whether colour constancy exists other than in nominal terms remains unclear.

The main appeal of the currently popular "bootstrap" account of confirmation developed by Clark Glymour is that it seems to provide an account of evidential relevance. This account has, however, had severe problems; and Glymour has revised his original account in an attempt to solve them. I argue that this attempt fails completely, and that any similar modifications must also fail. If the problems can be solved, it will only be by radical revisions which involve jettisoning bootstrapping's basic approach to (...) theories. Finally, I argue that there is little reason to think that even such drastic modifications will lead to a satisfactory account of relevance. (shrink)

I argue for a transformative revival or actualization of the very core of an integrative, methodologically secured form of intellect‑mystical asceticism. This approach draws on traditional sources that are re‑examined from a systematic—synthetic and transcultural—philosophical perspective and in light of the multi‑civilizational global environment of the 21st century. The main traditional points of reference in this paper are provided by Nicolaus de Cusa and Ibn Sīnā, and I refer toa few others, such as Attar of Nishapur, in passing. I begin (...) by developing a basic concept of intellect‑mystical asceticism. It is distinguished from mystification, science, scientism, and modes of everyday communication and cognition. Then, I make the case for an updated, transcultural approach to intellect‑mysticism that can foster the internal (social) and external (environmental) reintegration of the human noosphere and technosphere in future planetary development. In this context, a modern intellect‑mystical philosophical notion of “knowing non‑knowing” (wissendes Nichtwissen, docta ignorantia) is developed. It is inspired by Nicolaus de Cusa and contextualized from a systematic transcultural angle at the same time. Finally, I discuss the problem of the practical, or rather ascetic, realization of the related possibilities of intellect‑mystical self‑enfolding. Here, the preceding steps of the reflection are mapped onto an outline regarding distinct developmental stages of such a transformative intellect‑mystical practice in Ibn Sīnā’s Remarks and Admonitions (al‑Ishārāt wat‑Tanbīhāt). (shrink)

The arguments of Fodor, Garret, Walker and Parkes [(1980) Against definitions, Cognition, 8, 263-367] are the source of widespread skepticism in cognitive science about lexical semantic structure. Whereas the thesis that lexical items, and the concepts they express, have decompositional structure (i.e. have significant constituents) was at one time "one of those ideas that hardly anybody [in the cognitive sciences] ever considers giving up" (p. 264), most researchers now believe that "[a]ll the evidence suggests that the classical [(decompositional)] view is (...) wrong as a general theory of concepts" [Smith, Medin & Rips (1984) A psychological approach to concepts: comments on Rey, Cognition, 17, 272], and cite Fodor et al. (1980) as "sounding the death knell for decompositional theories" [MacNamara & Miller (1989) Attributes of theories of meaning, Psychological Bulletin, 106, 360]. I argue that the prevailing skepticism is unmotivated by the arguments in Fodor et al. Fodor et al. misrepresent the form, function and scope of the decompositional hypothesis, and the procedures they employ to test for the psychological reality of definitions are flawed. I argue, further, that decompositional explanations of the phenomena they consider are preferable to their primitivist alternatives, and, hence, that there is prima facie reason to accept them as evidence for the existence of decompositional structure. Cognitive scientists would, therefore, do well to revert to their former commitment to the decompositional hypothesis. (shrink)

Cartwright attempts to argue from an analysis of the composition of forces, and more generally the composition of laws, to the conclusion that laws must be regarded as false. A response to Cartwright is developed which contends that properly understood composition poses no threat to the truth of laws, even though agreeing with Cartwright that laws do not satisfy the "facticity" requirement. My analysis draws especially on the work of Creary, Bhaskar, Mill, and points towards a general rejection of Cartwright's (...) view that laws, especially fundamental laws, should be seen as false. (shrink)

It is commonly acknowledged that, in order to test a theoretical hypothesis, one must, in Duhem' s phrase, rely on a "theoretical scaffolding" to connect the hypothesis with something measurable. Hypothesis-confirmation, on this view, becomes a three-place relation: evidence E will confirm hypothesis H only relative to some such scaffolding B. Thus the two leading logical approaches to qualitative confirmation--the hypothetico-deductive (H-D) account and Clark Glymour' s bootstrap account--analyze confirmation in relative terms. But this raises questions about the philosophical interpretation (...) of the technical conditions these accounts describe. What does it mean to say that E confirms H "relative to B"? How should we interpret the relation we are trying to analyze? (shrink)

This paper defends the legitimacy of semantical responses to certain skeptical challenges, with a particular focus on Putnam’s treatment of a particular version of Brain-in-Vat skepticism. It argues that while Putnam’s argument does not provide a general reply to Brain-in-Vat skepticism, the general approach it exemplifies is actually crucial in replying to other skeptical challenges that are otherwise hard to rebut.

Waldron argues that recent treatments of justice have neglected reasonable disagreement about justice itself. So Waldron offers a procedural account of democratic legitimacy, in which contending views of justice can be brought together to arrive at a decision without deciding which one is correct. However, if there is reasonable disagreement about everything, then this includes his preferred account of legitimacy. On the other hand, it is not clear that Waldron is right to count so much disagreement as reasonable. But then (...) Waldron has not undermined the view he opposes in which some prevailing disagreement about justice is held to be unreasonable. (shrink)

Zetetic norms govern our acts of inquiry. Epistemic norms govern our beliefs and acts of belief formation. Recently, Jane Friedman (2020) has defended that we should think of these norms as conforming a single normative domain: epistemology should take a zetetic turn. Though this unification project implies a substantive re-elaboration of our traditional epistemic norms, Friedman argues that the reasons supporting the turn are robust enough to warrant its revisionary implications. In this paper, I suggest we should read Friedman’s proposal (...) as a dilemma. Either we believe the zetetic turn is well-motivated and undertake the task of looking for the proper revision of our traditional epistemic norms, or we take the revisionary implications of the turn to be unacceptable, in which case our challenge is to show why a zetetic epistemology is not a well-motivated project after all. After presenting this dilemma, I make a case for endorsing its second horn by presenting a two-pronged argument against Friedman’s project. First, I show that the revisionary implications of the zetetic turn are more far-reaching than expected. Second, I defend that the most persuasive reasons for endorsing the turn are not strong enough to support it. Taken together, these considerations speak against accepting the zetetic turn and the revisionary implications that come with it. (shrink)

This is a book about evolution from a post-Darwinian perspective. It recounts the core ideas of French philosopher Henri Bergson and his rediscovery and legacy in the poststructuralist critical philosophies of the 1960s, and explores the confluences of these ideas with those of complexity theory in environmental biology. The failings in the development of systems theory, many of which complex systems theory overcomes, are retold; with Bergson, this book proposes, some of the rest may be overcome too. It asserts that (...) Bergson’s ideas can further our understanding of evolution, and of complex systems, and aid the work of scientists working in the field of ecological complexity. See http://www.creativeemergence.info/ for more detail and sample chapter. "The claim is that Bergson's notions of duration and élan vital resonate with and provide interesting metaphysical speculations complementing a process structuralist biology of the Goodwin and Kauffman stripe. This is certainly provocative and worth further thought. The key claim is that the openness and unpredictability of systems "at the edge of chaos" (where a system can be said to "choose" at bifurcation points in its state space) meets the Bergsonian desideratum of an open universe that takes irreversible time and evolutionary difference seriously. In particular, Kreps stresses the way Bergson's insistence on the differentiating force of élan vital (which Kreps successfully defends from the charge of a substantialist vitalism along the lines of Hans Dreisch) puts him in line with those who see natural selection as a secondary pruning of a primary differentiation." -John Protevi, Notre Dame Philosophical Reviews 2016.01.20 'This is no ordinary introduction to Henri Bergson. What David Kreps' excellent study gives us is Bergson, complexe: first, because there is no simple way to take (or leave) Bergson's ideas - his thought of durée, élan, and 'multiplicity' demands the most subtle and nuanced reading to give them their full justice; and second, because only by intertwining his ideas with the most up-to-date research in systems thinking, complexity theory, and poststructuralism can we begin to understand their absolute contemporaneity. Kreps' work does all this and more: it gives us the Bergson we need for today.' -John Mullarkey, author of Bergson and Philosophy 'Kreps' book is a thoroughly researched and well-written work that shows how Bergson's philosophy of evolution and time can also reinvigorate our ideas about complexity and organization in the natural and physical sciences.' -Stephen Crocker, author of Bergson and the Metaphysics of Media. (shrink)

In this paper, I introduce the notion of ‘philosophy moves’: prominent tropes featured in contemporary academic philosophy. Moves are more than patterns—they are tools for advancing and enriching philosophical debates. By recognizing these patterns in the philosophical literature, we collect an ensemble of moves for deployment in novel contexts, each with the potential to forge new paths of philosophical investigation through a given topic. The moves featured in this paper are constructive and progressive, with the potential to push past stalemates (...) and open a wider conceptual landscape. Following a presentation of five exemplars taken from the philosophy of biology literature, I show how different moves could be made within a current interdisciplinary debate. Overall, I aim to demonstrate that recognizing these patterns is insightful pedagogically and potentially useful when used as part of one’s philosophical methodology. (shrink)

Externalism is the view that the intentional content of a mental state supervenes on its relations to objects in the extramental world. Nativism is the view that some of the innate states of the mind/brain have intentional content. I consider both “causal” and “nomic” versions of externalism, and argue that both are incompatible with nativism. I consider likely candidates for a compatibilist position – a nativism of “narrow” representational states, and a nativism of the contentless formal “vehicles” of representational states. (...) I argue that “narrow nativism” is either too implausible to appeal to the nativist – because it entails that innate representational states are lost as the mind becomes more experienced, or too costly to appeal to the externalist – because a reasonable version of it requires the analytic-synthetic distinction. Finally, I argue that “syntactic nativism” is indistinguishable from classical anti-nativist empiricism, given the latter’s broad tolerance for innate implementation of psychological principles and mechanisms. (shrink)

Albert the Great understands wisdom principally as a characteristic of human science, not principally as a feature of revealed theology. The article deals with the texts of his comments on Nicomachean Ethics and Metaphysics in order to know how he understands this knowledge.

Been working on this approach for years. Hope to get around to publishing it sometime soon!

Originally formulated as a theory of perception, ecological psychology has shown in recent decades an increasing interest in language. However, a comprehensive approach to language by ecological psychology has not yet been developed, as there is neither a naturalist philosophy of language nor one that takes ecological psychology as its scientific background. Our goal here is to argue that a subject naturalist and non-factualist framework can open the possibility of an expressivist analysis of perceptual judgments that is compatible with the (...) ecological understanding of perception, showing that such utterances do not work as descriptions of facts or states-of-affairs, but rather say something about the practical requirements necessary to display a perceptual vocabulary. We will also argue that this approach allows an understanding of perceptual content as clusters of socially-mediated affordances. If our proposal is sound, it would constitute a first and fruitful approximation toward establishing a naturalist link between embodied cognitive science and philosophy of language. (shrink)

Dark matter has never been detected, yet it is a key part of the dominant theory of cosmology. An alternative theory, MOND, is empirically equivalent and more successful at making predictions. But the fact that it has no place for the existence of dark matter is a problem for scientific realists who see science as building on past theories.

Philosophers of language have drawn on metamathematical results in varied ways. Extensionalist philosophers have been particularly impressed with two, not unrelated, facts: the existence, due to Frege/Tarski, of a certain sort of semantics, and the seeming absence of intensional contexts from mathematical discourse. The philosophical import of these facts is at best murky. Extensionalists will emphasize the success and clarity of the model theoretic semantics; others will emphasize the relative poverty of the mathematical idiom; still others will question the aptness (...) of the standard extensional semantics for mathematics. In this paper I investigate some implications of the Gödel Second Incompleteness Theorem for these positions. I argue that the realm of mathematics, proof theory in particular, has been a breeding ground for intensionality and that satisfactory intensional semantic theories are implicit in certain rigorous technical accounts. (shrink)