Saul Kripke once noted that there is a tight connection between computation and de re knowledge of whatever the computation acts upon. For example, the Euclidean algorithm can produce knowledge of which number is the greatest common divisor of two numbers. Arguably, algorithms operate directly on syntactic items, such as strings, and on numbers and the like only via how the numbers are represented. So we broach matters of notation. The purpose of this article is to explore the relationship between (...) the notations acceptable for computation, the usual idealizations involved in theories of computability, flowing from Alan Turing’s monumental work, and de re propositional attitudes toward numbers and other mathematical objects. (shrink)

Cells are cognitive entities possessing great computational power. DNA serves as a multivalent information storage medium for these computations at various time scales. Information is stored in sequences, epigenetic modifications, and rapidly changing nucleoprotein complexes. Because DNA must operate through complexes formed with other molecules in the cell, genome functions are inherently interactive and involve two-way communication with various cellular compartments. Both coding sequences and repetitive sequences contribute to the hierarchical systemic organization of the genome. By virtue of nucleoprotein complexes, (...) epigenetic modifications, and natural genetic engineering activities, the genome can serve as a read-write storage system. An interactive informatic conceptualization of the genome allows us to understand the functional importance of DNA that does not code for protein or RNA structure, clarifies the essential multidirectional and systemic nature of genomic information transfer, and emphasizes the need to investigate how cellular computation operates in reproduction and evolution. (shrink)

Building on recent work, I present sequent systems for the non-classical logics LP, K3, and FDE with two main virtues. First, derivations closely resemble those in standard Gentzen-style systems. Second, the systems can be obtained by reformulating a classical system using nonstandard sequent structure and simply removing certain structural rules (relatives of exchange and contraction). I clarify two senses in which these logics count as “substructural.”.

Most philosophers are familiar with the metaphysical puzzle of the statue and the clay. A sculptor begins with some clay, eventually sculpting a statue from it. Are the clay and the statue one and the same thing? Apparently not, since they have different properties. For example, the clay could survive being squashed, but the statue could not. The statue is recently formed, though the clay is not, etc. Godehart Link 1983’s highly influential analysis of the count/mass distinction recommends that English (...) draws a distinction between uncountable “stuff” and countable “things”. There are two mereological relations, related in specific ways. Our primary question here is whether an empirically adequate account of the mass/count distinction really does require distinguishing “things” from “stuff”, and thus postulating two corresponding mereological relations, or if instead positing only one sort of entity and corresponding mereological relation is sufficient, as other semantic theories would have it. This question is meant to be one of what we call natural language mereology. We are asking about the mereological commitments of English, or perhaps competent speakers of English, and not about ultimate reality as such. There is no pretense that we will definitively solve the metaphysical puzzle of the statue and clay. (shrink)

Number words seemingly function both as adjectives attributing cardinality properties to collections, as in Frege’s ‘Jupiter has four moons’, and as names referring to numbers, as in Frege’s ‘The number of Jupiter’s moons is four’. This leads to what Thomas Hofweber calls Frege’s Other Puzzle: How can number words function as modifiers and as singular terms if neither adjectives nor names can serve multiple semantic functions? Whereas most philosophers deny that one of these uses is genuine, we instead argue that (...) number words, like many related expressions, are polymorphic, having multiple uses whose meanings are systematically related via type shifting. (shrink)

We present a computational analysis of de re, de dicto, and de se belief and knowledge reports. Our analysis solves a problem first observed by Hector-Neri Castañeda, namely, that the simple rule -/- `(A knows that P) implies P' -/- apparently does not hold if P contains a quasi-indexical. We present a single rule, in the context of a knowledge-representation and reasoning system, that holds for all P, including those containing quasi-indexicals. In so doing, we explore the difference between reasoning (...) in a public communication language and in a knowledge-representation language, we demonstrate the importance of representing proper names explicitly, and we provide support for the necessity of considering sentences in the context of extended discourse (for example, written narrative) in order to fully capture certain features of their semantics. (shrink)

One prominent criticism of the abstractionist program is the so-called Bad Company objection. The complaint is that abstraction principles cannot in general be a legitimate way to introduce mathematical theories, since some of them are inconsistent. The most notorious example, of course, is Frege’s Basic Law V. A common response to the objection suggests that an abstraction principle can be used to legitimately introduce a mathematical theory precisely when it is stable: when it can be made true on all sufficiently (...) large domains. In this paper, we raise a worry for this response to the Bad Company objection. We argue, perhaps surprisingly, that it requires very strong assumptions about the range of the second-order quantifiers; assumptions that the abstractionist should reject. (shrink)

In this paper, we outline and critically evaluate Thomas Hofweber’s solution to a semantic puzzle he calls Frege’s Other Puzzle. After sketching the Puzzle and two traditional responses to it—the Substantival Strategy and the Adjectival Strategy—we outline Hofweber’s proposed version of Adjectivalism. We argue that two key components—the syntactic and semantic components—of Hofweber’s analysis both suffer from serious empirical difficulties. Ultimately, this suggests that an altogether different solution to Frege’s Other Puzzle is required.

There are multiple formal characterizations of the natural numbers available. Despite being inter-derivable, they plausibly codify different possible applications of the naturals – doing basic arithmetic, counting, and ordering – as well as different philosophical conceptions of those numbers: structuralist, cardinal, and ordinal. Nevertheless, some influential philosophers of mathematics have argued for a non-egalitarian attitude according to which one of those characterizations is more “legitmate” in virtue of being “more basic” or “more fundamental”. This paper addresses two related issues. First, (...) we review some of these non-egalitarian arguments, lay out a laundry list of different, legitimate, notions of relative priority, and suggest that these arguments plausibly employ different such notions. Secondly, we argue that given a metaphysical-cum-epistemological gloss suggested by Frege’s foundationalist epistomology, the ordinals are plausibly more basic than the cardinals. This is just one orientation to relative priority one could take, however. Ultimately, we subscribe to an egalitarian attitude towards these formal characterizations: they are, in some sense, equally “legitimate”. (shrink)

This review concludes that if the authors know what mathematical logic is they have not shared their knowledge with the readers. This highly praised book is replete with errors and incoherency.

Carl Gillett has defended what he calls the “dimensioned” view of the realization relation, which he contrasts with the traditional “flat” view of realization (2003, 2007; see also Gillett 2002). Intuitively, the dimensioned approach characterizes realization in terms of composition whereas the flat approach views realization in terms of occupiers of functional roles. Elsewhere we have argued that the general view of realization and multiple realization that Gillett advances is not able to discharge the theoretical duties of those relations ( (...) class='Hi'>Shapiro 2004, unpublished manuscript; Polger 2004, 2007, forthcoming). Here we focus on an internal objection to Gillett’s account and then raise some broader reasons to reject it. (shrink)

Forty years’ experience as a bacterial geneticist has taught me that bacteria possess many cognitive, computational and evolutionary capabilities unimaginable in the first six decades of the twentieth century. Analysis of cellular processes such as metabolism, regulation of protein synthesis, and DNA repair established that bacteria continually monitor their external and internal environments and compute functional outputs based on information provided by their sensory apparatus. Studies of genetic recombination, lysogeny, antibiotic resistance and my own work on transposable elements revealed multiple (...) widespread bacterial systems for mobilizing and engineering DNA molecules. Examination of colony development and organization led me to appreciate how extensive multicellular collaboration is among the majority of bacterial species. Contemporary research in many laboratories on cell–cell signaling, symbiosis and pathogenesis show that bacteria utilise sophisticated mechanisms for intercellular communication and even have the ability to commandeer the basic cell biology of ‘higher’ plants and animals to meet their own needs. This remarkable series of observations requires us to revise basic ideas about biological information processing and recognise that even the smallest cells are sentient beings. Previous article in issue. (shrink)

Cognitive agents, whether human or computer, that engage in natural-language discourse and that have beliefs about the beliefs of other cognitive agents must be able to represent objects the way they believe them to be and the way they believe others believe them to be. They must be able to represent other cognitive agents both as objects of beliefs and as agents of beliefs. They must be able to represent their own beliefs, and they must be able to represent beliefs (...) as objects of beliefs. These requirements raise questions about the number of tokens of the belief representation language needed to represent believers and propositions in their normal roles and in their roles as objects of beliefs. In this paper, we explicate the relations among nodes, mental tokens, concepts, actual objects, concepts in the belief spaces of an agent and the agent's model of other agents, concepts of other cognitive agents, and propositions. We extend, deepen, and clarify our theory of intensional knowledge representation for natural-language processing, as presented in previous papers and in light of objections raised by others. The essential claim is that tokens in a knowledge-representation system represent only intensions and not extensions. We are pursuing this investigation by building CASSIE, a computer model of a cognitive agent and, to the extent she works, a cognitive agent herself. CASSIE's mind is implemented in the SNePS knowledge-representation and reasoning system. (shrink)

SNePS, the Semantic Network Processing System 45, 54], has been designed to be a system for representing the beliefs of a natural-language-using intelligent system (a \cognitive agent"). It has always been the intention that a SNePS-based \knowledge base" would ultimatelybe built, not by a programmeror knowledge engineer entering representations of knowledge in some formallanguage or data entry system, but by a human informing it using a natural language (NL) (generally supposed to be English), or by the system reading books or (...) articles that had been prepared for human readers. Because of this motivation, the criteria for the development of SNePS have included: it should be able to represent anything and everything expressible in NL; it should be able to represent generic, as well as speci c information; it should be able to use the generic and the speci c information to reason and infer information implied by what it has been told; it cannot count on any particular order among the pieces of information it is given; it must continue to act reasonably even if the information it is given includes circular de nitions, recursive rules, and inconsistent information. (shrink)

The authors developed this textbook in response to an increasing interest in ethics, and a growing number of courses on this topic that are now being offered in educational leadership programs. It is designed to fill a gap in instructional materials for teaching the ethics component of the knowledge base that has been established for the profession. The text has several purposes: First, it demonstrates the application of different ethical paradigms (the ethics of justice, care, critique, and the profession) through (...) discussion and analysis of real-life moral dilemmas that educational leaders face in their schools and communities. Second, it addresses some of the practical, pedagogical, and curricular issues related to the teaching of ethics for educational leaders. Third, it emphasizes the importance of ethics instruction from a variety of theoretical approaches. Finally, it provides a process that instructors might follow to develop their own ethics unit or course. * Part I provides an overview of why ethics is so important, especially for today's educational leaders, and describes a multiparadigm approach essential to practitioners as they grapple with ethical dilemmas. * Part II deals with the dilemmas themselves. Ethical dilemmas written by the authors' graduate students bring readers face-to-face with the kinds of dilemmas faced by practicing administrators in urban, suburban, and rural settings in an era full of complexities and contradictions. * Part III focuses on pedagogy and provides teaching notes for the instructor. The authors discuss the importance of self-reflection on the part of both instructors and students, and model how they thought through their own personal and professional ethical codes as well as reflected upon the critical incidents in their lives that shaped their teaching and frequently determined what they privileged in class. (shrink)

Brandom's "inferentialism"—his theory that contentfulness consists in being governed by inferential norms—proves dubiously compatible with his own deflationary approach to intentional objectivity. This is because a deflationist argument, adapted from the case of truth to that of correct inference, undermines the criterion of adequacy Brandom employs in motivating inferentialism. Once that constraint is abandoned, moreover, the very constitutive-explanatory availability of Brandom's inferential norms becomes suspect. Yet Brandom intertwines inferentialism with a separate explanatory project, one that in explaining the pragmatic significance (...) of meaning-attributions does yield a convincing construal of the claim that the concept of meaning is normative. (shrink)

Locke's claims about the "inadequacy" of substance-ideas can only be understood once it is recognized that the "sort" represented by such an idea is not wholly determined by the idea's descriptive content. The key to his compromise between classificatory conventionalism and essentialism is his injunction to "perfect" the abstract ideas that serve as "nominal essences." This injunction promotes the pursuit of collections of perceptible qualities that approach ever closer to singling out things that possess some shared explanatory-level constitution. It is (...) in view of this norm regulating natural-historical inquiry that a substance-idea represents a sort for which some such constitution serves as the "real essence," i.e. as that on which all the sort's characteristic "properties" depend. (shrink)

According to traditional logical expressivism, logical operators allow speakers to explicitly endorse claims that are already implicitly endorsed in their discursive practice — endorsed in virtue of that practice’s having instituted certain logical relations. Here, I propose a different version of logical expressivism, according to which the expressive role of logical operators is explained without invoking logical relations at all, but instead in terms of the expression of discursive-practical attitudes. In defense of this alternative, I present a deflationary account of (...) the expressive role of vocabulary by which we ascribe logical relations. (shrink)

Successful athletic performance requires precision in many respects. A batter stands behind home plate awaiting the arrival of a ball that is less than three inches in diameter and moving close to 100 mph. His goal is to hit it with a ba­­t that is also less than three inches in diameter. This impressive feat requires extraordinary temporal and spatial coordination. The sweet spot of the bat must be at the same place, at the same time, as the ball. A (...) basketball player must keep a ball bouncing as she speeds from one end of the court to another, evading defensive players. She may never break pace as she lifts from the ground, throwing the ball fifteen feet toward a hoop that is eighteen inches in diameter. One task facing a psychologist involves explaining how the body does such things within the sometimes very demanding spatial and temporal constraints that a given task imposes. Part of the goal of this chapter is to sketch the commitments of an embodied approach to such an explanation. We shall see that an embodied account of motor skills draws concepts that depart radically from more traditional cognitivist theories of motor activity. Similarly, because an embodied approach to cognition introduces new ways to understand the human capacity for social interaction, it also promises to shed new light on how athletes coordinate their actions with each other. (shrink)

Two currently much discussed views about truth, truth pluralism and truth relativism, are found in Sellars’s writings. I show that his motivations for adoping these views are interestingly different from those shared by most of their recent advocates. First, I explain how Sellars comes to embrace a version of truth pluralism. I argue that his version overcomes a difficulty confronting pluralists, albeit at a serious cost. Then I argue that Sellars’s truth pluralism isn’t motivated by his interest in domains of (...) discourse beyond the “matter-of-factual.” Rather, the key to his truth pluralism, his analysis of truth as “semantical assertibility,” is motivated by the same consideration that leads him to adopt truth relativism. This is his interest in applying semantic notions to discourse that embodies conceptual structures other than ours. Despite their common motivation, I conclude that Sellars’s relativism is independent of, and indeed stands in tension with, the analysis of truth that underlies his pluralism. (shrink)

This project continues our interdisciplinary research into computational and cognitive aspects of narrative comprehension. Our ultimate goal is the development of a computational theory of how humans understand narrative texts. The theory will be informed by joint research from the viewpoints of linguistics, cognitive psychology, the study of language acquisition, literary theory, geography, philosophy, and artificial intelligence. The linguists, literary theorists, and geographers in our group are developing theories of narrative language and spatial understanding that are being tested by the (...) cognitive psychologists and language researchers in our group, and a computational model of a reader of narrative text is being developed by the AI researchers, based in part on these theories and results and in part on research on knowledge representation and reasoning. This proposal describes the knowledge-representation and natural-language-processing issues involved in the computational implementation of the theory; discusses a contrast between communicative and narrative uses of language and of the relation of the narrative text to the story world it describes; investigates linguistic, literary, and hermeneutic dimensions of our research; presents a computational investigation of subjective sentences and reference in narrative; studies children’s acquisition of the ability to take third-person perspective in their own storytelling; describes the psychological validation of various linguistic devices; and examines how readers develop an understanding of the geographical space of a story. This report is a longer version of a project description submitted to NSF. This document, produced in May 2007, is a L ATEX version of Technical Report 89-07 (Buffalo: SUNY Buffalo Department of Computer Science, August 1989), with slightly.. (shrink)

Functional diversity holds the promise of understanding ecosystems in ways unattainable by taxonomic diversity studies. Underlying this promise is the intuition that investigating the diversity of what organisms actually do—i.e. their functional traits—within ecosystems will generate more reliable insights into the ways these ecosystems behave, compared to considering only species diversity. But this promise also rests on several conceptual and methodological—i.e. epistemic—assumptions that cut across various theories and domains of ecology. These assumptions should be clearly addressed, notably for the sake (...) of an effective comparison and integration across domains, and for assessing whether or not to use functional diversity approaches for developing ecological management strategies. The objective of this contribution is to identify and critically analyze the most salient of these assumptions. To this aim, we provide an “epistemic roadmap” that pinpoints these assumptions along a set of historical, conceptual, empirical, theoretical, and normative dimensions. (shrink)

Bacteria do many things as organized populations. We have recently learned much about the molecular basis of intercellular communication among prokaryotes. Colonies display bacterial capacities for multicellular coordination which can be useful in nature where bacteria predominantly grow as films, chains, mats and colonies. E. coli colonies are organized into differentiated non-clonal populations and undergo complex morphogenesis. Multicellularity regulates many aspects of bacterial physiology, including DNA rearrangement systems. In some bacterial species, colony development involves swarming (active migration of cell groups). (...) Swarm colony development displays precise geometrical controls and periodic phenomena. Motile E. coli cells in semi-solid media form organized patterns due to chemotactic autoaggregation. On poor media, B. subtilis forms branched colonies using group motility and long-range chemical signalling. The significances of bacterial colony patterns thus reside in a deeper understanding of prokaryotic biology and evolution and in experimental systems for studying self-organization and morphogenesis. (shrink)

Recreational Drugs European Network (ReDNet) project aims to use the Psychonaut Web Mapping Project database (Psychonaut Web Mapping Group, 2009) containing novel psychoactive compounds usually not mentioned in the scientific literature and thus unknown to clinicians as a unique source of information. The database will be used to develop an integrated ICT prevention approach targeted at vulnerable individuals and focused on novel synthetic and herbal compounds and combinations. Particular care will be taken in keeping the health professionals working directly with (...) young people showing problematic behaviors regularly updated in terms of novel compounds and combinations as well. A user-friendly project website will be developed aimed primarily at delivering the information/prevention approaches, but will also be a way of communicating with project partners and relevant stakeholders (e.g. thematic forum facilities, instant messages, blogs, video chat, wikiblog, newsletters distributed via mailing list). The website will support various ICT prevention tools, including an SMS alert service. Different areas and sections will be aimed specifically at the different target groups. -/- . (shrink)

This chapter first seeks to identify Huw Price's reasons for holding that "object naturalism" can be undermined by "subject-naturalistic" inquiry. It then addresses five questions about how his project bears on the prospects for a liberal naturalism. (1) Does Price’s strategy depend on his requirement that the relevant inquiry into human discourse and thought be conducted in natural-scientific terms? (2) Is Price’s strategy even compatible with that requirement? (3) Does the worldview Price arrives at amount to a liberal naturalism, i.e. (...) a naturalism that could be obtained by relaxing a more restrictive version? (4) Is Price’s strategy consistent with a liberal naturalism? (5) Should a proponent of Price’s strategy accept a liberal naturalism? (shrink)

This paper examines the pressures leading two very different Early Modern philosophers, Descartes and Locke, to invoke two ways in which thought is directed at objects. According to both philosophers, I argue, the same idea can simultaneously count as “of” two different objects—in two different senses of the phrase ‘idea of’. One kind of intentional directedness is invoked in answering the question What is it to think that thus-and-so? The other kind is invoked in answering the question What accounts for (...) the success of our proper methods of inquiry? For Descartes as well as Locke, the two kinds of “ofness” come apart as a result of strong rationalist commitments. However, I will suggest that even if we reject such commitments, we go wrong if we assume that a single kind of intentional directedness suffices to address both questions. (shrink)

An appreciation of the life and word of Barbara McClintock, with special emphasis on what made her a unique and visionary scientist. The obituary indicates unappreciated aspects of her work on biological sensing and how organisms restructure their genomes in response to challenges.

According to Roman Ingarden, transcendental idealism prevented Kant from "even undertaking an attempt" at elucidating freedom "in terms of the causal structure of the world." I show that this claim requires qualification. In a remarkable series of Critical-period Reflexionen (5611-4, 5616-9), Kant sketches a defense of the possibility of freedom that differs radically from his published ones by incorporating an indeterministic account of the phenomena. Anticipating Łukasiewicz, he argues that universal causal determination is consistent with an open future: if an (...) action is contingent, there is an infinite regress of determining causes, yet there is a prior time at which this infinite series of causes has not yet commenced. However, he concedes that on this account the unity of experience "cannot fully obtain in the case of free beings." The fact that Kant even contemplated the indeterministic theory may carry implications for interpreting the argument of the Second Analogy. (shrink)

The role of the physiological processes involved in human vision escapes clarification in current literature. Many unanswered questions about vision include: 1) whether there is more to lateral inhibition than previously proposed, 2) the role of the discs in rods and cones, 3) how inverted images on the retina are converted to erect images for visual perception, 4) what portion of the image formed on the retina is actually processed in the brain, 5) the reason we have an after-image with (...) antagonistic colors, and 6) how we remember space. This theoretical article attempts to clarify some of the physiological processes involved with human vision. The global integration of visual information is conceptual; therefore, we include illustrations to present our theory. Universally, the eyeball is 2.4 cm and works together with membrane potential, correspondingly representing the retinal layers,photoreceptors, and cortex. Images formed within the photoreceptors must first be converted into chemical signals on the photoreceptors’ individual discs and the signals at each disc are transduced from light photons into electrical signals. We contend that the discs code the electrical signals into accurate distances and are shown in our figures. The pre-existing oscillations among the various cortices including the striate and parietal cortex,and the retina work in unison to create an infrastructure of visual space that functionally ‘‘places” the objects within this ‘‘neural” space. The horizontal layers integrate all discs accurately to create a retina that is pre-coded for distance. Our theory suggests image inversion never takes place on the retina,but rather images fall onto the retina as compressed and coiled, then amplified through lateral inhibition through intensification and amplification on the OFF-center cones. The intensified and amplified images are decompressed and expanded in the brain, which become the images we perceive as external vision. (shrink)

ABSTRACT: Stewart Shapiro recently argued that there is no higher-order vagueness. More specifically, his thesis is: (ST) ‘So-called second-order vagueness in ‘F’ is nothing but first-order vagueness in the phrase ‘competent speaker of English’ or ‘competent user of “F”’. Shapiro bases (ST) on a description of the phenomenon of higher-order vagueness and two accounts of ‘borderline case’ and provides several arguments in its support. We present the phenomenon (as Shapiro describes it) and the accounts; then discuss (...) class='Hi'>Shapiro’s arguments, arguing that none is compelling. Lastly, we introduce the account of vagueness Shapiro would have obtained had he retained compositionality and show that it entails true higher-order vagueness. (shrink)

Two slogans define structuralism: contemporary mathematics studies structures; mathematical objects are places in those structures. Shapiro’s version of structuralism posits abstract objects of three sorts. A system is “a collection of objects with certain relations” between these objects. “An extended family is a system of people with blood and marital relationships.” A baseball defense, e.g., the Yankee’s defense in the first game of the 1999 World Series, is a also a system, “a collection of people with on-field spatial and (...) ‘defensive-role’ relations”. “A structure is the abstract form of a system” ; it consists of “a collection of places [sometimes called positions or offices] and a finite collection of functions and relations on these places”. (shrink)

Some have suggested that certain classical physical systems have undecidable long-term behavior, without specifying an appropriate notion of decidability over the reals. We introduce such a notion, decidability in (or d- ) for any measure , which is particularly appropriate for physics and in some ways more intuitive than Ko's (1991) recursive approximability (r.a.). For Lebesgue measure , d- implies r.a. Sets with positive -measure that are sufficiently "riddled" with holes are never d- but are often r.a. This explicates Sommerer (...) and Ott's (1996) claim of uncomputable behavior in a system with riddled basins of attraction. Furthermore, it clarifies speculations that the stability of the solar system (and similar systems) may be undecidable, for the invariant tori established by KAM theory form sets that are not d-. (shrink)

Stewart Shapiro’s book develops a contextualist approach to vagueness. It’s chock-full of ideas and arguments, laid out in wonderfully limpid prose. Anyone working on vagueness (or the other topics it touches on—see below) will want to read it. According to Shapiro, vague terms have borderline cases: there are objects to which the term neither determinately applies nor determinately does not apply. A term determinately applies in a context iff the term’s meaning and the non-linguistic facts determine that they (...) do. The non-linguistic facts include the “external” context: “comparison class, paradigm cases, contrasting cases, etc.” (33) But external-contextsensitivity is not what’s central to Shapiro’s contextualism. Even fixing external context, vague terms’ (anti-)extensions exhibit sensitivity to internal context: the decisions of competent speakers. According to Shapiro’s open texture thesis, for each borderline case, there is some circumstance in which a speaker, consistently with the term’s meaning and the non-linguistic facts, can judge it to fall into the term’s extension and some circumstance in which the speaker can judge it to fall into the term’s anti-extension: she can “go either way.” Moreover, borderline sentences are Euthyphronically judgment- dependent: a competent speaker’s judging a borderline to fall into a term’s (anti- )extension makes it so. For Shapiro, then, a sentence can be true but indeterminate: a case left unsettled by meaning and the non-linguistic facts (and thus indeterminate, or borderline) may be made true by a competent speaker’s judgment. Importantly, among the non-linguistic facts that constrain speakers’ judgments (at least in the cases Shapiro cares about) is a principle of tolerance: for all x and y, if x and y differ marginally in the relevant respect (henceforth, Mxy), then if one competently judges Bx, one cannot competently judge y in any other manner in the same (total) context.1 This does not require that one judge By: one might not consider the matter at all.. (shrink)

Jaegwon Kim’s supervenience/exclusion argument attempts to show that non-reductive physicalism is incompatible with mental causation. This influential argument can be seen as relying on the following principle, which I call “the piggyback principle”: If, with respect to an effect, E, an instance of a supervenient property, A, has no causal powers over and above, or in addition to, those had by its supervenience base, B, then the instance of A does not cause E (unless A is identical with B). In (...) their “Epiphenomenalism: The Dos and the Don’ts,” Larry Shapiro and Elliott Sober employ a novel empirical approach to challenge the piggyback principle. Their empirical approach pulls from the experiments of August Weismann regarding the inheritance of acquired characteristics. Through an examination of Weismann’s experiments, Shapiro and Sober extract lessons in reasoning about the epiphenomenalism of a property. And according to these empirically drawn lessons, the piggyback principle is a don’t. My primary aim in this paper is to defend the piggyback principle against Shapiro and Sober’s empirical approach. (shrink)

This is a largely expository review of Thomas Polger’s and Laurence Shapiro’s The Multiple Realization Book (Oxford Press 2016).

_The Multiple Realization Book_By PolgerThomas W. and ShapiroLawrence A.Oxford University Press, 2016. xiv + 258 pp. £71.14 cloth, £18.99 paper.

In Legality Scott Shapiro seeks to provide the motivation for the development of his own elaborate account of law by undertaking a critique of H.L.A. Hart's jurisprudential theory. Hart maintained that every legal system is underlain by a rule of recognition through which officials of the system identify the norms that belong to the system as laws. Shapiro argues that Hart's remarks on the rule of recognition are confused and that his model of lawis consequently untenable. Shapiro (...) contends that a new approach is vital for progress in the philosophy of law and, with his lengthy presentation of his own Planning Theory of Law, he aspires to pioneer just such an approach. Except for a very terse observation in the final main section, this article does not directly assess the strengths and shortcomings of Shapiro's piquant planning theory. Instead, I defend Hart against Shapiro's charges and thereby undermine the motivation for the development of the planning theory. (shrink)

The subject of this article is Modal-Epistemic Arithmetic (MEA), a theory introduced by Horsten to interpret Epistemic Arithmetic (EA), which in turn was introduced by Shapiro to interpret Heyting Arithmetic. I will show how to interpret MEA in EA such that one can prove that the interpretation of EA is MEA is faithful. Moreover, I will show that one can get rid of a particular Platonist assumption. Then I will discuss models for MEA in light of the problems of (...) logical omniscience and logical competence. Awareness models, impossible worlds models and syntactical models have been introduced to deal with the first problem. Certain conditions on the accessibility relations are needed to deal with the second problem. I go on to argue that those models are subject to the problem of quantifying in, for which I will provide a solution. (shrink)

This paper explores the events surrounding a string of robberies from the homes of young celebrities living in Los Angeles County by a group of teenagers referred to by the media as “The Bling Ring.” It argues that the group demonstrates the intersections of desire and materiality under the conditions of a culture driven by idolization of the celebrity, referring to the works of Jean Baudrillard, Pierre Bourdieu, and French collective Tiqqun. It further examines the events as a moment where (...) subjects were able to escape the life-narratives imposed upon them by the State. Rather than adhering to the norms of regular adolescent life, reproduced and enforced through what Michael Shapiro identifies as “national-time,” members of the Bling Ring endeavored to create their own lives according to what I refer to as “celebrity-time,” revealing processes of becoming in the work of Gilles Deleuze, and plasticity in that of Catherine Malabou. (shrink)

Scott Shapiro’s theory that law is a social plan is helpful in seeing law essentially as a tool of human creation and as such is sympathetic to understanding law in terms of the social functions it performs, a method I argue for elsewhere. I focus here on two problems with the theory as presented. The planning theory does not adequately explain the persistence of law beyond the utility of those who implement it. Generally, plans can cease to exist as (...) soon as those engaged in them have no more use for them. Laws however, must usually be declared invalid or otherwise nullified for them to have no further effect. Shapiro’s use of self-certification to explain how law is differentiated from other forms of social planning is ad hoc and threatens circularity when he admits it to be a matter of degree. Both of these issues can be better solved by seeing law as an institutionalised abstract artefact, with a greater emphasis upon the nature of institutions doing much of the work done by the idea of planning. (shrink)

Thomas Polger and Laurence Shapiro argue that Carl Gillett's much publicized dimensioned theory of realization is incoherent, being subject to a reductio. Their argument turns on the fact that Gillett's definition of realization makes property instances the exclusive relata of the realization relation, while his belief in multiple realization implies its denial, namely, that properties are the relata of the realization relation on occasions of multiple realization. Others like Sydney Shoemaker have also expressed their view of realization in terms (...) of property instances, yet they too have accepted the multiple realizability of properties. Thus I am interested in the more general issue raised by Polger and Shapiro's argument. Specifically, I show how to supplement a theory of realization with a category-inclusive auxiliary assumption, which avoids the stated reductio. I then offer a few reasons to justify the proposed category-inclusive view of realization, making some comparisons to supervenience and causation along the way. (shrink)

Gases reach equilibrium when left to themselves. Why do they behave in this way? The canonical answer to this question, originally proffered by Boltzmann, is that the systems have to be ergodic. This answer has been criticised on different grounds and is now widely regarded as flawed. In this paper we argue that some of the main arguments against Boltzmann's answer, in particular, arguments based on the KAM-theorem and the Markus-Meyer theorem, are beside the point. We then argue that something (...) close to Boltzmann's original proposal is true for gases: gases behave thermodynamic-like if they are epsilon-ergodic, i.e., ergodic on the entire accessible phase space except for a small region of measure epsilon. This answer is promising because there are good reasons to believe that relevant systems in statistical mechanics are epsilon-ergodic. (shrink)

Polger and Shapiro (2016) claim that unlike human-made artifacts cases of multiple realization in naturally occurring systems are uncommon. Drawing on cases from systems biology, I argue that multiple realization in naturally occurring systems is not as uncommon as Polger and Shapiro initially thought. The relevant cases, which I draw from systems biology, involve generalizable design principles called network motifs which recur in different organisms and species and perform specific functions. I show that network motifs with entirely different (...) underlying causal structures can perform the same function of interest. The article also considers the scope problem of multiple realization. (shrink)

Abstract: There has recently been controversy over the existence of 'multiple realization' in addition to some confusion between different conceptions of its nature. To resolve these problems, we focus on concrete examples from the sciences to provide precise accounts of the scientific concepts of 'realization' and 'multiple realization' that have played key roles in recent debates in the philosophy of science and philosophy of psychology. We illustrate the advantages of our view over a prominent rival account ( Shapiro, 2000 (...) and 2004 ) and use our work to rebut recent objections to the long-standing claim that psychological properties are multiply realized. For we use scientific evidence, in combination with our more precise theoretical framework, to show that we have strong reason to believe that psychological properties are indeed multiply realized both at the biochemical and neuronal levels. (shrink)

There is no uniquely standard concept of an effectively decidable set of real numbers or real n-tuples. Here we consider three notions: decidability up to measure zero [M.W. Parker, Undecidability in Rn: Riddled basins, the KAM tori, and the stability of the solar system, Phil. Sci. 70(2) (2003) 359–382], which we abbreviate d.m.z.; recursive approximability [or r.a.; K.-I. Ko, Complexity Theory of Real Functions, Birkhäuser, Boston, 1991]; and decidability ignoring boundaries [d.i.b.; W.C. Myrvold, The decision problem for entanglement, in: R.S. (...) Cohen et al. (Eds.), Potentiality, Entanglement, and Passion-at-a-Distance: Quantum Mechanical Studies fo Abner Shimony, Vol. 2, Kluwer Academic Publishers, Great Britain, 1997, pp. 177–190]. Unlike some others in the literature, these notions apply not only to certain nice sets, but to general sets in Rn and other appropriate spaces. We consider some motivations for these concepts and the logical relations between them. It has been argued that d.m.z. is especially appropriate for physical applications, and on Rn with the standard measure, it is strictly stronger than r.a. [M.W. Parker, Undecidability in Rn: Riddled basins, the KAM tori, and the stability of the solar system, Phil. Sci. 70(2) (2003) 359–382]. Here we show that this is the only implication that holds among our three decidabilities in that setting. Under arbitrary measures, even this implication fails. Yet for intervals of non-zero length, and more generally, convex sets of non-zero measure, the three concepts are equivalent. (shrink)

In a new paper in recent issue of this journal (PSTJ), Prof. M. Pitkanen describes a solar system model inspired by spiral galaxies. While we appreciate his new approach, we find it lacks substantial discussion on the nature of vortices and chirality in galaxy. Therefore we submit a viewpoint that Gross-Pitaevskii model can be a more complete description of both solar system and also spiral galaxies, especially taking into account the nature of chirality and vortices in galaxies. In this article, (...) we also hope to bring out some correspondence among existing models, so we discuss shortly: the topological vortice approach, Burgers equation in the light of KAM theory, and the Cantorian Navier-Stokes approach. Of course, this short article is far from being complete. We hope further investigation can be done around this line of approach. Aim of this paper: With this article, we hope to begin a healthy dialogue with Prof. M. Pitkanen, especially on his solar system model, since we also believe that he also support “evidence-based physics.” Limitation: In this paper we only discuss Pitkanen’s solar system model, we don’t discuss his other papers in a recent issue of PSTJ. (shrink)

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to (...) be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

I am grateful to Donald Ainslie, Lisa Austin, Michael Blake, Abraham Drassinower, David Dyzenhaus, George Fletcher, Robert Gibbs, Louis-Philippe Hodgson, Sari Kisilevsky, Dennis Klimchuk, Christopher Morris, Scott Shapiro, Horacio Spector, Sergio Tenenbaum, Malcolm Thorburn, Ernest Weinrib, Karen Weisman, and the Editors of Philosophy & Public Affairs for comments, and audiences in the UCLA Philosophy Department and Columbia Law School for their questions.

In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance Hale and Wright (...) 1992 and 1994; Wright 1983 and 1988; Schiffer 1996; Resnik 1997; Shapiro 1997 and Zalta 1988) while mathematical nominalists, usually in the form of fictionalists, hold that necessarily such objects fail to exist (see for instance Balaguer 1996 and 1998; Rosen 2001 and Yablo 2005). In metaphysics more generally, until recently it was more or less assumed that whatever the right account of composition—the account of under what conditions some xs compose a y—that account will be necessarily true (for a discussion of theories of composition see Simons 1987 and van Inwagen 1987 and 1990; the modal status of the composition relation is explicitly addressed in Schaffer 2007; Parsons 2006 and Cameron 2007). Similarly, it has generally been assumed that whatever the right account is of the nature of properties, whether they be universals, tropes, or whether nominalism is true, that account will be necessarily true (though see Rosen 2006 for a recent suggestion to the contrary). In considering theories of persistence it has been widely held that whether objects endure or perdure through time is a matter of necessity (Sider 2001; though see Lewis 1999 p227 who defends contingent perdurantism). And with respect to theories of time it is frequently held that whichever of the A- or B-theory is true is necessarily true. A-theorists often argue that there is time in a world only if the A-theory is true at that world (see for instance McTaggart 1903; Markosian 2004; Bigelow 1996; Craig 2001) while B-theorists often argue that the A-theory is internally inconsistent (Smart 1987; Mellor 1998; Savitt 2000 and Le Poidevin 1991). Once again, we find a few recent contingentist dissenters. Bourne (2006) suggests that it is a contingent feature of time that it is tensed, and thus that the A-theory is contingently true. Worlds in which there exist only B-theoretic properties are worlds with time, it is just that time in those worlds time is radically different to the way it is actually. Other defenders of the B-theory, though not expressly contingentists, do offer arguments against versions of the A-theory that try to show that such A-theories theories are inconsistent with the actual laws of nature (see for instance Saunders 2002 and Callender 2000); these arguments, at least, leave room for the possibility that the A-theories in question are contingently false (at least on the assumption that the laws of nature are themselves contingent, an assumption that not everyone accepts). Despite some notable exceptions, necessitarianism has flourished in many, if not most, domains in metaphysics. One such exception is Lewis’ famous defence of Humean supervenience as a contingent claim about our world. Lewis does not argue that necessarily, the supervenience base for all matters of fact in a world is nothing but a vast mosaic of local matters of particular fact. Rather, he thinks that we have reason to think that our world is one in which Humean supervenience holds (see Lewis 1986 p9-10 and 1994). Another exception to the necessitarian orthodoxy is to be found in the lively debate about the modal status of the laws of nature. Here, if anything, contingentism has been the dominating force, with it generally being held that there are possible worlds in which different laws of nature hold (this view is defended by, among others, Lewis 1986 and 2010; Schaffer 2005 and Sidelle 2002). Necessitarian dissenters hold that the laws of nature are necessary, frequently because they think it is necessary that fundamental properties have the causal or nomic profiles they do (see for instance Shoemaker 1980 and 1988; Swoyer 1982; Bird 1995; Ellis and Lierse 1994). Nevertheless, when it comes to thinking about the nature of the laws themselves, the necessitarian presumption is back on firm footing. Though there is disagreement about whether the laws are generalisations that feature in the most virtuous true axiomatisation of all the particular matters of fact (often known as the Humean view of laws and defended by Ramsey 1978; Lewis 1986 and Beebee 2000) or whether laws are relations of necessity that hold between universals (a view defended by Armstrong 1983; Dretske 1977; Tooley 1977 and Carroll 1990) no one has seriously suggested that it might be a contingent matter which of these is the right account of laws. The necessitarian orthodoxy is not surprising since metaphysics is largely an a priori process. While a priori reasoning may be used to determine whether a proposition is necessary or contingent, it is not well placed (in the absence of a posteriori evidence) to determine whether a contingent proposition is actually true or false. Since metaphysicians aim to tell us which principles are true in which worlds, on the face of it the discovery that metaphysical principles are contingent seems to make part of the task of metaphysics epistemically intractable. In what follows I consider two reasons one might end up embracing contingentism and whether this would lead one into epistemic difficulty. The following section considers a route to contingent metaphysical truths that proceeds via a combination of conceptual necessities and empirical discoveries. Section 3 considers whether there might be synthetic contingent metaphysical truths, and the final section raises the question of whether if there were such truths we would be well placed to come to know them. (shrink)