TY - CONF T1 - Is er een diepe kloof tussen de heuristiek en de inferentieregels van een bewijstheorie? Een poging tot integratie. T2 - Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie Y1 - 2002 A1 - Provijn, Dagmar AB -

In dit artikel wens ik in te gaan tegen het diepe onderscheid dat Hintikka voorstelt tussen de ‘definitory’ -en ‘strategic rules’ van een bewijstheorie. Ik doe dit door een integratie voor te stellen tussen de inferentieregels en de heuristiek van het formeel systeem Pc uit dat toelaat doelgerichte en efficifiente bewijzen te maken.

JA - Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie PB - Universiteit Amsterdam ER -