This book is a philosophical enquiry into the educational consequences of Spinoza’s political theory. Spinoza’s political theory is of particular interest for educational thought as it brings together the normative aims of his ethical theory with his realistic depiction of human psychology and the ramifications of this for successful political governance. As such, the book aims to introduce the reader to Spinoza’s original vision of civic education, as a project that ultimately aims at the ethical flourishing of individuals, while being (...) carefully tailored and adjusted to the natural limitations of human reason. This author-meets-critics includes scholars in philosophy, education and Spinoza studies. (shrink)

According to Longtermism, our acts’ expected influence on the expected value of the world is mainly determined by their effects in the far future. There is, given total utilitarianism, a straightforward argument for Longtermism due to the enormous number of people that might exist in the future, but this argument does not work on person-affecting views. In this paper, we will argue that these views might also lead to Longtermism if Prudential Longtermism is true. Prudential Longtermism holds for a person (...) if and only if our acts’ overall influence on that person’s expected well-being is mainly determined by the acts’ effects in the far future. We argue that (due to a small chance of anti-ageing and uploading) there could be an enormous amount of prudential value for some contemporary person in the far future and that value may be so large that it dominates their overall expectation of lifetime well-being. (shrink)

Suppose that you prefer A to B, B to C, and C to A. Your preferences violate Expected Utility Theory by being cyclic. Money-pump arguments offer a way to show that such violations are irrational. Suppose that you start with A. Then you should be willing to trade A for C and then C for B. But then, once you have B, you are offered a trade back to A for a small cost. Since you prefer A to B, you (...) pay the small sum to trade from B to A. But now you have been turned into a money pump. You are back to the alternative you started with but with less money. This Element shows how each of the axioms of Expected Utility Theory can be defended by money-pump arguments of this kind. The Element also defends money-pump arguments from the standard objections to this kind of approach. This title is also available as Open Access on Cambridge Core. (shrink)

Many logical systems today describe intelligent interacting agents over time. Frameworks include Interpreted Systems (IS, Fagin et al. [8]), Epistemic-Temporal Logic (ETL, Parikh & Ramanujam [22]), STIT (Belnap et al. [5]), Process Algebra and Game Semantics (Abramsky [1]). This variety is an asset, as different modeling tools can be fine-tuned to specific applications. But it may also be an obstacle, when barriers between paradigms and schools go up. This paper takes a closer look at one particular interface, between two systems (...) that both address the dynamics of knowledge and information flow in multi-agent systems. One is IS/ETL (IS and ETL are, from a technical point of view, the same up to model transformations, cf. [20]), which uses linear or branching time models with added epistemic structure induced by agents’ different capabilities for observing events. These models provide a Grand Stage where histories of some process unfold constrained by a protocol, and a matching epistemic-temporal language describes what happens. The other framework is Dynamic Epistemic Logic (DEL, [10, 4, 34]) that describes interactive processes in terms of epistemic event models which may occur inside modalities of the language. Temporal evolution is then computed from some initial epistemic model through a process of successive ‘product updates’. It has long been unclear how to best compare IS/ETL and DEL. Various aspects have been investigated in [10, 30, 32], but in this paper, we study the interface in a more systematic way. Often, DEL and ETL are presented as alternative ways of adding dynamics to multi-agent epistemic models. In this paper, we rather focus on how merging the two different modeling choices leads to interesting new questions. Our leading interest here will be a view of informational processes as evolving over time. To see what we mean, consider the simplest version of DEL, viz. the logic of public announcements PAL ([23]) which adds a very specific type of communicative 1 action to epistemic models: a public announcement.. (shrink)

This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is essential, (...) and often stressing Johan van Benthem's pioneering work in establishing this program. However, this is not a Festschrift, but a rich tapestry for a field with a wealth of strands of its own. The reader will see the state of the art in such topics as information update, belief change, preference, learning over time, and strategic interaction in games. Moreover, no tight boundary has been enforced, and some chapters add more general mathematical or philosophical foundations or links to current trends in computer science. The theme of this book lies at the interface of many disciplines. Logic is the main methodology, but the various chapters cross easily between mathematics, computer science, philosophy, linguistics, cognitive and social sciences, while also ranging from pure theory to empirical work. Accordingly, the authors of this book represent a wide variety of original thinkers from different research communities. And their interconnected themes challenge at the same time how we think of logic, philosophy and computation. Thus, very much in line with van Benthem's work over many decades, the volume shows how all these disciplines form a natural unity in the perspective of dynamic logicians (broadly conceived) exploring their new themes today. And at the same time, in doing so, it offers a broader conception of logic with a certain grandeur, moving its horizons beyond the traditional study of consequence relations. (shrink)

A series of experiments was performed in which subjects indicated whether two four-dot patterns were the same, although possibly viewed from different directions, or different, paired at random. Analyses of responses times and error rates suggest that the subjects' performance in this affine matching task is based on non-accidental properties such as convexity, parallelism, collinearity, and proximity, rather than on real affine invariants such as the ratio of triangular areas.

Scholars have long been captivated by the parallels between birdsong and human speech and language. In this book, leading scholars draw on the latest research to explore what birdsong can tell us about the biology of human speech and language and the consequences for evolutionary biology. They examine the cognitive and neural similarities between birdsong learning and speech and language acquisition, considering vocal imitation, auditory learning, an early vocalization phase, the structural properties of birdsong and human language, and the striking (...) similarities between the neural organization of learning and vocal production in birdsong and human speech. After outlining the basic issues involved in the study of both language and evolution, the contributors compare birdsong and language in terms of acquisition, recursion, and core structural properties, and then examine the neurobiology of song and speech, genomic factors, and the emergence and evolution of language. Contributors: Hermann Ackermann, Gabriël J.L. Beckers, Robert C. Berwick, Johan J. Bolhuis, Noam Chomsky, Frank Eisner, Martin Everaert, Michale S. Fee, Olga Fehér, Simon E. Fisher, W. Tecumseh Fitch, Jonathan B. Fritz, Sharon M.H. Gobes, Riny Huijbregts, Eric Jarvis, Robert Lachlan, Ann Law, Michael A. Long, Gary F. Marcus, Carolyn McGettigan, Daniel Mietchen, Richard Mooney, Sanne Moorman, Kazuo Okanoya, Christophe Pallier, Irene M. Pepperberg, Jonathan F. Prather, Franck Ramus, Eric Reuland, Constance Scharff, Sophie K. Scott, Neil Smith, Ofer Tchernichovski, Carel ten Cate, Christopher K. Thompson, Frank Wijnen, Moira Yip, Wolfram Ziegler, Willem Zuidema. (shrink)

Prolegomena It is fitting to begin this book on intuitionistic type theory by putting the subject matter into perspective. The purpose of this chapter is to ...

John Locke’s account of personal identity is usually thought to have been proved false by Thomas Reid’s simple ‘Gallant Officer’ argument. Locke is traditionally interpreted as holding that your having memories of a past person’s thoughts or actions is necessary and sufficient for your being identical to that person. This paper argues that the traditional memory interpretation of Locke’s account is mistaken and defends a memory continuity view according to which a sequence of overlapping memories is necessary and sufficient for (...) personal identity. On this view Locke is not vulnerable to the Gallant Officer argument. (shrink)

This article develops a new measure of freedom of choice based on the proposal that a set offers more freedom of choice than another if, and only if, the expected degree of dissimilarity between a random alternative from the set of possible alternatives and the most similar offered alternative in the set is smaller. Furthermore, a version of this measure is developed, which is able to take into account the values of the possible options.

This is the first book in the series Rebooting Science 1 based on E-theory, a novel line of theory that aims at "rebooting" science, giving it a new start. If you dive into it be prepared with an open mind and patience. In this introduction you are let in on a struggle to defend what science seems incapable of defending, our mortal but immaterial soul, our very subject. In Rebooting Science 1.0 Johan Gamper publishes the first part of the (...) theoretical structure that lies behind his seminal paper from 2017, On a Loophole in Causal Closure, where he proved that our mind can be viewed as separate from our brain without violating the basic rules of science. The unrevised manuscript e-theory from the mid-nineties is commented to explain its impact on the most fundamental levels of science. Its original understanding of objects and dimensions opens up for new perspectives on ourselves and the world around us. (shrink)

The scientific advances made in the last two centuries have drastically improved the quality and structure of human existence. Exploring the history of that technological progress, and the numerous and complex elements that propelled its development, the _Encyclopedia of Technological Progress_ attempts to comprehensively classify the theories and hypotheses proposed in modern human history on the effects, meaning, and control of these advances. This massive and learned reference work draws on a wide range of disciplines in its study of technological (...) development, including philosophy, sociology, theology, history, and literature, as well as writings found in newspapers, political speeches, letters, and sermons, among other sources. “It is exceedingly important... that we should seek to understand more deeply the nature of technological development and very timely that this book should have appeared now to give distance and perspective to our efforts in this direction.”—Alexander King, president of the Club of Rome. (shrink)

In this huge study the author presents a systematic and thematic overview of all concepts and ideas, that are basic and gave shape to Western thinking about history: Jewish and Christian concepts of redemptive history, particularism vs. universal concepts, ethnocentric concepts, typology, eschatology and the apocalyptic. He considers concepts of history in the Classical Age, the Middle Ages, Reformation, the Age of Enlightenment, the Romantic Age, Humanism, Positivism, the impact of the Holocaust and Postmodernism. He offers a critical treatment of (...) themes as the periodizing of history, continuity and discontinuity, optimistic and pessimistic theories, repetitive and non-repetitive theories. (shrink)

An eclectic and civilizationally rich theory of grand social change is the objective of this collection of essays focusing on historians--from Ibn Khaldun to Oswald Spengler and from Piritim Sorokin to Arnold Toynbee--who have helped shape our way of conceiving of ourselves.

Inleiding tot de filosofie, ethiek en godsdienst.

This commentary provides valuable insight into the basic tenets of an unknown sect from the formative years of Hellenistic Pythagoreanism, a movement which had a major impact on the morality and philosophy of the Greco-Roman world.

Enacting an AI system typically requires three iterative phases where AI engineers are in command: selection and preparation of the data, selection and configuration of algorithmic tools, and fine-tuning of the different parameters on the basis of intermediate results. Our main hypothesis is that these phases involve practices with ethical questions. This paper maps these ethical questions and proposes a way to address them in light of a neo-republican understanding of freedom, defined as absence of domination. We thereby identify different (...) types of responsibility held by AI engineers and link them to concrete suggestions on how to improve professional practices. This paper contributes to the literature on AI and ethics by focusing on the work necessary to configure AI systems, thereby offering an input to better practices and an input for societal debates. (shrink)

Bayesian models are often criticized for postulating computations that are computationally intractable (e.g., NP-hard) and therefore implausibly performed by our resource-bounded minds/brains. Our letter is motivated by the observation that Bayesian modelers have been claiming that they can counter this charge of “intractability” by proposing that Bayesian computations can be tractably approximated. We would like to make the cognitive science community aware of the problematic nature of such claims. We cite mathematical proofs from the computer science literature that show intractable (...) Bayesian computations, such as postulated in existing Bayesian models, cannot be tractably approximated. This does not mean that human brains do not (or cannot) implement the type of algorithms that Bayesian modelers are advancing, but it does mean that proposing that they do by itself does nothing to parry the charge of intractability, because the postulated algorithms are as intractable (i.e., require exponential time) as the computations they try to approximate. Besides our negative message for the community, our letter also makes a positive contribution by referring to a methodology that Bayesian modelers can use to try and parry the charge of intractability in a mathematically sound way. (shrink)

One might think that money pumps directed at agents with cyclic preferences can be avoided by foresight. This view was challenged two decades ago by the discovery of a money pump with foresight, which works against agents who use backward induction. But backward induction implausibly assumes that the agent would act rationally and retain her trust in her future rationality even at choice nodes that could only be reached if she were to act irrationally. This worry does not apply to (...) BI-terminating decision problems, where at each choice node backward induction prescribes a move that terminates further action. For BI-terminating decision problems, it is enough to assume that rationality and trust in rationality are retained at choice nodes reachable by rational moves. The old money pump with foresight was not BI-terminating. In this paper, we present a new money pump with foresight, one that is both BI-terminating and considerably simpler. (shrink)

The genetically manipulated organism crisis demonstrated that technological development based solely on the law of the marketplace and State protection against serious risks to health and safety is no longer a warrant of ethical acceptability. In the first part of our paper, we critique the implicitly individualist social-acceptance model for State regulation of technology and recommend an interdisciplinary approach for comprehensive analysis of the impacts and ethical acceptability of technologies. In the second part, we present a framework for the analysis (...) of impacts and acceptability, devised—with the goal of supporting the development of specific nanotechnological applications—by a team of researchers from various disciplines. At the conceptual level, this analytic framework is intended to make explicit those various operations required in preparing a judgement about the acceptability of technologies that have been implicit in the classical analysis of toxicological risk. On a practical level, we present a reflective tool that makes it possible to take into account all the dimensions involved and understand the reasons invoked in determining impacts, assessing them, and arriving at a judgement about acceptability. (shrink)