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: Duktilar Bacage
Country: French Guiana
Language: English (Spanish)
Genre: Technology
Published (Last): 5 July 2017
Pages: 211
PDF File Size: 5.8 Mb
ePub File Size: 9.77 Mb
ISBN: 922-4-36564-297-6
Downloads: 28807
Price: Free* [*Free Regsitration Required]
Uploader: Gataxe

I give a formal calculus consisting of items available to Ibn Sina, which is complete for first-order logic.

This passage contains his reasons for rejecting Porphyry’s notion of an inseparable accident and replacing it by his own notion of a necessary accident. Some of the examples and exercises tested my brain.

Wilfrid Hodges – Wikipedia

This is on Ibn Sina’s propositional logic. Once I had reached the last 20 pages I had reached a new understanding and could work out the examples a lot more easier than when I started. Part 3 When is a sentence true?: My only complaint ,ogic Hodge’s use of the tableau method for proofs, rather than natural deduction, which seems more popular, and to my eyes, more intuitive.

There is also a polemical section which seems to be intended to show that metatheorems of logic – in particular those of the kind illustrated by the more recent laws of distribution and interpolation theorems – are just as useful for philosophical argument as the laws of logic itself. As ever in these books, some of the answers are either flat Solid intro to logic, which goes about its task in a for me odd way.


Tutorial on Tarski and decidable theoriesMumbai 10 January Dan rated it liked it Jan 12, Want to Read Currently Reading Read. Other items on Arabic logic This section is due for a major reorganisation, because I now think since January that I understand broadly what is going on in Ibn Sina’s logic.

First, the inference engine operates correctly when it follows correct logical inference rules. Also there is some substantial material on the basics of Ibn Sina’s propositional logic.

Wilfrid Hodges’ logic page

No eBook available Amazon. The interplay of fact and theory in separating syntax from meaning from Esslli 05 Edinburgh.

But there are historical remarks scattered through the book. Description If a man supports Arsenal one day and Spurs lgic next then he is fickle but not necessarily illogical.

For a meeting in Cambridge, March The first edition of this book has always been my very favorite of the dozens of introductory logic books that I have read. John of Salisbury claimed just this in the 12th century, but without solid evidence. The talk contains a mixture of mathematical and personal reminiscences about how the Kemerovo model theorists Belegradek and Zilber came into contact with the British model theorists across the iron curtain.

But one thing seems to be original in him, namely the distinction between ‘Possibly every A is a B’ and ‘Every A is possibly a B’. Jun 18, Justin Evans rated it really liked it Shelves: This shows in principle that Ibn Sina was right to suppose there was nothing in Euclid that he couldn’t justify within his own logic.

Ibn Sina tackles some particularly incomprehensible remarks in Aristotle with the aid of some thoughts about lengths of proofs. Page 17 The word ‘quantifier’ appears first in De Morgan, as an abbreviation for ‘quantifying phrase’ – which comes from Hamilton as De Morgan acknowledges.


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. Michael Nicholl rated it liked it Jan 23, Mar 25, Ahmad Alhour rated it really liked it Shelves: Reasons as Defaults John F.

Note, 8 October Here is my accompanying lecture at the YuriFest in Brno where the volume was presented to Yuri. The proof is in two papers; one of them has appearedand the other is in preparation the end is in sight.

While writing this talk I became aware, through Stephen Menn’s chapter in Adamson ed. It might be perfect for people whose main interest isn’t math or logic but a related field, e. Slides for a talk at the Greenwich Observatory, Wilfrrid The mathematical core of Tarski’s truth definitionUnilog 2, Xi’an August The book is dense, and full of exercises almost It seems to me that this clinches what Avicenna is on about in his discussion of the subject individuals of the art of logic in Madkhal ; he is using a critique of b.

Check out the top books of the year on our page Best Books of We’re featuring millions of their reader ratings on our book pages to help you find your new favourite book.