We provide a new interpretation of Zeno’s Paradox of Measure that begins by giving a substantive account, drawn from Aristotle’s text, of the fact that points lack magnitude. The main elements of this account are (1) the Axiom of Archimedes which states that there are no infinitesimal magnitudes, and (2) the principle that all assignments of magnitude, or lack thereof, must be grounded in the magnitude of line segments, the primary objects to which the notion of linear magnitude applies. Armed (...) with this account, we are ineluctably driven to introduce a highly constructive notion of (outer) measure based exclusively on the total magnitude of potentially infinite collections of line segments. The Paradox of Measure then consists in the proof that every finite or potentially infinite collection of points lacks magnitude with respect to this notion of measure. We observe that the Paradox of Measure, thus understood, troubled analysts into the 1880’s, despite their knowledge that the linear continuum is uncountable. The Paradox was ultimately resolved by Borel in his thesis of 1893, as a corollary to his celebrated result that every countable open cover of a closed line segment has a finite sub-cover, a result he later called the “First Fundamental Theorem of Measure Theory.” This achievement of Borel has not been sufficiently appreciated. We conclude with a metamathematical analysis of the resolution of the paradox made possible by recent results in reverse mathematics. (shrink)

This chapter contains sections titled: Validity in the Finite Model Theory in the Finite? Definability and Complexity First‐Order Definability Second‐Order Definability Inductive Definability Infinitary Logics Random Graphs and 0–1 Laws.

We describe a logic of preference in which modal connectives reflect reasons to desire that a sentence be true. Various conditions on models are introduced and analyzed.

Alternative models of idealized scientific inquiry are investigated and compared. Particular attention is devoted to paradigms in which a scientist is required to determine the truth of a given sentence in the structure giving rise to his data.

The presence of nonobservational vocabulary is shown to be necessary for wide application of a conservative principle of theory revision.

This paper provides a mathematical model of scientific discovery. It is shown in the context of this model that any discovery problem that can be solved by a computable scientist can be solved by a computable scientist all of whose conjectures are finitely axiomatizable theories.

A model of idealized scientific inquiry is presented in which scientists are required to infer the nature of the structure that makes true the data they examine. A necessary and sufficient condition is presented for scientific success within this paradigm.

We consider drawbacks to scientific methods that prefer simple hypotheses to complex ones that cover the same data. The discussion proceeds in the context of a precise model of scientific inquiry.

Criteria of approximate scientific success are defined within a formal paradigm of empirical inquiry. One consequence of aiming for less than perfect truth is examined.

A criterion of adequacy is proposed for theories of relevant consequence. According to the criterion, scientists whose deductive reasoning is limited to some proposed subset of the standard consequence relation must not thereby suffer a reduction in scientific competence. A simple theory of relevant consequence is introduced and shown to satisfy the criterion with respect to a formally defined paradigm of empirical inquiry.

This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics (...) to gain insight into phenomena in complexity theory and combinatorics. The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraissé pebble game, as a powerful way to analyze the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and treewidth, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research into finite model theory, and all readers will experience the excitement of a vibrant area of the application of logic to computer science. (shrink)

This note investigates the class of finite initial segments of the cumulative hierarchy of pure sets. We show that this class is first-order definable over the class of finite directed graphs and that this class admits a first-order definable global linear order. We apply this last result to show that FO = FO.

A paradigm of scientific discovery is defined within a first-order logical framework. It is shown that within this paradigm there exists a formal scientist that is Turing computable and universal in the sense that it solves every problem that any scientist can solve. It is also shown that universal scientists exist for no regular logics that extend first-order logic and satisfy the Löwenheim-Skolem condition.

We examine the prospects for finding “best possible” or “ideal” computing machines for various learning tasks. For this purpose, several precise senses of “ideal machine” are considered within the context of formal learning theory. Generally negative results are provided concerning the existence of ideal learning‐machines in the senses considered.

Response to Mark Weinstein's "Reason and the Child." Questions the connection between "rationality" and children's moral status.

ON DECEMBER 10, 1991 Charles Shonubi, a Nigerian citizen but a resident of the USA, was arrested at John F. Kennedy International Airport for the importation of heroin into the United States.1 Shonubi's modus operandi was ``balloon swallowing.'' That is, heroin was mixed with another substance to form a paste and this paste was sealed in balloons which were then swallowed. The idea was that once the illegal substance was safely inside the USA, the smuggler would pass the balloons and (...) recover the heroin. On the date of his arrest, Shonubi was found to have swallowed 103 balloons containing a total of 427.4 grams of heroin. There was little doubt about Shonubi's guilt. In fact, there was considerable evidence that he had made at least seven prior heroin-smuggling trips to the USA (although he was not tried for these). In October 1992 Shonubi was convicted in a United States District Court for possessing and importing heroin. Although the conviction was only for crimes associated with Shonubi's arrest date of December 10, 1991, the sentencing judge, Jack B. Weinstein, also made a ®nding that Shonubi had indeed made seven prior drug-smuggling trips to the USA. The interesting part of this case was in the sentencing. According to the federal sentencing guidelines, the sentence in cases such as this should depend on the total quantity of heroin involved. This instruction was interpreted rather broadly.. (shrink)

This is a review of the film Big Eyes. Adapted from a true story about artist Margaret Keane, the overarching theme of the movie is plagiarism. While most people think of written works such as books and articles being plagiarized, Big Eyes gives viewers insight into the world of stolen works of visual art, namely paintings. The victim finds moral courage through religion, while the thief lives in denial until death. Anyone with an interest in art, law, or psychiatry will (...) enjoy what Big Eyes has to offer. (shrink)

Physicians have an ethical responsibility to their patients to offer the best available medical care. This responsibility conflicts with their role as gatekeepers of the limited health care resources available for all patients collectively. It is ethically untenable to expect doctors to face this trade-off during each patient encounter; the physician cannot be expected to compromise the wellbeing of the patient in the office in favour of anonymous patients elsewhere. Hence, as in other domains of public policy where individual and (...) collective interests conflict, some form of collective solution is required. Collective solutions may take the form of placing explicit resource constraints on resources available to physicians, or clinical practice guidelines that recognise cost-effective care as acceptable. Such solutions will be politically and ethically sustainable only if patients as citizens of the larger population accept the need for rationing of limited resources in health care. (shrink)

In Group Psychology and the Analysis of the Ego Freud addresses the problem of how groups are formed or of how society is possible. The question of the possibility of society presupposes that in some sense human beings are not thoroughly social beings, that they must agree to or be made to participate in a common life in which they submit to general principles regulating their conduct towards one another. The notion that the grounds for social order cannot be taken (...) for granted originates in the beginnings of modern thought, particularly in Hobbes’ Leviathan, in which the classical idea that human beings are essentially social and political animals is rejected in favor of the view that the individual is in a basic sense independent of society and opposed to it, and that society is merely a conventional unity. For Hobbes, society is primarily a defensive alliance guaranteed by fear of a sovereign who constitutes a legal order. Social order, then, is imposed externally on the individual, who submits to regulation only on the basis of prudence. The history of thought about the problem of order after Hobbes’ initial attempt to resolve it is a development of more refined motives for obedience, which culminates in Kant's notion of a self-legislated moral law. The importance of Kant's solution is that it provides a positive ground for society. Human beings do not merely submit to standards because they are inclined to, either out of fear or out of desire, but because they acknowledge a rational principle to which they give their voluntary assent. For Hobbes, society is at least an imposition and at most an expedient. For Kant, society may, indeed, be both an imposition and an expedient, but it is also an order of life that might be perfected. In Kant's view, human beings are imperfectly rational beings, not organisms entirely ruled by pleasure and pain, as they were for Hobbes. (shrink)

Scott Yenor argues that David Hume's reputation as a skeptic is greatly exaggerated. In David Hume's Humanity, Yenor shows how Hume's skepticism is a moment leading Hume to defend a philosophy that is grounded in the inescapable assumptions of common life. Humane virtues reflect the proper reaction to the complex mixture of human faculties that define the human condition. These gentle virtues best find their home in the modern commercial republic, of which England is the leading example. Hume's defense (...) of both common life philosophy and humanity are, however, flawed by his secretly dogmatic assumptions about the nature of history and his Enlightened approach to religious teachings and psychology. This study makes the case for Hume's manner of grounding philosophy in common life is essential to any reinvigoration of the humanities. It ultimately holds that Hume's practice of that philosophy is seriously flawed, but that a more philosophic philosophy of common life is available. (shrink)

Looking back, the moral panic that precipitated the decimation of horror comics in the 1950s seems quaint, yet concerns about the psychological impact of violent media on consumers have never disappeared. In this article, I outline a particular type of psychological impact we ought to take seriously when evaluating the moral status of entertainment. I then consider (a) ways in which comics seem immune from claims that they create this kind of impact for their readers, as well as (b) ways (...) in which we might think that comics generate special instances of moral danger for readers. (shrink)

In the following paper, Annemiek Richters of the University of Leiden in the Netherlands addresses the dilemmas faced by health professionals who are asked to evaluate and provide supporting documentation for those refugees who seek political asylum in the countries of Europe. It is in the politically charged arena of asylum applications, government regulations, and public policy where bioethics, human rights, and health converge. Despite the 1951 Convention on Refugees, a treaty signed by nations around the world to safeguard the (...) rights of those who are displaced, and other treaties that protect the rights of vulnerable populations, refugee and asylum policies have become increasingly strict in an effort to deter those who would seek safety. This tightening of borders in the countries of the West challenges physicians who find themselves caught between obligations to treat, to advocate, and to challenge policies that make treatment a potentially dangerous proposition. Unfortunately, the World Trade Center attacks have exacerbated the problem by labeling asylees and refugees as potential terrorists and subject to deportation. (shrink)

Artificial intelligence (AI) is increasingly relied upon by clinicians for making diagnostic and treatment decisions, playing an important role in imaging, diagnosis, risk analysis, lifestyle monitoring, and health information management. While research has identified biases in healthcare AI systems and proposed technical solutions to address these, we argue that effective solutions require human engagement. Furthermore, there is a lack of research on how to motivate the adoption of these solutions and promote investment in designing AI systems that align with values (...) such as transparency and fairness from the outset. Drawing on insights from psychological theories, we assert the need to understand the values that underlie decisions made by individuals involved in creating and deploying AI systems. We describe how this understanding can be leveraged to increase engagement with de-biasing and fairness-enhancing practices within the AI healthcare industry, ultimately leading to sustained behavioral change via autonomy-supportive communication strategies rooted in motivational and social psychology theories. In developing these pathways to engagement, we consider the norms and needs that govern the AI healthcare domain, and we evaluate incentives for maintaining the status quo against economic, legal, and social incentives for behavior change in line with transparency and fairness values. (shrink)

Critical explorations of the key thinkers in the New World. Intersecting biography and history, individual monographs in New World Perspectives examine the central intellectual vision of leading contributors to politics, culture and society.

From the beginning of the scientific revolution, scientists, philosophers, and laypersons have been concerned about the effects of knowledge on social relations. Although views differ about the details of this knowledge-society interface, most observers have understood that the kind of knowledge that emanates from establishedscience can indeed be quite powerful in practice. In exploring both the nature of race science discourse and selected features of the practical context within which it resonates effectively, the authors' investigationsof this field and its contribution (...) to the Holocaust represent an effort to specify some of the things that make knowledge powerful. (shrink)

This chapter discusses the roles of ether and electrons in relativity theory. One of the most radical moves made by Albert Einstein was to dismiss the ether from electrodynamics. His fellow physicists felt challenged by Einstein’s view, and they came up with a variety of responses, ranging from enthusiastic approval, to dismissive rejection. Among the naysayers were the electron theorists, who were unanimous in their affirmation of the ether, even if they agreed with other aspects of Einstein’s theory of relativity. (...) The eventual success of the latter theory (circa 1911) owed much to Hermann Minkowski’s idea of four-dimensional spacetime, which was portrayed as a conceptual substitute of sorts for the ether. (shrink)