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)

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

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)

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.

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)

No longer confined to traditional institutions devoted to Talmudic studies, havruta work, or the practice of students studying materials in pairs, has become a relatively widespread phenomenon across denominational and educational settings of Jewish learning. However, until now there has been little discussion of what havruta text study entails and how it might be conceptualized and taught. This book breaks new ground from two perspectives: by offering a model of havruta text study situated in broader theories of interpretation and learning, (...) and by treating havruta text study as composed of textual, interpersonal and intra-personal practices which can be taught and learned. We lay out the conceptual foundations of our approach and provide examples of their pedagogical implementation for the teaching of havruta text study. Included are illustrative lesson plans, teachers' notes and students’ reflections, exercises for students, and other instructional materials for teaching core concepts and practices. (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)

Did Erasmus of Rotterdam reject all philosophy, or rather did he have a very special understanding of it as, at its best, a way of life? This study attempts to answer this question. The work reconstructs his concept of philosophy.

The ancient Western conception of philosophy as a way of life was eclipsed as philosophy became an academic discipline, a development that peaked under the influence of 13th-century scholasticism. Domański both traces this development and explores how some resisted it.

In this incisive new work, Eli Friedlander demonstrates that Walter Benjamin's entire corpus, from early to late, comprises a rigorous and sustained philosophical questioning of how human beings belong to nature. Across seemingly heterogeneous writings, Friedlander argues, Benjamin consistently explores what the natural in the human comes to, that is, how nature is transformed, actualized, redeemed, and overcome in human existence. The book progresses gradually from Benjamin's philosophically fundamental writings on language and nature to his Goethean empiricism, from the presentation (...) of ideas to the primal history of the Paris arcades. Friedlander's careful analysis brings out how the idea of natural history inflects Benjamin's conception of the work of art and its critique, his diagnosis of the mythical violence of the legal order, his account of the body and of action, of material culture and technology, as well as his unique vision of historical materialism. Featuring revelatory new readings of Benjamin's major works that differ, sometimes dramatically, from prevailing interpretations, this book reveals the internal coherence and philosophical force of Benjamin's thought. (shrink)

Kant’s The Critique of Judgment laid the groundwork of modern aesthetics when it appeared in 1790. Eli Friedlander’s reappraisal emphasizes the internal connection of judgment and meaning, showing how the pleasure in judging is intimately related to our capacity to draw meaning from our encounter with beauty.

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

To clarify the proper role of values in science, focusing on controversial expert responses to Covid-19, this article examines the status of (in)convenient hypotheses. Polarizing cases like health experts downplaying mask efficacy to save resources for healthcare workers, or scientists dismissing “accidental lab leak” hypotheses in view of potential xenophobia, plausibly involve modifying evidential standards for (in)convenient claims. Societies could accept that scientists handle (in)convenient claims just like nonscientists, and give experts less political power. Or societies could hold scientists to (...) a higher bar, by expecting them not to modify evidential standards to avoid costs only incidentally tied to error. (shrink)

Eli Friedlander reads Rousseau's autobiography, Reveries of the Solitary Walker, as philosophy. Reading this work against Descartes's Meditations, Friedlander shows how Rousseau's memorable transformation of experience through writing opens up the possibility of affirming even the most dejected state of being and allows the emergence of the innocence of nature out of the ruins of all social attachments. In tracing the re-creation of a human subject in reverie, Friedlander is alive to the very form of the experience of reading the (...) Reveries by showing the ways this work needs to--and in effect does--generate a reader, without betraying Rousseau's utter solitude. Friedlander's book provides an afterlife for the Reveries in modern philosophy. It constitutes an alternative to the analytic tradition's revival of Rousseau, primarily through Rawls's influential vision of the social contract. It also counters the fate of Rousseau's writings in the continental tradition, determined by and large by Derrida's deconstruction. Friedlander's reading of the Reveries, a work that has fascinated generations of readers, is an incomparable introduction to one of the greatest thinkers in Western culture. (shrink)

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)

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)

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.