Filosofía Un silogismo es un tipo de argumento deductivo que consta de dos premisas y una conclusión. El silogismo fue caracterizado por Aristóteles, en una época en la que el trirreme era lo mejor que había para hacer un crucero. La obra en la que el filósofo estagirita (Aristóteles nació en Estagira) presentó a su famoso […]
En el anterior post dedicado a nuestro curso de lógica introdujimos la teoría de conjuntos, con un post dedicado a definir la noción de conjunto. En este capítulo vamos a dedicarnos a explicar una relación entre conjuntos, a saber, la relación de inclusión. Después hablaremos del conjunto vacío. 1. La relación de inclusión Como hemos […]
Vista la lógica proposicional en los capítulos II-VI de este curso de lógica, pasamos a continuación a la teoría de conjuntos, la cual nos será muy útil para el estudio de la lógica de predicados de primer y segundo orden. Esta primera lección la dedicaremos a esclarecer la noción de conjuntos, así como algunas otras […]
Una máquina de Turing es una idealización matemática de un agente finito capaz de calcular. El ingenio fue propuesto por Alan Turing en el año 1936, en un artículo titulado «On computable numbers, with an application to the Entscheidungsproblem», en el que se enfrentaba al problema planteado por David Hilbert sobre la decidibilidad de las […]
Vistos los aspectos sintácticos y semánticos fundamentales del lenguaje de la lógica proposicional, pasaremos al apartado de la formalización o simbolización. La simbolización consiste en encontrar, para un enunciado E del lenguaje natural, en nuestro lenguaje proposicional una fórmula A que satisfaga las siguientes condiciones: 1. Cuando en A se reemplazan las letras proposicionales por […]