I argue that extended simples are possible. The argument given here parallels an argument given elsewhere for the claim that the shape properties of material objects are extrinsic, not intrinsic as is commonly supposed. In the final section of the paper, I show that if the shape properties of material objects are extrinsic, the most popular argument against extended simples fails.

The problem of qualitative heterogeneity is to explain how an extended simple can enjoy qualitative variation across its spatial or temporal axes, given that it lacks both spatial and temporal parts. I discuss how friends of extended simples should address the problem of qualitative heterogeneity. I present a series of arguments designed to show that rather than appealing to fundamental distributional properties one should appeal to tiny and short-lived tropes. Along the way, issues relevant to debates about (...) material composition, persistence over time and existence monism are discussed.  . (shrink)

Perhaps the most commonly discussed argument against the possibility of extended simples is the argument from heterogeneity. The argument states that, if extended simples are possible, then extended simples which exhibit intrinsic qualitative variation across space (or spacetime) are also possible [Premise 1]. But, the argument goes, it is impossible for an extended simple to exhibit intrinsic qualitative variation across space (or spacetime) [Premise 2]. Thus, extended simples are impossible. I argue (...) that there is a serious problem with the argument from heterogeneity: the best arguments in support of the first premise undermine support for the second. Thus, there appears to be no good reason to accept both premises. (shrink)

Both extended simples and unextended complexes have been extensively discussed and widely used in metaphysics and philosophy of physics. However, the characterizations of such notions are not entirely satisfactory inasmuch as they rely on a mereological notion of extension that is too simplistic. According to such a mereological notion, being extended boils down to having a mereologically complex exact location. In this paper, I make a detailed plea to supplement this notion of extension with a different one (...) that is phrased in terms of measure theory. This proposal has significant philosophical payoffs. I provide new characterizations of both extended simples and unextended complexes, that help re-evaluating the question of whether such entities are metaphysically possible. Finally, I advance several suggestions as to how different notions of extension relate, first, to one another and, second, to mereological structure. (shrink)

The notion of an extended simple region (henceforth ESR) has recently been marshalled in the service of arguments for a variety of conclusions. Exactly how to understand the idea of extendedness as it applies to simple regions, however, has been largely ignored, or, perhaps better, assumed. In this paper we first (§1) outline what we take to be the standard way that philosophers are thinking about extendedness, namely as an intrinsic property of regions. We then introduce an alternative picture (...) (§2), according to which extendedness is extrinsic. In §3 we argue that it matters which way of thinking about extendedness is the right one, since how ESRs behave is sensitive to what extendedness consists in, and various arguments that appeal to ESRs turn out to be unsound if extendedness is extrinsic rather than intrinsic. (shrink)

I argue that the assumptions that physically basic things are either mereologically atomic, or that they are continuous and there are no atoms, both face difficult conceptual problems. Both views tend to presuppose a largely unquestioned assumption, that things have parts corresponding to the geometric parts of the regions they occupy. To avoid these problems I propose a third view, that physically simple things occupy a finite volume without themselves having parts. This view is examined enough to tease out some (...) of its consequences and show that it withstands the obvious questions it faces. I conclude by mentioning some precedents for this view in Democritus, Kant, and Whitehead, with close variants in Boscovich, Harré, and Markosian. (shrink)

I argue that the assumptions that physically basic things are either mereologically atomic, or that they are continuous and there are no atoms, both face difficult conceptual problems. Both views tend to presuppose a largely unquestioned assumption, that things have parts corresponding to the geometric parts of the regions they occupy. To avoid these problems I propose a third view, that physically simple things occupy a finite volume without themselves having parts. This view is examined enough to tease out some (...) of its consequences and show that it withstands the obvious questions it faces. I conclude by mentioning some precedents for this view in Democritus, Kant, and Whitehead, with close variants in Boscovich, Harré, and Markosian. (shrink)

Extended simples are physical objects that, while spatially extended, possess no actual proper parts. The theory that physical reality bottoms out at extended simples is one of the principal competing views concerning the fundamental composition of matter, the others being atomism and the theory of gunk. Among advocates of extended simples, Markosian’s ‘MaxCon’ version of the theory has justly achieved particular prominence. On the assumption of causal realism, I argue here that the reality (...) of MaxCon simples would entail the reality of irreducible, intrinsic dispositional properties. The existence of dispositional properties in turn has important implications for another central debate in metaphysics, namely that between two major competing views concerning the ontology of laws: dispositionalism versus nomological necessitarianism. (shrink)

The idea that there could be spatially extended mereological simples has recently been defended by a number of metaphysicians (Markosian 1998, 2004; Simons 2004; Parsons (2000) also takes the idea seriously). Peter Simons (2004) goes further, arguing not only that spatially extended mereological simples (henceforth just extended simples) are possible, but that it is more plausible that our world is composed of such simples, than that it is composed of either point-sized simples, (...) or of atomless gunk. The difficulty for these views lies in explaining why it is that the various sub-volumes of space occupied by such simples, are not occupied by proper parts of those simples. Intuitively at least, many of us find compelling the idea that spatially extended objects have proper parts at every sub-volume of the region they occupy. It seems that the defender of extended simples must reject a seemingly plausible claim, what Simons calls the geometric correspondence principle (GCP): that any (spatially) extended object has parts that correspond to the parts of the region that it occupies (Simons 2004: 371). We disagree. We think that GCP is a plausible principle. We also think it is plausible that our world is composed of extended simples. We reconcile these two notions by two means. On the one hand we pay closer attention to the physics of our world. On the other hand, we consider what happens when our concept of something—in this case space—contains elements not all of which are realized in anything, but instead key components are realized in different features of the world. (shrink)

In this paper, I will offer an analogy between the Trinity and extended simples that supports a Latin approach to the Trinity. The theoretical tools developed to discuss and debate extended simples in the literature of contemporary analytic metaphysics, I argue, can help us make useful conceptual distinctions in attempts to understand what it could be for God to be Triune. Furthermore, the analogy between extended simples and the Trinity might surprise some who find (...) one of these at least plausibly possible and the other incoherent. (shrink)

It is sometimes claimed that string theory posits a fundamental ontology including extended mereological simples, either in the form of minimum-sized regions of space or of the strings themselves. But there is very little in the actual theory to support this claim, and much that suggests it is false. Extant string theories treat space as a continuum, and strings do not behave like simples.

There are four main theories concerning the ultimate constitution of matter: atomism version 1, atomism version 2, the theory of gunk, and the theory of extended simples. These four theories are usually seen as diametrically opposed. Here I take a stab at ecumenism, and argue that atomism version 1 and the theory of extended simples can be reconciled and rendered compatible by reference to the reality of dispositions.

Is it possible that there are extended simples—material objects extended in space or spacetime that have no proper parts? The most commonly cited argument for this possibility is based on a version of the Humean principle: namely (and with some qualifications), any pattern of instantiation of a fundamental relation is possible. In this paper, we make the Humean argument fully explicit, and criticise it from three aspects—the Disjunction problem, the Pluralist problem, and the Accidentality problem. First, the (...) original argument only shows a disjunctive thesis: either extended simples are possible, or unextended complexes are possible. In order to reach the desired conclusion, some additional premise is needed. Yet, even though we agree that the Disjunction problem can be met, we argue that the Humean argument fails to establish the possibility of extended simples, for two reasons: the first comes from compositional pluralism, and the second is about the definition of accidental properties. We contend that the latter two problems put the proponents of the Humean argument in serious difficulty. Thus, metaphysicians who hold that there are extended simples should find better arguments for this view. (shrink)

Let us say that an extended object is “composed wholly of simples” just in case it is an aggregate of absolutely unextended parts spread throughout an extended region—that is, just in case there is a set S such that: every member is a point-sized part of the object, and for every x, x is part of the object if and only if it has a part in common with some member of S. Could a truly extended (...) substance be composed entirely of unextended parts? Reflection upon the fact that it must be at least possible for extended objects to touch one another suggests that the answer to this question is: No. (shrink)

Let us say that an extended object is “composed wholly of simples” just in case it is an aggregate of absolutely unextended parts spread throughout an extended region—that is, just in case there is a set S such that: every member is a point-sized part of the object, and for every x, x is part of the object if and only if it has a part in common with some member of S. Could a truly extended (...) substance be composed entirely of unextended parts? Reflection upon the fact that it must be at least possible for extended objects to touch one another suggests that the answer to this question is: No. (shrink)

Substitution and simple sentences -- Simple sentences and semantics -- Simple sentences and implicatures -- The enlightenment problem and a common assumption -- Abandoning (EOI) -- Beyond matching propositions -- App. A : extending the account -- App. B : belief reporting.

Philosophers of language have long recognized that in opaque contexts, such as those involving propositional attitude reports, substitution of co-referring names may not preserve truth value. For example, the name ‘Clark Kent’ cannot be substituted for ‘Superman’ in a context like:1. Lois believes that Superman can flywithout a change in truth value. In an earlier paper, Jennifer Saul demonstrated that substitution failure could also occur in ‘simple sentences’ where none of the ordinary opacity-producing conditions existed, such as:2. Superman leaps more (...) tall buildings than Clark Kent does.Accounts focusing on opacity were unable to explain our ‘anti-substitution intuitions’ in such cases.In Simple Sentences, Substitution, and Intuitions, Saul extends her earlier work. She provides a comprehensive presentation and criticism of recent accounts of simple sentence substitution failure, and proposes a new approach drawing on psychological evidence about cognitive processing. Saul's purpose is not merely to solve the substitution puzzle cases, but to make …. (shrink)

The advance of science and human knowledge is impeded by misunderstandings of various statistics, insufficient reporting of findings, and the use of numerous standardized and non-standardized presentations of essentially identical information. Communication with journalists and the public is hindered by the failure to present statistics that are easy for non-scientists to interpret as well as by use of the word significant, which in scientific English does not carry the meaning of "important" or "large." This article promotes a new standard method (...) for reporting two-group and two-variable statistics that can enhance the presentation of relevant information, increase understanding of findings, and replace the current presentations of two-group ANOVA, t-tests, correlations, chi-squares, and z-tests of proportions. A brief call to highly restrict the publication of risk ratios, odds ratios, and relative increase in risk percentages is also made, since these statistics appear to provide no useful scientific information regarding the magnitude of findings. (shrink)

An object is a simple if and only if it has no proper parts. An object is gunk if and only if every proper part of that object itself has a proper part. In my dissertation, I address the following questions. The concepts of simples and gunk presuppose the concept of parthood. What is the status of this concept? his question itself divides into the following: does the concept of parthood have universal applicability, so that, just as every object (...) is self-identical, every object has parts? Finally, is the concept of parthood univocal, or are there different notions of parthood, each of which is defined on distinct ontological categories? I argue that the concept of parthood has univocal. I also argue that there is some evidence that the concept of parthood has universal applicability. I address the Simple Question, which is “under what circumstances is it true of some object that it has no proper parts?” I argue against several popular answers to the Simple Question, such as the view that simples are all and only point-sized objects, and the view that simples are maximally continuous material objects. I defend the Brutal View, which holds that there is no true, finitely expressible, and informative answer to the Simple Question. In short, there is no criterion for being a simple. Along the way, I address the question of whether extended simples, i.e., simples that are extended in space, are possible. I argue that one popular argument against the possibility of extended simples is unsound. I address the question of whether both simples and gunk are possible. I argue that it is metaphysically possible that material objects be composed of gunk. (shrink)

A material simple is a material object that has no proper parts. Some philosophers have argued for the possibility of extended simples. Some have even argued for the possibility of heterogeneous simples or simples that have intrinsic variations across their surfaces. There is a puzzle, though, that is meant to show that extended, heterogeneous simples are impossible. Although several plausible responses have been given to this puzzle, I wish to reopen the case against (...) class='Hi'>extended, heterogeneous simples. In this paper, I briefly canvass responses to this puzzle which may be made in defense of extended, heterogeneous simples. I then present a new version of this puzzle which targets simples that occupy atomic yet extended regions of space. It seems that none of the traditional responses can be used to successfully save this particular kind of extended simple from the new puzzle. I also consider some non-traditional defenses of heterogeneous extended simples and argue that they too are unsuccessful. Finally, I will argue that a substantial case can be made against the possibility of extended heterogeneous simples of any kind. (shrink)

This meta-study of animal semantics is anchored in two claims, seemingly creating a fuzzy mismatch, that animal utterances generally appear to be simple in structure and content variation and that animals’ communicative understanding seems disproportionally more advanced. A set of excerpted, new studies is chosen as basis to discuss whether the semantics of animal uttering and understanding can be fused into one. Studies are prioritised due to their relatively complex designs, giving priority to dynamics between syntax, semantics, pragmatics, and between (...) utterers and receivers in context. A communicational framework based on utterance theory is applied as a lens for inspection of how these aspects relate to the assumed mismatch. Inspection and discussions of the studies bring several features to surface of which five are stressed in the following. Firstly, both syntactic structures and possible semantic content are seen as lean, although richer than earlier believed, and research continues to reveal new complexities in utterances. Secondly, there is a clear willingness to broaden the perception of animals’ semantic capacity to comprehend communication both by arguing theoretically and by generating empirical research in new contexts. Thirdly, the ambition to make sense of these tendencies is still often motivated by an evolutionary search for early building blocks for verbal language, with the pro et cons that such a position can have. Fourthly, the ‘allowed’ scientific frame for studying semantic capacity among animals is extended to new fields and contexts challenging the only-in-the-wild norm. Fifthly, the dilemma of integrating uttering and understanding as aspects of an after all functional communicational system, calls for new epistemological concepts to make sense of the claimed mismatch. Affordances, abduction, life-genre, and lifeworld are suggested. (shrink)

This paper evaluates and criticises the developmental systems conception of evolution and develops instead an extension of the gene's eye conception of evolution. We argue (i) Dawkin's attempt to segregate developmental and evolutionary issues about genes is unsatisfactory. On plausible views of development it is arbitrary to single out genes as the units of selection. (ii) The genotype does not carry information about the phenotype in any way that distinguishes the role of the genes in development from that other factors. (...) (iii) There is no simple and general causal criterion which distinguishes the role of genes in development and evolution. (iv) There is, however, an important sense in which genes but not every other developmental factor represent the phenotype. (v) The idea that genes represent features of the phenotype forces us to recognise that genes are not the only, or almost the only, replicators. Many mechanisms of replication are involved in both development and evolution. (vi) A conception of evolutionary history which recognises both genetic and non-genetic replicators, lineages of replicators and interactors has advantages over both the radical rejection of the replicator/interactor distinction and the conservative restriction of replication to genetic replication. (shrink)

Should people be assisted to die or be given euthanasia when they are suffering from terminal medical conditions? Should they be assisted to die when they are suffering but do not have a ‘diagnosable medical illness?’ What about assisted dying for psychiatric conditions? And is there a difference morally between assisted suicide, voluntary active euthanasia and voluntary passive euthanasia?These are deep questions directly addressed or in the background of the productive discussion between Varelius and Young.1 ,2 Their focus is whether (...) doctors should assist people to die who are ‘tired of life’ and experiencing ‘existential suffering’. An example was Edward Brongersma, an 86-year-old man, who was tired of life but with no serious medical condition, who was assisted by Dr Philip Sutorius to commit suicide in 1998. In the Netherlands, where euthanasia is legal, the Dutch Supreme Court ruled in 2002 that this was wrong because "edical expertise, by its nature, does not extend to questions and complaints that do not have a sick- ness or ailment—mental or physical—as their source.3"Sutorius was convicted, but not punished.Robert Young, considering this case, concurs, concluding, "a physician may justifiably consider that an individual who is ‘tired of life’ should consult a non-medical, professional counsellor, and if that produces no change in outlook, choose suicide. Outside Switzerland, an individual who makes that choice has to then be determined enough to do so unassisted .2"I will argue that there is, within current medical ethics and human rights, a method of assisted suicide which could fall within the limits of the law. But first I will review some recent cases involving requests for dying. I will then discuss an alternative which some may argue addresses these cases, and those of …. (shrink)

Mainstream epistemology has typically taken for granted a traditional picture of the metaphysics of mind, according to which cognitive processes (e.g. memory storage and retrieval) play out entirely within the bounds of the skull and skin. But this simple ‘intracranial’ picture is falling in- creasingly out of step with contemporary thinking in the philosophy of mind and cognitive science. Likewise, though, proponents of active exter- nalist approaches to the mind—e.g. the hypothesis of extended cognitition (HEC)—have proceeded by and large (...) without asking what epistemological ramifications should arise once cognition is understood as criss-crossing the bounds of brain and world. This paper aims to motivate a puzzle that arises only once these two strands of thinking are brought in contact with one another. In particular, we want to first highlight a kind of con- dition of epistemological adequacy that should be accepted by proponents of extended cognition; once this condition is motivated, the remainder of the paper demonstrates how attempts to satisfy this condition seem to inevitably devolve into a novel kind of epistemic circularity. At the end of the day, proponents of extended cognition have a novel epistemological puzzle on their hands. (shrink)

We provide a constructive, direct, and simple proof of the completeness of the cut-free part of the hypersequential calculus for G¨odel logic (thereby proving both completeness of the calculus for its standard semantics, and the admissibility of the cut rule in the full calculus). We then extend the results and proofs to derivations from assumptions, showing that such derivations can be confined to those in which cuts are made only on formulas which occur in the assumptions.

I give reasons to suggest that the various ‘homogeneous substance’ objections to perdurance theory should not be regarded as raising serious difficulties. The main strategy is to show that there are equally exotic possibilities involving extended mereological simples that may turn the tables on the endurance theorist, insofar as she will have difficulties with these cases analogous to those she raises for the perdurantist. I conclude that such exotic cases are less useful that we might suppose in adjudicating (...) between these competing doctrines of persistence. (shrink)

The main aim is to extend the range of logics which solve the set-theoretic paradoxes, over and above what was achieved by earlier work in the area. In doing this, the paper also provides a link between metacomplete logics and those that solve the paradoxes, by finally establishing that all M1-metacomplete logics can be used as a basis for naive set theory. In doing so, we manage to reach logics that are very close in their axiomatization to that of the (...) logic R of relevant implication. A further aim is the use of metavaluations in a new context, expanding the range of application of this novel technique, already used in the context of negation and arithmetic, thus providing an alternative to traditional model theoretic approaches. (shrink)

Context: Our body schema is not restricted to biological body boundaries (such as the skin), as can be seen in the use of a cane by a person who is visually impaired or the “rubber hands” experiment. The tool becomes a part of the body schema when the focus of our attention is shifted from the tool to the task to be performed. Problem: A body schema is formed through interactions among brain, body, tool, and environment. Nevertheless, the dynamic mechanisms (...) underlying changes in the body schema are still not fully understood. Method: To study the changing conditions of the body schema (e.g., a shift of attention), a simulation model of object discrimination was extended to differentiate between two kinds of sensitivities – sensitivity to an object being directly manipulated and sensitivity to another object being manipulated by the first. The proposed model consisted of windmills with different numbers of vanes. A model agent was required to determine the number of vanes on a windmill by touching the vanes blindly with an arm controlled by a neural network. Placing a second windmill beside the first and gearing the two windmills to move associatively resulted in the agent using the first windmill as a tool with which to discern the number of vanes on the second windmill. In other words, an agent’s body schema can shift from its arm tip to the boundary between the first and second windmills. We then introduced an experiment with a real windmill model to test the hypothesis demonstrated by the theoretical model. Results: We demonstrated that even simple computational agents can have two different sensitivities to the windmills. One agent becomes sensitive to the first windmill and insensitive to the second one. Another agent becomes insensitive to the first windmill and sensitive to the second one by using the first one as a tool. Therefore, we concluded that the boundary of the body schema was extended to the first windmill in the case of the latter agent because paying attention to the task to be performed instead of the tool itself is essential for the tool to be considered as part of the body schema. Analysis of the experiments using a computational model and human experimentation revealed that a shift from an irregular to a regular movement of a windmill is an indication of extension of the body schema. Constructivist content: Our insights are beneficial for enactive cognitive science. This is because an extended body schema questions the Cartesian separation between subject and object, and the self and the environment. (shrink)

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...) are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames. (shrink)

Let $V_\propto$ be a fixed, fully effective, infinite dimensional vector space. Let $\mathscr{L}(V_\propto)$ be the lattice consisting of the recursively enumerable (r.e.) subspaces of $V_\propto$ , under the operations of intersection and weak sum (see § 1 for precise definitions). In this article we examine the algebraic properties of $\mathscr{L}(V_\propto)$ . Early research on recursively enumerable algebraic structures was done by Rabin [14], Frolich and Shepherdson [5], Dekker [3], Hamilton [7], and Guhl [6]. Our results are based upon the more (...) recent work concerning vector spaces of Metakides and Nerode [12], Crossley and Nerode [2], Remmel [15], [16], and Kalantari [8]. In the main theorem below, we extend a result of Lachlan from the lattice E of r.e. sets to $\mathscr{L}(V_\propto)$ . We define hyperhypersimple vector spaces, discuss some of their properties and show if $A, B \in \mathscr{L}(V_\propto)$ , and A is a hyperhypersimple subspace of B then there is a recursive space C such that A + C = B. It will be proven that if $V \in \mathscr{L}(V_\propto)$ and the lattice of superspaces of V is a complemented modular lattice then V is hyperhypersimple. The final section contains a summary of related results concerning maximality and simplicity. (shrink)

In [1], we established Gentzenizations for a good range of relevant logics with distribution, but, in the process, we added inversion rules, which involved extra structural connectives, and also added the sentential constantt. Instead of eliminating them, we used conservative extension results to relate them back to the original logics. In [4], we eliminated the inversion rules andtand established a much simpler Gentzenization for the weak sentential relevant logicDW, and also for its quantificational extensionDWQ, but a restriction to normal formulae (...) (defined below) was required to enable these results to be proved. This method was quite general and hope was expressed about extending it to other relevant logics.In this paper, we develop an innovative method, which makes essential use of this restriction to normality, to establish two simple Gentzenizations for the normal formulae of the slightly weaker logic B, and then extend the method to other sentential contraction-less logics. To obtain the first of these Gentzenizations, for the logicsBandDW, we remove the two branching rules (F&) and (T∨), together with the structural connective ‘,’, to simplify the elimination of the inversion rules andt. We then eliminate the rules (T&) and (F∨), thus reducing the Gentzen system to one containing only ˜ and → and their four associated rules, and reduce the remaining types of structures to four simple finite types. Subsequently, we re-introduce (T&) and (F∨), and also (F&) and (T∨), to obtain the second Gentzenization, which contains ‘,’ but no structural rules. (shrink)

In [1], we established Gentzenizations for a good range of relevant logics with distribution, but, in the process, we added inversion rules, which involved extra structural connectives, and also added the sentential constantt. Instead of eliminating them, we used conservative extension results to relate them back to the original logics. In [4], we eliminated the inversion rules andtand established a much simpler Gentzenization for the weak sentential relevant logicDW, and also for its quantificational extensionDWQ, but a restriction to normal formulae (...) (defined below) was required to enable these results to be proved. This method was quite general and hope was expressed about extending it to other relevant logics.In this paper, we develop an innovative method, which makes essential use of this restriction to normality, to establish two simple Gentzenizations for the normal formulae of the slightly weaker logic B, and then extend the method to other sentential contraction-less logics. To obtain the first of these Gentzenizations, for the logicsBandDW, we remove the two branching rules (F&) and (T∨), together with the structural connective ‘,’, to simplify the elimination of the inversion rules andt. We then eliminate the rules (T&) and (F∨), thus reducing the Gentzen system to one containing only ˜ and → and their four associated rules, and reduce the remaining types of structures to four simple finite types. Subsequently, we re-introduce (T&) and (F∨), and also (F&) and (T∨), to obtain the second Gentzenization, which contains ‘,’ but no structural rules. (shrink)

We propose a simple notion of "extender" for coding large elementary embeddings of models of set theory. As an application we present a self-contained proof of the theorem by D. Martin and J. Steel that infinitely many Woodin cardinals imply the determinacy of every projective set.

What experimental game theorists may have demonstrated is not that people are systematically irrational but that human rationality is heavily scaffolded. Remove the scaffolding, and we do not do very well. People are able to get on because they “offload” an enormous amount of practical reasoning onto their environment. As a result, when they are put in novel or unfamiliar environments, they perform very poorly, even on apparently simple tasks. -/- This observation is supported by recent empirically informed shifts in (...) philosophy of mind toward a view of cognition as (to cite the current slogan) “embodied, embedded, enactive, extended.” Andy Clark and others have made a very plausible case for the idea that a proper assessment of human cognitive competence must include environmental components. To limit our attention to what lies within the skin-skull boundary is, in effect, to miss the big story on human rationality. Insofar as we are rational, it is often because of our ingenuity at developing “work-arounds” to the glitches in the fast-and-frugal heuristic problem-solving capabilities that natural selection has equipped us with. And these work-arounds often involve a detour through the environment (so-called offloading of cognitive burdens). -/- When it comes to practical rationality, things are no different. Yet in many discussions of “the will,” there is still a tendency to put too much emphasis on what goes on inside the agent’s head. Our objective in this chapter is to articulate this conception of “the extended will” more clearly, using the strategies that people employ to overcome procrastination for the central set of examples. Procrastination, in our view, constitutes a particular type of self-control problem, one that is particularly amenable to philosophical reflection, not only because of the high volume of psychological research on the subject but also because of the large quantity of “self-help” literature in circulationa literature that provides an invaluable perspective on the everyday strategies that people use in order to defeat (or, better yet, circumvent) this type of self-defeating behavior pattern. In general, what we find is that the internalist bias that permeates discussions of the will gives rise to a set of practical recommendations that overemphasize changing the way one thinks about a task, while ignoring the much richer set of strategies that are available in the realm of environmental scaffolding. In the concluding section, we highlight some of the policy implications of this, particularly regarding social trends involving the dismantling of support structures. (shrink)

A number of philosophers have argued in favour of extended simples on the grounds that they are needed by fundamental physics. The arguments typically appeal to theories of quantum gravity. To date, the argument in favour of extended simples has ignored the fact that the very existence of spacetime is put under pressure by quantum gravity. We thus consider the case for extended simples in the context of different views on the existence of spacetime. (...) We show that the case for extended simples based on physics is far more complex than has been previously thought. We present and then map this complexity, in order to present a much more textured picture of the argument for extended simples. (shrink)

In this article, we present the positional logic that is suitable for the formalization of reasoning about social phenomena. It is the effect of extending the Minimal Realisation (MR) logic with new expressions. These expressions allow, inter alia, to consider different points of view of social entities (humanistic coefficient). In the article, we perform a metalogical analysis of this logic. Finally, we present some simple examples of its application.

Although many studies have provided evidence that abstract knowledge can be acquired in artificial grammar learning, it remains unclear how abstract knowledge can be attained in sequence learning. To address this issue, we proposed a dual simple recurrent network model that includes a surface SRN encoding and predicting the surface properties of stimuli and an abstract SRN encoding and predicting the abstract properties of stimuli. The results of Simulations 1 and 2 showed that the DSRN model can account for learning (...) effects in the serial reaction time task under different conditions, and the manipulation of the contribution weight of each SRN accounted for the contribution of conscious and unconscious processes in inclusion and exclusion tests in previous studies. The results of human performance in Simulation 3 provided further evidence that people can implicitly learn both chunking and abstract knowledge in sequence learning, and the results of Simulation 3 confirmed that the DSRN model can account for how people implicitly acquire the two types of knowledge in sequence learning. These findings extend the learning ability of the SRN model and help understand how different types of knowledge can be acquired implicitly in sequence learning. (shrink)

We define a mathematical formalism based on the concept of an ‘‘open dynamical system” and show how it can be used to model embodied cognition. This formalism extends classical dynamical systems theory by distinguishing a ‘‘total system’’ (which models an agent in an environment) and an ‘‘agent system’’ (which models an agent by itself), and it includes tools for analyzing the collections of overlapping paths that occur in an embedded agent's state space. To illustrate the way this formalism can be (...) applied, several neural network models are embedded in a simple model environment. Such phenomena as masking, perceptual ambiguity, and priming are then observed. We also use this formalism to reinterpret examples from the embodiment literature, arguing that it provides for a more thorough analysis of the relevant phenomena. (shrink)

Theories of possible worlds abound. Since the introduction of modal logic, the term of a possible world, and the very nature of an entity denoted by the term, have stood on the top of metaphysical inquiries. A possible world, roughly speaking, is a complete way things could have been. On the face of it, whatever is possible takes place in some possible world, and whatever is not possible, does not. The aim of the present book is to argue that even (...) impossible things happen. By taking David Lewis’s Modal Realism (henceforth as “MR”) seriously, I claim that besides infinitely many concrete ways things could have been, there exist ways things could not have been. I call them concrete impossible worlds. In Chapter I, I outline Lewis’s well-defined conception of philosophical analysis. I present its structure, aims, methodology and criteria for success. Besides the virtues of the Lewisian conception, I point out several limitations the theory has and offer very simple solution: the admission of concrete impossible worlds. In Chapter II, I present a version of an epistemological objection against MR and a positive account in favour of Modal Fictionalism (henceforth as “MF”). I then present the puzzle in this matter and attempt to generalise my point. 9 Introduction Chapter III demonstrates how flexible Lewis’s theory is. I consider a putative impossibility of there being island universes – spatiotemporally disjoint spacetimes – and show what a proponent of modal realism can do in order to account for it. I present three possible moves: a revision of our pre-theoretical opinions, a modification of our definitions and, finally, an ex- tension of our metaphysical commitments. I consider two ersatz theories of impossible worlds in Chapter IV. In particular, I scrutinize Franz Berto’s and Edwin Mares’s (hybrid) theories of MR. Although I admit that the theories radically extend the scope of applications of MR without extending its metaphysical commitments, the approaches do have some limits. Finally, in Chapter V, I present Extended Modal Realism (henceforth EMR), a theory according to which the best way to go in order to account for impossible phenomena is to ex- tend our metaphysical base by genuine impossibilia. I try to (at least) weaken, if not meet, the crucial objections to the proposal. Namely, I challenge the proclaimed universality of classical logic and, subsequently, motivate certain kind of paraconsistent approach to modal reality. Although the consequences are very hard to swallow, I argue that it is because of the fact that we are unsure of our pre-theoretical opinions concerning the impossible. (shrink)

According to a widely shared interpretation, research employing spontaneous-response false belief tasks demonstrates that infants as young as 15 months attribute (false) beliefs. In contrast with this conclusion, I advance an alternative reading of the empirical data. I argue that infants constantly form and update their expectations about others’ behaviour and that this ability extends in the course of development to reflect an appreciation of what others can and cannot see. These basic capacities account for infants’ performance in spontaneous-response false (...) belief tasks without the need to assume the existence of a cognitive module specific for mental state attribution. My proposal suggests a plausible explanatory strategy for the problem of the representational format of the information processed in spontaneous-response false belief tasks. (shrink)

This paper extends the defense of a simple theory of indicative conditionals previously proposed by the author, in which the truth conditions are material, and Grice-style assertability conditions are given to explain the paradoxes of material implication. The paper discusses various apparent counter-examples to the material account in which conditionals are not asserted, and so the original theory cannot be applied; it is argued that, nevertheless, the material theory can be defended.

This paper offers an overview of the ways agents might extend over time and the characteristic structure of extended human agency. Agency can extend in two distinct but combinable modes: the ontological, which gives rise to simple continuous agents; and the conceptual, which gives rise to agents who conceive of and care about distal times, and have minimal planning abilities. Our extended form of agency combines both. But we are still limited by the temporal locality in the operation (...) of our psychological and executive powers. To account for this locality, I introduce the notion of 'temporal selves,' as the loci of immediacy in the agent's determination of their psychology, conduct, and practical standpoint. I argue that the passage of time generates, by itself, the threat of temporal alienation from distant temporal selves. A genuinely extended agency requires temporal identification: the sharing, by separate temporal selves, of a temporally extended and integrated practical standpoint. This temporal identification cannot be produced simply by temporal identity as continuity. What is required is temporal identity in the mode of unity and integration. This identity does not precede temporal identification but is co-constituted with it. I offer a preliminary account of the structure of the units of integration for agents who aspire to persist in the mode of unity and integration. I close with a cautionary note: the complex structure of integration, although familiar in everyday life, is often missed by standard philosophical accounts, which tend to focus on simple models of extended agency. (shrink)

Hegselmann and Krause have developed a simple yet powerful computational model for studying the opinion dynamics in societies of epistemically interacting truth-seeking agents. We present various extensions of this model and show their relevance to the investigation of socio-epistemic questions, with an emphasis on normative questions.

Physical boundaries and the earliest topologists. Topology has a relatively short history; but its 19th century roots are embedded in philosophical problems about the nature of extended substances and their boundaries which go back to Zeno and Aristotle. Although it seems that there have always been philosophers interested in these matters, questions about the boundaries of three-dimensional objects were closest to center stage during the later medieval and modern periods. Are the boundaries of an object actually existing, less-than-three-dimensional parts (...) of the object—that is, are solids bounded by two-dimensional surfaces, surfaces by one-dimensional “edges” or “physical lines”, edges by dimensionless “simples”? If not, how does a perfectly spherical object manage to touch a perfectly flat object—what part of the sphere is in immediate contact with the plane, if the sphere has no unextended parts? But if such parts be admitted, are we not then saddled with “actual infinities” of simples, lines, and surfaces spread throughout each continuous object—the boundaries of all the object’s internal parts? Does it help to say that these internal boundaries exist only “potentially”? (shrink)

Husserl’s Logical Investigations has undergone explicitly conceptualist and non-conceptualist interpretations. For Richard Cobb-Stevens, he has extended understanding into the domain of sensuous intuition, leaving no simple perceptions that are actually separated from higher-level understanding. According to Kevin Mulligan, Husserl does in fact sunder nominal and propositional seeing from the simple or straightforward—and yet interpretative—seeing of particulars. To see simply is not to exercise an individual meaning or a general concept. Arguing that Logical Investigations provides evidence for both views, I (...) endeavour to show that the account of perceptual consciousness in Husserl’s subsequent work is far more clear and consistent. It is one of growing beyond the situation portrayed by Mulligan and into the one explicated by Cobb-Stevens. Though they are notionally separable, pre-conceptual syntheses at the passive and noematic levels are inevitably interwoven with conceptual and categorial articulations in a developed consciousness. (shrink)

Philosophers of language have long recognized that in opaque contexts, such as those involving propositional attitude reports, substitution of co-referring names may not preserve truth value. For example, the name ‘Clark Kent’ cannot be substituted for ‘Superman’ in a context like:1. Lois believes that Superman can flywithout a change in truth value. In an earlier paper , Jennifer Saul demonstrated that substitution failure could also occur in ‘simple sentences’ where none of the ordinary opacity-producing conditions existed, such as:2. Superman leaps (...) more tall buildings than Clark Kent does.Accounts focusing on opacity were unable to explain our ‘anti-substitution intuitions’ in such cases.In Simple Sentences, Substitution, and Intuitions, Saul extends her earlier work. She provides a comprehensive presentation and criticism of recent accounts of simple sentence substitution failure, and proposes a new approach drawing on psychological evidence about cognitive processing. Saul's purpose is not merely to solve the substitution puzzle cases, but to make …. (shrink)

An SR model is presented that shows how an objective (noncontextual and local) interpretation of quantum mechanics can be constructed, which contradicts some well-established beliefs following from the standard interpretation of the theory and from known no-go theorems. The SR model is not a hidden variables theory in the standard sense, but it can be considered a hidden parameters theory which satisfies constraints that are weaker than those usually imposed on standard hidden variables theories. The SR model is also (...) class='Hi'>extended in a natural way that shows how a broader theory embodying quantum mechanics can be envisaged which is realistic in a semantic sense, hence compatible with various “realistic” perspectives. (shrink)

We examine the verification of simple quantifiers in natural language from a computational model perspective. We refer to previous neuropsychological investigations of the same problem and suggest extending their experimental setting. Moreover, we give some direct empirical evidence linking computational complexity predictions with cognitive reality.<br>In the empirical study we compare time needed for understanding different types of quantifiers. We show that the computational distinction between quantifiers recognized by finite-automata and push-down automata is psychologically relevant. Our research improves upon hypothesis and (...) explanatory power of recent neuroimaging studies as well as provides<br>evidence. (shrink)

We present a method for assessing the sensitivity of the true causal effect to unmeasured confounding. The method requires the analyst to set two intuitive parameters. Otherwise, the method is assumption free. The method returns an interval that contains the true causal effect and whose bounds are arbitrarily sharp, i.e., practically attainable. We show experimentally that our bounds can be tighter than those obtained by the method of Ding and VanderWeele, which, moreover, requires to set one more parameter than our (...) method. Finally, we extend our method to bound the natural direct and indirect effects when there are measured mediators and unmeasured exposure–outcome confounding. (shrink)

In this study, an extended paradefinite logic with classical negation (EPLC), which has the connectives of conflation, paraconsistent negation, classical negation, and classical implication, is introduced as a Gentzen-type sequent calculus. The logic EPLC is regarded as a modification of Arieli, Avron, and Zamansky’s ideal four-valued paradefinite logic (4CC) and as an extension of De and Omori’s extended Belnap–Dunn logic with classical negation (BD+) and Avron’s self-extensional four-valued paradefinite logic (SE4). The completeness, cut-elimination, and decidability theorems for EPLC (...) are proved and EPLC is shown to be embeddable into classical logic. The strong equivalence substitution property and the admissibilities of the rules of negative symmetry, contraposition, and involution are shown for EPLC. Some alternative simple Gentzen-type sequent calculi, which are theorem-equivalent to EPLC, are obtained via these characteristic properties. (shrink)