According to the Generality Constraint, mental states with conceptual content must be capable of recombining in certain systematic ways. Drawing on empirical evidence from cognitive science, I argue that so-called analogue magnitude states violate this recombinability condition and thus have nonconceptual content. I further argue that this result has two significant consequences: it demonstrates that nonconceptual content seeps beyond perception and infiltrates cognition; and it shows that whether mental states have nonconceptual content is largely an empirical matter determined (...) by the structure of the neural representations underlying them. (shrink)

We should not admit categorial restrictions on the significance of syntactically well formed strings. Syntactically well formed but semantically absurd strings, such as ‘Life’s but a walking shadow’ and ‘Caesar is a prime number’, can express thoughts; and competent thinkers both are able to grasp these and ought to be able to. Gareth Evans’ generality constraint, though Evans himself restricted it, should be viewed as a fully general constraint on concept possession and propositional thought. For (a) even (...) well formed but semantically cross-categorial strings often do possess substantive inferential roles; (b) hearers exploit these inferential roles in interpreting such strings metaphorically; (c) there is no good reason to deny truth-conditions to strings with inferential roles. (shrink)

I reply to comments by David Miguel Gray and Grant Gillett concerning my paper, ‘The Generality Constraint and the Structure of Thought’.

Since its introduction by Evans , the generality constraint has been invoked by various philosophers for different purposes. Our purpose here is, first, to clarify what precisely the GC states by way of an interpretive framework, the GC Schema, and second, to demonstrate in terms of this framework some problems that arise if one invokes the GC without clearly specifying an appropriate interpretation. By utilizing the GC Schema these sorts of problems can be avoided, and we thus propose (...) it as a tool to facilitate argumentation that appeals to the GC. (shrink)

I distinguish between being cognisant and being able to perform intelligent operations. The former, but not the latter, minimally involves the capacity to make adequate judgements about one's relation to objects in the environment. The referential nature of cognisance entails that the mental states of cognisant systems must be inter-related holistically, such that an individual thought becomes possible because of its relation to a system of potential thoughts. I use Gareth Evans' 'Generality Constraint' as a means of describing (...) how the reference and holism of mental states in cognisant systems are mutually dependent. Next, I describe attempts to deny the relevance of holism and reference by positing a mentalese. These attempts fail because the meanings of symbols are under determined, with there being no principled means of distinguishing between the mental tokening of a symbol and its disambiguation. I argue that the connectionist meta-theory does not encounter this problem because it is able to encompass the holism of the mental. Recent attempts to show that symbol processing theories of thought must be preferred to connectionist theories do not work. Despite appearances to the contrary, the Generality Constraint favours connectionist not symbol-processing theories. (shrink)

A venerable philosophical tradition claims that only language users possess concepts. But this makes conceptual thought out to be an implausibly rarified achievement. A more recent tradition, based in cognitive science, maintains that any creature who can systematically recombine its representational capacities thereby deploys concepts. But this makes conceptual thought implausibly widespread. I argue for a middle ground: it is sufficient for conceptual thought that one be able to entertain many of the thoughts produced by recombining one’s representational capacities, so (...) long as one can do this apart from a direct confrontation with the represented states of affairs. (shrink)

Charles Travis; IX*—On Constraints of Generality, Proceedings of the Aristotelian Society, Volume 94, Issue 1, 1 June 1994, Pages 165–188, https://doi.org/10.10.

All accounts of causality that presuppose the propagation or transfer or some physical stuff to be an essential part of the causal relation rely for the force of their causal claims on a principle of conservation for that stuff. General Relativity does not permit the rigorous formulation of appropriate conservation principles. Consequently, in so far as General Relativity is considered and fundamental physical theory, such accounts of causality cannot be considered fundamental. The continued use of such accounts of causality ought (...) not be proscribed, but justification is due from those who would use them. (shrink)

Generic propositions are statements that make general claims about ‘kinds’ that are found in a wide variety of written genres and speech. By definition, generics do not include in their structure any reference to the conditions under which they hold true. Their misuse in popular scientific writing, however, can erode the public’s confidence in the process of science itself when they discover that conclusions are highly contingent on certain truth conditions. The language used in scholarly scientific papers often includes qualifiers (...) and hedges, the epistemological consequences of which have been explored by Bruno Latour, Thomas Kuhn, Ian Hacking and others. Some research shows that abstracts, however, of-ten include generic statements that are not warranted by the scientific evidence described in the full text. Similarly, when accounts of scientific discoveries appear in popular media, journalists often remove qualifiers, hedges and context markers that existed in the original study. Studies in anthropology by Joseph Dumit, Annemarie Mol, Harris Solomon and others explore the human reactions to such pronouncements. One possible solution to the over-use of generics in scientific abstracts, especially for studies that rely on human subjects, is the inclusion of a mandatory section entitled “Constraints on Generality,” as suggested by Gutiérrez and Rogoff. Other suggestions include using less nominalized verbs and more past-tense descriptions of what actually occurred in the particular study. (shrink)

This dissertation takes up the project of showing that, in the context of the general theory of relativity , spacetime relationism is not a refuted or hopeless view, as many in the recent literature have maintained . Most of the challenges to the relationist view in General Relativity can be satisfactorily answered; in addition, the opposing absolutist and substantivalist views of spacetime can be shown to be problematic. The crucial burden for relationists concerned with GTR is to show that the (...) realistic cosmological models, i.e. those that may be roughly accurate representations of our universe, satisfy Mach's ideas about the origin of inertia. This dissertation clears the way for and begins such a demonstration. ;After a brief discussion of the problem of the nature of spacetime and its history in the Introduction, chapters 2 and 3 provide conceptual analysis and criticism of contemporary philosophical arguments about relationism, absolutism, and particularly substantivalism. The current best arguments in favor of substantivalism are shown to be flawed, with the exception of the argument from inertial and metrical structure; and on this issue, it is shown that both relationism and substantivalism need to argue for modifications of GTR in order to have a non-trivial explanation of inertial and metrical structure. For relationists, a Machian account of the origin of inertia in some models of GTR is required. Chapter 4 demonstrates that such a Machian account is equivalent to the demand for a truly general relativity of motion. Chapter 5 explores the history of Einstein's commitment to Mach's ideas in his work on GTR. Through an examination of the history of Einstein's attempts to impose Machian constraints on the models of General Relativity, further insight into the nature of this problem is obtained, as are reasons to believe that the project is by no means hopeless. (shrink)

This paper is about the claim that, necessarily, a subject who can think that a is F must also have the capacities to think that a is G, a is H, a is I, and so on (for some reasonable range of G, H, I), and that b is F, c is F, d is F, and so on (for some reasonable range of b, c, d). I set out, and raise objections to, two arguments for a strong version of (...) this claim (Gareth Evans' generality constraint). I present a new argument for a weaker version of the claim, and sketch some directions of enquiry which this new argument opens up. (shrink)

We discuss the symmetry basis of unified field theories, i.e., the generalized concept of local gauge symmetry, and its physical implications. The generalized Ward-Takahashi identities and the explicit constraints among renormalization constants are derived by using the path integral in a specific model. These constraints are confirmed at the one-loop level.

The Generalized Integration Challenge is the task of providing, for a given domain of discourse, a simultaneously acceptable metaphysics, epistemology and metasemantics and showing them to be so. In this paper, we focus on a metaethical position for which seems particularly acute: the brand of normative realism which takes normative properties to be mind-independent and causally inert. The problem is that these metaphysical commitments seem to make normative knowledge impossible. We suggest that bringing metasemantics into play can help to resolve (...) this puzzle. We propose an independently plausible metasemantic constraint on reference determination and show how it can provide a plausible response to for this brand of normative realism. (shrink)

We study several modal languages in which some (sets of) generalized quantifiers can be represented; the main language we consider is suitable for defining any first order definable quantifier, but we also consider a sublanguage thereof, as well as a language for dealing with the modal counterparts of some higher order quantifiers. These languages are studied both from a modal logic perspective and from a quantifier perspective. Thus the issues addressed include normal forms, expressive power, completeness both of modal systems (...) and of systems in the quantifier tradition, complexity as well as syntactic characterizations of special semantic constraints. Throughout the paper several techniques current in the theory of generalized quantifiers are used to obtain results in modal logic, and conversely. (shrink)

In this paper, we address the question of how an agent can guide its behavior with respect to aspects of the sociomaterial environment that are not sensorily present. A simple example is how an animal can relate to a food source while only sensing a pheromone, or how an agent can relate to beer, while only the refrigerator is directly sensorily present. Certain cases in which something is absent have been characterized by others as requiring ‘higher’ cognition. An example of (...) this is how during the design process architects can let themselves be guided by the future behavior of visitors to an exhibit they are planning. The main question is what the sociomaterial environment and the skilled agent are like, such that they can relate to each other in these ways. We argue that this requires an account of the regularities in the environment. Introducing the notion of general ecological information, we will give an account of these regularities in terms of constraints, information and the form of life or ecological niche. In the first part of the paper, we will introduce the skilled intentionality framework as conceptualizing a special case of an animal’s informational coupling with the environment namely skilled action. We will show how skilled agents can pick up on the regularities in the environment and let their behavior be guided by the practices in the form of life. This conceptual framework is important for radical embodied and enactive cognitive science, because it allows these increasingly influential paradigms to extend their reach to forms of ‘higher’ cognition such as long-term planning and imagination. (shrink)

Due to the variation, contingency and complexity of living systems, biology is often taken to be a science without fundamental theories, laws or general principles. I revisit this question in light of the quest for design principles in systems biology and show that different views can be reconciled if we distinguish between different types of generality. The philosophical literature has primarily focused on generality of specific models or explanations, or on the heuristic role of abstraction. This paper takes (...) a different approach in emphasizing a theory-constituting role of general principles. Design principles signify general dependency-relations between structures and functions, given a set of formally defined constraints. I contend that design principles increase our understanding of living systems by relating specific models to general types. The categorization of types is based on a delineation of the scope of biological possibilities, which serves to identify and define the generic features of classes of systems. To characterize the basis for general principles through generic abstraction and reasoning about possibility spaces, I coin the term constraint-based generality. I show that constraint-based generality is distinct from other types of generality in biology, and argue that general principles play a unifying role that does not entail theory reduction. (shrink)

Polysemous concepts with multiple related meanings pervade natural languages, yet some philosophers argue that we should eliminate them to avoid miscommunication and pointless debates in scientific discourse. This paper defends the legitimacy of polysemous concepts in science against this eliminativist challenge. My approach analyses such concepts as patchworks with multiple scale-dependent, technique-involving, domain-specific and property-targeting uses (patches). I demonstrate the generality of my approach by applying it to "hardness" in materials science, "homology" in evolutionary biology, "gold" in chemistry and (...) "cortical column" in neuroscience. Such patchwork concepts are legitimate if the techniques used to apply them produce reliable results, the domains to which they are applied are homogenous, and the properties they refer to are significant to describe, classify or explain the behavior of entities in the extension of the concept. By following these normative constraints, researchers can avoid miscommunication and pointless debates without having to eliminate polysemous patchwork concepts in scientific discourse. (shrink)

We study several modal languages in which some (sets of) generalized quantifiers can be represented; the main language we consider is suitable for defining any first order definable quantifier, but we also consider a sublanguage thereof, as well as a language for dealing with the modal counterparts of some higher order quantifiers. These languages are studied both from a modal logic perspective and from a quantifier perspective. Thus the issues addressed include normal forms, expressive power, completeness both of modal systems (...) and of systems in the quantifier tradition, complexity as well as syntactic characterizations of special semantic constraints. Throughout the paper several techniques current in the theory of generalized quantifiers are used to obtain results in modal logic, and conversely. (shrink)

Reconstructability analysis (RA) decomposes wholes, namely data in the form either of set theoretic relations or multivariate probability distributions, into parts, namely relations or distributions involving subsets of variables. Data is modeled and compressed by variable-based decomposition, by more general state-based decomposition, or by the use of latent variables. Models, which specify the interdependencies among the variables, are selected to minimize error and complexity.

We argue that there is no general theory of explanation that spans the sciences, mathematics, and ethics, etc. More specifically, there is no good reason to believe that substantive and domain-invariant constraints on explanatory information exist. Using Nickel (Noûs 44(2):305–328, 2010 ) as an exemplar of the contrary, generalist position, we first show that Nickel’s arguments rest on several ambiguities, and then show that even when these ambiguities are charitably corrected, Nickel’s defense of general theories of explanation is inadequate along (...) several different dimensions. Specifically, we argue that Nickel’s argument has three fatal flaws. First, he has not provided any compelling illustrations of domain-invariant constraints on explanation. Second, in order to fend off the most vehement skeptics of domain-invariant theories of explanation, Nickel must beg all of the important questions. Third, Nickel’s examples of explanations from different domains with common explanatory structure rely on incorrect formulations of the explanations under consideration, circular justifications, and/or a mischaracterization of the position Nickel intends to critique. Given that the best and most elaborate defense of the generalist position fails in so many ways, we conclude that the standard practice in philosophy (and in philosophy of science in particular), which is to develop theories of explanation that are tailored to specific domains, still is justified. For those who want to buy into a more ambitious project: beware of the costs! (shrink)

What is the general will? In this essay, I propose a simple and straightforward answer. Rousseau’s general will, I shall argue, is the totality of unrescinded decisions made by a community—that is, of an association of individuals contractually constituted as a “moral and collective body”—when its deliberation is subject to certain constraints.

Generalized quantifiers are functions from pairs of properties to truth-values; these functions can be used to interpret natural language quantifiers. The space of such functions is vast and a great deal of research has sought to find natural constraints on the functions that interpret determiners and create quantifiers. These constraints have demonstrated that quantifiers rest on number and number sense. In the first part of the paper, we turn to developing this argument. In the remainder, we report on work in (...) neurobiology that test the empirical claims of the theory. In particular, we look at fMRI experiments and behavioral experiments with various patient populations that support the intimate connection between natural language quantification and number sense. (shrink)

I argue that general constraints on how humans think about humans produce universal features of the concept of mind. Some of these constraints determine how we imagine other people's thinking and action through our own. I formulate this in opposition to what I call the "theory theory". I believe this was the first use of this terminology, and this work was an early version of what has come to be called the simulation theory.

Reasons are given for believing that it is premature to abandon the idea that domain-general models of concept learning can explain how human beings understand the biological world. Questions are raised about whether the evidence for domain specificity is convincing, and it is suggested that two constraints on domain-general concept learning models may be sufficient to account for the available data.

In this paper I discuss Heck's new argument for content dualism. This argument is based on the claim that conceptual states, but not perceptual states, meet Evans's Generality Constraint. Heck argues that this claim, together with the idea that the kind of content we should attribute to a mental state depends on which generalizations the state satisfies, implies that conceptual states and perceptual states have different kinds of contents. I argue, however, that it is unlikely that there is (...) a plausible reading of the Generality Constraint under which it is non-trivially true both that conceptual states meet it and that perceptual states do not. Therefore, the soundness of Heck's argument is dubious. En este artículo discuto el nuevo argumento de Heck en favor del dualismo de contenido. Este argumento se basa en la afirmación de que los estados conceptuales, pero no los perceptuales, cumplen con el Requisito de Generalidad de Evans. Heck argumenta que esta afirmación, junto con la idea de que el tipo de contenido que debemos atribuir a un estado mental depende de las generalizaciones que el estado satisface, implica que los estados conceptuales tienen un tipo de contenido diferente del de los estados perceptuales. Yo argumento, sin embargo, que es poco probable que haya una interpretación convincente del Requisito de Generalidad según la cual sea verdadero pero no trivial tanto que los estados conceptuales lo satisfacen como que los perceptuales no. Por lo tanto, la solidez del argumento de Heck es dudosa. (shrink)

In General Relativity in Hamiltonian form, change has seemed to be missing, defined only asymptotically, or otherwise obscured at best, because the Hamiltonian is a sum of first-class constraints and a boundary term and thus supposedly generates gauge transformations. Attention to the gauge generator G of Rosenfeld, Anderson, Bergmann, Castellani et al., a specially _tuned sum_ of first-class constraints, facilitates seeing that a solitary first-class constraint in fact generates not a gauge transformation, but a bad physical change in electromagnetism (...) or General Relativity. The change spoils the Lagrangian constraints, Gauss's law or the Gauss-Codazzi relations describing embedding of space into space-time, in terms of the physically relevant velocities rather than auxiliary canonical momenta. But the resemblance between the gauge generator G and the Hamiltonian H leaves still unclear where objective change is in GR. Insistence on Hamiltonian-Lagrangian equivalence, a theme emphasized by Castellani, Sugano, Pons, Salisbury, Shepley and Sundermeyer among others, holds the key. Taking objective change to be ineliminable time dependence, one recalls that there is change in vacuum GR just in case there is no time-like vector field xi^a satisfying Killing's equation L_xi g_mn=0, because then there exists no coordinate system such that everything is independent of time. Throwing away the spatial dependence of GR for convenience, one finds explicitly that the time evolution from Hamilton's equations is real change just when there is no time-like Killing vector. The inclusion of a massive scalar field is simple. No obstruction is expected in including spatial dependence and coupling more general matter fields. Hence change is real and local even in the Hamiltonian formalism. The considerations here resolve the Earman-Maudlin standoff over change in Hamiltonian General Relativity: the Hamiltonian formalism is helpful, and, suitably reformed, it does not have absurd consequences for change and observables. Hence the classical problem of time is resolved. The Lagrangian-equivalent Hamiltonian analysis of change in General Relativity is compared to Belot and Earman's treatment. The more serious quantum problem of time, however, is not automatically resolved due to issues of quantum constraint imposition. (shrink)

In this paper we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for linear and branching time point-based temporal logics, not much work has been done on tableau methods for interval-based ones. We develop a general tableau method for Venema's \cdt\ logic interpreted over partial orders (\nsbcdt\ for short). It combines (...) features of the classical tableau method for first-order logic with those of explicit tableau methods for modal logics with constraint label management, and it can be easily tailored to most propositional interval temporal logics proposed in the literature. We prove its soundness and completeness, and we show how it has been implemented. (shrink)

Famous results by David Lewis show that plausible-sounding constraints on the probabilities of conditionals or evaluative claims lead to unacceptable results, by standard probabilistic reasoning. Existing presentations of these results rely on stronger assumptions than they really need. When we strip these arguments down to a minimal core, we can see both how certain replies miss the mark, and also how to devise parallel arguments for other domains, including epistemic “might,” probability claims, claims about comparative value, and so on. A (...) popular reply to Lewis's results is to claim that conditional claims, or claims about subjective value, lack truth conditions. For this strategy to have a chance of success, it needs to give up basic structural principles about how epistemic states can be updated—in a way that is strikingly parallel to the commitments of the project of dynamic semantics. (shrink)

In this paper I discuss Heck�s (2007) new argument for content dualism. This argument is based on the claim that conceptual states, but not perceptual states, meet Evans�s Generality Constraint. Heck argues that this claim, together with the idea that the kind of content we should attribute to a mental state depends on which generalizations the state satisfies, implies that conceptual states and perceptual states have different kinds of contents. I argue, however, that it is unlikely that there (...) is a plausible reading of the Generality Constraint under which it is non-trivially true both that conceptual states meet it and that perceptual states do not. Therefore, the soundness of Heck�s argument is dubious. (shrink)

This paper deals with a number of technical achievements that are instrumental for a dis-solution of the so-called "Hole Argument" in general relativity. Such achievements include: 1) the analysis of the "Hole" phenomenology in strict connection with the Hamiltonian treatment of the initial value problem. The work is carried through in metric gravity for the class of Christoudoulou-Klainermann space-times, in which the temporal evolution is ruled by the "weak" ADM energy; 2) a re-interpretation of "active" diffeomorphisms as "passive and metric-dependent" (...) dynamical symmetries of Einstein's equations, a re-interpretation which enables to disclose their (up to now unknown) connection to gauge transformations on-shell; understanding such connection also enlightens the real content of the Hole Argument or, better, dis-solves it together with its alleged "indeterminism"; 3) the utilization of the Bergmann-Komar "intrinsic pseudo-coordinates", defined as suitable functionals of the Weyl curvature scalars, as tools for a peculiar gauge-fixing to the super-hamiltonian and super-momentum constraints; 4) the consequent construction of a "physical atlas" of 4-coordinate systems for the 4-dimensional "mathematical" manifold, in terms of the highly non-local degrees of freedom of the gravitational field (its four independent "Dirac observables"). Such construction embodies the "physical individuation" of the points of space-time as "point-events", independently of the presence of matter, and associates a "non-commutative structure" to each gauge fixing or four-dimensional coordinate system; 5) a clarification of the multiple definition given by Peter Bergmann of the concept of "(Bergmann) observable" in general relativity. This clarification leads to the proposal of a "main conjecture" asserting the existence of i) special Dirac's observables which are also Bergmann's observables, ii) gauge variables that are coordinate independent (namely they behave like the tetradic scalar fields of the Newman-Penrose formalism). A by-product of this achievements is the falsification of a recently advanced argument asserting the absence of (any kind of) "change" in the observable quantities of general relativity. 6) a clarification of the physical role of Dirac and gauge variables as their being related to "tidal-like" and "inertial-like" effects, respectively. This clarification is mainly due to the fact that, unlike the standard formulations of the equivalence principle, the Hamiltonian formalism allows to define notion of "force" in general relativity in a natural way; 7) a proposal showing how the physical individuation of point-events could in principle be implemented as an experimental setup and protocol leading to a "standard of space-time" more or less like atomic clocks define standards of time. We conclude that, besides being operationally essential for building measuring apparatuses for the gravitational field, the role of matter in the non-vacuum gravitational case is also that of "participating directly" in the individuation process, being involved in the determination of the Dirac observables. This circumstance leads naturally to a peculiar new kind of "structuralist" view of the general-relativistic concept of space-time, a view that embodies some elements of both the traditional "absolutist" and "relational" conceptions. In the end, space-time point-events maintain a "peculiar sort of objectivity". Some hints following from our approach for the quantum gravity programme are also given. (shrink)

In General Relativity in Hamiltonian form, change has seemed to be missing, defined only asymptotically, or otherwise obscured at best, because the Hamiltonian is a sum of first-class constraints and a boundary term and thus supposedly generates gauge transformations. By construing change as essential time dependence, one can find change locally in vacuum GR in the Hamiltonian formulation just where it should be. But what if spinors are present? This paper is motivated by the tendency in space-time philosophy tends to (...) slight fermionic/spinorial matter, the tendency in Hamiltonian GR to misplace changes of time coordinate, and the tendency in treatments of the Einstein-Dirac equation to include a gratuitous local Lorentz gauge symmetry along with the physically significant coordinate freedom. Spatial dependence is dropped in most of the paper, both restricting the physical situation and largely fixing the spatial coordinates. In the interest of including all and only the coordinate freedom, the Einstein-Dirac equation is investigated using the Schwinger time gauge and Kibble-Deser symmetric triad condition are employed as a \ version of the DeWitt-Ogievetsky-Polubarinov nonlinear group realization formalism that dispenses with a tetrad and local Lorentz gauge freedom. Change is the lack of a time-like stronger-than-Killing field for which the Lie derivative of the metric-spinor complex vanishes. An appropriate \-friendly form of the Rosenfeld-Anderson-Bergmann-Castellani gauge generator G, a tuned sum of first class-constraints, is shown to change the canonical Lagrangian by a total derivative, implying the preservation of Hamilton’s equations. Given the essential presence of second-class constraints with spinors and their lack of resemblance to a gauge theory, it is useful to have an explicit physically interesting example. This gauge generator implements changes of time coordinate for solutions of the equations of motion, showing that the gauge generator makes sense even with spinors. (shrink)

Due to the variation, contingency and complexity of living systems, biology is often taken to be a science without fundamental theories, laws or general principles. I revisit this question in light of the quest for design principles in systems biology and show that different views can be reconciled if we distinguish between different types of generality. The philosophical literature has primarily focused on generality of specific models or explanations, or on the heuristic role of abstraction. This paper takes (...) a different approach in emphasizing a theory-constituting role of general principles. Design principles signify general dependencyrelations between structures and functions, given a set of formally defined constraints. I contend that design principles increase our understanding of living systems by relating specific models to general types. The categorization of types is based on a delineation of the scope of biological possibilities, which serves to identify and define the generic features of classes of systems. To characterize the basis for general principles through generic abstraction and reasoning about possibility spaces, I coin the term constraint-based generality. I show that constraintbased generality is distinct from other types of generality in biology, and argue that general principles play a unifying role that does not entail theory reduction. (shrink)

While second-order quantifiers have long been known to admit nonstandard, or interpretations, first-order quantifiers (when properly viewed as predicates of predicates) also allow a kind of interpretation that does not presuppose the full power-set of that interpretationgeneral” interpretations for (unary) first-order quantifiers in a general setting, emphasizing the effects of imposing various further constraints that the interpretation is to satisfy.

The generalization properties of algebraically closed fields $ACF_p$ of characteristic $p > 0$ and $ACF_0$ of characteristic 0 are investigated in the sequent calculus with blocks of quantifiers. It is shown that $ACF_p$ admits finite term bases, and $ACF_0$ admits term bases with primality constraints. From these results the analogs of Kreisel's Conjecture for these theories follow: If for some $k$ , $A(1 + \cdots + 1)$ ( $n$ 1's) is provable in $k$ steps, then $(\forall x)A(x)$ is provable.

In this brief discussion, we explicate and evaluate Heyes and colleagues’ deflationary approach to interpreting apparent evidence of domain-specific processes for social percep- tion. We argue that the deflationary approach sheds important light on how functionally specific processes in social perception can be subserved at least in part by domain-general processes. On the other hand, we also argue that the fruitfulness of this approach has been unnecessarily hampered by a contrastive conception of the relationship between domain- general and domain-specific processes. (...) As an alternative, we propose a complementary conception: the identification of domain-general processes that are engaged in instances of social perception can play a positive, structuring role by adding additional constraints to be accounted for in modelling the domain-specific processes that are also involved in such instances. (shrink)

Two general principles have played a crucial role in the recent debate on concepts. On the one hand, we want to allow different subjects to have the same concepts, thus accounting for concept publicity: concepts are ‘the sort of thing that people can, and do, share’. On the other hand, a subject who finds herself in a so-called ‘Frege case’ appears to have different concepts for the same object: for instance, Lois Lane has two distinct concepts SUPERMAN and CLARK KENT (...) which refer to the same person. Several theories have tried to meet both of these constraints at the same time. But should we really try to satisfy both principles? This paper will argue that the traditional project of fulfilling these two constraints has been a misguided one. Through a variation on classic identity mistake cases, I will show that our two desiderata are inconsistent: it would thus be impossible to incorporate both of them in our best theory of concepts. (shrink)

The paper is concerned with the bad company problem as an instance of a more general difficulty in the philosophy of mathematics. The paper focuses on the prospects of stability as a necessary condition on acceptability. However, the conclusion of the paper is largely negative. As a solution to the bad company problem, stability would undermine the prospects of a neo-Fregean foundation for set theory, and, as a solution to the more general difficulty, it would impose an unreasonable constraint (...) on mathematical practice. (shrink)

Research in education and cognitive development suggests that explaining plays a key role in learning and generalization: When learners provide explanations—even to themselves—they learn more effectively and generalize more readily to novel situations. This paper proposes and tests a subsumptive constraints account of this effect. Motivated by philosophical theories of explanation, this account predicts that explaining guides learners to interpret what they are learning in terms of unifying patterns or regularities, which promotes the discovery of broad generalizations. Three experiments provide (...) evidence for the subsumptive constraints account: prompting participants to explain while learning artificial categories promotes the induction of a broad generalization underlying category membership, relative to describing items (Exp. 1), thinking aloud (Exp. 2), or free study (Exp. 3). Although explaining facilitates discovery, Experiment 1 finds that description is more beneficial for learning item details. Experiment 2 additionally suggests that explaining anomalous observations may play a special role in belief revision. The findings provide insight into explanation’s role in discovery and generalization. (shrink)