A supertask is a task that consists in infinitely many component steps, but which in some sense is completed in a finite amount of time. Supertasks were studied by the pre-Socratics and continue to be objects of interest to modern philosophers, logicians and physicists. The term “super-task” itself was coined by J.F. Thomson (1954). Here we begin with an overview of the analysis of supertasks and their mechanics. We then discuss the possibility of supertasks from the perspective of general relativity.

This article shows a clear sense in which general relativity allows for a type of ‘machine’ that can bring about a spacetime structure suitable for the implementation of ‘supertasks’. 1Introduction2Preliminaries3Malament–Hogarth Spacetimes4Machines5Malament–Hogarth Machines6Conclusion.

One usually identifies a particular collection of geometric objects with the models of general relativity. But within this standard collection lurk ‘physically unreasonable’ models of spacetime. If such models are ruled out, attention can be restricted to some sub-collection of ‘physically reasonable’ models which can be considered a variant theory of general relativity. Since we have yet to identify a privileged sub-collection of ‘physically reasonable’ models, it is helpful to think of ‘general relativity’ in a pluralistic way; we can study (...) a collection of such ‘physically reasonable’ collections of models. (shrink)

Wilhelm (Forthcom Synth 199:6357–6369, 2021) has recently defended a criterion for comparing structure of mathematical objects, which he calls Subgroup. He argues that Subgroup is better than SYM \(^*\), another widely adopted criterion. We argue that this is mistaken; Subgroup is strictly worse than SYM \(^*\). We then formulate a new criterion that improves on both SYM \(^*\) and Subgroup, answering Wilhelm’s criticisms of SYM \(^*\) along the way. We conclude by arguing that no criterion that looks only to the (...) automorphisms of mathematical objects to compare their structure can be fully satisfactory. (shrink)

We discuss some recent work by Tim Maudlin concerning Black Hole Information Loss. We argue, contra Maudlin, that there is a paradox, in the straightforward sense that there are propositions that appear true, but which are incompatible with one another. We discuss the significance of the paradox and Maudlin's response to it.

We show a sense in which the spacetime property of effective completeness—a type of “local hole-freeness” or “local inextendibility”—is not stable.

We consider various curious features of general relativity, and relativistic field theory, in two spacetime dimensions. In particular, we discuss: the vanishing of the Einstein tensor; the failure of an initial-value formulation for vacuum spacetimes; the status of singularity theorems; the non-existence of a Newtonian limit; the status of the cosmological constant; and the character of matter fields, including perfect fluids and electromagnetic fields. We conclude with a discussion of what constrains our understanding of physics in different dimensions.

Leibnizian metaphysics underpins the universally held view that spacetime must be inextendible – that it must be “as large as it can be” in a sense. But here we demonstrate a surprising fact within the context of general relativity: the property of inextendibility turns out to be unstable when attention is restricted to certain collections of “physically reasonable”spacetimes.

What if gravity satisfied the Klein-Gordon equation? Both particle physics from the 1920s-30s and the 1890s Neumann-Seeliger modification of Newtonian gravity with exponential decay suggest considering a "graviton mass term" for gravity, which is _algebraic_ in the potential. Unlike Nordström's "massless" theory, massive scalar gravity is strictly special relativistic in the sense of being invariant under the Poincaré group but not the 15-parameter Bateman-Cunningham conformal group. It therefore exhibits the whole of Minkowski space-time structure, albeit only indirectly concerning volumes. Massive (...) scalar gravity is plausible in terms of relativistic field theory, while violating most interesting versions of Einstein's principles of general covariance, general relativity, equivalence, and Mach. Geometry is a poor guide to understanding massive scalar gravity: matter sees a conformally flat metric due to universal coupling, but gravity also sees the rest of the flat metric in the mass term. What is the 'true' geometry, one might wonder, in line with Poincaré's modal conventionality argument? Infinitely many theories exhibit this bimetric 'geometry,' all with the total stress-energy's trace as source; thus geometry does not explain the field equations. The irrelevance of the Ehlers-Pirani-Schild construction to a critique of conventionalism becomes evident when multi-geometry theories are contemplated. Much as Seeliger envisaged, the smooth massless limit indicates underdetermination of theories by data between massless and massive scalar gravities---indeed an unconceived alternative. At least one version easily could have been developed before General Relativity; it then would have motivated thinking of Einstein's equations along the lines of Einstein's newly re-appreciated "physical strategy" and particle physics and would have suggested a rivalry from massive spin 2 variants of General Relativity. The Putnam-Grünbaum debate on conventionality is revisited with an emphasis on the broad modal scope of conventionalist views. Massive scalar gravity thus contributes to a historically plausible rational reconstruction of much of 20th-21st century space-time philosophy in the light of particle physics. An appendix reconsiders the Malament-Weatherall-Manchak conformal restriction of conventionality and constructs the 'universal force' influencing the causal structure. Subsequent works will discuss how massive gravity could have provided a template for a more Kant-friendly space-time theory that would have blocked Moritz Schlick's supposed refutation of synthetic _a priori_ knowledge, and how Einstein's false analogy between the Neumann-Seeliger-Einstein modification of Newtonian gravity and the cosmological constant \Lambda generated lasting confusion that obscured massive gravity as a conceptual possibility. (shrink)

Reasoning under uncertainty, that is, making judgements with only partial knowledge, is a major theme in artificial intelligence. Professor Paris provides here an introduction to the mathematical foundations of the subject. It is suited for readers with some knowledge of undergraduate mathematics but is otherwise self-contained, collecting together the key results on the subject, and formalising within a unified framework the main contemporary approaches and assumptions. The author has concentrated on giving clear mathematical formulations, analyses, justifications and consequences of the (...) main theories about uncertain reasoning, so the book can serve as a textbook for beginners or as a starting point for further basic research into the subject. It will be welcomed by graduate students and research workers in logic, philosophy, and computer science as a textbook for beginners, a starting point for further basic research into the subject, and not least, an account of how mathematics and artificial intelligence can complement and enrich each other. (shrink)

This book has been considered by academicians and scholars of great significance and value to literature. This forms a part of the knowledge base for future generations. So that the book is never forgotten we have represented this book in a print format as the same form as it was originally first published. Hence any marks or annotations seen are left intentionally to preserve its true nature.

J. B. Schneewind's "The Invention of Autonomy" has been hailed as a major interpretation of modern moral thought. Schneewind's narrative, however, elides several serious interpretive issues, particularly in the transition from late medieval to early modern thought. This results in potentially distorted accounts of Thomas Aquinas, Hugo Grotius, and G. W. Leibniz. Since these thinkers play a crucial role in Schneewind's argument, uncertainty over their work calls into question at least some of Schneewind's larger agenda for the history of ethics.

"The Laws", Plato's most lengthy dialogue, has longbeen regarded as the most comprehensive explanation of the possible consequences of a practical application of his philosophy.We might expect the first question Plato ponders to be "What is Law?" Instead, the question posed is "Who is given the credit for laying down your laws?"We are privy to an interaction between a powerfulstatesman and an Athenian philosopher on theisland of Crete. We watch as a plan for a new political order is worked out (...) that embodiesmany of the issues that we still struggle withtoday, such as the status of women, the statusof homosexuals, the family, criminal law, andthe role of religion in a healthy society.We at Timeless Classic Books hope that you enjoy this ancient thought-provoking story that may change the way you think about modern day issues.(Timeless Classic Books). (shrink)

A splendid edition. Schneewind's illuminating introduction succinctly situates the _Enquiry_ in its historical context, clarifying its relationship to Calvinism, to Newtonian science, and to earlier moral philosophers, and providing a persuasive account of Hume's ethical naturalism. --Martha C. Nussbaum, Brown University.

This anthology contains excerpts from some thirty-two important seventeenth- and eighteenth-century moral philosophers. Including a substantial introduction and extensive bibliographies, the anthology facilitates the study and teaching of early modern moral philosophy in its crucial formative period. As well as well-known thinkers such as Hobbes, Hume, and Kant, there are excerpts from a wide range of philosophers never previously assembled in one text, such as Grotius, Pufendorf, Nicole, Clarke, Leibniz, Malebranche, Holbach and Paley. Originally issued as a two-volume edition in (...) 1990, the anthology is now re-issued with a new foreword by Professor Schneewind, as a one-volume anthology to serve as a companion to his highly successful history of modern ethics, The Invention of Autonomy. The anthology provides many of the sources discussed in The Invention of Autonomy and taken together the two volumes will be an invaluable resource for the teaching of the history of modern moral philosophy. (shrink)

We examine the closure conditions of the probabilistic consequence relation of Hawthorne and Makinson, specifically the outstanding question of completeness in terms of Horn rules, of their proposed (finite) set of rules O. We show that on the contrary no such finite set of Horn rules exists, though we are able to specify an infinite set which is complete.

In the Foundations of the Metaphysics of Morals Kant presented a method for discovering what morality requires us to do in any situation and claimed that it is a method everyone can use. The method consists in testing one's maxim against the requirement stated in the formulations of the categorical imperative. There has been endless discussion of the adequacy of Kant's method in giving moral guidance, but there has been little effort to situate Kant's view of ethical method in its (...) historical context. In this paper I try to do so. I take the label "method of ethics" from the work of Henry Sidgwick. A method of ethics, he says, is any rational procedure by which we determine what it is right for an individual to do or what an individual ought to do. Since the moralists I want to consider do not all think of morality as rational, I shall broaden the notion by saying that a method is any systematic or regular procedure, rational or not, by which we determine what morality requires... (shrink)

We give an account of some relationships between the principles of Constant and Atom Exchangeability and various generalizations of the Principle of Instantial Relevance within the framework of Inductive Logic. In particular we demonstrate some surprising and somewhat counterintuitive dependencies of these relationships on ostensibly unimportant parameters, such as the number of predicates in the overlying language.

In the paper I offer a brief sketch of one of the sources of utilitarianism. Our biological ancestry is a matter of fact that is not altered by the way we describe ourselves. With philosophical theories it is otherwise. Utilitarianism can be described in ways that make it look as if it is as old as moral philosophy – as J. S. Mill thought it was. For my historical purposes, it is more useful to have an account that brings out (...) what is specific about Benthamism and its descendants. Let us try to make do with the following. First, utilitarianism asserts that the fundamental requirement of morality is that we are to maximize good, for everyone and not just for the agent. This basic principle presupposes that it makes sense to think of aggregating goods to make a total, and of comparing amounts of good thus aggregated. Second, the good to be brought about is located in feelings of pleasure, and the evil to be avoided in feelings of pain. These feelings have inherent value or disvalue regardless of how they are caused to exist and regardless of their own consequences. Third, all moral principles can be derived from the requirement that good be maximized. The principles involved in evaluating agents as well as in giving moral direction to action are nothing but applications of the basic principle. (shrink)

In this era of increased polarization of opinion and contentious disagreement, CRITICAL REASONING presents a cooperative approach to critical thinking and formation of beliefs. CRITICAL REASONING emphasizes the importance of developing and applying analytical skills in real life contexts. This book is unique in providing multiple, diverse examples of everyday arguments, both textual and visual, including hard to find long argument passages from real-life sources. The book provides clear, step-by-step procedures to help you decide for yourself what to believe--to be (...) a consumer of information in our contemporary "world of experts.". (shrink)