The possibility of time travel, as permitted in General Relativity, is responsible for constraining physical fields beyond what laws of nature would otherwise require. In the special case where time travel is limited to a single object returning to the past and interacting with itself, consistency constraints can be avoided if the dynamics is continuous and the object's state space satisfies a certain topological requirement: that all null-homotopic mappings from the state-space to itself have some fixed point. Where (...) consistency constraints do exist, no new physics is needed to enforce them. One needs only to accept certain global topological constraints as laws, something that is reasonable in any case. (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)

In addition to beliefs, people have attitudes of confidence called credences. Combinations of credences, like combinations of beliefs, can be inconsistent. It is common to use tools from probability theory to understand the normative relationships between a person’s credences. More precisely, it is common to think that something is a consistency norm on a person’s credal state if and only if it is a simple transformation of a truth of probability. Though it is common to challenge the right-to-left direction (...) of this biconditional, I argue in this paper that the left-to-right direction is false for standard versions of probability theory. That is, I make the case that there are consistency constraints on credal states that are not simple transformations of truths of standard versions of probability theory. I do so by drawing on a newly discovered type of credal attitude, a quantificational credence, and by showing how the consistency norms on this attitude can’t be represented as simple transformations of truths of standard versions of probability theory. I conclude by showing that a probability theory that could avoid the result would have to be strikingly different from the standard versions—so different that I suspect many would hesitate to call it a theory of probability at all. (shrink)

This paper addresses the issue of the dynamic enforcement of a constraint in an argumentation system. The system consists in (1) an argumentation framework, made up, notably, of a set of arguments...

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)

Many people believe that there is a Dutch Book argument establishing that the principle of countable additivity is a condition of coherence. De Finetti himself did not, but for reasons that are at first sight perplexing. I show that he rejected countable additivity, and hence the Dutch Book argument for it, because countable additivity conflicted with intuitive principles about the scope of authentic consistency constraints. These he often claimed were logical in nature, but he never attempted to relate (...) this idea to deductive logic and its own concept of consistency. This I do, showing that at one level the definitions of deductive and probabilistic consistency are identical, differing only in the nature of the constraints imposed. In the probabilistic case I believe that R.T. Cox's ‘scale-free’ axioms for subjective probability are the most suitable candidates. 1 Introduction 2 Coherence and Consistency 3 The Infinite Fair Lottery 4 The Puzzle Resolved—But Replaced by Another 5 Countable Additivity, Conglomerability and Dutch Books 6 The Probability Axioms and Cox's Theorem 7 Truth and Probability 8 Conclusion: ‘Logical Omniscience’ CiteULike Connotea Del.icio.us What's this? (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)

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)

A theory of analogical mapping between source and target analogs based upon interacting structural, semantic, and pragmatic constraints is proposed here. The structural constraint of isomorphism encourages mappings that maximize the consistency of relational corresondences between the elements of the two analogs. The constraint of semantic similarity supports mapping hypotheses to the degree that mapped predicates have similar meanings. The constraint of pragmatic centrality favors mappings involving elements the analogist believes to be important in order to achieve the (...) purpose for which the analogy is being used. The theory is implemented in a computer program called ACME (Analogical Constraint Mapping Engine), which represents constraints by means of a network of supporting and competing hypotheses regarding what elements to map. A cooperative algorithm for parallel constraint satisfaction identities mapping hypotheses that collectively represent the overall mapping that best fits the interacting constraints. ACME has been applied to a wide range of examples that include problem analogies, analogical arguments, explanatory analogies, story analogies, formal analogies, and metaphors. ACME is sensitive to semantic and pragmatic information if it is available, and yet able to compute mappings between formally isomorphic analogs without any similar or identical elements. The theory is able to account for empirical findings regarding the impact of consistency and similarity on human processing of analogies. (shrink)

In solving judgment aggregation problems, groups often face constraints. Many decision problems can be modelled in terms the acceptance or rejection of certain propositions in a language, and constraints as propositions that the decisions should be consistent with. For example, court judgments in breach-of-contract cases should be consistent with the constraint that action and obligation are necessary and sufficient for liability; judgments on how to rank several options in an order of preference with the constraint of transitivity; and (...) judgments on budget items with budgetary constraints. Often more or less demanding constraints on decisions are imaginable. For instance, in preference ranking problems, the transitivity constraint is often contrasted with the weaker acyclicity constraint. In this paper, we make constraints explicit in judgment aggregation by relativizing the rationality conditions of consistency and deductive closure to a constraint set, whose variation yields more or less strong notions of rationality. We review several general results on judgment aggregation in light of such constraints. (shrink)

Many urgent problems that societies currently face—from climate change to a global pandemic—require citizens to engage with scientific information as members of democratic societies as well as to solve problems in their personal lives. Most often, to solve their epistemic aims (aims directed at achieving knowledge and understanding) regarding such socio-scientific issues, individuals search for information online, where there exists a multitude of possibly relevant and highly interconnected sources of different perspectives, sometimes providing conflicting information. The paper provides a review (...) of the literature aimed at identifying (a) constraints and affordances that scientific knowledge and the online information environment entail and (b) individuals' cognitive and motivational processes that have been found to hinder, or conversely, support practices of engagement (such as critical information evaluation or two-sided dialogue). Doing this, a conceptual framework for understanding and fostering what we callonline engagement with scientific informationis introduced, which is conceived as consisting of individual engagement (engaging on one's own in the search, selection, evaluation, and integration of information) and dialogic engagement (engaging in discourse with others to interpret, articulate and critically examine scientific information). In turn, this paper identifies individual and contextual conditions for individuals' goal-directed and effortful online engagement with scientific information. (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)

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)

Model RB is a model of random constraint satisfaction problems, which exhibits exact satisfiability phase transition and many hard instances, both experimentally and theoretically. Benchmarks based on Model RB have been successfully used by various international algorithm competitions and many research papers. In a previous work, Xu and Li defined two notions called i-constraint assignment tuple and flawed i-constraint assignment tuple to show an exponential resolution complexity of Model RB. These two notions are similar to some kind of consistency (...) in constraint satisfaction problems, but seem different from all kinds of consistency so far known in literatures. In this paper, we explicitly define this kind of consistency, called variable-centered consistency, and show an upper bound on a parameter in Model RB, such that up to this bound the typical instances of Model RB are variable-centered consistent. (shrink)

Visual space can be distinguished from physical space. The first is found in visual experience, while the second is defined independently of perception. Theorists have wondered about the relation between the two. Some investigators have concluded that visual space is non-Euclidean, and that it does not have a single metric structure. Here it is argued that visual space exhibits contraction in all three dimensions with increasing distance from the observer, that experienced features of this contraction are not the same as (...) would be the experience of a perspective projection onto a fronto-parallel plane, and that such contraction is consistent with size constancy. These properties of visual space are different from those that would be predicted if spatial perception resulted from the successful solution of the inverse problem. They are consistent with the notion that optical constraints have been internalized. More generally, they are also consistent with the notion that visual spatial structures bear a resemblance relation to physical spatial structures. This notion supports a type of representational relation that is distinct from mere causal correspondence. The reticence of some philosophers and psychologists to discuss the structure of phenomenal space is diagnosed in terms of the simple materialism and the functionalism of the 1970s and 1980s. (shrink)

By linking the concepts of homology and morphological organization to evolvability, this paper attempts to (1) bridge the gap between developmental and phylogenetic approaches to homology and to (2) show that developmental constraints and natural selection are compatible and in fact complementary. I conceive of a homologue as a unit of morphological evolvability, i.e., as a part of an organism that can exhibit heritable phenotypic variation independently of the organism’s other homologues. An account of homology therefore consists in explaining (...) how an organism’s developmental constitution results in different homologues/characters as units that can evolve independently of each other. The explanans of an account of homology is developmental, yet the very explanandum is an evolutionary phenomenon: evolvability in a character-by-character fashion, which manifests itself in phylogenetic patterns as recognized by phylogenetic approaches to homology. While developmental constraints and selection have often been viewed as antagonistic forces, I argue that both are complementary as they concern different parts of the evolutionary process. Developmental constraints, conceived of as the presence of the same set of homologues across phenotypic change, pertain to how heritable variation can be generated in the first place (evolvability), while natural selection operates subsequently on the produced variation. (shrink)

Deontologists are united in asserting that there are side-constraints on permissible action, prohibiting acts of murder, theft, infidelity, etc., even in cases where performing such acts would make things better overall from an impartial standpoint. These constraints are enshrined in the vocabulary of rights apply even when violating those constraints would lead to fewer constraint-violations overall: I am prohibited from killing an innocent even when doing so is the only way to prevent you from killing five. However, (...) deontologists are divided over whether we have a duty to violate a smaller number of rights when this is necessary to prevent ourselves from later violating a larger number of rights that are at least as stringent. I argue that individuals do have such a duty, a duty which follows from widely accepted consistency constraints on choice. (shrink)

Bell’s Theorem from Physics 36:1–28 (1964) and the (Strong) Free Will Theorem of Conway and Kochen from Notices AMS 56:226–232 (2009) both exclude deterministic hidden variable theories (or, in modern parlance, ‘ontological models’) that are compatible with some small fragment of quantum mechanics, admit ‘free’ settings of the archetypal Alice and Bob experiment, and satisfy a locality condition akin to parameter independence. We clarify the relationship between these theorems by giving reformulations of both that exactly pinpoint their resemblance and their (...) differences. Our reformulation imposes determinism in what we see as the only consistent way, in which the ‘ontological state’ initially determines both the settings and the outcome of the experiment. The usual status of the settings as ‘free’ parameters is subsequently recovered from independence assumptions on the pertinent (random) variables. Our reformulation also clarifies the role of the settings in Bell’s later generalization of his theorem to stochastic hidden variable theories. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 39.4 (2001) 491-533 [Access article in PDF] Worthy Constraints in Albertus Magnus's Theory of Action Colleen McCluskey Many medieval accounts of action focus upon the interaction between intellect and will in order to explain how human action comes about. What moves agents to act are their desires for certain goals, their deliberations about their goals, and what it will take to accomplish (...) those goals and satisfy their desires. Thus, many medieval philosophers explain human action by referring to the operations of intellect or reason, which accounts for the deliberative aspect, and the will, which accounts for the desiderative aspect. This is not to say that medieval accounts ignored other influences on action such as passions or sensory desires, but that they tended to focus on the intellect and the will. The account of action developed by Albert the Great early in his career is a notable variation on this basic model. 1 Albert examined the nature of action in a number of texts written over the course of his long career, including De homine, De anima, and his commentaries on the Sentences and Nicomachean Ethics. In De homine, which is an early work, he agrees that intellect and will play important roles in the execution of action, but he argues that both the performance of an action and its freedom involve a third capacity that he calls "liberum arbitrium." Albert modified his views of action significantly in his later works, but I shall argue that this early view retains something of philosophical interest and importance.In the medieval philosophical tradition of the Latin West, beginning with Augustine in the fourth and fifth centuries and continuing well into the thirteenth century, philosophers used the term "liberum arbitrium," often translated [End Page 491] as "free choice" or "free decision," as a technical term for that power or capacity in virtue of which human beings act freely. 2 In the first half of the thirteenth century, many philosophers identified liberum arbitrium either with the will, or with both intellect and will. In De homine, Albert insists that it is a separate capacity. According to his account, liberum arbitrium is the human capacity for choice and also helps to explain the freedom of those choices. Although Albert ultimately characterizes an act of choosing as an inclination in favor of a particular course of action, a certain cognitive ability plays an important role in his account. Part of what makes human freedom possible is the ability to judge secundum rationem honesti. Literally this phrase means "in accordance with the concept of what has worth." I shall argue that this capacity consists of the ability to evaluate choices in light of one's immediate, intermediate, or ultimate objectives and to forgo lesser goods for the sake of a greater good. It would appear that an ability of this sort is a function of the intellect, since judgments about how to accomplish one's goals and which goods are the better ones require the exercise of certain abstract cognitive skills. But Albert holds that the intellect is determined and concludes that while the intellect is a necessary condition for free action, the constraints placed upon it prevent it from contributing substantially to the freedom of an action. Since the ability to judge secundum rationem honesti plays an integral role in bringing about a free action, Albert cannot argue that this ability is a function of the intellect. Although the will has the requisite freedom, it is an appetitive capacity, not a cognitive one. Therefore, it too is unable to fulfill this role. Given these commitments, it would seem natural for Albert to locate this ability in an independent power.As natural as it may appear, this position is bound to strike many philosophers as implausible and unnecessary. One could argue that the constraints placed upon the intellect need not restrict it in any significant way. I do not plan to defend Albert's account against this objection. Rather, first, I shall [End Page 492] examine Albert's view of... (shrink)

In solving judgment aggregation problems, groups often face constraints. Many decision problems can be modelled in terms the acceptance or rejection of certain propositions in a language, and constraints as propositions that the decisions should be consistent with. For example, court judgments in breach-of-contract cases should be consistent with the constraint that action and obligation are necessary and sufficient for liability; judgments on how to rank several options in an order of preference with the constraint of transitivity; and (...) judgments on budget items with budgetary constraints. Often more or less demanding constraints on decisions are imaginable. For instance, in preference ranking problems, the transitivity constraint is often contrasted with the weaker acyclicity constraint. In this paper, we make constraints explicit in judgment aggregation by relativizing the rationality conditions of consistency and deductive closure to a constraint set, whose variation yields more or less strong notions of rationality. We review several general results on judgment aggregation in light of such constraints. (shrink)

My aim in this paper is to examine how Kent Bach's theory of singular thought about material objects meets the requirements of transmitting de re thought. I identify a certain possible paradox haunting Bach's move of extending acquaintance in order to widen the scope of singular thought and I attempt to answer this possible paradox. First, I briefly present the manner in which Bach motivates extended acquaintance and which constraints he puts on it. I then address the problem of (...) the sorites paradox which might lead not only to Bach's communication-based de re thoughts, but perception-based de re thoughts in general, thus defined. Finally, I offer my tentative solution to the problem of extended acquaintance which consists in introducing two constraints on singular thought, namely (i) the (external) acquaintance constraint and (ii) the (internal) cognitive significance constraint, and two types of representations, namely indexical-iconic representations and indexical-discursive representations which are together crucial for having a singular thought. (shrink)

Triviality arguments against the computational theory of mind claim that computational implementation is trivial and thus does not serve as an adequate metaphysical basis for mental states. It is common to take computational implementation to consist in a mapping from physical states to abstract computational states. In this paper, I propose a novel constraint on the kinds of physical states that can implement computational states, which helps to specify what it is for two physical states to non-trivially implement the same (...) computational state. (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)

This article addresses two questions related to colour categorization, to wit, the question what a colour category is, and the question how we identify colour categories. We reject both the relativist and universalist answers to these questions. Instead, we suggest that colour categories can be identified with the help of the criterion of psychological saliency, which can be operationalized by means of consistency and consensus measures. We further argue that colour categories can be defined as well-structured entities that optimally (...) partition colour space. We provide some empirical support for this claim by presenting experimental results, which indicate that internal structure is a better predictor of colour categories than perceptual saliency. (shrink)

The Light Subject Constraint in Spoken Spanish The purpose of this study is to explore Chafe's hypothesis that grammatical subjects obey the light subject constraint. The data consists of six half-an-hour semiformal interviews with Caracas native speakers recorded in 1987. Chafe's hypothesis is based on the claim that in any given clause one of the referents receives the unique and special status of grammatical subject. Subjects show two types of restrictions: i) from the information load perspective, they tend to code (...) given or accessible rather than new information; and ii) from a referential viewpoint, they can have three degrees of importance: primary, secondary or trivial. Information load and referential importance combined constitute the LSC: Chafe's findings prove that in English subjects tend, on the one hand, to be given or accessible and, on the other, of primary or secondary importance. Heavy subjects, on the contrary, tend to be of trivial importance. Broderick 1999 confirms the LSC's existence in a conversational English corpus. All subjects in the corpus have been coded according to information load and referential importance. The results of the analysis show that spoken Spanish also conforms to LSC. (shrink)

ABSTRACTAccording to the prioritized reason model of precedent, precedential constraint is explained in terms of the need for decision-makers to reconcile their decisions with a settled priority order extracted from past cases. The prioritized reason model of precedent departs from the view that common law rules comprise protected reasons for action. In this article I show that a model utilizing protected reasons and the prioritized reason model of precedential constraint are, in an important sense, equivalent. I then offer some reflections (...) on the philosophical significance of this result. I argue that the protected reason model is consistent with the phenomenology of precedential constraint. I suggest an account of precedential reasoning that reconciles the prioritized reason and protected reason models. (shrink)

Given that computers are not merely information-processors but rather representation-processors, who are the people most suited to dealing with representations of consciousness or the lack of it, once these consist in a computer? Who are the experts on irredundant holism when it comes to making sense of and manipulating these representations? Neither scientists nor philosophers, but rather artists, poets and so on. If this is the case it is not surprising that there already exists, in and out of the computational (...) domain, a body of knowledge about and evidence for the synthesis in an almost alchemical way of the scientific and philosophical (spiritual, one might almost say) approaches to consciousness. This presentation will examine aspects of zombie in both computer-based and traditional art, with several previously unknown examples of the use of zombie-like imagery in classical art leading to contemporary attempts to portray the nothing that being a zombie is like. Audience participation will be more or less obligatory. This document is really background notes to the above, pretending to be a paper. (shrink)

What role, if any, does formal logic play in characterizing epistemically rational belief? Traditionally, belief is seen in a binary way - either one believes a proposition, or one doesn't. Given this picture, it is attractive to impose certain deductive constraints on rational belief: that one's beliefs be logically consistent, and that one believe the logical consequences of one's beliefs. A less popular picture sees belief as a graded phenomenon.

Is innate cognitive modularity consistent with a lack of innate neural modularity? Quartz & Sejnowski's implicit negative answer to his question fuels their antinativist and antimodular cognitive conclusions. I attempt here to suggest a positive answer and to solicit discussion of this crucial issue.

“The re-discovery of Marx,” Marcello Musto argues, “is based on his persistent capacity to explain the present: he remains an indispensible instrument for understanding it and transforming it.”. It is true that the continuity of problems connecting our world to Marx’s ensures the relevance of historical materialism. At the same time, changes in the structure and scale of capitalism, as well as failures of nineteenth and twentieth century socialism to build a democratic and life-affirming alternative, force twenty-first century socialists to (...) risk new theoretical and practical departures. Yet, nowhere is a consistent ethical-political-economic foundation for twenty-first century socialism fully spelled out. The aim of this paper is to provide the missing foundations of a democratic and ecological socialism in the idea of life-value and the principle of life-coherence developed in the work of John McMurtry. (shrink)

Lawrence et al. have presented an argument purporting to show that “relative facts do not exist” and, consequently, “Relational Quantum Mechanics is incompatible with quantum mechanics”. The argument is based on a GHZ-like contradiction between constraints satisfied by measurement outcomes in an extended Wigner’s friend scenario. Here we present a strengthened version of the argument, and show why, contrary to the claim by Lawrence et al., these arguments do not contradict the consistency of a theory of relative facts. (...) Rather, considering this argument helps clarify how one should not think about a theory of relative facts, like RQM. (shrink)

The motivational constraint on normative reasons says that a consideration is a normative reason for an agent to act only if it is logically possible for the agent to act for that reason, or at least to be moved so to act. The claim figures Zelig-like in philosophical debates about practical reasons: on hand, occasionally prominent, but never the focus of discussion. However, because it is entailed by a number of prominent views about normative reasons—including various forms of internalism and (...) some views that closely connect reasons to good practical reasoning—its truth or falsehood has important implications. Mark Schroeder (2007) and Julia Markovits (2014) have recently criticized the Motivational Constraint on the grounds of so-called “elusive reasons”: reasons for some agent to act that are such that it is logically impossible both that they are normative reasons for that agent and the agent is moved to act for those reasons. In response, a number of philosophers (Sinclair 2016; Ridge and McKeever 2012; Paakkunainen 2017) have attempted to reconcile blindspot reasons with the motivational constraint. My aim in this paper is to show that these conciliatory strategies fail to overcome the challenge posed by elusive reasons. First, I examine each strategy and argue that it unsuccessful on its own terms. Second, I adduce another type of elusive reason not heretofore discussed in the literature, and I argue that these strategies also cannot make this kind of reason consistent with the motivational constraint. Finally, I defend the existence of this kind of reason against an important objection. (shrink)

Contemporary complexity theory has been instrumental in providing novel rigorous definitions for some classic philosophical concepts, including emergence. In an attempt to provide an account of emergence that is consistent with complexity and dynamical systems theory, several authors have turned to the notion of constraints on state transitions. Drawing on complexity theory directly, this paper builds on those accounts, further developing the constraint-based interpretation of emergence and arguing that such accounts recover many of the features of more traditional accounts. (...) We show that the constraint-based account of emergence also leads naturally into a meaningful definition of self-organization, another concept that has received increasing attention recently. Along the way, we distinguish between order and organization, two concepts which are frequently conflated. Finally, we consider possibilities for future research in the philosophy of complex systems, as well as applications of the distinctions made in this paper. (shrink)

In three experiments we studied lay observers’ attributions of responsibility for an antisocial act (homicide). We systematically varied both the degree to which the action was coerced by external circumstances and the degree to which the actor endorsed and accepted ownership of the act, a psychological state that philosophers have termed ‘identification’. Our findings with respect to identification were highly consistent. The more an actor was identified with an action, the more likely observers were to assign responsibility to the actor, (...) even when the action was performed under constraints so powerful that no other behavioral option was available. Our findings indicate that social cognition involving assignment of responsibility for an action is a more complex process than previous research has indicated. It would appear that laypersons’ judgments of moral responsibility may, in some circumstances, accord with philosophical views in which freedom and determinism are regarded to be compatible. (shrink)

This paper develops the theory that a set of rules is consistent if it is not possible that (1) the conditions of the rules in the set are all satisfied, (2) there is no exception to either one of the rules, and (3) the consequences of the rules are incompatible. To this purpose the notion of consistency is generalised to make it cover rules and is relativised to some background of constraints.This theory is formalised by means of Rule (...) Logic, in which rules are treated as constraints on the possible worlds in which they exist. Rule Logic itself is introduced by giving a model-theory for it. It is characterised by means of constraints on worlds that are possible according to Rule Logic. (shrink)

Bermúdez argues that framing effects are rational because particular frames provide goal-consistent reasons for choice and that people exert some control over the framing of a decision-problem. We propose instead that these observations raise the question of whether frame selection itself is a rational process and highlight how constraints in the choice environment severely limit the rational selection of frames.

The thesis examines the philosophical implications of the computational theory of early vision developed by Marr. According to Marr, early visual processes consist of sequences of "modular" computational mechanisms. These processes rely on functional relations between rates of change in stimulus magnitudes which result from certain contingent, global properties--natural constraints--of the physical world. ;Marr argues that explanations of early vision must have three distinct levels of description: computational, algorithmic and physical. In Chapter 1 I defend the explanatory significance of (...) this distinction in levels. In fulfilling its role in describing the dependence of visual processes on natural constraints, the computational level forms an autonomous level of description in the sense that it is unaffected by the computational steps at the other levels. ;In Chapter 2 I discuss the implications of natural constraints for the issues of individualism and methodological solipsism. I conclude that Mart's theory is nonindividualistic in the sense that visual content does not supervene on neural properties. However, this merely reflects the fact that different computational theories may be selected for the same system. Importantly, Marr's theory does not violate methodological solipsism since interpretations within theories must supervene on neural properties. ;In Chapter 3 I argue from the results of Chapters 1 and 2 that psychological explanation does not reduce to neurophysiology. This conclusion does not follow from the functionalist argument against physicalism, which is based on an incorrect account of computational theories. Rather the conclusion reflects the explanatory incompleteness of neurophysiological theories given the autonomous role of the computational level. ;In Chapter 4 I look in detail at the arguments for a "language of thought" as they apply to early vision. I distinguish two versions of the language of thought hypothesis, one weaker than the other. I conclude that the stronger version, which claims that a cognitive system is "program-using", is false of early vision because of the role of natural constraints. The weaker claim that cognitive processes employ symbolic transformations is true of the computational-level theory of early vision, but there is insufficient evidence to establish the claim at the algorithmic level. (shrink)

In a seminal 1977 article, Rumelhart argued that perception required the simultaneous use of multiple sources of information, allowing perceivers to optimally interpret sensory information at many levels of representation in real time as information arrives. Building on Rumelhart's arguments, we present the Interactive Activation hypothesis—the idea that the mechanism used in perception and comprehension to achieve these feats exploits an interactive activation process implemented through the bidirectional propagation of activation among simple processing units. We then examine the interactive activation (...) model of letter and word perception and the TRACE model of speech perception, as early attempts to explore this hypothesis, and review the experimental evidence relevant to their assumptions and predictions. We consider how well these models address the computational challenge posed by the problem of perception, and we consider how consistent they are with evidence from behavioral experiments. We examine empirical and theoretical controversies surrounding the idea of interactive processing, including a controversy that swirls around the relationship between interactive computation and optimal Bayesian inference. Some of the implementation details of early versions of interactive activation models caused deviation from optimality and from aspects of human performance data. More recent versions of these models, however, overcome these deficiencies. Among these is a model called the multinomial interactive activation model, which explicitly links interactive activation and Bayesian computations. We also review evidence from neurophysiological and neuroimaging studies supporting the view that interactive processing is a characteristic of the perceptual processing machinery in the brain. In sum, we argue that a computational analysis, as well as behavioral and neuroscience evidence, all support the Interactive Activation hypothesis. The evidence suggests that contemporary versions of models based on the idea of interactive activation continue to provide a basis for efforts to achieve a fuller understanding of the process of perception. (shrink)