República Bolivariana de Venezuela
Universidad Nacional Abierta
Centro Local Anzoátegui
Carrera: Mant. De Sist. Informáticos (237)
Asignatura: Lógica (Cod. 107)
Lapso 2022-1
La logica como lenguaje
La lógica es la ciencia y el arte del pensamiento en general y del razonamiento en particular.
Estudia la manera en que interpretamos, construimos y evaluamos argumentos, con el objetivo
de enseñarnos a argumentar de manera racional.
Argumentar se hace a través del lenguaje, usamos las palabras; y la lógica nos ayuda a
conocer y usar el lenguaje para interpretar, construir y evaluar mejor los argumentos.
Ahora bien, todo lenguaje humanos es como una "Institución Social", que se desarrolla y es
sostenida por determinada comunidad de hablantes, quienes al interactuar entre si han creado una
serie de pautas y normas, que a su vez crean una compleja estructura logica.
Con el progreso de la logica como disciplina, se desarrollo un lenguaje formal. Al
"formalizar", traducimos los argumentos del lenguaje natural a un esquema formal de
razonamiento logico. En consecuencia, dicho progreso tambien generó un simbolismo propio
que le permite analozar criterios, peemitiendo decidir cuando se esta en presencia de un
razonamiento valido.
La logica simbólica es un lenguaje, pero un lengujaje artificial utilizado especificamente para
caracterizar la estructura lógica de otro lenguaje, esta constituye un metalenguaje, con respecto a
cualquier otro. La lógica trabaja con signos; se ocupa del lenguaje que es un sistema de signos y
crea sus propios signos, de esta forma se relaciona con la semiótica.
El proceso semiótico, no es mas que el estudio de los signos. Dicho proceso da lugar a tres
disciplina; la sintaxis, la semántica y la pragmática relacionadas a su vez por medio del signo, el
significado y el intérprete. Estas tres disciplinas metalinguisticas, nos sirven de base para
dilucidar los problemas del discurso cotidiano y hacer un análisis lógico.
La lógica analiza el uso del lenguaje en el argumento, en lo cotidiano un mismo discurso
puede desempeñar varias funciones al mismo tiempo, sin embargo analizando el contexto puede
determinarse la función que esté cumple.
De esta forma, el lenguaje natural es utilizado para comunicarnos con los demas, un lenguaje
aprendido. Sin embargo, es necesario un lenguaje artificial que establezca el uso de los términos
y la formación de los enunciados, ya que estos eliminan las imprecisiones del lenguaje ordinario.
Y la lógica es la ciencia disciplinaria que nos ayuda a transformar nuestros argumentos, a traves
de un lenguaje formal, para evitar las ambigüedades y mal entendimiento que puede generar un
discurso cotidiano.
Desde esta perspectiva, estudiamos lógica para aprender que debemos hacer para convencer y
llegar a acuerdo racionales. La lógica esta tambien relacionada con la ética, en tanto que se
interesa en un tipo de comportamiento humano y su objetivo es enseñarnos a realizar, ya sea un
debate, una discusión, un dialago, etc., de la mejor forma posible.
La Logica Proposicional
Una proposición, es decir el contenido objetivo de las oraciones, puede ser expresada por
distintas oraciones, inclusive provenientes de idiomas distintos. Pero una oración declarativa sólo
puede expresar una proposición.
Una proposición es, pues, una pieza de información a la cual podemos adjudicar un
determinado valor veritativo, es decir, de la cual podemos afirmar que es de hecho verdadera o
falsa o que es posible racionalmente determinar su verdad o falsedad. La determinación de su
valor veritativo puede seguir dos caminos: un proposición puede ser verdadera solamente en
virtud de su significado. Además, una proposición puede ser verdadera o falsa dependiendo de si
se está en correspondencia con los hechos reales a los que se refiere.
Una proposicion sin conectivas es una proposici6n simple o atómica, mientras que la que
presenta una o más de aquellas es una proposición compuesta o molecular.
Las conectivas que interesan a la lógica proposicional son las Ilamadas conectivas
extensionales (tambien Ilamadas etetico-tuncionetes o veritativo-funcionales), que permiten la
deducción del valor veritativo del compuesto a partir del de sus componentes. Asi, el valor
veritativo de un enunciado simple depende de su adecuación al estado del mundo al que se
refiere y se determina por procedimientos extra-logicos (que competen, por ejemplo, a las
ciencias fácticas), mientras que el valor veritativo de los enunciados compuestos se determina
lógicamente, como se ha dicho, partiendo del de sus enunciados simples y observando las
condiciones de verdad que rigen para las conectivas que lo forman.
Podemos definir a las conectivas lógicas proposicionales como funciones de verdad, es decir,
expresiones que permiten construir proposiciones complejas cuyo valor de verdad es una función
(depende por entero) del valor de verdad de las expresiones constituyentes.
El objeto de la lógica es el establecimiento de criterios que permitan distinguir a un
razonamiento deductivo válido de uno inválido. El primer paso consiste en determinar la forma
de los razonamientos, para luego arbitrar los criterios que permitan decidir cuándo un argumento
deductivo es válido o no. La lógica simbólica proposicional consiste en el estudio de las
relaciones que se establecen entre las proposiciones para determinar cuándo, a partir de estas
relaciones, la forma de un argumento puede considerarse válida y cuándo no.
