A Mathematical Introduction to Logic


Herbert B. Enderton - 1972
    The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets.

Proofs and Refutations: The Logic of Mathematical Discovery


Imre Lakatos - 1976
    Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion (which mirrors certain real developments in the history of mathematics) raises some philosophical problems and some problems about the nature of mathematical discovery or creativity. Imre Lakatos is concerned throughout to combat the classical picture of mathematical development as a steady accumulation of established truths. He shows that mathematics grows instead through a richer, more dramatic process of the successive improvement of creative hypotheses by attempts to 'prove' them and by criticism of these attempts: the logic of proofs and refutations.

Logic


Immanuel Kant - 1799
    Extensive editiorial apparatus.

Euclid's Elements


Euclid
    Heath's translation of the thirteen books of Euclid's Elements. In keeping with Green Lion's design commitment, diagrams have been placed on every spread for convenient reference while working through the proofs; running heads on every page indicate both Euclid's book number and proposition numbers for that page; and adequate space for notes is allowed between propositions and around diagrams. The all-new index has built into it a glossary of Euclid's Greek terms.Heath's translation has stood the test of time, and, as one done by a renowned scholar of ancient mathematics, it can be relied upon not to have inadvertantly introduced modern concepts or nomenclature. We have excised the voluminous historical and scholarly commentary that swells the Dover edition to three volumes and impedes classroom use of the original text. The single volume is not only more convenient, but less expensive as well.

On the Way to Language


Martin Heidegger - 1959
    These essays reveal how one of the most profound philosophers of our century relates language to his earlier and continuing preoccupation with the nature of Being and himan being.One the Way to Language enable readers to understand how central language became to Heidegger's analysis of the nature of Being. On the Way to Language demonstrates that an interest in the meaning of language is one of the strongest bonds between analytic philosophy and Heidegger. It is an ideal source for studying his sustained interest in the problems and possibilities of human language and brilliantly underscores the originality and range of his thinking.

Five Thousand B.C. and Other Philosophical Fantasies


Raymond M. Smullyan - 1983
    ASIN: 0312295170

Principia Mathematica to '56


Alfred North Whitehead - 1913
    Its aim is to deduce all the fundamental propositions of logic and mathematics from a small number of logical premises and primitive ideas, establishing that mathematics is a development of logic. This abridged text of Volume I contains the material that is most relevant to an introductory study of logic and the philosophy of mathematics (more advanced students will of course wish to refer to the complete edition). It contains the whole of the preliminary sections (which present the authors' justification of the philosophical standpoint adopted at the outset of their work); the whole of Part I (in which the logical properties of propositions, propositional functions, classes and relations are established); section A of Part II (dealing with unit classes and couples); and Appendices A and C (which give further developments of the argument on the theory of deduction and truth functions).

Matter and Consciousness: A Contemporary Introduction to the Philosophy of Mind


Paul M. Churchland - 1984
    This new edition incorporates the striking developments that have taken place in neuroscience, cognitive science, and artificial intelligence and notes their expanding relevance to philosophical issues.Churchland organizes and clarifies the new theoretical and experimental results of the natural sciences for a wider philosophical audience, observing that this research bears directly on questions concerning the basic elements of cognitive activity and their implementation in real physical systems. (How is it, he asks, that living creatures perform some cognitive tasks so swiftly and easily, where computers do them only badly or not at all?) Most significant for philosophy, Churchland asserts, is the support these results tend to give to the reductive and the eliminative versions of materialism."A Bradford Book"

An Introduction to Probability and Inductive Logic


Ian Hacking - 2001
    The book has been designed to offer maximal accessibility to the widest range of students (not only those majoring in philosophy) and assumes no formal training in elementary symbolic logic. It offers a comprehensive course covering all basic definitions of induction and probability, and considers such topics as decision theory, Bayesianism, frequency ideas, and the philosophical problem of induction. The key features of the book are: * A lively and vigorous prose style* Lucid and systematic organization and presentation of the ideas* Many practical applications* A rich supply of exercises drawing on examples from such fields as psychology, ecology, economics, bioethics, engineering, and political science* Numerous brief historical accounts of how fundamental ideas of probability and induction developed.* A full bibliography of further reading Although designed primarily for courses in philosophy, the book could certainly be read and enjoyed by those in the social sciences (particularly psychology, economics, political science and sociology) or medical sciences such as epidemiology seeking a reader-friendly account of the basic ideas of probability and induction. Ian Hacking is University Professor, University of Toronto. He is Fellow of the Royal Society of Canada, Fellow of the British Academy, and Fellow of the American Academy of Arts and Sciences. he is author of many books including five previous books with Cambridge (The Logic of Statistical Inference, Why Does Language Matter to Philosophy?, The Emergence of Probability, Representing and Intervening, and The Taming of Chance).

Language, Truth, and Logic


A.J. Ayer - 1936
    Topics: elimination of metaphysics, function of philosophy, nature of philosophical analysis, the a priori, truth & probability, critique of ethics & theology, self & the common world etc.IntroductionThe elimination of metaphysicsThe function of philosophy The nature of philosophical analysisThe a priori Truth & probabilityCritique of ethics & theologyThe self & the common worldSolutions of outstanding philosophical disputesIndex

Labyrinths of Reason: Paradox, Puzzles and the Frailty of Knowledge


William Poundstone - 1988
    This sharply intelligent, consistently provocative book takes the reader on an astonishing, thought-provoking voyage into the realm of delightful uncertainty--a world of paradox in which logical argument leads to contradiction and common sense is seemingly rendered irrelevant.

The Logical Structure of the World and Pseudoproblems in Philosophy


Rudolf Carnap - 1928
    In The Logical Structure of the World, Carnap adopts the position of “methodological solipsism” and shows that it is possible to describe the world from the immediate data of experience. In his Pseudoproblems in Philosophy, he asserts that many philosophical problems are meaningless.

Logic: An Introduction to Elementary Logic


Wilfrid Hodges - 1980
    From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a simple and lively way. Readers who are more mathematically adventurous will find optional sections introducing rather more challenging material. 'A lively and stimulating book' Philosophy

Ethics Without Ontology


Hilary Putnam - 2004
    Looking at the efforts of philosophers from the Enlightenment through the twentieth century, Putnam traces the ways in which ethical problems arise in a historical context. Hilary Putnam's central concern is ontology--indeed, the very idea of ontology as the division of philosophy concerned with what (ultimately) exists. Reviewing what he deems the disastrous consequences of ontology's influence on analytic philosophy--in particular, the contortions it imposes upon debates about the objective of ethical judgments--Putnam proposes abandoning the very idea of ontology. He argues persuasively that the attempt to provide an ontological explanation of the objectivity of either mathematics or ethics is, in fact, an attempt to provide justifications that are extraneous to mathematics and ethics--and is thus deeply misguided.

A Course in Game Theory


Martin J. Osborne - 1994
    The authors provide precise definitions and full proofs of results, sacrificing generalities and limiting the scope of the material in order to do so. The text is organized in four parts: strategic games, extensive games with perfect information, extensive games with imperfect information, and coalitional games. It includes over 100 exercises. Solution ManualTable of Contents, Errata, and more...