front cover of A Paradigm for Program Semantics
A Paradigm for Program Semantics
Chris Brink and Ingrid Rewitsky
CSLI, 2001
This book provides a synthesis of four versions of program semantic—srelational semantics, predicate transformer semantics, information systems, and domain theory—showing, through an exhaustive case study analysis, that it is possible to do back-and-forth translation from any of these versions of program semantics into any of the others, and demonstrating that while there are many variations of each, in principle they may be thought of as intertranslatable.
[more]

front cover of A Philosophical Introduction to Probability
A Philosophical Introduction to Probability
Maria Carla Galavotti
CSLI, 2004
Not limited to merely mathematics, probability has a rich and controversial philosophical aspect. A Philosophical Introduction to Probability showcases lesser-known philosophical notions of probability and explores the debate over their interpretations. Galavotti traces the history of probability and its mathematical properties and then discusses various philosophical positions on probability, from the Pierre Simon de Laplace's “classical” interpretation of probability to the logical interpretation proposed by John Maynard Keynes. This book is a valuable resource for students in philosophy and mathematics and all readers interested in notions of probability.
[more]

front cover of The Philosophical Status of Diagrams
The Philosophical Status of Diagrams
Mark Greaves
CSLI, 2001
The use of diagrams in logic and geometry has encountered resistance in recent years. For a proof to be valid in geometry, it must not rely on the graphical properties of a diagram. In logic, the teaching of proofs depends on sentenial representations, ideas formed as natural language sentences such as "If A is true and B is true...." No serious formal proof system is based on diagrams.

This book explores the reasons why structured graphics have been largely ignored in contemporary formal theories of axiomatic systems. In particular, it elucidates the systematic forces in the intellectual history of mathematics which have driven the adoption of sentential representational styles over diagrammatic ones. In this book, the effects of historical forces on the evolution of diagrammatically-based systems of inference in logic and geometry are traced from antiquity to the early twentieth-century work of David Hilbert. From this exploration emerges an understanding that the present negative attitudes towards the use of diagrams in logic and geometry owe more to implicit appeals to their history and philosophical background than to any technical incompatibility with modern theories of logical systems.
[more]

front cover of Philosophy of Logic
Philosophy of Logic
Second Edition
W. V. Quine
Harvard University Press, 1986
With his customary incisiveness, W. V. Quine presents logic as the product of two factors, truth and grammar—but argues against the doctrine that the logical truths are true because of grammar or language. Rather, in presenting a general theory of grammar and discussing the boundaries and possible extensions of logic, Quine argues that logic is not a mere matter of words.
[more]

front cover of Philosophy of Mathematics in the Twentieth Century
Philosophy of Mathematics in the Twentieth Century
Selected Essays
Charles Parsons
Harvard University Press, 2014

In this illuminating collection, Charles Parsons surveys the contributions of philosophers and mathematicians who shaped the philosophy of mathematics over the course of the past century.

Parsons begins with a discussion of the Kantian legacy in the work of L. E. J. Brouwer, David Hilbert, and Paul Bernays, shedding light on how Bernays revised his philosophy after his collaboration with Hilbert. He considers Hermann Weyl’s idea of a “vicious circle” in the foundations of mathematics, a radical claim that elicited many challenges. Turning to Kurt Gödel, whose incompleteness theorem transformed debate on the foundations of mathematics and brought mathematical logic to maturity, Parsons discusses his essay on Bertrand Russell’s mathematical logic—Gödel’s first mature philosophical statement and an avowal of his Platonistic view.

Philosophy of Mathematics in the Twentieth Century insightfully treats the contributions of figures the author knew personally: W. V. Quine, Hilary Putnam, Hao Wang, and William Tait. Quine’s early work on ontology is explored, as is his nominalistic view of predication and his use of the genetic method of explanation in the late work The Roots of Reference. Parsons attempts to tease out Putnam’s views on existence and ontology, especially in relation to logic and mathematics. Wang’s contributions to subjects ranging from the concept of set, minds, and machines to the interpretation of Gödel are examined, as are Tait’s axiomatic conception of mathematics, his minimalist realism, and his thoughts on historical figures.

[more]

front cover of A Poetic for Sociology
A Poetic for Sociology
Toward a Logic of Discovery for the Human Sciences
Richard Harvey Brown
University of Chicago Press, 1989
For too long, argues Richard Harvey Brown, social scientists have felt forced to choose between imitating science's empirical methodology and impersonating a romantic notion of art, the methods of which are seen as primarily a matter of intuition, interpretation, and opinion. Developing the idea of a "cognitive aesthetic," Brown shows how both science and art—as well as the human studies that stand between them—depend on metaphoric thinking as their "logic of discovery" and may be assessed in terms of such aesthetic criteria of adequacy as economy, elegance, originality, scope, congruence, and form.

By recognizing this "aesthetic" common ground between science and art, Brown demonstrates that a fusion can be achieved within the human sciences of these two principal ideals of knowledge—the scientific or positivist one and the artistic or intuitive one. A path, then, is opened for creating a knowledge of ourselves and society which is at once objective and subjective, at once valid scientifically and significantly humane.
[more]

logo for Harvard University Press
Posterior Analytics. Topica
Aristotle
Harvard University Press

The philosopher’s toolkit.

Aristotle, great Greek philosopher, researcher, reasoner, and writer, born at Stagirus in 384 BC, was the son of a physician. He studied under Plato at Athens and taught there (367–347); subsequently he spent three years at the court of a former pupil in Asia Minor. After some time at Mitylene, in 343–342 he was appointed by King Philip of Macedon to be tutor of his teen-aged son Alexander. After Philip’s death in 336, Aristotle became head of his own school (of “Peripatetics”), the Lyceum at Athens. Because of anti-Macedonian feeling there after Alexander’s death in 323, he withdrew to Chalcis in Euboea, where he died in 322.

Nearly all the works Aristotle prepared for publication are lost; the priceless ones extant are lecture-materials, notes, and memoranda (some are spurious). They can be categorized as follows:

I Practical: Nicomachean Ethics; Great Ethics (Magna Moralia); Eudemian Ethics; Politics; Economics (on the good of the family); On Virtues and Vices.
II Logical: Categories; Analytics (Prior and Posterior); Interpretation; Refutations used by Sophists; Topica.
III Physical: Twenty-six works (some suspect) including astronomy, generation and destruction, the senses, memory, sleep, dreams, life, facts about animals, etc.
IV Metaphysics: on being as being.
V Art: Rhetoric and Poetics.
VI Other works including the Constitution of Athens; more works also of doubtful authorship.
VII Fragments of various works such as dialogues on philosophy and literature; and of treatises on rhetoric, politics, and metaphysics.

The Loeb Classical Library edition of Aristotle is in twenty-three volumes.

[more]

front cover of Prejudicial Appearances
Prejudicial Appearances
The Logic of American Antidiscrimination Law
Robert C. Post, with K. Anthony Appiah, Judith Butler, Thomas C. Grey, and Reva B. Siegel
Duke University Press, 2001
In Prejudicial Appearances noted legal scholar Robert C. Post argues modern American antidiscrimination law should not be conceived as protecting the transcendental dignity of individual persons but instead as transforming social practices that define and sustain potentially oppressive categories like race or gender. Arguing that the prevailing logic of American antidiscrimination law is misleading, Post lobbies for deploying sociological understandings to reevaluate the antidiscrimination project in ways that would render the law more effective and just.
Four distinguished commentators respond to Post’s provocative essay. Each adopts a distinctive perspective. K. Anthony Appiah investigates the philosophical logic of stereotyping and of equality. Questioning whether the law ought to endorse any social practices that define persons, Judith Butler explores the tension between sociological and postmodern approaches to antidiscrimination law. Thomas C. Grey examines whether Post’s proposal can be reconciled with the values of the rule of law. And Reva B. Siegel applies critical race theory to query whether antidiscrimination law’s reshaping of race and gender should best be understood in terms of practices of subordination and stratification.
By illuminating the consequential rhetorical maneuvers at the heart of contemporary U.S. antidiscrimination law, Prejudical Appearances forces readers to reappraise the relationship between courts of law and social behavior. As such, it will enrich scholars interested in the relationships between law, rhetoric, postmodernism, race, and gender.
[more]

front cover of A Primer of Probability Logic
A Primer of Probability Logic
Ernest W. Adams
CSLI, 1996

This book is meant to be a primer, that is, an introduction, to probability logic, a subject that appears to be in its infancy. Probability logic is a subject envisioned by Hans Reichenbach and largely created by Adams. It treats conditionals as bearers of conditional probabilities and discusses an appropriate sense of validity for arguments such conditionals, as well as ordinary statements as premisses.

This is a clear well-written text on the subject of probability logic, suitable for advanced undergraduates or graduates, but also of interest to professional philosophers. There are well-thought-out exercises, and a number of advanced topics treated in appendices, while some are brought up in exercises and some are alluded to only in footnotes. By this means, it is hoped that the reader will at least be made aware of most of the important ramifications of the subject and its tie-ins with current research, and will have some indications concerning recent and relevant literature.

[more]

front cover of Principles of Instrumental Logic
Principles of Instrumental Logic
John Dewey's Lectures in Ethics and Political Ethics, 1895-1896
Donald F. Koch
Southern Illinois University Press, 1998

John Dewey delivered two sets of related lectures at the University of Chicago in the fall quarter 1895 and the spring quarter 1896. Designed for graduate students, the lectures show the birth of Dewey’s instrumentalist theory of inquiry in its application to ethical and political thinking.

From 1891 through 1903, Dewey attempted to develop a revolutionary experimentalist approach to ethical inquiry, designed to replace the more traditional ways of moral theorizing that relied on the fixed moral knowledge given in advance of the situations in which they were applied. In the lectures on the logic of ethics, he sets forth and defends the view that the "is" in a moral judgment such as "This is good" is a coordinating factor in an inquiry. Although the subject matter of the lectures is highly technical, its significance is paramount. It provides the key to and opens the door for a theory that preserves the difference between strictly scientific inquiry and moral inquiry even while it provides a "scientific treatment" of the latter.

[more]

front cover of Probabilistic Approaches to Linguistic Theory
Probabilistic Approaches to Linguistic Theory
Edited by Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin, and Aleksandre Maskharashvili
CSLI, 2022
A textbook exploring predictive modes of linguistic development and analysis.

During the last two decades, computational linguists, in concert with other researchers in AI, have turned to machine learning and statistical techniques to capture features of natural language and aspects of the learning process that are not easily accommodated in classical algebraic frameworks. These developments are producing a revolution in linguistics in which traditional symbolic systems are giving way to probabilistic and deep learning approaches. This collection features articles that provide background to these approaches, and their application in syntax, semantics, pragmatics, morphology, psycholinguistics, neurolinguistics, and dialogue modeling. Each chapter provides a self-contained introduction to the topic that it covers, making this volume accessible to graduate students and researchers in linguistics, NLP, AI, and cognitive science.
 
[more]

front cover of Propositional Attitudes
Propositional Attitudes
The Role of Content in Logic, Language, and Mind
Edited by C. Anthony Anderson and Joseph Owens
CSLI, 1990
These papers treat those issues involved in formulating a logic of propositional attitudes and consider the relevance of the attitudes to the continuing study of both the philosophy of language and the philosophy of mind. C. Anthony Anderson is professor of philosophy and Joseph Owens is assistant professor of philosophy, both at the University of Minnesota.
[more]

front cover of Pursuit of Truth
Pursuit of Truth
Revised Edition
W. V. Quine
Harvard University Press, 1992

In Pursuit of Truth W. V. Quine gives us his latest word on issues to which he has devoted many years. As he says in the preface: "In these pages I have undertaken to update, sum up, and clarify my variously intersecting views on cognitive meaning, objective reference, and the grounds of knowledge?'The pursuit of truth is a quest that links observation, theory, and the world. Various faulty efforts to forge such links have led to much intellectual confusion. Quine's efforts to get beyond the confusion begin by rejecting the very idea of binding together word and thing, rejecting the focus on the isolated word. For him, observation sentences and theoretical sentences are the alpha and omega ofthe scientific enterprise. Notions like "idea" and "meaning" are vague, but a sentence-now there's something you can sink your teeth into.

Starting thus with sentences, Quine sketches an epistemological setting for the pursuit of truth. He proceeds to show how reification and reference contribute to the elaborate structure that can indeed relate science to its sensory evidence.In this book Quine both summarizes and moves ahead. Rich, lively chapters dissect his major concerns-evidence, reference, meaning, intension, and truth. "Some points;' he writes, "have become clearer in my mind in the eight years since Theories and Things. Some that were already clear in my mind have become clearer on paper. And there are some that have meanwhile undergone substantive change for the better." This is a key book for understanding the effort that a major philosopher has made a large part of his life's work: to naturalize epistemology in the twentieth century. The book is concise and elegantly written, as one would expect, and does not assume the reader's previous acquaintance with Quine's writings. Throughout, it is marked by Quine's wit and economy of style.

[more]


Send via email Share on Facebook Share on Twitter