Lays out a general framework for radical interpretation, which the ensuing chapters apply, respectively, to the theory of reference and to the philosophy of logic. McCarthy's main claim is that a relatively modest set of constitutive principles of interpretation can serve to constrain the semantic description of the language and attitudes of an idealized agent or population in such a way as to resolve the indeterminacies of interpretation that naturally present themselves. The starting points of the discussion are the constraints (...) on interpretation suggested by Davidson and Lewis, which are found to admit many incompatible semantic descriptions of a simple extensional language, if any at all. McCarthy then investigates some obstructions to extending this argument to languages involving certain modalities, resulting in a limited remedy for Quinean indeterminacies by a partial endorsement of the constraints on interpretation suggested by the aforementioned commentators. McCarthy finally proposes a further constraint on interpretation, satisfaction of what he calls the ‘Rigidity Condition’, which is argued to resolve all cases of referential indeterminacies that are distinctively Quinean. (shrink)

Applies the Conformal Framework to the philosophy of logic, and, in particular, to what McCarthy calls the Interpretation Problem for Logic, i.e. the problem of characterizing the logical devices of a language, as opposed to its descriptive expressions, paradigm examples of which include observational predicates and natural kind terms, on the basis of the data provided by an interpretation of its speakers. An extension of the Conformal Framework is given that facilitates a general solution to the interpretation problem: a logical (...) constant, on McCarthy's account, is an operator whose semantic role is invariant under structure‐preserving transformations defined across situations, which are epistemically possible for the idealized intentional system interpreted. Such a characterization results in a relative determinacy: the interpretations of the logical terms in the intentional system's language are fixed by the role they play in stories describing worlds that are epistemically possible for the system, which in turn is fixed by the system's inductive method. (shrink)

Applies the ‘Conformal Framework’ developed in Ch. 2 to some problems of the classical theory of reference, namely, to the question of how the reference of expressions in specific problem categories, in particular, proper names, observational predicates, and natural kind terms, is determined. McCarthy proposes interpretationally motivated accounts of the reference of these terms that cut across the conflicting accounts presented by causal and descriptive theories of reference. The striking feature of these accounts is their ‘local holism’: in each of (...) the three cases under consideration, the answer provided takes the form of saying how the reference of expressions of the given sort is fixed relative to the interpretations of expressions in one or both of the other sorts. The reference mechanisms suggested stand in a dialectical relation to the Conformal Framework, in the sense that they are justified by the latter and at the same time lend support the Framework's constitutive principles proposed in Ch. 2. (shrink)

Serves three main purposes: first, it lays out and attempts to justify the methodological point of view of the investigation. Secondly, it situates the theory put forward in the context of the recent history of the subject, which is dominated by three families of responses to Quine's indeterminacy arguments, namely, Kripkean theories of reference, Dummettian verificationist accounts, and theories of interpretation along the lines of those favoured by Davidson and Lewis. Thirdly, it sketches some of the substantive conclusions reached in (...) the subsequent chapters of the book. (shrink)

This remarkable collection explores the legacy of Wittgenstein's work in contemporary American philosophy. The contributors (including several celebrated philosophers) take a variety of approaches to Wittgenstein; they discuss such topics as rule-following, realism about mathematics, the method of the Tractatus, the relation between style and content in Wittgenstein, and his distinction between sense and nonsense. Wittgenstein also is discussed in relation to subsequent philosophers such as Quine and Kripke.

Let us sum up. We began with the question, “What is the interest of a model-theoretic definition of validity?” Model theoretic validity consists in truth under all reinterpretations of non-logical constants. In this paper, we have described for each necessity concept a corresponding modal invariance property. Exemplification of that property by the logical constants of a language leads to an explanation of the necessity, in the corresponding sense, of its valid sentences. I have fixed upon the epistemic modalities in characterizing (...) the logical constants: to be a logical constant in the language of a population is to be invariant over a modality describing complete possible epistemic states of that population (or an idealized analogue thereof). The grounds for this characterization are these: (1) It leads, I believe, to an extensionally reasonable demarcation of the logical constants, including clear cases and excluding clear non-cases. It gives a principled criterion for deciding unclear cases. (2) It provides an analysis of the topic-neutrality of logic. (3) It leads to an explanation of the epistemic necessity of the logical truths in terms of the topic-neutrality of the logical constants.All the same, it is reasonable to ask, even if the suggested demarcation of logic is extensionally correct, whether it can reasonably be expected to be fundamental. The epistemic invariance of an expression is a rather striking property, one which we should want to explain. What is missing, then, is an explanation of the distinguishing epistemic properties of the constants in terms of more fundamental properties involving their understanding and use. It would be these that properly define the nature, not just the extent, of logic. (shrink)

I discuss a general limitative consequence of the unrestricted mereological composition thesis. The unrestricted composition thesis, which is roughly the assertion that every plurality of objects possesses a fusion or sum, is shown to be in conflict with general existence-conditions for certain categories of mereologically non-composite objects. The conclusion is that the unrestricted composition thesis, which is a maximizing principle about what aggregates exist, places sharp limits on what unaggregated items can exist.

McCarthy develops a theory of radical interpretation--the project of characterizing from scratch the language and attitudes of an agent or population--and applies it to the problems of indeterminacy of interpretation first described by Quine. The major theme in McCarthy's study is that a relatively modest set of interpretive principles, properly applied, can serve to resolve the major indeterminacies of interpretation.

A persistent complaint about modal forms of the ontological argument is that the characteristic modalized existence assumptions of these arguments are simply too close to the conclusion to be of much probative value in establish­ing it. I present an abstract form of the ontological argument in which the properties imputed to the divine nature by these assumptions are replaced by any of a wide class of properties of a sort I call “actualizing.” These include basic theistic attributes such as authorship, (...) sovereignty and omniscience. The import of these arguments is to show that the metaphysical coherence of some of the most familiar conceptions of the divine nature ensures their actual realization. (shrink)

In a note appended to the translation of “On consistency and completeness” (), Gödel reexamined the problem of the unprovability of consistency. Gödel here focuses on an alternative means of expressing the consistency of a formal system, in terms of what would now be called a ‘reflection principle’, roughly, the assertion that a formula of a certain class is provable in the system only if it is true. Gödel suggests that it is this alternative means of expressing consistency that we (...) should be interested in from a foundational point of view, and he gives a result that shows certain reflection principles to be underivable in extensions of elementary number theory under conditions significantly weaker than the Hilbert-Bernays derivability conditions. In this paper I shall discuss the background to Gödel's result and the foundational significance he claims for it. Along the way, I shall present a new proof of the result which places it in an even more general context than the one considered by Gödel in the 1960s. (shrink)

Domination consists in subjection to the will of others and manifests itself both as a personal relation and a structural phenomenon serving as the context for relations of power. Domination has again become a central political concern through the revival of the republican tradition of political thought . However, normative debates about domination have mostly remained limited to the context of domestic politics. Also, the republican debate has not taken into account alternative ways of conceptualizing domination. Critical theorists, liberals, feminists, (...) critical race theorists, and postcolonial writers have discussed domination in different ways, focusing on such problems as imperialism, racism, and the subjection of indigenous peoples. This volume extends debates about domination to the global level and considers how other streams in political theory and nearby disciplines enrich, expand upon, and critique the republican tradition’s contributions to the debate. This volume brings together, for the first time, mostly original pieces on domination and global political justice by some of this generation’s most prominent scholars, including Philip Pettit, James Bohman, Rainer Forst, Amy Allen, John McCormick, Thomas McCarthy, Charles Mills, Duncan Ivison, John Maynor, Terry Macdonald, Stefan Gosepath, and Hauke Brunkhorst. -/- Front matter and First chapter available for download. (shrink)

Timothy Williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified modal logic. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics.

Vagueness provides the first comprehensive examination of a topic of increasing importance in metaphysics and the philosophy of logic and language. Timothy Williamson traces the history of this philosophical problem from discussions of the heap paradox in classical Greece to modern formal approaches such as fuzzy logic. He illustrates the problems with views which have taken the position that standard logic and formal semantics do not apply to vague language, and defends the controversial realistic view that vagueness is a (...) kind of ignorance--that there really is a grain of sand whose removal turns a heap into a non-heap, but we cannot know which one it is. (shrink)

The second volume in the _Blackwell Brown Lectures in Philosophy_, this volume offers an original and provocative take on the nature and methodology of philosophy. Based on public lectures at Brown University, given by the pre-eminent philosopher, Timothy Williamson Rejects the ideology of the 'linguistic turn', the most distinctive trend of 20th century philosophy Explains the method of philosophy as a development from non-philosophical ways of thinking Suggests new ways of understanding what contemporary and past philosophers are doing.

Understandably absorbed in technical details, discussion of the semantic paradoxes risks losing sight of broad methodological principles. This chapter sketches a general approach to the comparison of rival logics, and applies it to argue that revision of classical propositional logic has much higher costs than its proponents typically recognize.

In this paper we discuss how Causal Decision Theory should be modified to handle a class of problematic cases involving deterministic laws. Causal Decision Theory, as it stands, is problematically biased against your endorsing deterministic propositions (for example it tells you to deny Newtonian physics, regardless of how confident you are of its truth). Our response is that this is not a problem for Causal Decision Theory per se, but arises because of the standard method for assessing the truth of (...) certain counterfactuals. The truth of deterministic laws is `modally fragile' on the standard semantics for counterfactuals: if determinism is true and you were to do otherwise, the laws would be different. We provide two ways of avoiding this problem: 1) supplement the standard semantics for counterfactuals with impossible worlds, or 2) introduce rigid designators into the description of problematic decision situations. We argue that both of these approaches are well-motivated and can be readily incorporated into Lewisian Causal Decision Theory. (shrink)

The paper clarifies and defends the orthodox view that counterfactual conditionals with impossible antecedents are vacuously true against recent criticisms. It argues that apparent counterexamples to orthodoxy result from uncritical reliance on a fallible heuristic used in the processing of conditionals. A comparison is developed between such counterpossibles and vacuously true universal generalizations.

Recently, bioethicists and the UNCRPD have advocated for supported medical decision-making on behalf of patients with intellectual disabilities. But what does supported decision-making really entail? One compelling framework is Anita Silvers and Leslie Francis’ mental prosthesis account, which envisions supported decision-making as a process in which trustees act as mere appendages for the patient’s will; the trustee provides the cognitive tools the patient requires to realize her conception of her own good. We argue that supported decision-making would be better understood (...) as a collaborative process, giving patients with intellectual disabilities the opportunity to make decisions in a respectful relationship with trusted others. We offer an alternative account of supported decision-making where the primary constraint is to protect the patient from domination by the trustee. This is advantageous in its preservation of the prospects for genuine collaboration, for the mental prosthesis approach ultimately reinforces a problematic ideal of isolated patient self-determination. (shrink)

Imagine a philosophy conference in Presocratic Greece. The hot question is: what are things made of? Followers of Thales say that everything is made of water, followers of Anaximenes that everything is made of air, and followers of Heraclitus that everything is made of fire. Nobody is quite clear what these claims mean, and some question whether the founders of the respective schools ever made them. But amongst the groupies there is a buzz about all the recent exciting progress. The (...) mockers and doubters make plenty of noise too. They point out that no resolution of the dispute between the schools is in sight. They diagnose Thales, Anaximenes and Heraclitus as suffering from a tendency to overgeneralize. We can intelligibly ask what bread is made of, or what houses are made of, but to ask what things in general are made of is senseless, some suggest, because the question is posed without any conception of how to verify an answer; language has gone on holiday. Paleo-pragmatists invite everyone to relax, forget their futile pseudo-inquiries and do something useful instead. (shrink)