¿Quién considero que la lógica es el instrumento de la matemática?
Por primera vez la idea del cálculo lógico la formuló, por lo visto, Leibniz. Sin embargo, como disciplina independiente, la lógica matemática cobró forma a mediados del siglo 19 gracias a los trabajos de Boole. Con él comienza el desarrollo de la denominada álgebra de la lógica.
¿Qué es la logica Deontica juridica?
La lógica deóntica, o también llamada lógica normativa –pues se trata de aquella que indaga acerca de las inferencias y relaciones entre formulaciones normativas y sus modalidades–, tiene su fecha de nacimiento en 1951 con la publi- cación del célebre artículo Deontic logic de Georg Henrik von Wright en la Revista Mind …
¿Cuáles son los orígenes de la lógica como disciplina de la filosofía?
El origen de la lógica como ciencia formal se remonta a los tiem- pos de Aristóteles (siglo IV a. C.), quien fue su creador. Es por esta razón que los escritos fundamentales del Organon aristotélico (conjunto de sus investigaciones sobre lógi- ca) reciben el nombre de Analíticos.
¿Cuáles fueron los primeros sistemas formales para la lógica del intuicionismo?
Unos de los primeros sistemas formales para la lógica del intuicionismo es la encontrada en Arand Heyting (1930).
¿Qué es el intuicionismo?
El intuicionismo es un posicionamiento filosófico acerca de la realidad de la matemática. Desde este punto de vista, la matemática (los números, los conjuntos, el infinito, etc.) es interpretada en términos de construcciones mentales, de tal modo que se puede ver al intuicionismo como una variante del constructivismo.
¿Cuáles fueron las ideas fundamentales del intuicionismo?
Las ideas fundamentales del intuicionismo fueron elaboradas por L. E. J. Brouwer en su tesis doctoral (1907), en la que criticó las tesis fundamentales del logicismo y el formalismo acerca de la naturaleza, la fundamentación y los métodos matemáticos. Las críticas de Brouwer se centraron en estos cuatro puntos: