SOBRE UN MÉTODO ARBORESCENTE PARA UNA LÓGICA SINTÉTICA DE TÉRMINOS

La combinación de lógicas se suele llevar a cabo entre sistemas fregeanos-tarskianos-kripkeanos, pero como la lógica no necesita estar restringida a esta visión heredada, en este trabajo reproducimos una lógica sintética de términos al estilo de Sommers, junto con un método de prueba arborescente y mostramos algunas de sus propiedades metateóricas. En particular, mostramos que las lógicas que sintetizamos se pueden combinar adecuadamente y que el método arborescente sintético preserva las propiedades de los métodos arborescentes de cada lógica de base. Palabras clave: lógica de términos; árboles analíticos; combinación de lógicas; metalógica Combining logics is usually done with respect to Fregean-Tarskian-Kripkean systems, but since logic does not need to be restricted to this received view of logic, in this work we reproduce a synthetic logic of terms a la Sommers together with a tableaux proof method, and we show some of its metatheoretical properties. In particular, we show that the logics we synthetize can be properly combined and that the synthetic tableaux method preserves the properties of the tableaux methods of each basic logic. Keywords: term logic; analytic tableaux; combination of logics; metalogic