Inleiding tot de elementaire formele logica.
In dit boek geeft Diderik Batens - directeur van het centrum voor Logica en Wetenschapsfilosofie aan de Universiteit Gent en al ruim dertig jaar docent - een inleiding tot de logica. Het boek combineert theorie en praktijk van het correct redeneren en besteedt ook aandacht aan metatheorie. Na een hoofdstuk over de fundamenten van het redeneren en argumenteren bespreekt de auteur de bewijstheorie en de semantiek van de klassieke oordeelslogica (het taalschema PC, het regelsysteem, de axiomatische formuleringen van PC, definities en paradoxen, semantische tableaus etc.). Verder gaat Batens uitgebreid in op enkele alternatieve logica's, de logica PCR (PC uitgebreid met een relevante implicatie) en de klassieke predicatenlogica. Dat alles wordt ondersteund met schema's en voetnoten, en achteraan volgen een bibliografie en een index. De oefeningen in het handboek worden aangevuld met computeroefeningen op een (niet meegeleverde) cd-rom. Een degelijk en helder handboek, waarin het abstracte onderwerp stap voor stap inzichtelijk en concreet wordt gemaakt.
Nederlands | 9789044124095
| Titel | Logicaboek : praktijk en theorie van het redeneren |
| Auteur | Diderik Batens |
| Type materiaal | Boek |
| Editie | 7e, licht herz. dr; |
| Uitgave | Antwerpen : Garant, 2008 |
| Overige gegevens | 197 p - ill - 24 cm |
| Annotatie | 1e dr.: Leuven ; Apeldoorn : Garant, 1992 - Met index, lit. opg |
| ISBN | 9789044124095 |
| PPN | 315896450 |
| Rubriekscode | 133 |
| Taal | Nederlands |
| Onderwerp algemeen | Logica |
