The philosophical debate on miracles in Enlightenment England shows the composite and evolutionary character of the English Enlightenment and, more generally, of the Enlightenment’s relation to religion. In fact, that debate saw the confrontation of divergent positions within the Protestant field and led several deists and freethinkers to resolutely deny the possibility of “things above reason” (i.e. things that, according to such Protestant philosophers as Robert Boyle and John Locke, human reason can neither comprehend nor refute, and that humanity must (...) thus receive as supernatural). In their attacks on miracles, the deists adopted various strategies, which can be classified in two main groups. On the one hand, Charles Blount, John Toland, Anthony Collins, Thomas Woolston, and Peter Annet, although employing different concepts of reason and having different views of God and nature, rejected miracles on the basis that God is unable to contravene the eternal, immutable, and mechanical laws of nature. On the other, William Wollaston, Matthew Tindal, Thomas Chubb, and Thomas Morgan, whose theories on natural religion presented striking similarities, saw God as unwilling to interpose in human or natural affairs. They shunned the possibility of miraculous events while simultaneously acknowledging the presence and efficacy of divine providence in the government of the universe. In other words, they considered God as the active governor of the universe, rather than a distant and inert clockmaker removed from his Creation, but they held that God would not suspend the laws of nature, in which his impartial wisdom, forethought, and goodness found perfect expression. (shrink)

There is a long history of the science of intelligent machines and its potential to provide scientific insights have been debated since the dawn of AI. In particular, there is renewed interest in the role of AI in research and research policy as an enabler of new methods, processes, management and evaluation which is still relatively under-explored. This empirical paper explores interviews with leading scholars on the potential impact of AI on research practice and culture through deductive, thematic analysis to (...) show the issues affecting academics and universities today. Our interviewees identify positive and negative consequences for research and researchers with respect to _collective_ and _individual use_. AI is perceived as helpful with respect to information gathering and other narrow tasks, and in support of impact and interdisciplinarity. However, using AI as a way of ‘speeding up—to keep up’ with bureaucratic and metricised processes, may proliferate negative aspects of academic culture in that the expansion of AI in research should assist and not replace human creativity. Research into the future role of AI in the research process needs to go further to address these challenges, and ask fundamental questions about how AI might assist in providing new tools able to question the values and principles driving institutions and research processes. We argue that to do this an explicit movement of meta-research on the role of AI in research should consider the effects for research and researcher creativity. Anticipatory approaches and engagement of diverse and critical voices at policy level and across disciplines should also be considered. (shrink)

Big Ideas for Little Kids includes everything a teacher, a parent, or a college student needs to teach philosophy to elementary school children from picture books. Written in a clear and accessible style, the book explains why it is important to allow young children access to philosophy during primary-school education. Wartenberg also gives advice on how to construct a "learner-centered" classroom, in which children discuss philosophical issues with one another as they respond to open-ended questions by saying whether they agree (...) or disagree with what others have said. (shrink)

Contemporary epistemologists of education have raised concerns about the distorting effects of some of the processes and structures of contemporary academia on the epistemic practice and character of academic researchers. Such concerns have been articulated using the concept of epistemic corruption. In this paper, we lend credibility to these theoretically-motivated concerns using the example of the research impact agenda during the period 2012-2014. Interview data from UK and Australian academics confirms the impact agenda system, at its inception, facilitated the development (...) and exercise of epistemic vices. As well as vindicating theoretically-motivated claims about epistemic corruption, inclusion of empirical methods and material can help us put the concept to work in ongoing critical scrutiny of evolving forms of the research impact agenda. (shrink)

We examine the reverse mathematics and computability theory of a form of Ramsey's theorem in which the linear n-tuples of a binary tree are colored.

We establish that for every computably enumerable (c.e.) Turing degree b the upper cone of c.e. Turing degrees determined by b is the degree spectrum of the successor relation of some computable linear ordering. This follows from our main result, that for a large class of linear orderings the degree spectrum of the successor relation is closed upward in the c.e. Turing degrees.

Stories are an important indicator of our vision of the future. In the case of artificial intelligence, dominant stories are polarized between notions of threat and myopic solutionism. The central storytellers—big tech, popular media, and authors of science fiction—represent particular demographics and motivations. Many stories, and storytellers, are missing. This paper details the accounts of missing AI narratives by leading scholars from a range of disciplines interested in AI Futures. Participants focused on the gaps between dominant narratives and the untold (...) stories of the capabilities, issues, and everyday realities of the technology. One participant proposed a “story crisis” in which these narratives compete to shape the public discourse on AI. Our findings indicate that dominant narratives distract and mislead public understandings and conceptions of AI. This suggests a need to pay closer attention to missing AI narratives. It is not simply about telling new stories, it is about listening to existing stories and asking what is wanted from AI. We call for realistic, nuanced, and inclusive stories, working with and for diverse voices, which consider story-teller; genre, and communicative purpose. Such stories can then inspire the next generation of thinkers, technologists, and storytellers. (shrink)

v. 1. Editorial introduction -- v. 2. The English and Latin texts (i) -- v. 3. The English and Latin texts (ii).

We study the weak truth-table and truth-table degrees of the images of subsets of computable structures under isomorphisms between computable structures. In particular, we show that there is a low c.e. set that is not weak truth-table reducible to any initial segment of any scattered computable linear ordering. Countable $\Pi _{1}^{0}$ subsets of 2ω and Kolmogorov complexity play a major role in the proof.

We study the implications of model completeness of a theory for the effectiveness of presentations of models of that theory. It is immediate that for a computable model A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {A}$$\end{document} of a computably enumerable, model complete theory, the entire elementary diagram E\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$E$$\end{document} must be decidable. We prove that indeed a c.e. theory T is model complete if and only if there is a (...) uniform procedure that succeeds in deciding E\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$E$$\end{document} from the atomic diagram Δ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varDelta $$\end{document} for all countable models A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {A}$$\end{document} of T. Moreover, if every presentation of a single isomorphism type A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {A}$$\end{document} has this property of relative decidability, then there must be a procedure with succeeds uniformly for all presentations of an expansion \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$$$\end{document} by finitely many new constants. (shrink)

We study the relationship between algebraic structures and their inverse semigroups of partial automorphisms. We consider a variety of classes of natural structures including equivalence structures, orderings, Boolean algebras, and relatively complemented distributive lattices. For certain subsemigroups of these inverse semigroups, isomorphism of the subsemigroups yields isomorphism of the underlying structures. We also prove that for some classes of computable structures, we can reconstruct a computable structure, up to computable isomorphism, from the isomorphism type of its inverse semigroup of computable (...) partial automorphisms. (shrink)

In this book, T. M. Scanlon offers new answers to these questions, as they apply to the central part of morality that concerns what we owe to each other.

Rational Theology and Metaphysics THERE are many approaches to the study of religion. The present work will be confined to a philosophical examination of ...

This paper is an exposition and evaluation of the Agustín Rayo's views about the epistemology and metaphysics of mathematics, as they are presented in his book The Construction of Logical Space.

This volume is a study of the influence of Timaeus on the development of Western cosmology in three axial periods of European culture: Late Antiquity, Middle Ages and Renaissance.

Thomas Reid is now recognized as one of the towering figures of the Enlightenment. Best known for his published writings on epistemology and moral theory, he was also an accomplished mathematician and natural philosopher, as an earlier volume of his manuscripts edited by Paul Wood for the Edinburgh Reid Edition, Thomas Reid on the Animate Creation, has shown. The Correspondence of Thomas Reid collects all of the known letters to and from Reid in a fully annotated form. (...) Letters already published by Sir William Hamilton and others have been reedited, and roughly half of the letters included appear in print for the first time. Writing in 1802, Reid's disciple and biographer Dugald Stewart doubted that Reid's correspondence &"would be generally interesting.&" This collection proves otherwise, for the letters illuminate virtually every aspect of Reid's life and career and, in some instances, provide us with invaluable evidence about activities otherwise undocumented in his manuscripts or published works. Through his correspondence we can trace Reid's relations with contemporaries such as David Hume and his colleagues at both King's College, Aberdeen, and the University of Glasgow, as well as his engagement with the most controversial philosophical, scientific, and political issues of his day. If anything, the letters assembled here serve as the starting point for understanding Reid and his place in the Enlightenment. (shrink)

We consider whether given a simple, finite description of a group in the form of an algorithm, it is possible to algorithmically determine if the corresponding group has some specified property or not. When there is such an algorithm, we say the property is recursively recognizable within some class of descriptions. When there is not, we ask how difficult it is to detect the property in an algorithmic sense. We consider descriptions of two sorts: first, recursive presentations in terms of (...) generators and relators, and second, algorithms for computing the group operation. For both classes of descriptions, we show that a large class of natural algebraic properties, Markov properties, are not recursively recognizable, indeed they are \-hard to detect in recursively presented groups and \-hard to detect in computable groups. These theorems suffice to give a sharp complexity measure for the detection problem of a number of typical group properties, for example, being abelian, torsion-free, orderable. Some properties, like being cyclic, nilpotent, or solvable, are much harder to detect, and we give sharp characterizations of the corresponding detection problems from a number of them. We give special attention to orderability properties, as this was a main motivation at the beginning of this project. (shrink)

Feeling good: four ways -- Finding that feeling -- The place of pleasure -- Knowing what's what -- Making things happen -- Being good -- Love and friendship -- Putting it together.

Existing research suggests that people's judgments of actual causation can be influenced by the degree to which they regard certain events as normal. We develop an explanation for this phenomenon that draws on standard tools from the literature on graphical causal models and, in particular, on the idea of probabilistic sampling. Using these tools, we propose a new measure of actual causal strength. This measure accurately captures three effects of normality on causal judgment that have been observed in existing studies. (...) More importantly, the measure predicts a new effect ("abnormal deflation"). Two studies show that people's judgments do, in fact, show this new effect. Taken together, the patterns of people's causal judgments thereby provide support for the proposed explanation. (shrink)

We report data from an experiment using stimuli designed to differ in their availability for processing by the dorsal visual pathway, but which were equivalent in tasks mediated by the ventral pathway. When movements are made to these stimuli as targets, there are clear effects early in the movement. These effects appear at odds with the planning–control model of Glover.

This book is a fiftieth anniversary republication of Thomas Nagel's "What Is It Like to Be a Bat?", a classic in the philosophy of mind. Through its argument for the irreducible subjectivity of consciousness, it played an essential role in making the study of consciousness a central part of philosophy, psychology, and neuroscience. It also spurred the now flourishing scientific attention to the consciousness of non-human creatures: mammals, birds, fish, mollusks, and insects. The book also includes a second essay (...) offering Nagel's more recent thoughts on the most promising positive response to the mind-body problem, as posed in the original essay. (shrink)

Thomas Hill, a leading figure in the recent development of Kantian moral philosophy, presents a set of essays exploring the implications of basic Kantian ideas for practical issues. The first part of the book provides background in central themes in Kant's ethics; the second part discusses questions regarding human welfare; the third focuses on moral worth-the nature and grounds of moral assessment of persons as deserving esteem or blame. Hill shows moral, political, and social philosophers just how valuable moral (...) theory can be in addressing practical matters. (shrink)

Respect, Pluralism, and Justice is a series of essays which sketches a broadly Kantian framework for moral deliberation, and then uses it to address important social and political issues. Hill shows how Kantian theory can be developed to deal with questions about cultural diversity, punishment, political violence, responsibility for the consequences of wrongdoing, and state coercion in a pluralistic society.

Typically, nudging is a technique for steering the choices of people without giving reasons or using enforcement. In benevolent cases, it is used when people are insufficiently responsive to reason. The nudger triggers automatic cognitive mechanisms – sometimes even biases – in smart ways in order to push irrational people in the right direction. Interestingly, this technique can also be applied to doxastic attitudes. Someone who is doxastically unresponsive to evidence can be nudged into forming true beliefs or doxastic attitudes (...) that are propositionally justified. When doxastic nudging uses non-rational mechanisms, the worry is that nudging cannot result in justified beliefs or knowledge, as the resulting doxastic attitudes lack the right kind of basis. In this paper, I will argue that given the right background views about knowledge, justified beliefs and the relevant processes, epistemic nudging is possible even in these cases. That is, all kinds of nudging can – in appropriate circumstances – produce justified beliefs or knowledge in the nudgee. (shrink)

Nietzsche is often regarded as a paradigmatically anti-theoretical philosopher. Bernard Williams has said that Nietzsche is so far from being a theorist that his text “is booby-trapped not only against recovering theory from it, but, in many cases, against any systematic exegesis that assimilates it to theory.” Many would apply this view especially to Nietzsche’s moral philosophy. They would say that even when he is making positive normative claims, as against just criticizing existing morality, his claims have neither the content (...) nor the organization characteristic of moral theory. (shrink)

The word “emotion” has named a psychological category and a subject for systematic enquiry only since the 19th century. Before then, relevant mental states were categorised variously as “appetites,” “passions,” “affections,” or “sentiments.” The word “emotion” has existed in English since the 17th century, originating as a translation of the French émotion, meaning a physical disturbance. It came into much wider use in 18th-century English, often to refer to mental experiences, becoming a fully fledged theoretical term in the following century, (...) especially through the influence of two Scottish philosopher-physicians, Thomas Brown and Charles Bell. This article relates this intellectual and semantic history to contemporary debates about the usefulness and meaning of “emotion” as a scientific term. (shrink)