Nichols’ Bound presents interesting new angles on traditional debates about free will and moral responsibility, relating them to the latest empirical research in psychology, social sciences and experimental philosophy. In experimental philosophy, he cites numerous recent studies showing that there are strong incompatibilist strands in folk intuitions about free will and responsibility, taking issue with other recent studies claiming that folk intuitions are predominantly compatibilist. But he also argues that incompatibilist folk intuitions are based on faulty reasoning and cannot be (...) realized. We are left with a choice between an eliminativism about free will and moral responsibility or revising ordinary beliefs and practices in a compatibilist direction. Though Nichols sees problems with both these positions, he ultimately opts for the latter. Despite agreeing with Nichols on many points, I argue in this paper that he takes the libertarian view of free will off the table too precipitously, leaving us with too narrow a choice of options. I argue that we can make sense of an incompatibilist view of free will and responsibility without reducing it to mere chance or mystery and that it remains an open scientific question whether we can have such a free will. (shrink)

Using two decades worth of experimental philosophy (aka x-phi), Edouard Machery argues in Philosophy within its Proper Bounds (OUP, 2017) that philosophers’ use of the “method of cases” is unreliable because it has a strong tendency to elicit different intuitive responses from non-philosophers. And because, as Machery argues, appealing to such cases is usually the only way for philosophers to acquire the kind of knowledge they seek, an extensive philosophical skepticism follows. I argue that Machery’s “Unreliability” argument fails (...) because, once its premises are percisified, they are either self-defeating or without justification. This is a significant result because Machery’s arguments are the most widely cited and discussed x-phi arguments for philosophical skepticism and many hold that Machery provides the most empirically informed, convincing, and thus best case for this kind of skepticism. So, if my arguments are sound, then the best x-phi argument for philosophical skepticism fails. I further argue that this result provides strong reason to believe the more general conclusion that “negative” x-phi is likely doomed: x-phi likely can never support a substantive philosophical skepticism. Ultimately, I argue for the broad conclusion that all empirically minded arguments for philosophical skepticism are likely to fail for the same reasons that Machery’s does, i.e. they are (likely) self-defeating. (shrink)

Extremist views on normative rationality fail to address differences in responding owing to intellectual ability or epistemic self-regulation. Individual difference research thus raises serious questions concerning the scientific utility of universal rationality and universal irrationality theories. However, recent data indicate that computational capacity theories do not account adequately for within-subject variability in normative responding, memory-reasoning independence, and instances of ability-normative reasoning independence.

In Philosophy Within Its Proper Bounds, Edouard Machery argues that resolving many traditional and contemporary philosophical issues is beyond our epistemic reach and that philosophy should re-orient itself toward more humble, but ultimately more important intellectual endeavors, such as the analysis of concepts.

If we express our knowledge in sentences, we will find that these sentences are linked in complex patterns governed by our observations and our inferences from these observations. These inferences are to a large extent driven by logical rules. We ask whether the structure logic imposes on our knowledge restricts what we forget and what we remember. The model is a two period S5 logic. In this logic, we propose a memory loss operator: the agent forgets a sentence pif and (...) only if he knows pat time 1 and he does not know pat time 2. Equipped with the operator, we prove theorems on the relation between knowledge and memory loss. The main results point to classes of formulas that an agent cannot forget, and classes of formulas he must forget. A desirable feature is that most results hold in the S4 logic. The results illustrate bounds to memory loss, and thus to bounded rationality. We apply the model to single-agent conventions: conventions made between an agent and himself. (shrink)

We introduce a three-tiered framework for modelling and reasoning about agents who (i) can use possibly complete reasoning systems without any restrictions but who nevertheless are (ii) bounded in the sense that they never reach infinitely many results and, finally, who (iii) perform their reasoning in time. This last aspect does not concern so much the time it takes for agents to actually carry out their reasoning, as the time which can bring about external changes in the agents’ states such (...) as arriving of new information or discarding previously available information due to bounds of the agent’s resources. These three aspects are treated with the maximal possible degree of independence from each other. The treatment of layer (iii) can be combined with arbitrary logic at level (ii) which, in turn, can be combined with arbitrary agent logic at level (i). At the level (iii), we discuss briefly the duality (or rather, complementarity) of system descriptions based on actions and transitions, on the one hand, and states and their changes, on the other. We settle for the latter and present a simple language, for describing state changes, which is parameterized by an arbitrary language for describing properties of the states. The language can be viewed as a simple fragment of step logic, admitting however various extensions by appropriate choices of the underlying logic. Alternatively, it can be seen as a very specific fragment of temporal logic (with a variant of ‘until’ or ‘chop’ operator), and is interpreted over dense linear time. The reasoning system presented here is sound, as well as strongly complete and decidable (provided that so is the parameter logic for reasoning about single states). We give the main idea of the completeness proof and suggest a wide range of possible applications, which is a simple consequence of the parametric character of both the language and the reasoning system. We address then in more detail the case of non-omniscient rational agents, (ii). Their models are syntactic structures (sets of available formulae) similar in spirit, though not in the technical formulation, to the models used in other syntax oriented approaches and in active logic. We give a new sound, complete and decidable system for reasoning about such agents. Finally, we illustrate its extensions with the internal reasoning of agents, (i), by equipping them with some example logics. (shrink)

McKay & Dennett (M&D) look for adaptive misbeliefs that result from the normal, though fallible, functioning of human cognition. Their account can be substantially improved by the addition of two elements: (1) significance of a belief's testability for its functionality, and (2) an account of reason appropriate to understanding systemic misbelief. Together, these points show why religion probably is an adaptive misbelief.

A sequent calculus with the subformula property has long been recognised as a highly favourable starting point for the proof theoretic investigation of a logic. However, most logics of interest cannot be presented using a sequent calculus with the subformula property. In response, many formalisms more intricate than the sequent calculus have been formulated. In this work we identify an alternative: retain the sequent calculus but generalise the subformula property to permit specific axiom substitutions and their subformulas. Our investigation leads (...) to a classification of generalised subformula properties and is applied to infinitely many substructural, intermediate, and modal logics. We also develop a complementary perspective on the generalised subformula properties in terms of logical embeddings. This yields new complexity upper bounds for contractive-mingle substructural logics and situates isolated results on the so-called simple substitution property within a general theory. (shrink)

Reflectivists consider reflective reasoning crucial for good judgment and action. Anti-reflectivists deny that reflection delivers what reflectivists seek. Alas, the evidence is mixed. So, does reflection confer normative value or not? This paper argues for a middle way: reflection can confer normative value, but its ability to do this is bound by such factors as what we might call epistemic identity: an identity that involves particular beliefs—for example, religious and political identities. We may reflectively defend our identities’ beliefs rather than (...) reflect open-mindedly to adopt whatever beliefs cohere with the best arguments and evidence. This bounded reflectivism is explicated with an algorithmic model of reflection synthesized from philosophy and science that yields testable predictions, psychometric implications, and realistic metaphilosophical suggestions—for example, overcoming motivated reflection may require embracing epistemic identity rather than veiling it (à la Rawls 1971). So bounded reflectivism should be preferred to views offering anything less. (shrink)

Is there such a thing as bounded rationality? I first try to make sense of the question, and then to suggest which of the disambiguated versions might have answers. We need an account of bounded rationality that takes account of detailed contingent facts about the ways in which human beings fail to perform as we might ideally want to. But we should not think in terms of rules or norms which define good responses to an individual's limitations, but rather in (...) terms of desiderata, situations that limited agents can hope to achieve, and corresponding virtues of achieving them. We should not take formal theories defining optimal behavior in watered-down bounded form, even though they can impose enormous computational or cognitive demands. (shrink)

This essay explores small “ordinary” experiences of moral harm as problems of social injustice. Starting with two stories, we first argue against a dominant framework of personal responsibility that assigns responsibility to particular blameworthy agents. Instead we sketch an account of why structural responsibility for social harm must be considered, drawing on the work of Iris Marion Young and Pierre Bourdieu. Finally, drawing on Margaret Walker’s notion of moral repair and Christopher Marshall’s interpretation of the parable of the Good Samaritan, (...) we sketch an account of Christian moral responsibility grounded in restorative justice that seeks to address daily experiences of moral harm through the moral repair work of neighbor-love. (shrink)

Agents need to be able to change their beliefs; in particular, they should be able to contract or remove a certain belief in order to restore consistency to their set of beliefs, and revise their beliefs by incorporating a new belief which may be inconsistent with their previous beliefs. An influential theory of belief change proposed by Alchourron, G¨ardenfors and Makinson (AGM) [1] describes postulates which a rational belief revision and contraction operations should satisfy. The AGM postulates have been perceived (...) as characterising idealised rational reasoners, and the corresponding belief change operations are considered unsuitable for implementable agents due to their high computational cost [3]. The main result of this paper is showing that an efficient (linear time) belief contraction operation nevertheless satisfies all but one of the AGM postulates for contraction. This contraction operation is defined for a realistic rule-based agent which can be seen as a reasoner in a very weak logic; although the agent’s beliefs are deductively closed with respect to this logic, checking consistency and tracing dependencies between beliefs is not computationally expensive. Finally, we give a non-standard definition of belief revision in terms of contraction for our agent. (shrink)

ABSTRACT Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke's ‘objectual’ interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries for epistemic modality. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this yields (...) the undesirable result that any attempt to ‘quantify in’ to an epistemic environment is blocked. If quantifying into the relevant constructions is vacuous, then such views would seem hopelessly misguided and empirically inadequate. But a famous alternative to Kripke's semantics, namely Lewis' counterpart semantics, also faces this worry since it also treats the boxes and diamonds as assignment-shifting devices. As I'll demonstrate, the mere fact that a variable is bound is no obstacle to binding it. This provides a helpful lesson for those modelling de re epistemic contexts with assignment sensitivity, and perhaps leads the way toward the proper treatment of binding in both metaphysical and epistemic contexts: Kripke for metaphysical modality, Lewis for epistemic modality. (shrink)

With this profound final work, completed in the days leading up to his death, Michel Serres presents a vivid picture of his thinking about religion—a constant preoccupation since childhood—thereby completing Le Grand Récit, the comprehensive explanation of the world and of humanity to which he devoted the last twenty years of his life. Themes from Serres's earlier writings—energy and information, the role of the media in modern society, the anthropological function of sacrifice, the role of scientific knowledge, the problem (...) of evil—are reinterpreted here in the light of the Old Testament accounts of Isaac and Jonah and a variety of Gospel episodes, including the Three Wise Men of the Epiphany, the Transfiguration, Peter's denying Christ, the Crucifixion, Emmaus, and the Pentecost. Monotheistic religion, Serres argues, resembles mathematical abstraction in its dazzling power to bring together the real and the virtual, the natural and the transcendent; but only in its Christian embodiment is it capable of binding together human beings in such a way that partisan attachments are dissolved and a new era of history, free for once of the lethal repetition of collective violence, can be entered into. (shrink)

Herbert Simon held that the fundamental turn in the study of bounded rationality is the turn from substantive to procedural rationality. Theories of substantive rationality begin with normative questions about attitudes: what should we prefer, intend, or believe? By contrast, theories of procedural rationality begin with normative questions about processes of inquiry: how should we determine what to prefer, intend, or believe? If Simon was right, then the central task for theories of bounded rationality is to develop an account of (...) rational inquiry for bounded agents. We need, that is, a theory of inquiry under bounds. -/- Inquiry Under Bounds takes as its starting point a five-point bounded rationality program inspired by recent work in cognitive science. To elaborate on and defend that program, Thorstad argues we need an account of rational inquiry for bounded agents. Inquiry under bounds develops an account of rational inquiry for bounded agents: the reason-responsiveness consequentialist view. I use this account to clarify and defend key insights from the bounded tradition as well as to shed light on recent controversies in the epistemology of inquiry. (shrink)

I distinguish two theses regarding technological successors to current humans (posthumans): an anthropologically bounded posthumanism (ABP) and an anthropologically unbounded posthumanism (AUP). ABP proposes transcendental conditions on agency that can be held to constrain the scope for “weirdness” in the space of possible posthumans a priori. AUP, by contrast, leaves the nature of posthuman agency to be settled empirically (or technologically). Given AUP there are no “future proof” constraints on the strangeness of posthuman agents. -/- In Posthuman Life I defended (...) AUP via a critique of Donald Davidson’s work on intentionality and a “naturalistic deconstruction” of transcendental phenomenology (See also Roden 2013). In this paper I extend this critique to Robert Brandom’s account of the relationship between normativity and intentionality in Making It Explicit (MIE) and in other writings. -/- Brandom’s account understands intentionality in terms of the capacity to undertake and ascribe inferential normative commitments. It makes “first class agency” dependent on the ability to participate in discursive social practices. It implies that posthumans – insofar as they qualify as agents at all – would need to be social and discursive beings. -/- The problem with this approach, I will argue, is that it replicates a problem that Brandom discerns in Dennett’s intentional stance approach. It tells us nothing about the conditions under which a being qualifies as a potential interpreter and thus little about the conditions for meaning, understanding or agency. -/- I support this diagnosis by showing that Brandom cannot explain how a non-sapient community could bootstrap itself into sapience by setting up a basic deontic scorekeeping system without appealing (along with Davidson and Dennett) to the ways in which an idealized observer would interpret their activity. -/- This strongly suggests that interpretationist and pragmatist accounts cannot explain the semantic or the intentional without regressing to assumptions about ideal interpreters or background practices whose scope they are incapable of delimiting. It follows that Anthropologically Unbounded Posthumanism is not seriously challenged by the claim that agency and meaning are “constituted” by social practices. -/- AUP implies that we can infer no claims about the denizens of “Posthuman Possibility Space” a priori, by reflecting on the pragmatic transcendental conditions for semantic content. We thus have no reason to suppose that posthuman agents would have to be subjects of discourse or, indeed, members of communities. The scope for posthuman weirdness can be determined by recourse to engineering alone. (shrink)

This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and complexity theory and lists a number of intriguing open problems. An introduction to the basics of logic and complexity theory is followed by discussion of important results in propositional proof systems and systems of bounded arithmetic. More advanced topics are then treated, including polynomial simulations and (...) conservativity results, various witnessing theorems, the translation of bounded formulas (and their proofs) into propositional ones, the method of random partial restrictions and its applications, direct independence proofs, complete systems of partial relations, lower bounds to the size of constant-depth propositional proofs, the method of Boolean valuations, the issue of hard tautologies and optimal proof systems, combinatorics and complexity theory within bounded arithmetic, and relations to complexity issues of predicate calculus. Students and researchers in mathematical logic and complexity theory will find this comprehensive treatment an excellent guide to this expanding interdisciplinary area. (shrink)

The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge base. In this paper we show how to determine the effective reasoning capability of an agent with limited memory by encoding the agent as a transition system and automatically verifying whether a state where the agent believes a certain conclusion is reachable from the start state. We present experimental results (...) using the Model Based Planner (MBP) which illustrates how the length of the deduction varies for different memory sizes. (shrink)

We consider several puzzles of bounded rationality. These include the Allais- and Ellsberg paradox, the disjunction effect, and related puzzles. We argue that the present account of quantum cognition—taking quantum probabilities rather than classical probabilities—can give a more systematic description of these puzzles than the alternate treatments in the traditional frameworks of bounded rationality. Unfortunately, the quantum probabilistic treatment does not always provide a deeper understanding and a true explanation of these puzzles. One reason is that quantum approaches introduce (...) additional parameters which possibly can be fitted to empirical data but which do not necessarily explain them. Hence, the phenomenological research has to be augmented by responding to deeper foundational issues. In this article, we make the general distinction between foundational and phenomenological research programs, explaining the foundational issue of quantum cognition from the perspective of operational realism. This framework is motivated by assuming partial Boolean algebras. They are combined into a uniform system via a mechanism preventing the simultaneous realization of perspectives. Gleason’s theorem then automatically leads to a distinction between probabilities that are defined by pure states and probabilities arising from the statistical mixture of pure states. This formal distinction relates to the conceptual distinction between risk and ignorance. Another outcome identifies quantum aspects in dynamic macro-systems using the framework of symbolic dynamics. Finally, we discuss several ideas that are useful for justifying complementarity in cognitive systems. (shrink)

Álvarez J.F. (2016) Conflicts, Bounded Rationality and Collective Wisdom in a Networked Society. In: Scarafile G., Gruenpeter Gold L. (eds) Paradoxes of Conflicts. Logic, Argumentation & Reasoning (Interdisciplinary Perspectives from the Humanities and Social Sciences), vol 12. Springer, Cham -/- The adoption of an individualistic perspective on reasoning, choice and decision is a spring of paradoxes of conflicts. Usually the agents immerse in conflicts are drawn or modelled as rational individuals with targets well defined and full capabilities to access to (...) information, without both temporal limitations and perfect reasoning abilities to obtain their preferences are taken account. -/- However, other models of agent, in the bounded rationality perspective, could help to understand better the interrelationships. I adopt embedded argumentative reasoning processes as satisfying criteria to analyze the expert function in a new socio technical environment that has changed deeply the mechanism and tools to access and to aggregate information. The open access to information and institutional arrangements addressed towards team knowledge could offer other kind of tools to affront the conflict, even its possible benefits. -/- The “crowd expertise” is emerging as an actual possibility and it must be incorporated to affront with conflicts. The very possibility of obtaining knowledge generated by “many minds”, collective wisdoms, brings up a real challenge to the conservative or elitist conception of the masses, because masses now emerge as a smart collective user, with new mechanisms to select and produce quality knowledge. These new collective actions differ deeply from the traditional modes of social organization. A new mass society is emerging now as a hybrid one that breaks some conceptual traditional models, such as Ortega y Gasset’s ones, and induces a structured way of flourishing both new practices and new knowledge with transforming capabilities. (shrink)

Empirical research on Rational Choice Theory has brought up two focus of the economics laws problem. On one hand, we find the authors who state that the neoclassical economics laws are explanatory and predictive on specific cases: in transparent contexts in which the standard rationality operates successfully. On the other hand, we find the authors who state that the descriptive theories of the rational choice opens up a research path in which fundamental principles of the neoclassical building could be questioned. (...) Both view points have generated an important standard Rational Choice Theory revision what has produced the so called descriptive view point. It implies understanding that most of the choices take place under risky or uncertainty conditions and, that, these choices are far more complex than the normative Rational Choice Theory supposes. This article's main goal is to expand the descriptive point of view in rational choice, theorizing how some factors, coming from the social and cultural environment, operate within the rational choice. Into space of this research essay we find the debatable question of whether these sort of proposals expands the explanation of the deviation of the rational choice normative theory, and that, of the disturbing causes of the microeconomics laws, or they call into question fundamental principles of these laws and therefore they are opening the possibility to focus some economics issues in a new different manner. (shrink)

We will give a two-sort system which axiomatizes winning strategies for the combinatorial game Node Kayles. It is shown that our system captures alternating polynomial time reasonings in the sense that the provably total functions of the theory corresponds to those computable in APTIME. We will also show that our system is equivalently axiomatized by Sprague–Grundy theorem which states that any Node Kayles position is provably equivalent to some NIM heap.

Des historiens hommes et des femmes On reçoit toujours avec intérêt un ouvrage produit par le séminaire de Jean Delumeau au Collège de France. Pour CLIO, Histoire, Femmes et Sociétés, celui-ci présente de nombreux traits passionnants. Traitant du rôle des femmes dans la société chrétienne, il est essentiellement écrit par des femmes, à l’initiative de deux femmes. Toutefois, c’est un homme qui le patronne et qui le présente, pour ces raisons mêmes, avec moult précautions, en écrivant dans sa...

Previous theory and research on bounded rationality has emphasized how limited cognitive resources constrain people from making utility maximizing choices. This paper expands the concept of bounded rationality to consider how people’s rationality may be constrained by their internalization of a qualitatively distinct standard for sound judgment, which is commonly labeled reasonableness. In contrast to rationality, the standard of reasonableness provides guidance for making choices in situations that involve balancing incommensurable values and interests or reconciling conflicting points-of-view. We review recent (...) evidence showing that laypeople readily recognize the distinctions between rationality and reasonableness and thus are able to utilize these as distinct standards to inform their everyday decision-making. The fact that people appear to have internalized rationality and reasonableness as distinct standards of sound judgment supports the notion that people’s pursuit of rationality may be bounded by their determination to also be reasonable. (shrink)

As I have listened to incarcerated women over many years, I have learned about the ways they work to construct moral and meaningful lives against all odds. Trying to find forms of Christian ethical reflection to engage their (and my) experiences has helped me to explore ways of “doing” Christian ethics that attend carefully to “ordinary” life. I describe how women inside understand ethics as judgment and contrast this form of ethics to the moral work they do in relation to (...) themselves and each other. I conclude by suggesting some guideposts for a Christian ordinary ethics that attends critically to the particular practices of building meaningful lives in context, especially those locations requiring persons to “make a way out of no way.”. (shrink)

This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferential statistics, including hypothesis testing and the estimation of a populations mean, variance and proportions. The logic replaces classical defaults with ordered pairs consisting of a Reiter default in the first coordinate and a real number within the unit interval in the second coordinate. This real number represents an upper-bound limit on the probability of (...) accepting the consequent of an applied default and that consequent being false. A method for constructing extensions is then defined that preserves this upper bound on the probability of error under a (skeptical) non-monotonic consequence relation. (shrink)

The presence of contrastive focus on pronouns interpreted as bound variables is puzzling. Bound variables do not refer, and it is therefore unclear how two of them can be made to contrast with each other. It is argued that this is a problem for both alternative-based accounts such as Rooth’s (Nat Lang Semantics 1:75–116, 1992) and givenness-based ones such as Schwarzschild’s (Nat Lang Semantics 7:141–177, 1999). The present paper shows that previous approaches to this puzzle face an empirical problem, namely (...) the co-occurrence of additive too and focus on bound pronouns. Our account is based on the idea that the alternatives introduced by focused bound pronouns denote individuals. Putting forward the novel concept of compositional reconstruction, we show that a suitably modified Roothian analysis of focus licensing allows us to get bound pronouns to contrast with other bound pronouns. The reason for this is that the number of potential alternatives increases. We also suggest a modification of Rooth’s ~-operator: contrastiveness becomes a requirement of the operator, which is modelled as a definedness condition. It is argued that in the case of focused bound pronouns a ~-operator is necessarily inserted in the scope of the quantifier. If this is on the right track, it follows that the phenomenon of focused bound pronouns warrants both an operator interpreting focus as well as a semantic value for the contribution of focus. Any givenness-based analysis must include these two ingredients as well; we suggest a way in which this can be implemented more or less straightforwardly. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 377 Parmenides: Being, Bounds, and Logic. By S. AUSTIN. New Haven: Yale University Press, 1986. Pp. xi + 203. $20.00. Within carefully drawn limits Austin conducts a rigorous analysis of Parmenides's poem that is both creative and forceful. His analysis reveals a logical structure to the poem that is more intricate and subtle than has previously been acknowledged. The result is a deeper insight into (...) Parmenides 's accomplishments in logic and methodology. Austin's view is that Parmenides first establishes criteria for the formation of judgments, and then uses a consciously systematic and comprehensive method to determine the sort of judgments that can describe being. Thus, Austin argues, all the arguments and distinctions of the " Truth " section-and to some extent those of " Opinion "-are necessary for a complete description of being. The argumentation is rigorous and Austin's thesis is certainly plausible, though some modifications are in order. The charge of anachronism presents the most fundamental challenge to Austin's thesis. For him, Parmenides is not only the "first logician" and " ontologist ", but the " founder of Western rational theology as well as of scientific explanation." These accolades are commonplace, but nonethe less misleading. More serious is Austin's claim that Parmenides employs the principles of noncontradiction and excluded middle, and displays an understanding-albeit a partial one-of the functions of negation, double negation, copula and predicate. Austin sees countless anticipations of Parmenides's successors from Plato to the present, and has no qualms about rendering parts of the poem in contemporary philosophical jargon. For example, the phrase "not the same" in fr. 8.22 should, on Austin's reading, be taken to mean, " having its numerical nonidentity secured by means of qualitative difference" (p. 88). Austin recognizes the charge of anachronism, but believes his interpretation best accounts for the poem's logical structure. More specific anticipations of Plato and Aristotle are tackled in chapter 5. Chapter 1 ("Why Not 'Is Not'~") contains an ingenious solution to a problem that has puzzled scholars and students alike for centuries. The goddess of Parmenides's poem proclaims (fr. 2) : "that it is not and that it is right for it not to be, this I point out to you as a completely uninformative track." Why, then, do nearly all the signposts of being in fr. 8 use negative language and indirect prooH This problem, Austin suggests, has not been sufficiently appreciated. Austin shows forcefully that no interpretation of fr. 8 can stand which explains away the goddess 's use of negative language. Austin's own explanation results from careful scrutiny of the grammar of predications and assertions in fr. 8. Curiously, of all the negative expressions in fr. 8, the expression ovK e. (shrink)

Many philosophers have raised difficulties for any attempt to proportion punishment severity to crime seriousness. One reason for this may be that offering a full theory of proportionality is simply too ambitious. I suggest a more modest project: setting a lower bound on proportionate punishment. That is, I suggest a metric to measure when punishment is not disproportionately severe. I claim that punishment is not disproportionately severe if it imposes costs on a criminal wrongdoer which are no greater than (...) the costs which they intentionally caused to others. I flesh out the implications of this Lower bound by discussing how to measure the costs of crime. Methodologically, I claim that different costs should be compared by considering preferences. Substantively, I claim that many proportionality judgements undercount the costs of crime by focusing only on the marginal and not the average cost. I suggest that we may hold defendants causally responsible for their contribution to the costs of that type of crime. (shrink)

We propose a framework for including information‐processing bounds in rational analyses. It is an application of bounded optimality (Russell & Subramanian, 1995) to the challenges of developing theories of mechanism and behavior. The framework is based on the idea that behaviors are generated by cognitive mechanisms that are adapted to the structure of not only the environment but also the mind and brain itself. We call the framework computational rationality to emphasize the incorporation of computational mechanism into the definition (...) of rational action. Theories are specified as optimal program problems, defined by an adaptation environment, a bounded machine, and a utility function. Such theories yield different classes of explanation, depending on the extent to which they emphasize adaptation to bounds, and adaptation to some ecology that differs from the immediate local environment. We illustrate this variation with examples from three domains: visual attention in a linguistic task, manual response ordering, and reasoning. We explore the relation of this framework to existing “levels” approaches to explanation, and to other optimality‐based modeling approaches. (shrink)

When proponents of cognitive externalism (CE) turn to empirical studies in cognitive science to put the framework to use and to assess its explanatory success, they typically refer to perception, memory, or motor coordination. In contrast, not much has been said about reasoning. One promising avenue to explore in this respect is the theory of bounded rationality (BR). To clarify the relationship between CE and BR, we criticize Andy Clark's understanding of BR, as well as his claim that BR does (...) not fit his version of CE. We then propose and defend a version of CE—“scaffolded cognition”—that is not committed to constitutive claims about the mind, but still differs from mainstream internalism. Finally, we analyze BR from our own CE perspective, thereby clarifying its vague appeals to the environment, and argue that cognitive internalism cannot explain important aspects of the BR program. (shrink)

ABSTRACT In Philosophy Within its Proper Bounds, Édouard Machery argues that the results of experimental philosophy should lead us to abandon much of traditional philosophical practice. In its place Machery defends naturalized conceptual analysis as a more modest and pragmatic alternative to standard analytic philosophy. This paper argues that Machery overstates the metaphilosophical significance of x-phi’s results. We can and should keep many of the insights and good methodological habits that come with x-phi. However, if one is not (...) already convinced of pragmatism or naturalism, the discoveries of x-phi are unlikely to make too much difference to one’s metaphilosophical position. (shrink)

There exists a considerable body of work on epistemic logics for resource-bounded reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded reasoning, namely, on the ascription of beliefs and inference rules by the agents to each other. We present a formal model of a system of bounded reasoners which reason about each other’s beliefs, and investigate the problem of belief ascription in a resource-bounded setting. We show that for agents whose computational resources and memory are (...) bounded, correct ascription of beliefs cannot be guaranteed, even in the limit. We propose a solution to the problem of correct belief ascription for feasible agents which involves ascribing reasoning strategies , or preferences on formulas, to other agents, and show that if a resource-bounded agent knows the reasoning strategy of another agent, then its ascription of beliefs to the other agent is correct in the limit. (shrink)

We investigate the connection between interference and computational power within the operationally defined framework of generalised probabilistic theories. To compare the computational abilities of different theories within this framework we show that any theory satisfying four natural physical principles possess a well-defined oracle model. Indeed, we prove a subroutine theorem for oracles in such theories which is a necessary condition for the oracle model to be well-defined. The four principles are: causality, purification, strong symmetry, and informationally consistent composition. (...) Sorkin has defined a hierarchy of conceivable interference behaviours, where the order in the hierarchy corresponds to the number of paths that have an irreducible interaction in a multi-slit experiment. Given our oracle model, we show that if a classical computer requires at least n queries to solve a learning problem, because fewer queries provide no information about the solution, then the corresponding “no-information” lower bound in theories lying at the kth level of Sorkin’s hierarchy is \. This lower bound leaves open the possibility that quantum oracles are less powerful than general probabilistic oracles, although it is not known whether the lower bound is achievable in general. Hence searches for higher-order interference are not only foundationally motivated, but constitute a search for a computational resource that might have power beyond that offered by quantum computation. (shrink)