Bøger af Patrick Suppes

Coherent, well-organized text familiarizes readers with complete theory of logical inference and its applications to math and the empirical sciences. Part I deals with formal principles of inference and definition. Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Last section introduces numerous examples of axiomatically formulated theories.

All of the papers except those of Griinbaum, Fine, the second paper of Friedman, and the paper of Adams appeared in a special double issue of Synthese (24 (1972), Nos. I am pleased to have been able to add the four additional papers mentioned in making the special issue a volume in the Synthese Library.

This volume of essays is dedicated to the late Wilbur Knorr, a historian of science. Inspired by Knorr's work, the essays concentrate on the history of ancient mathematics, the associated mathematical sciences and their medieval and modern traditions.

The present volume is a natural succes sor to Studies in the Methodology and Foundations of Science, a collection of my articles published in 1969 by Reidel (now a part of Kluwer).

Starting with symbolizing sentences and sentential connectives, this work proceeds to the rules of logical inference and sentential derivation, examines the concepts of truth and validity, and presents a series of truth tables. Subsequent topics include terms, predicates, and universal quantifiers; universal specification and laws of identity; axioms for addition; and universal generalization. 1964 edition. Index.

The present volume is a natural succes sor to Studies in the Methodology and Foundations of Science, a collection of my articles published in 1969 by Reidel (now a part of Kluwer).

Geared toward upper-level undergraduates and graduate students, this treatment examines the basic paradoxes and history of set theory and advanced topics such as relations and functions, equipollence, more. 1960 edition.

The twenty-three papers collected in tbis volume represent an important part of my published work up to the date of this volume.