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)

''There is no doubt that postgraduate students and researchers in cognitive neuroscience will find this book to be a useful tool and I would not hesitate to recommend it... The relatively short length of the essays and their overview of current research, make them ideal reading material for more advanced researchers... The book therefore serves as an ideal starting place for cognitive psychologists who want to know more about cognitive neuroscience.'' -Applied Cognitive Psychology, 16Cognitive neuroscience has been the most productive, (...) and arguably the most exciting area of growth in psychology and neuroscience over recent years, with remarkable insights into the brain mechanisms of cognitive abilities being gained from studies of both animals and humans. Johan Bolhuis has brought together a stellar list of contributors, including, amongst others, Patrick Bateson, Lawrence Weiskrantz, Robert Hinde, Eric Kandel, Mark Johnson, and James McGaugh to provide a truly authoritative and comprehensive overview of our current knowledge of the essential neural mechanisms of perception, learning, and memory. Written to be accessible to advanced undergraduates, and postgraduates, the book describes the latest advances in the most important fields of cognitive neuroscience. Brain, Perception, Memory will be an invaluable reference work and textbook for advanced students and researchers in cognitive psychology, neuroscience, and animal behaviour. (shrink)

Inquiry into language evolution has been controversial, mainly because there is no consensus as to the nature of both ‘evolution’ and ‘language.’ Berwick and Chomsky make sense of the evolution of language by treating it as a biological phenomenon. In contrast to functional characterizations of language as ‘communication’ or ‘speech,’ the authors define it as, essentially, a mind-internal computational mechanism. Within their minimalist approach, hierarchical syntactic structure is achieved through the recursive application of a basic operation called ‘Merge.’ The simplicity (...) of the basic operation is consistent with archeological evidence suggesting an evolutionary recent origin of language. (shrink)

Quartz & Sejnowski's target article concentrates on the development of a number of neural parameters, especially neuronal processes, in the mammalian brain. Data on learning-related changes in spines and synapses in the developing avian brain are consistent with a constructivist interpretation. The issue of an integration of selectionist and constructivist views is discussed.

The prevailing view that there is significant cognitive continuity between humans and other animals is a result of misinterpretations of the role of evolution, combined with anthropomorphism. This combination has often resulted in an over-interpretation of data from animal experiments. Comparative psychology should do what the name indicates: study the cognitive capacities of different species empirically, without naive evolutionary presuppositions.

There are remarkable behavioral, neural, and genetic similarities between the way songbirds learn to sing and human infants learn to speak. Furthermore, the brain regions involved in birdsong learning, perception, and production have been identified and characterized in detail. In particular, the caudal medial nidopallium (the avian analog of the mammalian auditory‐association cortex) has been found to contain the neural substrate of auditory memory, paving the way for analyses of the underlying molecular mechanisms. Recently, the zebra finch genome was sequenced, (...) and annotated cDNA databases representing over 15,000 unique brain‐expressed genes are available, enabling high‐throughput gene expression analyses. Here we review the involvement of immediate early genes (e.g. zenk and arc), their downstream targets (e.g. synapsins), and their regulatory signaling pathways (e.g. MAPK/ERK) in songbird memory. We propose that in‐depth investigations of zenk‐ and ERK‐dependent cascades will help to further unravel the molecular basis of auditory memory. (shrink)

Unlike nonhuman primates, thousands of bird species have articulatory capabilities that equal or surpass those of humans, and they develop their vocalizations through vocal imitation in a way that is very similar to how human infants learn to speak. An understanding of how speech mechanisms have evolved is therefore unlikely to yield key insights into how the human brain is special.

_ Source: _Volume 24, Issue 2, pp 279 - 299 This article provides the first overview of research on the kabbalistic sources of Benedictus de Spinoza. While this topic has not been a major focus in Spinoza research, this article argues that it has both biographical and philosophical relevance for the investigation of Spinoza and the context in which he first conceived of his hallmark ideas. Revisiting the extant historical sources, this article refines the present understanding of the connection between (...) Spinoza and the seventeenth-century kabbalistic circle of Amsterdam and the kabbalistic literature of that time. (shrink)

Spinoza and Education offers a comprehensive investigation into the educational implications of Spinoza’s moral theory. Taking Spinoza’s naturalism as its point of departure, it constructs a considered account of education, taking special care to investigate the educational implications of Spinoza’s psychological egoism. What emerges is a counterintuitive form of education grounded in the egoistic striving of the teacher to persevere and to flourish in existence while still catering to the ethical demands of the students and the greater community. -/- In (...) providing an educational reading of Spinoza’s moral theory, this book sets up a critical dialogue between educational theory and recent studies which highlight the centrality of ethics in Spinoza’s overall philosophy. By placing his work in a contemporary educational context, chapters explore a counterintuitive conception of education as an ethical project, aimed at overcoming the desire to seek short-term satisfaction and troubling the influential concept of the student as consumer. This book also considers how education, from a Spinozistic point of view, may be approached in terms of a kind of cognitive therapy serving to further a more scientifically adequate understanding of the world and aimed at combating prejudices and superstition. -/- Spinoza and Education demonstrates that Spinoza’s moral theory can further an educational ideal, where notions of freedom and self-preservation provide the conceptual core of a coherent philosophy of education. As such, it will appeal to researchers, academics and postgraduate students in the fields of philosophy of education, theory of education, critical thinking, philosophy, ethics, and Spinoza studies. (shrink)

In this dialogue Thomas A and Jeito intuitively discuss the difference between a miracle and a fact. They conclude that the doings of God aren’t miracles.

Education and Free Will critically assesses and makes use of Spinoza’s insights on human freedom to construe an account of education that is compatible with causal determinism without sacrificing the educational goal of increasing students’ autonomy and self-determination. Offering a thorough investigation into the philosophical position of causal determinism, Dahlbeck discusses Spinoza’s view of self-determination and presents his own suggestions for an education for autonomy from a causal determinist point of view. -/- The book begins by outlining the free will (...) problem in education, before expanding on a philosophical understanding of autonomy and how it is seen as an educational ideal. It considers Spinoza’s determinism and discusses his denial of moral responsibility. Later chapters consider the relationship between causal determinism and autonomy, the educational implications of understanding free will and how free will can be utilised as a valuable fiction in education. -/- This book will be of great interest to academics and postgraduate students in the field of education, especially those with an interest in moral education and philosophy of education. It will also be of interest to those in the fields of philosophy and psychology and specifically those focusing on the free will problem, on Spinoza studies, and on the relation between moral psychology and external influence. (shrink)

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, this 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. -/- Readers will benefit from a succinct introduction to Spinoza’s political philosophy and from an account of civic education that is based on careful exegetical work. It draws conclusions only hinted at in Spinoza’s own writings. (shrink)

t. 1. Codes et comités d'éthique -- t. 2. L'expérience québécoise.

1. 1826-1840 -- 2. 1840-1842 -- 3. 1842-1843 -- 4. 1844-1845 -- 5. 1845-1847 -- 6. 1847-1849 -- 7. 1850-1856 -- 8. 1857-1858 -- 9. 1859-1860.

In this dialogue Zhuangzi and Jacob discuss nothing and something and their relation with God.

The purpose of this article is to add to the debate on the normative status and legitimacy of indoctrination in education by drawing on the political philosophy of Benedict Spinoza (1632–1677). More specifically, I will argue that Spinoza’s relational approach to knowledge formation and autonomy, in light of his understanding of the natural limitations of human cognition, provides us with valuable hints for staking out a more productive path ahead for the debate on indoctrination. This article combines an investigation into (...) the early modern history of political ideas with a philosophical inquiry into a persistent conceptual problem residing at the heart of education. As such, the aim of the article is ultimately to offer an account of indoctrination less fraught with the dangers of epistemological and political idealism that often haunt rival conceptions. (shrink)

The article is authored by the Dean of Faculty of Theology at the University of Pretoria, celebrating the Faculty’s centenary in 2017. The exposition of the argument is unfolded on the basis of Ricoeur’s threefold mimesis of prefiguration, configuration and reconfiguration. The earliest decisive statement with regard to the nature of the Faculty, and which is eagerly pursued, was made by the Rev. M.J. Goddefroy in 1888, epitomising theological training as of academic deference, that is as a Faculty at a (...) university and not a seminary. This has been the fibre of Theology at the University of Pretoria and intellectual inquiry is an uncompromised value. The article is a critical reflection on the past century and an orientation towards the next hundred years, identifying the essence of what a real Pretoria Model could and should be and looking ahead to the next century. ‘History is not a destination, but an orientation’, sounds like a refrain in the article. The enterprise is contextual with regard to time and space. The assessment is subsequently done in terms of this continent and this century, that is Africa and the 21st century. The conclusion of the article is that the Pretoria Model fills a unique niche in theological inquiry at public universities competing for a position among the top 500 on the ranking of world universities. (shrink)

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)

This article turns to the neglected pedagogical concept of ingenium in order to address some shortcomings of the admiration–emulation model of Linda Zabzebski’s influential exemplarist moral theory. I will start by introducing the problem of the admiration-emulation model by way of a fictional example. I will then briefly outline the concept of ingenium such as it appears in a Renaissance context, looking particularly at the pedagogical writings of Juan Luis Vives. This will set the stage for the next part, looking (...) at how early modern philosopher Benedict Spinoza adopts a Vivesian notion of ingenium, adjusting it so as to fit into the setting of his political theory. Next, I will turn to Spinoza’s use of the concept of ingenium in relation to his portrayal of exemplary persons, offering a pedagogical model of moral exemplarism that can counter some of the perceived problems of the admiration–emulation model as it highlights the necessary fallibility of efficient exemplars as well as acknowledges the socio-political dimension of emotions. Finally, I will lay out some preliminary consequences for educational theory, hoping to offer a way of reconciling moral exemplarism with a more realistic pedagogical and psychological framework. (shrink)

A variety of logical frameworks have been developed to study rational agents interacting over time. This paper takes a closer look at one particular interface, between two systems that both address the dynamics of knowledge and information flow. The first is Epistemic Temporal Logic (ETL) which uses linear or branching time models with added epistemic structure induced by agents’ different capabilities for observing events. The second framework is Dynamic Epistemic Logic (DEL) that describes interactive processes in terms of epistemic event (...) models which may occur inside modalities of the language. This paper systematically and rigorously relates the DEL framework with the ETL framework. The precise relationship between DEL and ETL is explored via a new representation theorem characterizing the largest class of ETL models corresponding to DEL protocols in terms of notions of Perfect Recall, No Miracles, and Bisimulation Invariance. We then focus on new issues of completeness. One contribution is an axiomatization for the dynamic logic of public announcements constrained by protocols, which has been an open problem for some years, as it does not fit the usual ‘reduction axiom’ format of DEL. Finally, we provide a number of examples that show how DEL suggests an interesting fine-structure inside ETL. (shrink)

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)

ABSTRACTWhile Spinoza stipulates an ideal moral person in the propositions on the ‘free man’ in Ethics IV, this account does not seem to be intended to function as a pedagogical tool of political relevance. Hence, it does not seem to correspond to the purpose of moral exemplarism. If we look for that kind of practical guidance, Spinoza’s political works seem more relevant. Interestingly, when we approach Spinoza’s political theory with moral exemplarism in mind, we find that instead of constructing his (...) exemplar on the idea of a supremely moral person, he emphasizes the concept of ingenium to chisel out an imperfect model of human behavior. We argue that the purpose of this is to avoid a utopian and inefficient political theory and to work out a moral practice that is capable of assisting people and communities in ethical self-transformation. (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)

Immigration is often associated with a situation in which would-be migrants and their countries of origin are put at the mercy of others’ decisions. The main objective of this article is to theorize this ‘being at the mercy’ in light of a republican definition of what freedom is about: the absence of domination. Immigration policy represents instances of domination on a wide spectrum of individuals and political communities. This article focuses on the procedural discretion claimed by states of destination in (...) their relations with would-be migrants. On the basis of a definition of the concept of ‘jurisdiction’, the article distinguishes 4 paradigmatic situations of immigration, which all display situations of domination. In each situation, the state of destination arbitrarily interferes with important interests of individuals and political communities. In light of this argument, existing mechanisms in national, transnational and international settings can be identified and justified as anti-domination measures. The argument offers a blueprint on how to further develop them in preventing domination in immigration. (shrink)

Immigration is often associated with a situation in which would-be migrants and their countries of origin are put at the mercy of others’ decisions. The main objective of this article is to theorize this ‘being at the mercy’ in light of a republican definition of what freedom is about: the absence of domination. Immigration policy represents instances of domination on a wide spectrum of individuals and political communities. This article focuses on the procedural discretion claimed by states of destination in (...) their relations with would-be migrants. On the basis of a definition of the concept of ‘jurisdiction’, the article distinguishes 4 paradigmatic situations of immigration, which all display situations of domination. In each situation, the state of destination arbitrarily interferes with important interests of individuals and political communities. In light of this argument, existing mechanisms in national, transnational and international settings can be identified and justified as anti-domination measures. The argument offers a blueprint on how to further develop them in preventing domination in immigration. (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)

Spinoza’s claim that self-preservation is the foundation of virtue makes for the point of departure of this philosophical investigation into what a Spinozistic model of moral education might look like. It is argued that Spinoza’s metaphysics places constraints on moral education insofar as an educational account would be affected by Spinoza’s denial of the objectivity of moral knowledge, his denial of the existence of free will, and of moral responsibility. This article discusses these challenges in some detail, seeking to construe (...) a credible account of moral education based on the insight that self-preservation is not at odds with benevolence, but that the self-preservation of the teacher is instead conditioned by the intellectual deliberation of the students. However, it is also concluded that while benevolence retains an important place in Spinoza’s ethics, his causal determinism poses a severe threat to a convincing account of moral education insofar as moral education is commonly understood to involve an effort to influence the actions of students relative to some desirable goal. (shrink)

In participatory activities in the workplace, employees are invited to raise problems and suggest improvements to the management. Although it is widely acknowledged that employees rarely control decisions in these settings, little is known about the interactional resources that employees and managers draw upon when negotiating consensus about which initiatives to pursue in the future. We analyse interactions from participatory meetings in an industrial setting in relation to the topic of work shoes, showing how the participants orient to both their (...) relative deontic rights and epistemic rights. The analysis suggests that besides their low deontic status, employees’ fragile epistemic status constitutes an important but overlooked challenge to achieving improved working conditions through the participatory activities. (shrink)

Beneficence is a foundational ethical principle in medicine. To provide benefit to a patient is to promote and protect the patient’s wellbeing, to promote the patient’s interests. But there are different conceptions of wellbeing, emphasizing different values. These conceptions of wellbeing are contrary to one another and give rise to dissimilar ideas of what it means to benefit a patient. This makes the concept of beneficence ambiguous: is a benefit related to the patient’s goals and wishes, or is it a (...) matter of objective criteria that constitute wellbeing? This paper suggests a unified conception of wellbeing for use in medicine to determine what counts as a benefit. Two components of wellbeing are identified: (1) objective functioning/health and (2) the patient’s view of her own good. The paper explores how to apply, balance, and weigh these components in clinical situations to determine what counts as a benefit to a patient. (shrink)

Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class of dynamic-probabilistic (...) logics as well. Finally, we discuss how our basic update rule can be parameterized for different update policies, or learning methods. (shrink)

Classical epistemic logic describes implicit knowledge of agents about facts and knowledge of other agents based on semantic information. The latter is produced by acts of observation or communication that are described well by dynamic epistemic logics. What these logics do not describe, however, is how significant information is also produced by acts of inference—and key axioms of the system merely postulate “deductive closure”. In this paper, we take the view that all information is produced by acts, and hence we (...) also need a dynamic logic of inference steps showing what effort on the part of the agent makes a conclusion explicit knowledge. Strong omniscience properties of agents should be seen not as static idealizations, but as the result of dynamic processes that agents engage in. This raises two questions: (a) how to define suitable information states of agents and matching notions of explicit knowledge, (b) how to define natural processes over these states that generate new explicit knowledge. To this end, we use a static base from the existing awareness literature, extending it into a dynamic system that includes traditional acts of observation, but also adding and dropping formulas from the current ‘awareness’ set. We give a completeness theorem, and we show how this dynamics updates explicit knowledge. Then we extend our approach to multi-agent scenarios where awareness changes may happen privately. Finally, we mention further directions and related approaches. Our contribution can be seen as a ‘dynamification’ of existing awareness logics. (shrink)

A straightforward way to handle moral uncertainty is simply to follow the moral theory in which you have most credence. This approach is known as My Favourite Theory. In this paper, I argue that, in some cases, My Favourite Theory prescribes choices that are, sequentially, worse in expected moral value than the opposite choices according to each moral theory you have any credence in. In addition this, problem generalizes to other approaches that avoid intertheoretic comparisons of value, such as My (...) Favourite Option, the Borda Rule, Variance Normalization, and the Principle of Maximizing Expected Normalized Moral Value. (shrink)

A number of general points behind the story of this paper may be worth setting out separately, now that we have come to the end.There is perhaps one obvious omission to be addressed right away. Although the word “information” has occurred throughout this paper, it must have struck the reader that we have had nothing to say on what information is. In this respect, our theories may be like those in physics: which do not explain what “energy” is (a notion (...) which seems quite similar to “information” in several ways), but only give some basic laws about its behaviour and transmission.The eventual recommendation made here has been to use a broad type-theoretic framework for studying various more classical and more dynamic notions of proposition in their interaction. This is not quite the viewpoint advocated by many current authors in the area, who argue for a whole-sale switch from a ‘static’ to a ‘dynamic’ perspective on propositions. This is not the place, however, to survey the conceptual arguments for and against such a more radical move.This still leaves many questions about possible reductions from one perspective to another. For instance, it would seem that classical systems ought to serve as a ‘limiting case’, which should still be valid after procedural details of some cognitive process have been forgotten. There are various ways of implementing the desired correspondence: e.g. by considering extreme cases with ⫅ equal to identity, or, in the pure relational algebra framework by considering only pairs (x, x). What we shall want then are reductions of dynamic logics, in those special cases, to classical logic. But perhaps also, more sophisticated views are possible. How do we take a piece of ‘dynamic’ prose, remove control instructions and the like, and obtain a piece of ‘classical’ text, suitable for inference ‘in the light of eternity’?There is also a more technical side to the matter of ‘reduction’. By now, Logic has reached such a state of ‘inter-translatability’ that almost all known variant logics can be embedded into each other, via suitable translations. In particular, once an adequate semantic has been given for a new system, this usually induces an embedding into standard logic: as we know, e.g., for the case of Modal Logic. Like-wise, all systems of dynamic interpretation or inference proposed so far admit of direct embedding into an ordinary ‘static’ predicate logic having explicit transition predicates (cf. van Benthem 1988b). Thus, our moral is this. The issue is not whether the new systems of information structure or processing are essentially beyond the expressive resources of traditional logical systems: for, they are not. The issue is rather which interesting phenomena and questions will be put into the right focus by them.The next broad issue concerns the specific use of the perspective proposed here, vis-à-vis concrete proposals for information-oriented or dynamic semantics. The general strategy advocated here is to locate some suitable base calculus and then consider which ‘extras’ are peculiar to the proposal. For instance, this is the spirit in which modal S4 would be a base logic of information models, and intuitionistic logicthe special theory devoting itself to upward persistent propositions. Or, with the examples in Section 4.1, the underlying base logic is our relational algebra, whereas, say, ordinary updates then impose special properties, such as ‘idempotence’: $$xRy \Rightarrow yRy$$ Does this kind of application presuppose the existence of one distinguished base logic, of which all others are extensions? This would be attractive-and some form of relational algebra or linear logic might be a reasonable candidate. Nevertheless, the enterprise does not rest on this outcome. What matters is an increased sensitivity to the ‘landscape’ of dynamic logics, just as with the ‘Categorial Hierarchy’ in Categorial Grammar (cf. van Benthem 1989a, 1991) where the family of logics with their interconnections seems more important than any specific patriarch.Finally, perhaps the most important issue in the new framework is the possibility of new kinds of questions arising precisely because of its differences from standard logic. Notably, given the option of regarding propositions as programs, it will be of interest to consider systematically which major questions about programming languages now make sense inside logic too.EXAMPLE. Correctness. When do we have $$\left[\kern-0.15em\left[ \pi \right]\kern-0.15em\right](\left[\kern-0.15em\left[ A \right]\kern-0.15em\right]) \subseteq \left[\kern-0.15em\left[ B \right]\kern-0.15em\right]$$ for (s, t) propositions A, B and a dynamic (s, (s, t)) proposition π?Program Synthesis. Which dynamic proposition will take us from an information state satisfying A to one satisfying B? (This question needs refinement, lest there be trivial answers.)Determinism. Which propositions as programs are deterministic, in the sense of defining single-valued functions from states to states?Querying. What does it mean to ask for information in the present setting? (Again, individual types referring to e will be crucial here.)This is not merely an agenda for wishful thinking. Within Logic, there are various ways of introducing such concerns into semantics, especially, using tools from Automata Theory. (See van Benthem 1989c for further discussion of such computational perspectives in ‘cognitive programming’.)At least if one believes that ‘dynamics’ is of the essence in cognition (rather than a mere interfacing problem between the halls of eternal truth and the noisy streets of reality), the true test for the present enterprise is the development of a significant new research program not merely copying the questions of old. (shrink)

For many years the prevailing paradigm for medical decision making for children has been the best interest standard. Recently, some authors have proposed that Mill’s “harm principle” should be used to mediate or to replace the best interest standard. This article critically examines the harm principle movement and identifies serious defects within the project of using Mill’s harm principle for medical decision making for children. While the harm principle proponents successfully highlight some difficulties in present-day use of the best interest (...) standard, the use of the harm principle suffers substantial normative and conceptual problems. A medical decision-making framework for children is suggested, grounded in the four principles. It draws on the best interest standard, incorporates concepts of harm, and provides two questions that can act as guide and limit in medical decision making for children. (shrink)