Sobre la definición semántica de consecuencia lógica

Abstract

[ES] La teoría de modelos parte generalmente de la definición de consecuencia lógica ofrecida por Tarski en 1936. John Etchemendy (1990) asevera que esta definición contiene una falacia si se le toma como definición genuina de este concepto. Esta aseveración ha desatado una polémica interesante. El presente ensayo resume los puntos principales en discusión y sugiere en su conclusión que el rechazo de la propuesta de Etchemendy se basa en un malentendido de la intención de su crítica, cuyo objeto no es, propiamente dicho, la definición de Tarski, sino que ésta ofrece un fundamento insuficiente para la teoría de modelos. [EN] Model Theory generally assumes the definition of logical consequence proffered by Tarski in 1936. John Etchemendy (1990) suggests that Tarski’s definition contains a fallacy, from which an interesting controversy ensued about the definition and its meaning. The main points in discussion are summarized and it is suggested that the controversy is based on a misunderstanding of the intentions of Etchemendy’s criticism: the target is not so much Tarski’s definition, but that it offers an insufficient foundation for Model Theory.