The λμ-calculus is an extension of the λ-calculus that has been introduced by M Parigot to give an algorithmic content to classical proofs. We show that Bohm's theorem fails in this calculus.

The $\lambda\mu$-calculus is an extension of the $\lambda$-calculus that has been introduced by M Parigot to give an algorithmic content to classical proofs. We show that Bohm's theorem fails in this calculus.

Resenha LÖWY, Michael. Romantismo e messianismo : ensaios sobre Lukács e Walter Benjamin. Trad. Myriam Vera Baptista e Magdalena Pizante Baptista, 2. ed. São Paulo: Perspectiva, 2012. 213p.

This article introduces and defends the “pathological complexity thesis” as a hypothesis about the evolutionary origins of minimal consciousness, or sentience, that connects the study of animal consciousness closely with work in behavioral ecology and evolutionary biology. I argue that consciousness is an adaptive solution to a design problem that led to the extinction of complex multicellular animal life following the Avalon explosion and that was subsequently solved during the Cambrian explosion. This is the economic trade-off problem of having to (...) deal with a complex body with high degrees of freedom, what I call “pathological complexity.” By modeling the explosion of this computational complexity using the resources of state-based behavioral and life history theory we will be able to provide an evolutionary bottom-up framework to make sense of subjective experience and its function in nature by paying close attention to the ecological lifestyles of different animals. (shrink)

There has been much criticism of the idea that Friston's free-energy principle can unite the life and mind sciences. Here, we argue that perhaps the greatest problem for the totalizing ambitions of its proponents is a failure to recognize the importance of evolutionary dynamics and to provide a convincing adaptive story relating free-energy minimization to organismal fitness.

This paper constitutes a radical departure from the existing philosophical literature on models, modeling-practices, and model-based science. I argue that the various entities and practices called 'models' and 'modeling-practices' are too diverse, too context-sensitive, and serve too many scientific purposes and roles, as to allow for a general philosophical analysis. From this recognition an alternative view emerges that I shall dub model anarchism.

This paper presents the outlines of a phenomenological theory of foundational or non-inferential knowledge according to which the facts or states of affairs towards which our beliefs are intentionally directed can sometimes serve as reasons or evidence for what we believe. This occurs in acts of fulfillment, in which an object or state of affairs is given as it is thought to be. Hopp further argues that the sorts of empirical facts that can serve as reasons for noninferentially justified beliefs (...) are not confined to facts about one’s own occurrent mental states, but include facts about the physical world as well. In the course of defending the view against objections, Hopp argues that we should be internalists about the reasons in virtue of which what we believe is justified but externalists about the factors in virtue of which our states of believing have the status of being justified. He also argues against the claim that mental states, such as perceptual experiences, constitute our evidence for empirical beliefs. (shrink)

Das Problem der absoluten Reflexion -- Die Wandlungen des Freiheitsbegriffs bei Schelling -- Philosophie als absolutes Wissen -- Ethisches Handeln, heute -- Freiheit und Unfreiheit im Horizont menschlicher Selbsterfahrung -- Philosophische Aspekte der Angst -- Zum Problem des Todes.

An alarming number of philosophers and cognitive scientists have argued that mind extends beyond the brain and body. This book evaluates these arguments and suggests that, typically, it does not. A timely and relevant study that exposes the need to develop a more sophisticated theory of cognition, while pointing to a bold new direction in exploring the nature of cognition Articulates and defends the “mark of the cognitive”, a common sense theory used to distinguish between cognitive and non-cognitive processes Challenges (...) the current popularity of extended cognition theory through critical analysis and by pointing out fallacies and shortcoming in the literature Stimulates discussions that will advance debate about the nature of cognition in the cognitive sciences. (shrink)

Introduction: the advance of governmentality -- Foucault, power, and governmentality: introduction; what is governmentality?; beyond the microphysics of power?; from theory of the state to genealogy of the state; history of the art of government; pastoral power; raison d'état; liberal governmentality; five propositions on foucault and governmentality -- Governmentality 3.4.7.: introduction; governmentality after Foucault; governmentality and the political sciences; some problems in governmentality -- Foucault effect redux? some notes on international governmentality studies: constellation; a few preliminary observations; problems and debates (...) in international governmentality studies -- Reconnecting governmentality and genealogy: introduction; genealogy and governmentality; pluralizing genealogy; practicing genealogy; lines of descent: the family tree of power?; counter-memory and re-serialization; the retrieval of forgotten struggles and subjugated knowledges -- Conclusion: encountering governmentality: governmentality as a new cartography of power; from mapping to encountering; governmentality and politics. (shrink)

This article canvases the main areas of controversy: the nature of Lockean signification and his position on propositions and particles.

Renaissance logician, philosopher, humanist, and teacher, Peter Ramus (1515-72) is best known for his attack on Aristotelian logic, his radical pedagogical theories, and his new interpretation for the canon of rhetoric. His work, published in Latin and translated into many languages, has influenced the study of Renaissance literature, rhetoric, education, logic, and--more recently--media studies. Considered the most important work of Walter Ong's career, Ramus, Method, and the Decay of Dialogue is an elegant review of the history of Ramist scholarship (...) and Ramus's quarrels with Aristotle. A key influence on Marshall McLuhan, with whom Ong enjoys the status of honorary guru among technophiles, this challenging study remains the most detailed account of Ramus's method ever published. Out of print for more than a decade, this book--with a new foreword by Adrian Johns--is a canonical text for enthusiasts of media, Renaissance literature, and intellectual history. (shrink)

On a currently popular reading of Locke, an idea represents its cause, or what God intended to be its cause. Against Martha Bolton and my former self (among others), I argue that Locke cannot hold such a view, since it sins against his epistemology and theory of abstraction. I argue that Locke is committed to a resemblance theory of representation, with the result that ideas of secondary qualities are not representations.

Teachers in many countries complain that their pedagogic work is impeded by unreasonable bureaucratic demands by government agencies. This paper suggests that historical, institutional and cultural perspectives are needed to understand the processes at work. It draws on Weber’s classic study of bureaucracy, but also makes reference to claims that traditional bureaucracies have been modified in ways that ameliorate their authoritarian character. The central part of the paper examines the attempts of one country (Scotland) to address complaints about excessive bureaucracy: (...) it is argued that they show a limited understanding of the nature of institutional power. In the discussion that follows, a number of critical interpretations are considered: that bureaucracies are, by their very nature, anti-educational; that they undermine ethical consciousness and cause psychological damage; and that enhanced professionalism can serve as a counterweight to bureaucratic tendencies. The paper ends by suggesting that the powerful pragmatic argument that mass, state-run educational systems cannot function without complex administrative structures, should not be used to disguise the fact that they have unintended consequences, some of which tend to subvert their stated aims. (shrink)

After an eloquent and moving analysis of what he sees as the disillusion of themodern age, Lippmann posits as the central dilemma of liberalism its inability to find an appropriate substitute for the older forms of authority-- church, state, class, family, law, custom--that it has denied. Lippmann attempts to find a way out of this chaos through the acceptance of a higher humanism and a way of life inspired by the ideal of "disinterestedness" in all things. In his new introduction (...) to the Transaction edition, John Patrick Diggins marks "A Preface "to "Morals, "originally published in 1929, as a critical turning point in Lippmann's intellectual career. He also provides an excellent discussion of the enduring value of this major twentieth-century work by situating it within the context of other intellectual movements. (shrink)

Like their contemporary counterparts, early modern philosophers find themselves in a predicament. On one hand, there are strong reasons to deny that sensations are representations. For there seems to be nothing in the world for them to represent. On the other hand, some sensory representations seem to be required for us to experience bodies. How else could one perceive the boundaries of a body, except by means of different shadings of color? I argue that Nicolas Malebranche offers an extreme -- (...) and ultimately unworkable -- attempt to solve this riddle. Most commentators claim that Malebranche defends an adverbial theory of sensation, according to which a sensation is merely a way in which an act of sensing happens. The adverbial reading is wrong, or so I argue. Once we arrive at a more accurate reading, we shall see that his position is much more strange than is currently thought. Nevertheless, Malebranche’s view is similar to the adverbial theory in one respect, albeit it at a very high level of generality. His view thus inherits two of the main problems that afflict adverbial theories. Although Malebranche fails to solve them, his ingenious attempts to do so are instructive. (shrink)

The conditions animals experience during the early developmental stages of their lives can have critical ongoing effects on their future health, welfare, and proper development. In this paper we draw on evolutionary theory to improve our understanding of the processes of developmental programming, particularly Predictive Adaptive Responses (PAR) that serve to match offspring phenotype with predicted future environmental conditions. When these predictions fail, a mismatch occurs between offspring phenotype and the environment, which can have long-lasting health and welfare effects. Examples (...) include metabolic diseases resulting from maternal nutrition and behavioral changes from maternal stress. An understanding of these processes and their evolutionary origins will help in identifying and providing appropriate developmental conditions to optimize offspring welfare. This serves as an example of the benefits of using evolutionary thinking within veterinary science and we suggest that in the same way that evolutionary medicine has helped our understanding of human health, the implementation of evolutionary veterinary science (EvoVetSci) could be a useful way forward for research in animal health and welfare. (shrink)

After an eloquent and moving analysis of what he sees as the disillusion of themodern age, Lippmann posits as the central dilemma of liberalism its inability to find an appropriate substitute for the older forms of authority-- church, state, class, family, law, custom--that it has denied. Lippmann attempts to find a way out of this chaos through the acceptance of a higher humanism and a way of life inspired by the ideal of "disinterestedness" in all things. In his new introduction (...) to the Transaction edition, John Patrick Diggins marks "A Preface "to "Morals, "originally published in 1929, as a critical turning point in Lippmann's intellectual career. He also provides an excellent discussion of the enduring value of this major twentieth-century work by situating it within the context of other intellectual movements. (shrink)

The world was changing at a blistering speed in Bagehot's day. New scientific ideas were reshaping the world, and every field of human inquiry was affected by this new interest in giving a full explanation for the history of everything in existence. In this work, first published in 1872, Bagehot applies scientific ideas, like survival of the fittest, to the development of nations and government. He further discusses the effect of scientific and technological advancements, like the invention of stronger and (...) more deadly weapons, on politics. British journalist WALTER BAGEHOT (1826-1877) was an early editor of The Economist and was among the first economists to discuss the concept of the business cycle. He is also the author of The English Constitution (1873) and The Postulates of English Political Economy (1885). (shrink)

In recent years, bioethical discourse around the topic of ‘genetic enhancement’ has become increasingly politicized. We fear there is too much focus on the semantic question of whether we should call particular practices and emerging bio-technologies such as CRISPR ‘eugenics’, rather than the more important question of how we should view them from the perspective of ethics and policy. Here, we address the question of whether ‘eugenics’ can be defended and how proponents and critics of enhancement should engage with each (...) other. (shrink)

Livro QUERIDO, Fábio Mascaro. Michael Löwy: marxismo e crítica da modernidade. São Paulo: Boitempo; Fapesp, 2016. 199p. ISBN 978-85-7559-483-4.

La mission du juge est de trancher les litiges. Or, avant de d’appliquer une règle juridique, il est nécessaire de connaître précisément les faits de la cause. « Da mihi factum, dabo tibi jus ». L’expert est le spécialiste de l’analyse des faits dont le juge a besoin. Dans le domaine de la santé, l’expert est incontournable tant pour étudier la santé corporelle que la santé mentale. On note toutefois une évolution considérable qui tend à demander à l’expert, non plus (...) seulement d’observer une situation passée ou présente mais de prévenir l’avenir. (shrink)

Alongside the rapid global advances in neuroscientific research, neuroethics has been one of the fastest growing sub-fields within bioethics. With this rapid expansion, bioethicists struggle to kee...

Are demands for equality motivated by envy? Nietzsche, Freud, Hayek, and Nozick all thought so. Call this the Envy Objection. For egalitarians, the Envy Objection is meant to sting. Many egalitarians have tried to evade the Envy Objection.. But should egalitarians be worried about envy? In this paper, I argue that egalitarians should stop worrying and learn to love envy. I argue that the persistent unwillingness to embrace the Envy Objection is rooted in a common misunderstanding of the nature of (...) the charge, what it reveals, and what can be said in response to it. I develop what Bernard Williams might call a vindicatory genealogy of envy, thereby allowing us to see that envy, rather than undermining egalitarian intuitions, can in fact play a distinct justificatory role (when it is fitting), which undermines the Envy Objection. (shrink)

Provides philosophical definitions which help scholars and students to understand Plotinus’ notions of eternity and time; presents a way in which to understand the relationship between eternity, time, and the hypostases; conveys the practical and experiential aspect of Ennead III.7.

Are living organisms--as Descartes argued--just machines? Or is the nature of life such that it can never be fully explained by mechanistic models? In this thought-provoking and controversial book, eminent geophysicist Walter M. Elsasser argues that the behavior of living organisms cannot be reduced to physico-chemical causality. Suggesting that molecular biology today is at the same point as Newtonian physics on the eve of the quantum revolution, Elsasser lays the foundation for a theoretical biology that points the way toward (...) a natural philosophy of organic life. Explicitly repudiating "vitalism" (the notion that the laws of nature need to be modified when applied to living organisms), Elsasser argues instead that the structural complexity of even a single living cell is "transcomputational"--that is, beyond the power of any imaginable system to compute. Beginning from this insight, Elsasser leads the reader through a step-by-step process that ultimately arrives at the conclusion that living and non-living matter are separated by "a no-man's land of irrationality." Trained in Germany as a physicist, Elsasser first pondered the implications of quantum mechanics for biology as early as 1951. The more closely he studied the inherent complexity of life, the more skeptical he became of the reductionist view of organisms as tiny machines. "An organism," he concluded, "is a source of causal chains which cannot be traced beyond a terminal point because they are lost in the unfathomable complexity of the organism." Like the physicist who works within the bounds of an unfathomable universe, Elsasser argues, the biologist must seek answers within a system that is no less unfathomable. (shrink)

Eliminativism is a position most readily associated with the eliminative materialism of the Churchlands, denying that there are such things as propositional states. This position has created much controversy, despite the fact that intentionality has long been seen as perhaps the core problem for naturalistic philosophy. There is a more radical interpretation of eliminativism, however, denying not only mental states, such as beliefs and desires, but also intentionality (i.e., aboutness) on a global level. This position traces its contemporary origin back (...) to Quine, but has generally been assumed to undermine naturalism or, worse, to be incoherent by the majority of philosophers who maintain that there clearly are things or mental states that are about others. In a recent paper, Hutto and Satne (2015a) offer an update that tries to revive John Haugeland’s baseball analogy from his influential 1990 review paper The Intentionality All-Stars on the state of the game to argue that the failure of Neo-Cartesians, Neo- Behaviorists, and Neo-Pragmatists should urge us to make them work together to naturalize content and “win the game.” But Hutto and Satne misunderstand what the game is ultimately about. The goal of the Intentionality All-Stars is not to naturalize content against eliminativism but to defend a naturalist “thirdperson” view of the problem against first-person phenomenalists. For this goal, a naturalist defense of global content eliminativism would equally enable them to emerge victorious. Revisiting Haugeland, I will offer my own analysis of the current state of play to argue that global content eliminativism has not received sufficient attention and deserves a more prominent place in the debate than it currently occupies. (shrink)