Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed ...

What is an inference rule? This question does not have a unique answer. One usually finds two distinct standard answers in the literature; validity inference $(\sigma \vdash_\mathrm{v} \varphi$ if for every substitution $\tau$, the validity of $\tau \lbrack\sigma\rbrack$ entails the validity of $\tau\lbrack\varphi\rbrack)$, and truth inference $(\sigma \vdash_\mathrm{t} \varphi$ if for every substitution $\tau$, the truth of $\tau\lbrack\sigma\rbrack$ entails the truth of $\tau\lbrack\varphi\rbrack)$. In this paper we introduce a general semantic framework that allows us to investigate the notion of inference (...) more carefully. Validity inference and truth inference are in some sense the extremal points in our framework. We investigate the relationship between various types of inference in our general framework, and consider the complexity of deciding if an inference rule is sound, in the context of a number of logics of interest: classical propositional logic, a nonstandard propositional logic, various propositional modal logics, and first-order logic. (shrink)

Although it is known that reachability in undirected finite graphs can be expressed by an existential monadic second-order sentence, our main result is that this is not the case for directed finite graphs (even in the presence of certain "built-in" relations, such as the successor relation). The proof makes use of Ehrenfeucht-Fraisse games, along with probabilistic arguments. However, we show that for directed finite graphs with degree at most k, reachability is expressible by an existential monadic second-order sentence.

We do a quantitative analysis of modal logic. For example, for each Kripke structure M, we study the least ordinal μ such that for each state of M, the beliefs of up to level μ characterize the agents' beliefs (that is, there is only one way to extend these beliefs to higher levels). As another example, we show the equivalence of three conditions, that on the face of it look quite different, for what it means to say that the agents' (...) beliefs have a countable description, or putting it another way, have a "countable amount of information". The first condition says that the beliefs of the agents are those at a state of a countable Kripke structure. The second condition says that the beliefs of the agents can be described in an infinitary language, where conjunctions of arbitrary countable sets of formulas are allowed. The third condition says that countably many levels of belief are sufficient to capture all of the uncertainty of the agents (along with a technical condition). The fact that all of these conditions are equivalent shows the robustness of the concept of the agents' beliefs having a "countable description". (shrink)

The descriptive complexity of a problem is the complexity of describing the problem in some logical formalism. One of the few techniques for proving separation results in descriptive complexity is to make use of games on graphs played between two players, called the spoiler and the duplicator. There are two types of these games, which differ in the order in which the spoiler and duplicator make various moves. In one of these games, the rules seem to be tilted towards favoring (...) the duplicator. These seemingly more favorable rules make it easier to prove separation results, since separation results are proven by showing that the duplicator has a winning strategy. In this paper, the relationship between these games is investigated. It is shown that in one sense, the two games are equivalent. Specifically, each family of graphs used in one game to prove a separation result can in principle be used in the other game to prove the same result. This answers an open question of Ajtai and the author from 1989. It is also shown that in another sense, the games are not equivalent, in that there are situations where the spoiler requires strictly more resources to win one game than the other game. This makes formal the informal statement that one game is easier for the duplicator to win. (shrink)

We consider the issue of what an agent or a processor needs to know in order to know that its messages are true. This may be viewed as a first step to a general theory of cooperative communication in distributed systems. An honest message is one that is known to be true when it is sent (or said). If every message that is sent is honest, then of course every message that is sent is true. Various weaker considerations than honesty (...) are investigated with the property that provided every message sent satisfies the condition, then every message sent is true. (shrink)

This is the first publication of these ideas in book form. 'It is a rare treat--important, original philosophy that is also a pleasure to read.

This chapter contains section titled: Part I Part II Part III Part IV.

Many people assume that the claims of scientists are objective truths. But historians, sociologists, and philosophers of science have long argued that scientific claims reflect the particular historical, cultural, and social context in which those claims were made. The nature of scientific knowledge is not absolute because it is influenced by the practice and perspective of human agents. Scientific Perspectivism argues that the acts of observing and theorizing are both perspectival, and this nature makes scientific knowledge contingent, as Thomas Kuhn (...) theorized forty years ago. Using the example of color vision in humans to illustrate how his theory of “perspectivism” works, Ronald N. Giere argues that colors do not actually exist in objects; rather, color is the result of an interaction between aspects of the world and the human visual system. Giere extends this argument into a general interpretation of human perception and, more controversially, to scientific observation, conjecturing that the output of scientific instruments is perspectival. Furthermore, complex scientific principles—such as Maxwell’s equations describing the behavior of both the electric and magnetic fields—make no claims about the world, but models based on those principles can be used to make claims about specific aspects of the world. Offering a solution to the most contentious debate in the philosophy of science over the past thirty years, Scientific Perspectivism will be of interest to anyone involved in the study of science. (shrink)

The underlying thesis of the research in ethical autonomy for lethal autonomous unmanned systems is that they will potentially be capable of performing more ethically on the battlefield than are human soldiers. In this article this hypothesis is supported by ongoing and foreseen technological advances and perhaps equally important by an assessment of the fundamental ability of human warfighters in today's battlespace. If this goal of better-than-human performance is achieved, even if still imperfect, it can result in a reduction in (...) noncombatant casualties and property damage consistent with adherence to the Laws of War as prescribed in international treaties and conventions, and is thus worth pursuing vigorously. (shrink)

In Dangerous Minds, Ronald Beiner traces the deeper philosophical roots of such far-right ideologues as Richard Spencer, Aleksandr Dugin, and Steve Bannon, to the writings of Nietzsche and Heidegger—and specifically to the aspects of their thought that express revulsion for the liberal-democratic view of life.

All these specialist aspects of one life are different facets of the intellectual diamond which scintillates in the huge quarry of The Bertrand Russell Archives at McMaster University, Hamilton, Ontario. This is the quintessential man, the bundle of contradictions passionately dedicated to intellect, at times carrying the rational argument to irrational extremes; the natural-born emotional adventurer forever hampered by orphaned youth and too-early marriage. This Russell in the round is greater than the sum of his constituent parts, a man of (...) epic proportions, struggling through a lifetime beset with frustration and near-disaster; in youth the constitutional sceptic, in old age the sometimes splendid figure with "courage never to submit or yield.". (shrink)

Inner speech is commonly understood as the conscious experience of a voice within the mind. One recurrent theme in the scientific literature is that the phenomenon involves a representation of overt speech, for example, a representation of phonetic properties that result from a copy of speech instructions that were ultimately suppressed. I propose a larger picture that involves some embodied objects and their misperception. I call it “the Body Error Theory,” or BET for short. BET is a form of illusionism, (...) but the particular version I favor is a cross-modal illusion. Newly described here, my hypothesis is that the experience of inner speech arises from a mix of interoception and audition. Specifically, there is the detection of slight but well-confirmed activities in the speech musculature that occur during inner speech, which helps to transform representations of normal but quiet nonverbal sounds that inevitably occur during inner speech, from breathing to background noise, into a mistaken perception of inner speech. Simply put, activities in the speech musculature mix with sounds to create the appearance of speech sounds, which thus explains the “voice within the mind.” I also show how BET’s cross-modal system fits with standard information processing accounts for speech monitoring and how it accommodates the central insights of leading theories of inner speech. In addition, I show how BET is supported by data from experience-sampling surveys and how it can be empirically tested against its rivals. (shrink)

The part that the university plays is increasingly of external and economic value, ignoring the importance of the value of knowledge in itself. By analyzing the university's current relationship with knowledge, this book tackles the problem head-on. It considers how the concept of knowledge can be reclaimed in an era of post truth and alternative fact, provides conceptual tools for people to think and debate about knowledge and education in new ways and offers a clear focus for the future development (...) of academia. This fascinating book is recommended reading to anyone engaged with the idea of rethinking universities in the 21st century. (shrink)

Meaning and communication -- Mighty dead: Kant and Hegel -- Scorekeeping -- Sentence meaning, term meaning, Anaphora -- Empirical content and empirical knowledge -- Logical discourse -- Representation and communication -- Objectivity and phenomenalism about norms.

Forty years ago, Vaughn Ball demonstrated that the then received notion of conditional relevance served no useful purpose, as it would only come into effect if the probability of an element were 0.0. But, if the probability of an element were 0.0, a directed verdict would be in order and so once again conditional relevancy was doing no work. I extended that analysis to include the relationship between proffers of evidence and facts of consequence to demonstrate that the work that (...) conditional relevancy was supposedly doing was isomorphic to that done by relevancy in all significant ways, and yet the Federal Rules of Evidence provide different standards for the two situations to determine admissibility. I thus proposed an amendment to FRE 104(b) to provide for the same standard to be applied to ‘relevancy’ and ‘conditional relevancy’. In a recent article, Matthew Kotzen appears to subject this work to intense scrutiny and criticism, yet at the same time reaches, so far as I can tell, identical conclusions. This raises the question, which I examine, whether this is an example of cross-disciplinary difficulties in communication. (shrink)

In this paper I explore the extent to which a perspectival understanding of scientific knowledge supports forms of “scientific pluralism.” I will not initially attempt to formulate a general characterization of either perspectivism or scientific pluralism. I assume only that both are opposed to two extreme views. The one extreme is a (monistic) metaphysical realism according to which there is in principle one true and complete theory of everything. The other extreme is a constructivist relativism according to which scientific claims (...) about any reality beyond that of ordinary experience are merely social conventions. (shrink)

Secularization has accelerated. From 1981 to 2007, most countries became more religious, but from 2007 to 2020, the overwhelming majority became less religious. For centuries, all major religions encouraged norms that limit women to producing as many children as possible and discourage any sexual behavior not linked with reproduction. These norms were needed when facing high infant mortality and low life expectancy but require suppressing strong drives, and are rapidly eroding. These norms are so strongly linked with religion that abandoning (...) them undermines religiosity. Religion became pervasive because it was conducive to survival, encouraged sharing when there was no social security system, and it is conducive to mental health and coping with insecure conditions. People need coherent belief systems, but religion is declining. What comes next? The Nordic countries have consistently been at the cutting edge of cultural change. Protestantism left an enduring imprint, but the 20th Century welfare added universal health coverage, high levels of state support for education, welfare spending, child care, pensions and an ethos of social solidarity. These countries are also characterized by rapidly declining religiosity. Does this portend corruption and nihilism? Apparently not. These countries lead the world on numerous indicators of a well-functioning society, including economic equality, gender equality, low homicide rates, subjective well-being, environmental protection and democracy. They have become less religious, but their people have high levels of interpersonal trust, tolerance, honesty, social solidarity and commitment to democratic norms. The decline of religiosity has far-reaching implications. This book explores what comes next. (shrink)

In this essay I argue that T. S. Kuhn, at least in his later works, can be regarded as a perspectival realist. This is a retrospective interpretation based mainly on the essays published posthumously under the title The Road Since Structure (Kuhn 2000). Among the strongest grounds for this interpretation is that Kuhn explicitly states that one must have a “lexicon” in place before raising questions about the truth or falsity of claims made using elements of the lexicon. This, in (...) a linguistic framework, can be understood as an affirmation of perspectival realism. The essay concludes with an examination of Donald Davidson’s famous paper, “On The Very Idea of a Conceptual Scheme,” arguing, along lines Kuhn himself suggested, that Davidson’s presentation is no threat to his notion of a conceptual scheme, or, I would add, a theoretical perspective. (shrink)

Adopting the stage metaphor suggested in Brown’s review, and treating Scientific perspectivism as a play in five acts, I respond to his review as a playwright might respond to a generally favorable review. Taking the reader behind the stage door, I discuss the playwright’s intentions for each act, paying special attention to the expected audience for the play as a whole. The result, therefore, supplements the review from the standpoint of the playwright. It also provides answers to some of the (...) reviewer’s questions.Keywords: Matthew Brown; Scientific perspectivism. (shrink)

Talk of a “genetic program” has become almost as common in cell and evolutionary biology as talk of “genetic information”. But what is a genetic program? I understand the claim that an organism’s genome contains a program to mean that its genes not only carry information about which proteins to make, but also about the conditions in which to make them. I argue that the program description, while accurate in some respects, is ultimately misleading and should be abandoned. After that, (...) I sketch an alternative framework which is better suited to capturing the full informational nature of genes. This framework is centered on the notion of a signaling game, as originally developed by David Lewis, but expanded upon considerably by Brian Skyrms in more recent years. On the view I develop, genes turn out to be the producers and consumers of regulatory or developmental information, rather than entities encoding such information. This finding has consequences that link up with a broader debate in the philosophy of biology concerning inheritance systems. I take this to be one form of theoretical payoff that results from applying the signaling games framework to genes. (shrink)

Kritische beschouwingen over wijsgerig-ethische kwesties.

INTERVENTION AND REFLECTION: BASIC ISSUES IN BIOETHICS, 10th Edition offers students a compelling introduction to biomedical ethics by combining riveting human stories with clear explanations of cutting edge scientific research. A collaboration between a nationally-acclaimed bioethicist and a seasoned journalist, this textbook continues to be the most widely used bioethics textbook on the market. Each chapter includes crisp summaries of the relevant ethical theories as well as classic and contemporary articles on the most pressing topics in the field. This edition (...) features new chapters on "Medicine in a Pluralistic Society" and the "Challenge of Global Bioethics. The accessible presentation of the conceptual debate and human dimension of today's biomedical ethics captivates and engages students, whether they are philosophy, nursing or medical majors or have no philosophical or scientific training. (shrink)

Scientific realism is a doctrine that was both in and out of fashion several times during the twentieth century. I begin by noting three presuppositions of a succinct characterization of scientific realism offered initially by the foremost critic in the latter part of the century, Bas van Fraassen. The first presupposition is that there is a fundamental distinction to be made between what is “empirical” and what is “theoretical”. The second presupposition is that a genuine scientific realism is committed to (...) their being “a literally true story of what the world is like”. The third presupposition is that there are methods for justifying a belief in the empirical adequacy of a theory which do not also suffice to justify beliefs in its literal truth. Each of these presuppositions raises a number of problems, some of which are quite old and others rather newer. In each case, I briefly review some of the old problems and then elaborate the newer problems. (shrink)

Julia Driver has argued that there is a class of virtues that are compatible with or even require that an agent be ignorant in some respect. In this paper I argue for an alternative conception of the relationship between ignorance and virtue. The dispositions constitutive of virtue must include sensitivity to human limitations and fallibility. In this way the virtues accommodate ignorance, rather than require or promote it. I develop my account by considering two virtues in particular: tolerance (the paradigm (...) for my account) and modesty (which Driver employs as the paradigm for her account). Although several philosophers have offered alternatives to Driver's account of modesty and others have discussed tolerance as a moral virtue, an adequate account of the role of ignorance in the specification of the virtues generally has yet to be provided. I believe that similarities between the two virtues are instructive for defining that role. (shrink)

The philosophical and scientific foundations of psychiatry -- Psychiatric diagnosis and the DSM debates -- Grief, depression and the bereavement controversy -- Psychiatry in crisis -- Psychiatry and humane values.

This book seeks to offer original answers to all the major open questions in epistemology—as indicated by the book’s title. These questions and answers arise organically in the course of a validation of the entire corpus of human knowledge. The book explains how we know what we know, and how well we know it. The author presents a positive theory, motivated and directed at every step not by a need to reply to skeptics or subjectivists, but by the need of (...) a rational individual to know the world. -/- The author draws heavily from Ayn Rand’s theory of concepts as presented in her book, Introduction to Objectivist Epistemology, but departs from her epistemology—especially as explicated by leading exponents of her philosophy—in important ways. Areas of departure include the perception of entities and the role of probability theory in epistemology. -/- A main idea in the book is to begin the validation of the law of causality by identifying that existence causes our consciousness of it. Another key idea is this: The very fact that we perceive entities is the most basic and most extensive evidence that causal forces and causal interactions are regular. -/- Applying Ayn Rand’s principle that characteristics are ranges of measurement, the book offers a philosophical validation of “nonparametric predictive inference,” in turn providing an objective basis for prior probabilities in Bayesian analysis. -/- This book is primarily for a specialized readership—familiar with epistemological ideas and with Ayn Rand’s theory of concepts in particular. The last third of the book uses probability theory and mathematics somewhat beyond basic calculus, but less mathematical explanations are also included to make the general ideas accessible to lay readers. (shrink)

This first book-length study of Paul Tillich's ethics is drawn from research in the Harvard Archives and fifty years of teaching Tillich's social-political thought. In Ronald H. Stone's fourth work on Tillich's philosophy the ethic is examined from the early ontological to socialist ethics to his own final principled-situationalist ethic in late life. Unique to this study is the in-depth inquiry into Tillich's courageous social action correlated with his own philosophical-theological ethic. The book moves from an early socialist rally (...) in Berlin, through the wars, dialogue with John Foster Dulles about post-war planning, debates about nuclear deterrence, to Buddhist Christian dialogue. The author's own preference for the late ethic of the philosopher informs the inquiries into the earlier radical Tillich. The conclusion provides a synthesis of the vast sources of Tillich's ethics and presents twelve themes summarizing sources and future resources for ethics from his life's work. (shrink)

'There is no Nietzsche, just a shifting set of contradictory views' suggests Hayman in this stimulating and provocative guide. Those envious contemporaries who smeared Nietzsche with the mark of madness came closer than they knew in characterising a philosopher in whose thought ambivalence approximated to disintegration of the self. Yet while the nineteenth century's coherent, consistent systems of certainty came crashing down ingloriously at the very first touch of the twentieth, Nietzsche's discourses survived. He was more modern, it seemed, than (...) the moderns. Today is work is more contemporary than ever, his various voices speaking compellingly to a sensibility for which paradox is the only truth. (shrink)

The philosopher has always been engrossed with the notion of death. Schopenhauer understood this and elevated the idea to the rank of the Muses:“Death is the true inspiring genius and the musagete of philosophy. This is why Socrates defined it as θανἑτoν μɛλέτη” (Plato, Phaedra, 81a).This notion has been presented to us by turns in its various aspects, at times as a metaphysical concept, at other times as an ethnological or religious reality.