El presente trabajo nació como una reflexión posterior a la traducción del libro de Stanley Cavell Contesting Tears: The Hollywood Melodrama of the Unknown Woman. La reflexión era necesaria habida cuenta de las dudas suscitadas por la traducción del título del libro. Para ser más exacto, la reflexión giraba en torno a las lágrimas que forman parte de la primera parte del título, las lágrimas vertidas por las mujeres desconocidas que protagonizan los melodramas analizados en el libro. En mi (...) opinión, llegar a entender la razón y la naturaleza de esas lágrimas es clave para comprender lo que Cavell nos viene contando desde hace cinco décadas. Por ello, lo que sigue intenta reunir mis propios comentarios sobre la obra de Cavell en general, con la justificación de la traducción final del título: Más allá de las lágrimas. (shrink)

The distinction between knowing how to do something and knowing that something is the case is a piece of common sense. Still, it has been suggested that one of these concepts can be reduced to the other one. Intellectualists like Jason Stanley (2011) try to reduce know-how to propositional knowledge, while practicalists like Stephen Hetherington (2011) try to reduce propositional knowledge to know-how. I argue that both reductionist programs fail because they make the manifestations of the knowledge to be (...) reduced unintelligible. Contrary to both, I suggest that know-how and propositional knowledge are distinct, but conceptually interdependent. (shrink)

How should we understand knowledge-how – knowledge how to do something? And how is it related to knowledge-that – knowledge that something is the case? In this paper, I will discuss a very important and influential aspect of this question, namely the claim – dubbed ‘Intellectualism’ by Gilbert Ryle – that knowledge-how can be reduced to knowledge-that. Recently, Jason Stanley and Timothy Williamson have tried to establish Intellectualism with the aid of linguistic considerations. This project – Linguistic Intellectualism – (...) will be criticized on three levels. First, I will reconstruct and object to Stanley and Williamson’s positive argument in favour of Intellectualism. Second, I will assess their view of the relationship between knowledge-how and practical ability and argue that their stance is not well-motivated. Third, I will discuss their criticism of Ryle’s objection against Intellectualism. After distinguishing between different versions of Ryle’s argument, I will show that its strongest version is both immune to the objection by Stanley and Williamson and a decisive argument against their own theory. Given that Intellectualism fails for these three reasons, I finally draw on a broader reading of Ryle in order to develop the beginnings of a positive account of knowledge-how and its relationship to knowledge-that. (shrink)

Can we gain knowledge by reading literature? This essay defends an account of reading, developed by Stanley Cavell and Hans-Georg Gadamer, that phenomenologically describes the experience of acquiring self-knowledge by reading literary texts. Two possible criticisms of this account will be considered: first, that reading can provide other kinds of knowledge than self-knowledge; and, second, that the theory involves illegitimately imposing subjective meaning onto a text. It will be argued, in response, that the self-knowledge gained in reading allows one (...) to gain other sorts of knowledge too, and that the reading process described by Gadamer and Cavell avoids excessive subjectivism. (shrink)

The distinction between knowing how to do something and knowing that something is the case is a piece of common sense. Still, it has been suggested that one of these concepts can be reduced to the other one. Intellectualists like Jason Stanley (2011) try to reduce know-how to propositional knowledge, while practicalists like Stephen Hetherington (2011) try to reduce propositional knowledge to know-how. I argue that both reductionist programs fail because they make the manifestations of the knowledge to be (...) reduced unintelligible. Contrary to both, I suggest that know-how and propositional knowledge are distinct, but conceptually interdependent. (shrink)

: Thoreau's journal contains a number of passages which explore the nature of perception, developing a response to skeptical doubt. The world outside the human mind is real, and there is nothing illusory about its perceived beauty and meaning. In this essay, I draw upon the work of Stanley Cavell (among others) in order to frame Thoreau's reflections within the context of the skeptical questions he seeks to address. Value is not a subjective projection, but it also cannot be (...) perceived without the appropriate kind of emotional orientation or attunement toward the world: that is, an attitude of trust or acceptance. Without this affective receptivity, or "perceptual faith," our knowledge of reality is limited. The beliefs we hold onto in the face of objective uncertainty establish the framework within which we make particular evaluations, and in this sense they are a necessary condition of practical reason. Every understanding has its mood. (shrink)

Consider the following sentences: In every race, the colt won; In every race, John won.John Hawthorne and David Manley say that the difference between these two sentences raises a problem for Predicativism about names. According to the currently more standard version of Predicativism, a bare singular name in argument position, like ‘John’ in , is embedded in a definite description with an unpronounced definite article. The problem is supposed to be that permits a covarying reading that allows for different (...) races to have been won by different colts, while does not permit a covarying reading—it can be true only if there is a single John that won every race. But, the objection runs, if the name ‘John’ is really embedded in a definite description with an unpronounced definite article, then the two sentences are structurally parallel and should not differ with respect to covariation. Appealing to Jason Stanley's ‘Nominal Restriction’ , I show that the difference between the two sentences above not only does not raise a problem for Predicativism but also is actually predicted by it. (shrink)

Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more than (...) one website. Paste the whole URL. http://archive.org/stream/RobertiAudi_The.Cambridge.Dictionary.of.Philosophy/Robert.Audi_The.Cambrid ge.Dictionary.of.Philosophy -/- The 2015 third edition will be available soon. Before you think of buying it read some reviews on Amazon and read reviews of its competition: For example, my review of the 2008 Oxford Companion to Philosophy, History and Philosophy of Logic,29:3,291-292. URL: http://dx.doi.org/10.1080/01445340701300429 -/- Some of the entries have already been found to be flawed. For example, Tarski’s expression ‘materially adequate’ was misinterpreted in at least one article and it was misused in another where ‘materially correct’ should have been used. The discussion provides an opportunity to bring more flaws to light. -/- Acknowledgements: Each of these entries was presented at meetings of The Buffalo Logic Dictionary Project sponsored by The Buffalo Logic Colloquium. The members of the colloquium read drafts before the meetings and were generous with corrections, objections, and suggestions. Usually one 90-minute meeting was devoted to one entry although in some cases, for example, “axiomatic method”, took more than one meeting. Moreover, about half of the entries are rewrites of similarly named entries in the 1995 first edition. Besides the help received from people in Buffalo, help from elsewhere was received by email. We gratefully acknowledge the following: José Miguel Sagüillo, John Zeis, Stewart Shapiro, Davis Plache, Joseph Ernst, Richard Hull, Concha Martinez, Laura Arcila, James Gasser, Barry Smith, Randall Dipert, Stanley Ziewacz, Gerald Rising, Leonard Jacuzzo, George Boger, William Demopolous, David Hitchcock, John Dawson, Daniel Halpern, William Lawvere, John Kearns, Ky Herreid, Nicolas Goodman, William Parry, Charles Lambros, Harvey Friedman, George Weaver, Hughes Leblanc, James Munz, Herbert Bohnert, Robert Tragesser, David Levin, Sriram Nambiar, and others. -/- . (shrink)

This essay argues that the exploration of scepticism and its implications in the work of Stanley Cavell and David Hume bears more similarities than is commonly acknowledged, especially along the lines of what I wish to call “sceptical naturalism.” These lines of similarity are described through the way each philosopher relates the “natural” and “nature” to the universal, the necessary, and the conventional.

A number of philosophers endorse, without argument, the view that there’s something it’s like consciously to think that p, which is distinct from what it’s like consciously to think that q. This thesis, if true, would have important consequences for philosophy of mind and cognitive science. In this paper I offer an argument for it, and attempt to induce examples of it in the reader. The argument claims it would be impossible introspectively to distinguish conscious thoughts with respect to their (...) content if there weren’t something it’s like to think them. This argument is defended against several objections. Then I use what I call “minimal pair” experiences—sentences read without and with understanding—to induce in the reader an experience of the kind I claim exists. Further objections are considered and rebutted. (shrink)

This paper presents and motivates a new philosophical and logical approach to truth and semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of meaning---one which takes meaning to be constituted by assertibility and deniability conditions---and shows how the usual multiple-conclusion sequent calculus for classical logic can be given an inferentialist motivation, leaving classical model theory as of only derivative importance. The paper then uses this theory of meaning to present and motivate a logical system---ST---that conservatively extends classical (...) logic with a fully transparent truth predicate. This system is shown to allow for classical reasoning over the full (truth-involving) vocabulary, but to be non-transitive. Some special cases where transitivity does hold are outlined. ST is also shown to give rise to a familiar sort of model for non-classical logics: Kripke fixed points on the Strong Kleene valuation scheme. Finally, to give a theory of paradoxical sentences, a distinction is drawn between two varieties of assertion and two varieties of denial. On one variety, paradoxical sentences cannot be either asserted or denied; on the other, they must be both asserted and denied. The target theory is compared favourably to more familiar related systems, and some objections are considered. (shrink)

Responding rationally to the information that others disagree with one’s beliefs requires assessing the epistemic credentials of the opposing beliefs. Conciliatory accounts of disagreement flow in part from holding that these assessments must be independent from one’s own initial reasoning on the disputed matter. I argue that this claim, properly understood, does not have the untoward consequences some have worried about. Moreover, some of the difficulties it does engender must be faced by many less conciliatory accounts of disagreement.

In this paper we apply social epistemology to mathematical proofs and their role in mathematical knowledge. The most famous modern collaborative mathematical proof effort is the Classification of Finite Simple Groups. The history and sociology of this proof have been well-documented by Alma Steingart (2012), who highlights a number of surprising and unusual features of this collaborative endeavour that set it apart from smaller-scale pieces of mathematics. These features raise a number of interesting philosophical issues, but have received very little (...) attention. In this paper, we will consider the philosophical tensions that Steingart uncovers, and use them to argue that the best account of the epistemic status of the Classification Theorem will be essentially and ineliminably social. This forms part of the broader argument that in order to understand mathematical proofs, we must appreciate their social aspects. (shrink)

This paper shows how to conservatively extend classical logic with a transparent truth predicate, in the face of the paradoxes that arise as a consequence. All classical inferences are preserved, and indeed extended to the full (truth—involving) vocabulary. However, not all classical metainferences are preserved; in particular, the resulting logical system is nontransitive. Some limits on this nontransitivity are adumbrated, and two proof systems are presented and shown to be sound and complete. (One proof system allows for Cut—elimination, but the (...) other does not.). (shrink)

In this paper, we develop an account of the justification thinkers have for employing certain basic belief-forming methods. The guiding idea is inspired by Reichenbach's work on induction. There are certain projects in which thinkers are rationally required to engage. Thinkers are epistemically justified in employing any belief-forming method such that "if it doesn't work, nothing will" for successfully engaging in such a project. We present a detailed account based on this intuitive thought and address objections to it. We conclude (...) by commenting on the implications that our account may have for other important epistemological issues and debates. (shrink)

Representationalists argue that phenomenal states are intentional states of a special kind. This paper offers an account of the kind of intentional state phenomenal states are: I argue that they are underived intentional states. This account of phenomenal states is equivalent to two theses: first, all possible phenomenal states are underived intentional states; second, all possible underived intentional states are phenomenal states. I clarify these claims and argue for each of them. I also address objections which touch on a range (...) of topics, including meaning holism and concept empiricism. I conclude with a brief discussion of the consequences of the proposed view for the project of naturalizing consciousness. (shrink)

The principle of alternate possibilities (PAP), making the ability to do otherwise a necessary condition for moral responsibility, is supposed by Harry Frankfurt, John Fischer, and others to succumb to a peculiar kind of counterexample. The paper reviews the main problems with the counterexample that have surfaced over the years, and shows how most can be addressed within the terms of the current debate. But one problem seems ineliminable: because Frankfurt''s example relies on a counterfactual intervener to preclude alternatives to (...) the person''s action, it is not possible for it to preclude all alternatives (intervention that is contingent upon a trigger cannot bring it about that the trigger never occurred). This makes it possible for the determined PAPist to maintain that some pre-intervention deviation is always available to ground moral responsibility. In reply, the critic of PAP can examine all the candidate deviations and argue their irrelevance to moral responsibility (a daunting prospect); or the critic can dispense with counterfactual intervention altogether. The paper pursues the second of these strategies, developing three examples of noncounterfactual intervention in which (i) the agent has no alternatives (and a fortiori no morally relevant alternatives), yet (ii) there is just as much reason to think that the agent is morally responsible as there was in Frankfurt''s original example. The new counterexamples do suffer from one liability, but this is insufficient in the end to repair PAP''s conceptual connection between moral responsibility and alternate possibilities. (shrink)

Until recently, discussion of virtues in the philosophy of mathematics has been fleeting and fragmentary at best. But in the last few years this has begun to change. As virtue theory has grown ever more influential, not just in ethics where virtues may seem most at home, but particularly in epistemology and the philosophy of science, some philosophers have sought to push virtues out into unexpected areas, including mathematics and its philosophy. But there are some mathematicians already there, ready to (...) meet them, who have explicitly invoked virtues in discussing what is necessary for a mathematician to succeed. In both ethics and epistemology, virtue theory tends to emphasize character virtues, the acquired excellences of people. But people are not the only sort of thing whose excellences may be identified as virtues. Theoretical virtues have attracted attention in the philosophy of science as components of an account of theory choice. Within the philosophy of mathematics, and mathematics itself, attention to virtues has emerged from a variety of disparate sources. Theoretical virtues have been put forward both to analyse the practice of proof and to justify axioms; intellectual virtues have found multiple applications in the epistemology of mathematics; and ethical virtues have been offered as a basis for understanding the social utility of mathematical practice. Indeed, some authors have advocated virtue epistemology as the correct epistemology for mathematics (and perhaps even as the basis for progress in the metaphysics of mathematics). This topical collection brings together several of the researchers who have begun to study mathematical practices from a virtue perspective with the intention of consolidating and encouraging this trend. (shrink)

There have recently been a number of strong claims that normative considerations, broadly construed, influence many philosophically important folk concepts and perhaps are even a constitutive component of various cognitive processes. Many such claims have been made about the influence of such factors on our folk notion of causation. In this paper, we argue that the strong claims found in the recent literature on causal cognition are overstated, as they are based on one narrow type of data about a particular (...) type of causal cognition; the extant data do not warrant any wide-ranging conclusions about the pervasiveness of normative considerations in causal cognition. Of course, almost all empirical investigations involve some manner of ampliative inference, and so we provide novel empirical results demonstrating that there are types of causal cognition that do not seem to be influenced by moral considerations. (shrink)

Dispositional essentialists argue that physical properties have their causal roles essentially. This is typically taken to mean that physical properties are identical to dispositions. I argue that this is untenable, and that we must instead say that properties bestow dispositions. I explore what it is for a property to have such a role essentially. Dispositional essentialists argue for their view by citing certain epistemological and metaphysical implications, and I appeal to these implications to place desiderata on the concept of essence (...) involved. I argue that the traditional modal theory of essence meets these desiderata, but that the resulting theory wrongly implies that certain dispositions essential to mass are essential to charge, thereby offering a new argument against modal theories of essence. I argue that dispositional essentialism requires a primitive notion of essence, and develop a primitivist theory based on Kit Fine's views. I show that the primitivist theory has all the virtues of the modal alternative, and none of the vices. I develop a novel way of thinking about the relationship between properties, laws and dispositions, and argue that it has distinct advantages over standard dispositional essentialist formulations. (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)

Platonism in the philosophy of mathematics is the doctrine that there are mathematical objects such as numbers. John Burgess and Gideon Rosen have argued that that there is no good epistemological argument against platonism. They propose a dilemma, claiming that epistemological arguments against platonism either rely on a dubious epistemology, or resemble a dubious sceptical argument concerning perceptual knowledge. Against Burgess and Rosen, I show that an epistemological anti- platonist argument proposed by Hartry Field avoids both horns of their dilemma.

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)

Truthmaker theorists claim that for every truth, there is something in virtue of which it is true—or, more cautiously, that for every truth in some specified class of truths, there is something in virtue of which it is true. I argue that it is hard to see how the thought that truth is grounded in reality lends any support to truthmaker theory.

This paper discusses the significance of non-causal dependence for truthmaker theory. After introducing truthmaker theory (section 1), I discuss a challenge to it levelled by Benjamin Schnieder. I argue that Schnieder’s challenge can be met once we acknowledge the existence of non-causal dependence and of explanations which rely on it (sections 2 to 5). I then mount my own argument against truthmaker theory, based on the notion of non-causal dependence (sections 6 and 7).

in Robin Le Poidevin (ed.) Being: Developments in Contemporary Metaphysics. Cambridge: Cambridge University Press. Peter van Inwagen claims that there are no tables or chairs. He also claims that sentences such as ‘There are chairs here’, which seem to imply their existence, are often true. This combination of views opens van Inwagen to a charge of self-contradiction. I explain the charge, and van Inwagen’s response to it, which involves the claim that sentences like ‘There are tables’ shift their truth-conditions between (...) different contexts of utterance. I present an alternative response which involves the negation of that claim, and argue that it is preferable to van Inwagen’s. (shrink)

Certain situations seem to call for acknowledging the possibility that one’s own beliefs are biased or distorted. On the other hand, certain sorts of epistemic self-doubts (such as ‘I believe it’s raining, but it’s not’) seem paradoxical. And some have put forth epistemic principles requiring rational agents to regard their own credences as so-called ‘expert functions’. This paper examines the question of whether rationality requires agents to respect their own credences in a way in which they need not respect the (...) credences of others. (shrink)

I defend Joseph Melia’s nominalist account of mathematics from an objection raised by Mark Colyvan.

The 'completeness of physics' is the key premise in the causal argument for physicalism. Standard formulations of it fail to rule out emergent downwards causation. I argue that it must do this if it is tare in a valid causal argument for physicalism. Drawing on the notion of conferring causal power, I formulate a suitable principle, 'strong completeness'. I investigate the metaphysical implications of distinguishing this principle from emergent downwards causation, and I argue that categoricalist accounts of properties are better (...) equipped to sustain the distinction than dispositional essentialist accounts. Finally, I argue that the additional evidence needed for strong completeness renders the causal argument otiose for any properties amenable to scientific reduction. (shrink)

Metaphysics is largely an a priori business, albeit a business that is sensitive to the findings of the physical sciences. This chapter has two aims. The first is to defend a particular conception of the methodology of a priori metaphysics by, in part, exemplifying that methodology and revealing its results. The second is to present a new account of holes. These two aims dovetail nicely. The chapter provides a better analysis of the concept ′hole′ that yields a more plausible metaphysical (...) story about holes. The authors defend a new, functionalist, analysis of holes, which, unlike its rivals, neither misidentifies nor renders them implausibly eliminativist about holes under various different metaphysical suppositions about the nature of space. In the process, the authors set out the complex relations between the intension of "hole," and its extension at various worlds under different suppositions about the nature of space. (shrink)

Kant’s account of the freedom gained through virtue builds on the Socratic tradition. On the Socratic view, when morality is our end, nothing can hinder us from attaining satisfaction: we are self-sufficient and free since moral goodness is (as Kant says) “created by us, hence is in our power.” But when our end is the fulfillment of sensible desires, our satisfaction requires luck as well as the cooperation of others. For Kant, this means that happiness requires that we get other (...) people to work for our ends; and this requires, in turn, that we gain control over the things other people value so as to have influence over them. If this plan for happiness is not subordinated to morality, then what is most valuable to us will be precisely what others value. This is the root of the “passions” that make us evil and make us slaves whose satisfaction depends on others. But, significantly, this dependence is a moral slavery and hence does not signal a loss, or even diminishment of the kind of freedom required for moral responsibility. (shrink)

Mathematically, gauge theories are extraordinarily rich --- so rich, in fact, that it can become all too easy to lose track of the connections between results, and become lost in a mass of beautiful theorems and properties: indeterminism, constraints, Noether identities, local and global symmetries, and so on. -/- One purpose of this short article is to provide some sort of a guide through the mathematics, to the conceptual core of what is actually going on. Its focus is on the (...) Lagrangian, variational-problem description of classical mechanics, from which the link between gauge symmetry and the apparent violation of determinism is easy to understand; only towards the end will the Hamiltonian description be considered. -/- The other purpose is to warn against adopting too unified a perspective on gauge theories. It will be argued that the meaning of the gauge freedom in a theory like general relativity is (at least from the Lagrangian viewpoint) significantly different from its meaning in theories like electromagnetism. The Hamiltonian framework blurs this distinction, and orthodox methods of quantization obliterate it; this may, in fact, be genuine progress, but it is dangerous to be guided by mathematics into conflating two conceptually distinct notions without appreciating the physical consequences. (shrink)

Call a thought whose expression involves the utterance of an indexical an indexical thought. Thus, my thoughts that I’m annoyed, that now is not the right time, that this is not acceptable, are all indexical thoughts. Such thoughts present a prima facie problem for the thesis that thought contents are phenomenally individuated -- i.e., that each distinct thought type has a proprietarily cognitive phenomenology such that its having that phenomenology makes it the thought that it is -- given the assumption (...) that phenomenology is intrinsically determined. My concern in this paper is to blunt standard intuitions concerning the external individuation of indexical thought contents, and to defend a conception of indexical thought content that is entirely phenomenal and internalist. (shrink)

Given their physical realization, what causal work is left for functional properties to do? Humean solutions to the exclusion problem (e.g. overdetermination and difference-making) typically appeal to counterfactual and/or nomic relations between functional property-instances and behavioural effects, tacitly assuming that such relations suffice for causal work. Clarification of the notion of causal work, I argue, shows not only that such solutions don't work, but also reveals a novel solution to the exclusion problem based on the relations between dispositional properties at (...) different levels of mechanism, which involves three central claims: (i) the causal work of properties consists in grounding dispositions, (ii) functional properties are dispositions, and (iii) the dispositions of mechanisms are grounded in the dispositions of their components. Treating functional mental properties as dispositions of components in psychological mechanisms, I argue that such properties do the causal work of grounding agent-level dispositions. These dispositions, while ultimately grounded in the physical realizers of mental properties, are indirectly so grounded, through a hierarchy of grounding relations that extends upwards, of necessity, through the mental domain. (shrink)

Many philosophers of mathematics are attracted by nominalism – the doctrine that there are no sets, numbers, functions, or other mathematical objects. John Burgess and Gideon Rosen have put forward an intriguing argument against nominalism, based on the thought that philosophy cannot overrule internal mathematical and scientific standards of acceptability. I argue that Burgess and Rosen’s argument fails because it relies on a mistaken view of what the standards of mathematics require.

I discuss the prospects for novel communication methods in academic research. I describe communication tools which could enhance the practice of conceptual analysis.

I BELIEVE THAT the intellectual capacity of women is on the whole inferior to that of men. By "on the whole," I do not mean just "on the average"; though I do mean that much. My belief is, if you take any degree of intellectual capacity which is above the average for the human race, as a whole, then a possessor of that degree of intellectual capacity is a good deal more likely to be man than a woman.

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)

My favorite thing about this paper is that I think I usefully explicate and then mess with Bernard Williams's attempt to explain how his internalism is compatible with our ordinary practices of blame. There are a surprising number of things wrong with Williams's position. Of course that leaves my own favored subjectivism in a pickle, but still...

This paper proffers an account of why interdisciplinary research on, inter alia, the nature of time can be fruitful even if the disciplines in question have different explanatory pro-jects. We suggest that the special sciences perform a subject setting role for lower-level disciplines such as physics. In essence, they tell us where, amongst a theory of the physical world, we should expect to locate phenomena such as temporality; they tell us what it would take for there to be time. Physical (...) theory tells us whether there is anything like that in the world and what its hidden nature is. Only working in tandem can physics and the special sciences locate and describe the phenomenon that is time. (shrink)

I discuss the quantum mechanical theory of consciousness and freewill offered by Stapp (1993, 1995, 2000, 2004). First I show that decoherence-based arguments do not work against this theory. Then discuss a number of problems with the theory: Stapp's separate accounts of consciousness and freewill are incompatible, the interpretations of QM they are tied to are questionable, the Zeno effect could not enable freewill as he suggests because weakness of will would then be ubiquitous, and the holism of measurement in (...) QM is not a good explanation of the unity of consciousness for essentially the same reason that local interactions may seem incapable of accounting for it. (shrink)