Ciencias formales

Las ciencias formales son aquellas ciencias que establecen el razonamiento lógico1 y trabajan con ideas
creadas por la mente. Esta crea su propio objeto de estudio; su método de trabajo es el lógico inductivo, con
todas sus variantes. Las ciencias formales estudian el saber en contraposición a las ciencias factuales que
estudian el ser.

Metodología de estudio

Las ciencias formales estudian el razonamiento y no el contenido de los saberes. Los dos modos de
demostración más frecuentes usados por las ciencias son la inducción y la deducción, este último es el modo
que usan de manera casi exclusiva las ciencias formales, la deducción es un proceso de razonamiento que va
de unas premisas generales a una conclusión particular.

El ideal metodológico de las ciencias formales se basa en constituirse en un sistema axiomático, que está
compuesto de los siguientes elementos:

Axiomas: verdades que aceptamos como verdaderas pero que no podemos razonar. Ejemplo: el todo
es mayor que la parte.
Reglas de formación: Reglas que nos indican la manera válida de relación entre los elementos
lingüísticos. Todo sistema formal tiene símbolos, los elementos y los operadores.
Reglas de transformación: transforman expresiones bien formadas del lenguaje en otras bien
formadas.
Teoremas: Verdades que se derivan de los axiomas.

La estructura y el alcance de un sistema aximático están determinados por sus axiomas.

Matemáticas
Las matemáticas o la matemática es una ciencia que, partiendo de axiomas y siguiendo el razonamiento
lógico, estudia las propiedades y relaciones cuantitativas entre los entes abstractos (números, figuras
geométricas, símbolos). Mediante las matemáticas conocemos las cantidades, las estructuras, el espacio y los
cambios. Los matemáticos buscan patrones, formulan nuevas conjeturas e intentan alcanzar la verdad
matemática mediante rigurosas deducciones. Éstas les permiten establecer los axiomas y las definiciones
apropiados para dicho fin.

Lógica
La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e
inferencia válida. La lógica examina la validez de los argumentos en términos de su estructura,
independientemente del contenido específico de los estados reales a los que aquéllos se puedan referir. En este
sentido se habla de la lógica como ciencia «formal». La lógica es una disciplina de la filosofía, las
matemáticas y la informática.
1
Se entiende por razonamiento la facultad humana que permite resolver problemas.
En un sentido más restringido, se llama razonamiento al proceso mental de realizar una inferencia de una conclusión a partir de un
conjunto de premisas. La conclusión puede no ser una consecuencia lógica de las premisas y aún así dar lugar a un razonamiento, ya
que un mal razonamiento aún es un razonamiento.
Desde el siglo XX que la lógica ha pasado a ser principalmente la lógica simbólica. Esto se basa en un
lenguaje formal y para uso estrictamente definidas reglas de inferencia. Un ejemplo sencillo de un sistema
formal es la lógica proposicional. La lógica simbólica es también conocida como la lógica matemática o
lógica formal en el sentido estricto. La lógica no siempre este sentido de la estructura formal, pero se centró en
el mundo antiguo y en la Edad Media, principalmente con los argumentos del lenguaje natural.

Silogismo

El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra
como conclusión, siendo la última una inferencia necesariamente deductiva de las otras dos. Fue formulado
por primera vez por Aristóteles, en su obra lógica recopilada como El Organon, de sus libros conocidos como
Primeros Analíticos, (en griego Proto Analytika, en latín –idioma en el que se reconoció la obra en Europa
Occidental-, Analytica Priora).

Aristóteles consideraba la lógica como lógica de relación de términos. Los términos se unen o separan en los
juicios. Los juicios aristotélicos son considerados desde el punto de vista de unión o separación de dos
términos, un sujeto y un predicado. Hoy se hablaría de proposiciones.

La diferencia entre juicio y proposición es importante. La proposición afirma un hecho como un todo, que es o
no es, como contenido lógico del conocimiento. El juicio, en cambio, atribuye un predicado a un sujeto lógico
del conocimiento. Esto tiene su importancia en el concepto mismo del contenido de uno y otra, especialmente
en los casos de negación, como se ve en la problemática de la lógica silogística.

Mantenemos aquí la denominación de juicio por ser lo más acorde con lo tradicional, teniendo en cuenta que
este tipo de lógica, como tal, está en claro desuso, sustituida por la lógica simbólica en la que esta lógica es
interpretada como lógica de clases.

La relación entre los términos de un juicio, al ser comparado con un tercero que hace de "término medio",
hace posible la aparición de las posibles conclusiones. Así pues, el silogismo consta de dos juicios, premisa
mayor y premisa menor, en los que se comparan tres términos, de cuya comparación se obtiene un nuevo
juicio como conclusión.

La lógica trata de establecer las leyes que garantizan que, de la verdad de los juicios comparados (premisas),
se pueda obtener con garantía de verdad un nuevo juicio verdadero (conclusión).

Tabla de verdad
Una tabla de verdad, o tabla de valores de verdad, es una tabla que despliega el valor de verdad de una
proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.

Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el que
introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.

Para establecer un Sistema formal se establecen las definiciones de los operadores. Las definiciones se harán
en función del fin que se pretenda al construir el sistema que haga posible la formalización de argumentos:

Como razonamientos deductivos lógico-lingüísticos

Como construcción de un sistema matemático puro
Como una aplicación lógica en un Circuito de conmutación.
Los operadores fundamentales se definen así:

Negación

La negación es un operador que opera sobre un único valor de verdad, devolviendo el valor
contradictorio de la proposición considerada.

Conjunción

La conjunción es un operador que opera sobre dos valores de verdad, típicamente los
valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero
cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso.

Disyunción

La disyunción es un operador que opera sobre dos valores de verdad, típicamente los
valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero
cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando
ambas son falsas.

Implic ación o Co ndicional

El condicional material es un operador que opera sobre dos valores de verdad,

típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad
falso sólo cuando la primera proposición es verdadera y la segunda falsa, y verdadero
en cualquier otro caso.

Bicondicional

El bicondicional o doble implicación es un operador que opera sobre dos valores de

verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor
de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y
falso cuando sus valores de verdad difieren.