Best of
Logic

1960

Naive Set Theory


Paul R. Halmos - 1960
    This book contains my answer to that question. The purpose of the book is to tell the beginning student of advanced mathematics the basic set- theoretic facts of life, and to do so with the minimum of philosophical discourse and logical formalism. The point of view throughout is that of a prospective mathematician anxious to study groups, or integrals, or manifolds. From this point of view the concepts and methods of this book are merely some of the standard mathematical tools; the expert specialist will find nothing new here. Scholarly bibliographical credits and references are out of place in a purely expository book such as this one. The student who gets interested in set theory for its own sake should know, however, that there is much more to the subject than there is in this book. One of the most beautiful sources of set-theoretic wisdom is still Hausdorff's Set theory. A recent and highly readable addition to the literature, with an extensive and up-to-date bibliography, is Axiomatic set theory by Suppes.

Man on a Raft: Fifty Days Adrift at Sea


Kenneth Cooke - 1960
    Following the 1943 sinking of the merchant ship S.S. Lulworth Hill in the south Atlantic by Italian submarine Leonardo da Vinci., 14 men, including the author, gather on a small liferaft. The men attempt to reach the African coast, but intense sun, starvation, sharks, injuries and madness begin to take their toll. When British warship HMS Rapid reaches the raft nearly two months later, only two men, author Kenneth Cooke and crewmate Colin Armitage, remain alive. This heart-breaking story remains inspirational due to the author's faith, determination, and compassion for his fellow raftmates. Included are six pages of illustrations.

History of the Christian Church: Nicene and Post-Nicene Christianity A.D. 311-600


Philip Schaff - 1960
    

History of the Christian Church: The Middle Ages A.D. 1294-1517


Philip Schaff - 1960
    

History of the Christian Church: Medieval Christianity A.D. 590-1073


Philip Schaff - 1960
    

History of the Christian Church: The Middle Ages A.D. 1049-1295


Philip Schaff - 1960
    

History of the Christian Church: Modern Christianity: The Swiss Reformation


Philip Schaff - 1960
    

Works of Blaise Pascal


Blaise Pascal - 1960
    A dynamic table of contents allows you to jump directly to the work selected.Table of Contents:- Comparison Between Christians of Early Times and Those of To-Day- Conversation on Epictetus and Montaigne- Discourses on the Condition of the Great- Epitaph of M. Pascal- Of the Geometrical Spirit- On Geometrical Demonstration- On the Conversion of the Sinner- Pensées- Prayer to Ask of God the Proper Use of Sickness- The Art of Persuasion- The Provincial Letters

Van Til and the Limits of Reason


Rousas John Rushdoony - 1960
    It was the mind of man that became the new standard. “My own mind is my own church,” wrote Thomas Paine in his Age of Reason (Part First, 1794), which was an attack on all religion that claimed to be authoritative and Christianity in particular. It is not without case that Paine’s title is sometimes used as a synonym for the Enlightenment. Its rationalism saw faith as a blind confidence, a belief in nothing, while Hebrews 11:3 tells us it is “through faith we understand…” The Christian must see faith in God’s revelation as opening up understanding, as thinking God’s thoughts after Him, and rationalism as a restriction of thought to the narrow confines of human understanding. Reason is a gift of God, but we must not make more of it than it is. To see our reason as supreme is to see ourselves as supreme, and thereby repeat the sin of seeking to “be as gods” (Gen. 3:5). The first three essays of this volume were published in a small booklet in 1960 as a tribute to the thought of Dr. Cornelius Van Til, titled Van Til. The last four essays were written some time later and are published here for the first time.

A Precis of Mathematical Logic


Józef Maria Bocheński - 1960
    In 1954 Dr. Albert Menne brought out a revised and somewhat enlarged edition in German (Grund riss der Logistik, F. Schoningh, Paderborn). In making my translation I have used both editions. For the most part I have followed the original French edition, since I thought there was some advantage in keeping the work as short as possible. However, I have included the more extensive historical notes of Dr. Menne, his bibliography, and the two sections on modal logic and the syntactical categories ( 25 and 27), which were not in the original. I have endeavored to correct the typo graphical errors that appeared in the original editions and have made a few additions to the bibliography. In making the translation I have profited more than words can tell from the ever-generous help of Fr. Bochenski while he was teaching at the University of Notre Dame during 1955-56. OTTO BIRD Notre Dame, 1959 I GENERAL PRINCIPLES O. INTRODUCTION 0. 1. Notion and history. Mathematical logic, also called 'logistic', .symbolic logic', the 'algebra of logic', and, more recently, simply 'formal logic', is the set of logical theories elaborated in the course of the last century with the aid of an artificial notation and a rigorously deductive method."