The output feedback controller is designed for a class of stochastic nonlinear systems that satisfy uncertain function growth conditions for the first time. The multivariate function growth condition has greatly relaxed the restrictions on the drift and diffusion terms in the original stochastic nonlinear system. Here, we cleverly handle the problem of uncertain functions in the scaling process through the function maxima theory so that the Ito differential system can achieve output stabilization through Lyapunov function design and the solution of (...) stochastic nonlinear system objects satisfies the existence of uniqueness, ensuring that the system is globally asymptotically stable in the sense of probability. Furthermore, it is concluded that the system is inversely optimally stable in the sense of probability. Finally, we apply the theoretical results to the practical subsea intelligent electroexecution robot control system and obtain good results. (shrink)

The capabilities approach of Amartya Sen and Martha Nussbaum has become an influential viewpoint for addressing issues of social justice and human de- velopment. It has not yet, however, given adequate theoretical consideration to the requirements of environmental sustainability. Sen has focussed on the instrumental importance of human development for achieving sustainability, but has failed to consider the limits of this account, especially with respect to consumption-reduction. Nussbaum has criticised constraining material consumption for its paternalistic prescription of one particular conception (...) of the good life, without considering it as an imperative of justice. We discuss two possible extensions of the capabilities approach. First, the concept of ca- pability ceilings contains several attractive elements, but it also suffers from some shortcomings. Therefore, second, we advocate constraining people’s combinations of functionings in accordance with a personal budget which con- sists of a fair share of environmental resources. (shrink)

This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming.

Studies performed in absence of gravitational constraint show that a living system is unable to choose between two different phenotypes, thus leading cells to segregate into different, alternative stable states. This finding demonstrates that the genotype does not determine by itself the phenotype but requires additional, physical constraints to finalize cell differentiation. Constraints belong to two classes: holonomic (independent of the system's dynamical states, as being established by the space‐time geometry of the field) and non‐holonomic (modified during those (...) biological processes to which they contribute in shaping). This latter kind of “constraints”, in which dynamics works on the constraint to recreate them, have emerged as critical determinants of self‐organizing systems, by manifesting a “closure of constraints.” Overall, the constraints act by harnessing the “randomness” represented by the simultaneous presence of equiprobable events restraining the system within one attractor. These results cast doubt on the mainstream scientific concept and call for a better understanding of causation in cell biology. (shrink)

This chapter examines a question at the intersection of the mind-body problem and the analysis of mental representation: the question of the direction of constraint between psychological fact and theory and neurophysiological or physical fact and theory. Does physiology constrain psychology? Are physiological facts more basic than psychological facts? Or do psychological theories, including representational analyses, guide and constrain physiology? Despite the antireductionist bent of functionalist positions, it has generally been assumed that physics or physiology are more basic than, and (...) hence contraining on, psychological fact and theory. Section 1 sketches the intuitions that would lead one to adopt such a view. The chapter then examines whether one-sided constraint has been and should be found in practice. It argues that philosophical analysis of psychological science shows that rigorous functional analyses can be carried out in advance of physiological knowledge. Indeed, in the investigation of sensory perception, ascription of psychological function leads the way in the individuation and investigation of neurophysiology. We shall look at several cases in visual perception (binocular single vision, stereopsis, and color vision), in which psychological results have provided a basis for physiological research. It is tempting to think that the psychological functions that enable physiological investigation would be Wrightian teleofunctions. It is, thus, natural to suppose that psychologists and neurophysiologists have proceeded with a conception of the purpose of a given neural structure, and have viewed neural anatomy and neural activity as the substrate for or instantiation of various properly psychological functions. For example, neuroscientists surely understand that the eye and visual system are for seeing, rather than for detecting an electric discharge in the vicinity of the retina (which sighted humans can do, via the subjective light produced by such discharges), and they guide their investigations of the eye, visual cortex, and intervening pathways accordingly. As a result, they will view rods and cones in the eye as photoreceptors, even though these structures will produce "output" (will respond with hyperpolarization) to other forms of energy. At the same time, there may be cases in which the functions that have guided research are in fact precisely determined input-output functions, whose teleofunctional status is absent or misdescribed. I will argue that in the case of trichromatic color matches, the psychological function involved is an input-output function, and that this result has implications for the description of color vision as a psychological capacity. (shrink)

Dawson's provocative comment makes three connected points: (1) to be falsifiable, theories that assume flexible features must constrain their feature creation and mechanisms, (2) the explanatory power of such functional theories is rooted in the properties of their underlying physical mechanisms, and (3) to derive the relevant constraints of feature creation from these mechanisms, it is critical to avoid the scope slip. We will argue here that even though we agree with (1) and (2), (3) confuses two different (...) levels of analysis of computational systems: the functional identification and the physical implementation of relevant constraints. (shrink)

This paper approaches the question of how to describe the higher-level internal structures and representations of cognitive systems across various kinds of nonhuman (neuro)cognitive systems. While much research in cognitive (neuro)science and comparative cognition is dedicated to the exploration of the (neuro)cognitive mechanisms and processes with a focus on brain-behavior relations across different non-human species, not much has been done to connect (neuro)cognitive mechanisms and processes and the associated behaviors to plausible higher-level structures and representations of distinct kinds of cognitive (...) systems in non-humans. Although the study of (neuro)cognitive mechanisms and processes can certainly be revealing, (neuro)cognitive mechanisms and processes are underspecified with respect to internal structures and representations of non-human cognitive systems because multiple such mechanisms can target, or be mapped onto, the same internal structure or vice versa. This paper outlines a biosemiotic approach to this linking problem in order to bridge the gap between functions of (neuro)cognitive systems in different species and the higher-level cognitive structures and representations. It is contended that the higher-level internal structures and representations of various cognitive systems are biosemiotic constraints on the (biological) functions of (neuro)cognitive systems that serve to restrict the range of functions (neuro)cognitive systems have or are selected for. This turns out to have implications for issues on the convergent evolution of cognitive traits. (shrink)

We provide an economic interpretation of the practice consisting in incorporating risk measures as constraints in an expected prospect maximization problem. For what we call the infimum of expectations class of risk measures, we show that if the decision maker (DM) maximizes the expectation of a random prospect under constraint that the risk measure is bounded above, he then behaves as a “generalized expected utility maximizer” in the following sense. The DM exhibits ambiguity with respect to a family of (...) utility functions defined on a larger set of decisions than the original one; he adopts pessimism and performs first a minimization of expected utility over this family, then performs a maximization over a new decisions set. This economic behaviour is called “maxmin under risk” and studied by Maccheroni (Econ Theory 19:823–831, 2002). As an application, we make the link between an expected prospect maximization problem, subject to conditional value-at-risk being less than a threshold value, and a non-expected utility economic formulation involving “loss aversion”-type utility functions. (shrink)

Kubovy and Epstein's main quarrel is with the concept of “internalization.” I argue that they underestimate the aptness of this metaphor. In particular, an emulator which predicts unfolding events can be described as an internalization of external structures. Further, an emulator may use motoric as well as perceptual resources, which lends support to Hecht's proposal. [Hecht; Kubovy & Epstein].

LikeI thinkin English,(eu) acho quein Brazilian Portuguese can function as a discourse marker (DM) with more than one meaning, and these meanings are curiously diametrically opposed. Certainty, doubt or uncertainty is inferred by hearers in an interactional context. In a sample of audio-video recorded interviews, the occurrences of this DM were classified by meaning, and association tests between meanings and linguistic factors (pronoun realization, polarity, position in utterance), real-world features (type of evidence from which the speaker says something, and discursive (...) topic), prosody (F0, intensity and duration), and facial expressions were carried out. Differences that distinguish these factors were identified among certainty, doubt and uncertainty uses. The certainty meaning of(eu) acho quewas associated with pronoun presence, more formality and topics in which the speaker had direct evidence. Uncertainty and doubt were associated with pronoun absence, less formality and topics in which the speaker did not have direct evidence. Patterns of intensity and duration acted to distinguish the certainty, doubt and uncertainty meanings of(eu) acho que. In a conditional decision tree, the position in utterance, presence of a pronoun, type of speaker’s evidence, discursive topic, and duration helped to disambiguate the meanings of(eu) acho que. These results suggest the relevance of a multilevel approach to describe DM, in different languages, at least with respect to mental state verbs. (shrink)

This paper defends wave function realism against the charge that the view is empirically incoherent because our evidence for quantum theory involves facts about objects in three-dimensional space or space-time . It also criticizes previous attempts to defend wave function realism against this charge by claiming that the wave function is capable of grounding local beables as elements of a derivative ontology.

Functional language is ubiquitous in ecology, mainly in the researches about biodiversity and ecosystem function. However, it has not been adequately investigated by ecologists or philosophers of ecology. In the contemporary philosophy of ecology we can recognize a kind of implicit consensus about this issue: while the etiological approaches cannot offer a good concept of function in ecology, Cummins’ systemic approach can. Here we propose to go beyond this implicit consensus, because we think these approaches are not adequate for (...) ecology. We argue that a sound epistemological framework to function in ecology is to be found in organizational approaches. In this line, we define function in ecology as a precise effect of a given constraint on the ecosystem flow of matter and energy performed by a given item of biodiversity, within a closure of constraints. We elaborate on this definition by developing a case study of a bromeliad ecosystem. (shrink)

Shown here is that a constraint used by Popper in The Logic of Scientific Discovery (1959) for calculating the absolute probability of a universal quantification, and one introduced by Stalnaker in "Probability and Conditionals" (1970, 70) for calculating the relative probability of a negation, are too weak for the job. The constraint wanted in the first case is in Bendall (1979) and that wanted in the second case is in Popper (1959).

Living systems employ several mechanisms and behaviors to achieve robustness and maintain themselves under changing internal and external conditions. Regulation stands out from them as a specific form of higher-order control, exerted over the basic regime responsible for the production and maintenance of the organism, and provides the system with the capacity to act on its own constitutive dynamics. It consists in the capability to selectively shift between different available regimes of self-production and self-maintenance in response to specific signals and (...) perturbations, due to the action of a dedicated subsystem which is operationally distinct from the regulated ones. The role of regulation, however, is not exhausted by its contribution to maintain a living system’s viability. While enhancing robustness, regulatory mechanisms play a fundamental role in the realization of an autonomous biological organization. Specifically, they are at the basis of the remarkable integration of biological systems, insofar as they coordinate and modulate the activity of distinct functional subsystems. Moreover, by implementing complex and hierarchically organized control architectures, they allow for an increase in structural and organizational complexity while minimizing fragility. Finally, they endow living systems, from their most basic unicellular instances, with the capability to control their own internal dynamics to adaptively respond to specific features of their interaction with the environment, thus providing the basis for the emergence of minimal forms of cognition. (shrink)

Life scientists increasingly rely upon abstraction-based modeling and reasoning strategies for understanding biological phenomena. We introduce the notion of constraint-based reasoning as a fruitful tool for conceptualizing some of these developments. One important role of mathematical abstractions is to impose formal constraints on a search space for possible hypotheses and thereby guide the search for plausible causal models. Formal constraints are, however, not only tools for biological explanations but can be explanatory by virtue of clarifying general dependency-relations and (...) patterning between functions and structures. We describe such situations as constraint-based explanations and argue that these differ from mechanistic strategies in important respects. While mechanistic explanations emphasize change-relating causal features, constraint-based explanations emphasize formal dependencies and generic organizational features that are relatively independent of lower-level changes in causal details. Our distinction between mechanistic and constraint-based explanations is pragmatically motivated by the wish to understand scientific practice. We contend that delineating the affordances and assumptions of different explanatory questions and strategies helps to clarify tensions between diverging scientific practices and the innovative potentials in their combination. Moreover, we show how constraint-based explanation integrates several features shared by otherwise different philosophical accounts of abstract explanatory strategies in biology. (shrink)

This paper proposes an adaptive neural network control approach for a direct-current system with full state constraints. To guarantee that state constraints always remain in the asymmetric time-varying constraint regions, the asymmetric time-varying Barrier Lyapunov Function is employed to structure an adaptive NN controller. As we all know that the constant constraint is only a special case of the time-varying constraint, hence, the proposed control method is more general for dealing with constraint problem as compared with the existing (...) works on DC systems. As far as we know, this system is the first studied situations with time-varying constraints. Using Lyapunov analysis, all signals in the closed-loop system are proved to be bounded and the constraints are not violated. In this paper, the effectiveness of the control method is demonstrated by simulation results. (shrink)

This paper is concerned with reasonings that purport to explain why certain organisms have certain traits by showing that their actual design is better than contrasting designs. Biologists call such reasonings 'functional explanations'. To avoid confusion with other uses of that phrase, I call them 'design explanations'. This paper discusses the structure of design explanations and how they contribute to scientific understanding. Design explanations are contrastive and often compare real organisms to hypothetical organisms that cannot possibly exist. They are (...) not causal but appeal to functional dependencies between an organism's different traits. These explanations point out that because an organism has certain traits, it cannot be alive if the trait to be explained were replaced by a specified alternative. They can be understood from a mechanistic point of view as revealing the constraints on what mechanisms can be alive. (shrink)

Living systems employ several mechanisms and behaviors to achieve robustness and maintain themselves under changing internal and external conditions. Regulation stands out from them as a specific form of higher-order control, exerted over the basic regime responsible for the production and maintenance of the organism, and provides the system with the capacity to act on its own constitutive dynamics. It consists in the capability to selectively shift between different available regimes of self-production and self-maintenance in response to specific signals and (...) perturbations, due to the action of a dedicated subsystem which is operationally distinct from the regulated ones. The role of regulation, however, is not exhausted by its contribution to maintain a living system’s viability. While enhancing robustness, regulatory mechanisms play a fundamental role in the realization of an autonomous biological organization. Specifically, they are at the basis of the remarkable integration of biological systems, insofar as they coordinate and modulate the activity of distinct functional subsystems. Moreover, by implementing complex and hierarchically organized control architectures, they allow for an increase in structural and organizational complexity while minimizing fragility. Finally, they endow living systems, from their most basic unicellular instances, with the capability to control their own internal dynamics to adaptively respond to specific features of their interaction with the environment, thus providing the basis for the emergence of minimal forms of cognition. (shrink)

We give a new and elementary construction of primitive positive decomposition of higher arity relations into binary relations on finite domains. Such decompositions come up in applications to constraint satisfaction problems, clone theory and relational databases. The construction exploits functional completeness of 2-input functions in many-valued logic by interpreting relations as graphs of partially defined multivalued ‘functions’. The ‘functions’ are then composed from ordinary functions in the usual sense. The construction is computationally effective and relies on well-developed methods of (...) functional decomposition, but reduces relations only to ternary relations. An additional construction then decomposes ternary into binary relations, also effectively, by converting certain disjunctions into existential quantifications. The result gives a uniform proof of Peirce’s reduction thesis on finite domains, and shows that the graph of any Sheffer function composes all relations there. (shrink)

In the region where some cat sits, there are many very cat-like items that are proper parts of the cat (or otherwise mereologically overlap the cat) , but which we are inclined to think are not themselves cats, e.g. all of Tibbles minus the tail. The question is, how can something be so cat-like without itself being a cat. Some have tried to answer this “Problem of the Many” (a problem that arises for many different kinds of things we regularly (...) encounter, including desks, persons, rocks, and clouds) by relying on a mereological maximality principle, according to which, something cannot be a member of a kind K if it is a large proper part of, or otherwise greatly mereologically overlaps, a K. It has been shown, however, that a maximality constraint of this type, i.e. one that restricts mereological overlap, is open to strong objections. Inspired by the insights of, especially, Sutton and Madden, I develop a type of functional-maximality principle that avoids these objections (and has other merits), and thereby provides a better answer to the Problem of the Many. (shrink)

Logical puzzles like the doctrinal paradox raise the problem of how to aggregate individual judgements into a collective judgement, or alternatively, how to merge collectively inconsistent knowledge bases. In this paper, we view judgement aggregation as a function on propositional logic valuations, and we investigate how logic constrains judgement aggregation. In particular, we show that there is no non-dictatorial decision method for aggregating sets of judgements in a logically consistent way if the decision method is local, i.e., only depends on (...) the individual judgements on the proposition under consideration. (shrink)

Even the simplest cell exhibits a high degree of functional differentiation (FD) realized through several mechanisms and devices contributing differently to its maintenance. Searching for the origin of FD, we briefly argue that the emergence of the respective organizational complexity cannot be the result of either natural selection (NS) or solely of the dynamics of simple self-maintaining (SM) systems. Accordingly, a highly gradual and cumulative process should have been necessary for the transition from either simple self-assembled or self-maintaining systems (...) of functionless structural components to systems with FD. We follow results of recent in vitro experiments with respect to competition among protocells, where a primitive type of selection begins to operate among them accompanied by a parallel evolution of their functional domain. We argue that minimal forms of FD should be established within the evolution of SM processes in protocells as they undergo a simpler selection process for stability and persistence in a prebiotic environment. We then suggest the concept of closure of constraints (CoC) as a way to identify and describe minimal FD in a far-from-equilibrium SM organization. We show in detail how the concept of CoC together with the conditions for its fulfillment can be applied in the case of a simple protocellular system that begins to couple internal chemical reactions with the formation of its membrane components. Finally, we discuss how such SM systems can evolve towards significantly higher levels of FD, suggesting this is mainly the result of functional recombination (formation of mechanisms) in the context of a modular SM organization. (shrink)

This paper develops a compositional, type-driven constraint semantic theory for a fragment of the language of subjective uncertainty. In the particular application explored here, the interpretation function of constraint semantics yields not propositions but constraints on credal states as the semantic values of declarative sentences. Constraints are richer than propositions in that constraints can straightforwardly represent assessments of the probability that the world is one way rather than another. The richness of constraints helps us model communicative (...) acts in essentially the same way that we model agents’ credences. Moreover, supplementing familiar truth-conditional theories of epistemic modals with constraint semantics helps capture contrasts between strong necessity and possibility modals, on the one hand, and weak necessity modals, on the other. (shrink)

Discussions of the functions of biological traits generally take the notion of a trait for granted. Defining this notion is a non-trivial problem. Different approaches to function place different constraints on adequate accounts of the notion of a trait. Accounts of function based on engineering-style analyses allow trait boundaries to be a matter of human interest. Accounts of function based on natural selection have typically been taken to require trait boundaries that are objectively real. After canvassing problems raised by (...) each approach, I conclude with some facts that satisfactory notions of trait must respect. (shrink)

In a previous paper we developed a general theory of input/output logics. These are operations resembling inference, but where inputs need not be included among outputs, and outputs need not be reusable as inputs. In the present paper we study what happens when they are constrained to render output consistent with input. This is of interest for deontic logic, where it provides a manner of handling contrary-to-duty obligations. Our procedure is to constrain the set of generators of the input/output system, (...) considering only the maximal subsets that do not yield output conflicting with a given input. When inputs are authorised to reappear as outputs, both maxichoice revision in the sense of Alchourr6n/Makinson and the default logic of Poole emerge as special cases, and there is a close relation with Reiter default logic. However, our focus is on the general case where inputs need not be outputs. We show in what contexts the consistency of input with output may be reduced to its consistency with a truth-functional combination of components of generators, and under what conditions constrained output may be obtained by a derivation that is constrained at every step. (shrink)

We develop a conceptual framework that connects biological heredity and organization. We refer to heredity as the cross-generation conservation of functional elements, defined as constraints subject to organizational closure. While hereditary objects are functional constituents of biological systems, any other entity that is stable across generations—and possibly involved in the recurrence of phenotypes—belongs to their environment. The central outcome of the organizational perspective consists in extending the scope of heredity beyond the genetic domain without merging it with (...) the broad category of cross-generation stability. After discussing some implications, we conclude with a reflection on the relationship between stability and variation. 1Introduction2From Extended Heredity to Cross-generation Stability 2.1Extending the scope of heredity: A brief state of the art2.2Rethinking heredity: Conceptual challenges3Biological Heredity in Light of Organization 3.1Biological organization within organisms and beyond3.2Extending organization in time3.3What is biological heredity?4Implications and Objections 4.1Heredity as a specific kind of cross-generation stability4.2Heredity at various levels of description4.3Non-functional and dysfunctional objects5Conclusions: From Conservation to Variation. (shrink)

The principle of maximum entropy is a method for assigning values to probability distributions on the basis of partial information. In usual formulations of this and related methods of inference one assumes that this partial information takes the form of a constraint on allowed probability distributions. In practical applications, however, the information consists of empirical data. A constraint rule is then employed to construct constraints on probability distributions out of these data. Usually one adopts the rule that equates the (...) expectation values of certain functions with their empirical averages. There are, however, various other ways in which one can construct constraints from empirical data, which makes the maximum entropy principle lead to very different probability assignments. This paper shows that an argument by Jaynes to justify the usual constraint rule is unsatisfactory and investigates several alternative choices. The choice of a constraint rule is also shown to be of crucial importance to the debate on the question whether there is a conflict between the methods of inference based on maximum entropy and Bayesian conditionalization. (shrink)

The aim of this paper is to present the ontic approach to the normativity of cognitive functions and mechanisms, which is directly related to the understanding of biological normativity in terms of normative mechanisms. This approach assumes the hypothesis that cognitive processes contain a certain normative component independent of external attributions and researchers’ beliefs. This component consists of specific cognitive mechanisms, which I call normative. I argue that a mechanism is normative when it constitutes given actions or behaviors of a (...) system. More precisely, it means that, on the one hand, it is their constitutive cause, and on the other hand, it determines a certain field of possibilities from which the system, guided by its own goals, preferences, environmental constraints, etc., chooses the appropriate action or behavior according to a given situation. The background for the analyses presented here is the predictive processing framework, in which it can be shown that at least some of the predictive mechanisms are in fact normative mechanisms. I refer here to the existence of a motivational relation which determines the normative dependence of the agent’s actions due to specific predictions and environmental constraints. (shrink)

Jones argues that extending Seneca kin terms to second cousins requires a revised version of Optimality Theoretic grammar. I extend Seneca terms using three constraints on expression of markers in nested binary classification trees. Multiple constraint rankings on a nested set coupled with local parity checking determines how a given kin classification grammar marks structural endogamy.

I examine a major objection to the mechanistic view of concrete computation, stemming from an apparent tension between the abstract nature of computational explanation and the tenets of the mechanistic framework: while computational explanation is medium-independent, the mechanistic framework insists on the importance of providing some degree of structural detail about the systems target of the explanation. I show that a common reply to the objection, i.e. that mechanistic explanation of computational systems involves only weak structural constraints, is not (...) enough to save the standard mechanistic view of computation—it trivialises the appeal to mechanism, and thus makes the account collapse into a purely functional view. I claim, however, that the objection can be put to rest once the account is appropriately amended: computational individuation is indeed functional, while mechanistic explanation plays a role in accounting for computational implementation. Since individuation and implementation are crucial elements in a satisfying account of computation in physical systems, mechanism keeps its central importance in the theory of concrete computation. Finally, I argue that my version of the mechanistic view helps to provide a convincing reply to a powerful objection against non-semantic theories of concrete computation: the argument from the multiplicity of computations. (shrink)

To encourage new research on the role of institutions in the entrepreneurial process in less developed countries, the authors propose a conceptual framework to investigate concurrent institutional constraints. The authors define these constraints as geopolitical contexts that encounter simultaneous challenges to well functioning formal and informal institutions. Systems of stronger institutions compensating for weaker institutions are hampered in these settings and such systems weigh heavier on local entrepreneurs and further challenge their ability to mobilize resources and access market (...) opportunities. By investigating the extreme operating conditions of these settings, scholars gain a deeper understanding of how entrepreneurs confront operational dilemmas and express agency through engaging with bricolage and cultural entrepreneurship. To animate these proposals, the authors consider a case illustration of a venture operating under such constraints. (shrink)

In P. Carruthers, S. Laurence, & S. Stich (Eds.). The innate mind: Structure and content. (pp. 305-337). New York: Oxford University Press.

Logical puzzles like the doctrinal paradox raise the problem of how to aggregate individual judgements into a collective judgement, or alternatively, how to merge collectively inconsistent knowledge bases. In this paper, we view judgement aggregation as a function on propositional logic valuations, and we investigate how logic constrains judgement aggregation. In particular, we show that there is no non-dictatorial decision method for aggregating sets of judgements in a logically consistent way if the decision method is local, i.e., only depends on (...) the individual judgements on the proposition under consideration. (shrink)

What influences people’s appreciation of works of art? In this paper, we provide a new cognitive approach to this big question, and the first empirical results in support of it. As a work of art typically does not activate intuitive cognition for functional artefacts, it is represented as an instance of non-verbal symbolic communication. By application of Sperber and Wilson’s Relevance Theory of communication, we hypothesize that understanding the artist’s intention plays a crucial role in intuitive art appreciation judgements. (...) About 60 works of fine art, representing a wide range of periods, genres and styles, were selected in the permanent exhibitions at Tate Britain in London, and rated by more than 500 visitors for goodness and understanding of the artist’s intention. Results suggest that works of art whose artist’s intention is easy to understand tend to be preferred over those with more obscure intentions, even when controlling for familiarity effects. (shrink)

A set of constraints forces trade-offs which prevent us from achieving the best possible definitions of the ‘level’ and ‘unit’ of natural selection. This set consists in decisions concerning conflicting pre-analytic intuitions in problematic cases, the relative roles of various conceptual resources in the definitions, which facts need to be accounted for using the definitions, how the relation between selection and evolution orients the definitions, and the relation between the level and unit concepts. Systematic reconstruction and evaluation of leading (...) analyses along these dimensions favors a new functional analysis over Williams’ consequentialist analysis, Sober’s causal analysis, and Dawkins’ teleological analysis. (shrink)

A set of constraints forces trade-offs which prevent us from achieving the best possible definitions of the ‘level’ and ‘unit’ of natural selection. This set consists in decisions concerning conflicting pre-analytic intuitions in problematic cases, the relative roles of various conceptual resources in the definitions, which facts need to be accounted for using the definitions, how the relation between selection and evolution orients the definitions, and the relation between the level and unit concepts. Systematic reconstruction and evaluation of leading (...) analyses along these dimensions favors a new functional analysis over Williams’ consequentialist analysis, Sober’s causal analysis, and Dawkins’ teleological analysis. (shrink)

In this paper I assume that syntactic structures contain items that function as variables over possible worlds (or things like possible worlds). I show that in certain syntactic positions we can use some variables but not other. I accordingly motivate a "binding theory" for the items that occupy these positions, and I discuss some consequences of this binding theory.