Viene de Gabbay:

El hecho de que la lógica, desde los primeros tiempos, haya avanzado por este
camino seguro, queda demostrado por el hecho de que, desde Aristóteles, no ha
necesitado volver a dar un solo paso, a no ser que queramos contar como mejoras la
eliminación de ciertas sutilezas innecesarias o la exposición clara de su enseñanza
reconocida, rasgos que conciernen a la elegancia más que a la certeza de la
ciencia. Es notable también que hasta el día de hoy esta lógica no ha sido capaz de
avanzar un solo paso, y es, por tanto, en apariencia, un cuerpo de doctrina cerrado
y completo.
Si algunos de los modernos han pensado en ampliarla introduciendo capítulos
psicológicos sobre las diferentes facultades del conocimiento (imaginación,
ingenio, etc.), capítulos metafísicos sobre el origen del conocimiento o sobre las
diferentes clases de certeza según la differencia en los objetos (idealismo,
escepticismo, etc.), o capítulos antropológicos sobre los prejuicios, sus causas y
remedios, esto sólo podría surgir de su ignorancia de la naturaleza peculiar de la
ciencia lógica. No ampliamos, sino que disfiguramos las ciencias, si permitimos que
invadan el territorio de las demás. La esfera de la lógica está delimitada con
bastante precisión; su única preocupación es dar una exposición exhaustiva y una
prueba estricta de las reglas formales de todo pensamiento, ya sea a priori o
empírico, cualquiera que sea su origen o su objeto, y cualesquiera obstáculos,
accidentales o naturales, que pueda encontrar en nuestras mentes.

La principal importancia de Kant es lo que él consideraba que era la lógica, más

que hacer cambios dentro de ella. La lógica, según Kant, es el estudio de las
formas de los juicios y, como tal, el estudio de las reglas formales de todo
pensamiento. Esto amplió la caracterización de la consecuencia formal más allá del
estudio de los esquemas. Las formas kantianas se caracterizan por la tabla de
juicios. La tabla es similar a la caracterización de las proposiciones de
Aristóteles. Las proposiciones y juicios varían en su cantidad (si son juicios
universales, particulares o singulares), en su cualidad (si son afrmativos,
negativos o infinitos), en su relación (si son categóricos, hipotéticos o
disyuntivos) y en su modalidad.

La tabla de juicios, a su vez, recoge una parte fundamental de la ciencia de la

lógica general pura:
- pura, porque es a priori, necesaria, y sin ningún contenido sensorial asociado;
- general, porque es a la vez universal y esencialmente formal, y por lo tanto se
abstrae de todos los contenidos representacionales objetivos específicos y de las
diferencias entre objetos representados particulares;
- y lógica porque, además de la tabla de juicios, también proporciona
sistemáticamente reglas cognitivas normativas para la verdad de los juicios (es
decir, la ley de no contradicción o consistencia lógica) y para la inferencia
válida (es decir, la ley de consecuencia lógica).

La consecuencia lógica, como las relaciones que surgen de las formas de los juicios
hereda estas propiedades características.

Kant tenía una idea clara de lo que es y lo que no es la lógica. La lógica es el

estudio
de las reglas formales del pensamiento y de la forma de los juicios. La lógica es
general: no se ocupa de si un pensamiento es "a priori o empírico", ni de cuáles
son sus orígenes u objetos, ni de cómo se procesa en la mente. Las consideraciones
psicológicas, metafísicas y antropológicas no forman parte de una lógica general
pura.

Kant trazó famosamente dos dicotomías sobre los juicios: el a priori y el a

posteriori; y el analítico y el sintético. La lógica general pura, según Kant, es a
priori analítica, mientras que la aritmética y la geometría son a priori
sintéticas.
En la Crítica de la razón pura, Kant se propone fundamentar juicios sintéticos a
priori. Más tarde, el intento de Frege de demostrar que la aritmética es de hecho
analítica a priori daría lugar a una revolución en la lógica y el estudio de la
consecuencia.

Viene de Aeterna (marcador favoritos):

LÓGICA ES LA CIENCIA QUE ESTUDIA LOS PENSAMIENTOS EN CUANTO A SUS FORMAS MENTALES
PARA FACILITAR EL RACIOCINIO CORRECTO Y VERDADERO.
En lógica el objeto formal es el orden riguroso de los pensamientos, las tres
formas mentales (concepto, proposición o juicio y razonamiento).
(A) la Lógica:
- le interesa el orden [riguroso] de los pensamientos.
- explica cuáles son las leyes que debe seguir la inteligencia humana cuando piensa
-
La verdad: [Kant como antecedente de Hilbert]
https://aeternaimperoblog.wordpress.com/2017/01/05/la-verdad/
[+ verdad wikipedia]

concepto y realidad
Wittgenstein: proposición y estado de cosas
Frege: signo y significado

----------------------
Según Agazzi, los principales aportes de Frege a la lógica se pueden resumir del
modo siguiente: Frege fue el primero en formular la diferencia entre una variable y
una constante lógicas, en establecer con total precisión el concepto de función
lógica, en establecer de manera rigurosa y formal la diferencia entre ley lógica y
regla de inferencia. Por otro lado, encontramos en la obra de este pensador un
agudo desarrollo de la lógica de proposiciones, pues formuló nuevas leyes y
reformuló otras ya conocidas.
Se dice que su trabajo era muy filosófico para los matemáticos y muy matemático
para los lógicos.