A case in point is Frank Jackson’s talk of “conceptual possibility” and “conceptual necessity.” He writes as if the issue between us is the relative methodological priority for philosophy of conceptual modalities and metaphysical modalities. In addition to the uncritical reliance on conceptual modality, another fallacy is surfacing. Paul Boghossian developed an epistemology of logic based on understanding‐assent links corresponding to fundamental rules of logic. His paradigm was modus ponens: a necessary condition for understanding “if” was supposed to be willingness (...) to assent to inferences by modus ponens involving “if.” Boghossian objects that Simon’s tolerance of assent to gappy statements undermines the presumption that he is assenting to them as true. In Nenad Miscevic paper, such competencies are postulated for the linguistic, spatial‐geometric, mathematical, metaphysical, epistemological, and moral domains. Thus Miscevic auxiliary modularity‐independent characterization offers little help in demarcating a useful category of intuition. (shrink)

The proteasome family of proteases comprises oligomeric assemblies of very different symmetry. In different sizes, it features ring‐like oligomers with dihedral symmetry that allow the stacking of further rings of regulatory subunits as observed in the modular proteasome system, but also less symmetric helical assemblies. Comprehensive sequence and structural analyses of proteasome homologs reveal a parsimonious scenario of how symmetry may have emerged from a monomeric ancestral precursor and how it may have evolved throughout the proteasome family. The four characterized (...) representatives—ancestral β subunit (Anbu), HslV, betaproteobacterial proteasome homolog (BPH), and the 20S proteasome—are outlasting cornerstones in the family's evolutionary history, each marking a transition in symmetry. This article contextualizes the evolutionary and functional key aspects of these symmetry transitions, explaining how they facilitated the diversification and concurrent evolution of independent proteolytic systems side by side, each with its customized network of auxiliary interactors. -/- . (shrink)

Explaining intuitions in terms of “facts of our natural history” is compatible with rationally trusting them. This compatibilist view is defended in the present paper, focusing upon nomic and essentialist modal intuitions. The opposite, incompatibilist view alleges the following: If basic modal intuitions are due to our cognitive make‐up or “imaginative habits” then the epistemologists are left with a mere non‐rational feeling of compulsion on the side of the thinker. Intuitions then cannot inform us about modal reality. In contrast, the (...) paper argues that there are several independent sources of justification which make the feeling of compulsion rational: the prima‐facie and a priori ones come from the obviousness of our basic modal intuitions and our not being able to imagine things otherwise, others, a posteriori, from the epistemic success of these intuitions. Further, the general scheme of evolutionary learning is reliable, reliability is preserved in the resulting individual's cognitive make‐up, and we can come to know this a posteriori. The a posteriori appeal to evolution thus plays a subsidiary role in justification, filling the remaining gap and removing the residual doubt. Explaining modal intuitions is compatible with moderate realism about modality itself. (shrink)

Pejoratives are negative terms for alleged social kinds: ethnic, gender, racial, and other. They manage to refer the way kind-terms do, relatively independently of false elements contained in their senses. This proposal, presented in the book, is called the Negative Hybrid Social Kind Term theory, or NHSKT theory, for short. The theory treats the content of pejoratives as unitary, in analogy with unitary thick concepts: both neutral-cum-negative properties (vices) ascribed and negative prescriptions voiced are part of the semantics preferably with (...) some truth-conditional impact, and even the expression of attitudes is part of the semantic potential, although not necessarily the truth conditional one. Pejoratives are thus directly analogue to laudatives, and in matters of reference close to non-evaluative, e.g. superstitious social kind terms (names of zodiacal signs, or terms like “magician”). A pejorative sentence typically expresses more than one proposition and pragmatic context selects the relevant one. Some propositions expressed can be non-offensive and true, other, more typical, are offensive and false. Pejoratives are typically face attacking devices, although they might have other relevant uses. The Negative Hybrid Social Kind Term proposal thus fits quite well with leading theories of (im-)politeness, which can offer a fine account of their typical pragmatics. (shrink)

Explaining intuitions in terms of "facts of our natural history" is compatible with rationally trusting them. This compatibilist view is defended in the present paper, focusing upon nomic and essentialist modal intuitions. The opposite, incompatibilist view alleges the following: If basic modal intuitions are due to our cognitive make-up or "imaginative habits" then the epistemologists are left with a mere non-rational feeling of compulsion on the side of the thinker. Intuitions then cannot inform us about modal reality. In contrast, the (...) paper argues that there are several independent sources of justification which make the feeling of compulsion rational: the prima-facie and a priori ones come from the obviousness of our basic modal intuitions and our not being able to imagine things otherwise, others, a posteriori, from the epistemic success of these intuitions. Further, the general scheme of evolutionary learning is reliable, reliability is preserved in the resulting individual's cognitive make-up, and we can come to know this a posteriori. The a posteriori appeal to evolution thus plays a subsidiary role in justification, filling the remaining gap and removing the residual doubt. Explaining modal intuitions is compatible with moderate realism about modality itself. (shrink)

Discussions concerning the modularity of the pain system have been focused on questions regarding the cognitive penetrability of pain mechanisms. It has been claimed that phenomena such as placebo analgesia demonstrate that the pain system is cognitively penetrated; therefore, it is not encapsulated from central cognition. However, important arguments have been formulated which aim to show that cognitive penetrability does not in fact entail a lack of modularity of the pain system. This paper offers an alternative way to reject the (...) modularity of the pain system, which is independent from, but consistent with, the presence of cognitive penetration. It is proposed that, given the current knowledge regarding the functioning and the structure of the pain system, there are good reasons to accept that certain central cognitive mechanisms are part of the pain system. It is argued that such a ‘cognitive constitution’ of the pain system entails that the pain system is not modular. (shrink)

We obtain, for the first time, a modular many-valued semantics for combined logics, which is built directly from many-valued semantics for the logics being combined, by means of suitable universal operations over partial non-deterministic logical matrices. Our constructions preserve finite-valuedness in the context of multiple-conclusion logics, whereas, unsurprisingly, it may be lost in the context of single-conclusion logics. Besides illustrating our constructions over a wide range of examples, we also develop concrete applications of our semantic characterizations, namely regarding the semantics (...) of strengthening a given many-valued logic with additional axioms, the study of conditions under which a given logic may be seen as a combination of simpler syntactically defined fragments whose calculi can be obtained independently and put together to form a calculus for the whole logic, and also general conditions for decidability to be preserved by the combination mechanism. (shrink)

Modular approaches to the architecture of the mind claim that some mental mechanisms, such as sensory input processes, operate in special-purpose subsystems that are functionally independent from the rest of the mind. This assumption of modularity seems to be in tension with recent claims that the mind has a predictive architecture. Predictive approaches propose that both sensory processing and higher-level processing are part of the same Bayesian information-processing hierarchy, with no clear boundary between perception and cognition. Furthermore, it is not (...) clear how any part of the predictive architecture could be functionally independent, given that each level of the hierarchy is influenced by the level above. Both the assumption of continuity across the predictive architecture and the seeming non-isolability of parts of the predictive architecture seem to be at odds with the modular approach. I explore and ultimately reject the predictive approach’s apparent commitments to continuity and non-isolation. I argue that predictive architectures can be modular architectures, and that we should in fact expect predictive architectures to exhibit some form of modularity. (shrink)

According to the `grammatical account', scalar implicatures are triggered by a covert exhaustification operator present in logical form. This account covers considerable empirical ground, but there is a peculiar pattern that resists treatment given its usual implementation. The pattern centers on odd assertions like #"Most lions are mammals" and #"Some Italians come from a beautiful country", which seem to trigger implicatures in contexts where the enriched readings conflict with information in the common ground. Magri (2009, 2011) argues that, to account (...) for these cases, the basic grammatical approach has to be supplemented with the stipulations that exhaustification is obligatory and is based on formal computations which are blind to information in the common ground. In this paper, I argue that accounts of oddness should allow for the possibility of felicitous assertions that call for revision of the common ground, including explicit assertions of unusual beliefs such as "Most but not all lions are mammals" and "Some but not all Italians come from Italy". To adequately cover these and similar cases, I propose that Magri's version of the Grammatical account should be refined with the novel hypothesis that exhaustification triggers a bifurcation between presupposed (the negated relevant alternatives) and at-issue (the prejacent) content. The explanation of the full oddness pattern, including cases of felicitous proposals to revise the common ground, follows from the interaction between presupposed and at-issue content with an independently motivated constraint on accommodation. Finally, I argue that treating the exhaustification operator as a presupposition trigger helps solve various independent puzzles faced by extant grammatical accounts, and motivates a substantial revision of standard accounts of the overt exhaustifier "only". (shrink)

There is an argument that has recently been deployed in favor of thinking that the mind is mostly (or even exclusively) composed of cognitive modules; an argument that draws from some ideas and concepts of evolutionary and of developmental biology. In a nutshell, the argument concludes that a mind that is massively composed of cognitive mechanisms that are cognitively modular (henceforth, c-modular) is more evolvable than a mind that is not c-modular (or that is scarcely c-modular), since a cognitive mechanism (...) that is c-modular is likely to be biologically modular (henceforth, b-modular), and b-modular characters are more evolvable (e.g., Sperber 2002, Carruthers 2005). In evolutionary biology, the evolvability of a character in an organism is understood as the “organism’s capacity to facilitate the generation of non-lethal selectable phenotypic variation from random mutation” with respect to that character. Here I will argue that the notion of cognitive modularity needed to make this argument plausible will have to be understood in terms of the biological notion of variational independence; that is, it will have to be understood in such a way that a cognitive feature is c-modular only if few or no other morphological changes (cognitive and not) are significantly correlated with variations of that feature arising in members of the relevant population. I will also argue that all –except for (possibly) one—of the connotations contained in a cluster of notions of cognitive modularity widely accepted in some of the mainstream currents of thought in classical cognitive science, are simply irrelevant to the argument. In order to argue for this, I will have to examine the question as to whether there are any strong theoretical connections between (1) those connotations and (2) notions of modularity accepted in biology, specially in evolutionary and in developmental biology, that are thought to be most relevant to arguments to the effect that biological modularity enhances evolvability. (shrink)

In their rich and intricate paper ‘Independence, Invariance, and the Causal Markov Condition’, Daniel Hausman and James Woodward ([1999]) put forward two independent theses, which they label ‘level invariance’ and ‘manipulability’, and they claim that, given a specific set of assumptions, manipulability implies the causal Markov condition. These claims are interesting and important, and this paper is devoted to commenting on them. With respect to level invariance, I argue that Hausman and Woodward's discussion is confusing because, as I point out, (...) they use different senses of ‘intervention’ and ‘invariance’ without saying so. I shall remark on these various uses and point out that the thesis is true in at least two versions. The second thesis, however, is not true. I argue that in their formulation, the manipulability thesis is patently false and that a modified version does not fare better. Furthermore, I think their proof that manipulability implies the causal Markov condition is not conclusive. In the deterministic case it is valid but vacuous, whereas it is invalid in the probabilistic case. 1 Introduction 2 Intervention, invariance and modularity 3 The causal Markov condition: CM1 and CM2 4 From MOD to the causal Markov condition and back 5 A second argument for CM2 6 The proof of the causal Markov condition for probabilistic causes 7 ‘Cartwright's objection’ defended 8 Metaphysical defenses of the causal Markov condition 9 Conclusion. (shrink)

We suggest that pain processing has a modular architecture. We begin by motivating the (widely assumed but seldom defended) conjecture that pain processing comprises inferential mechanisms. We then note that pain exhibits a characteristic form of judgement independence. On the assumption that pain processing is inferential, we argue that its judgement independence is indicative of modular (encapsulated) mechanisms. Indeed, we go further, suggesting that it renders the modularity of pain mechanisms a default hypothesis to be embraced pending convincing counterevidence. Finally, (...) we consider what a modular pain architecture might look like, and question alleged counterevidence to our proposal. (shrink)

Three experiments investigated the modularity of harmonic expectations that are based on cultural schemata despite the availability of more predictive veridical information. Participants were presented with prime–target chord pairs and made an intonation judgment about each target. Schematic expectation was manipulated by the combination of prime and target, with some transitions being schematically more probable than others. Veridical information in the form of prime–target previews, local transition probabilities, or valid versus invalid previews was also provided. Processing was facilitated when a (...) schematically probable target chord followed the prime. Furthermore, this effect was independent of all manipulations of veridical expectation. A solution to L. B. Meyer's (1967b) query "On Rehearing Music" is suggested, in which schematic knowledge contributes to harmonic expectation in a modular manner regardless of whether any veridical knowledge exists. (shrink)

I examine an argument that has recently appeared in the cognitive science literature in favor of thinking that the mind is mostly composed of Fodorian-type cognitive modules; an argument that concludes that a mind that is massively composed of classical cognitive mechanisms that are cognitively modular is more evolvable than a mind that is not cognitively modular, since a cognitive mechanism that is cognitively modular is likely to be biologically modular, and biologically modular characters are more evolvable. I argue that (...) the notion of cognitive modularity needed to make this argument plausible will have to be understood in terms of the biological notion of variational independence, as follows: a cognitive feature is cognitively modular only if few or no other morphological changes are significantly correlated with variations of that feature arising in members of the relevant population as a result of ontogeny. I also argue that most of the connotations contained in a cluster of notions of classical cognitive modularity are, as far as we know, irrelevant to the argument, and that only the presence of selective impairments—also known as cognitive dissociations—can be considered as strong indicators of the type of modularity that genuinely enhances evolvability. (shrink)

This book is a comprehensive development and defense of one of the guiding assumptions of evolutionary psychology: that the human mind is composed of a large number of semi-independent modules. The Architecture of the Mind has three main goals. One is to argue for massive mental modularity. Another is to answer a 'How possibly?' challenge to any such approach. The first part of the book lays out the positive case supporting massive modularity. It also outlines how the thesis should best (...) be developed, and articulates the notion of 'module' that is in question. Then the second part of the book takes up the challenge of explaining how the sorts of flexibility and creativity that are distinctive of the human mind could possibly be grounded in the operations of a massive number of modules.Peter Carruthers's third aim is to show how the various components of the mind are likely to be linked and interact with one another - indeed, this is crucial to demonstrating how the human mind, together with its familiar capacities, can be underpinned by a massively modular set of mechanisms. He outlines and defends the basic framework of a perception / belief / desire / planning / motor-control architecture, as well as detailing the likely components and their modes of connectivity. Many specific claims about the place within this architecture of natural language, of a mind-reading system, and others are explained and motivated. A number of novel proposals are made in the course of these discussions, one of which is that creative human thought depends upon a prior kind of creativity of action.Written with unusual clarity and directness, and surveying an extensive range of research in cognitive science, this book will be essential reading for anyone with an interest in the nature and organization of the mind. (shrink)

Quartz (2002) argues that some recent findings about the evolution of the brain (Finlay & Darlington, 1995) are inconsistent with evolutionary psychologists’ massive modularity hypothesis. In substance, Quartz contends that since the volume of the neocortex evolved in a concerted manner, natural selection did not act on neocortical systems independently of each other, which is a necessary condition for the massive modularity of our cognition to be true. I argue however that Quartz’s argument fails to undermine the massive modularity hypothesis.

Language is at the core of the cognitive revolution that has transformed that discipline over the last forty years or so, and it is also the central paradigm for the most prominent attempt to synthesise psychology and evolutionary theory. A single and distinctively modular view of language has emerged out of both these perspectives, one that encourages a certain idealisation. Linguistic competence is uniform, independent of other cognitive capacities, and with a developmental trajectory that is largely independent of environmental input (...) (Pinker 1994; Pinker 1997). Thus language is seen as a paradigm of John Tooby and Leda Cosmides’ concept of “evoked culture”: linguistic experience serves only to select a specific item from a menu of innately available options (Tooby and Cosmides 1992). In explaining this concept, they appeal to the metaphor of a jukebox. The human genome pre-stores a set of options, and the different experiences provided by different cultures select different elements out of this option set. I think an appropriate evolutionary perspective on language substantially undercuts this idealisation and the evoked culture model of language. Variability between speakers; the sensitivity of linguistic development to environmental input; and the limits of encapsulation are not noise. They are central to the language and its evolution. (shrink)

expose some gaps and difficulties in the argument for the causal Markov condition in our essay ‘Independence, Invariance and the Causal Markov Condition’ ([1999]), and we are grateful for the opportunity to reformulate our position. In particular, Cartwright disagrees vigorously with many of the theses we advance about the connection between causation and manipulation. Although we are not persuaded by some of her criticisms, we shall confine ourselves to showing how our central argument can be reconstructed and to casting doubt (...) on Cartwright's claim that the causal Markov condition typically fails when there are indeterministic by-products. Why believe the causal Markov condition? Causation and manipulation The argument Indeterministic by-products and the causal Markov condition The chemical factory counterexample and PM2 Conclusions: causation and manipulability. (shrink)

Having concepts is a distinctive sort of cognitive capacity. One thing that conceptual thought requires is obeying the Generality Constraint: concepts ought to be freely recombinable with other concepts to form novel thoughts, independent of what they are concepts of. Having concepts, then, constrains cognitive architecture in interesting ways. In recent years, spurred on by the rise of evolutionary psychology, massively modular models of the mind have gained prominence. I argue that these architectures are incapable of satisfying the Generality Constraint, (...) and hence incapable of underpinning conceptual thought. I develop this argument with respect to two well-articulated proposals, due to Dan Sperber and Peter Carruthers. Neither proposal gives us a satisfactory explanation of Generality within the confines of a genuinely modular architecture. Massively modular minds may display considerable behavioral and cognitive flexibility, but not humanlike conceptualized thought. (shrink)

What follows is a discussion of three sets of experimental results that deal with various aspects of universal biological understanding among American and Maya children and adults. The first set of experiments shows that by the age of four-to-five years urban American and Yukatek Maya children employ a concept of innate species potential, or underlying essence, as an inferential framework for understanding the affiliation of an organism to a biological species, and for projecting known and unknown biological properties to organisms (...) in the face of uncertainty. The second set of experiments shows that the youngest Maya children do not have an anthropocentric understanding of the biological world. Children do not initially need to reason about non-human living kinds by analogy to human kinds. The third set of results show that the same taxonomic rank is cognitively preferred for biological induction in two diverse populations: people raised in the Mid-western USA and Itza' Maya of the Lowland Meso-american rainforest. This is the generic species  the level of oak and robin. These findings cannot be explained by domain-general models of similarity because such models cannot account for why both cultures prefer species-like groups in making inferences about the biological world, although Americans have relatively little actual knowledge or experience at this level. The implication from these experiments is that folk biology may well represent an evolutionary design: universal taxonomic structures, centred on essence-based generic species, are arguably routine products of our ‘habits of mind,' which may be in part naturally selected to grasp relevant and recurrent ‘habits of the world.' The science of biology is built upon these domain-specific cognitive universals: folk biology sets initial cognitive constraints on the development of any possible macro-biological theory, including the initial development of evolutionary theory. Nevertheless, the conditions of relevance under which science operates diverge from those pertinent to folk biology. For natural science, the motivating idea is to understand nature as it is ‘in itself,' independently of the human observer. From this standpoint, the species-concept, like taxonomy and teleology, may arguably be allowed to survive in science as a regulative principle that enables the mind to readily establish stable contact with the surrounding environment, rather than as an epistemic concept that guides the search for truth. (shrink)

Having concepts is a distinctive sort of cognitive capacity. One thing that conceptual thought requires is obeying the Generality Constraint: concepts ought to be freely recombinable with other concepts to form novel thoughts, independent of what they are concepts of. Having concepts, then, constrains cognitive architecture in interesting ways. In recent years, spurred on by the rise of evolutionary psychology, massively modular models of the mind have gained prominence. I argue that these architectures are incapable of satisfying the Generality Constraint, (...) and hence incapable of underpinning conceptual thought. I develop this argument with respect to two well-articulated proposals, due to Dan Sperber and Peter Carruthers. Neither proposal gives us a satisfactory explanation of Generality within the confines of a genuinely modular architecture. Massively modular minds may display considerable behavioral and cognitive flexibility, but not humanlike conceptualized thought. (shrink)

Functional robustness refers to a system’s ability to maintain a function in the face of perturbations to the causal structures that support performance of that function. Modularity, a crucial element of standard methods of causal inference and difference-making accounts of causation, refers to the independent manipulability of causal relationships within a system. Functional robustness appears to be at odds with modularity. If a function is maintained despite manipulation of some causal structure that supports that function, then the relationship between that (...) structure and function fails to be manipulable independent of other causal relationships within the system. Contrary to this line of reasoning, I argue that functional robustness often attends feedback control, rather than failures of modularity. Feedback control poses its own challenges to causal explanation and inference, but those challenges do not undermine modularity—and indeed, modularity is crucial to grappling with them. (shrink)

Modularity has become a central and remarkably useful concept in evolutionary developmental biology, offering an explanation of how independent, interacting units make possible developmental events and evolutionary changes. These modules exist at several different levels of organization, from genes to signal transduction pathways to cell populations. Cell populations, which are multicellular modules, provide an opportunity both to clarify our notion of modularity and to reexamine such central concepts as cell-to-cell communication. Rosine Chandebois’s work on “cell sociology” is reframed in the (...) language of modularity in order to show how groups of cells maintain their collective identity during development and how signaling information from the group’s environment is received by the constituent cells. In a “test case” for our account of multicellular modules, we consider the vertebrate neural crest, a migratory cell population made up of several subpopulations. The neural crest proves yet again to be a complex case, showing the importance of taking into account both developmental and evolutionary transformations of multicellular modules. (shrink)

Dutch manner of motion verbs play a prominent role in the literature on unaccusativity. As these verbs can take both hebben ‘have’ and zijn ‘be’ as their perfective auxiliaries, they are considered to show both unergative and unaccusative behavior. The general consensus is that these verbs normally take hebben, yet occur with zijn if they are ‘telicized’ by an endpoint, and that the auxiliaries are diagnostics for the syntactic status of prepositional phrases (PPs). The paper presents attested data that reveal (...) that this generalization is untenable: there are examples that take the opposite auxiliary from what the generalization predicts. To account for the full set of data, the paper takes a cognitive-grammar perspective, arguing that auxiliary choice, telicity and syntactic status of PPs are independent issues requiring their own explanations. Auxiliary choice is analyzed in terms of alternate construals of a motion event: with hebben as a type of act and with zijn as a change of location. In this manner, the paper adds to a growing body of literature that questions the usefulness of the coarse unergative–unaccusative distinction, advocating a ‘local analysis’ instead. (shrink)

This paper critically examines the argument structure of Fodor's theory of modularity. Fodor claims computational autonomy as the essential properly of modular processing. This property has profound consequences, burdening modularity theory with corollaries of rigidity, non-plasticity, nativism, and the old Cartesian dualism of sensing and thinking. However, it is argued that Fodor's argument for computational autonomy is crucially dependent on yet another postulate of Fodor's theory, viz. his thesis of strong modularity, ie. the view that functionally distinct modules must also (...) have physical counterparts in the neural architecture of the brain. Yet, Fodor offers little or no independent support for this neurological speculation. Moreover, due to the cognitivist underpinnings of Fodor's theory his view of modules as 'mental organs'faces an untenable dilemma that is to be traced back to the earliest history of modem cognitive science, viz. to the rationalist-computationalist research program initiated by Descartes and Male-branche. The tension characteristic for the Cartesian program was one that arose between information correlation and information processing accounts of the transactions between body and mind. Similarly, the tension characteristic for Fodor's theory of modularity is one between a causal account of modules on the model of simple detection mechanisms, and an information processing account of modules on the model of vast and elaborate cognitive systems. It is argued that the resulting concept of a cognitive module Fodorian style constitutes an amalgam of incompatible desiderata that fails to stake out a natural kind for cognitive science. As an alternative account, the final section shows connectionism to be capable of encompassing both Gibsonian and 'new look' accounts of cognitive achievements within one theoretical perspective, thus providing a fruitful interfield theory capable of combining the theoretical resources of the ecological approach with the indispensable theoretical complement provided by psychological processing accounts. This change of perspective would ultimately involve recasting the symbo-functionalist notion of cognitive function along bio-psychological lines. (shrink)

Evolutionary developmental biology (“evo-devo”) may provide insights and new methods for studies of cognition and cultural evolution. For example, I propose using cultural selection and individual learning to examine constraints on cultural evolution. Modularity, the idea that traits vary independently, can facilitate evolution (increase “evolvability”), because evolution can act on one trait without disrupting another. I explore links between cognitive modularity, evolutionary modularity, and cultural evolvability. (Published Online November 9 2006).

We investigate a recent proposal for modal hypersequent calculi. The interpretation of relational hypersequents incorporates an accessibility relation along the hypersequent. These systems give the same interpretation of hypersequents as Lellman's linear nested sequents, but were developed independently by Restall for S5 and extended to other normal modal logics by Parisi. The resulting systems obey Došen's principle: the modal rules are the same across different modal logics. Different modal systems only differ in the presence or absence of external structural rules. (...) With the exception of S5, the systems are modular in the sense that different structural rules capture different properties of the accessibility relation. We provide the first direct semantical cut-free completeness proofs for K, T, and D, and show how this method fails in the case of B and S4. (shrink)

Performance on the Wason selection task varies with content. This has been taken to demonstrate that there are different cognitive modules for dealing with different conceptual domains. This implication is only legitimate if our underlying cognitive architecture is formal. A non-formal system can explain content-sensitive inference without appeal to independent inferential modules.

Let G be a stable abelian group with regular modular generic. We show that either 1. there is a definable nongeneric K ≤ G such that G/K has definable connected component and so strongly regular generics, or 2. distinct elements of the division ring yielding the dependence relation are represented by subgroups of G × G realizing distinct strong types (when regarded as elements of G eq ). In the latter case one can choose almost 0-definable subgroups representing the elements (...) of the division ring. We find a bound $((G: G^0))$ for the size of the division ring in case G has no definable subgroup K so that G/K is infinite with definable connected component. We show in case (2) that the group G/H, where H consists of all nongeneric points of G, inherits a weakly minimal group structure from G naturally, and Th(G/H) is independent of the particular model G as long as G/H is infinite. (shrink)

I see in the nature of our minds and the character of our problem-solving methodologies a search for simplifying tools that will let us model a complex world and get away with it far more often than we might suppose. As it turns out, this broad a reach to mind and world is possible because both turn on common properties of evolved complex adaptive systems. These are in effect “design principles” for the architecture of nature—all of it, from biological systems (...) to ourselves and the technologies that we engineer.I explore how generative systems may, under some circumstances lead to adaptive radiations, and how the growth of complexity is entailed by their compositional embedding of prior systems, their stabilizing their features as architecture thru a process that I call generative entrenchment. I also explore how modularity has two forms: top-down modularity or “quasi-independence” in which evolving systems require the possibility of changing parts of the system without scrambling the organization of the rest, and bottom-up modularity in which a stable alphabet of standardized parts can be combined in various ways to generate an adaptive radiation of diverse systems to accomplish different things. (shrink)

This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity is essentially the ability to put partial results achieved independently together for a global result. The second aspect of the book is the authors' (...) uniform picture of conditionals, including many-valued logics and structures on the language elements themselves and on the truth value set. The third topic explained by the authors is neighbourhood semantics, their connection to independence, and their common points and differences for various logics, e.g., for defaults and deontic logic, for the limit version of preferential logics, and for general approximation"--Publisher. (shrink)

Fodor argued that in contrast to input systems which are informationally encapsulated, general intelligence is unencapsulated and hence non-modular; for this reason, he suggested, prospects for understanding it are not bright. It is argued that an additional property, primitive functionality, is required for non-modularity. A functionally primitive computational model for quantifier scoping, limited to some scoping influences, is then motivated, and an implementation described. It is argued that only such a model can be faithful to intuitive scope preferences. But it (...) is also argued that an extended model which includes all scoping influences is a hopeless prospect from a developmental perspective. Fodor's views are concluded to have some independent support: quantifier scoping is a mental ability parasitic on general intelligence that is non-modular though in a revised sense, warranting pessimism about our ability of model it. (shrink)

The cognitive neuropsychological understanding of a cognitive system is roughly that of a ‘mental organ’, which is independent of other systems, specializes in some cognitive task, and exhibits a certain kind of internal cohesiveness. This is all quite vague, and I try to make it more precise. A more precise understanding of cognitive systems will make it possible to articulate in some detail an alternative to the Fodorian doctrine of modularity (since not all cognitive systems are modules), but it will (...) also provide a better understanding of what a module is (since all modules are cognitive systems). (shrink)

Felsenstein’s method of independent contrasts (FIC) is one of the most widely used approaches to the study of correlated evolution. However, it is also quite controversial: numerous researchers have called various aspects of the method into question. Among these objections, there is one that, for two reasons, stands out from the rest: first, it is rather philosophical in nature; and second, it has received very little attention in the literature thus far. This objection concerns Sober’s charge that the FIC is (...) methodologically flawed due to its (seemingly) resting on the assumption that the traits it studies evolved by drift—and thus ruling out selective hypotheses from the start. In this article, I try to rebut this charge. To do this, I first consider a preliminary conceptual worry—the question of how it is even possible for two drift-driven traits to be evolutionarily correlated—and show that it can be answered by noting that the FIC can be seen as being concerned with the investigation of the modularity of the relevant traits. Given this, I then show that Sober’s methodological charge can at least be mitigated by noting that the assumptions behind the FIC do not in fact preclude it from investigating selective hypotheses. I end by pointing out that making this clearer is not just relevant for defending the cogency of the FIC, but also for developing a deeper understanding of correlated evolution in general. (shrink)

Relying on some auxiliary assumptions, usually considered mild, Bell’s theorem proves that no local theory can reproduce all the predictions of quantum mechanics. In this work, we introduce a fully local, superdeterministic model that by explicitly violating ‘settings independence’—one of these auxiliary assumptions, requiring statistical independence between measurement settings and systems to be measured—is able to reproduce all the predictions of quantum mechanics. Moreover, we show that contrary to widespread expectations, our model can break settings independence without an (...) initial state that is too complex to handle, without visibly losing all explanatory power, and without outright nullifying all of experimental science. Still, we argue that our model is unnecessarily complicated and does not offer true advantages over its non-local competitors. We conclude that while our model does not appear to be a viable contender to its non-local counterparts, it provides the ideal framework to advance the debate over violations of statistical independence via the superdeterministic route. (shrink)

In practice, scoring rules elicit good probability estimates from individuals, while betting markets elicit good consensus estimates from groups. Market scoring rules combine these features, eliciting estimates from individuals or groups, with groups costing no more than individuals. Regarding a bet on one event given another event, only logarithmic versions preserve the probability of the given event. Logarithmic versions also preserve the conditional probabilities of other events, and so preserve conditional independence relations. Given logarithmic rules that elicit relative probabilities of (...) base event pairs, it costs no more to elicit estimates on all combinations of these base events. (shrink)

Throughout the twentieth century, the automation of formal logics in computers has created unprecedented potential for practical applications of logic—most prominently the mechanical verification of mathematics and software. But the high cost of these applications makes them infeasible but for a few flagship projects, and even those are negligible compared to the ever-rising needs for verification. One of the biggest challenges in the future of logic will be to enable applications at much larger scales and simultaneously at much lower costs. (...) This will require a far more efficient allocation of resources. Wherever possible, theoretical and practical results must be formulated generically so that they can be instantiated to arbitrary logics; this will allow reusing results in the face of today’s multitude of application-oriented and therefore diverging logical systems. Moreover, the software engineering problems concerning automation support must be decoupled from the theoretical problems of designing logics and calculi; this will allow researchers outside or at the fringe of logic to contribute scalable logic-independent tools. Anticipating these needs, the author has developed the Mmt framework. It offers a modern approach towards defining, analyzing, implementing, and applying logics that focuses on modular design and logic-independent results. This paper summarizes the ideas behind and the results about Mmt. It focuses on showing how Mmt. provides a theoretical and practical framework for the future of logic. (shrink)

Human motor learning is governed by a suite of interacting mechanisms each one of which modifies behavior in distinct ways and rely on different neural circuits. In recent years, much attention has been given to one type of motor learning, called motor adaptation. Here, the field has generally focused on the interactions of three mechanisms: sensory prediction error SPE-driven, explicit, and reinforcement learning. Studies of these mechanisms have largely treated them as modular, aiming to model how the outputs of each (...) are combined in the production of overt behavior. However, when examined closely the results of some studies also suggest the existence of additional interactions between the sub-components of each learning mechanism. In this perspective, we propose that these sub-component interactions represent a critical means through which different motor learning mechanisms are combined to produce movement; understanding such interactions is critical to advancing our knowledge of how humans learn new behaviors. We review current literature studying interactions between SPE-driven, explicit, and reinforcement mechanisms of motor learning. We then present evidence of sub-component interactions between SPE-driven and reinforcement learning as well as between SPE-driven and explicit learning from studies of people with cerebellar degeneration. Finally, we discuss the implications of interactions between learning mechanism sub-components for future research in human motor learning. (shrink)

In practice, scoring rules elicit good probability estimates from individuals, while betting markets elicit good consensus estimates from groups. Market scoring rules combine these features, eliciting estimates from individuals or groups, with groups costing no more than individuals. Regarding a bet on one event given another event, only logarithmic versions preserve the probability of the given event. Logarithmic versions also preserve the conditional probabilities of other events, and so preserve conditional independence relations. Given logarithmic rules that elicit relative probabilities of (...) base event pairs, it costs no more to elicit estimates on all combinations of these base events. (shrink)

Based on the work done in [][] in the o‐minimal and geometric settings, we study expansions of models of a supersimple theory with a new predicate distiguishing a set of forking‐independent elements that is dense inside a partial type, which we call H‐structures. We show that any two such expansions have the same theory and that under some technical conditions, the saturated models of this common theory are again H‐structures. We prove that under these assumptions the expansion is supersimple and (...) characterize forking and canonical bases of types in the expansion. We also analyze the effect these expansions have on one‐basedness and CM‐triviality. In the one‐based case, when T has SU‐rank and the SU‐rank is continuous, we take to be the type of elements of SU‐rank and we describe a natural “geometry of generics modulo H” associated with such expansions and show it is modular. (shrink)

Modularity theorists have challenged that there are, or could be, general learning mechanisms that explain theory-of-mind development. In response, supporters of the ‘scientific theory-theory’ account of theory-of-mind development have appealed to children's use of auxiliary hypotheses and probabilistic causal modeling. This article argues that these general learning mechanisms are not sufficient to meet the modularist's challenge. The article then explores an alternative domain-general learning mechanism by proposing that children grasp the concept belief through the progressive alignment of relational structure (...) that occurs as a result of structural-comparison. The article also explores the implications of the proposed account for Fodor's puzzle of conceptual learning. (shrink)

A classic analytic approach to biological phenomena seeks to refine definitions until classes are sufficiently homogenous to support prediction and explanation, but this approach founders on cases where a single process produces objects with similar forms but heterogeneous behaviors. I introduce object spaces as a tool to tackle this challenging diversity of biological objects in terms of causal processes with well-defined formal properties. Object spaces have three primary components: (1) a combinatorial biological process such as protein synthesis that generates objects (...) with parts that are modular, independent, and organized according to an invariant syntax; (2) a notion of “distance” that relates the objects according to rules of change over time as found in nature or useful for algorithms; (3) mapping functions defined on the space that map its objects to other spaces or apply an evaluative criterion to measure an important quality, such as parsimony or biochemical function. Once defined, an object space can be used to represent and simulate the dynamics of phenomena on multiple scales; it can also be used as a tool for predicting higher-order properties of the objects, including stitching together series of causal processes. Object spaces are the basis for a strategy of theorizing, discovery, and analysis in biology: as heuristic idealizations of biology, they help us transform inchoate, intractable problems into articulated, well-structured ones. Developing an object space is a research strategy with a long, successful history under many other names, and it offers a unifying but not overreaching approach to biological theory. (shrink)

The recent proliferation of human-plant studies are informed by understandings of how plants live. Philosopher Michael Marder has developed a philosophy of plant ontology, founded on notions of modular independence, radical openness and ontological indifference. This paper critiques, and ultimately rejects, Marder’s key concepts, using a swathe of empirical evidence and theory from the plant sciences and evolutionary ecology. It posits a number of positive statements about these aspects of plant being that better align with the scientific evidence base. The (...) implications for plant ethics are also briefly explored. (shrink)

On analogy with testimony, I define a notion of a scientific theory’s lacking or having candor, in a testing situation, according to whether the theory under test is probabilistically relevant to the processes in the test procedures, and thereby to the reliability of test outcomes. I argue that this property identifies what is distinctive about those theories that Karl Popper denounced as exhibiting “reinforced dogmatism” through their self-protective behavior (e.g., psychoanalysis, Hegelianism, Marxism). I explore whether lack of candor interferes with (...) the testing of theories, and conclude that (1) our default attitude toward theories that lack candor in a given test should be suspicion, but (2) the circumstance that a theory lacks candor in a testing situation does not preclude obtaining independent evidence for the auxiliary assumptions to which the theory is probabilistically relevant, and thereby eliminating the problem that lack of candor creates. Thus, Popper was right to think that lack of candor is a bad thing, but wrong to conclude that candor is a criterion of the scientificity of a theory. Seeing this requires recognition of some differences between intuitive relevance and probabilistic relevance, and proper appreciation of the notion of screening off and of the fact that probabilistic relevance is not transitive. (shrink)

I argue that semantics is the study of the proprietary database of a centrally inaccessible and informationally encapsulated input–output system. This system’s role is to encode and decode partial and defeasible evidence of what speakers are saying. Since information about nonlinguistic context is therefore outside the purview of semantic processing, a sentence’s semantic value is not its content but a partial and defeasible constraint on what it can be used to say. I show how to translate this thesis into a (...) detailed compositional-semantic theory based on the influential framework of Heim and Kratzer. This approach situates semantics within an independently motivated account of human cognitive architecture and reveals the semantics–pragmatics interface to be grounded in the underlying interface between modular and central systems. (shrink)

To what extent are cognitive capacities, especially perceptual capacities, informationally encapsulated and to what extent are they cognitively penetrable? And why does this matter? Two reasons we care about encapsulation/penetrability are: (a) encapsulation is sometimes held to be definitional of modularity, and (b) penetrability has epistemological implications independent of modularity. I argue that modularity does not require encapsulation; that modularity may have epistemological implications independently of encapsulation; and that the epistemological implications of the cognitive penetrability of perception are messier than (...) is sometimes thought. (shrink)

Corlett (2019) raises two groups of challenges against the two-factor theory of delusions: One focuses on weighing “the evidence for … the two-factor theory”; the other aims to question “the logic of the two-factor theory” (p. 166). McKay (2019) has robustly defended the two-factor theory against the first group. But the second group, which Corlett believes is in many aspects independent of the first group and Darby (2019, p. 180) takes as “[t]he most important challenge to the two-factor theory raised (...) by Dr. Corlett”, has by large remained. Here I offer my two cents in response to the second group. More specifically, I argue that Corlett’s challenges to the logic of the two-factor theory, concerning modularity, double dissociation and cognitive penetration, seem to be based on some misunderstandings of the two-factor theory. (shrink)

Synthetic biology emerged around 2000 as a new biological discipline. It shares with systems biology the same modular vision of organisms, but is more concerned with applications than with a better understanding of the functioning of organisms. A herald of this new discipline is Craig Venter who aims to create an artificial microorganism with the minimal genome compatible with life and to implement into it different 'functional modules' to generate new micro-organisms adapted to specific tasks. Synthetic biology is based on (...) the possibilities raised by genetic engineering, but it aims to engineer organisms, and not simply to modify them, mimicking the practice of computer engineers. Three points will be discussed: In what regard does synthetic biology represent a new epistemology of the life sciences? What are the relations between synthetic biology and evolutionary biology? What is the raison d'être of synthetic biology as a discipline independent of nanotechnologies? (shrink)

The growing interest and major advances of the last decades in evolutionary developmental biology (EvoDevo) have led to the recognition of the incompleteness of the Modern Synthesis of evolutionary theory. Here we discuss how paleontology makes significant contributions to integrate evolution and development. First, extinct organisms often inform us about developmental processes by showing a combination of features unrecorded in living species. We illustrate this point using the vertebrate fossil record and studies relating bone ossification to life history traits. Second, (...) we discuss exceptionally preserved fossils that document rare ontogenetic sequences and illustrate this case with the patterns of heterochrony observed in Cambrian crustacean larvae preserved three-dimensionally. Third, most fossils potentially document the evolutionary patterns of allometry and modularity, as well as some of the (paleo)ecological factors that had influenced them. The temporal persistence of adaptive patterns in rodent evolution serves to address the importance of ecological constraints in evolution. Fourth, we discuss how the macroevolutionary patterns observed in the tetrapod limb, in the mammal molar proportions, and in the molluscan shell provide independent tests of the validity of morphogenetic models proposed on living species. Reciprocally, these macroevolutionary patterns often act as a source of inspiration to investigate the underlying rules of development, because, at the end, they are the patterns that the neo-Darwinian theory was unable to account for. (shrink)

The crossing property is perhaps the most subtle aspect of the particle-field relation. Although it is not difficult to state its content in terms of certain analytic properties relating different matrixelements of the S-matrix or formfactors, its relation to the localization- and positive energy spectral principles requires a level of insight into the inner workings of QFT which goes beyond anything which can be found in typical textbooks on QFT. This paper presents a recent account based on new ideas derived (...) from “modular localization” including a mathematic appendix on this subject. Its main achievement is the proof of the crossing property from a two-algebra generalization of the KMS condition.The main content is an in-depth criticism of the dual model and its string theoretic extension. The conceptual flaws of these models are closely related to misunderstandings of crossing. The correct interpretation of string theory is that of a dynamic infinite component one particle space where “dynamic” means that, unlike a mere collection of independent free fields, the formalism contains also operators which communicate between the different irreducible Poincaré representations and set the mass/spin spectrum. Whereas in pre-string times there were unsuccessful attempts to achieve this in analogy to the O(4,2) hydrogen spectrum by the use of higher noncompact groups, the superstring in d=9+1, which uses instead (bosonic/fermionic) oscillators obtained from multicomponent chiral currents, is the only known solution of the dynamical infinite component pointlike field (or pointlike generated wave function) project. (shrink)