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

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.

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.

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.

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.

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 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.

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 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)

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)

Posthumous Life launches critical life studies: a mode of inquiry that neither endorses nor dismisses a wave of recent "turns" toward life, matter, vitality, inhumanity, animality, and the real. Questioning the nature and limits of life in the natural sciences, the essays in this volume examine the boundaries and significance of the human and the humanities in the wake of various redefinitions of what counts as life. They explore the possibility of theorizing life without assuming it to be either a (...) simple substrate or an always-mediated effect of culture and difference. Posthumous Life provides new ways of thinking about animals, plants, humans, difference, sexuality, race, gender, identity, the earth, and the future. (shrink)

Fitouchi et al.'s moral disciplining approach highlights the significant role social evaluations of self-control appear to play in human moral judgment. At the same time, attributing the wide range of puritanical concerns to a singular focus on self-control seems unwarranted. A more pluralistic approach would enrich understanding of moral judgment in all its cultural and historical diversity.

The subdiscipline of public philosophy is in its adolescence. The mark of maturity in philosophy is the introduction of a metatheoretical discourse. The niche subfield “experimental philosophy” tries to incorporate social scientific methods, but like public philosophy, it too is in its adolescence, often falling back on haphazard and poorly defined methodologies. The definition of public philosophy distinguishes between professional philosophers and what would best be termed amateurs, where professional philosophers are analogous to professional athletes – credentialed individuals who do (...) philosophy full time, are paid for their work, and are usually affiliated with education or research‐focused institutions. Public philosophy must contend with the problems of expertise and wisdom, in so far as disciplinary specialization presume a certain level of each. Academic philosophy condemns public philosophy for failing to meet a set of imagined idealized standards that professors romanticize but also fail to meet. (shrink)

1. t. Optische und elektromagnetische erscheinungen unter dem einfluss von bewegungen.--2. t. Die weitere relativitätstheorie.

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)

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)

The tradition descending from Frege and Russell has typically treated theories of meaning either as theories of meanings, or as theories of truth conditions. However, propositions of the classical sort don't exist, and truth conditions can't provide all the information required by a theory of meaning. In this book, one of the world's leading philosophers of language offers a way out of this dilemma. Traditionally conceived, propositions are denizens of a "third realm" beyond mind and matter, "grasped" by mysterious Platonic (...) intuition. As conceived here, they are cognitive-event types in which agents predicate properties and relations of things--in using language, in perception, and in nonlinguistic thought. Because of this, one's acquaintance with, and knowledge of, propositions is acquaintance with, and knowledge of, events of one's cognitive life. This view also solves the problem of "the unity of the proposition" by explaining how propositions can be genuinely representational, and therefore bearers of truth. The problem, in the traditional conception, is that sentences, utterances, and mental states are representational because of the relations they bear to inherently representational Platonic complexes of universals and particulars. Since we have no way of understanding how such structures can be representational, independent of interpretations placed on them by agents, the problem is unsolvable when so conceived. However, when propositions are taken to be cognitive-event types, the order of explanation is reversed and a natural solution emerges. Propositions are representational because they are constitutively related to inherently representational cognitive acts. Strikingly original, What Is Meaning? is a major advance. (shrink)

In an important and widely cited paper, Zerilli, Knott, Maclaurin, and Gavaghan (2019) argue that opaque AI decision makers are at least as transparent as human decision makers and therefore the concern that opaque AI is not sufficiently transparent is mistaken. I argue that the concern about opaque AI should not be understood as the concern that such AI fails to be transparent in a way that humans are transparent. Rather, the concern is that the way in which opaque AI (...) is opaque is very different than the way in which humans are opaque. What matters is the degree to which the opaque processes of a class of decision makers are stable, uniform, and safe. The degree to which such processes have these features in humans is higher than the degree to which such processes have these features in opaque AI. And therefore we should require AI to be more transparent than humans. (shrink)

This article critically interrogates contemporary forms of addiction medicine that are portrayed by policy-makers as providing a ‘rational’ or politically neutral approach to dealing with drug use and related social problems. In particular, it examines the historical origins of the biological facts that are today understood to provide a foundation for contemporary understandings of addiction as a ‘disease of the brain’. Drawing upon classic and contemporary work on ‘styles of thought’, it documents how, in the period between the mid-1960s and (...) the mid-1970s, such facts emerged in relation to new neurobiological styles of explaining and managing social problems associated with drug abuse, and an alliance between a relatively marginal group of researchers and American policy-makers who were launching the ‘War on Drugs’. Beyond illustrating the political and material conditions necessary for the rise of addiction neuroscience, the article highlights the productivity of neurobiological thought styles, by focusing on the new biological objects, treatments and hopes that have emerged within the field of addiction studies over the last several decades. (shrink)

Mixing passion and humor, a personal work of literary criticism that demonstrates the power of our greatest books to illuminate our lives. Why do we read literature? For Arnold Weinstein, the answer is clear: literature allows us to become someone else. Literature changes us by giving us intimate access to an astonishing variety of other lives, experiences, and places across the ages. Reflecting on a lifetime of reading, teaching, and writing, The Lives of Literature explores, with passion, humor, and (...) whirring intellect, a professor's life, the thrills and traps of teaching, and, most of all, the power of literature to lead us to a deeper understanding of ourselves and the worlds we inhabit. As an identical twin, Weinstein experienced early the dislocation of being mistaken for another person--and of feeling that he might be someone other than he had thought. In vivid readings elucidating the classics of authors ranging from Sophocles to James Joyce and Toni Morrison, he explores what we learn by identifying with their protagonists, including those who, undone by wreckage and loss, discover that all their beliefs are illusions. Weinstein masterfully argues that literature's knowing differs entirely from what one ends up knowing when studying mathematics or physics or even history: by entering these characters' lives, readers acquire a unique form of knowledge--and come to understand its cost. In The Lives of Literature, a master writer and teacher shares his love of the books that he has taught and been taught by, showing us that literature matters most because we never stop discovering who we are. (shrink)

At the end of his writing, “La Différance,” Jacques Derrida deconstructs his text by taking on an authoritative rhetorical tone. Reflecting back on his discussion of metaphysics, Derrida announces that “(t)here will be no unique name, even if it were the name of Being”. And then he takes a surprising phenomeno-logical turn and advocates a privileged attitude or disposition towards his reflection:And we must think this without nostalgia, that is, outside the myth of a purely maternal or paternal language, a (...) lost native country of thought. On the contrary, we must affirm this, in the sense in which Nietzsche puts affirmation into play, in a certain laughter and a certain step of the dance. (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)