This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply. It presupposes training in mathematical or logic. Very little specific knowledge is presupposed, most results which are needed are proved in this book.

Is it impossible for a person to do something intentionally without knowing that she is doing it? The phenomenon of self-deceived agency might seem to show otherwise. Here the agent is not lying, yet disavows a correct description of her intentional action. This disavowal might seem expressive of ignorance. However, I show that the self-deceived agent does know what she's doing. I argue that we should understand the factors that explain self-deception as masking rather than negating the practical knowledge characteristic (...) of intentional action. This masking takes roughly the following form: when we are deceiving ourselves about what we are intentionally doing, we don't think about our action because it's painful to do so. (shrink)

According to one interpretation of Aristotle’s famous thesis, to say that action is the conclusion of practical reasoning is to say that action is itself a judgment about what to do. A central motivation for the thesis is that it suggests a path for understanding the non-observational character of practical knowledge. If actions are judgments, then whatever explains an agent’s knowledge of the relevant judgment can explain her knowledge of the action. I call the approach to action that accepts Aristotle’s (...) thesis so understood Normativism. There are many reasons to doubt Normativism. My aim in this paper is to defend Normativism from a pair of arguments that purport to show that a normative judgment could not constitute an event in material reality and also the knowledge of such a happening. Both highlight a putative mismatch between the natures of, on the one hand, an agent’s knowledge of her normative judgment and, on the other, her knowledge of her own action. According to these objections, knowledge of action includes (a) perceptual knowledge and (b) knowledge of what one has already done. But knowledge of a normative judgment includes neither. Hence knowledge of action cannot simply be knowledge of a normative judgment. (shrink)

In this article I have two primary goals. First, I present two recent views on the distinction between knowledge-that and knowledge-how (Stanley and Williamson, The Journal of Philosophy 98(8):411–444, 2001; Hetherington, Epistemology futures, 2006). I contend that neither of these provides conclusive arguments against the distinction. Second, I discuss studies from neuroscience and experimental psychology that relate to this distinction. Having examined these studies, I then defend a third view that explains certain relevant data from these studies by positing the (...) double dissociation of knowledge-that and knowledge-how and that is also able to do explanatory work elsewhere. (shrink)

Many of Margaret Cavendish’s criticisms of Thomas Hobbes in the Philosophical Letters (1664) relate to the disorder and damage that she holds would result if Hobbesian pressure were the cause of visual perception. In this paper, I argue that her “two men” thought experiment in Letter IV is aimed at a different goal: to show the explanatory potency of her account. First, I connect Cavendish’s view of visual perception as “patterning” to the “two men” thought experiment in Letter IV. Second, (...) I provide a potential reply on Hobbes’s behalf that appeals to physiological differences between perceivers’ sense organs, drawing upon Hobbes’s optics in De homine. Third, I argue that such a reply would misunderstand Cavendish’s objective of showing the limited explanatory resources available in understanding visual perception as pressing when compared to her view of visual perception as patterning. (shrink)

ABSTRACT Co-parents who differ in their ideal child rearing policies should compromise, argues Marcus William Hunt. Josh Milburn and Carlo Alvaro dispute this when it comes to veganism. Milburn argues that veganism is a matter of justice and that to compromise over justice is (typically) impermissible. I suggest that compromise over justice is often permissible, and that compromise over justice may be required by justice itself. Alvaro offers aesthetic, gustatory, and virtue-based arguments for ethical veganism, showing that veganism involves (...) sensibilities and virtues, and argues that veganism involves a belief. Alvaro takes this to show that parental compromise is impermissible. I suggest that Alvaro’s arguments are implausible and that the shaping of a child’s sensibilities and virtues is an apt matter for parental compromise. (shrink)

Let X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{X }$$\end{document} be a set of outcomes, and let I\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{I }$$\end{document} be an infinite indexing set. This paper shows that any separable, permutation-invariant preference order \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$$$\end{document} on XI\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{X }^\mathcal{I }$$\end{document} admits an additive representation. That is: there exists a linearly ordered abelian group R\documentclass[12pt]{minimal} (...) \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{R }$$\end{document} and a ‘utility function’ u:X⟶R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$u:\mathcal{X }{{\longrightarrow }}\mathcal{R }$$\end{document} such that, for any x,y∈XI\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf{x},\mathbf{y}\in \mathcal{X }^\mathcal{I }$$\end{document} which differ in only finitely many coordinates, we have x≽y\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf{x}\succcurlyeq \mathbf{y}$$\end{document} if and only if ∑i∈Iu-u≥0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sum _{i\in \mathcal{I }} \left[u-u\right]\ge 0$$\end{document}. Importantly, and unlike almost all previous work on additive representations, this result does not require any Archimedean or continuity condition. If \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$$$\end{document} also satisfies a weak continuity condition, then the paper shows that, for anyx,y∈XI\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf{x},\mathbf{y}\in \mathcal{X }^\mathcal{I }$$\end{document}, we have x≽y\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf{x}\succcurlyeq \mathbf{y}$$\end{document} if and only if ∗∑i∈Iu≥∗∑i∈Iu\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${}^*\!\sum _{i\in \mathcal{I }} u\ge {}^*\!\sum _{i\in \mathcal{I }}u$$\end{document}. Here, ∗∑i∈Iu\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${}^*\!\sum _{i\in \mathcal{I }} u$$\end{document} represents a nonstandard sum, taking values in a linearly ordered abelian group ∗R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${}^*\!\mathcal{R }$$\end{document}, which is an ultrapower extension of R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{R }$$\end{document}. The paper also discusses several applications of these results, including infinite-horizon intertemporal choice, choice under uncertainty, variable-population social choice and games with infinite strategy spaces. (shrink)

We argue that honesty in assertion requires non-empirical knowledge that what one asserts is what one believes. Our argument proceeds from the thought that to assert honestly, one must follow and not merely conform to the norm ‘Assert that p only if you believe that p’. Furthermore, careful consideration of cases shows that the sort of doxastic self-knowledge required for following this norm cannot be acquired on the basis of observation, inference, or any other form of detection of one’s own (...) doxastic states. It is, as we put it, transparent rather than empirical self-knowledge. (shrink)

This book argues that moral philosophy should be based on seven scientific principles of theory selection. It then argues that a new moral theory—Rightness as Fairness—satisfies those principles more successfully than existing theories. Chapter 1 explicates the seven principles of theory-selection, arguing that moral philosophy must conform to them to be truth-apt. Chapter 2 argues those principles jointly support founding moral philosophy in known facts of empirical moral psychology: specifically, our capacities for mental time-travel and modal imagination. Chapter 2 then (...) shows that these capacities present human decisionmakers with a problem of diachronic rationality that includes but generalizes beyond, L.A. Paul’s problem of transformative experience: a problem that I call “the problem of possible future selves.” Chapter 3 then argues that a new principle of rationality—the Categorical-Instrumental Imperative—is the only rational solution to this problem, as it requires our present and future selves to forge and uphold a recursive, bi-directional contract with each another given mutual recognition of the problem. Chapter 4 then shows that the Categorical-Instrumental Imperative has three identical formulations analogous but superior to Immanuel Kant’s various formulations of his ‘categorical imperative.’ Chapter 5 shows that these unified formulas jointly entail a particular test of moral principles: a Moral Original Position similar to John Rawls’ famous ‘original position’, but which avoids a variety of problems with Rawls' model. Chapter 6 then shows that the Moral Original Position generates Four Principles of Fairness, which can then be combined into a single principle of moral rightness: Rightness as Fairness. This new conception of rightness is shown to reconcile four dominant moral frameworks (deontology, consequentialism, virtue ethics, and contractualism), as well as entail a new method of moral decisionmaking for applied ethics: a method of “principled fair negotiation” according to which applied ethical issues cannot be wholly resolved through principled debate, but must instead be resolved by actual negotiation and compromise. This method is then argued to generate novel, nuanced analyses of a variety of applied moral issues, including trolley cases, torture, and the ethical treatment of nonhuman animals. Chapter 7 then shows that Rightness as Fairness reconciles three leading political frameworks—libertarianism, egalitarianism, and communitarianism—showing how all three embody legitimate moral ideals that can, and should, be fairly negotiated against each other to settle the scope, and nature, of domestic, international, and global justice on an ongoing, iterated basis. Finally, Chapter 8 argues that Rightness as Fairness satisfies all seven of the principles of theory-selected defended in Chapter 1 more successfully than rival theories. (shrink)

This paper shows that non-normal modal logics can be simulated by certain polymodal normal logics and that polymodal normal logics can be simulated by monomodal (normal) logics. Many properties of logics are shown to be reflected and preserved by such simulations. As a consequence many old and new results in modal logic can be derived in a straightforward way, sheding new light on the power of normal monomodal logic.

Margaret Cavendish is widely known as a materialist. However, since Cavendishian matter is always in motion, “matter” and “motion” are equally important foundational concepts for her natural philosophy. In Philosophical Letters (1664), she takes to task her materialist rival Thomas Hobbes by assaulting his account of accidents in general and his concept of “rest” in particular. In this article, I argue that Cavendish defends her continuous-motion view in two ways: first, she claims that her account avoids seeing accidents as capable (...) of generation and annihilation, which she argues is inconceivable; and second, she contends that according to Hobbes’s own view “rest” is an absurd conception since it cannot be drawn from experience. Beyond its function as a defense, I claim that Cavendish’s focused criticism of “rest” shows that she is a perceptive reader of Hobbes’s natural philosophy, insofar as her criticisms undercut the two a priori principles of Hobbesian physics. Finally, I show how her views developed in more detail in Philosophical and Physical Opinions (1663) and Observations upon Experimental Philosophy ([1666] 2001) avoid the worries she raises for Hobbesian materialism. (shrink)

Many critics, Descartes himself included, have seen Hobbes as uncharitable or even incoherent in his Objections to the Meditations on First Philosophy. I argue that when understood within the wider context of his views of the late 1630s and early 1640s, Hobbes's Objections are coherent and reflect his goal of providing an epistemology consistent with a mechanical philosophy. I demonstrate the importance of this epistemology for understanding his Fourth Objection concerning the nature of the wax and contend that Hobbes's brief (...) claims in that Objection are best understood as a summary of the mechanism for scientific knowledge found in his broader work. Far from displaying his confusion, Hobbes's Fourth Objection in fact pinpoints a key weakness of Descartes's faculty psychology: its unintelligibility within a mechanical philosophy. (shrink)

This essay analyzes the use of military robots in terms of the jus in bello concepts of discrimination and proportionality. It argues that while robots may make mistakes, they do not suffer from most of the impairments that interfere with human judgment on the battlefield. Although robots are imperfect weapons, they can exercise as much restraint as human soldiers, if not more. Robots can be used in a way that is consistent with just war theory when they are programmed to (...) avoid using force against all but the most clearly hostile targets. However, the essay also cautions against using robots for counterinsurgency because they may alienate people in the contested area and lead to an escalation of hostilities. (shrink)

I offer an alternative account of the relationship of Hobbesian geometry to natural philosophy by arguing that mixed mathematics provided Hobbes with a model for thinking about it. In mixed mathematics, one may borrow causal principles from one science and use them in another science without there being a deductive relationship between those two sciences. Natural philosophy for Hobbes is mixed because an explanation may combine observations from experience (the ‘that’) with causal principles from geometry (the ‘why’). My argument shows (...) that Hobbesian natural philosophy relies upon suppositions that bodies plausibly behave according to these borrowed causal principles from geometry, acknowledging that bodies in the world may not actually behave this way. First, I consider Hobbes's relation to Aristotelian mixed mathematics and to Isaac Barrow's broadening of mixed mathematics in Mathematical Lectures (1683). I show that for Hobbes maker's knowledge from geometry provides the ‘why’ in mixed-mathematical explanations. Next, I examine two explanations from De corpore Part IV: (1) the explanation of sense in De corpore 25.1-2; and (2) the explanation of the swelling of parts of the body when they become warm in De corpore 27.3. In both explanations, I show Hobbes borrowing and citing geometrical principles and mixing these principles with appeals to experience. (shrink)

Given a normal (multi-)modal logic a characterization is given of the finitely presentable algebras A whose logics L A split the lattice of normal extensions of . This is a substantial generalization of Rautenberg [10] and [11] in which is assumed to be weakly transitive and A to be finite. We also obtain as a direct consequence a result by Blok [2] that for all cycle-free and finite A L A splits the lattice of normal extensions of K. Although we (...) firmly believe it to be true, we have not been able to prove that if a logic splits the lattice of extensions of then is the logic of an algebra finitely presentable over ; in this respect our result remains partial. (shrink)

Boolos has suggested a plural interpretation of second-order logic for two purposes: to escape Quine’s allegation that second-order logic is set theory in disguise, and to avoid the paradoxes arising if the second-order variables are given a set-theoretic interpretation in second-order set theory. Since the plural interpretation accounts only for monadic second-order logic, Rayo and Yablo suggest an new interpretation for polyadic second-order logic in a Boolosian spirit. The present paper argues that Rayo and Yablo’s interpretation does not achieve the (...) goal. (shrink)

Researchers have long suspected that grapheme-color synaesthesia is useful, but research on its utility has so far focused primarily on episodic memory and perceptual discrimination. Here we ask whether it can be harnessed during rule-based Category learning. Participants learned through trial and error to classify grapheme pairs that were organized into categories on the basis of their associated synaesthetic colors. The performance of synaesthetes was similar to non-synaesthetes viewing graphemes that were physically colored in the same way. Specifically, synaesthetes learned (...) to categorize stimuli effectively, they were able to transfer this learning to novel stimuli, and they falsely recognized grapheme-pair foils, all like non-synaesthetes viewing colored graphemes. These findings demonstrate that synaesthesia can be exploited when learning the kind of material taught in many classroom settings. (shrink)

Cognitive scientists must understand not just what the mind does, but how it does what it does. In this paper, I consider four aspects of cognitive architecture: how the mind develops, the extent to which it is or is not modular, the extent to which it is or is not optimal, and the extent to which it should or should not be considered a symbol‐manipulating device (as opposed to, say, an eliminative connectionist network). In each case, I argue that insights (...) from developmental and evolutionary biology can lead to substantive and important compromises in historically vexed debates. (shrink)

Several recent commentators argue that Thomas Hobbes’s account of the nature of science is conventionalist. Engaging in scientific practice on a conventionalist account is more a matter of making sure one connects one term to another properly rather than checking one’s claims, e.g., by experiment. In this paper, I argue that the conventionalist interpretation of Hobbesian science accords neither with Hobbes’s theoretical account in De corpore and Leviathan nor with Hobbes’s scientific practice in De homine and elsewhere. Closely tied to (...) the conventionalist interpretation is the deductivist interpretation, on which it is claimed that Hobbes believed sciences such as optics are deduced from geometry. I argue that Hobbesian science places simplest conceptions as the foundation for geometry and the sciences in which we use geometry, which provides strong evidence against both the conventionalist and deductivist interpretations. (shrink)

It has been a common claim that surrogacy is morally problematic since it involves harm to the child or the surrogate—the harm argument. Due to a growing body of empirical research, the harm argument has seen a decrease in popularity, as there seems to be little evidence of harmful consequences of surrogacy. In this article, two revised versions of the harm argument are developed. It is argued that the two suggested versions of the harm argument survive the current criticism against (...) the standard harm argument. The first version argues that the child is harmed by being separated from the gestational mother. The second version directs attention to the fact that surrogacy involves great incentives to keep the gestational mother’s level of maternal-fetal attachment low, which tend to increase the risk of harm to the child. While neither of the two arguments is conclusive regarding the moral status of surrogacy, both constitute important considerations that are often ignored. (shrink)

This papers gives a survey of recent results about simulations of one class of modal logics by another class and of the transfer of properties of modal logics under extensions of the underlying modal language. We discuss: the transfer from normal polymodal logics to their fusions, the transfer from normal modal logics to their extensions by adding the universal modality, and the transfer from normal monomodal logics to minimal tense extensions. Likewise, we discuss simulations of normal polymodal logics by normal (...) monomodal logics, of nominals and the difference operator by normal operators, of monotonic monomodal logics by normal bimodal logics, of polyadic normal modal logics by polymodal normal modal logics, and of intuitionistic modal logics by normal bimodal logics. (shrink)

In this article, I reconstruct and evaluate Merleau-Ponty’s main responses to philosophical skepticism in the relevant parts of his work. To begin with, I introduce the skeptical argument that Merleau-Ponty most often tried to refute, namely, the dream argument. Secondly, I show how Merleau-Ponty, in his initial works, excludes the skeptical problem by appealing to a general contact with the world guaranteed by perception. Finally, I analyze how in his last texts Merleau-Ponty considers at least some uses of the skeptical (...) arguments as tools to make our opaque contact with being explicit. (shrink)

This paper examines Hobbes’s criticisms of Robert Boyle’s air-pump experiments in light of Hobbes’s account in _De Corpore_ and _De Homine_ of the relationship of natural philosophy to geometry. I argue that Hobbes’s criticisms rely upon his understanding of what counts as “true physics.” Instead of seeing Hobbes as defending natural philosophy as “a causal enterprise … [that] as such, secured total and irrevocable assent,” 1 I argue that, in his disagreement with Boyle, Hobbes relied upon his understanding of natural (...) philosophy as a mixed mathematical science. In a mixed mathematical science one can mix facts from experience with causal principles borrowed from geometry. Hobbes’s harsh criticisms of Boyle’s philosophy, especially in the _Dialogus Physicus, sive De natura aeris_, should thus be understood as Hobbes advancing his view of the proper relationship of natural philosophy to geometry in terms of mixing principles from geometry with facts from experience. Understood in this light, Hobbes need not be taken to reject or diminish the importance of experiment/experience; nor should Hobbes’s criticisms in _Dialogus Physicus_ be understood as rejecting experimenting as ignoble and not befitting a philosopher. Instead, Hobbes’s viewpoint is that experiment/experience must be understood within its proper place – it establishes the ‘that’ for a mixed mathematical science explanation. (shrink)

An old conjecture of modal logics states that every splitting of the major systems K4, S4, G and Grz has the finite model property. In this paper we will prove that all iterated splittings of G have fmp, whereas in the other cases we will give explicit counterexamples. We also introduce a proof technique which will give a positive answer for large classes of splitting frames. The proof works by establishing a rather strong property of these splitting frames namely that (...) they preserve the finite model property in the following sense. Whenever an extension Λ has fmp so does the splitting Λ/f of Λ by f. Although we will also see that this method has its limitations because there are frames lacking this property, it has several desirable side effects. For example, properties such as compactness, decidability and others can be shown to be preserved in a similar way and effective bounds for the size of models can be given. Moreover, all methods and proofs are constructive. (shrink)

Can visual thinking be a means of discovery in elementary analysis, as well as a means of illustration and a stimulus to discovery? The answer to the corresponding question for geometry and arithmetic seems to be ‘yes’ (Giaquinto [1992], [1993]), and so a positive answer might be expected for elementary analysis too. But I argue here that only in a severely restricted range of cases can visual thinking be a means of discovery in analysis. Examination of persuasive visual routes to (...) two simple theorems (Rolle, Bolzano) shows that they are not ways of discovering the theorems; the type of visual thinking involved can never be used to discover analytic theorems of a certain generality. The hypothesis that visual thinking is never a means of discovering the existence or nature of the limit of some infinite process is considered, and a likely counter-example is set out. It is still possible that restricted theorems can be discovered visually: an example from Littlewood is examined in detail and not found wanting. Even when visual thinking is not a means of discovery it can provide the idea for a proof in a direct way; an example is presented (Intermediate Value Theorem). In conclusion: it may be possible to discover theorems in elementary real analysis by visual means, but only theorems of a restricted kind; however, visual thinking in analysis can be very useful in other ways. (shrink)

The theory of mind (ToM) deficit associated with autism has been a central topic in the debate about the modularity of the mind. Most involved in the debate about the explanation of the ToM deficit have failed to notice that autism’s status as a spectrum disorder has implications about which explanation is more plausible. In this paper, I argue that the shift from viewing autism as a unified syndrome to a spectrum disorder increases the plausibility of the explanation of the (...) ToM deficit that appeals to a domain-specific, higher-level ToM module. First, I discuss what it means to consider autism as a spectrum rather than as a unified disorder. Second, I argue for the plausibility of the modular explanation on the basis that autism is better considered as a spectrum disorder. Third, I respond to a potential challenge to my account from Philip Gerrans and Valerie Stone’s recent work (Gerrans, Biol Philos 17:305–321, 2002; Stone and Gerrans, Trends Cogn Sci 10:3–4, 2006a; Soc Neurosci 1:309–319, 2006b; Gerrans and Stone, Br J Philos Sci 59:121–141, 2008). (shrink)

Este artigo explora alguns aspectos da noção de "mundo da vida" apresentada por Edmund Husserl, de modo a contribuir com o desenvolvimento do modelo da interação entre ciência e valores proposto por Hugh Lacey. Em particular, almeja-se mostrar a fundação das estratégias descontextualizadoras de pesquisa científica nas experiências concretas, compostas de diversos níveis de operações intencionais.

The nature of light is a focus of Thomas Hobbes’s natural philosophical project. Hobbes’s explanation of the light of lucid bodies differs across his works, from dilation and contraction in Elements of Law to simple circular motions in De corpore. However, Hobbes consistently explains perceived light by positing that bodily resistance generates the phantasm of light. In Letters I.XIX–XX of Philosophical Letters, fellow materialist Margaret Cavendish attacks the Hobbesian understanding of both lux and lumen by claiming that Hobbes has illicitly (...) made abstractions from matter. In this paper, I argue that Cavendish’s criticisms rely on an incorrect understanding of the nature of Hobbesian geometry and the role it plays in Hobbes’s natural philosophy. Rather than understanding geometry as wholly abstract, Hobbes attempts to ground geometry in different ways of considering bodies and their motions. Furthermore, Hobbes’s own criticisms of abstraction suggest that he would share many of the worries she raises but deny that he falls prey to them. (shrink)

How can we acquire a grasp of cardinal numbers, even the first very small positive cardinal numbers, given that they are abstract mathematical entities? That problem of cognitive access is the main focus of this paper. All the major rival views about the nature and existence of cardinal numbers face difficulties; and the view most consonant with our normal thought and talk about numbers, the view that cardinal numbers are sizes of sets, runs into the cognitive access problem. The source (...) of the problem is the plausible assumption that cognitive access to something requires causal contact with it. It is argued that this assumption is in fact wrong, and that in this and similar cases we should accept that a certain recognise-and-distinguish capacity is sufficient for cognitive access. We can then go on to solve the cognitive access problem, and thereby support the set-size view of cardinal numbers, by paying attention to empirical findings about basic number abilities. To this end some selected studies of infants, pre-school children and a trained chimpanzee are briefly discussed. (shrink)

Georges Bataille was a philosopher, writer, and literary critic whose work has had a significant impact across disciplines as diverse as philosophy, sociology, economics, art history and literary criticism, as well as influencing key figures in post-modernist and post-structuralist philosophy such as Jacques Derrida and Michel Foucault. In recent years, the number of works published on Georges Bataille, as well as the variety of contexts in which his work is invoked, has markedly increased. In _Georges Bataille: Key Concepts_ an international (...) team of contributors provide an accessible introduction to and survey of Bataille's thought. The editors’ introduction provides an overview of Bataille’s work, while the chapters in the first section cover the social, political, artistic and philosophical contexts that shaped his thought. In the second part, each chapter engages with a key theme in Bataille’s philosophy, including: art, eroticism, evil, inner experience, heterology, religion, sacrifice, and sovereignty. The final chapter addresses Bataille’s literary writings. Georges Bataille: Key Concepts is an invaluable guide for students from across the Humanities and Social Sciences, coming to Bataille’s work for the first time. Contributors: Giulia Agostini, Elisabeth Arnould-Bloomfield, Tiina Arppe, Marcus Coelen, Simonetta Falasca-Zamponi, Patrick ffrench, Marina Galletti, Nadine Hartmann, Mark Hewson, Andrew Hussey, Stuart Kendall, Claire Nioche, Gerhard Poppenberg, and Michèle Richman. (shrink)

The status of the laws of nature in Hobbes’s Leviathan has been a continual point of disagreement among scholars. Many agree that since Hobbes claims that civil philosophy is a science, the answer lies in an understanding of the nature of Hobbesian science more generally. In this paper, I argue that Hobbes’s view of the construction of geometrical figures sheds light upon the status of the laws of nature. In short, I claim that the laws play the same role as (...) the component parts – what Hobbes calls the “cause” – of geometrical figures. To make this argument, I show that in both geometry and civil philosophy, Hobbes proceeds by a method of synthetic demonstration as follows: 1) offering a thought experiment by privation; 2) providing definitions by explication of “simple conceptions” within the thought experiment; and 3) formulating generative definitions by making use of those definitions by explication. In just the same way that Hobbes says that the geometer should “put together” the parts of a square to learn its cause, I argue that the laws of nature are the cause of peace. (shrink)

Mathematicians sometimes judge a mathematical proof to be beautiful and in doing so seem to be making a judgement of the same kind as aesthetic judgements of works of visual art, music or literature. Mathematical proofs are also appraised for explanatoriness: some proofs merely establish their conclusions as true, while others also show why their conclusions are true. This paper will focus on the prima facie plausible assumption that, for mathematical proofs, beauty and explanatoriness tend to go together. To make (...) headway we need to have some grip on what it is for a proof to be beautiful, and for that we need some account of judgements of beauty in general. That is the concern of the first section. The second section faces the problem that it is far from obvious how abstract entities, such as mathematical proofs, can be beautiful, strictly and literally speaking. Reasons are given for the view that they can be. The third section introduces the distinction between proofs which explain their conclusions and proofs which do not. Finally, the question whether, for mathematical proofs, the beautiful and the explanatory tend to coincide is addressed. It is argued that we have reason to doubt that explanatory proofs tend to be beautiful, and insufficient reason to believe or disbelieve that beautiful proofs tend to be explanatory. (shrink)

The theory of mind (ToM) deficit associated with autism spectrum disorder has been a central topic in the debate about the modularity of the mind. In a series of papers, Philip Gerrans and Valerie Stone argue that positing a ToM module does not best explain the deficits exhibited by individuals with autism (Gerrans 2002; Stone & Gerrans 2006a, 2006b; Gerrans & Stone 2008). In this paper, I first criticize Gerrans and Stone’s (2008) account. Second, I discuss various studies of individuals (...) with autism and argue that they are best explained by positing a higher-level, domain-specific ToM module. (shrink)