Értékelés:
Raymond Smullyan „First Order Logic” című könyve vegyes kritikákat kap, sokan dicsérik a logika mélységét és egyedi megközelítését, míg néhányan kritizálják rövidségét és a kezdők számára való bonyolultságát. A formális logikában már jártasak számára nagyszerű referenciának tartják, de igazi kezdők számára nem alkalmas.
Előnyök:⬤ Az elsőrendű logika fontos témáinak mélyreható lefedettségét kínálja
⬤ hatékonyan mutatja be a táblázatos módszereket
⬤ nagyra értékelik eredetiségéért és tömör stílusáért
⬤ kiváló referenciaként szolgál a tapasztalt olvasók számára
⬤ betekintést nyújt a haladó logikai elméletekbe.
⬤ Nem alkalmas kezdőknek vagy a formális logikában járatlanoknak
⬤ túl tömör és előzetes ismereteket feltételez, így egyes fogalmak nem eléggé magyarázottak
⬤ egyes olvasók sűrűnek és nehezen érthetőnek találták
⬤ úgy érezhető, hogy túlságosan a Boole-logikára összpontosít.
(23 olvasói vélemény alapján)
First-Order Logic
Ez a teljesen önálló tanulmány, amelyet széles körben a terület legjobb könyvének tartanak, egyaránt szolgál bevezetésként a számszerűsítés elméletébe és az analitikus vagy vágásmentes módszerek új eredményeinek és technikáinak bemutatására. A szerzőt lenyűgözte a tablószemlélet egyszerűsége és matematikai eleganciája, ezért itt erre összpontosít.
A (tableau-módszerhez szükséges) tresszel kapcsolatos bevezető anyag után az I. rész az analitikus tableauxok szemszögéből vizsgálja az állítólagos logikát, olyan témákat érintve, mint a formulák vagy az állítólagos logika, a Boole-féle értékelések és igazsághalmazok, a tableaux-módszer és a tömörség.
A II. rész az elsőrendű logikával foglalkozik, részletesen tárgyalva olyan kérdéseket, mint az elsőrendű analitikus tablók, az analitikus konzisztencia, a kvantifikációs elmélet, a bűvös halmazok és az analitikus versus szintetikus konzisztenciatulajdonságok.
A III. rész folytatja az elsőrendű logika tárgyalását. A tárgyalt témák között szerepelnek a Gentzen-rendszerek, az eliminációs tételek, a prenex-táblázatok, a szimmetrikus teljességi tételek és a rendszer lineáris következtetés.
Raymond M. Smullyan ismert logikus és matematikai és logikai rejtvények feltalálója. Ebben a könyvben az elsőrendű logika olyan izgalmas és kihívást jelentő kifejtését írta meg, amelyet a logikusok, matematikusok és a terület iránt érdeklődők egyaránt szívesen fogadnak.
