¿Dónde se creó la lógica?

La lógica, como un análisis explícito de los métodos de razonamiento, se desarrolló originalmente en tres civilizaciones de la historia antigua: China, India y Grecia, entre el siglo V y el siglo I a.

La lógica surge desde el primer momento en que el hombre, al enfrentar a la naturaleza, infiere, deduce y razona, con el ánimo de entenderla y aprovecharla para su supervivencia 1. Existen varios enfoques acerca de cómo interpretar la evolución de la lógica.

Otro importante contribuyente inglés fue John Venn, quien en 1881 publicó su libro Lógica Simbólica, donde introdujo los famosos diagramas de Venn.

La palabra lógica viene del griego "λογική - λογικός" (logikê-logikós), a su vez de logos: razón. Ciencia que enseña a raciocinar con exactitud. Esta ciencia fue desarrollada por el filósofo Aristóteles quien formuló sus principios.

La lógica es la ciencia del razonamiento. En general, se considera que la lógica tiene su origen en la filosofía y su aplicación en las matemáticas. Sin embargo, se considera a la lógica como una ciencia independiente, en tanto su origen se dio en paralelo al de la filosofía y no como una consecuencia directa de ella.

Para el platonista, la lógica es independiente de cualquier otro dominio y, por tanto, objetiva: si algo se sigue lógicamente de otra cosa depende solo de las características formales de los argumentos en cuestión.

b) "La lógica o arte de razonar es la parte de la ciencia que enseña el método para alcanzar la verdad" (San Agustín). c) "La lógica es la ciencia de las leyes necesarias del entendimiento y de la razón" (Kant). d) "La lógica es la ciencia de la idea pura de la idea en el elemento abstracto del pensamiento" (Hegel).

Friedrich Ludwig Gottlob Frege (Wismar, 8 de noviembre de 1848 - Bad Kleinen, 26 de julio de 1925) fue un matemático, lógico y filósofo alemán. Se le considera el padre de la lógica matemática y de la filosofía analítica, concentrándose en la filosofía del lenguaje y de las matemáticas.

Los símbolos lógicos son los operadores por medio de los cuales a partir de letras enunciativas se podrá obtener fórmulas mediante la combinación de las primeras con los símbolos.

La lógica se divide en simples y complejas. Las formas simples que son las formas elementales del pensamiento son el concepto, el juicio y el razonamiento. Cualquier pensamiento que se considere, por grande que sea su complejidad, puede reducirse, en ultima instancia a estas tres formas elementales.

A fines del siglo XIX aparecen los trabajos de Gottlob Frege —considerado el padre de la lógica moderna— cuya primera obra, el Begriffsschrift, se publicó en 1879, y los del italiano Giuseppe Peano Principios de la aritmética (1889), que en forma independien- te llegó a resultados similares a los de Frege.

El estudio de la lógica como ciencia nos permite conocer las leyes, reglas y procedimientos de nuestro pensamiento, o cuales tienen carácter objetivo. Su conocimiento nos permite desarrollar conscientemente el proceso de pensar y alcanzar un mayor grado de perfección en la esfera del pensamiento.

Descripción. La lógica es la ciencia que estudia la corrección de los razonamientos, tanto formales como no formales, por eso esta asignatura se va a componer de dos partes, una, la lógica formal y otra, la lógica no formal, a veces, también "mal" llamada lógica informal.

Para Sócrates la Lógica Filosófica era una discusión de ideas entre personas para llegar a una verdad teórica o práctica, o sea, los participantes en el diálogo o discusión deberían ofrecer sus soluciones como conclusiones obtenidas por medio de argumentos.

Para Aristóteles, la lógica era una herramienta necesaria para adentrarse en el mundo de la filosofía y la ciencia.

Entendida en un sentido estricto, la lógica filosófica es el área de la filosofía que estudia la aplicación de métodos lógicos a problemas filosóficos, a menudo en forma de sistemas lógicos extendidos como la lógica modal.

Parte de la filosofía que estudia las formas válidas de demostración e inferencia. Es el estudio de métodos y principios utilizados para distinguir el razonamiento correcto del incorrecto. Sistema de métodos de razonamiento y principios de cualquier disciplina.

La palabra lógica (λογική) encuentra su origen etimológico en el vocablo griego lego (λεγω) que significa recoger, reunir, juntar, contar. El término a su vez derivó del indoeuropeo leg que significa precisamente eso: recolectar. La lógica es un considerar (o calcular) combinando elementos.

Modo de pensar y de actuar sensato, de sentido común. Por lógica, este es el mejor camino.

La lógica "moderna" sería, en cambio, la que parte del álgebra de la lógica de Boole o del análisis lógico de Frege. Pero no es obligado atenerse a estos usos, ni son los únicos existentes. Lo "moderno" suele ser lo nuevo o lo último en establecerse: durante los ss.

Paradoja de Russell

Bertrand Russell propone que no puede existir un conjunto de todos los conjuntos que no se contienen a sí mismos como elementos. Es complicado entender esta paradoja por su proposición formal. En la literatura se utiliza un ejemplo muy conocido, la paradoja del barbero.

Es considerado el padre fundador de la lógica, debido a que en sus trabajos se encuentran las primeras investigaciones sistemáticas al respecto. Aristóteles fue el primer pensador en formalizar el sistema lógico, de tal forma que sus propuestas han trascendido hasta nuestros días.

El razonamiento lógico se emplea en matemáticas para demostrar teoremas; en ciencias de la computación para verificar si son o no correctos los programas; en las ciencias física y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de ...

Símbolo. 1 Matemáticas. Cuantificador universal, antepuesto a una variable para decir que "para todo" elemento de un cierto conjunto se cumple la proposición dada a continuación.

El Condicional

q: "Te voy a comprar un Mustang amarillo." La proposición original quiere decir lo siguiente: Si p es verdad, entonces q es verdad, o, más simple, si p, entonces q. También podemos escribir la frase como p implica q, y escribimos p→q.

Dentro de la lógica formal, el lenguaje proposicional estudia las propiedades de los conectivos proposicionales como y, o, no, si y solo si y entonces entre otros, usados en el desarrollo de sistemas lógicos en la lógica matemática.