Abstract
Patrick K. Bastable (University College, Dublin) has produced an unusually encyclopedic composite of a great deal that relates to the subject of logic. His book takes its starting point in an Aristotelian reflection on linguistic meaning and the nature of implication. On this historical base, Bastable develops the propositional calculus, the first-order predicate calculus with identity, and introduces the theory of n-adic relations. The propositional and predicate calculi are treated in a manner rare in most texts of logic: The approaches of axiomatization and natural deduction are both presented, while the propositional calculus is developed in the notation of Lukasiewicz, and the predicate calculus is expressed in the notation of Principia. From this point on, in-fix and out-fix notation are used as the occasion demands.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
