Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more than (...) one website. Paste the whole URL. http://archive.org/stream/RobertiAudi_The.Cambridge.Dictionary.of.Philosophy/Robert.Audi_The.Cambrid ge.Dictionary.of.Philosophy -/- The 2015 third edition will be available soon. Before you think of buying it read some reviews on Amazon and read reviews of its competition: For example, my review of the 2008 Oxford Companion to Philosophy, History and Philosophy of Logic,29:3,291-292. URL: http://dx.doi.org/10.1080/01445340701300429 -/- Some of the entries have already been found to be flawed. For example, Tarski’s expression ‘materially adequate’ was misinterpreted in at least one article and it was misused in another where ‘materially correct’ should have been used. The discussion provides an opportunity to bring more flaws to light. -/- Acknowledgements: Each of these entries was presented at meetings of The Buffalo Logic Dictionary Project sponsored by The Buffalo Logic Colloquium. The members of the colloquium read drafts before the meetings and were generous with corrections, objections, and suggestions. Usually one 90-minute meeting was devoted to one entry although in some cases, for example, “axiomatic method”, took more than one meeting. Moreover, about half of the entries are rewrites of similarly named entries in the 1995 first edition. Besides the help received from people in Buffalo, help from elsewhere was received by email. We gratefully acknowledge the following: José Miguel Sagüillo, John Zeis, Stewart Shapiro, Davis Plache, Joseph Ernst, Richard Hull, Concha Martinez, Laura Arcila, James Gasser, Barry Smith, Randall Dipert, Stanley Ziewacz, Gerald Rising, Leonard Jacuzzo, George Boger, William Demopolous, David Hitchcock, John Dawson, Daniel Halpern, William Lawvere, John Kearns, Ky Herreid, Nicolas Goodman, William Parry, Charles Lambros, Harvey Friedman, George Weaver, Hughes Leblanc, James Munz, Herbert Bohnert, Robert Tragesser, David Levin, Sriram Nambiar, and others. -/- . (shrink)

Some people commonly know a proposition just in case they all know it, they all know that they all know it, they all know that they all know that they all know it, and so on. They commonly believe a proposition just in case they all believe it, they all believe that they all believe it, they all believe that they all believe that they all believe it, and so on. A long tradition in economic theory, theoretical computer science, linguistics (...) and philosophy has held that people have some approximation of common knowledge or common belief in a range of circumstances, for example, when they are looking at an object together, or when they have just discussed something explicitly in conversation. In this paper, I argue that people do not have any approximation of common knowledge or common belief in these circumstances. The argument suggests that people never have any approximation of common knowledge or common belief. (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.”.

An opinionated introduction to philosophical issues connected to common knowledge.

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)

This article presents a new interpretation of the great Ming dynasty philosopher Wang Yangming’s celebrated doctrine of the “unity of knowledge and action”. Wang held that action was not unified with all knowledge, but only with an elevated form of knowledge, which he sometimes called “genuine knowledge”. I argue for a new interpretation of this notion, according to which genuine knowledge requires freedom from a form of doxastic conflict. I propose that, in Wang’s view, a person is free from this (...) form of doxastic conflict if and only if they are acting virtuously. (shrink)

This paper studies one aspect of the great Ming dynasty philosopher Wang Yangming’s (王陽明 1472-1529) celebrated doctrine of the unity of knowledge and action (zhi xing he yi 知行合一). Wang states that his doctrine does not apply to all knowledge, but only to an elevated form of knowledge, which he sometimes calls “genuine knowledge” (zhen zhi 真知). But what is “genuine knowledge”? I develop and compare four different interpretations of this notion: the perceptual, practical, normative and introspective models. The main (...) aim of the paper is to develop these models in more detail than has been done before. But at the end of the paper I argue that the introspective model is to be preferred over the alternatives. (shrink)

The coordinated attack scenario and the electronic mail game are two paradoxes of common knowledge. In simple mathematical models of these scenarios, the agents represented by the models can coordinate only if they have common knowledge that they will. As a result, the models predict that the agents will not coordinate in situations where it would be rational to coordinate. I argue that we should resolve this conflict between the models and facts about what it would be rational to do (...) by rejecting common knowledge assumptions implicit in the models. I focus on the assumption that the agents have common knowledge that they are rational, and provide models to show that denying this assumption suffices for a resolution of the paradoxes. I describe how my resolution of the paradoxes fits into a general story about the relationship between rationality in situations involving a single agent and rationality in situations involving many agents. (shrink)

Robert Aumann presents his Agreement Theorem as the key conditional: “if two people have the same priors and their posteriors for an event A are common knowledge, then these posteriors are equal” (Aumann, 1976, p. 1236). This paper focuses on four assumptions which are used in Aumann’s proof but are not explicit in the key conditional: (1) that agents commonly know, of some prior μ, that it is the common prior; (2) that agents commonly know that each of them updates (...) on the prior by conditionalization; (3) that agents commonly know that if an agent knows a proposition, she knows that she knows that proposition (the “K K” principle); (4) that agents commonly know that they each update only on true propositions. It is shown that natural weakenings of any one of these strong assumptions can lead to countermodels to Aumann’s key conditional. Examples are given in which agents who have a common prior and commonly know what probability they each assign to a proposition nevertheless assign that proposition unequal probabilities. To alter Aumann’s famous slogan: people can “agree to disagree”, even if they share a common prior. The epistemological significance of these examples is presented in terms of their role in a defense of the Uniqueness Thesis: If an agent whose total evidence is E is fully rational in taking doxastic attitude D to P, then necessarily, any subject with total evidence E who takes a different attitude to P is less than fully rational. (shrink)

Are LLMs cultural technologies like photocopiers or printing presses, which transmit information but cannot create new content? A challenge for this idea, which we call bibliotechnism, is that LLMs generate novel text. We begin with a defense of bibliotechnism, showing how even novel text may inherit its meaning from original human-generated text. We then argue that bibliotechnism faces an independent challenge from examples in which LLMs generate novel reference, using new names to refer to new entities. Such examples could be (...) explained if LLMs were not cultural technologies but had beliefs, desires, and intentions. According to interpretationism in the philosophy of mind, a system has such attitudes if and only if its behavior is well explained by the hypothesis that it does. Interpretationists may hold that LLMs have attitudes, and thus have a simple solution to the novel reference problem. We emphasize, however, that interpretationism is compatible with very simple creatures having attitudes and differs sharply from views that presuppose these attitudes require onsciousness, sentience, or intelligence (topics about which we make no claims). (shrink)

I observe that the “concept-generator” theory of Percus and Sauerland (2003), Anand (2006), and Charlow and Sharvit (2014) does not predict an intuitive true interpretation of the sentence “Plato did not believe that Hesperus was Phosphorus”. In response, I present a simple theory of attitude reports which employs a fine-grained semantics for names, according to which names which intuitively name the same thing may have distinct compositional semantic values. This simple theory solves the problem with the concept-generator theory, but, as (...) I go on to show, it has problems of its own. I present three examples which the concept-generator theory can accommodate, but the simple fine-grained theory cannot. These examples motivate the full theory of the paper, which combines the basic ideas behind the concept-generator theory with a fine-grained semantics for names. The examples themselves are of interest independently of my theory: two of them constrain the original concept-generator theory more tightly than previously discussed examples had. (shrink)

I present a new puzzle about choice under uncertainty for agents whose preferences are sensitive to multiple dimensions of outcomes in such a way as to be incomplete. In response, I develop a new theory of choice under uncertainty for incomplete preferences. I connect the puzzle to central questions in epistemology about the nature of rational requirements, and ask whether it shows that preferences are rationally required to be complete.

This paper introduces the axiom of Negative Dominance, stating that if a lottery f is strictly preferred to a lottery g, then some outcome in the support of f is strictly preferred to some outcome in the support of g. It is shown that if preferences are incomplete on a sufficiently rich domain, then this plausible axiom, which holds for complete preferences, is incompatible with an array of otherwise plausible axioms for choice under uncertainty. In particular, in this setting, Negative (...) Dominance conflicts with the standard Independence axiom. A novel theory, which includes Negative Dominance, and rejects Independence, is developed and shown to be consistent. (shrink)

Remarks on method in the history of Chinese philosophy for analytic philosophy.

AbstractThis essay argues for a new interpretation of the notion of “unity” in Yangming’s 王陽明 famous doctrine of the “unity of knowledge and action” (zhi xing he yi 知行合一). I distinguish two parts of Wang’s doctrine: one concerning training (gong fu 工夫), and one concerning the “original natural condition” of knowledge and action (ben ti 本體). I focus on the latter aspect of the doctrine, and argue that Wang holds, roughly, that a person exhibits knowledge in its original natural condition (...) if and only if the person exhibits action in its original natural condition. Moreover, I argue that Wang denies that knowledge in its original natural condition is identical to action in its original natural condition. (shrink)

Among philosophers, Fregeanism and sententialism are widely considered two of the leading theories of the semantics of attitude reports. Among linguists, these approaches have received little recent sustained discussion. This paper aims to bridge this divide. I present a new formal implementation of Fregeanism and sententialism, with the goal of showing that these theories can be developed in sufficient detail and concreteness to be serious competitors to the theories which are more popular among semanticists. I develop a modern treatment of (...) quantifying in for Fregeanism and sententialism, in the style of Heim and Kratzer, and then show how these theories can—somewhat surprisingly—account for “third readings” on the model of the “Standard Solution” from possible-worlds semantics. The resulting Fregean/sententialist proposal has a distinctive attraction: it treats data related to counterfactual attitudes —which have proven challenging to accommodate in the setting of possible worlds semantics—straightforwardly as third readings. (shrink)

I present a problem for an influential argument of Chen Lai's, and argue that Wang Yangming may have believed that all "motivating concerns" are actions. (The archived version is a Chinese preprint; the published Chinese version is available by the external link in the entry. An English version is available on my website.).

The difficult phrase ὅ ποτε ὄν ἐστι (hereafter ‘OPO’), which occurs in key passages in Aristotle’s discussions of blood and of time, has long vexed interpreters of Aristotle. This paper proposes a new interpretation of OPO, which resolves some textual and interpretative problems about Aristotle’s theories of blood and of time. My interpretation will also shed light on more general issues in Aristotle’s metaphysics. In the passages I will discuss, Aristotle takes both blood and time to be examples of his (...) peculiar ‘coupled entities’. He then uses OPO to provide explanations which differ from what we might call his ‘standard’ metaphysical explanations. On the ‘standard’ approach, Aristotle explains derivative entities—non-substances—by describing their relationship to substances. By contrast to this standard form of explanation, when Aristotle uses OPO he explains blood and time by describing their relationship to non-substances. This paper thus identifies a new species of metaphysical dependence in Aristotle. In addition, it provides detailed examination of evidence concerning whether Aristotle himself used coupled entities in his own physical and metaphysical theories. (shrink)

I respond to P. J. Ivanhoe's criticisms of my translation of a key passage in Wang Yangming.

A translation of two untranslated epistolary exchanges of Wang Yangming, which provide a record of how he understood the doctrine of the unity of knowledge and action after 1521.

According to relationism, for Alice to believe that some rabbits can speak is for Alice to stand in a relation to a further entity, some rabbits can speak. But what could this further entity possibly be? Higher-order metaphysics seems to offer a simple, natural answer. On this view (roughly put), expressions in different syntactic categories (for instance: names, predicates, sentences) in general denote entities in correspondingly different ontological categories. Alice's belief can thus be understood to relate her to a sui (...) generis entity denoted by "some rabbits can speak", belonging to a different ontological category than Alice herself. This straightforward account of the attitudes has historically been deemed so attractive that it was seen as providing an important motivation for higher-order metaphysics itself (Prior [1971]). But I argue that it is not as straightforward as it might seem, and in fact that propositional attitudes present a foundational challenge for higher-order metaphysics. (shrink)

This study aimed to determine the significant relationship among student engagement, academic motivation, and academic performance of the Intermediate Level Students of Licup Elementary School. Utilizing descriptive correlational method of research and validated questionnaires in data analysis with Mean, and Pearson Product–Moment of Coefficient Correlation as statistical tools, results shows that there is no significant relationship among the three variables. In addition, results also indicated that the student engagement and academic motivation of the intermediate level students of Licup Elementary School (...) is low, while the Academic Performance of the intermediate students is Very Satisfactory. It was also recommended that future researchers be encouraged to conduct this kind of research in a new location and to set to expand this kind of study. (shrink)

We provide a general argument against value incomparability, based on a new style of impossibility result. In particular, we show that, against plausible background assumptions, value incomparability creates an incompatibility between two very plausible principles for ranking lotteries: a weak "negative dominance" principle (to the effect that Lottery 1 can be better than Lottery 2 only if some possible outcome of Lottery 1 is better than some possible outcome of Lottery 2) and a weak form of ex ante Pareto (to (...) the effect that, if Lottery 1 gives an unambiguously better prospect to some individuals than Lottery 2, and equally good prospects to everyone else, then Lottery 1 is better than Lottery 2). After spelling out our results, and the arguments based on them, we consider which principle the proponent of incomparability ought to reject. (shrink)

An action is agentially perfect if and only if, if a person tries to perform it, they succeed, and, if a person performs it, they try to. We argue that trying itself is agentially perfect: if a person tries to try to do something, they try to do it; and, if a person tries to do something, they try to try to do it. We show how this claim sheds new light on the logical structure of intentional action, on the (...) question of whether basic actions are tryings, and on the notion of “options” in decision theory. On the way to these central ideas, we argue that a person can try to do something even if they believe it is impossible that they will succeed, that a person can try to do something even if they do not want to succeed, and that a person can try to do something even if they do not intend to succeed. (shrink)

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)

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)

Standard models in epistemic game theory make strong assumptions about agents’ knowledge of their own beliefs. Agents are typically assumed to be introspectively omniscient: if an agent believes an event with probability p, she is certain that she believes it with probability p. This paper investigates the extent to which this assumption can be relaxed while preserving some standard epistemic results. Geanakoplos (1989) claims to provide an Agreement Theorem using the “truth” axiom, together with the property of balancedness, a significant (...) relaxation of introspective omniscience. I provide an example which shows that Geanakoplos’s statement is incorrect. I then introduce a new property, local balancedness, which allows us both to correct Geanakoplos’s result, and to extend it to cases where the truth axiom may fail. I exploit this general Agreement Theorem to provide novel epistemic conditions for correlated and Nash equilibrium, both of which relax the assumption of introspective omniscience. In all three cases, the results are also extended to infinite state spaces. (This is Chapter 5 of my 2014 Oxford DPhil (PhD) thesis.). (shrink)

A theory of common ground is proposed and defended. This is Chapter 2 of my 2014 DPhil (PhD) thesis.

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)

Several theorists have observed that attitude reports have what we call “revisionist” uses. For example, even if Pete has never met Ann and has no idea that she exists, Jane can still say to Jim ‘Pete believes Ann can learn to play tennis in ten lessons’ if Pete believes all 6-year-olds can learn to play tennis in ten lessons and it is part of Jane and Jim’s background knowledge that Ann is a 6-year-old. Jane’s assertion seems acceptable because the claim (...) she reports Pete as believing is entailed by Pete’s beliefs if they are revised in light of Jane and Jim’s background knowledge. We provide a semantic theory of revisionist reports based on this idea. We observe that the admissible “revisions” are limited in a striking way. Jane cannot say ‘Pete thinks Ann is a 6-year-old and can play tennis in ten lessons’ in the same context that she can say ‘Pete believes Ann can learn to play tennis ten lessons’, even though this too follows from Jane and Jim’s background knowledge together with what Pete believes. Our theory predicts the infelicity of these latter reports. It also has the resources to predict the truth of “exported” attitude reports and casts the relationship between these reports and “singular thought” in a new light. We conclude by discussing how revisionist reports make trouble for a simplistic view of the connection between the relations expressed by attitude verbs in natural language and the relations of most interest to philosophers of mind and cognitive science. (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)

According to the structured theory of propositions, if two sentences express the same proposition, then they have the same syntactic structure, with corresponding syntactic constituents expressing the same entities. A number of philosophers have recently focused attention on a powerful argument against this theory, based on a result by Bertrand Russell, which shows that the theory of structured propositions is inconsistent in higher order-logic. This paper explores a response to this argument, which involves restricting the scope of the claim that (...) propositions are structured, so that it does not hold for all propositions whatsoever, but only for those which are expressible using closed sentences of a given formal language. We call this restricted principle Closed Structure, and show that it is consistent in classical higher-order logic. As a schematic principle, the strength of Closed Structure is dependent on the chosen language. For its consistency to be philosophically significant, it also needs to be consistent in every extension of the language which the theorist of structured propositions is apt to accept. But, we go on to show, Closed Structure is in fact inconsistent in a very natural extension of the standard language of higher-order logic, which adds resources for plural talk of propositions. We conclude that this particular strategy of restricting the scope of the claim that propositions are structured is not a compelling response to the argument based on Russell’s result, though we note that for some applications, for instance to propositional attitudes, a restricted thesis in the vicinity may hold some promise. (shrink)

Hofweber (Ontology and the ambitions of metaphysics, Oxford University Press, 2016) argues for a thesis he calls “internalism” with respect to natural number discourse: no expressions purporting to refer to natural numbers in fact refer, and no apparent quantification over natural numbers actually involves quantification over natural numbers as objects. He argues that while internalism leaves open the question of whether other kinds of abstracta exist, it precludes the existence of natural numbers, thus establishing what he calls “restricted nominalism” about (...) natural numbers. We argue that Hofweber’s internalism fails to establish restricted nominalism. Not only is his primary argument for restricted nominalism invalid, the analysis of quantification proposed threatens to collapse internalism into either a traditional form of error theory or realism. (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)

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)

The impossibility theorem of Dekel, Lipman and Rustichini has been thought to demonstrate that standard state-space models cannot be used to represent unawareness. We first show that Dekel, Lipman and Rustichini do not establish this claim. We then distinguish three notions of awareness, and argue that although one of them may not be adequately modeled using standard state spaces, there is no reason to think that standard state spaces cannot provide models of the other two notions. In fact, standard space (...) models of these forms of awareness are attractively simple. They allow us to prove completeness and decidability results with ease, to carry over standard techniques from decision theory, and to add propositional quantifiers straightforwardly. (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)

The naive theory of properties states that for every condition there is a property instantiated by exactly the things which satisfy that condition. The naive theory of properties is inconsistent in classical logic, but there are many ways to obtain consistent naive theories of properties in nonclassical logics. The naive theory of classes adds to the naive theory of properties an extensionality rule or axiom, which states roughly that if two classes have exactly the same members, they are identical. In (...) this paper we examine the prospects for obtaining a satisfactory naive theory of classes. We start from a result by Ross Brady, which demonstrates the consistency of something resembling a naive theory of classes. We generalize Brady’s result somewhat and extend it to a recent system developed by Andrew Bacon. All of the theories we prove consistent contain an extensionality rule or axiom. But we argue that given the background logics, the relevant extensionality principles are too weak. For example, in some of these theories, there are universal classes which are not declared coextensive. We elucidate some very modest demands on extensionality, designed to rule out this kind of pathology. But we close by proving that even these modest demands cannot be jointly satisfied. In light of this new impossibility result, the prospects for a naive theory of classes are bleak. (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)

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)

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.

On the differing practices and assumptions in the academic specialisms of environmental studies and STS.

This article discusses experiences in the integrated teaching of Environmental Studies and Science Studies in a generalist curriculum at a university campus in Scotland. At the University of Glasgow Crichton Campus, a mixed curriculum has been developed to combine coherently Environmental and Science Studies, perhaps the first such curriculum in the UK and equally uncommon in America. The Crichton curricum is intentionally multi-disciplinary, drawing closely on the successful nineteenth-century Scottish model exported to America. This generalist approach, emphasising broad philosophical principles, (...) informs the courses and their inter-relationships. (shrink)

In this paper we consider the possibility of a Quantum Molinism : such a view applies an analogue of the Molinistic account of free will‘s compatibility with God’s foreknowledge to God’s knowledge of (supposedly) indeterministic events at a quantum level. W e ask how (and why) a providential God could care for and know about a world with this kind of indeterminacy. We consider various formulations of such a Quantum Molinism, and after rejecting a number of options arrive at one (...) seemingly coherent formulation. (shrink)

The paper is written in response to those who fail to recognize the relation between a patient's mental competency and her state of pain. Some clinicians claim that a proper diagnosis can only be made in the absent of analgesia. Rather, the patient's state of pain directly affects her mental competency and thus her ability to give valid consent. Clinicians should rethink their approach to diagnosis when the patient is in pain.

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)