¿Cuál es el origen de la tabla de verdad en lógica?

Específicamente por la implicación material si es posible. ¿Quién fue el primero en utilizar una tabla de verdad para esto y justificar su validez?

en realidad, todo lo que es una tabla de verdad es una definición.
@robertbristow-johnson Pero tenía que originarse en algún lugar y tener una justificación detrás.
la cuestión del origen se puede aplicar a cualquier cosa. las definiciones no requieren justificación. son axiomas.
@robertbristow-johnson La cuestión del origen se puede aplicar a cualquier cosa, no lo veo como un problema. En cuanto a la justificación, debe haber una razón para la definición. Eso es lo que estoy buscando.
@robertbristow-johnson En matemáticas, las definiciones y los axiomas no son lo mismo. Los axiomas son la base de una teoría, mientras que las definiciones son simplemente abreviaturas prácticas.
una tabla de verdad es una definición y, si quieres, una tabla de verdad es una colección de axiomas. como quieras llamarlo, simplemente se dan, no se derivan.

Respuestas (1)

Puedes ver:

tanto como:

Antes de Bertrand Russell (curso de lógica de Harvard: 1914) y Ludwig Wittgenstein (manuscrito de Russell y Wittgenstein fechado en 1912; ver también: Tractatus (1921), 4.31 y 4.442 para implicaciones materiales ), se debe dar crédito a Charles Sanders Peirce y sus seguidores.

Ver Christine Ladd-Franklin , “On the Algebra of Logic”, en Charles Sanders Peirce (editor), Studies in Logic (1883), página 17 y siguientes; consulte las páginas 61-62.

En los Principia de Whitehead y Russell (página 115) , tenemos una descripción de la semántica funcional veritativa del conectivo: no, si..., entonces..., y, o (pero no en forma tabular).

La forma tabular moderna está presente en E.Post, Introducción a una teoría general de proposiciones elementales (1921) , §2 Desarrollo de tablas de verdad , con referencia explícita a los Principia de W&R (ver nota al pie 6).

La descripción verbal de condicional está en el Begriffsschrift de Frege .

Pero ya se enunciaba verbalmente en la Lógica Estoica Antigua con el llamado condicional filoniano ; ver Sextus Empiricus , Πρὸς μαθηματικούς ( Pros mathematikous ) Libro VIII , 113:

Filón, por ejemplo, decía que el condicional es verdadero cuando no comienza con una proposición verdadera y termina con una falsa, de modo que un condicional, según él, es verdadero de tres maneras y falso de una manera. Porque cuando comienza con uno verdadero y termina con uno verdadero, es verdadero, como en "Si es de día, es luz". Y cuando comienza con una falsa y termina con una falsa, vuelve a ser verdadera, por ejemplo, “Si la tierra vuela, la tierra tiene alas”.

¿Cuál es el origen de la tabla de verdad en lógica?
RespuestasAquíPolítica de privacidad1y, 5v