Fundamentos de la Lógica

Estos fundamentos tratan de enseñar al individuo como

debe llevar a cabo un pensamiento; entre estos
fundamentos tenemos el principio de la coherencia que
existe en los pensamientos, la coherencia es establecida
por una conciencia y es sistemática entre ideas y
pensamientos. Otro de los fundamentos, es el principio
de la identidad; lo que significa que un concepto es igual al mismo y no cambia
cuando se piensa.
Lengua desde la Lógica
Bajo la denominación genérica de «lógica
formal» hay distintos tipos de lógica
adecuados para representar distintos tipos de
conceptuaciones y para razonar sobre ellas.
En los Capítulos siguientes describiremos con
detalle algunas. Aquí haremos algunas
consideraciones generales válidas para todas
ellas.

Como en todo le nguaje, la sintaxis de

un lenguaje lógico es un sistema de símbolos que consta de
un alfabeto de símbolos básicos («simbolos terminales» se les llama en
la teoría de lenguajes) y unas reglas que permiten construir a partir de
ellos estructuras simbólicas, cadenas de símbolos que si obedecen a las
reglas se llaman sentencias (o wff, well formed formula, cadenas bien
formadas). Estas reglas definen la gramática generativa (a la que
llamaremos, simplemente, gramática) del lenguaje. La gramática se
expresa formalmente mediante un metalenguaje. El lector debe conocer
un metalenguaje llamado «notación BNF» (Backus Naur Form, o Backus
Normal Form), porque es el que se utiliza para definir la sintaxis de los
lenguajes de programación.

Lógica matemática
La lógica matemática, también llamada lógica simbólica, lógica
teorética, lógica formal o logística,1 es el estudio matemático de la lógica y su
aplicación a otras áreas de la matemática y la ciencia. La lógica matemática no es
la «lógica de las matemáticas» sino la «matemática de la lógica». Comprende la
aplicación de las técnicas de la lógica formal a las matemáticas y el razonamiento
matemático, y conversamente la aplicación de técnicas matemáticas a la
representación y el análisis de la
lógica formal. La investigación en
lógica matemática ha jugado un
papel crucial en el estudio de
los fundamentos de las matemáticas.
La lógica matemática se suele dividir
en cuatro subcampos: teoría de
modelos, teoría de la
demostración, teoría de
conjuntos y teoría de la
computabilidad. La t eoría de la
demostración y la teoría de modelos
fueron el fundamento de la lógica matemática. La teoría de conjuntos se originó en
el estudio del infinito por Georg Cantor y ha sido la fuente de muchos de los temas
más desafiantes e importantes de la lógica matemática, a partir del teorema de
Cantor, a través del estatus del axioma de elección y la cuestión de la
independencia de la hipótesis del continuo, al debate moderno sobre grandes
axiomas cardinales. La lógica matemática tiene estrechas conexiones con
las ciencias de la computación. La teoría de la computabilidad captura la idea de la
computación en términos lógicos y aritméticos. Sus logros más clásicos son la
indecidibilidad del Entscheidungsproblem de Alan Turing y su presentación de
la tesis de Church-Turing. Hoy en día, la teoría de la computabilidad se ocupa
principalmente del problema más refinado de las clases de complejidad (¿cuándo
es un problema eficientemente solucionable?) y de la clasificación de los grados
de insolubilidad.

Relaciones de la Lógica con otras ciencias

La lógica está relacionada con todas las
ciencias, porque como dijo Cohen, es el
aspecto formal de todo cuanto existe.
En forma general diríamos:
 Desde el punto de vista formal
todas las ciencias están integradas por
conceptos, juicios y razonamientos, los
cuales son la parte fundamental del
objeto de la lógica.
 Así mismo, les proporciona a todas las ciencias la teoría para las
demostraciones científicas. No se puede hablar de ciencia si esta no está
organizada conforme a las leyes de la lógica .
 La metodología es lógica aplicada, inferida de numerosos casos científicos.
Dichos procesos lógicos se deben observar si se desea obtener
el conocimiento científico.
De manera especial, está vinculada con la matemática, la psicología, la lingüística,
la filosofía, computación, ciencia, gramática, y con la teoría del conocimiento.

Lógica en relación de la tecnología

Existen numerosos ángulos desde los que se pueden

analizar las relaciones entre la ciencia, la tecnología y la
gobernabilidad. Sin embargo, en pocas ocasiones se ha
abordado el análisis de las lógicas que participan en
estas relaciones, quizá porque se ha considerado que
pertenecen a esferas muy diferentes, tanto por sus
contenidos como por sus actores. La cuestión principal
no está en las relaciones entre la ciencia y la tecnología,
cuya caracterización ha ido evolucionando con el tiempo
hasta que la ciencia y la tecnología han llegado a
converger en numerosos campos en un ámbito
prácticamente único, sino en la vinculación con la gobernabilidad. A su vez, la
cuestión no es tanto la existencia de las vinculaciones, como el reconocimiento y
la valoración de las mismas por parte de las cúpulas políticas.

Existe un reconocimiento tácito, que está explícito en todos los discursos

políticos modernos, del valor del conocimiento y del poder de la tecnología.
Sin embargo, cuando se pasa a la acción y a la adopción de prioridades, la
investigación científica y tecnológica quedan relegadas en numerosos
países en un ámbito sectorial periférico sin mayor importancia. Existen
puentes conceptuales y reales que se han ido tendiendo y que pueden
considerarse como una aproximación hacia una integración del sistema
científico técnico, con sus propias lógicas, con el conjunto del sistema
social. Expresiones como ciencia y tecnología para el desarrollo, ciencia y
tecnología para la competitividad, ciencia y tecnología para la calidad de
vida, encierran el reconocimiento de interrelaciones e impactos.

Conectiva lógica
En lógica, una conectiva lógica, o
simplemente conectiva, (también llamado operador
lógico o conectores lógicos) es un símbolo o palabra
que se utiliza para conectar dos fórmulas bien
formadas o sentencias (atómicas o moleculares), de
modo que el valor de verdad de la fórmula compuesta
depende del valor de verdad de las fórmulas
componentes.
Los conectivos lógicos más comunes son los conectivos binarios (también
llamados conectivos diádicos) que unen dos frases, que pueden ser
consideradas los operandos de la función. También es común considerar a la
negación como un conectivo monádico.
Las conectivas lógicas son, junto con los cuantificadores, las
principales constantes lógicas de muchos sistemas lógicos, principalmente
la lógica proposicional y la lógica de predicados.

Proporciones

Las proporciones . La Las proporciones

igualdad entre dos razones
recibe el nombre de
proporción. La teoría de las
proporciones fue
desarrollada por el gran
matemático
griego Eudoxio_de_Cnidos.
Su obra original sobre la
teoría de las proporciones no llegó hasta los tiempos actuales, pero gracias a uno
de sus sucesores, Euclides de Alejandría, se pudo conocer dicha teoría, pues la
recogió en su libro V de los

Razón

La razón es la relación entre dos números, definida como el cociente de un

número por el otro. Entonces:

La razón entre dos números a y b es la fracción y se lee a es a b. Esta razón

también puede escribirse a:b.

Para hallar la razón entre dos números, formas el cociente entre ellos y los
simplificas tanto como sea posible.

Por ejemplo, la razón entre 10 y 2 es 5, ya que 10/2=5

Proporción

Dadas dos razones y diremos que están en proporción si =

Los términos a y d se denominan extremos mientras que b y c son los medios.

En toda proporción el producto de los extremos es igual al producto de los medios

 = ⇒ a·d = b·c

Enunciado
En pragmática, un enunciado es un acto de habla mínimo, realizado mediante
una oración o una expresión sintáctica más pequeña que una oración.
Informalmente se usa enunciado como sinónimo de oración, aunque
pragmáticamente existen diferencias. Por ejemplo, una misma oración dicha en
diferentes contextos corresponde a enunciados diferentes. Y viceversa, diferentes
oraciones pueden realizar o concretar un mismo enunciado como esto:
Quiero que saques la basura.
¿Puedes sacar la basura?
Saca la basura, por favor.
¿Quieres sacar la basura?
Todas estas diferentes oraciones, en esencia, tienen la misma
interpretación, y por tanto pueden considerarse esencialmente
realizaciones del mismo enunciado pragmático. (consultar Oración,
enunciado y proposición).
En lógica, a veces se entiende por enunciado una oración que
puede ser verdadera o falsa, como "está lloviendo", "hace frío" o
"Venus es un planeta". En este sentido, los argumentos lógicos se
componen de enunciados: las premisas y la conclusión.
En otras palabras, los enunciados son las series de elementos
combinados entre sí formados por los comportamientos
comunicativos que establece el código, y constituyen los mensajes
verbales.1 En ellos no importa el número de unidades: desde un
solo sonido (¡oh!) hasta un gran número de palabras.1