What makes our utterances mean what they do? In this work I formulate and justify a structural constraint on possible answers to this key question in the philosophy of language, and I show that accepting this constraint leads naturally to the adoption of an algebraic formalization of truth-theoretic semantics. I develop such a formalization, and show that applying algebraic methodology to the theory of meaning yields important insights into the nature of language. ;The constraint I propose is, roughly, this: the (...) meaning of an utterance of a natural language sentence is derived from the place of that sentence within a system that includes other sentences, and is structured in virtue of primitive semantic facts about complete sentences. This constraint calls for a formal semantics program where the meaning of natural language sentences is represented by an appropriate assignment of the elements of an algebraic structure to sentences, an assignment that represents facts concerning complete sentences. I call the above constraint 'The Algebraic Thesis', and the corresponding formal semantics program 'Algebraic Semantics.' ;I introduce AT by carving it out of the holistic views of language of Quine and Davidson, and I show that it is independent of other important features of these philosophers' views. I then argue for AT, taking into account recent work by Brandom, Dummett, Fodor and Lepore, Gaifman and Perry. In developing Algebraic Semantics I present structures of two basic types: Boolean algebras and cylindric algebras; these structures are construed in the context of AT in a novel way: they are treated as applying to classes of sentences as numbers apply to physical objects in measurement. Applying algebraic methodology to formal semantics and to the theory of meaning, I develop these results: ; An account of the semantics of necessity and possibility that avoids both Quine's dismissal of these notions and their reduction by David Lewis to quantification over possible worlds; ; The application of the model-theoretic notion of expansion to capture the process of our learning progressively more of the meaning of expressions in our first languages. (shrink)

Putnam and Searle famously argue against computational theories of mind on the skeptical ground that there is no fact of the matter as to what mathematical function a physical system is computing: both conclude (albeit for somewhat different reasons) that virtually any physical object computes every computable function, implements every program or automaton. There has been considerable discussion of Putnam's and Searle's arguments, though as yet there is little consensus as to what, if anything, is wrong with these arguments. In (...) the present paper we show that an analogous line of reasoning can be raised against the numerical measurement (i.e., numerical representation) of physical magnitudes, and we argue that this result is a reductio ad absurdum of the challenge to computational skepticism. We then use this reductio to get clearer about both (i) what's wrong with Putnam's and Searle's arguments against computationalism, and (ii) what can be learned about both computational implementation and numerical measurement from the shortcomings of both sorts of skeptical argument. (shrink)

In the first section of this paper I present a well known objection to meaning holism, according to which holism is inconsistent with natural language being learnable. Then I show that the objection fails if language acquisition includes stages of partial grasp of the meaning of at least some expressions, and I argue that standard model theoretic semantics cannot fully capture such stages. In the second section the above claims are supported through a review of current research into language acquisition. (...) Finally, in the third section it is argued that contemporary algebraic logical systems consist in a superior formal vehicle through which to capture stages of partial grasp of meaning; this claim is supported by concrete examples. (shrink)

The content of our propositional attitudes is often characterized by assigning them abstract entities, namely propositions. In decision theory the attitudes are also assigned numerical measures. It may thus be asked how assignments of these two types are related to each other — both metaphysically and structurally. In the first section of this paper I argue for the importance of this question and I review Davidson’s unified account of decision theory and radical interpretation as a failed attempt to answer it. (...) Then, in the main part of the paper, I present a unified measurement-theoretic account of linguistic meaning, propositional mental content, and action, an account that avoids the difficulties of Davidson’s picture. Thus in the second section I outline two theoretical preliminaries (the representational theory of measurement and Savage’s decision theory), in the third section I present the proposed novel account, and in the fourth section I defend it against various objections. (shrink)

In the first section of this paper I present the measurement-theoretic fallacy of 'over-assignment of structure': the unwarranted assumption that every numeric relation holding among two (or more) numbers represents some empirical, physical relation among the objects to which these numbers are assigned as measures (e.g., of temperature). In the second section I argue that a generalized form of this fallacy arises in various philosophical contexts, in the form of a misguided, over-extended application of one conceptual domain to another. Three (...) examples are given: (i) the reduction of arithmetic into set theory, (ii) the ascription of full-blown intentional states to (at least some) non-overtly intentional creatures, such as Wittgenstein's builders, and (iii) the analysis of some modal notions as involving quantification over possible worlds (or their substitutes). The discussion of the third example gives rise to a novel account of possible-worlds talk. (shrink)

In the first section of this paper I define meaning holism (MH) and compare it to related theses. In the second section I review several theories of meaning that incorporate MH as a feature, and in the third section I discuss the question whether and how MH is consistent with the assignment of semantic values to linguistic expressions. Finally, in the fourth section I present the main objections raised against MH in the literature and the answers given to them.

In the first section of the paper I present Alan Turing’s notion of effective memory, as it appears in his 1936 paper ‘On Computable Numbers, With an Application to The Entscheidungsproblem’. This notion stands in surprising contrast with the way memory is usually thought of in the context of contemporary computer science. Turing’s view (in 1936) is that for a computing machine to remember a previously scanned string of symbols is not to store an internal symbolic image of this string. (...) Rather, memory consists in the fact that the past scanning of the string affects the behavior of the computer in the face of potential future inputs. In the second, central section of the paper I begin exploring how this view of Turing’s bears upon contemporary discussions in the philosophy of mind. In particular, I argue that Turing’s approach can be used to lend support to dispositional conceptions of the propositional attitudes, like the one recently presented by Matthews (2007), and that his effective memory manifests some of the characteristics of Millikan’s (1996) pushmepullyou mental states. (shrink)

In the first section of this paper I present a view of linguistic meaning that I label 'Sentence Priority’: the position that semantically primitive language‐world contact is made at the level of complete sentences . Then, in the main part of the paper, I consider and reject an objection against Sentence Priority raised by John Perry, an objection that appeals to Wittgenstein's builders parable. Perry argues that the builder's utterances are utterances of self‐standing nouns, and that therefore they constitute a (...) counter‐example to SP. A sound assessment of Perry's argument, however, depends on a clear distinction between two cases: one in which the four expressions mentioned in Wittgenstein's example exhaust the builders’expressive powers, and one in which they do not. Once these cases are distinguished it can be seen that in neither does Perry's argument go through. (shrink)

In his recent book The Measure of Mind Robert Matthews presents the most elaborate and convincing attempt to date to account for the propositional attitudes in measurement theoretic terms. In the first section of this paper I review earlier applications of measurement-theoretic conceptualization to the discussion of the mind, I outline Matthews' own account, and I raise two questions concerning it. Then, in the second section of the paper, I present a unified measurement-theoretic account of both linguistic meaning and the (...) propositional attitudes, in which a variant of Matthews' position is embedded. Such a unified account, I argue, yields satisfactory answers to the questions raised with respect to Matthews' original view, and demonstrates other advantages. (shrink)

In the first section of this paper I review Measurement Theoretic Semantics – an approach to formal semantics modeled after the application of numbers in measurement, e.g., of length. In the second section it is argued that the measurement theoretic approach to semantics yields a novel, useful conception of propositions. In the third section the measurement theoretic view of propositions is compared with major other accounts of propositional content.

In the first two sections I present and motivate a formal semantics program that is modeled after the application of numbers in measurement (e.g., of length). Then, in the main part of the paper, I use the suggested framework to give an account of the semantics of necessity and possibility: (i) I show thatthe measurement theoretic framework is consistent with a robust (non-Quinean) view of modal logic, (ii) I give an account of the semantics of the modal notions within this (...) framework, and (iii) I defend the suggested account against various objections. (shrink)

In the first two sections I present and motivate a formal semantics program that is modeled after the application of numbers in measurement (e.g., of length). Then, in the main part of the paper, I use the suggested framework to give an account of the semantics of necessity and possibility: (i) I show thatthe measurement theoretic framework is consistent with a robust (non-Quinean) view of modal logic, (ii) I give an account of the semantics of the modal notions within this (...) framework, and (iii) I defend the suggested account against various objections. (shrink)

Proponents of meaning holism often invoke notions of meaning similarity and semantic spatiality in order to counter accusations that holism renders language unstable and chaotic. However, talk of such notions often falls short of being explicit and formal. In this paper I present an algebraically couched theory of inferential similarity and spatiality, motivated by measurement theory, and I apply it to the discussion of meaning holism. I argue that the proposed theory offers new and improved conceptual resources for facing the (...) challenges raised against the thesis. (shrink)

In the first section of this paper I consider the practice of volume-measurement in baking, and I distinguish between two measurement schemes that can be extracted from this practice. In the second section I argue that the ascription of propositional content to utterances bears intuitive affinity to one of these schemes, that extant accounts of propositions are in the mold of the other scheme, and that therefore an alternative conception of propositions is called for.

In the first section of this paper I follow an important trajectory in the development of Davidson's notion of radical interpretation: From being interpretationally concerned only with language, like Quine's radical translation that precedes it, through involving the ascription of belief in increasingly complex ways, to finally incorporating desire and preference. In the second section of the paper I show that Davidson falls short of incorporating non-linguistic action in radical interpretation, I assess his motivations for doing so, and I criticize (...) these motivations. In the third and final section I propose a unified interpretation scheme for language, action and mind. (shrink)

In their recent paper “Do Accelerating Turing Machines Compute the Uncomputable?” Copeland and Shagrir draw a distinction between a purist conception of Turing machines, according to which these machines are purely abstract, and Turing machine realism according to which Turing machines are spatio-temporal and causal “notional" machines. In the present response to that paper we concede the realistic aspects of Turing’s own presentation of his machines, pointed out by Copeland and Shagrir, but argue that Turing's treatment of symbols in the (...) course of that presentation opens the door for later purist conceptions. Also, we argue that a purist conception of Turing machines plays an important role not only in the analysis of the computational properties of Turing machines, but also in the philosophical debates over the nature of their realization. (shrink)

What is the philosophical significance of the soundness and completeness theorems for first-order logic? In the first section of this paper I raise this question, which is closely tied to current debate over the nature of logical consequence. Following many contemporary authors' dissatisfaction with the view that these theorems ground deductive validity in model-theoretic validity, I turn to measurement theory as a source for an alternative view. For this purpose I present in the second section several of the key ideas (...) of measurement theory, and in the third and central section of the paper I use these ideas in an account of the relation between model theory, formal deduction, and our logical intuitions. (shrink)

In the first section of this paper I define a set of measures for proof complexity, which combine measures in terms of length and space. In the second section these measures are generalized to the broader category of formal texts. In the third section of the paper I outline several applications of the proposed theory.

The Polish logicians' propositional calculi, which consist in a distinct synthesis of the Fregean and Boolean approaches to logic, influenced W. V. Quine's early work in formal logic. This early formal work of Quine's, in turn, can be shown to serve as one of the sources of his holistic conception of natural language.

In the first section of this paper I review the notion of Radical Interpretation, introduced by Donald Davidson in order to account for linguistic meaning and propositional thought. It is then argued that this concept, as embedded in Davidson's whole philosophical system, gives rise to a view of communication as a key explanatory concept in the social sciences. In the second section of the paper it is shown how this view bears upon the question as to what the bounds of (...) linguistic behaviour are. As opposed to major psychological and sociological perspectives on language, Davidson's communication-centred position gives rise to an inclusive, context-dependent answer to this question. (shrink)

In recent years it has been convincingly argued that the Church-Turing thesis concerns the bounds of human computability: The thesis was presented and justified as formally delineating the class of functions that can be computed by a human carrying out an algorithm. Thus the Thesis needs to be distinguished from the so-called Physical Church-Turing thesis, according to which all physically computable functions are Turing computable. The latter is often claimed to be false, or, if true, contingently so. On all accounts, (...) though, thesis M is not easy to give counterexamples to, but it is never asked why—how come that a thesis that transfers a notion from the strictly human domain to the general physical domain just happens to be so difficult to falsify. In this paper I articulate this question and consider several tentative answers to it. (shrink)

This volume, in memory of Ruth Manor, consists of articles presented at her memorial conference at Tel Aviv University. The articles, by colleagues and students, friends and family represent the wide range of interest and expertise that Manor brought to her teaching and research - from formal logic to pragmatics, and from rhetoric to ethics. The collection includes articles by Jaakko Hintikka, Arnon Avron, Oron Shagrir, Eli Dresner, Eran Guter, Amnon Wolman, Anat Matar, and Anat Biletzki. Emblematic of Manor's (...) hugh panoply of philosophical themes, the diversity and variety of subjects covered also portray her analytical profundity and logical proficiency at always seeing connections'. (shrink)

In this book, Eli Hirsch focuses on identity through time, first with respect to ordinary bodies, then underlying matter, and eventually persons.

In 1986, Elie Wiesel received the Nobel Peace Prize in recognition of his victory over “the powers of death and degradation, and to support the struggle of good against evil in the world.” Soon after, he and his wife, Marion, created the Elie Wiesel Foundation for Humanity. A project at the heart of the Foundation’s mission is its Ethics Prize—a remarkable essay-writing contest through which thousands of students from colleges across the country are encouraged to confront ethical issues of personal (...) significance. The Ethics Prize has grown exponentially over the past twenty years. “Of all the projects our Foundation has been involved in, none has been more exciting than this opportunity to inspire young students to examine the ethical aspect of what they have learned in their personal lives and from their teachers in the classroom,” writes Elie Wiesel. Readers will find essays on Bosnia, the genocide in Rwanda, sweatshops and globalization, and the political obligations of the mothers of Argentina’s Disappeared. Other essays tell of a white student who joins a black gospel choir, a young woman who learns to share in Ladakh, and the outsize implications of reporting on something as small as a cracked windshield. Readers will be fascinated by the ways in which essays on conflict, conscience, memory, illness, and God overlap and resonate with one another. These essays reflect those who are “sensitive to the sufferings and defects that confront a society yearning for guidance and eager to hear ethical voices,” writes Elie Wiesel. “And they are a beacon for what our schools must realize as an essential component of a true education.”. (shrink)

Two main claims are defended in this paper: first, that typical disputes in the literature about the ontology of physical objects are merely verbal; second, that the proper way to resolve these disputes is by appealing to common sense or ordinary language. A verbal dispute is characterized not in terms of private idiolects, but in terms of different linguistic communities representing different positions. If we imagine a community that makes Chisholm's mereological essentialist assertions, and another community that makes Lewis's four-dimensionalist (...) assertions, the members of each community speak the truth in their respective languages. This follows from an application of the principle of interpretive charity to the two communities. (shrink)

A sense of unity -- Basic objects : a reply to Xu -- Objectivity without objects -- The vagueness of identity -- Quantifier variance and realism -- Against revisionary ontology -- Comments on Theodore Sider's four dimensionalism -- Sosa's existential relativism -- Physical-object ontology, verbal disputes, and common sense -- Ontological arguments : interpretive charity and quantifier variance -- Language, ontology, and structure -- Ontology and alternative languages.

Two main claims are defended in this paper: first, that typical disputes in the literature about the ontology of physical objects are merely verbal; second, that the proper way to resolve these disputes is by appealing to common sense or ordinary language. A verbal dispute is characterized not in terms of private idiolects, but in terms of different linguistic communities representing different positions. If we imagine a community that makes Chisholm's mereological essentialist assertions, and another community that makes Lewis's four‐dimensionalist (...) assertions, the members of each community speak the truth in their respective languages. This follows from an application of the principle of interpretive charity to the two communities. (shrink)

Eli Alshanetsky considers how we make our thoughts clear to ourselves in the process of putting them into words and examines the paradox of those difficult cases where we do not already know what we are struggling to articulate.

Einstein Versus Bohr is unlike other books on science written by experts for non-experts, because it presents the history of science in terms of problems, conflicts, contradictions, and arguments. Science normally "keeps a tidy workshop." Professor Sachs breaks with convention by taking us into the theoretical workshop, giving us a problem-oriented account of modern physics, an account that concentrates on underlying concepts and debate. The book contains mathematical explanations, but it is so-designed that the whole argument can be followed with (...) the math omitted. Professor Sachs' story begins with classical and nineteenth century physics, describes the early discoveries in particle theory, and introduces the "old" quantum theory, which evolved into the quantum mechanics of the Copenhagen School. Such important ideas as the Einstein Photon Box experiment and the Einstein-Podolsky-Rosen Paradox, and Schrodinger's Cat Paradox are clearly expounded, followed by a completely fresh explanation of relativity in conceptual terms, showing how apparent paradoxes can be removed by Einstein's own interpretation, especially that of his later years. Professor Sachs gives a detailed comparison of the fundamentals of the quantum and relativity theories, suggesting how the contradictions might be resolved. In an epilogue, he makes suggestions, with reference to religious notions, Taoism, and Buber's theory of I-Thou, for generalizing Einstein's approach beyond physics. (shrink)

Structural Realism (SSR), as embodied in the Ramsey-sentence H* of a theory H, is defended against the view that H* reduces to a trivial statement about the cardinality of the domain of H, a view which arises from ignoring the central role of observation within science. Putnam’s theses are examined and shown to support rather than undermine SSR. Finally: in view of its synthetic character, applied mathematics must enter into the formulation of H* and hence be shown to be finitely (...) axiomatisable; this is done in the Appendix, which is the most important part of the paper. (shrink)

Scientists often diverge widely when choosing between research programs. This can seem to be rooted in disagreements about which of several theories, competing to address shared questions or phenomena, is currently the most epistemically or explanatorily valuable—i.e. most successful. But many such cases are actually more directly rooted in differing judgments of pursuit-worthiness, concerning which theory will be best down the line, or which addresses the most significant data or questions. Using case studies from 16th-century astronomy and 20th-century geology and (...) biology, I argue that divergent theory choice is thus often driven by considerations of scientific process, even where direct epistemic or explanatory evaluation of its final products appears more relevant. Broadly following Kuhn’s analysis of theoretical virtues, I suggest that widely shared criteria for pursuit-worthiness function as imprecise, mutually-conflicting values. However, even Kuhn and others sensitive to pragmatic dimensions of theory ‘acceptance’, including the virtue of fruitfulness, still commonly understate the role of pursuit-worthiness—especially by exaggerating the impact of more present-oriented virtues, or failing to stress how ‘competing’ theories excel at addressing different questions or data. This framework clarifies the nature of the choice and competition involved in theory choice, and the role of alternative theoretical virtues. (shrink)

Identity-Relative Paternalism, as defended by Wilkinson, holds that paternalistic intervention is justified to prevent an individual from doing to their future selves (where there are weakened prudential unity relations between the current and future self) what it would be justified to prevent them from doing to others.1 Wilkinson, drawing on the work of Parfit and others, defends the notion of Identity-Relative Paternalism from a series of objections. I argue here, however, that Wilkinson overlooks a significant problem for Identity-Relative Paternalism—namely, that (...) it yields unactionable and self-contradictory results when applied to choices where both options present potential harms to future selves. (shrink)

In the work of both Matti Eklund and John Hawthorne there is an influential semantic argument for a maximally expansive ontology that is thought to undermine even modest forms of quantifier variance. The crucial premise of the argument holds that it is impossible for an ontologically "smaller" language to give a Tarskian semantics for an ontologically "bigger" language. After explaining the Eklund-Hawthorne argument (in section I), we show this crucial premise to be mistaken (in section II) by developing a Tarskian (...) semantics for a mereological universalist language within a mereological nihilist language (a case which we, and Eklund and Hawthorne, take as representative). After developing this semantics we step back (in section III) to discuss the philosophical motivations behind the Eklund- Hawthorne argument’s demand for a semantics. We ultimately conclude that quantifier variantists can meet any demand for a semantics that might reasonably be imposed upon them. (shrink)

The central question in this book is why it seems reasonable for the words of our language to divide up the world in ordinary ways rather than other imaginable ways. Hirsch calls this the division problem. His book aims to bring this problem into sharp focus, to distinguish it from various related problems, and to consider the best prospects for solving it. In exploring various possible responses to the division problem, Hirsch examines series of "division principles" which purport to express (...) rational constraints on how our words ought to classify and individuate. The ensuing discussion deals with a wide range of metaphysical and epistemological topics, including projectibility and similarity, alternative analyses of natural properties and things, the inscrutability of reference, and the relevance of such pragmatic notions as salience and economy. The final chapters of the book develop what Hirsch contends is the most promising response to the division problem: a theory in which constraints on classification and individuation are seen to derive from the necessary structure of "fine-grained" propositions and the necessary dependence of some concepts on others. (shrink)