Category: Math and Logic

An Introduction to Symbolic Logic                  Suzanne K. Langer Introduction The first thing that strikes the student of Symbolic Logic is that it has developed along several apparently unrelated lines Branches of logic are so many studies in generalization Progressive systematization and generalization Discovery of abstract forms Is a technique as well as a theory, and…

Principles of Mathematics                        Russell Introduction Hilbert and the Formalists theory Hilbert refuted Brouwer intuitionist theory Weyl An infinite statement Jorgensen, ‘Treatise of Formal Logic’ ‘numbers are symbols which mean nothing’ p.9 Numbers and atheism The theory of descriptions The abolition of classes ‘x’ wrote Waverly is equivalent to x is Scott is true for all…

Introduction to Symbolic Logic                   R. Carnap Part one System of Symbolic Logic Chapter A The Simple Language A The Problem of Symbolic Logic The purpose of symbolic language. A language A schema Pure and applied Part three – more comprehensive Treatment of concepts of any kind Frege, Russell, Hilbert Logic of relations Axiomatic method ‘Principia…

Elementary Logic                                        W.V.O. Quine   Revised edition Preface , 1980 ‘Mathematical Logic’ ‘Elementary Logic’, 1940 ‘Methods of Logic’ Godel Quantification theory admits of a complete proof procedure Boston, March 1980 Preface to Revised Edition Minimum essentials ‘Methods of Logic’ Skolem and Herbrand Testing procedure Proof technique Modernization of terminology Cantor Hilbert and Bernays Harvard, Massachusetts,…

 Introduction to Mathematical Philosophy by Bertrand Russell 1) extension/intension “the traits by which Swift delineates the”Yahoos” class of classes bundle of bundles converse domain reflexive/symmetrical/transitive/similarity -class of fathers >what it is to be a father of somebody -the class of fathers will be all those who are somebody’s father Finitude & mathematical induction successor how…