A selection of the published papers of Russell on the subjects of logic and epistemology. Included are "The Philosophy of Logical Atomism," "On Denoting," and "Mathematical Logic as Based on the Theory of Types." Each essay is preceeded by some remarks by the editor on the context and history of the essay.--W. T.

In spite of its title, this volume sheds no new light on the debated problem of whether Peirce's ideas form, or can be reconstructed to form, an integrated and internally consistent system. The book, instead, avoids the problem entirely, the pith of its thesis about the unity of Peirce's philosophy being that, in various guises, the notion of Thirdness permeates his thought. Apparently, Haas thinks it evident that to point up the central role of this notion in each of Peirce's (...) subdivisions of philosophy—Phenomenology, Logic, and Metaphysics—is to show the unity of the philosophy as a whole. But he does not counter any specific charges brought against this claim of unity—though he mentions some of them—or even outline how the conception of law is to vindicate this claim. What he does do, following Peirce's three-fold division of philosophy, is to conduct a survey built around the Firstness-Secondness-Thirdness theme; and this exposition, though uncritical, is not lacking in care and subtlety, so that those looking for an overview of Peirce's thought can profit from the book.—C. T. W. (shrink)

In lively and readable prose, Arthur presents a new approach to the study of logic, one that seeks to integrate methods of argument analysis developed in modern “informal logic” with natural deduction techniques. The dry bones of logic are given flesh by unusual attention to the history of the subject, from Pythagoras, the Stoics, and Indian Buddhist logic, through Lewis Carroll, Venn, and Boole, to Russell, Frege, and Monty Python. A previous edition of this book appeared under the title _Natural (...) Deduction_. This new edition adds clarifications of the notions of explanation, validity and formal validity, a more detailed discussion of derivation strategies, and another rule of inference, Reiteration. (shrink)

For half a century the idea of rational thought has been challenged by discoveries that call into question some of its foundations. How we actually think seems to be at odds with descriptive and prescriptive models that once held sway in the development of modern science and scholarship. One response to these challenges has been a loss of nerve. Another—the one on display in Rationality: Contexts and Constraints—is an active attempt to revise those models, so as to enhance their compatibility (...) with new discoveries, in a maximally coherent and inclusive way. Rationality: Contexts and Constraints is an inter-disciplinary reappraisal of the nature of rationality. In method it is pluralistic, drawing upon the analytic approaches of philosophy, linguistics, neuroscience, and more. These methods guide exploration of the intersection between hoary scholarship and cutting-edge philosophical or scientific research. In this way, Rationality: Contexts and Constraints contributes to development of a suitably revised, comprehensive understanding of rationality, one that befits the 21st century, one that is adequately informed by recent investigations of science, pathology, non-human thought, emotion, and even enigmatic Chinese texts that might previously have seemed to be expressions of irrationalism. • Addresses recent challenges and Identifies a direction for future research on rationality • Investigates the relationship between rationality and mental disorders such as delusion and depression • Assesses reasoning in artificial intelligence and nonhuman animals • Reflects on ancient Chinese Philosophy and possible cultural differences in human psychology • Employs philosophical reflection along with linguistic, probabilistic, and logical techniques -/- . (shrink)

Richard Arthur’s _Natural Deduction_ provides a wide-ranging introduction to logic. In lively and readable prose, Arthur presents a new approach to the study of logic, one that seeks to integrate methods of argument analysis developed in modern “informal logic” with natural deduction techniques. The dry bones of logic are given flesh by unusual attention to the history of the subject, from Pythagoras, the Stoics, and Indian Buddhist logic, through Lewis Carroll, Venn, and Boole, to Russell, Frege, and Monty Python.

This is an intelligently conceived expository treatment of topics in analytical philosophy which students often have difficulty getting clear about. There are, for example, discussions of fundamental logical notions; the many distinctions pertaining to assertions, sentences, and propositions; extension and intension; the analytic-synthetic dichotomy; the place of definition and explication in philosophical analysis, and so on. This clearly written book will not complete with extant texts but will, as the authors remark, complement them: it fills a current need.—C. T. W.

Although extremely comprehensive in its subject-matter, catholic in its treatment of diverse points of view, and lucid, this book is not simply a survey. Rather, it is, in its own way, original—not because any information or thesis it contains is new, but because it offers a clear, synoptic, and sophisticated look at what has been a relatively ill-defined and fragmented sector of philosophy, that of determining the nature of the "behavioral sciences." Kaplan's way of accomplishing this is to consider the (...) concepts and activities of science "functionally"; and he generally finds that "no one function can suffice" to show us what, e.g., a law of nature is, or what an experiment is, or what a model is, etc. Thus he typically finds other, mutually competing theories both partially true and too narrow. He also has much that is illuminating to say about the Deweyan ideas that the logic of science is fundamentally a "logic-in-use" ; and that scientific concepts are "open" and properly depend on the context of inquiry, rather than on the logician, for their "closure." Consonant with these themes is his stress on the openness of the concept of methodology itself: behavioral scientists, he contends, will gain no salvation merely by finding better procedures. Of greater importance are the values, choices, and invention of the inquirer himself; and Kaplan, accordingly, treats these matters in detail.—C. T. W. (shrink)

This essay is an appreciation of Massimo Mugnai’s many contributions to Leibniz scholarship, as well as to the history of logic and history of philosophy more generally.

The first volume of a projected two-volume work in mathematical logic. Along with an introduction containing brief but careful and remarkably compact discussions of such topics as the kinds of expressions occurring in formalized language, the logistic method, syntax, and semantics, the book comprises clean and precise treatments of the propositional calculus, and first- and second-order functional calculi, including parenthetical remarks about the intended semantical interpretations of these calculi, some development of the calculi themselves, and discussions of completeness and consistency. (...) A great number of exercises are included, ranging from elementary exercises in technique to brief sketches of theories not treated in the text.--W. T. (shrink)

Translations, from French, German, and Polish originals, of most of Tarski's prewar papers on the subjects mentioned in the title, including the well-known "Der Wahrheitsbegriff in den formalisierten Sprachen." Tarski has provided, for this volume, a number of cross-references among the papers included, and some footnotes indicating later developments in the subjects treated. In two of the papers, the text itself has been added to.--W. T.

T × W logic is a combination of tense and modal logic for worlds or histories with the same time order. It is the basis for logics of causation, agency and conditionals, and therefore an important tool for philosophical logic. Semantically it has been defined, among others, by R. H. Thomason. Using an operator expressing truth in all worlds, first discussed by C. M. Di Maio and A. Zanardo, an axiomatization is given and its completeness proved via D. Gabbay’s (...) irreflexivity lemma. Given this lemma the proof is more or less straight forward. At the end an alternative axiomatization is sketched in which Di Maio’s and Zanardo’s operator is replaced by a version of “actually”. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:274 HISTORY OF PHILOSOPHY poisoning, spying, etc., which would render postwar mutual confidence impossible, shall not be countenanced. It is mainly with an eye to these preliminary articles that Professor Wilhelm Miiller argues for Kant's relevance to contemporary political problems. Miiller begins by drawing an analogy between the Peace of Basle (1795) and the Treaty of Versailles: in both instances, it is claimed, secret reservations at the treaty table, (...) the identification of defeated nation with "guilty" nation, and the deprivation of an entire "guiltless" people of "the most primitive right to live" helped lay the foundations for future wars. Miiller sees in the willful dispersion, through motives of revenge and greed, of the possessions of conquered nations after both World Wars a "reversion to the wildest barbarism." He defends Kant's stricture against standing armies as being "simply and logically irrefutable" in spite of Kant's toleration--understandable in 1795--of limited and voluntary militias adequate for national defense. He infers from Kant's warning against national economic dependency the urgent need to exclude international capitalism from world politics. He suggests that Kant's principle of non-interference in the internal affairs of nations has been violated in the splitting of East from West Germany. And he insinuates that the present form of government in the U.S. is democratic and republican only in name, being in actuality a capitalist oligarchy whose two-party system tends to degenerate into a one-party system. Professor Miiller is entitled to his views. The reader, however, is entitled to a more objective exposition of Kant's essay and perhaps even to hope for a more critical and searching appraisal of Kant's doctrines. One opportunity for the latter surely offers itself in regard to Kant's analogy between personal and international morality. The analogy might conceivably break down over the difficulty of assigning collective moral and legal responsibility. If, as Kant maintains, a state is a moral person, it should follow that it and not merely its constituent members taken singly has moral responsibility for what it undertakes. Leaving aside the question of whether or not Kant thought through the implications of his premise, it is clear that Professor Miiller has not done so. Whereas he considers atrocious the branding of the German people as guilty of international crime in either World War, he allows himself the judgment that the "Christian" people of Europe and America were guilty of mass-murder on both occasions. The inconsistency is evident. Left unexamined and even unmentioned are the following: Kant's well-known ethical principles--the concept of practical reason, the phenomenal-noumenal duality, the notion of design in nature, the doctrine of the Categorical Imperative binding on any rational will--upon which he explicitly grounds Perpetual Peace; his efforts to refute the notion of theoretical conflict between morality and politics; his misleading use of the language of the social contract theorists throughout the essay; his proposal, anticipatory of later British philosophers, that the principle of publicity is a necessary if not sufficient condition of morally proper legislation. Perpetual Peace deserves more than Professor Mfiller has given it. PETER FUSS University of California, Riverside The Earlier Letters of John Stuart Mill 1812-1848. Edited by Francis E. Mineka, with an Introduction by F. A. Hayek. Two vols. (Toronto: University of Toronto Press, Routledge g: Kegan Paul. Pp. xxvii + 784. $20.00.) These two volumes of early correspondence are the first volumes to appear of a projected new edition of Mill's collected works. If the subsequent volumes maintain the high level of competence achieved here, the new edition will prove a valuable assistance to nineteenth- BOOK REVIEWS 275 century scholars. Of the 537 letters published, 238 have never before been in print, and 72 others have hitherto appeared only in part. Most of the work of assembling the letters was done by F. A. Hayek, but the extremely useful annotation was prepared by Francis E. Mineka. We are told that he and Dwight N. Lindley are planning an edition of the later letters (1849-1873). The earliest letter extant (printed in facsimile and hitherto unpublished) was written, at the age of 6, to Bentham. It... (shrink)

Elaborates a system of logic designed to provide an adequate framework for the extreme empiricist principles of Logical Positivism--a task which, the author argues, klassische Logistik is incapable of fulfilling. Interesting features of this system include its lack of type distinctions and its departure from the usual theory of propositional functions and quantifiers--there is, in particular, no negation, and no analogue either of material implication or of universal quantification, though, in certain cases, the effect of the universal quantification of an (...) implication can be obtained.--W. T. (shrink)

A selection of the writings of Wittgenstein in the philosophy of logic and mathematics written in the years 1937-1944. There is no concern with the foundations of mathematics in the sense of metamathematics nor in the sense of investigation of the possibility of providing secure axiomatic foundations for such notions as that of "set." Indeed, the original motives for these latter investigations are rejected; instead, a clarification of the grammar of mathematical propositions is sought. The author discusses the notions of (...) mathematical proof at length and attacks both the Russellian view that mathematics is an appendage of logic and Hilbert's program of proof-theory.--W. T. (shrink)

A pedantic and tedious discussion of Socrates’ arguments in Plato’s Crito for obeying the law. Its author, A. D. Woozley, who was a contributor to The Philosophy of Socrates, edited by Gregory Vlastos, focuses on the logical adequacy of Socrates’ arguments. Predictably, he finds them wanting.

v. 1. Nicomachean ethics. Politics. The Athenian Constitution. Rhetoric. On Poetics.--v. 2. Logic.--v. 3. Physics. Metaphysics. On the soul. Short physical treaties.--v. 4. On the heavens. On generation and corruption. Meteorology. Biological treatises.

A number of systems of logic, including formulations of the two-valued propositional logic, alethic modal propositional logics and deontic modal propositional logics, are described and discussed with the aim of utilizing some of these systems for the sociological analysis of normative structures. Evidence is adduced that certain normative concepts are explicated or partially explicated in these systems.--W.T.

Albinism in Tanzania causes fierce health-related stigma. Little research has focused on the impact of stigma reduction strategies aiming to reduce albinism related stigma. Therefore, this research assessed the impact of two short video interventions among high school students in Tanzania on their attitude towards people with albinism: a contact intervention (n = 95) and an education intervention (n = 97). A mixed method design was used. Directly before and after the interventions impact was measured among all participants through the (...) Albinism Social Distance Scale for Adolescents (ASDS-A), knowledge items, and entertainment items. After these measurements focus group discussions were conducted, 16 in total (n = 80). Both interventions caused a significant increase in the levels of correct knowledge about albinism. The education intervention entailed a significant positive change in attitude measured through the ASDS-A, whereas the contact intervention did not have a significant effect. In terms of entertainment value, the respondents were more enthusiastic about the contact intervention. The study suggests that education interventions on their own can be a successful tool in decreasing albinism related stigma. Additionally, qualitative findings show many positive outcomes for the contact intervention. Therefore, we would recommend using a combination of these two interventions, which has also proved successful in the past. However, more research on the effect of a combination of the two strategies is recommended. (shrink)

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability of being (...) true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)

Living kidney donation provides a promising opportunity in situations where the scarcity of cadaveric kidneys is widely acknowledged. While many patients and their relatives are willing to accept its benefits, others are concerned about living kidney programs; they appear to feel pressured into accepting living kidney transplantations as the only proper option for them. As we studied the attitudes and views of patients and their relatives, we considered just how actively health care professionals should encourage living donation. We argue that (...) active interference in peoples’ personal lives is justified - if not obligatory. First, we address the ambiguous ideals of non-directivity and value neutrality in counselling. We describe the main pitfalls implied in these concepts, and conclude that these concepts cannot account for the complex reality of living donation and transplantation. We depict what is required instead as truthful information and context-relative counselling. We then consider professional interference into personal belief systems. We argue that individual convictions are not necessarily strong, stable, or deep. They may be flawed in many ways. In order to justify interference in peoples’ personal lives, it is crucial to understand the structure of these convictions. Evidence suggests that both patients and their relatives have attitudes towards living kidney donation that are often open to change and, accordingly, can be influenced. We show how ethical theories can account for this reality and can help us to discern between justified and unjustified interference. We refer to Stephen Toulmin’s model of the structure of logical argument, the Rawlsian model of reflective equilibrium, and Thomas Nagel’s representation of the particularistic position. (shrink)

While a number of classical pragmatists crafted their philosophies in conjunction with a careful study of Hegel's works, others saw their philosophies emerge in antagonism with proponents of Hegel. In this paper, we offer an instance of the latter case. Namely, we show that the impetus for Charles S. Peirce's early articulation and avowal of realism (the claim that some generals are real) was William Torrey Harris's claim that the formal laws of logic lacked universal validity. According to Harris, the (...) leading representative of Hegelism in the United States, the universal validity of the laws of logic rested on a nominalistic metaphysics that a Hegelian-realism showed to be false. In response to this charge, we articulate how Peirce's attempt to prove the universal validity of the laws of logic resulted in avowing a realism that differed from both nominalism and Harris's Hegelian-realism. (shrink)

In this paper, we reconstruct the debate between Zhuangzi 莊子 and Hui Shi 惠施 that took place on the bridge over the Hao River 濠水 as a substantive debate concerning the epistemic other‐mind skepticism according to which no one mind knows the mental states of the other. We demonstrate how this reconstruction leads to substantive conclusions of the viability of Hui Shi’s position in particular and of the other‐mind skepticism in general. This demonstration is accomplished by means of the contemporary (...) philosophical development regarding, for example, whether asserting a proposition implies that the asserter knows the proposition, whether the closure principle of epistemic logic should be held, and whether knowing something is a mental state. We hold that this debate’s resolution is substantively entangled with contemporary philosophical concerns. (shrink)