Unidad 2 - Clase 2 - Logica Proposicional

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 32

La Lógica proposicional

La proposición
• Relación enunciativa entre términos
• Declarativa: afirma o niega
• Termino: expresión del concepto
• Relaciona conceptos aislados
• Conceptos: expresan los caracteres comunes a
diversas clases de entidades
Razonamientos y juicios
• Pensar: actividad psíquica
• Lógica: estudia la estructura del pensamiento
• Coherencia, adecuación a la realidad
• Formal
• Razonamiento: pensamiento complejo que
consta de juicios relacionados de cierta manera
• Juicio: pensamiento que consta de conceptos
relacionados de cierta manera
• Todo juicio se expresa mediante una proposición
• preguntas: ? provisional
Conceptos
• Concepto «receptaculo»
• Concipio: recibir, hacer caber, abarcar
• Concepto: no es lo que se conoce sino a través
de lo cual se conoce
• Medio para conocer lo real
• El concepto puede predicarse
Conceptos
• Se expresan mediante términos:
• Significa y designa
• Comprensión y extensión
• Comprensión: conjunto de notas pensadas
estructuralmente y constituyen la unidad que
llamamos concepto. Definición
• Extensión: es la referencia que el concepto
hace a los objetos. Aplicación
Conceptos
Conceptos
Conceptos
• Generales o individuales
• Individuales: su extensión se limita a un solo objeto
• Generales: su extensión abarca a todos los individuos de una clase
• Género y especie son conceptos relativos
• Positivos, negativos o privativos
• Presencia, ausencia o ausencia donde podría haberse dado una
presencia
• Contrarios y contradictorios
• Contrarios: Aplicados a un sujeto dos juicios no puedan ser
verdaderos simultáneamente
• Contradictorios: Aplicados a un sujeto dos juicios no puedan ser ni
verdaderos ni falsos simultáneamente
Proposiciones
• Forma atributiva: S es P
• Apofántica: mostrar, dar a conocer
• El discurso elucidador donde reside el ser de
las cosas (Aristóteles)
• Esencia de la proposición:
• Afirmativa o negativa
• Verdadera o falsa
Clasificaciones
• División: operación lógica que consiste en
mostrar las especies contenidas en un mismo
género
• Clasificación: operación lógica que consiste en
mostrar los géneros en que están contenidas
las especies
Clasificaciones
• Clasificar: formamos conjuntos de acuerdo a cierto
principio.
• Objetos o ideas
• Si encontramos alguna regularidad podemos formar clases
• Depende del criterio
• Ordenar en la existencia y contribuir a dar significado en la
experiencia
• Completa: no debe quedar afuera ningún residuo
• Individuos contenidos en especies mas semejantes con
respecto a otras especies
• De ser posible mediante denotaciones positivas
Comparaciones
• Observar diferencias y semejanzas
• Puntos de coincidencia o disidencia
• El proceso de comparar implica abstraer y
retener mentalmente la abstracción, mientras
se concentra la atención en los objetos
comparados
Estructura de la proposición
• Responde a una forma compuesta por cuatro
elementos
• Categórica: todos o algunos de los miembros de una
categoría (el término sujeto) están incluidos en otra (el
término predicado)
Cuantificador Sujeto Cópula Predicado
Fija la Es el término Enlaza dos Es el término
cantidad en del cual se términos que se
la dice algo atribuye a un
proposición sujeto

• Forma típica
Estructura de la proposición
• Dificultad: sobreentender lo enunciado

• Imprecisión
• Ambigüedad

• Cuantificador → El que fija la cantidad: todos,


algún, ningún

• Transformar la proposición del lenguaje usual al


lógico
Los cuantificadores
• Todos, ningún y algún
• Cuatro casos de proposiciones:
• Todos los vegetales son vivientes
• Ningún vegetal es viviente
• Algún vegetal es viviente
• Algún vegetal no es viviente
La definición
• Definido y definición deben ser convertibles.
• La definición esencial debe hacerse por
género próximo y diferencia específica.
• En la medida de lo posible, la definición no
debe ser negativa.
• Las definiciones no deben ser circulares.
• Las definiciones deben ser breves.
• Las definiciones deben ser claras.
El género lógico
• Es un concepto filosófico empleado en lógica y
metafísica.
• Es un concepto que reúne una multiplicidad de
individuos en una unidad conceptual.
• Estos conceptos pueden agruparse en unidades
conceptuales de nivel inferior.
• Tradicionalmente el nivel más bajo suele
denominarse especie y los niveles superiores
géneros
• el "género" es más "general", y la "especie" es
particular
La diferencia especifica
• Concepto que se aplica a las especies que
tienen algo en común
• Es lo que lo distingue de las especies del
mismo género
• lo que hace distinto a los conceptos de
especie porque cada especie posee su
diferencia específica respecto de otras a pesar
de sus semejanzas
Proposiciones equimateriales
• Proposiciones distintas que tengan el mismo
sujeto y el mismo predicado

• Todos los vegetales son vivientes


• Ningún vegetal es viviente
Proposiciones isomórficas
• Proposiciones que son iguales en cantidad
(universal-particular) y en calidad (afirmativas-
negativas)
• Todos los cuadrados son polígonos
• Todos los triángulos son polígonos
Relaciones entre proposiciones
equimateriales
• Las proposiciones que componen cada pareja
deben ser equimateriales y no isomórficas
• Cuatro formas típicas de proposiciones
categóricas
• A: Todo S es P
• E: Ningún S es P
• I: algún S son P
• O: algún S no son P
Inferencia
• Inferir: extraer una conclusivo de una o varias
premisas
• Inferencia mediata
• Oposición
• Conversión
• Obversión
• Contraposición
Cuadrado de la oposición
• Oposición: relaciones de verdad y falsedad entre
proposiciones que afirman o niegan el mismo predicado del
mismo sujeto
Relaciones
• Contrariedad (A,E). Una es contraria de la otra. No pueden ser las
dos verdaderas, pero sí las dos falsas. Se oponen en verdad, pero no
en falsedad.
• Subcontrariedad (I,O). Una es subcontraria de la otra. Pueden ser
las dos verdaderas, pero no las dos falsas. Se oponen en falsedad,
pero no en verdad.
• Contradicción (A,O; E,I). Una es contradictoria de la otra. No
pueden ser ni las dos verdaderas ni las dos falsas. Se oponen en
verdad y en falsedad.
• Subalternación (E,O; A,I). La universal es subalternante de su
correspondiente particular. La particular es subalterna o
subalternada de su correspondiente universal. La verdad de la
universal implica la verdad de la particular y la falsedad de la
particular implica la falsedad de la universal.
Cuadrado de la oposición
Inferencia
• Inferir: extraer una conclusivo de una o varias
premisas
• Cuadro de oposición: inferencia inmediata
• Conversión: cambiar sujeto y predicado
• Obversión: Clase complementaria y cambio de
cualidad. Todos los residentes son votantes =
ningún residente es no-votante
• Contraposición: Todo s es P = todo no-S es no-P
• Inferencia mediata
Alabanza a los sueños

En mis sueños
pinto como Vermeer van Delft.
Hablo fluidamente griego
y no sólo con los vivos.
Conduzco un auto
que me obedece.
Tengo talento,
escribo poemas largos, grandiosos.
Escucho voces
no menos que los grandes santos.
Se sorprenderían
de mi virtuosismo en el piano.
Floto en el aire como se debe,
es decir, por mí misma.
Si caigo del techo
puedo aterrizar suavemente en el verde césped.
No me es difícil
respirar bajo el agua.
No me puedo quejar :
he logrado descubrir la Atlántida.

Me complace que justo antes de morir


siempre me las arreglo para despertar.

Inmediatamente tras el estallido de la guerra


me vuelvo a mi lado favorito.
Soy, mas no necesito ser,
hija de mi tiempo.

Hace unos pocos años


vi dos soles.
Y antes de ayer un pingüino,
con toda claridad.

Wislawa Szymborska
Vermeer

Mientras esa mujer del Rijksmuseum


con esa calma y concentración pintadas
siga vertiendo día tras día
leche de la jarra al cuenco
no merecerá el Mundo
el fin del mundo.

Wisława Szymborska – Aquí

También podría gustarte