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 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)

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 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 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)

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 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.

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)

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)

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 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)

Mu‘tezilî düşünür Amr b. Bahr el-Câhız’ın (ö. 255/869) tercüme faaliyetleri sonucu Antikite (Antik Çağ) Yunanca metinlerden yaptığı aktarımlar canlılar hakkındaki fikirlerini etkilemiştir. Böylece Yunan zoolojisinde ortaya koyulan görüşlere Kitâbü’l-Hayevân eserinde geniş bir şekilde yer vermiştir. Ayrıca diğer eserlerinde az da olsa Yunan düşünürlerin hayvanlar hakkındaki görüşleri mevcuttur. Ancak Yunan zoolojisinden tevarüs eden birikimin Câhız’ın Kitâbü’l-Hayevân eseri olmak üzere hangi bağlamda ve ne düzeyde alımlandığı tam olarak bilinmemektedir. Alımlanan bilgilerin Câhız’ı ne kadar etkilediği ve doğrudan mı yoksa kendi ilmî birikiminin süzgecinden (...) geçirerek mi? Aktardığı net olarak ortaya koyulmamıştır. Buradan hareketle bu çalışmada, Câhız’ın hayvanlar hakkındaki görüşleri temel alınarak Yunan zoolojisinden etki düzeyi ortaya koyulmaya çalışılacaktır. Böylece Câhız’ın “Sâhibu’l-Mantık” lakabıyla bahsettiği Aristoteles (mö. 384-322) başta olmak üzere Galen (ö. 200?) ve Polemon (Aflimun) (ö. 314) gibi Yunan düşünürlerden hangi noktalarda aktarımlar yaptığı üzerinde durulacaktır. Bu bağlamda Câhız’ın Kitâbü’l-Hayevan eseri başta olmak üzere diğer eserlerinde geçen Yunan zoolojisine dair ifadeler açığa çıkarılacaktır. Fakat özellikle Aristoteles’ten yaptığı aktarımlar oldukça fazla olduğundan dolayı Câhız’ın tam olarak anlayamadığı, araştırdığı, doğrudan etkilendiği ve test ettiği bilgiler üzerinde analiz yapılacaktır. Çalışma sonucunda Câhız’ın alımladığı bilgileri bazen doğrudan bazen doğruluğunu araştırarak hatta deney ve gözleme başvurarak aktardığı anlaşılacaktır. (shrink)

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)

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

Introduction générale à la philosophie des sciences du 20e siècle.

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.

Discovering laws of nature was a way to worship a law-giving God, during the Scientific Revolution. So why should we consider it worthwhile now, in our own more secularized science? For historical perspective, I examine two competing early modern theological traditions that related laws of nature to different divine attributes, and their secular legacy in views ranging from Kant and Nietzsche to Humean and ‘governing’ accounts in recent analytic metaphysics. Tracing these branching offshoots of ethically charged God-concepts sheds light on (...) how our ethical ideals and ideas of natural order can still be valuably integrated. Early modern intellectualists valued the law-governed order of nature as a sign of divine Reason. In turn, Reason traditionally ascribed to God has now been partly reclaimed for humans, reframing the value of natural order anthropocentrically, in terms of the value of our own intelligence. Alternatively, Reason may be reclaimed for nature itself, as in an ‘objective’ idealism or metaphysical rationalism. However, beyond divine Reason, an influential voluntarist tradition in theology stressed a connection between laws of nature and God’s Power or free Will. Tracking how divine Power has been reinvested in human beings provides a broader context for instrumentalism and related lineages of empiricism. But secularization can also transfer Power from God to the impersonal natural world. In this light, current scientific interest in lawlike order may also reflect the inherent value of brute necessity or inhuman causal power in nature: this is a deeper way to reject anthropocentrism and to show our respect for the environment. (shrink)

When philosophers consider factors compromising autonomy in consent, they often focus solely on the consent-giver’s agential capacities, overlooking the impact of the consent-receiver’s conduct on the consensual character of the activity. In this paper, I argue that valid consent requires justified trust in the consent-receiver to act only within the scope of consent. I call this the Trust Condition (TC), drawing on Katherine Hawley’s commitment account of trust. TC constitutes a belief that the consent-receiver is capable and willing to act (...) as we expect from them. If such trust is not warranted, I argue, consent lacks the appropriate normative grounds. After establishing TC, I explore its application in the sexual arena, asserting that due to the non-contractual dimensions of sexual activity — such as the dynamic nature of sexual desires and the absence of external factors effectively binding sexual partners to the terms of consent—trust is warranted in sexual consent by means of care. I define care as a special sensitivity and attention toward the partner’s will and discuss how this approach leads to safer intimate relationships in practice. (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.

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)

sefer ḳeṭan ha-kamut ṿe-rav ha-eikhut kolel ʻinyene musar ṿe-hadrakhah be-ʻavodat ha-shem yitbarakh ṿe-hanhagot ṭovot...be-tosefet tsiyune marʼeh meḳomot mi-tanakh ume-ḥazal.

Eli Maor examines the role of infinity in mathematics and geometry and its cultural impact on the arts and sciences. He evokes the profound intellectual impact the infinite has exercised on the human mind--from the "horror infiniti" of the Greeks to the works of M. C. Escher from the ornamental designs of the Moslems, to the sage Giordano Bruno, whose belief in an infinite universe led to his death at the hands of the Inquisition. But above all, the book describes (...) the mathematician's fascination with infinity--a fascination mingled with puzzlement. "Maor explores the idea of infinity in mathematics and in art and argues that this is the point of contact between the two, best exemplified by the work of the Dutch artist M. C. Escher, six of whose works are shown here in beautiful color plates."--Los Angeles Times "[Eli Maor's] enthusiasm for the topic carries the reader through a rich panorama."--Choice "Fascinating and enjoyable.... places the ideas of infinity in a cultural context and shows how they have been espoused and molded by mathematics."--Science. (shrink)

Stoffregen & Bardy's target article is based on the assumption that our senses' ultimate purpose is to provide us with perfect information about the outside world. We argue that it is often more important that information be available quickly than that it be perfect. Consequently our nervous system processes different aspects of information about our surrounding as separately as possible. The separation is not between the senses, but between separate aspects of our surrounding. This results in inconsistencies between judgments: sometimes (...) because different frames of reference are used. Such inconsistencies are fundamental to the way the information is picked up, however, and hence cannot be avoided with clearer instructions to the subjects. (shrink)

According to the Counterfactual Comparative Account of harm and benefit, an event is overall harmful for a subject to the extent that this subject would have been better off if it had not occurred. In this paper we present a challenge for the Counterfactual Comparative Account. We argue that if physical processes are chancy in the manner suggested by our best physical theories, then CCA faces a dilemma: If it is developed in line with the standard approach to counterfactuals, then (...) it delivers that the value of any event for a subject is indeterminate to the extreme, ranging from terribly harmful to highly beneficial. This problem can only be avoided by developing CCA in line with theories of counterfactuals that allow us to ignore a-typical scenarios. Doing this generates a different problem: when the actual world is itself a-typical we will sometimes get the result that the counterfactual nonoccurrence of an actual benefit is itself a benefit. An account of overall harm bearing either of these two implications is deficient. Given the general aspiration to account for deprivational harms and the dominance of the Counterfactual Comparative Account in this respect, theorists of harm and benefit face a deadlock. (shrink)