Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from (...) MSL. To make the book accessible to readers from different disciplines, whilst maintaining precision, the author has supplied detailed step-by-step proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses. (shrink)
This article is an extended promenade strolling along the winding roads of identity, equality, nameability and completeness, looking for places where they converge. We have distinguished between identity and equality; the first is a binary relation between objects while the second is a symbolic relation between terms. Owing to the central role the notion of identity plays in logic, you can be interested either in how to define it using other logical concepts or in the opposite scheme. In the first (...) case, one investigates what kind of logic is required. In the second case, one is interested in the definition of the other logical concepts in terms of the identity relation, using also abstraction. The present paper investigates whether identity can be introduced by definition arriving to the conclusion that only in full higher-order logic a reliable definition of identity is possible. However, the definition needs the standard semantics and we know that with this semantics completeness is lost. We have also studied the relationship of equality with comprehension and extensionality and pointed out the relevant role played by these two axioms in Henkin’s completeness method. We finish our paper with a section devoted to general semantics, where the role played by the nameable hierarchy of types is the key in Henkin’s completeness method. (shrink)
This paper focuses on the evolution of the notion of completeness in contemporary logic. We discuss the differences between the notions of completeness of a theory, the completeness of a calculus, and the completeness of a logic in the light of Gödel's and Tarski's crucial contributions.We place special emphasis on understanding the differences in how these concepts were used then and now, as well as on the role they play in logic. Nevertheless, we can still observe a certain ambiguity in (...) the use of the close notions of completeness of a calculus and completeness of a logic. We analyze the state of the art under which Gödel's proof of completeness was developed, particularly when dealing with the decision problem for first-order logic. We believe that Gödel had to face the following dilemma: either semantics is decidable, in which case the completeness of the logic is trivial or, completeness is a critical property but in this case it cannot be obtained as a corollary of a previous decidability result. As far as first-order logic is concerned, our thesis is that the contemporary understanding of completeness of a calculus was born as a generalization of the concept of completeness of a theory. The last part of this study is devoted to Henkin's work concerning the generalization of his completeness proof to any logic from his initial work in type theory. (shrink)
What is the value of fictions, metaphors, figures and scenarios in adjudication? This book develops three models to help answer that question: inquiry, artefacts and imagination. -/- Legal language, it is argued, contains artefacts – forms that signal their own artifice and call upon us to do things with them. To imagine, in turn, is to enter a distinctive epistemic frame where we temporarily suspend certain epistemic norms and commitments and participate actively along a spectrum of affective, sensory and kinesic (...) involvement. -/- The book argues that artefacts and related processes of imagination are valuable insofar as they enable inquiry in adjudication, ie the social (interactive and collective) process of making insight into what values, vulnerabilities and interests might be at stake in a case and in similar cases in the future. -/- Artefacts of Legal Inquiry is structured in two parts, with the first offering an account of the three models of inquiry, artefacts and imagination, and the second examining four case studies (fictions, metaphors, figures and scenarios). -/- Drawing on a broad range of theoretical traditions – including philosophy of imagination and emotion, the theory and history of rhetoric, and the cognitive humanities – this book offers an interdisciplinary defence of the importance of artefactual language and imagination in adjudication. (shrink)
Equational hybrid propositional type theory ) is a combination of propositional type theory, equational logic and hybrid modal logic. The structures used to interpret the language contain a hierarchy of propositional types, an algebra and a Kripke frame. The main result in this paper is the proof of completeness of a calculus specifically defined for this logic. The completeness proof is based on the three proofs Henkin published last century: Completeness in type theory, The completeness of the first-order functional calculus (...) and Completeness in propositional type theory. More precisely, from and we take the idea of building the model described by the maximal consistent set; in our case the maximal consistent set has to be named, \-saturated and extensionally algebraic-saturated due to the hybrid and equational nature of \. From, we use the result that any element in the hierarchy has a name. The challenge was to deal with all the heterogeneous components in an integrated system. (shrink)
Equational hybrid propositional type theory ) is a combination of propositional type theory, equational logic and hybrid modal logic. The structures used to interpret the language contain a hierarchy of propositional types, an algebra and a Kripke frame. The main result in this paper is the proof of completeness of a calculus specifically defined for this logic. The completeness proof is based on the three proofs Henkin published last century: Completeness in type theory, The completeness of the first-order functional calculus (...) and Completeness in propositional type theory. More precisely, from and we take the idea of building the model described by the maximal consistent set; in our case the maximal consistent set has to be named, \-saturated and extensionally algebraic-saturated due to the hybrid and equational nature of \. From, we use the result that any element in the hierarchy has a name. The challenge was to deal with all the heterogeneous components in an integrated system. (shrink)
Daydreaming appears to have a complex relationship with life satisfaction and happiness. Here we demonstrate that the facets of daydreaming that predict life satisfaction differ between men and women , that the content of daydreams tends to be social others , and that who we daydream about influences the relation between daydreaming and happiness variables like life satisfaction, loneliness, and perceived social support . Specifically, daydreaming about people not close to us predicts more loneliness and less perceived social support, whereas (...) daydreaming about close others predicts greater life satisfaction. Importantly, these patterns hold even when actual social network depth and breadth are statistically controlled, although these associations tend to be small in magnitude. Individual differences and the content of daydreams are thus important to consider when examining how happiness relates to spontaneous thoughts. (shrink)
This paper is dedicated to Alonzo Church, who died in August 1995 after a long life devoted to logic. To Church we owe lambda calculus, the thesis bearing his name and the solution to the Entscheidungsproblem.His well-known book Introduction to Mathematical LogicI, defined the subject matter of mathematical logic, the approach to be taken and the basic topics addressed. Church was the creator of the Journal of Symbolic Logicthe best-known journal of the area, which he edited for several decades This (...) paper is in three sections. The first is written in journalistic style:the story of the life of AlonzoChurch is told, including some of the many anecdotes I have collected from different sources. The secondpart is devoted to his work, but is far from being exhaustive. The last part is more original; in it I attempto show that Church?s great discovery was lambda calculus and that his remaining contributions weremainly inspired afterthoughts in the sense that most of his contributions as well as some of his pupils derivefrom that initial achievement. Included are Kleene?s Recursion Theory and the completeness proof ofHenkin. I have added an appendix in which is presented the typed lambda calculus and a proof of theundecidability of first-order logic. (shrink)
Yoga, together with other so-called holistic spiritual practices such as reiki or meditation, is one of the most popular spiritual disciplines in our contemporary society. The success of yoga crosses the boundaries between health, sport, religion, and popular culture. However, from a sociological point of view, this is a largely under-researched field. Aiming to fill this gap, this article analyzes the impact, meaning, and implications of the practice of yoga by taking prisons as the institutional context of the study. The (...) growth of yoga in penitentiary settings is a recent trend in many countries and raises new questions concerning its potential to foster well-being and self-transformation. The research presented here applies Schutz’s concepts of “finite province of meaning” and “stock of knowledge” to understand yoga’s role in inmates’ lives. The main argument of the article is that yoga is a body technique that affords inmates the possibility to enter into a “finite province of meaning” and transcend their everyday prison lives. However, the impact of yoga upon inmates’ lives is not limited just to its physical effects as learning yoga also involves the acquisition of a “spiritual stock of knowledge” made up of Eastern philosophy, holistic concepts, and self-help therapeutic narratives. Indeed, physical movements and spiritual accounts constitute one another in the practice of yoga, thus opening up a pathway into a different reality; movement and spiritual discourse inform one another—and it is precisely in this reflexivity that “transcendent experiences” are created and yoga is made meaningful and important in the improvement-setting of the prison. This article is based on ethnographic fieldwork developed carried out in two different penitentiary institutions. (shrink)
El artículo explora algunos de los principales rasgos políticos de la época globalizada y defiende la necesidad de entidades políticas representativas que superen el marco del Estado nación. A continuación se pregunta bajo qué presupuestos ético-políticos podría defenderse un modelo político-jurídico global para un mundo axiológicamente diverso y qué concepciones políticas y valores podrían proponerse como referente normativo para una gobernanza global cuya meta habría de ser el ejercicio legítimo del poder. Teniendo en cuenta las dificultades de tal empresa, se (...) presentan posibles estrategias y razones que invitan a considerar que la posibilidad de un acuerdo global no es del todo implausible. (shrink)
“No one can serve two masters.” This Bible quotation highlights an irreducible contradiction, which echoes numerous organizational settings. This article considers the under-explored ethical implications of paradoxical injunctions created by such a contradiction at the managerial level. Contradictory organizational constraints turn into paradoxant systems , where the organization structurally settles paradoxical injunctions which challenge managerial ethics in practice. We then ask what managerial responsibility means in such contexts and find that managers have then to reshape their practice as a situated (...) construction through constant mediation between different “masters” and bricolage (i.e., tinkering with concepts). An ethnographic case study of an anti-money laundering service in an investment bank illuminates this phenomenon from a practice perspective. The possibility to enact an actual ethical practice within the contradictory organization relies on a new role of the manager. This implies drawing on an approach of responsible management as an enactment of ethics in practice which is situated within the framework of a new conception of both the organization, as a structurally “paradoxant system,” and the manager as a mediator in charge of enacting coherence. (shrink)
The effective implementation of regulation in organizations is an ongoing concern for both research and practice, in order to avoid deviant behavior and its consequences. However, the way compliance with regulations is actually enacted or “performed” within organizations instead of merely executed, remains largely under-characterized. Evidence from an ethnographic study in the compliance unit of a French investment bank allows us to develop a detailed practice approach to how regulation is actually implemented in firms. We characterize the work accomplished by (...) compliance analysts who are in fact, “curving” the script of regulation within what we conceptualize as a “comfort zone”. Beyond agency, ethics appears as a key element in linking the “letter of the law”, which serves as a referential anchor to guide action, with the complex nature of specific situations. We analyze the way individuals and compliance teams cope with, interpret, struggle and in fine, perform regulation within this comfort zone. A particular interest is thus given to the work of embedded ethics in this process, as an enabler to partly recouple compliance with the regulated activity. We find that blind execution is not only impossible, but also devoid of meaning both from regulatory, risk management, and business perspectives in organizations. We highlight and characterize a hermeneutic dimension to this work, essential to effectively perform regulation in complex environments, and we suggest some directions for further research. (shrink)
In Lewin et al. 359–386) the authors proved that certain systems of annotated logics are algebraizable in the sense of Block and Rigozzi 396). Later in Lewin et al. the study of the associated quasi-varieties of annotated algebras is initiated. In this paper we continue the study of the these classes of algebras, in particular, we report some recent results about the free annotated algebras.
In this paper we claim educational leadership as an autonomous discipline whose goals and strategies should not mirror those typical of business and political leadership. In order to define the aims proper to educational leadership we question three common assumptions of what it is supposed to carry out. First, we turn to Hannah Arendt and her contemporary critics to maintain that education aims at opening up exceptions within the normal course of events rather than simply preserving it. This way, education (...) is not reduced to an instrument at the service of the reinforcement of a given social and economic system. This leads us to ask what should exactly educational leadership oppose by means of these exceptions. According to Tyson E. Lewis’s wise application to education of Giorgio Agamben’s ontology of impotentiality, the apparently reasonable idea that education must help the subject to develop his potentials is precisely an instrumentalization of education which brings about a desubjectification of the learner. Education should actually make the pupil aware of his right not to carry his potentiality to its actualization and dwell instead in a state of impotentiality. Third and last, we complicate this picture by alluding to Zygmunt Bauman’s critique of the rejection of Western individuals to realize certain possibilities, which they deem too costly. By analysing in conjunction Agamben’s encouragement to suspend one’s potential and Bauman’s insistence on the need of not suspending it, we conclude by defining what, in our opinion, defines the raison d’être of educational leadership. (shrink)
The importance of relationality in ethical leadership has been the focus of recent attention in business ethics scholarship. However, this relational component has not been sufficiently theorized from different philosophical perspectives, allowing specific Western philosophical conceptions to dominate the leadership development literature. This paper offers a theoretical analysis of the relational ontology that informs various conceptualizations of selfhood from both African and Western philosophical traditions and unpacks its implications for values-driven leadership. We aim to broaden Western conceptions of leadership development (...) by drawing on twentieth century European philosophy’s insights on relationality, but more importantly, to show how African philosophical traditions precede this literature in its insistence on a relational ontology of the self. To illustrate our theoretical argument, we reflect on an executive education course called values-driven leadership into action, which ran in South Africa, Kenya, and Egypt in 2016, 2017, and 2018. We highlight an African-inspired employment of relationality through its use of the ME-WE-WORLD framework, articulating its theoretical assumptions with embodied experiential learning. (shrink)
Nagel, San Juan, and Mar report an experiment investigating lay attributions of knowledge, belief, and justification. They suggest that, in keeping with the expectations of philosophers, but contra recent empirical findings [Starmans, C. & Friedman, O. (2012). The folk conception of knowledge. Cognition, 124, 272–283], laypeople consistently deny knowledge in Gettier cases, regardless of whether the beliefs are based on ‘apparent’ or ‘authentic’ evidence. In this reply, we point out that Nagel et al. employed a questioning method that biased participants (...) to deny knowledge. Moreover, careful examination of participants’ responses reveals that they attributed knowledge in Gettier cases. We also note that Nagel et al. misconstrue the distinction between ‘apparent’ and ‘authentic’ evidence, and use scenarios that do not feature the structure that characterizes most Gettier cases. We conclude that NS&M’s findings are fully compatible with the claim that laypeople attribute knowledge in Gettier cases in general, but are significantly less likely to attribute knowledge when a belief is generated based on apparent evidence. (shrink)
This paper examines undergraduate business students' perception of corporate social responsibility in cases in which they have not attended any specific course either dealing with CSR or providing training in ethics. A survey was conducted of 535 Spanish business students as future managers. The results show that the stakeholders' perspective deserves a huge attention for those students considering what the keys of business success are. Significant differences in perception were nevertheless identified when a multifactorial analysis was undertaken. Female students are (...) more concerned about CSR issues. The maximization of value for shareholders is less valued by second- and third-year students than by first-year ones. The findings point to a number of important orientations for the future development of university curriculum. (shrink)
This paper considers the similarities between Adam Smith's device of the impartial spectator and the use of perspectival devices in common law reasoning. The paper adopts a reading of Smith's device as one involving the exercise of imaginative sympathy by an ordinarily virtuous, and culturally and historically situated, spectator who does not have a stake in the outcome of the scene being evaluated. The point here is to show that the impartial spectator is 1) a device of common, ordinary virtue (...) – both in the sense of being located in a culture at a specific point in time, and in the sense of possessing only moderate, achievable virtues ; and 2) a device that enables a focus on a situation, which requires imaginative work, emotional engagement and careful, particularised description. Having so modelled Smith's device, the paper shows the similarities between it and the use of perspectival devices in common law reasoning, specifically here via the ‘right-thinking member of society' test in defamation law. (shrink)
Resumen En esta contribución ofrecemos una interpretación del pons asinorum que se basa en una lógica de términos contemporánea. Esto nos permite revitalizar la idea del pons asinorum para generar el -políticamente correcto- pons scholasticorum, una versión terminística del pons asinorum que conecta la inventio medii con el dictum de omni et nullo.In this contribution we offer an interpretation of the pons asinorum by using a contemporary term logic. This interpretation allows us to revitalize the concept of the pons asinorum (...) in order to produce the -politically correct- pons scholasticorum, a terministic version of the pons asinorum that relates the inventio medii with the dictum de omni et nullo. (shrink)
This essay argues that the practical reason approach to the study of social conventions (and social normativity more generally) fails to adequately account for the fluency of social action in environments that we experience as familiar. The practical reason approach, articulated most recently in Andrei Marmor’s Social Conventions: From Language to Law (2009) does help us, though not wholly adequately, to understand how we tend to react to, and experience, unfamiliar situations or unfamiliar behaviors, that is, those situations in which (...) a certain practice becomes problematic or is problematized, or where we are obliged to, or moved to, justify or deliberate. The reason why the practical reason approach is not wholly adequate when it comes to understanding unfamiliar situations or unfamiliar behaviors is that it tends to subsume the unfamiliar under the familiar, that is, it tends to negatively evaluate anything that is deemed to be not in accordance with the rules and reasons already familiar to the observer. This excludes the possibility of the observer having to transform himself or herself, and thus change what is familiar to him or her. (shrink)
This essay argues that the practical reason approach to the study of social conventions fails to adequately account for the fluency of social action in environments that we experience as familiar. The practical reason approach, articulated most recently in Andrei Marmor’s Social Conventions: From Language to Law does help us, though not wholly adequately, to understand how we tend to react to, and experience, unfamiliar situations or unfamiliar behaviors, that is, those situations in which a certain practice becomes problematic or (...) is problematized, or where we are obliged to, or moved to, justify or deliberate. The reason why the practical reason approach is not wholly adequate when it comes to understanding unfamiliar situations or unfamiliar behaviors is that it tends to subsume the unfamiliar under the familiar, that is, it tends to negatively evaluate anything that is deemed to be not in accordance with the rules and reasons already familiar to the observer. This excludes the possibility of the observer having to transform himself or herself, and thus change what is familiar to him or her. (shrink)
The heterogeneous nature of the empathy construct demands that neuroscience investigations into this topic employ methods directed at uncovering multiple processes. This article touches upon some of the methods most appropriate for empathy research, and closes by arguing for a better distinction between perception and imagination during the initial stage of an empathic response.
We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret [email protected]_i$ in propositional and first-order hybrid logic. This means: interpret [email protected]_i\alpha _a$ , where $\alpha _a$ is an expression of any type $a$ , as an expression of type $a$ that (...) rigidly returns the value that $\alpha_a$ receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and (as is usual inhybrid logic) we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic. (shrink)
Companies' perceptions of corporate social responsibility have been only partially analyzed from an individual perspective that focuses on personal characteristics and professional backgrounds. However, a gap exists in the research on manager leadership styles and CSR perceptions from a gender perspective. Therefore, this article analyzes differences in attitudes toward various dimensions of CSR by focusing on the leadership styles—transformational, dominance, and dual perspectives—of male and female managers in Spain. A total of 391 respondents in top management positions in Spain were (...) surveyed. The findings revealed similarities and differences between genders with respect to leadership styles and CSR perceptions by dimension using a univariate analysis. A causal model that employed structural equation modeling was also estimated. The findings suggest that for transformational and dual leadership styles, Spanish women may be more adaptable and effective at pursuing company sustainability than Spanish men. However, dominance leadership was found to be the worst leadership style for deploying a CSR strategy. A number of conclusions for business management can be drawn, and some directions for future research are provided. (shrink)
This paper discusses a much-neglected aspect of Neil MacCormick's theory of legal reasoning, namely what he calls ‘consequential reasoning’. For MacCormick, consequential reasoning is both an omnipresent feature of legal reasoning in England and Scotland, as well as being a valuable one. MacCormick articulates the value of consequential reasoning by seeing it as contributing to the forward-looking requirement of formal justice, ie, of deciding the instant case on grounds that one is willing to adopt when deciding future similar cases. This (...) paper situates consequential reasoning in the overall picture of legal reasoning MacCormick develops in Legal Reasoning and Legal Theory, going on to show the evolution of his view on consequential reasoning in later work, which culminates in Rhetoric and the Rule of Law. It is argued that MacCormick's later view of consequential reasoning, ie, of a process of testing possible rulings by evaluating the acceptability or unacceptability.. (shrink)
Intuitively, there is a difference between knowledge and mere belief. Contemporary philosophical work on the nature of this difference has focused on scenarios known as “Gettier cases.” Designed as counterexamples to the classical theory that knowledge is justified true belief, these cases feature agents who arrive at true beliefs in ways which seem reasonable or justified, while nevertheless seeming to lack knowledge. Prior empirical investigation of these cases has raised questions about whether lay people generally share philosophers’ intuitions about these (...) cases, or whether lay intuitions vary depending on individual factors (e.g. ethnicity) or factors related to specific types of Gettier cases (e.g. cases that include apparent evidence). We report an experiment on lay attributions of knowledge and justification for a wide range of Gettier Cases and for a related class of controversial cases known as Skeptical Pressure cases, which are also thought by philosophers to elicit intuitive denials of knowledge. Although participants rated true beliefs in Gettier and Skeptical Pressure cases as being justified, they were significantly less likely to attribute knowledge for these cases than for matched true belief cases. This pattern of response was consistent across different variations of Gettier cases and did not vary by ethnicity or gender, although attributions of justification were found to be positively related to measures of empathy. These findings therefore suggest that across demographic groups, laypeople share similar epistemic concepts with philosophers, recognizing a difference between knowledge and justified true belief. (shrink)
The stream on political corporate social responsibility argues that companies have recently assumed state-like roles to influence global governance. However, following emerging calls for greater contextualization of CSR, we trace the historic evolution of PCSR in the case of Colombia and argue that such political engagement by firms is not new. Looking beyond a linear chronological account, we reveal the sedimentation process behind PCSR by exploring the archetypical political roles businesses have taken on in providing public goods and acting as (...) regulators, and chart their transformation. Our findings allow us to make two main contributions. First, by unearthing different strata of business and society relations, we enrich the research on PCSR, highlighting its historical sedimentation dynamics. By integrating institutional and historical perspectives, we respond to calls for complementary accounts of one of the premises found in the literature that considers globalization as the starting point of PCSR. Second, our exploration of the past and present of PCSR in Colombia provides scholars and practitioners with an overview of the complex state and stakes of CSR in that country. We also discuss the implications of sedimentation for PCSR theory and future research directions. (shrink)
In this paper we will discuss the active part played by certain diagonal arguments in the genesis of computability theory. 1?In some cases it is enough to assume the enumerability of Y while in others the effective enumerability is a substantial demand. These enigmatical words by Kleene were our point of departure: When Church proposed this thesis, I sat down to disprove it by diagonalizing out of the class of the ??definable functions. But, quickly realizing that the diagonalization cannot be (...) done effectively, I became overnight a supporter of the thesis. (1981, p. 59) The title of our paper alludes to this very work, a task on which Kleene claims to have set out after hearing such a remarkable statement from Church, who was his teacher at the time. There are quite a few points made in this extract that may be surprising. First, it talks about a proof by diagonalization in order to test?in fact to try to falsify?a hypothesis that is not strictly formal. Second, it states that such a proof or diagonal construction fails. Third, it seems to use the failure as a support for the thesis. Finally, the episode we have just described took place at a time, autumn 1933, in which many of the results that characterize Computability Theory had not yet materialized. The aim of this paper is to show that Church and Kleene discovered a way to block a very particular instance of a diagonal construction: one that is closely related to the content of Church's thesis. We will start by analysing the logical structure of a diagonal construction. Then we will introduce the historical context in order to analyse the reasons that might have led Kleene to think that the failure of this very specific diagonal proof could support the thesis. This is a joint paper. We have both attempted to add a small piece to an amazing historical jigsaw puzzle at a juncture we feel to be appropiate. In the paper by Manzano 1997 the aforementioned words by Kleene were quoted, and since then several logicians, Enrique Alonso first and foremost, have questioned her on this issue. Here we both submit our reply. (1999, pp. 249--273). (shrink)
Este artigo canta uma canção — uma canção criada ao unir o trabalho de quatro grandes nomes na história da lógica: Hans Reichenbach, Arthur Prior, Richard Montague, e Leon Henkin. Embora a obra dos primeiros três desses autores tenha sido previamente combinada, acrescentar as ideias de Leon Henkin é o acréscimo requerido para fazer com que essa combinação funcione no nível lógico. Mas o presente trabalho não se concentra nas tecnicalidades subjacentes (que podem ser encontradas em Areces, Blackburn, Huertas, e (...)Manzano [no prelo]), e sim nos instrumentos subjacentes e no modo como trabalham em conjunto. Esperamos que o leitor fique tentado a cantar junto. DOI:10.5007/1808-1711.2011v15n2p225. (shrink)
Should evolution replace rational choice as the guiding paradigm for game theory? Evolutionary game theory provides an intriguing perspective from which to critique the hyper-rational assumptions of classical economic game theory. In contrast to economic game theory, evolutionary game theory is better suited to descriptive rather than normative domains. It is argued that a pluralism of paradigms holds the best promise for theoretical innovation in game theory.
