Respuestas
Respuesta:
hola espero y te ayude
Explicación:
es una extensión de la lógica modal, la cual es prácticamente usada en sistemas de reglas, donde está presente el tiempo. Existe una cierta relación con otras variedades de lógica, por ejemplo, la lógica modal. Su estudio tiene importancia en la informática hasta nuestros días.
Respuesta:Edad antigua
Aristóteles de Estagira (384 a.c. – 322 a.c.) considerado como creador de la Lógica, sin embargo sus predecesores desarrollaron y cultivaron la inferencia y la prueba en los diferentes debates que por aquel tiempo realizaban los filósofos.
En el plano sintáctico y semántico del lenguaje Protágoras fue el primero en estudiar las oraciones, Platón en su obra Sofista trató también las afirmaciones y las negaciones, introduce la noción del método axiomático que más tarde fue completado por Aristóteles cuyo mérito radica el haber sistematizado la lógica formal codificando las formas de argumentación correcta que es donde radica la naturaleza de la lógica como ciencia. Los escritos lógicos de Aristóteles están contenidos en su libro Organon que significa “instrumento” para pensar correctamente (propedéutica o metodología), este libro contiene los cinco tratados siguientes: las categorías, las proposiciones, los analíticos, (primeros y segundos) los tópicos y las refutaciones sofísticas. Los analíticos es el tratado que contiene la naturaleza de la lógica y el Silogismo que trata del razonamiento lógico aristotélico usando proposiciones categóricas.
Aristóteles aporta a la lógica la introducción del uso de variables, las proposiciones por su cantidad y su cualidad, el raciocinio deductivo, las formalizaciones de la Lógica y el desarrollo silogístico.
Más adelante Teofrasto y Eudemo aportaron los silogismos hipotéticos condicionales perteneciente a la lógica de las proposiciones los Megariacos plantean el significado de las proposiciones “Si – entonces” los Estoicos desarrolla la lógica Verdadero – Falso de las proposiciones.
Edad media
La Lógica Medieval se basa en el trabajo de Aristóteles, es recogida por los sacerdotes y cultivado mayormente en los conventos, escuelas y universidades de Europa Occidental.
Los estudios de los lógicos profesionales estuvo dirigido al comentario del Organon destacando Pedro Hispano y Juan Buridan estableciendo que “de Dos premisas contradictorias, se puede deducir cualquier conclusión”.
Edad Moderna
La época moderna marca el inicio de la Lógica Matemática. El precursor de esta lógica es Guillermo G. Leibniz quien introdujo el cálculo lógico llamado “Mathesis Universalis” que fuese operacionalmente mecánico, inequívoco y no cuantitativo que permitiera acabar con todas las disputas y controversias. también desarrolló el cálculo de la Lógica Proposicional. Euler es otro de los precursores de la Lógica Matemática, introdujo los diagramas que llevan su nombre para ilustrar geométricamente los silogismos.
Edad Contemporánea
El siglo XIX se caracteriza por el nivel de abstracción que alcanza la lógica matemática destacando Hamilton sobre la cuantificación de todo o alguno. Augusto de Morgan considera que la base, común de la lógica radica en las relaciones de inclusión o exclusión parcial o total entre clases; George Boole construye la Teoría de Clases. Venn aclara los procedimiento de Boole representando los procesos algebraicas en los diagramas de Venn. Giussepe Peano da a la lógica el nombre de lógica matemática creando un lenguaje simbólico para las demostraciones matemáticas propuso el uso de los puntos auxiliares y un modo de simbolizar los cuantificadores. Bertrand Russell en su obra “Los Principios de la matemática” propone que las matemáticas puedan reducirse a una rama de la lógica generando en su obra investigaciones sobre la inferencia y sus respectivas aplicaciones.
En el siglo XX la lógica simbólica, que tanto debía a la matemática había desembocado, desde principio del siglo, en cuestiones irresolubles. Esto produjo un paulatino alejamiento de la lógica con respecto a la matemática, así como un deslindamiento de las competencias respectivas. Por un lado, la lógica, alejándose del excesivo formalismo y simbolismo, empieza a ocuparse y preocuparse de problemas semánticos, es decir de las relaciones entre los símbolos y lo que expresan. Se producen así un acercamiento de la lógica a la lingüística y a la epistemología. Filósofos como L. Wittgenstein, R. Carnap inicialmente bajo la influencia formalista y logicista, dan un viraje en su filosofar orientándose hacia preocupaciones lógico – semántica.
Explicación: