TABLAS (MÉTODO DE)

Uno de los métodos de tablas es el de las llamadas «ta­blas de verdad» o tablas veritativo-funcionales (véase Veritativo-funcional). Sin embargo, se llaman especificamente «mé­todos de tablas» a los que, siguiendo los pro­cedimientos de Gerhard Gentzen en su sistema de deducción natural, ha­cen uso de los llamados «árboles» (véase Árbol). A Gentzen («Untersuchungen über das logische Schliessen», Mathematische Schriften, 39 [1934-1935], 176-201, 405-431) pueden re­montarse los varios métodos de tablas hoy empleados. El método de prueba de «secuen­cias» de Gentzen, junto con el de las tablas de verdad, se halla en los orígenes de la forma­ción por Evert W. Beth (Les fondements logiques des mathématiques, 1950, sobre todo, The Foundations of Mathematics, 1959) de lo que llamó «tablas semánticas» (tableaux sémantiques). Jaakko Hintikka (Two Papers on Symbolic Logic, en Acta Philosophica Fennica, 8 [1955]) propuso un método similar