afleiden door redenering.
afleiden, bepalen door te redeneren vanuit wat men reeds weet of als aannemelijk veronderstelt; in specifiek logische zin meer bepaald: afleiden door deductie, waarbij men op logisch geldige wijze van het algemene tot het bijzondere besluit en de waarheid van de premissen noodzakelijk leidt tot de waarheid van de conclusie.
Voorbeelden:
De logica is in de loop der tijd voorzien van een eigen grammatica en eigen spelregels voor het vaststellen van juistheid. In het systeem van de Duitse logicus Gentzen heeft dit spel van deduceren zijn elegantst denkbare vorm gekregen. Laten we de logische redeneringen in zo'n systeem (dat wil zeggen een samenstel van premissen en conclusies) aan Wittgensteins kant van observeerbare communicatie indelen en de mentale constructies aan de kant van Brouwer.
NRC, 1995
