Logica

Principio de composicionalidad del significado: el significado de una expresión

compuesta debe construirse a partir del significado de sus partes componentes.

Oraciones declarativas: Oraciones que expresan algun estado de cosas y que son
verdaderas o falsas.Un argumento se compone de oraciones declarativas. No
Contiene preguntas.

Oraciones no declarativas: En su estudio es posible aplicar las nociones semánticas

desarrolladas para las oraciones declarativas.

Constantes lógicas y sistemas lógicos

No existe una lógica universal que caracterice a todos los argumentos validos o a las
relaciones entre los significados de todas las expresiones. En la practica, se
desarrollan diferentes sistemas lógicos, cada uno con su propia clase particular de
argumentos. La composición de esta clase depende de los tipos de expresiones del
lenguaje lógico que usa el sistema lógico.

Cada sistema lógico caracteriza su propia clase de esquemas de argumento validos:

su validez se basa en el significado de ciertas expresiones que emplea el sistema. Las
expresiones que desempeñan este papel en un sistema lógico se denominan sus
constantes lógicas, dado que dentro de ese sistema su significado es absolutamente
fijo.

¿Qué tipos de expresiones pueden ser tratadas como constantes lógicas en un

sistema lógico? Los argumentos deben ser validos solo en virtud de su forma externa y
no en virtud de su contenido. Las expresiones como y, o, si (… entonces), si y solo
si, la negación no (CONSTANTES LOGICAS DE LA LOGICA PROPOSICIONAL) y las
expresiones cuantificadoras todo y alguno (CONSTANTES LOGICAS DE
PREDICADOS) son claros ejemplos de construcciones que pueden otorgar validez
estructural a formas de argumentos. Su significado esta enteramente determinado por
el papel que cumplen en los argumentos.

Otras constantes lógicas →

Expresiones modales tales como posiblemente y necesariamente.

Expresiones temporales y construcciones como era el caso que, alguna vez,

nunca y los tiempos verbales.

Todas estas expresiones y construcciones desempeñan un papel estructural en la

validez de los argumentos. Parecen tener un cierto contenido descriptivo.

Logica Silogistica

Los silogismos son tipos particulares de inferencias en las que la conclusión se obtiene
a partir de dos premisas

(18) Todos los niños son egoístas

 Algunas personas no son egoístas

Algunas personas no son niños.

Logica proposicional

Conectivas veritativo-funcionales

La lógica proposicional es el sistema lógico mas simple y básico que existe. Sus
constantes lógicas son las conectivas y la negación, las primeras vinculan dos
oraciones para formar una nueva oración compuesta, y la ultima opera sobre una sola
oración.

Valor de verdad de una oración es 1 si la oración es verdadera y 0 si la oración es

falsa.

El principio de composicionalidad requiere que el significado de una oración

compuesta dependa solo del significado (los valores de verdad) de las oraciones que
la componen.

El valor de verdad de una oración con y depende solo del valor de verdad de las dos
partes que la componen.

De las conectivas que dan lugar a oraciones cuyo valor depende solo del valor de
verdad de las oraciones conectadas se dice que son veritativo-funcionales. De manera
que y es una conectiva veritativo-funcional mientras que porque no lo es.

Para determinar el valor de verdad de una oración A, solo necesitamos prestar

atención a las oraciones que en última instancia componen a A.

Conectivas y tablas de verdad

Vocabulario de un lenguaje para la lógica proposicional incluye conectivas como sus

constantes lógicas. Y como variables lógicas, hay símbolos para representar
afirmaciones. Estos símbolos se denominan letras proposicionales o variables
proposicionales. Letras p, q, y r,

Las letras proposicionales y las expresiones compuestas formadas a partir de las

mismas por medio de las conectivas se clasifican conjuntamente como oraciones o
formulas.

Símbolo Oración compuesta Significado

¬ (negación) ¬ (negación de p) No es el caso que p

Es falso que

˄ (conjunción) (p ˄ q) (conjunción de p y p y q
q)
aunque, pero…

tambien
˅ (disyunción) (p ˅ q) (disyunción de p y p o q
q)
o bien…

→ (implicación) (p→q) (implicación si p entonces q

material de p y q)

↔ (equivalencia) (p ↔ q) (equivalencia p si y solo si q

material de p y q)