Entradas

Mostrando las entradas de octubre 31, 2017

Símbolos y Notación Lógica

Tradicionalmente, en lógica solemos distinguir, por lo menos informalmente, entre un sistema formal y sus notaciones. Se dice, por ejemplo, que el cálculo proposicional polaco  y el de Hilbert-Ackerman son sólo variantes notacionales del mismo cálculo, mientras que el cálculo proposicional clásico y el intuicionista no lo son, aun cuando puedan usar la misma notación. Sin embargo, durante mis reuniones con José Dehilario, hemos visto que dicha distinción es mucho más problemática. Según Woleński 2015, la escuela de Varsovia señalaba que no debemos confundir la noción de símbolo en la definición estándar de sistema formal con la de carácter en nuestra notación. Idealmente, ha señalado también Goodman, a cada carácter le debería corresponder un símbolo y viceversa. Sin embargo, tradicionalmente no es así. Por ejemplo, en la caracterización que hace Mendelson de su sistema de cálculo proposicional L , él incluye a los paréntesis como símbolos independientes de los operadores. En otras pa