Tonk

Tonk

Tonk es un funtor que utilizó Prior para demostrar que el significado de las conectivas no podía
estar determinado por la semántica pura de un sistema, es decir estar determinado solo porsus reglas de
inferencia/aximomas. De esto se sigue que cuando se dice o se manifiesta una conectiva, esta
significaría tal o cual cosa independiente del sistema que se trate y, por el contrario, lainterpretación
que se deriva de ésta debería ser similar siempre. Con esta tesis se afirmaría, por ejemplo, que cuando
un lógico plurivalente ocupa el conector «∧» no debería tener diferencia designificado alguna respecto
de lo que dice el lógico bivalente: es decir que y expresado en un lenguaje natural, con dos valuaciones
posibles significaría lo mismo que con múltiples o infinitasvaluaciones, esto suponiendo que y sea la
lectura más apropiada para «∧» en el lenguaje castellano.
Sin embargo esto, es de notar que las lecturas apropiadas que se hacen en el lenguaje ordinario
estánsubordinadas a lo apropiado que sea para la función en cuestión a la que se le adjudica: partiendo
de la idea que hay un sustrato en común entre lo que se hace por lógica formal y lo que se hace porlógica “natural” (que podría ser llamado así la coeherencia que se puede encontrar en un discurso del
lenguaje ordinario) habría un cierto aspecto de un lenguaje que se ajusta al otro, recíprocamente, oque
puede ser interpretado como tal, sin embargo esto no propondría, necesariamente, que uno se funda en
el otro como, se puede inferir, pretende explicar Prior.
Prior propone tonk como una pruebaque pretende demostrar que sobre la base de una semántica
pura, sólo fundada en los axiomas/reglas de inferencia que otorgue significados a las conectivas, se
puede llegar a una que, interpretadade modo tal, produzca que desde una sentencia A se pueda llegar a
inferir una sentencia B sin importar qué sea de lo que se parta y qué sea lo que se concluya. Para esto se
proponen dos reglas...