The book’s core argument is that an artificial intelligence that could equal or exceed human intelligence—sometimes called artificial general intelligence (AGI)—is for mathematical reasons impossible. It offers two specific reasons for this claim: Human intelligence is a capability of a complex dynamic system—the human brain and central nervous system. Systems of this sort cannot be modelled mathematically in a way that allows them to operate inside a computer. In supporting their claim, the authors, Jobst Landgrebe and Barry Smith, marshal evidence (...) from mathematics, physics, computer science, philosophy, linguistics, and biology, setting up their book around three central questions: What are the essential marks of human intelligence? What is it that researchers try to do when they attempt to achieve "artificial intelligence" (AI)? And why, after more than 50 years, are our most common interactions with AI, for example with our bank’s computers, still so unsatisfactory? Landgrebe and Smith show how a widespread fear about AI’s potential to bring about radical changes in the nature of human beings and in the human social order is founded on an error. There is still, as they demonstrate in a final chapter, a great deal that AI can achieve which will benefit humanity. But these benefits will be achieved without the aid of systems that are more powerful than humans, which are as impossible as AI systems that are intrinsically "evil" or able to "will" a takeover of human society. (shrink)

This book consists of a dialogue between two interlocutors, Pablo and a student, who discuss a great range of issues in social philosophy and political theory, and in particular, the emergence, working properties and economic effects of institutions. It uses the dialogical form to make philosophy more accessible, but also to show how ideas develop through intellectual interaction. The fact that one of the interlocutors is the "student" in a place in the real world makes the dialogue quasi-fictive in character (...) and enables the active engagement of the reader. After all, we are all philosophers and we develop our own philosophy by exchanging views and arguments. The dialogue form is and should remain the principal form of philosophizing, since ideas, like butterflies, do not merely exist – they develop. This is certainly the case in actual philosophical interaction, and it can be the case in written philosophical exposition. Although the dialogue does not presuppose prior acquaintance with the respective philosophical and social scientific literature under discussion in this book, it makes arguments more accessible, and conveys the feeling that there are no definite solutions to philosophical problems. (shrink)

This book brings together papers from a conference that took place in the city of L'Aquila, 4–6 April 2019, to commemorate the 10th anniversary of the earthquake that struck on 6 April 2009. Philosophers and scientists from diverse fields of research debated the problem that, on 6 April 1922, divided Einstein and Bergson: the nature of time. For Einstein, scientific time is the only time that matters and the only time we can rely on. Bergson, however, believes that scientific time (...) is derived by abstraction, even in the sense of extraction, from a more fundamental time. The plurality of times envisaged by the theory of Relativity does not, for him, contradict the philosophical intuition of the existence of a single time. But how do things stand today? What can we say about the relationship between the quantitative and qualitative dimensions of time in the light of contemporary science? What do quantum mechanics, biology and neuroscience teach us about the nature of time? The essays collected here take up the question that pitted Einstein against Bergson, science against philosophy, in an attempt to reverse the outcome of their monologue in two voices, with a multilogue in several voices. (shrink)

In this excellent book Sebastien Gandon focuses mainly on Russell's two major texts, Principa Mathematica and Principle of Mathematics, meticulously unpicking the details of these texts and bringing a new interpretation of both the mathematical and the philosophical content. Winner of The Bertrand Russell Society Book Award 2013.

The book is a philosophical refection on the possibility of mathematical history. Are poosible models of historical phenomena so exact as those of physical ones? Mathematical models borrowed from quantum mechanics by the meditation of its interpretations are accomodated to history. The conjecture of many-variant history, alternative history, or counterfactual history is necessary for mathematical history. Conclusions about philosophy of history are inferred.

Edward Shils presented his book Tradition (1981) as the first extensive study of the subject. This article casts light on Shils' multifaceted understanding of tradition, comprising pragmatic, Burkean, veridical, and evolutionist perspectives. His typology of traditions is noted, and his view of institutional bearers of tradition described. In assessing Shils' theory, however, we find that it overreaches, collapsing differences that exist between traditions, transmissions, and the traditional.

One can extrapolate from the art of language instruction to discover methods applicable across the disciplines in higher education. The paradigm presented by language instruction is applicable throughout the arts and sciences. If cultivated—and there are institutional pressures working against it—such an art can impact the languages and codes of the individual disciplines so as to advance the research mission of scholars in those fields; it can also favor the interrelationships between the disciplines. How the student learns another language (L2) (...) is comparable to the process of learning a scientific discipline. (shrink)

A shorthand symbolism for the relational mapping of categories is introduced and developed on the basis of Nelson Goodman's structural methodology. Through a reconstruction of extensional isomorphism that Goodman introduces as a criterion for definitional accuracy, and a brief reminder of the argument structure behind his ‘new riddle of induction’, Goodman's radical ontological relativism is turned into a protological principle of what I call ‘domain constituting philosophy’. MSS is demonstrated with reference to Goodman's symbol theory, particularly his notion of exemplification, (...) as well as in a final structured comparison of Frege's ‘sense’ with Goodman's straightforward construction of ‘secondary extension’. (shrink)

Scientific progress has many facets and can be conceptualized in different ways, for example in terms of problem-solving, of truthlikeness or of growth of knowledge. The main claim of the paper is that the most important prerequisite of scientific progress is the institutionalization of competition and criticism. An institutional framework appropriately channeling competition and criticism is the crucial factor determining the direction and rate of scientific progress, independently on how one might wish to conceptualize scientific progress itself. The main intention (...) is to narrow the divide between traditional philosophy of science and the sociological, economic and political outlook at science that emphasizes the private interests motivating scientists and the subsequent contingent nature of the enterprise. The aim is to show that although science is a social enterprise taking place in historical time and thus is of a contingent nature, it can and in fact does lead to genuine scientific progress - contrary to the claims of certain sociologists of science and other relativists who standardly stress its social nature, but deny its progressive character. I will first deal with the factual issue by way of introducing the main concepts and mechanisms of modern institutional theory and by applying them to the analysis of the cultural phenomenon that we call modern science. I will then turn to the normative issue: what is the appropriate content of the institutional framework, for scientific progress to emerge and be sustained at which level should it be set and by whom? Addressing this problematic is equivalent to conducting a constitutional debate leading to a Constitution of Science. (shrink)

Throughout its long history, mathematics has involved the use ofsystems of written signs, most notably, diagrams in Euclidean geometry and formulae in the symbolic language of arithmetic and algebra in the mathematics of Descartes, Euler, and others. Such systems of signs, I argue, enable one to embody chains of mathematical reasoning. I then show that, properly understood, Frege’s Begriffsschrift or concept-script similarly enables one to write mathematical reasoning. Much as a demonstration in Euclid or in early modern algebra does, a (...) proof in Frege’s concept-script shows how it goes. (shrink)

Traditional philosophy of mathematics has been concerned with the nature of mathematical objects rather than events. This traditional focus on reified objects is reflected in dominant theories of learning mathematics whereby the learner is meant to acquire familiarity with ideal mathematical objects, such as number, polygon, or tangent. I argue that the concept of event—rather than object—better captures the vitality of mathematics, and offers new ways of thinking about mathematics education. In this paper I draw on two different but related (...) theories of event articulated in the philosophies of Alain Badiou and Gilles Deleuze to argue that the central activity of ‘problem solving’ in mathematics education should be recast in terms of a problematic of events. (shrink)

Wang (_Philosophy & Technology_ 35, 2022) introduces a Foucauldian power account of algorithmic transparency. This short commentary explores when this power account is appropriate. It is first observed that the power account is a constructionist one, and that such accounts often come with both factual and evaluative claims. In an instance of Hume’s law, the evaluative claims do not follow from the factual claims, leaving open the question of how much constructionist commitment (Hacking, 1999) one should have. The concept of (...) acts in equilibrium (Nozick, 1981) is then used to explain how different individuals reading Wang can end up with different evaluative attitudes towards algorithmic transparency, despite factual agreement. The commentary concludes by situating constructionist commitment inside a larger question of how much to think of our actions, identifying conflicting arguments. (shrink)

In this article I concentrate on three issues. First, Graham Oppy’s treatment of the relationship between the concept of infinity and Zeno’s paradoxes lay bare several porblems that must be dealt with if the concept of infinity is to do any intellectual work in philosophy of religion. Here I will expand on some insightful remarks by Oppy in an effort ot adequately respond to these problems. Second, I will do the same regarding Oppy’s treatment of Kant’s first antinomy in the (...) first critique, which deals in part with the question of whether the world had a beginning in time or if time extends infinitely into the past. And third, my examination of these two issues will inform what I have to say regarding a key topic in philosophy of religion: the question regarding the proper relationship between the infinite and the finite in the concept of God. (shrink)

Recent experimental evidence from developmental psychology and cognitive neuroscience indicates that humans are equipped with unlearned elementary mathematical skills. However, formal mathematics has properties that cannot be reduced to these elementary cognitive capacities. The question then arises how human beings cognitively deal with more advanced mathematical ideas. This paper draws on the extended mind thesis to suggest that mathematical symbols enable us to delegate some mathematical operations to the external environment. In this view, mathematical symbols are not only used to (...) express mathematical concepts—they are constitutive of the mathematical concepts themselves. Mathematical symbols are epistemic actions, because they enable us to represent concepts that are literally unthinkable with our bare brains. Using case-studies from the history of mathematics and from educational psychology, we argue for an intimate relationship between mathematical symbols and mathematical cognition. (shrink)

Personal AI assistants are now nearly ubiquitous. Every leading smartphone operating system comes with a personal AI assistant that promises to help you with basic cognitive tasks: searching, planning, messaging, scheduling and so on. Usage of such devices is effectively a form of algorithmic outsourcing: getting a smart algorithm to do something on your behalf. Many have expressed concerns about this algorithmic outsourcing. They claim that it is dehumanising, leads to cognitive degeneration, and robs us of our freedom and autonomy. (...) Some people have a more subtle view, arguing that it is problematic in those cases where its use may degrade important interpersonal virtues. In this article, I assess these objections to the use of AI assistants. I will argue that the ethics of their use is complex. There are no quick fixes or knockdown objections to the practice, but there are some legitimate concerns. By carefully analysing and evaluating the objections that have been lodged to date, we can begin to articulate an ethics of personal AI use that navigates those concerns. In the process, we can locate some paradoxes in our thinking about outsourcing and technological dependence, and we can think more clearly about what it means to live a good life in the age of smart machines. (shrink)

The current status of Beilock and Carr's "execution focus" theory of choking under pressure in performance of a sensorimotor skill is reviewed and assessed, mainly from the perspective of cognitive psychology, and put into the context of a wider range of issues, attempting to take philosophical analysis into account. These issues include other kinds of skills, pre-performance practice, post-performance evaluation and repair, and integrating new and creative achievements into repertoires of heavily practiced routines. The focus is on variation in the (...) demand for reflection versus automaticity across the full gamut of learning and experience, not just game-time performance. Though automaticity remains important and there are many circumstances in which being "in the zone" is good whereas “execution focus” can do harm, it appears that reflective action deserves just as much a place at the performance table as does unreflective action. (shrink)

Some recent arguments for paternalist government interventions have been based in empirical results in psychology and behavioral economics that would seem to show that adult human beings are far removed from the ideals of rationality presupposed by much of philosophical and economic theory. In this paper it is argued that we need to move to a different conception of human decision-making competence than the one that lies behind that common line of philosophical and economic thinking, and which actually still lies (...) in the background of some of these recent approaches to paternalist interventions. An alternative picture of human decision-making competence is outlined and four criteria for identifying areas where paternalist interventions have a basic moral and political legitimacy are then identified on the basis of this picture. (shrink)

People give surprising weight to others’ expectations about their behaviour. I argue the practice of conforming to others’ expectations is ethically well-grounded. A special class of ‘reasonable expectations’ can create prima facie obligations even in cases where the expectations arise from contingent pre-existing practices, and the duty-bearer has not created them, or directly benefited from them. The obligation arises because of the substantial goods that follow from such conformity—goods capable of being endorsed from many different ethical perspectives and implicating key (...) moral factors such as consent, fairness, respect, autonomy, and reciprocity. Given the innumerable situations where such expectations can arise, their ethical significance is critical both practically and philosophically. (shrink)

In the past few years, we have become increasingly focused on technology use that is impulsive, unthinking, and distractive. There has been a strong push to understand such technology use in terms of dopamine addiction. The present article demonstrates the limitations of this so-called neurobehaviorist approach: Not only is it inconsistent in regard to how it understands humans, technologies, and their mutual relationship, it also pathologizes everyday human behaviors. The article proceeds to discuss dual-systems theory, which helpfully discusses impulsive technology (...) use in terms of habit instead of addiction, but can be criticized for its mentalist celebration of conscious control. Finally, the article introduces a phenomenological approach whose conceptualization of habit manifests many of the experiential qualities that we try to capture with addiction, but remains non-pathologizing and opens a space for learning: While tech addiction is bad and must be eliminated, good tech habits can be trained and cultivated. (shrink)

Theories of rational decision making often abstract away from computational and other resource limitations faced by real agents. An alternative approach known as resource rationality puts such matters front and center, grounding choice and decision in the rational use of finite resources. Anticipated by earlier work in economics and in computer science, this approach has recently seen rapid development and application in the cognitive sciences. Here, the theory of rationality plays a dual role, both as a framework for normative assessment (...) and as a source of scientific hypotheses about how mental processes in fact work. The latter project, often called rational analysis, depends for its success on a fine-grained characterization of the computational problem facing a decision maker, which may in turn depend on realistic assumptions about what the relevant agent is like. As a consequence, resource rationality involves a delicate, but often fruitful interplay between the normative and the descriptive. (shrink)

Bertrand Russell: Logic For Russell, Aristotelian syllogistic inference does not do justice to the subject of logic. This is surely not surprising. It may well be something of a surprise, however, to learn that in Russell’s view neither Boolean algebra nor modern quantification theory do justice to the subject. For Russell, logic is a synthetic … Continue reading Russell: Logic →.

The article is aimed at extracting and investigating proper algebraic aspect of the natural legal law system. The metaphorical meaning of the sentence “Law is mathematics of freedom” is transformed into literal one of exact language of rational philosophy of natural legal law. The word “freedom” is recognized as a homonym having exactly four formal-axiological meanings which are nothing but moral-legal-valuefunctions determined by one moral-legal-value-argument. The four functions called “freedom” and the corresponding four functions called “slavery” are precisely defined by (...) tables. Lists of formal-axiological equations of two-valued algebra of natural law-and-morals are generated. The lists make up a discrete mathematical model of the system of natural morals-and-law concerning “freedom” and “slavery”. Within the framework of submitted two-valued algebra of natural law-and-morals, interconnections between natural legal law and natural theology are addressed in general and the nontrivial question “Is God’s slave a slave?” is explicated and answered especially. (shrink)

Much attention has been drawn to the cognitive basis of innovation. While interesting in many ways, this poses the threat of falling back to traditional internalist assumptions with regard to cognition. We oppose the ensuing contrast between internal cognitive processing and external public practices and technologies that such internal cognitive systems might produce and utilize. We argue that innovation is best understood from the gibsonian notion of affordance, and that many innovative practices emerge from the external scaffolding of cognitive processes. (...) The public engageability that allows the disclosure of hidden affordances is not only –not even primarily– a property of cognitive products, but of cognitive processes. We elaborate on this claims by drawing on Dutilh Novaes’ account of formal languages as cognitive technologies and Hutto’s Narrative Practice Hypothesis. This paves the way to sketch some general principles on how to strategically seek for innovation by targeting hidden affordances. (shrink)