In this chapter we introduce concepts for analyzing proofs, and for analyzing undergraduate and beginning graduate mathematics students’ proving abilities. We discuss how coordination of these two analyses can be used to improve students’ ability to construct proofs. -/- For this purpose, we need a richer framework for keeping track of students’ progress than the everyday one used by mathematicians. We need to know more than that a particular student can, or cannot, prove theorems by induction or contradiction or can, (...) or cannot, prove certain theorems in beginning set theory or analysis. It is more useful to describe a student’s work in terms of a finer-grained framework that includes various smaller abilities that contribute to proving and that can be learned in differing ways and at differing periods of a student’s development. (shrink)

In this largely theoretical article, we discuss the relation between a kind of affect, behavioural schemas and aspects of the proving process. We begin with affect as described in the mathematics education literature, but soon narrow our focus to a particular kind of affect – nonemotional cognitive feelings. We then mention the position of feelings in consciousness because that bears on the kind of data about feelings that students can be expected to be able to report. Next we introduce the (...) idea of behavioural schemas as enduring mental structures that link situations to actions, in other words, habits of mind, that appear to drive many mental actions in the proving process. This leads to a discussion of the way feelings can both help cause mental actions and also arise from them. Then we briefly describe a design experiment – a course intended to help advanced undergraduate and beginning graduate mathematics students improve their proving abilities. Finally, drawing on data from the course, along with several interviews, we illustrate how these perspectives on affect and on behavioural schemas appear to explain, and are consistent with, our students’ actions. (shrink)

The rise of constitutional self-government in early modern Europe, I argue, owes much to a nationalist liberation narrative pioneered by French Huguenot François Hotman in Francogallia (1573). In response to appeals by absolutist thinkers to Ro- man law, which put the power of the king beyond legal or constitutional restraint, Hotman wove together tales of the heroism of ancient Gauls and Franks wresting their native liberties back from the Romans with a theory of constitutionally limited government grounded in the common (...) law of France. This type of narrative was adapted by Dutch and English thinkers who sought to defend constitutionalism in their respective countries. Through this examination of early modern liberation narratives, I argue we can gain insight on the relationship between nationalism and resistance to autocratic governments and the formation of regimes consistent with the principles of constitutional self-government. (shrink)

In Tulving’s initial characterization, episodic memory was one of multiple memory systems. It was postulated, in pursuit of explanatory depth, as displaying proprietary operations, representations, and substrates such as to explain a range of cognitive, behavioural, and experiential phenomena. Yet the subsequent development of this research program has, paradoxically, introduced surprising doubts about the nature, and indeed existence, of episodic memory. On dominant versions of the ‘common system’ view, on which a single simulation system underlies both remembering and imagining, there (...) are no processes unique to memory to support robust generalizations with inductive potential. Eliminativism about episodic memory seems to follow from the claim that it has no dedicated neurocognitive system of its own. After identifying this under-noticed threat, we push back against modern eliminativists by surveying recent evidence that still indicates specialized mechanisms, computations, and representations that are distinctly mnemic in character. We argue that contemporary realists about episodic memory can retain lessons of the common system approach while resisting the further move to eliminativism. (shrink)

This paper provides a principled and elegant solution to the Gettier problem. The key move is to draw a general metaphysical distinction and conscript it for epistemological purposes. Section 1 introduces the Gettier problem. Sections 2–5 discuss instructively wrong or incomplete previous proposals. Section 6 presents my solution and explains its virtues. Section 7 answers the most common objection.

This paper introduces a new, expanded range of relevant cognitive psychological research on collaborative recall and social memory to the philosophical debate on extended and distributed cognition. We start by examining the case for extended cognition based on the complementarity of inner and outer resources, by which neural, bodily, social, and environmental resources with disparate but complementary properties are integrated into hybrid cognitive systems, transforming or augmenting the nature of remembering or decision-making. Adams and Aizawa, noting this distinctive complementarity argument, (...) say that they agree with it completely: but they describe it as “a non-revolutionary approach” which leaves “the cognitive psychology of memory as the study of processes that take place, essentially without exception, within nervous systems.” In response, we carve out, on distinct conceptual and empirical grounds, a rich middle ground between internalist forms of cognitivism and radical anti-cognitivism. Drawing both on extended cognition literature and on Sterelny’s account of the “scaffolded mind” (this issue), we develop a multidimensional framework for understanding varying relations between agents and external resources, both technological and social. On this basis we argue that, independent of any more “revolutionary” metaphysical claims about the partial constitution of cognitive processes by external resources, a thesis of scaffolded or distributed cognition can substantially influence or transform explanatory practice in cognitive science. Critics also cite various empirical results as evidence against the idea that remembering can extend beyond skull and skin. We respond with a more principled, representative survey of the scientific psychology of memory, focussing in particular on robust recent empirical traditions for the study of collaborative recall and transactive social memory. We describe our own empirical research on socially distributed remembering, aimed at identifying conditions for mnemonic emergence in collaborative groups. Philosophical debates about extended, embedded, and distributed cognition can thus make richer, mutually beneficial contact with independently motivated research programs in the cognitive psychology of memory. (shrink)

In a recent very interesting and important challenge to tracking theories of knowledge, Williams & Sinhababu claim to have devised a counter-example to tracking theories of knowledge of a sort that escapes the defense of those theories by Adams & Clarke. In this paper we will explain why this is not true. Tracking theories are not undermined by the example of the backward clock, as interesting as the case is.

Dasgupta poses a serious challenge to realism about natural properties. He argues that there is no acceptable explanation of why natural properties deserve the value realists assign to them and are consequently absent of value. In response, this paper defines and defends an alternative non-explanatory account of normativity compatible with realism. Unlike Lewis and Sider, who believe it is sufficient to defend realism solely on realist terms, I engage with the challenge on unfriendly grounds by revealing a tu quoque. Dasgupta (...) and anti-realists face a similar challenge to that directed against realism: one that not only undermines the objection to realism by legitimising non-explanatory normativity but leaves them facing a significant dilemma. (shrink)

Many philosophers favour the simple knowledge account of assertion, which says you may assert something only if you know it. The simple account is true but importantly incomplete. I defend a more informative thesis, namely, that you may assert something only if your assertion expresses knowledge. I call this 'the express knowledge account of assertion', which I argue better handles a wider range of cases while at the same time explaining the simple knowledge account's appeal. §1 introduces some new data (...) that a knowledge account of assertion well explains. §2 explains the simple knowledge account's advantage over two of its main competitors. §3 presents a problem for the simple account and offers a solution, which is to adopt the express knowledge account. §4 encapsulates the case for the express knowledge account, and offers a unifying vision for the epistemology of belief and assertion. §5 answers an objection. §6 briefly sums up. Even those who ultimately reject my conclusion can still benefit from the new data presented in §1, and learn an important lesson from the problem discussed in §3, which demonstrates a general constraint on an acceptable account of the norm of assertion. (shrink)

One fairly common view about practical reason has it that whether you have a reason to act is not determined by what you know, or believe, or are justified in believing. Your reasons are determined by the facts. Perhaps there are two kinds of reasons, and however it goes with motivating reasons, normative reasons are determined by the facts, not your take on the facts. One fairly common version of this view has it that what's reasonable for you to do (...) is determined by what you know or believe. Any view that drives this kind of wedge between reasons and rationality is inherently unstable. I argue against this view, criticize the arguments typically presented in its favor, and sketch an alternative. (shrink)

We address the question of whether it is possible to operate a time machine by manipulating matter and energy so as to manufacture closed timelike curves. This question has received a great deal of attention in the physics literature, with attempts to prove no- go theorems based on classical general relativity and various hybrid theories serving as steps along the way towards quantum gravity. Despite the effort put into these no-go theorems, there is no widely accepted definition of a time (...) machine. We explain the conundrum that must be faced in providing a satisfactory definition and propose a resolution. Roughly, we require that all extensions of the time machine region contain closed timelike curves; the actions of the time machine operator are then sufficiently "potent" to guarantee that closed timelike curves appear. We then review no-go theorems based on classical general relativity, semi-classical quantum gravity, quantum field theory on curved spacetime, and Euclidean quantum gravity. Our verdict on the question of our title is that no result of sufficient generality to underwrite a confident "yes" has been proven. Our review of the no-go results does, however, highlight several foundational problems at the intersection of general relativity and quantum physics that lend substance to the search for an answer. (shrink)

Intuitively, the knowledge of one’s own intentional actions is different from the knowledge of actions of other sorts, including those of other people and unintentional actions of one's own. But how are we to understand this phenomenon? Does it pertain to all actions, under every description under which they are known? If so, then how is this possible? If not, then how should we think about cases that are exceptions to this principle? This paper is a critical survey of recent (...) attempts to answer these questions. I consider views under three headings: "special source" views, which hold that the knowledge of one's intentional actions has a non-perceptual source; "special domain" views, which hold that some but not all aspects of one's intentional actions are known in a special way; and "special character" views, which hold that the knowledge of intentional actions is special not because of where it comes from, but because of some other respect in which it is different in kind from the knowledge of other things. (shrink)

In this paper I refute the chief arguments for cultural relativism, meaning the moral (not the descriptive) theory that goes by that name. In doing this I walk some oft-trodden paths, but I also break new ones. For instance, I take unusual pains to produce an adequate formulation of cultural relativism, and I distinguish that thesis from the relativism of present-day anthropologists, with which it is often conflated. In addition, I address not one or two, but eleven arguments for cultural (...) relativism, many of which contribute to its popularity but receive scant attention from its critics. To elicit the failings of these arguments I deploy a host of pertinent but often neglected distinctions. (shrink)

Robust technological enhancement of core cognitive capacities is now a realistic possibility. From the perspective of neutralism, the view that justifications for public policy should be neutral between reasonable conceptions of the good, only members of a subset of the ethical concerns serve as legitimate justifications for public policy regarding robust technological enhancement. This paper provides a framework for the legitimate use of ethical concerns in justifying public policy decisions regarding these enhancement technologies by evaluating the ethical concerns that arise (...) in the context of testing such technologies on nonhuman animals. Traditional issues in bioethics, as well as novel concerns such as the possibility of moral status enhancement, are evaluated from the perspective of neutralism. (shrink)

It is proposed that our memory is made up of individual, unconnected Records, to each of which is attached a Heading. Retrieval of a Record can only be accomplished by addressing the attached Heading, the contents of which cannot itself be retrieved. Each Heading is made up of a mixture of content in more or less literal form and context, the latter including specification of environment and of internal states (e.g. drug states and mood). This view of memory allows an (...) easy account of a number of natural memory phenomena as well as a variety of laboratory findings such as the differences between recall and recognition. The theory further proposes that Headed Records can neither be deleted nor modified. Data apparently against such a hypothesis can be accounted for in terms of the retrieval process. (shrink)

According to anti-atomism, we represent color properties (e.g., red) in virtue of representing color relations (e.g., redder than). I motivate anti-atomism with a puzzle involving a series of pairwise indistinguishable chips. I then develop two versions of anti-atomism.

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)

The most cursory examination of the history of artificial intelligence highlights numerous egregious claims of its researchers, especially in relation to a populist form of ‘strong’ computationalism which holds that any suitably programmed computer instantiates genuine conscious mental states purely in virtue of carrying out a specific series of computations. The argument presented herein is a simple development of that originally presented in Putnam’s (Representation & Reality, Bradford Books, Cambridge in 1988 ) monograph, “Representation & Reality”, which if correct, has (...) important implications for turing machine functionalism and the prospect of ‘conscious’ machines. In the paper, instead of seeking to develop Putnam’s claim that, “everything implements every finite state automata”, I will try to establish the weaker result that, “everything implements the specific machine Q on a particular input set ( x )”. Then, equating Q ( x ) to any putative AI program, I will show that conceding the ‘strong AI’ thesis for Q (crediting it with mental states and consciousness) opens the door to a vicious form of panpsychism whereby all open systems, (e.g. grass, rocks etc.), must instantiate conscious experience and hence that disembodied minds lurk everywhere. (shrink)

What is the relation between works of fiction and the acquisition of knowledge?

There is a great deal that might be said about justice in property claims. The strategy that I shall employ focuses attention upon the initial acquisition of property -- the most sensitive and most interesting area of property theory. Every theory that discusses property claims favorably assumes that there is some justification for transforming previously unowned resources into property. It is often this assumption which has seemed, to one extent or another, to be vulnerable to attack by critics of particular (...) justifications of property. Nevertheless, this assumption is frequently left undefended by property theorists, and where it is defended, the defense is often remarkably weak. That some initial claim to property be defensible is required by any theory which holds that certain present distributions may be justified, that certain transfers of property are justified, or that restitution ought to be made for previous injustice in transfer or acquisition. The initial acquisition of property, and its justification, is crucial to the remainder of property 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.

In this paper I discuss critically Richard Swinburne’s concept of God, which I find to be incoherent, and his understanding of Christianity, which I find to be based on a precritical use of the New Testament.

I will develop a new problem for almost all realist theories of colour. The problem involves fluctuations in our colour experiences that are due to visual noise rather than changes in the objects we are looking at.

(for Adam Morton's half) I argue that if we take the values of persons to be ordered in a way that allows incomparability, then the problems Broome raises have easy solutions. In particular we can maintain that creating people is morally neutral while killing them has a negative value.

This paper explores the possibility that causal decision theory can be formulated in terms of probabilities of conditionals. It is argued that a generalized Stalnaker semantics in combination with an underlying branching time structure not only provides the basis for a plausible account of the semantics of indicative conditionals, but also that the resulting conditionals have properties that make them well-suited as a basis for formulating causal decision theory. Decision theory (at least if we omit the frills) is not an (...) esoteric science, however unfamiliar it may seem to an outsider. Rather it is a systematic exposition of the consequences of certain well-chosen platitudes about belief, desire, preference and choice. It is the very core of our common-sense theory of persons, dissected out and elegantly systematized. (David Lewis, Synthese 23:331–344, 1974, p. 337). A small distortion in the analysis of the conditional may create spurious problems with the analysis of other concepts. So if the facts about usage favor one among a number of subtly different theories, it may be important to determine which one it is. (Robert Stalnaker, A Defense of Conditional Excluded Middle, pp. 87–104, 1980, p. 87). (shrink)

Genes are thought to have evolved from long-lived and multiply-interactive molecules in the early stages of the origins of life. However, at that stage there were no replicators, and the distinction between interactors and replicators did not yet apply. Nevertheless, the process of evolution that proceeded from initial autocatalytic hypercycles to full organisms was a Darwinian process of selection of favourable variants. We distinguish therefore between Neo-Darwinian evolution and the related Weismannian and Central Dogma divisions, on the one hand, and (...) the more generic category of Darwinian evolution on the other. We argue that Hull’s and Dawkins’ replicator/interactor distinction of entities is a sufficient, but not necessary, condition for Darwinian evolution to take place. We conceive the origin of genes as a separation between different types of molecules in a thermodynamic state space, and employ a notion of reproducers. (shrink)

We show that someone who believes in both gunk and the possibility of supertasks has to give up either a plausible principle about where gunk can be located, or plausible conservation principles.

The representation of propositional attitudes (beliefs, desires, etc.) and the analysis of natural-language, propositional-attitude reports presents difficult problems for cognitive science and artificial intelligence. In particular, various representational approaches to attitudes involve the incorrect “imputation,” to cognitive agents, of the use of artificial theory-laden notions. Interesting cases of this problem are shown to occur in several approaches to attitudes. The imputation problem is shown to arise from the way that representational approaches explicate properties and relationships, and in particular from the (...) way they explicate propositional attitudes themselves. Another factor contributing to imputation is the compositional nature of typical semantic approaches to propositional-attitude reports. Some strategies for avoiding undesirable imputation are examined. One of the main conclusions is that the importance of imputations that arise in a representation scheme depends strongly on the use to which the scheme is put -- on whether, for instance, the scheme is used as part of a formal, objective account of natural language, or is used rather as a representational tool within an agent. (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)

In this paper I will take it for granted that Zagzebski's position articulates a broadly Catholic perspective, and that Plantinga's position accurately represents a broadly Calvinist one. But I will argue that so construed, the Catholic and the Calvinist are much closer than Zagzebski implies: both views are person-based in an important sense of that term; both are internalist on Zagzebski's usage and externalist on the standard usage; and Plantinga's position is consistent with the social elements that Zagzebski stresses in (...) her view. In the second part of the paper I will identify what I think is the real issue between Zagzebski and Plantinga. Namely, Zagzebski thinks that knowledge requires epistemic responsibility, in the sense that instances of knowledge must be appropriately praiseworthy. Plantinga thinks that no such condition is required for knowledge or warranted belief. I will argue that on this issue Zagzebski is right, and that her virtue approach gives us resources for seeing why. Finally, I will look at the consequences for religious knowledge. Here I will argue that the consequences are minimal. Even if knowledge requires responsibility, Plantinga can still make a good case that religious belief is properly basic. And even if religious belief is properly basic, natural theology can still have an important role in the justification of religious belief. (shrink)

Realistic uses of Virtual Reality technology closely integrate user training on virtual objects with VR-assisted user interactions with real objects. This paper shows how the Interactive Theory of Perception may be extended to cover such cases. Virtual objects are explained as concrete models that have an inner generation mechanism, and the ITP is used to explain how VR users can both perceive such local CMs, and perceptually represent remote real objects. Also, concepts of modeling and representation are distinguished. The paper (...) concludes with suggestions as to how the ITP methodology developed here could be extended to iconic external representations and models generally. (shrink)

The general area of business and professional ethics is full of vexing and confusing problems. For example, questions concerning the im portance of ethical standards, whether ethics is unnecessary given appropriate legal enforcement, whether it is imperative to teach ethical behavior in professional education, and similar questions are all controversial. The specific ethical problems to be found in the areas of accounting and finance are at least as difficult as those in other areas. However, there is one kind of ethical (...) problem which is unusually prominent in finance and accounting, which deserves to be recognized more widely in ethics as a significant kind of issue. This is the problem of conflicts of interest. (shrink)

Against David Schenck's interpretation, I argue that it is not absolutely clear that Merleau-Ponty ever meant to replace what Schenck refers to as the "unity of meanings" interpretation of "structure" with a "material meanings" interpretation. A particular problem-setting -- for example, an attempt to understand the "truth in naturalism" or the "truth in dualism" -- may very well require a particular mode of expression. I argue that the mode of expression chosen by Merleau-Ponty for these purposes, while unfortunate in some (...) of its apparent implications, need not be interpreted as recommitting him to the doctrine he spent his life working to renounce. I have argued that this would have been clearer had he been able to avail himself of James J. Gibson's notion of affordances, which capture perfectly what he was reaching for. (shrink)

Ideas about soul and body – about thinking or remembering, mind and life, brain and self – remain both diverse and controversial in our neurocentric age. The history of these ideas is significant both in its own right and to aid our understanding of the complex sources and nature of our concepts of mind, cognition, and psychology, which are all terms with puzzling, difficult histories. These topics are not the domain of specialists alone, and studies of emotion, perception, or reasoning (...) have never been isolated theoretical endeavours. As Francis Bacon described human philosophy or ‘the knowledge of ourselves’, within which he located the study of body, soul, and mind, it ‘deserveth the more accurate handling, by how much it toucheth us more nearly’ (1605/ 2000: 93). The history of ideas in these domains is particularly challenging given the practical dimensions and implications of theories of mind. Because theories of human nature and debates about body and mind do ‘touch us’ so ‘nearly’, they attract and can thus reveal, in specific historical contexts, interconnected discourses or associations which may be quite unlike our own. So there are no neat boundaries around a historical category of ‘seventeenth-century British philosophy of the soul’. The central topic of this chapter can be thought of either as pneumatology, the doctrine or science of spirits and souls, or as continuous with the ‘psychologia’ or psychology of Aristotelian traditions (Park and Kessler 1988; Hatfield 1995: 184-6). In neither case, however, should we expect any deep unity to be provided by history, geography, discipline, or subject-matter. (shrink)

This paper investigates the meaning of the neo-Confucian concept of 'li'. From early on, it has the sense of a pattern designating how things are and ought to be. But it takes on the appearance of something transcendent to the world only at a certain point in history, when it becomes juxtaposed to 'qi'. Zhu Xi has been criticized for this 'li-qi' dichotomization and the transcendentalization of 'li'. The paper re-examines this putative dualism and transcendentalism, looking into both Zhu's discussions (...) and pre- and post-Zhu discussions of 'li', and concludes it to be an inter-connective threading immanent to the world. (shrink)

The need to address our question arises from two sources, one in Kant and the other in a certain type of response to so-called Reformed epistemology. The first source consists in a tendency to distinguish theoretical beliefs from practical beliefs (commitments to the world's being a certain way versus commitments to certain pictures to live by), and to treat theistic belief as mere practical belief. We trace this tendency in Kant's corpus, and compare and contrast it with Aquinas's view and (...) a more conservative Kantian view. We reject the theistic-belief-as-mere-practical-belief view: it is bad descriptive anthropology, it embraces a misguided ideal of a fragmented self unattainable by human beings, and it will deter people from the most desirable sort of faith. The second source consists in the idea that since theistic beliefs function as answers to why-questions, their epistemic status hangs on whether they meet certain distinctively explanatory standards, whatever support they might receive from other sources. We argue that this is a non-sequitur and suggest questions for further research. (shrink)

In 2002, a remake of the 1975 film Rollerball was released in theaters. It flopped at the box-office, disappearing quickly from movie screens and reappearing shortly thereafter on home video. While aesthetically horrendous, the remake of Rollerball is instructive, as it provides a point of contrast to the original film, highlighting a change in our culture’s manner of engagement with the difficult philosophical problem of nihilism. Both films share a roughly similar plot, yet in the differing manners that they explore (...) and develop that plot, we can glimpse two separate ways in which nihilism may be discovered, confronted and dealt with. (shrink)

Memory Detection Tests (MDTs) are a general class of psychophysiological tests that can be used to determine whether someone remembers a particular fact or datum. The P300 MDT is a type of MDT that relies on a presumed correlation between the presence of a detectable neural signal (the P300 “brainwave”) in a test subject, and the recognition of those facts in the subject’s mind. As such, the P300 MDT belongs to a class of brain-based forensic technologies which have proved popular (...) and controversial in recent years. With such tests increasingly being proffered for use in the courtroom — to either support or call into question testimony — it would behoove the legal system to have some systematic framework for ensuring that they are used responsibly. In this paper, I defend one such framework for ensuring that this is the case: the legitimacy enhancing test. According to this test, it is appropriate to make use of technologies such as the P300 MDT whenever doing so would (probably) enhance the legitimacy of the trial. I argue that this test addresses tensions between scientific and legal norms of evidence, and exhibits a number of additional virtues including unification, simplicity and flexibility. Although the test is defended by considering the example of the P300 MDT, its significance is much broader than that. If it has the virtues I claim for it, it should provide a general framework for the responsible use of technologies, and the responsible innovation of social epistemic systems. (shrink)

Llull and Leibniz both subscribed to conceptual atomism: the belief that the majority of concepts are compounds constructed from a relatively small number of primitive concepts. Llull worked out techniques for finding the logically possible combinations of his primitives, but Leibniz criticized Llull’s execution of these techniques. This article argues that Leibniz was right about things being more complicated than Llull thought but that he was wrong about the details. The paper attempts to correct these details.

This chapter has two objectives. The first is to clarify Aristotle’s view of the first principles of the sciences. The second is to stake out a critical position with respect to this view. The paper sketches an alternative to Aristotle’s intuitionism based in part on the use of quantitative inductive logics.

What is analytical philosophy of education (APE)? And what has been its place in the history of the subject over the last fifty years? In a recent essay in Ethics and Education (Vol 2, No 2 October 2007) on ‘Rival conceptions of the philosophy of education’, Paul Standish described a number of features of APE. Relying on both historical and philosophical argument, the present paper critically assesses these eight points, as well as another five points delineating APE in the Introduction (...) to The Blackwell Guide to the Philosophy of Education. (shrink)

On the basis of arguments put forth by (Kripke, 1977a) and (Kripke, 1980), it is widely held that one can sometimes rationally accept propositions of the form "P and not-P" and also that there are necessary a posteriori truths. We will find that Kripke's arguments for these views appear probative only so long as one fails to distinguish between semantics and presemantics—between the literal meanings of sentences, on the one hand, and the information on the basis of which one identifies (...) those literal meanings, on the other. This same failure, it will be argued, underlies the popular thesis that intersubstituting co-referring terms sometimes turns true sentences into false ones and vice versa. Though seemingly plausible, this thesis has a number of counterintuitive consequences, among them that the occurrence of “snow” in “it is true that snow is white” doesn’t refer to snow. An understanding of the distinction between semantics and presemantics suggests a way to develop a semantic system that doesn’t have these consequences and that, moreover, reconciles our intuitions concerning cognitive content with some powerfully argued theses of contemporary philosophy of language. Some of this paper's main contentions are anticipated by Andrzej Boguslawski in his 1994 paper “Sentential Complementation and Truth.”. (shrink)

The most common approach to the problem of requests for futile treatment – the hospital futility policy – rests on the assumption that demands for futile treatment are both intractable and irrational. But there is another approach to the futility problem, an approach that would be dialogic, piecemeal, and case-by-case. This is the only approach that attempts to deal with both the hospital’s problem and the patient’s or family’s problem that motivates the request/demand for futile treatments. As such, it holds (...) the promise of resolving the problem of demands for futile treatment in a way that does not generate anger and ill will at the hospital staff for what will inevitably strike patients and their families as a blatant assertion of the hospital’s power. (shrink)

A person with one dollar is poor. If a person with n dollars is poor, then so is a person with n + 1 dollars. Therefore, a person with a billion dollars is poor. True premises, valid reasoning, a false a conclusion. This is an instance of the Sorites-paradox. (There are infinitely many such paradoxes. A man with an IQ of 1 is unintelligent. If a man with an IQ of n is unintelligent, so is a man with an IQ (...) of n+1. Therefore a man with an IQ of 200 is unintelligent.) Most attempts to solve this paradox reject some law of classical logic, usually the law of bivalence. I show that this paradox can be solved while holding on to all the laws of classical logic. Given any predicate that generates a Sorites-paradox, significant use of that predicate is actually elliptical for a relational statement: a significant token of "Bob is poor" means that Bob is poor compared to x, for some value of x. Once a value of x is supplied, a definite cutoff line between having and not having the paradox-generating predicate is supplied. This neutralizes the inductive step in the associated Sorites argument, and the would-be paradox is avoided. (shrink)

In response to Professor Rorty’s reaction to Professor Habermas’s paper in this symposium, I confess that I am still not sure I understand Rorty’s hostility to ideals such as the ideal of truth. Such ideals as the ideal of truth -- and ideals like those of reason and morality surely stand and fall with the ideal of truth -- seem plainly to have an enormous pragmatic value. They lure us out of our too-constrained, too-limited ethnocentric or idiosyncratic frames of reference. (...) It is always possible, of course, that such ideals may be abused; they have frequently been deployed, in particular, as clubs used to beat down views and modes of behavior that are threatening or otherwise disliked. But they need not be abused. Their proven and potential value is quite extraordinary. They offer us standards which pay explicit respect to the principle that the criteria we use for evaluating ideas and modes of behavior should be nonethnocentric and nonidiosyncratic. They offer us standards that we can appeal to in luring ourselves or others to step outside of our relatively narrow present points of view here and now and toward a broader perspective that can serve us better tomorrow and elsewhere. (shrink)

Risk is not always nasty. Risk can be the cost of opportunity, of course; but sometimes risk is regarded not as a cost at all, but as a close attendant of pleasure. Many things that people invest considerable time and resources in would not be pursued at all if not for the attendant risk. Attempting to offer clarification of the role that risk plays in human affairs is thus itself a risky business. People largely want to avoid unnecessary risk except (...) when they deliberately seek it out. One might be tempted to say that people are funny that way. In what follows, I shall attempt to undermine the temptation to say this. I shall argue that there is nothing at all odd or funny about the fact that people are sometimes drawn to and sometimes repelled by risk. I would contend, further, that a clear understanding of the way value enters human affairs not only allows but requires this. (shrink)

A book Review of Artificial Knowing Gender and the Thinking Machine, by Alison Adam, Routledge: Taylor and Francis, 1998.

Heidegger uses the term "Americanism" to refer to a certain technological-political trend which involves the inability to think the essence of technology. This would also involve the oblivion of the question of Being. His fear of both Americanism and Communism is what led him to support the National Socialist movement. Both the critics and followers of Heidegger gloss over his criticism of Americanism. Yet Heidegger's writings on this subject remain important for us. First, because Americanism would refer to what we (...) now call Globalization, and second, because it addresses the very possibility of philosophical thinking. This paper tries to push Heidegger's criticism to the very extreme in order to discover where its logic begins to strain, and thereby to generate new inights concerning the relationship between technology and thinking. (shrink)