Buy Logic 2Rev Ed by Wilfrid Hodges (ISBN: ) from Amazon’s Book Store. Everyday low prices and free delivery on eligible orders. How do you define logic? Logic is about consistency – but not about all types of consistency. For example, if a man supports Aresenal one day and Spurs the. Wilfrid Augustine Hodges, FBA (born 27 May ) is a British mathematician, known for his Hodges was President of the British Logic Colloquium, of the European Association for Logic, Language and Information and of the Division of .

Author: Doull Daijar
Country: Reunion
Language: English (Spanish)
Genre: Literature
Published (Last): 5 May 2012
Pages: 286
PDF File Size: 5.23 Mb
ePub File Size: 11.88 Mb
ISBN: 251-9-66754-269-5
Downloads: 77721
Price: Free* [*Free Regsitration Required]
Uploader: Mezisida

This contains a commented translation of a section of Ibn Sina’s commentary on a couple of paragraphs of Aristotle’s Prior Analytics. Note, 8 October qilfrid It may be that this book is better for readers who know some logicrather than novices like me. Wilfrdi is a very boring section on propositional logic, but hidden inside it is the idea of a novel and surprisingly strong proof rule, which Ibn Sina invokes in his treatment of reductio ad absurdum.

A paper explaining some of the background is here. I knew very little about logic before starting and a little bit more now, but as an introduction it wasn’t that much help.

My library Help Advanced Book Search. This will be discussed in the next draft of the paper above on the definition of logic. The rules are those followed when the inference engine the ‘working mind’ hhodges the intellect operates with ‘correctness’.

  EUGENE MALLOVE PDF

Hodges starts with The first edition of this book has always been my very favorite of the dozens of introductory logic books that I have read. Also with this kind of material, raw translations without commentary have limited value. Aug 03, Mike rated it really liked it.

Logic: An Introduction to Elementary Logic by Wilfrid Hodges

Meanwhile some corrections on this talk: He has held visiting appointments in the US. The talk compares Ibn Sina, Leibniz and Frege on some key issues in logic and semantics, and aims to illuminate Frege by putting him into this context. Dispatched from the UK in 2 business days When will my order arrive? Children all with Facebook pages: This is a very loguc section containing some of his most original work. This book is primarily for a mathematical audience. Lecture on Ibn Sina’s cyclotronfor a conference on formalising ancient logics, chiefly Indian, Hamburg, June So we move from experiment to exposition, and the material is shaping itself into some books, unless I die first.

Iwlfrid as Identity Aaron J.

hocges Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic.

Hodges starts with what every child knows and lets things develop.

Wilfrid Hodges’ logic page

Looking for beautiful books? Readers who are more mathematically adventurous will find optional sections introducing rather more challenging material.

  CMOS NAND CD4011 PDF

It picks up from the section i. A list of my publications is here.

I give the book 4 stars becuase the chapter on Predicate Logic was shorter more than it should be, and it left the solutions to the exercises somehow hard to grasp. Readers who are more mathematically adventurous will find optional sections introducing rather If a wilcrid supports Arsenal one day and Spurs the next then he is fickle but not necessarily illogical.

This book is an introduction to logic. I give the book 4 stars becuase the chapter on Predicate L This is by far one of the best introductions to Logic.

Logic : Wilfrid Hodges :

This lecture applies the analysis of the preceding item to prove that Gaifman’s conjecture holds for theories of relatively categorical abelian group pairs: Optinal sections discuss the classification of mathematical structures by first-order theories; the required theory of cardinality is developed from scratch.

If a legal system helps the rich but not the poor then it is unjust but not illogical. Aug 06, Alexandre Guay added it. Logic is about consistency – but not about all types of consistency.