I An Introduction to Formal Logic fører Peter Smith læseren ind i det formelle logiksprog og viser, hvordan man omdanner almindelige argumenter til præcise symbolske udsagn. Bogen præsenterer både udsagnslogikkens og predikatlogikkens sprogstrukturer på en klar og tilgængelig måde. Herefter udvikler Smith systematiske metoder til at vurdere gyldigheden af oversatte argumenter, med særlig vægt på den intuitive ’træ’-metode. Hvert trin i opbygningen af de formelle systemer er ledsaget af gennemarbejdede eksempler og øvelser, der styrker forståelsen. En særlig styrke ved værket er den løbende filosofiske kommentar, som udfordrer læseren til at reflektere over logikkens fundament og anvendelse. Denne kombination af teori, praksis og refleksion gør bogen til et ideelt udgangspunkt for den, der møder formel logik for første gang. Bogen fungerer ikke blot som pensum i en indledende logikkursus, men lægger også fundamentet for videre studier og forskning inden for både formel og filosofisk logik.
Studiesalg.dk er en markedsplads hvor studerende i hele landet kan handle direkte med
hinanden.
Vores betalingsystem sikrer, at du både som køber og sælger er beskyttet, i alt lige fra
betaling, forsendelse og godkendelse af bøgerne.
Vi kræver MitID verificering af både sælger og køber. Dette er med til at sikre begge parter en god oplevelse og undgå svindel af enhver art.
Betal online med MobilePay. Vi opbevarer betalingen, og udbetaler først pengene til sælger når bøgerne er leveret og godkendt.
Sælg nemt dine bøger videre når du ikke længere har brug for dem. Med vores web-app er det nemt at scanne stregkoder og tage billeder af dine bøger.
