"e;To abandon the struggle for private happiness, to expel all eagerness of temporary desire, to burn with passion for eternal things - this is emancipation, and this is the free man's worship.
First published in 1943, and revised for this 1952 edition, this book was intended for use by students of philosophy and as such traditional and modern developments in logic have been combined in a unified treatment.
This collection originated at a conference organized by the Institute Vienna Circle and the University of Vienna on the Vienna Circle and Logical Empiricism and was held in Vienna in July 2001.
This edition presents Moore''s fellowship dissertations of 1897 and 1898, showing his influential break with idealism and the development of logical analysis.
This book offers an in-depth and updated examination of the nature of haecceity-that primitive entity which explains why something is distinct from other things.
This edited volume is a comprehensive presentation of views on the relations between metaphysics and logic from Aristotle through twentieth century philosophers who contributed to the return of metaphysics in the analytic tradition.
Action theorists and formal epistemologists often pursue parallel inquiries regarding rationality, with the former focused on practical rationality, and the latter focused on theoretical rationality.
A brief account of philosophical logic from one of the world's leading authoritiesPhilosophical Logic is a clear and concise critical survey of nonclassical logics of philosophical interest written by one of the world's leading authorities on the subject.
First published in 1971, Professor Putnam's essay concerns itself with the ontological problem in the philosophy of logic and mathematics - that is, the issue of whether the abstract entities spoken of in logic and mathematics really exist.
In a unique cooperation between philosophy, linguistics, art history, and ancient studies, this volume focuses on ways in which the entangled and embodied nature of image and language enables us to symbolically articulate the world and our experience in a great variety of forms.
This wide-ranging book introduces information as a key concept not only in physics, from quantum mechanics to thermodynamics, but also in the neighboring sciences and in the humanities.
Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions.
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.
Whilst the greatest effort has been made to ensure the quality of this text, due to the historical nature of this content, in some rare cases there may be minor issues with legibility.
