CONCEPTOS PRIMITIVOS No necesitan ser definidos, se conocen intuitivamente y sirven para definir los
conceptos que intervienen en la teoría axiomática.
Teoría Axiomática es un conjunto de verdades acerca de un ámbito X de la realidad
organizado de tal manera que casi todos los conceptos que intervienen en la teoría
son definidos a partir de unos pocos conceptos primitivos, que como ya se dijo, no se
definen, y casi todas las verdades que componen la teoría son demostradas a partir
de unas pocas verdades primeras o axiomas, que no se demuestran.
Es preciso complementar los axiomas con la intuición, la observación o nuestros
saberes previos para poder obtener las proposiciones verdaderas que nos interesan.
Si la axiomatización que realizamos es correcta, entonces las proposiciones de la
historia del sistema elaborada hasta entonces quedan subsumidas bajo los axiomas,
como meras consecuencias suyas. Con esto habremos llegado a una historia
axiomática o, si se prefiere, a una teoría concreta.
MODO MATERIAL MODO FORMAL
Alude al significado de las expresiones del lenguaje, lo señala Hace referencia exclusivamente a las expresiones lingüísticas y
como más corriente y manifiesto. a sus propiedades sintácticas, lo identifica como: “formal” con
“sintáctico”, el modo formal tiene ventaja frente al “modo
material de hablar”, debido a que refleja los aspectos
semánticos.
“Este libro trata de África.”
Para Carnap el uso del modo material de hablar, “conduce con
Esta oración, parece aseverar algo sobre África, pero realmente frecuencia a confusiones y a controversias filosóficas ociosas,
no lo hace. que pueden resolverse mediante la traducción de sus tesis al
No es una cualidad de África porque se puede saber todo sobre modo formal”.
África y, sin embargo, nada en torno al libro. Por lo tanto, la oración quedaría de la siguiente forma:
Estar contenida en el libro es una cualidad que se refiere tan “Este libro contiene la palabra ‘África’”
sólo a la palabra “África”
“El primer capítulo trata de metafísica.” “El capítulo primero contiene la palabra ‘metafísica’.”
Aquí vemos el carácter engañoso del modo material; las oraciones de este modo parecen referirse a algo a lo que en realidad no
se refieren. Muchas de las oraciones de la filosofía nos engañan de esta manera, porque la mayor parte de ellas están
formuladas en el modo material de hablar.
RAZONAMIENTO
DEDUCTIVO
Se presenta en forma de argumentos, es decir en listas de
proposiciones relacionadas de tal manera que la última, llamada
conclusión del argumento se sigue de las anteriores, llamadas
premisas del argumento
El argumento (2) es correcto
aun cuando su conclusión sea
falsa, pues si ambas premisas
fueran verdaderas, estaríamos
obligados a aceptar la verdad
de la conclusión.
De modo que los siguientes
dos argumentos son
Debe quedar claro, que una correctos:
"proposición“ es lo que se dice (1) Todos los hombres son
de algo, y lo esencial de estas mortales Sócrates es hombre
es que expresa algo que Luego, Sócrates es mortal.
puede ser verdadero o falso. (2) Todos los números son verdes
El 5 es un número Luego, el 5 es
verde.
TABLAS DE VERDAD
Sirven, para analizar si un argumento dado es correcto o no, lo que se verifica es si la verdad de la conclusión se sigue
de la verdad de las premisas, por tanto debemos tener una manera precisa de saber cuándo una fórmula bien
formada es verdadera. Si la proposición es compuesta, el valor de Verdad dependerá de sus proposiciones atómicas.
Conjunción Disyunción
Proposición compuesta que resulta de la Al unir dos proposiciones simples mediante el
combinación de dos proposiciones simples operador Ο (que se simboliza con v ), se hablará de
mediante el operador y que se simboliza con ^. disyunción . Este conectivo implica la idea de "esto
Este conectivo implica la idea de "ambos" y será o aquello" y será falsa solamente si las dos
verdadera únicamente cuando las dos proposiciones son falsas de manera simultánea.
proposiciones que la componen sean
verdaderas.
Cada proposición tiene sólo dos valores Verdadero V Falso F
GLOSARIO
Proposición Sintaxis Semántica
• Es una oración • Conjunto de palabras • Semántica nos procura
aseverativa de la que que poseen significado y los medios para
tiene sentido decir que reglas para la formación referirnos a la relación
toma un valor de verdad de las proposiciones. entre las proposiciones
(falso o verdadero). Estas reglas indican y lo que están
cómo se pueden destinadas a significar
constituir proposiciones
a partir de diversas
especies de palabras.
A. J. AYER. (1981). El positivismo lógico (Segunda reimpresión).
Fondo de Cultura Económica.
Bibliografía
• A. J. AYER. (1981). El positivismo lógico (Segunda reimpresión). Fondo de Cultura Económica.
• Carnap Rudolf—Filosofia Y Sintaxis Logica. (s. f.). [Link]. Recuperado 17 de mayo de 2021, de
[Link]
• Casesnoves, D. M. (s. f.). El espacio y el tiempo en las matemáticas y en la física. 25.
• Gómez Lozano, A. (2017). Notas sobre lógica matemática. Universidad Cooperativa de Colombia.
[Link]
• Jesús Mosterin-Conceptos y Teorías En La [Link] | Taxonomía (biología) | Taxón. (s. f.). Scribd.
Recuperado 18 de mayo de 2021, de
[Link]
• Landman, G. W. (s. f.). Las definiciones en matemáticas y los procesos de su formulación: Algunas
reflexiones. 19, 10.
• Legris, J. (s. f.). Sobre Carnap y el proyecto de un lenguaje universal para la ciencia unificada. 14.
• Lorenzano, P. (s. f.). Sobre la unidad de las ciencias biológicas. 12.
• Solís Daun, J. E., Torres Falcón, Y., Universidad Autónoma Metropolitana (México, M., & Unidad
Iztapalapa. (1995). Lógica matemática. UAM, Unidad Iztapalapa.
