INFORME DE LECTURA #2- FILOSOFÍA

INTRODUCCIÓN A LA LÓGICA
NOMBRE: LISS MELANIE ABDALA NARVAEZ
GRADO: 1003

LÓGICA PROPOSICIONAL
VARIABLES Y VALORES DE VERDAD
La lógica es una disciplina filosófica que trata sobre la validez de los
razonamientos; de acuerdo con su historia, la palabra lógica deriva del concepto
logos, que es traducido por pensamiento o razón. La lógica nace en el seno de la
filosofía griega con el objetivo de ordenar las leyes del razonamiento.
Lo que vamos a estudiar a continuación son algunas nociones de la lógica tal
como se concibe en la actualidad. Vimos que razonamos llevando a cabo
inferencias; aquí se nos ofrece un instrumento para determinar la validez de las
mismas, estudiaremos la lógica como un sistema formal que opera sobre los
procesos de razonamiento mediante el cálculo, aplicando precisas reglas de
inferencia. Seguramente los procedimientos de la lógica te recordarán bastante a
las matemáticas. Esto no es casual, la lógica simbólica surge como resultado de la
matematización de la lógica tradicional. Sin embargo, una proposición es un
enunciado que tiene un significado determinado y es verdadera o falsa, pero sólo
una cosa a la vez. Por eso de los tres ejemplos sólo es una proposición el primero,
el segundo y el tercero no son ni verdaderos ni falsos.
Como hemos visto ya, el cálculo de proposiciones o de enunciados toma como
elementos primitivos o vocabulario básico, por un lado, variables proposicionales
que usaremos para referirnos a oraciones sin analizar tomadas como oraciones
completas y los símbolos lógicos que formalizaran a los elementos que indican la
estructura y relaciones lógicas que se establece entre las proposiciones, en el
lenguaje natural esto lo suele cumplir las conjunciones. El lenguaje habitual
empleado dentro de una comunidad que comparte el mismo idioma se denomina
lenguaje natural. Es con éste con el que argumentamos y llevamos a cabo los
desarrollos lógicos habituales. Sin embargo, a la hora de analizar un razonamiento
partiendo de éste nos encontramos con serias dificultades; el lenguaje natural
contiene numerosas lagunas y, esto impide la aplicación de un análisis lógico
riguroso a partir del mismo. Necesitamos un lenguaje lógico que evite los
inconvenientes del lenguaje natural. Las proposiciones que interesan a la lógica
son siempre proposiciones enunciativas o aseverativas, y como es una lógica
bivalente, sus proposiciones serán siempre y sólo verdaderas o falsas. Por tanto,
una proposición formalizada por la variable p podrá tener el valor verdadero o
falso. Una estrategia para no perderse a la hora de desplegar la tabla de las
posibles combinaciones de valores de verdad, sería asignar a la primera variable
la mitad de todos los valores como verdaderos y la otra mitad como falsos, para la
segunda la mitad de la mitad de todos los valores como verdaderos y la otra mitad
como falsos y del mismo modo para la otra mitad. Y así sucesivamente, de suerte
que la última variable recibiría alternativamente valores verdaderos y falsos.
La lógica no entra en la valoración de la verdad o falsedad de las proposiciones,
solo establece que una proposición cualquiera puede tener uno solo valor de
verdad: o es verdadera o es falsa, y no ambos a la vez. Siguiendo con el modo en
que por convención se simboliza la posible verdad de un enunciado, marcaremos
con el símbolo 1 a la proposición verdadera y con 0 a la falsa. Una estrategia para
no perderse a la hora de desplegar la tabla de las posibles combinaciones de
valores de verdad, sería asignar a la primera variable la mitad de todos los valores
como verdaderos y la otra mitad como falsos, para la segunda la mitad de la mitad
de todos los valores como verdaderos y la otra mitad como falsos y del mismo
modo para la otra mitad. Por tal razón Decimos que un operador es diádico si
requiere de dos argumentos, la suma o la resta son operadores diádicos. En
general hablamos de operadores poliádicos si requieren de más de dos
argumentos. A estas partículas que sirven para conectar unas proposiciones con
otras las denominaremos conectivas. Estos símbolos también se denominan
constantes lógicas. A esa notación superior que habla de la del cálculo que
estamos usando lo denominamos Meta lenguaje y lenguaje-objeto a la que es
referida por el metalenguaje. En concreto aquí X e Y son meta variable, es decir
variables que pueden sustituirse por cualquier fórmula del cálculo del que
hablamos, en este caso del cálculo proposicional. Así, por ejemplo, X puede ser p,
ó q ó pq ó (p  q) r. Y de la misma forma esta distinción es fundamental a la
hora de analizar las propiedades de los cálculos lógicos.
Expresiones como «o» y «no», de las que depende la validez de los argumentos,
se llaman conectivas lógicas. En cuanto a expresiones como «está nublado» y
«mañana es jueves», lo único que importa de ellas es que tengan un valor de
verdad. Es por esto que se las reemplaza por simples letras, cuya intención es
simbolizar una expresión con valor de verdad cualquiera. A estas letras se las
llama variables proposicionales, y en general se toman del alfabeto latino,
empezando por la letra p (de «proposición») luego q, r, s.
Finalmente podemos decir que Las definiciones permiten describir propiedades de
un objeto matemático y, dentro del marco teórico correspondiente, la combinación
de sus propiedades permite enunciar un conjunto de proposiciones matemáticas.
Estas proposiciones pueden ser presentadas como propiedades, lemas, teoremas
o corolarios. Muchos teoremas son enunciados en la forma "Si p, entonces q", es
decir como una proposición condicional. A diferencia de los axiomas, los teoremas
requieren ser demostrados. Demostración es un razonamiento mediante el cual se
establece la verdad de una proposición. Esencialmente demostrar consiste en
probar. Por lo que demostrar la verdad de una proposición matemática significa
probar, usando el razonamiento, que lo que dice la proposición matemática es
verdadero. Esto supone el uso de definiciones y otras proposiciones relacionadas
presentadas anteriormente. Pero también supone hacer explícitos un conjunto de
pasos que, debidamente justificados, permitan mostrar la verdad de la proposición
matemática. Lo fundamental en la demostración es la forma como justificamos los
pasos que seguimos al demostrar. Distintas taxonomías del dominio de la
matemática consideran la actividad cognitiva de demostrar como perteneciente a
los niveles superiores. Por eso la importancia de comprender el significado de las
proposiciones matemáticas.
 INFORME DE LECTURA #3- FILOSOFÍA
INTRODUCCIÓN A LA LÓGICA
NOMBRE: LISS MELANIE ABDALA NARVAEZ
GRADO: 1003

EL CÁLCULO DE ENUNCIADOS COMO SISTEMA DE DEDUCCIÓN NATURAL.

LA LÓGICA PROPOSICIONAL COMO SISTEMA AXIOMÁTICO

La aproximación a la teoría de la demostración en la que se busca capturar la

manera en que las personas razonan naturalmente al construir demostraciones
matemáticas. En vez de contar con unos pocos axiomas a los que se aplican unas
pocas reglas de inferencia, la deducción natural propone vaciar la lista de axiomas
y ampliar la de reglas de inferencia, introduciendo dos reglas para cada constante
lógica: una para introducirla y otra para eliminarla. Una demostración se construye
partiendo de supuestos y aplicando las reglas para llegar a la conclusión deseada.
Sirve para demostrar la validez de un argumento. Como sistema de deducción
natural, el juego de la lógica, o la puesta en funcionamiento del cálculo, consiste
en ver si la conclusión de un razonamiento se deriva de las premisas mediante
transformaciones de éstas según las reglas de transformación del cálculo. A este
proceso le vamos a denominar derivación. Una derivación es una secuencia de
transformaciones desde las premisas de las que partimos a la conclusión que
queremos obtener. Razonar acerca de estas situaciones, significa construir
argumentos acerca de ellas. Lo ideal es que esta construcción sea Argumentación
formal, de manera que los argumentos sean válidos y puedan ser defendidos
rigurosamente; o ejecutados por una máquina. Esto último, es de particular
importancia desde la perspectiva de la Inteligencia Artificial. De la misma forma
Las reglas expresan las condiciones que tienen que ocurrir para pasar de unas
fórmulas a otras. Estas condiciones quedan por encima de la raya que simboliza la
transformación, la nueva fórmula se coloca por debajo de la raya.
Ahora si hablamos de las Reglas de la Negación lo cual Esta regla recoge un
procedimiento básico de inferencia lógica que se denomina reducción al absurdo,
es un procedimiento indirecto de prueba. Consiste en que, si un supuesto nos
lleva a una contradicción, tiene que ser falso y, si es falso, lo contrario será
verdadero. Una con tradición la expresamos mediante la conjunción de una
variable proposicional con su negación. Ahora Si tenemos como premisas dos
fórmulas, podemos inferir como conclusión la conjunción de ambas. Es una regla
que tiene una base intuitiva, ya que si consideramos afirmamos un enunciado y
luego otro, se puede afirmar la conjunción de ambos. Dado que todo lo que
escribimos en la derivación es fruto del uso adecuado de nuestras reglas y como
éstas aseguran la validez, entonces si sabemos que X es lógicamente válida y
sabemos qué Y también lo es, por la interpretación semántica de la conjunción,
sabemos también que X Y es una fórmula igualmente válida. Con respeto a Dada
una fórmula cualquiera, A, podemos inferir como conclusión una disyunción
compuesta por la fórmula dada más otra cualquiera, B. El fundamento intuitivo de
esta regla se encuentra en que, si suponemos que A es verdadera, no pasa nada
si le añadimos otra fórmula cualquiera, sin saber cuál es su valor de verdad, pues
la disyunción obtenida seguirá siendo verdadera, ya que uno de sus miembros lo
es. Seguidamente la Regla de eliminación de la disyunción. En esta regla ofrece
más dificultades, requiere el uso de más pasos y el uso de supuestos
provisionales. En la regla anterior introducía una fórmula sin importarme el valor
de verdad de la misma. Esto plantea ahora un problema, no sé cuál de ellas es la
verdadera. No puedo quedarme con ninguna de ellas. Pero lo que sí puedo hacer
es considerar cada uno de los extremos por separado, de modo provisional. Si a
partir de cada uno de ellos por separado llego a un mismo resultado, puedo
concluir ese resultado como la fórmula obtenida de ambos. Después tomamos la
implicación Si de una premisa provisional A se deriva una fórmula B, podemos
inferir que de A se sigue B. Esta regla emplea un supuesto provisional que es
necesario cancelar cuando hayamos alcanzado la conclusión. Es muy útil su
aplicación cuando la conclusión tiene forma de implicación. En cuanto a la
bicondicional Esta regla podemos emplearla de arriba abajo y viceversa.
Naturalmente la regla se basa en la definición del bicondicional como un
condicional en las dos direcciones. Así que cuando tengamos un bicondicional
podemos transformarlo en la conjunción de los condicionales que lo componen y
al revés. Estas son las reglas básicas de transformación del cálculo. Como están
ex- presadas en forma de esquemas de inferencia podemos ir ampliándolas según
vayamos probando como válidos otros nuevos esquemas a partir de estas reglas.
Tradicionalmente existen otras reglas derivadas que por su utilidad forman parte
también del sistema de reglas. En las Reglas Derivadas Como vemos el cálculo
parte de unas premisas que nos son dadas y pretende mediante la transformación
de estas fórmulas llegar a la conclusión que se pro- pone. Una vez dispuestas las
premisas, tenemos que preguntarnos cuál es la conectiva principal o estructura de
la formula a obtener, indudablemente para con- seguir dicha fórmula tendremos
que introducir en primer lugar su conectiva principal, en este caso la negación.
Haciendo uso de la regla de introducción de la negación, IN, suponemos lo
contrario de lo que queremos probar y vemos si esto nos conduce a una
contradicción, como es el caso, podemos negar lo contrario de lo que hemos
supuesto, lo que coincide con la fórmula a probar. El proceso nos es ya conocido,
advirtamos el doble supuesto que nos exige la introducción del condicional en
primer lugar, y después como el consecuente del condicional a probar esta
negado, la necesidad de suponer lo contrario del consecuente como nos indica la
regla de introducción de la negación. La lógica proposicional trata con sistemas
lógicos que carecen de cuantificadores, o variables interpretables como entidades.
En lógica proposicional si bien no hay signos para variables de tipo entidad, sí
existen signos para variables proposicionales (es decir, que pueden ser
interpretadas como proposiciones con un valor de verdad definido), de ahí el
nombre proposicional. La lógica proposicional incluye además de variables
interpretables como proposiciones simples signos para conectivas lógicas, por lo
que dentro de este tipo de lógica puede analizarse la inferencia lógica de
proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura
interna de las proposiciones más simples. Hasta ahora hemos estudiado los
sistemas lógicos como el proceso de inscribir fórmulas o estructuras deductivas en
un determinado armazón formal. Desde el punto de vista semántico nos interesa
atribuir significados a las fórmulas y aceptar como integrantes del sistema aquellas
fórmulas o estructuras deductivas cuyo significado cumple determinadas
condiciones. En la lógica proposicional, la interpretación de una fórmula viene
dada por la interpretación semántica de las conectivas que contiene. Es decir, en
la medida en que nuestras conectivas son funciones una interpretación para el
cálculo proposicional consiste en atribuir un valor de verdad a cada una de las
variables proposicionales que componen una fórmula y evaluar según la
interpretación semántica de las conectivas el valor final de la fórmula.
Como punto final podemos decir que Las expresiones lógicas pueden
transformarse en otras mediante las "Reglas de inferencia". Estas reglas deben
ser tautológicas, es decir, correctas en todos los casos de combinación de los
valores 1 y 0 de sus proposiciones. O sea que podremos utilizar como reglas de
transformación las tautologías halladas mediante tablas de valores. Clasificamos
las reglas en básicas y derivadas. De igual manera Las reglas básicas de
inferencia nos deben bastar para la resolución de cualquier derivación, por
complejo que sea. Éstas consisten en las reglas de introducción y de eliminación
de las conectivas.