Ik zou graag zelf logica gaan bestuderen. Het probleem: met de hoeveelheid beschikbare boeken heb ik geen idee hoe ik de goede van de slechte kan onderscheiden. Stel me een paar goede boeken voor.
Opmerkingen
- In het geval dat deze vraag niet ' is verwijderd / closed / etc .: bekijk Barwise & Etchemendy ' s Taal, bewijs en logica . Het ' is heel duidelijk geschreven, het is ' interactief (het wordt geleverd met drie prachtige stukjes software), en in het derde deel heeft korte inleidingen op belangrijke tussenliggende onderwerpen zoals axiomatische verzamelingenleer, het resolutieprincipe, de limitatieve " metalogische " resultaten, enz. raad het aan als een eerste leerboek.
- Logica is een zeer breed onderwerp. Sommige mensen bestuderen het om hun redenering te ondersteunen. Sommigen bestuderen wiskundige logica. Ikzelf bestudeer het vanuit het oogpunt van de toepassing ervan op taal. Ik ' ben er zeker van dat er aspecten van logica zijn die ik ' niet ken. Kortom, " logica " is een uitgebreide verzameling onderwerpen. Wat wil je precies leren, en waarom?
- Ik ' ben er in geïnteresseerd vanwege de wiskundige kant!
- Ik denk dat de coursera.org/course/intrologic , is natuurlijk een zeer goede manier om met wiskundige logica te beginnen.
- Mogelijk duplicaat van Waar is een goede plek om te beginnen met lezen over logica?
Antwoord
Download de leesgids over logicaboeken van http://www.logicmatters.net/students/tyl/
§2.2 geeft enkele aanbevelingen voor complete beginners.
De rest van de gids geeft uitgebreid advies voor verder lezen.
Antwoord
Mag ik nederig mijn gratis, wiskundige bewijssoftware en bijbehorende tutorial met uitgewerkte voorbeelden en oefeningen voorstellen, elk met hints en volledige oplossingen. Bezoek mijn website op voor een videodemo.
Antwoord
Behalve deze boeken zijn hier al besproken , reproduceer ik enkele suggesties van Reddit: zoek naar “boek” , zoek naar “textbook” als volgt (maar ik laat blokcitaten weg om het lezen te vergemakkelijken):
Bericht van 2017/11/17:
Logica: een inleiding , door Greg Restall
[…] Het is een geweldig boek, maar vol fouten. Gelukkig staan de meeste op zijn website .
Logische labyrinten door Raymond Smullyan zou dienen als een vriendelijke inleiding op het onderwerp. Smullyan gebruikt regelmatig zijn beroemde logische puzzels door de hele tekst om een verscheidenheid aan lessen te leren. En een woord van waarschuwing: vriendelijk betekent niet gemakkelijk! Smullyan zal op je knoppen drukken en je diep laten nadenken over lastige concepten. Deze is zeer de moeite waard en wordt sterk aanbevolen.
The Power of Logic door Howard-Snyder, Howard -Snyder en Wasserman […]
Trouwens, hier “is een uitstekende online bron die u wellicht nuttig vindt.
Bericht ingediend op 2012/9/6:
Lees dat (pdf) voor referenties. Lees CL Hamblin “s " drogredenen ", en het spul door Doug Walton.
Bericht ingediend op 6/5 2014:
Virginia Klenks Symbolische logica begrijpen
Bericht ingediend op 2014/9/28:
Hausman “s logica en filosofie
Voor een gratis boek, met antwoorden op de oefeningen online, probeer Paul Tellers A Modern Formal Logic Primer : http://tellerprimer.ucdavis.edu
Voor een recent boek met vergelijkbare verslaggeving en soortgelijke deugden van duidelijkheid, Logic: The Laws of Truth door Nicholas JJ Smith (die online antwoorden heeft op oefeningen).
Misschien is het korter en zelfs duidelijker Peter Smiths An Introduction to Formal Logic (die ook online antwoorden op oefeningen heeft). Bijzonder goed in vertaling in en uit gekwantificeerde notatie, waardoor beginners een knelpunt kunnen vinden.
Logica , door Paul Tomassi
Post op 2015/7/11:
Ik begon met logica eerst door filosofische kernconcepten te begrijpen, dus ik zou ten eerste Graylings Philosophical Logic .Dat is geen goed antwoord op uw verzoek, maar eerder een persoonlijke aanbeveling. Maar als u de filosofische fase wilt overslaan, ga dan naar de Elementaire Logica van Benson Mate en dan voor hetzelfde problemen heb je de First Order Logic van Smullyan. Een ander boek dat ik aanbeveel is Introduction to a Logical-Theory door Peter Strawson, wederom niet alleen over formele logica, maar ook over filosofische vragen die van nature opwekken.
Bericht van 6/10/6:
Essentiële zaken van symbolische logica door RL Simpson.
Bericht op 2015/12/3:
Ik nam een introductie voor de Logic-les op school gebruikten we The Logic Book (6e ed.) van Bergmann, Moor en Nelson. Het meeste van het leerproces werd uit het leerboek gehaald; de lezingen waren voornamelijk gericht op het stellen van vragen en door de moeilijkere oefenproblemen heen te werken. Als ik het me goed herinner, was de tekst vrij prijzig, maar ongelooflijk nuttig oplossingshandleiding is online, en ik wed dat je de tekst zelf ook met wat werk online zou kunnen vinden. Zeer aan te bevelen.
Probeer het boek van Nelson Lande, Classical Logic and its Rabbit Holes . Het is heel benaderbaar, zelfs grappig. Er zijn ook online oplossingen voor veel van de problemen.
An Introduction to Mathematical Logic (Dover Books on Mathematics) door Richard E. Hodel
Inleiding tot logica: en tot de methodologie van deductieve wetenschappen door Alfred Tarski