This volume offers a collection of in-depth explorations of pragmatism as a framework for discussions in philosophy of science and metaphysics. Each chapter involves explicit reflection on what it means to be pragmatist, and how to use pragmatism as a guiding framework in addressing topics such as realism, unification, fundamentality, truth, laws, reduction, and more. -/- .

This is the first of a number of volumes designed to review the philosophical work which has been done in various areas of philosophy between the years 1956 and 1966. It succeeds an earlier three volume publication entitled Philosophy in the Mid-Century which covered the period from 1949 to 1955. This first volume in the series covers the fields of logic, philosophical logic, foundations and philosophy of mathematics. For anyone interested in these fields, the book is an indispensable guide. The (...) procedure is that an expert in a given area writes a summary of the work done in the area in the last ten years and adds a bibliography covering the same period. In all there are thirty-two such essays, most written in English, but a few in French and German. Some representative essays and their authors are the following: On the logical side, Modal Logic, Many Valued Logics, Logic of Practical Discourse, Semantics, Model Theory, Pragmatics, Chronological or Tense Logic, The Logic of Questions, Combinatory Logic and others. There are two general essays on recent developments in philosophical logic and a number of essays on the development of logic in various Eastern and Western European countries and Japan. On the mathematical side are three essays on foundations of set theory and mathematics, essays on Intuitionism in mathematics, and general essays by A. Church, H. Freudenthal and others. The essays are generally of high caliber and the bibliographies in most cases very comprehensive. Occasionally the essays contain not only summary of work done but original suggestions and development of ideas. It would be hard to find a more useful guide for the philosopher overwhelmed by the many developments in these fields in recent years.--R. H. K. (shrink)

Rapid handwriting, popularly known as shorthand, involves writing symbols and abbreviations in lieu of common words or phrases. This method increases the speed of transcription and is primarily used to record oral dictation. Someone skilled in shorthand will be able to write as fast as the dictation occurs, and these patterns are later transliterated into actual, natural language words. A new kind of rapid handwriting scheme is proposed, called the Pattern-Based Shorthand. A word on a keyboard involves pressing a unique (...) sequence of keys in a particular order. This sequence forms a pattern that defines the word. Such a pattern forms the shorthand for that word. Speech recognition involves identifying, by a machine, the words spoken by a speaker. These spoken words form speech input signals to a computer that is equipped to correctly recognize the words and do further action, such as convert it to text. From this text input, unique shorthand patterns are generated by the system. The system employs machine learning to improve its performance with experience, by creating a dictionary of mappings from word to patterns in such a way that the access to existing patterns is faster with progression. This forms a new knowledge representation schema that reduces the redundancy in the storage of words and the length of information content. In conclusion, the speech is converted into textual form and then reconstructed into Pattern-Based Shorthand. (shrink)

This work gives a fresh approach to the discussion of psychological phenomena in philosophical terms. Beginning with a discussion of the emotions and feelings, it works back to a theory of willing and judging. The method is analytic, and the influence of Wittgenstein and Ryle is everywhere in evidence, though in different ways: the author usually improves on what Ryle, but simply approves of what Wittgenstein, says. In the final two chapters, the theory of judgment put forward by Geach in (...) Mental Acts is modified and extended to apply to acts of will, in the light of what has been said in the earlier chapters about emotions, feelings and desires.--R. H. K. (shrink)

A comprehensive introduction to modal logic is long overdue and this one has many virtues. It is clearly written and should be accessible to any student who has at least one semester of basic logic and is willing to read carefully and think abstractly. The first part, on modal propositional logic, begins with a summary account of classical propositional logic, the axiomatization of Principia Mathematica being the basis for the development of modal logics throughout the book. The transition to modal (...) logic is nicely motivated by a clear presentation of intuitive notions of modality and the requirements to be included in a modal logic. Thereafter three standard systems of modal propositional logic are developed axiomatically, Feys' system T and Lewis' systems S4 and S5. The semantics for these systems is then developed in the manner of Kripke with some terminological modifications. The explanation of accessibility relations between possible worlds is made especially clear through a helpful analogy with certain sorts of games. Decision procedures and completeness proofs are then developed. A similar pattern of exposition is given to modal predicate logic in Part II, the difference being that Henkin-type methods are used in the completeness proofs. Because of the many philosophical problems raised by modal predicate logic, Part II contains more philosophical discussion than Part I. A discussion of identity and descriptions in modal predicate logic is also included. The third and final part is a survey of modal systems beginning with the Lewis' systems S1-S5 and going on to systems weaker and stronger than the Lewis' systems and others which are independent of them. Systems with alternative primitives and axiomatic bases are also discussed. A final chapter discusses the relation of Boolean algebras to modal logics and brief appendices deal with natural deduction systems of modal logic, systems of entailment, alternative notations and the semantics of Kripke and Hintikka among other topics. There are exercises at the end of each chapter. This summary suggests the merits of this introduction, its clear exposition and the enormous amount of material it brings together and summarizes.--R. H. K. (shrink)