The study of biodiversity spans many disciplines and includes data pertaining to species distributions and abundances, genetic sequences, trait measurements, and ecological niches, complemented by information on collection and measurement protocols. A review of the current landscape of metadata standards and ontologies in biodiversity science suggests that existing standards such as the Darwin Core terminology are inadequate for describing biodiversity data in a semantically meaningful and computationally useful way. Existing ontologies, such as the Gene Ontology and others in the Open (...) Biological and Biomedical Ontologies (OBO) Foundry library, provide a semantic structure but lack many of the necessary terms to describe biodiversity data in all its dimensions. In this paper, we describe the motivation for and ongoing development of a new Biological Collections Ontology, the Environment Ontology, and the Population and Community Ontology. These ontologies share the aim of improving data aggregation and integration across the biodiversity domain and can be used to describe physical samples and sampling processes (for example, collection, extraction, and preservation techniques), as well as biodiversity observations that involve no physical sampling. Together they encompass studies of: 1) individual organisms, including voucher specimens from ecological studies and museum specimens, 2) bulk or environmental samples (e.g., gut contents, soil, water) that include DNA, other molecules, and potentially many organisms, especially microbes, and 3) survey-based ecological observations. We discuss how these ontologies can be applied to biodiversity use cases that span genetic, organismal, and ecosystem levels of organization. We argue that if adopted as a standard and rigorously applied and enriched by the biodiversity community, these ontologies would significantly reduce barriers to data discovery, integration, and exchange among biodiversity resources and researchers. (shrink)

Since the last ice age, when ice enveloped most of the northern continents, the earth has warmed by about five degrees. Within a century, it is likely to warm by another four or five. This revolution in our climate will have immense and mostly harmful effects on the lives of people not yet born. We are inflicting this harm on our descendants by dumping greenhouse gases into the atmosphere. We can mitigate the harm a little by taking measures to control (...) our emissions of these gases, and to adapt to the changes by, for instance, building sea walls around coastlines threatened by rising sea levels. But these measures will be very expensive, and the costs will be born by us, the present generation, whereas the benefits will come to future generations. How much should we sacrifice for the sake of the future? Economists and philosophers have independently worked on the question of our responsibility to future generations. This book brings their work together and applies it to global warming. It suggests a programme for future research on the economic and ethical issues. The book is intended for economists, and for philosophers and other social scientists who have a little knowledge of economic methods. (shrink)

I propose a distinction between design intentions, activities and products, as opposed to artistic intentions, activities and artworks. Examples of design products would include a specific type of car (or any other invention or device) as well as closer relatives of art such as decorative wall designs. In order to distinguish artistic from design intentions, I present an example in which two sculptors independently work on a single object to produce two sculptures, which are distinct just because the artistic (...) intentions of the sculptors are distinct. This case is then contrasted with an attempted parallel example for design intentions, which fails to produce two correspondingly distinct design products in spite of the different design intentions of its designers. I argue that this failure occurs because designs are types, for which any single token of a given type could not simultaneously be a token of some other type of the same general kind; whereas the possibility of my sculptural 'double artwork' example shows that such artworks cannot be types. I then further investigate the concept of a design, and conclude by arguing that an extension of my sculptural example shows that literary artworks also cannot be types. (shrink)

English Abstract In Art as Experience, John Dewey decried the estrangement of art from lived human experience, both by artificial conceptual walls and the physical walls that secluded art within museums. Instead he argued that making and enjoying art are crucial organic functions that sustain communities and integrate individuals within their environments. In the 1920’s Diego Rivera became one of the luminaries of the Mexican muralist movement by creating frescoes that were rooted in Mexican life, both in their subject (...) matter and public location. Rivera and the other artists working within the government cultural program guided by José Vasconcelos created murals that boldly expressed the new values of democracy, peaceful revolution, racial equality and cultural pride. This essay explores the deep resonance between Rivera’s most prominent murals from this period and Dewey’s argument that art is a refined and integral feature of human experience. In particular, this essay will examine the great extent to which these men independently came to the common understanding that for people to thrive and grow they need to create and experience art that grows out of and remains rooted in their culture. Without claiming that either thinker influenced the other, this essay argues that their works mutually inform and enrich each other. Both men sought to free art from the museum, but where Dewey urged us tear down the walls that separated art from lived experience, Rivera transformed walls themselves into murals that unified and educated the people of Mexico and restored their culture. (shrink)

Drawing on the work of John Rawls and Thomas Pogge, I argue that the U.S. is in part responsible for the immigration of Mexicans and Central Americans into the U.S. By seeking to further its national interests through its foreign policies, the U.S. has created economic and politically oppressive conditions that Mexican and Central American people seek to escape. The significance of this project is to highlight the role of the U.S. in illegal immigration so that we may first (...) acknowledge our responsibility in order to seek lasting humane solutions. (shrink)

Wall, G. Locke's attack on innate knowledge.--Harris, J. Leibniz and Locke on innate ideas.--Greenlee, D. Locke's idea of idea.--Aspelin, G. Idea and perception in Locke's essay.--Greenlee, D. Idea and object in the essay.--Mathews, H. E. Locke, Malebranche and the representative theory.--Alexander, P. Boyle and Locke on primary and secondary qualities.--Ayers, M. R. The ideas of power and substance in Locke's philosophy.--Allison, H. E. Locke's theory of personal identity.--Kretzmann, N. The main thesis of Locke's semantic theory.--Woozley, A. D. Some remarks (...) on Locke's account of knowledge.--Laudan, L. The nature and sources of Locke's views on hypotheses. (shrink)

A shortened version of the second chapter of The Sympathy of Things as it was published in The Politics of the Impure (V2_NAI Publishers, 2010). It relates John Ruskin’s “Wall-Veil” to the better-known “Wall-Dress” (Gewand) of Gottfried Semper by understanding both as occurring at the intersection of matter and force. Matter tends to generate patterns in two ways, either downward or upward in dimensions. The first relates to tessellated ornament (cf. Owen Jones); the second to the ribboned (...) ornamentation as we find it in Morris’s work. (shrink)

In this paper, I evaluate three views of philosophical pragmatism’s practical implications for academic and non-academic or public discourses, as well as offer my own view of those implications. The first view is that of George Novack. In an underappreciated tract, Pragmatism versus Marxism, the American Trotskyite and union organizer launched a vicious attack on John Dewey’s career as a professional philosopher. He alleged that Dewey’s ideas were inaccessible to all but a small community of fellow academicians. While Novack (...) conceded that Dewey’s philosophical inquiries had a cross-pollinating influence on other academic fields, he doubted that the beneficial products of those inquiries traveled far beyond the walls of the so-called ‘ivory tower.’ Larry Hickman offers a second view. He understands Dewey’s claim in Experience and Nature that philosophy serves as a “liaison officer” to mean that philosophers should provide a common lexicon that translates between the languages of distinct disciplines. In other words, for Dewey, the role of philosophy, including philosophical pragmatism, is to facilitate interdisciplinarity. Since interdisciplinary sharing is usually confined to academic discourse, Novack’s challenge is perfectly compatible with Hickman’s interpretation of Dewey’s ‘liaison officer’ claim. Both Novack and Hickman are mistaken, though in different degrees and for different reasons. The third, and more promising, view is advanced by Robert Talisse. He cites the life and works of Sidney Hook, one of Dewey’s better-known students, as an exemplary case of a pragmatist who consistently realized his pragmatic commitments in public discourse. The most important reason for qualifying Hickman’s interpretation of Dewey’s ‘liaison officer’ claim is that the measure of pragmatism’s value is not solely the ability of pragmatists to facilitate interdisciplinary collaboration, but their ability to also insert their ideas into public discourse. In my view, philosophical pragmatists, and philosophers generally, should both facilitate interdisciplinarity in academic discourse and introduce philosophical notions into public discourse—that is, serving in the dual capacity of interdisciplinary scholar and public intellectual. (shrink)

If Mont Blanc is a vague object, then its vagueness will depend on the context in which reference is made. In a geological context the mountain might include only rock, perhaps together with a certain amount of air in the crevices and tunnels which have been formed beneath its surface. In a context of soil chemistry we might include also a surrounding thin layer of organic matter. In a skiing context we might include some snow. This essay sketches in informal (...) terms the theory of granular partitions, which is designed to do justice to this context-dependence of vagueness by means of what might be described as a contextualized supervaluationism. Granularity and vagueness, it is argued, are two sides of a single coin: what is vague at one level of granularity may appear crisp at another. The resultant theory can be shown to resolve certain problems in our description of perceptual content, for example when John says that he sees the wall, but that he does not see the molecules by which the wall is constituted. (shrink)

The purpose of the article is to identified the origin and essence of Western individualism. Methods of research. I used the methodology of post-nonclassical metaphysics of history, as well as the methods of epistemological polytheism and comparative. Results. The first sprouts of individualism can be detected in Greek poleis. It is the crisis of the polis system in Ancient Greece that predetermined the disappointment of the Greeks in the old collectivist ideals. Roman collectivism quite naturally got along with ideas about (...) civil liberties and the dignity of an individual citizen. The idea of citizenship was brought to the theoretical perfection by moving it beyond the boundaries of city walls. The Christian ideal is not a self-sufficient person, but the community of believers. It is the weakening of the church’s position and the strengthening of the influence of Antiquity that led to the formation of the Western style of thinking, which became the basis of the new European civilizational project. John Locke rethought the Hobbesian “Roman” theory of the social contract, thereby laying the foundations of liberalism, and hence of individualism. However, radically changing the hierarchical society, even the shaken revolution and the restoration of the Stuarts, no theoretical work could not. But in the New World, free from class barriers, Locke’s ideas found a much more fertile soil. Conclusions. The Western version of individualism emerges as a civilizational ideal at the junction of two completely different paradigms — the Ancient (Greek and Roman) and the Christian. Being present in the “body” of the West, individualism could not access its code. The latter was guarded by numerous barriers, among which the Catholic collectivism and the class divisions of hierarchical society were the most powerful guards. In American society, security barriers were significantly weaker, which allowed individualism to develop in the United States. Then American individualism returned to Europe and is now perceived as an integral element of Western civilization. (shrink)

(Winner of The Res Publica Essay Prize) This article defends a moderate version of state perfectionism by using Gerald Gaus’s argument for liberal neutrality as a starting point of discussion. Many liberal neutralists reject perfectionism on the grounds of respect for persons, but Gaus has explained more clearly than most neutralists how respect for persons justifies neutrality. Against neutralists, I first argue that the state may promote the good life by appealing to what can be called “the qualified judgments about (...) the good life,” which have not been considered by liberal perfectionists including Joseph Chan and Steven Wall. Then I clear up several possible misunderstandings of these judgments, and argue that: (a) moderate perfectionism does not rely on controversial rankings of values and is committed to promoting different valuable ways of life by pluralistic promotion; and (b) moderate perfectionism requires only an indirect form of coercion in using tax money to support certain moderate perfectionist measures, which is justifiable on the grounds of citizens’ welfare. Thus, I maintain that moderate perfectionism does not disrespect citizens, and is not necessarily unfair to any particular group of people. It is, in fact, plausible and morally important. The defence of moderate perfectionism has practical implications for the state’s policies regarding art development, drug abuse, public education, and so on. (shrink)

We are living through an era of increased robotisation. Some authors have already begun to explore the impact of this robotisation on legal rules and practice. In doing so, many highlight potential liability gaps that might arise through robot misbehaviour. Although these gaps are interesting and socially significant, they do not exhaust the possible gaps that might be created by increased robotisation. In this article, I make the case for one of those alternative gaps: the retribution gap. This gap arises (...) from a mismatch between the human desire for retribution and the absence of appropriate subjects of retributive blame. I argue for the potential existence of this gap in an era of increased robotisation; suggest that it is much harder to plug this gap than it is to plug those thus far explored in the literature; and then highlight three important social implications of this gap. (shrink)

I argue against the orthodox view of the relationship between propositional and doxastic justification. The view under criticism is: if p is propositionally justified for S in virtue of S's having reason R, and S believes p on the basis of R, then S's belief that p is doxastically justified. I then propose and evaluate alternative accounts of the relationship between propositional and doxastic justification, and conclude that we should explain propositional justification in terms of doxastic justification. If correct, this (...) proposal would constitute a significant advance in our understanding of the sources of epistemic justification. (shrink)

This report reviews what quantum physics and information theory have to tell us about the age-old question, How come existence? No escape is evident from four conclusions: (1) The world cannot be a giant machine, ruled by any preestablished continuum physical law. (2) There is no such thing at the microscopic level as space or time or spacetime continuum. (3) The familiar probability function or functional, and wave equation or functional wave equation, of standard quantum theory provide mere continuum idealizations (...) and by reason of this circumstance conceal the information-theoretic source from which they derive. (4) No element in the description of physics shows itself as closer to primordial than the elementary quantum phenomenon, that is, the elementary device-intermediated act of posing a yes-no physical question and eliciting an answer or, in brief, the elementary act of observer-participancy. Otherwise stated, every physical quantity, every it, derives its ultimate significance from bits, binary yes-or-no indications, a conclusion which we epitomize in the phrase, it from bit. (shrink)

The purpose of this essay is threefold. First, I seek to trace a brief history of the concept of catholicity within the Reformed tradition and offer this historical context as an explanation for its resistance to traditional conceptions of the Church. Second, I will show how Georges Florovsky’s work “The Boundaries of the Church,” offers a better point of reference for Orthodox dialogue with Churches of the Reformed Tradition than other Orthodox ecclesiologies, such as those based solely on St. Cyprian’s (...) model, and the ecclesiology of N. Afanassieff. Last, I will use John Calvin’s ideas on the church in Institutes of the Christian Religion to show that certain contemporary Reformed ecclesiologies do not take into consideration the early Calvinist emphasis on catholicity. Using the early Christological controversies of Monophysitism and Nestorianism and applying them to ecclesiology, I will illustrate how both the traditionalist Orthodox and evangelical Reformed views of the Church are weak, make extreme claims on the nature of the Church, and must come closer to the center for dialogue. There is hope if doctrinal agreement could be made in two areas— the existence of the Church, at least to some degree, outside the formal walls of any given denominational, canonical structure in a “charismatic” sense, and the intrinsic unity of the Church as a catholic reality. Both these statements must be affirmed for the sides to agree, though agreement must not come at the expense of doctrinal suicide for either tradition. (shrink)

Epistemic reasons are mental states. They are not propositions or non-mental facts. The discussion proceeds as follows. Section 1 introduces the topic. Section 2 gives two concrete examples of how our topic directly affects the internalism/externalism debate in normative epistemology. Section 3 responds to an argument against the view that reasons are mental states. Section 4 presents two problems for the view that reasons are propositions. Section 5 presents two problems for the view that reasons are non-mental facts. Section 6 (...) argues that reasons are mental states. Section 7 responds to objections. (shrink)

Contemporary philosophers nearly unanimously endorse knowledge reliabilism, the view that knowledge must be reliably produced. Leading reliabilists have suggested that reliabilism draws support from patterns in ordinary judgments and intuitions about knowledge, luck, reliability, and counterfactuals. That is, they have suggested a proto-reliabilist hypothesis about “commonsense” or “folk” epistemology. This paper reports nine experimental studies (N = 1262) that test the proto-reliabilist hypothesis by testing four of its principal implications. The main findings are that (a) commonsense fully embraces the possibility (...) of unreliable knowledge, (b) knowledge judgments are surprisingly insensitive to information about reliability, (c) “anti-luck” intuitions about knowledge have nothing to do with reliability specifically, and (d) reliabilists have mischaracterized the intuitive counterfactual properties of knowledge and their relation to reliability. When combined with the weakness of existing arguments for reliabilism and the recent emergence of well supported alternative views that predict the widespread existence of unreliable knowledge, the present findings are the final exhibit in a conclusive case for abandoning reliabilism in epistemology. I introduce an alternative theory of knowledge, abilism, which out-performs reliabilism and well explains all the available evidence. (shrink)

Assertion is fundamental to our lives as social and cognitive beings. By asserting we share knowledge, coordinate behavior, and advance collective inquiry. Accordingly, assertion is of considerable interest to cognitive scientists, social scientists, and philosophers. This paper advances our understanding of the norm of assertion. Prior evidence suggests that knowledge is the norm of assertion, a view known as “the knowledge account.” In its strongest form, the knowledge account says that knowledge is both necessary and sufficient for assertability: you should (...) make an assertion if and only if you know that it is true. The knowledge account has been rejected on the grounds that it conflicts with our ordinary practice of evaluating assertions. This paper reports four experiments that address an important objection of this sort, which focuses on a class of examples known as “Gettier cases.” The results undermine the objection and, in the process, provide further evidence for the knowledge account. The findings also teach some important general lessons about intuitional methodology and the curation of genres of thought experiment. (shrink)

Through a selective historical, theoretical, and critical survey of the uses of the concept of scaffolding over the past 30 years, this chapter traces the development of the concept across developmental psychology, educational theory, and cognitive anthropology, and its place in the interdisciplinary field of distributed cognition from the 1990s. Offering a big-picture overview of the uses of the notion of scaffolding, it suggests three ways to taxonomise forms of scaffolding, and addresses the possible criticism that the metaphor of scaffolding (...) retains an overly individualist vision of cognition. The chapter is aimed at a broad interdisciplinary audience interested in processes of learning, teaching, and apprenticeship as they apply to the study of memory. (shrink)

Cognitivism in respect to the arts refers to a constellation of positions that share in common the idea that artworks often bear, in addition to aesthetic value, a significant kind of cognitive value. In this paper I concentrate on three things: (i) the challenge of understanding exactly what one must do if one wishes to defend a cognitivist view of the arts; (ii) common anti-cognitivist arguments; and (iii) promising recent attempts to defend cognitivism.

I argue that you can have a priori knowledge of propositions that neither are nor appear necessarily true. You can know a priori contingent propositions that you recognize as such. This overturns a standard view in contemporary epistemology and the traditional view of the a priori, which restrict a priori knowledge to necessary truths, or at least to truths that appear necessary.

We think we have lots of substantial knowledge about the future. But contemporary wisdom has it that indeterminism prevails in such a way that just about any proposition about the future has a non-zero objective chance of being false.2, 3 What should one do about this? One, pessimistic, reaction is scepticism about knowledge of the future. We think this should be something of a last resort, especially since this scepticism is likely to infect alleged knowledge of the present and past. (...) One anti-sceptical strategy is to pin our hopes on determinism, conceding that knowledge of the future is unavailable in an indeterministic world. This is not satisfying either: we would rather not be hostage to empirical fortune in the way that this strategy recommends. A final strategy, one that we shall explore in this paper, is one of reconciliation: knowledge of a proposition is compatible with a subject’s belief having a non-zero objective chance of error.4 Following Williamson, we are interested in tying knowledge to the presence or absence of error in close cases, and so we shall explore the connections between knowledge and objective chance within such a framework. We don’t want to get tangled up here in complications involved in attempting to formulate a necessary and sufficient condition for knowledge in terms of safety. Instead, we will assume the following rough and ready necessary condition: a subject knows P only if she could not easily have falsely believed P.5 Assuming that easiness is to be spelt.. (shrink)

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...) problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. (shrink)

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)

It is widely believed that a conservative moral outlook is opposed to biomedical forms of human enhancement. In this paper, I argue that this widespread belief is incorrect. Using Cohen’s evaluative conservatism as my starting point, I argue that there are strong conservative reasons to prioritise the development of biomedical enhancements. In particular, I suggest that biomedical enhancement may be essential if we are to maintain our current evaluative equilibrium (i.e. the set of values that undergird and permeate our current (...) political, economic, and personal lives) against the threats to that equilibrium posed by external, non-biomedical forms of enhancement. I defend this view against modest conservatives who insist that biomedical enhancements pose a greater risk to our current evaluative equilibrium, and against those who see no principled distinction between the forms of human enhancement. (shrink)

This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient logic texts. A renaissance in ancient (...) logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several (...) attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

According to several authors, the enhancement project incorporates a quest for hyperagency - i.e. a state of affairs in which virtually every constitutive aspect of agency (beliefs, desires, moods, dispositions and so forth) is subject to our control and manipulation. This quest, it is claimed, undermines the conditions for a meaningful and worthwhile life. Thus, the enhancement project ought to be forestalled or rejected. How credible is this objection? In this article, I argue: “not very”. I do so by evaluating (...) four different versions of the “hyperagency” objection from four different authors. In each case I argue that the objection either fails outright or, at best, provides weak and defeasible grounds for avoiding enhancement. In addition to this, I argue that there are plausible grounds for thinking that enhancement helps, rather than hinders, us in living the good life. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

Thirteen meanings of 'implication' are described and compared. Among them are relations that have been called: logical implication, material implication,deductive implication, formal implication, enthymemic implication, and factual implication. In a given context, implication is the homogeneous two-place relation expressed by the relation verb 'implies'. For heuristic and expository reasons this article skirts many crucial issues including use-mention, the nature of the entities that imply and are implied, and the processes by which knowledge of these relations are achieved. This paper is (...) better thought of as an early stage of a dialogue than as a definitive treatise. (shrink)

Questions about knowledge in expert sport are not only of applied significance: they also take us to the heart of foundational and heavily-disputed issues in the cognitive sciences. To a first (rough and far from uncontroversial) approximation, we can think of expert ‘knowledge’ as whatever it is that grounds or is applied in (more or less) effective decision-making, especially when in a competitive situation a performer follows one course of action out of a range of possibilities. In these research areas, (...) studies of motor expertise have for many years actively contributed to broader debates in philosophy and psychology (Abernethy, Burgess-Limerick, & Parks, 1994; Williams, Davids, & Williams, 1999). When we navigate the world flexibly and more or less successfully, how much is this due to a capacity to represent it? In considering alternative options, or planning future actions, we seem to transcend our present environment in some way: what is the balance or relation here between highly-tuned bodily dispositions and background knowledge of the world and its patterns? What changes in these regards as we gain experience and adapt to more complex and challenging environments? Is know-how fundamentally different in kind from ordinary factual knowledge of the world, or knowledge-that? And if expertise in a domain does involve or depend on a knowledge base that is somehow more organized or deeper than that of novices, how is this knowledge selectively and appropriately deployed, often under severe time constraints? (shrink)

As a topic in the philosophy of psychology, dreaming is a fascinating, diverse, and severely underdeveloped area of study. The topic excites intense public interest in its own right, while also challenging our confidence that we know what the words “conscious” and “consciousness” mean. So dreaming should be at the forefront of our interdisciplinary investigations: theories of mind which fail to address the topic are incomplete. This chapter illustrates the tight links between conceptual and empirical issues by highlighting surprisingly deep (...) disagreements among leading dream scientists over what might seem basic aspects of their topic. (shrink)

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

A fruitful way to approach The Idea of Phenomenology is through Husserl’s claim that consciousness is not a bag, box, or any other kind of container. The bag conception, which dominated much of modern philosophy, is rooted in the idea that philosophy is restricted to investigating only what is really immanent to consciousness, such as acts and sensory contents. On this view, what Husserl called the riddle of transcendence can never be solved. The phenomenological reduction, as Husserl develops it in (...) The Idea of Phenomenology, opened up a new and broader sense of immanence that embraces the transcendent, making it possible both to solve the riddle and to escape the bag conception once and for all. The essay will discuss ways in which this new conception of immanence is tied to the key Husserlian themes of appearance, phenomenon, essence, seeing or intuiting, and constitution. (shrink)

I show that Kavka's toxin puzzle raises a problem for the “Responsibility Theodicy,” which holds that the reason God typically does not intervene to stop the evil effects of our actions is that such intervention would undermine the possibility of our being significantly responsible for overcoming and averting evil. This prominent theodicy seems to require that God be able to do what the agent in Kavka's toxin story cannot do: stick by a plan to do some action at a future (...) time even though when that time comes, there will be no good reason for performing that action. I assess various approaches to solving this problem. Along the way, I develop an iterated variant of Kavka's toxin case and argue that the case is not adequately handled by standard causal decision theory. (shrink)

There are two different ways of understanding alienation: as a condition and as a struggle. On this distinction turns the whole theory and practice of Marxism.

While there are numerous differences between the approaches taken by Maurice Merleau-Ponty and James J. Gibson, the basic motivation of the two thinkers, as well as the internal logic of their respective views, is extraordinarily close. Both were guided throughout their lives by an attempt to overcome the dualism of subject and object, and both devoted considerable attention to their "Gestaltist" predecessors. There can be no doubt but that it is largely because of this common cause that the subsequent development (...) of their ideas is so similar. It is not my objective in what follows merely to demonstrate a similarity between two lines of thought. Instead, I will try to show that each approach gains considerably from attention to the other. There are numerous ways to begin such a project, each about as arbitrary as the next. For present purposes, I shall take as of central importance the question of the character of the perceived world, both in relation to the traditionally opposed mental and material "substances", and in relation to its identification and individuation of things vis a vis one another and vis a vis ourselves. This will implicate especially Gibson's "affordances" and Merleau-Ponty's thesis concerning the "materiality of meaning.". (shrink)

A philosophical analysis of different kinds of memory used in the film Memento.

The move from good to ought, a premise form found in many justifications of environmental ethics, is itself in need of justification. Of the potential moves from good to ought surveyed, some have considerable promise and others less or none. Those without much promise include extrapolations of obligations based on human goods to nonsentient natural entities, appeals to educated judgment, precautionary arguments, humanistic consequentialist arguments, and justifications that assert that our obligations to natural entities are neither directly to those entities (...) nor derived from our obligations to humans. Some arguments that extrapolate obligations based on goods involving sentience from humans to sentient animals are promising, but whether they are sufficient is controversial. Gandhian andAristotlian arguments are also promising, provided we can justify their ought premises. (shrink)

The Double Content view is the first comprehensive theory of art that is able to satisfactorily explain the nature of all kinds of artworks in a unified way — whether paintings, novels, or musical and theatrical performances. The basic thesis is that all such representational artworks involve two levels or kinds of representation: a first stage in which a concrete artifact represents an artwork, and a second stage in which that artwork in turn represents its subject matter. "Dilworth applies his (...) theory across the arts and to a variety of issues, demonstrating that it has far-reaching implications for our philosophical understanding of the nature of art.” - Stephen Davies, Associate Professor of Philosophy, University of Auckland.. (shrink)

Infinitists argue that their view outshines foundationalism because infinitism can, whereas foundationalism cannot, explain two of epistemic justification’s crucial features: it comes in degrees and it can be complete. I present four different ways that foundationalists could make sense of those two features of justification, thereby undermining the case for infinitism.

One question about the role of the mental in the determination of practical reason concerns the pro-attitudes: can any set of beliefs, without the help of a desire, rationalize or make reasonable a desire, intention, attempt, or intentional action? After criticizing Michael Smith’s argument for a negative answer to this question, I present two arguments in favor of a positive answer. Another question about the role of the mental in the determination of practical reason concerns belief: what gives you a (...) reason to go to the store, the fact that you’re out of milk or the belief that you’re out of milk? The two questions about the mental are connected. I argue that if we give a positive answer to the first question and reject the Humean Theory of Motivation, we cannot accept the currently favored conception of normative reasons as determined by the facts. For the anti-Humean, normative reasons must be determined by the agent’s perspective. (shrink)

Any satisfactory epistemology must account for the distinction between propositional and doxastic justification. Can infinitism account for it? Proposals to date have been unsatisfactory. This paper advances a new infinitist account of the distinction. The discussion proceeds as follows. Section 1 sets the stage. Section 2 presents Peter Klein's account. Section 3 raises a problem for Klein's account and suggests an improvement. Section 4 raises a further challenge. Sections 5 to 7 consider several unsuccessful attempts to meet the challenge. Section (...) 8 presents my new proposal, which can meet the challenge. Section 9 concludes the discussion. (shrink)

1. The restless mind[1] Like us, early modern philosophers, both natural and moral, didn’t always understand the springs of their own actions. They didn’t want to feel everything they felt, and couldn’t trace the sources of all their thoughts and imaginings. Events from past experience come to mind again unwilled: abstract thought is interrupted by fantastical images, like the ‘winged horses, fiery dragons, and monstrous giants’ by which Hume exemplified ‘the liberty of the imagination’[2]. Then, as now, a failure to (...) keep a train of thought on track could be blamed for both personal and social ills, for wasted lives and erratic policies. The ongoing struggle to distinguish the deliverances of reason from what Hume called ‘the loose and indolent reveries of a castle-builder’ (1739/ 1978, p.624) thus required scrutiny of daydream and fancy as much as belief and knowledge (see also Tierney- Hynes 2007 on the ‘castle-builder’). The mind’s tendencies to float and to roam were of great interest to early modern philosophers as well as to others concerned with medicine, mental health, morals, education, and taste. This paper sketches one local line of thinking and theorizing about ‘mind-wandering’ and its bodily causes in British philosophy over the first decades of the 18th century, as a small exemplar of a form of cognitive history intended to illuminate independent historical and contemporary concerns about our understanding of mental life. The dual aim is to see problems in our historical material that we might otherwise miss, and to use history to explore phenomena more or less marginalized by modern psychology[3]. (shrink)

I argue that the physical marks on a canvas resulting from an artist's intentional, stylistic and expressive acts cannot themselves be the artist's expression, but instead they serve to signify or indicate those acts. Thus there is a kind of indicative content associated with a picture that is distinct from its subject matter (or 'representational content'). I also argue that this kind of indicative content is closely associated with the specific artistic medium chosen by the artist as her expressive medium, (...) for which reason I call this kind of content medium content (or medium-related content). (shrink)

The key problem for normative (or moral) cultural relativism arises as soon as we try to formulate it. It resists formulations that are (1) clear, precise, and intelligible; (2) plausible enough to warrant serious attention; and (3) faithful to the aims of leading cultural relativists, one such aim being to produce an important alternative to moral universalism. Meeting one or two of these conditions is easy; meeting all three is not. I discuss twenty-four candidates for the label "cultural relativism," showing (...) that not one meets all three conditions. In the end I conclude that cultural relativists have produced nothing that threatens universalism. (shrink)

Over the last three decades, a vast literature has amassed debating the merits of skeptical theism, and it is easy to get the sense that the rationality of theism itself depends crucially on the viability of the skeptical theist response. I will argue that this is mistaken, as there is no need for theists to maintain that non-theists are wrong to treat inscrutable evils as compelling evidence for atheism. I will show that theists instead need only take themselves to have (...) grounds for rejecting the existence of gratuitous evils and that they may look for these grounds among their more personal reasons for sustaining their trust in the theistic God rather than the more generally available skeptical considerations appealed to by skeptical theists. Accordingly, I call this alternative approach “trusting theism.” I will also show that the viability of trusting theism seems crucial to the rationality of theism whether or not skeptical theism is successful. Finally, I will show that trusting theism does not render theism impervious to possible counterevidence in the way skeptical theism has been accused of doing. (shrink)