LOGICA PROPOSICIONAL

Es la rama que tiene como unidad de anlisis a las proposiciones o enunciados.

ESTRUCTURA LOGICA FUNDAMENTAL

Trminos: Es la mnima unidad de anlisis lgico, nombra o designa algo. No afirma ni niega. No es
ni verdadero ni falso. Los trminos (designa siempre lo mismo-gramtica) son ms que las palabras
(categora lgica). Ejemplo: Valor Agregado, Ley de oferta y demanda, etc.

Proposicin o enunciado: Estructura lgica integrada por trminos de la cual puedo decir su V o F.
Ejemplo: El IVA se aplica a todas las actividades comerciales.

Argumento o Razonamiento: Es la estructura lgica ms compleja, integrada por enunciados

llamados premisas, del que se desprende otro llamado conclusin. De ellos se pueden decir que
son validos o invlidos. Ejemplo: Todo hombre es mortal. Scrates es hombre. Luego, Scrates es
mortal.

LAS PROPOSICIONES SE CLASIFICAN EN:

1. Compuestas o moleculares: son aquellas proposiciones que se encuentran integradas por

conectivas, esta permite una divisin de oraciones. Estn compuestas por una o ms
proposiciones simples o atmicas. Ejemplo: Hubo elecciones y eligieron senadores. Si
llueve mucho y hay heladas se arruinaran las cosechas.

Las proposiciones compuestas o moleculares, distinguimos:

Conjuntivas: Estas proposiciones afirman en forma simultnea dos enunciados.

Disyuntivas: manifiestan autonoma entre dos enunciados.
Condicionales: (llamadas tambin implicacin material o condicional material) se
establece una relacin en la cual una proposicin llamada consecuente depende
de otra llamada antecedente.
Bi-condicionales: tambin llamada equivalencia material ambos enunciados
simples son materialmente equivalentes y se implican el uno a otro.
Negativas:

2. Simples o Atmicas: son aquellas proposiciones que no se encuentran compuestas por

conectivas interproposicionales. Ejemplo: El nmero 5 es primo. Matas no es estudioso.
LEYES LOGICAS

Es toda forma proposicional tal que si sustituimos sus variables por constantes descriptivas de la
categora semitica que ellas determinan el resultado ser siempre una proposicin verdadera.

Tautologas: aquellas cuyas tablas de verdad tienen por resultaos nicamente V

Contradiccin: aquellas cuyas tablas de verdad tienen por resultado nicamente F
Contingencia: aquellas cuyas tablas de verdad tienen por lo menos un valor V y un valor
F

Una forma proposicional es consistente cuando tiene por lo menos una interpretacin verdadera,
y es inconsistente cuando no tiene ninguna interpretacin verdadera.

Las tautologas y las Contingencias son formas consistentes, mientras que las Contradicciones son
inconsistentes.

La negacin de una tautologa es una contradiccin, la negacin de una contradiccin es una

tautologa, y la negacin de una forma contingente es tambin contingente.

ARGUMENTO/RAZONAMIENTO: VALIDEZ; PRUEBA DE VALIDEZ

La validez o invalidez de los argumentos puede determinarse por la manera en que estn
relacionados las proposiciones mediante las conectivas. Para ellos existen mtodos de prueba de
validez.

Mtodos de prueba de validez

Mtodo Condicional asociado:

Mtodo Demostrativo:
Mtodo de las formas booleanas:
NOCIONES DE SEMIOTICA

La lgica trabaja con signos, en primer lugar porque se ocupa del lenguaje, que es un sistema de
signos, y en segundo lugar porque crea sus propios signos. Su estudio corresponde a una ciencia
llamada semitica.

Los signos. El proceso semitico

Un signo es un objeto fsico.

La caracterstica de un signo.

1. Hacen referencia a otra cosa: una bandera roja hace referencia a un peligro; un mapa, al lugar
geogrfico que representa; una nota musical, a un cierto sonido . A aquello a que el signo hace
referencia se lo denomina designado.
2. Hacen referencia a algo para un cierto sujeto. El signo hace referencia a su designado
siempre con relacin a algn sujeto. A ese sujeto se lo denomina intrprete.
un semforo; por ejemplo, es un signo del que somos intrpretes todos los que conocemos su
funcionamiento y sabemos lo que significa cada color. Nuestro idioma es tambin un conjunto de
signos del que somos intrpretes todos los que hablamos castellano. Los animales pueden ser
asimismo intrpretes de ciertos signos. Un len amaestrado, por ejemplo, ante determinados gestos
de su domador, realiza determinadas acciones: en este caso, el gesto es el signo del que es intrprete
el animal.

Podemos definir signo de la siguiente manera: S es signo de D para I, si I piensa en D, o es remitido

a D cada vez que est en presencia de S. Al proceso mediante el cual un objeto funciona como
signo se lo denomina proceso semitico. Sus tres componentes son S, D e I.

Dimensiones del proceso semitico. Ramas de la semitica

1. Dimensin sintctica: relacin que se da entre un signo y otros signos. Los signos se
presentan frecuentemente relacionados unos con otros, formando sistemas, como los
signos que forman la notacin musical, la aritmtica, o las palabras de un lenguaje. Aun los
signos que aparecen solos tienen una dimensin sintctica: la relacin de ese signo
consigo mismo.
2. Dimensin semntica: relacin es la que se da entre un signo y aquello a que hace
referencia, o sea, su designado.
3. Dimensin pragmtica: relacin que se da entre un signo (o sistema de signos) y los
intrpretes de stos.

Hay reglas que rigen las relaciones que se dan en cada una de las tres ramas mencionadas.
Las reglas sintcticas rigen las relaciones entre los signos. En el lenguaje, por ejemplo, las
reglas ortogrficas son de este tipo.
Las reglas semnticas rigen las relaciones entre los signos y los designados. Un ejemplo de este
 tipo es la siguiente convencin: 'Cuando suenen dos timbres consecutivos se podr ingresar en
el comedor'. Toda estipulacin acerca del significado de un objeto que funciona como signo es
una regla semntica. Dentro de un lenguaje, las condiciones acerca de la verdad de un
enunciado pertenecen tambin a la semntica.
La pragmtica, por ltimo, analiza las reglas de uso de los signos, es decir, cmo los usan los
intrpretes. Cmo utilizamos los argentinos los gerundios es un ejemplo de regla pragmtica.

Tipos de signos

1. Signos naturales: como el humo de una chimenea, que es signo de que dentro de
ella se est quemando algo, o el ruido que produce una pava, que es signo de que
en su interior hierve agua, o una huella sobre la nieve, que es signo del paso de un
animal. Estos signos se caracterizan porque la relacin S-D no es el resultado de ninguna
creacin humana, sino que aparece dada y obedece a una relacin causa-efecto, donde el
signo es el efecto y el designado la causa.
2. Signos icnicos: A diferencia de los naturales, en ellos la relacin S-D no aparece dada, sino
que es creada por los hombres. Se caracterizan por el hecho de que entre el signo y el
designado existe cierta analoga: en el signo estn presentes ciertas caractersticas del
designado. Un mapa, por ejemplo, es un signo icnico porque reproduce la forma
del designado. Tambin lo son un retrato, una maqueta y ciertas seales viales,
como las que indican cruces de caminos y curvas.
3. Signos convencionales, o smbolos: En stos, como en los icnicos, la relacin S-D es
creada por los hombres, pero se diferencian de aqullos en que esa relacin es arbitraria:
no hay ninguna analoga entre el signo y su designado. Por ejemplo, que la luz roja de
un semforo indique detencin es convencional, ya que podra haberse elegido otro
color en su lugar; o que la palabra 'rbol' haga referencia a un cierto tipo de
vegetal, con determinadas caractersticas, es igualmente arbitrario, pues podra
haberse utilizado otro conjunto de sonidos para hacer referencia a esos vegetales,
'lar', por ejemplo, o cualquier otro. No hay ninguna relacin natural ni ninguna
analoga que ligue al signo convencional con su designado.

Designado y denotado de un signo lingstico

La semntica distingue:
 Designado: El designado es el conjunto de caractersticas a que hace referencia el
signo. Por ejemplo, la palabra 'mesa' tiene como designado las propiedades
o caractersticas de ser un mueble, tener una superficie plana y, por lo
menos, una pata que le sirva de apoyo
Denotado: El denotado de un signo, en cambio, es el conjunto de todas las
entidades que poseen las caractersticas del designado. As, el denotado de la
palabra 'mesa' est constituido por todas las mesas, o sea, la clase de las
mesas.

Lenguaje: Uso y mencin

Algunas palabras hacen referencia a cosas o clases de cosas. En el enunciado 'En la sala hay cuatro
sillas' la palabra 'silla' tiene por designado un tipo de mueble con determinadas caractersticas. En
este caso decimos que la palabra 'silla' es usada para hacer referencia a dicha clase de objetos.
Otras veces, en cambio, las palabras hacen referencia a otras palabras, son signos que se refieren a
signos. Por ejemplo, en el enunciado "'Silla' tiene cuatro letras", la palabra 'silla' entrecomillada no
hace referencia a las sillas, sino a la palabra con que se hace referencia a las sillas, y afirma que la
palabra con que se hace referencia a las sillas tiene cuatro letras. En este caso, la palabra no es
usada sino mencionada. El recurso de poner comillas simples a las palabras cumple la funcin de
indicar que nos estamos refiriendo a la palabra misma, y no a aquello a que la palabra hace
referencia.

Lenguaje: Los niveles

Cuando en un enunciado hablamos acerca de palabras (palabras hablan de las palabras) esa
proposicin pertenece al metalenguaje. El enunciado " 'Silla' tiene cuatro letras" es un
enunciado que pertenece al metalenguaje. Mientras que aquello a que hacemos referencia
desde el metalenguaje (las palabras hablan acerca de las cosas) es el lenguaje objeto.

Son niveles del lenguaje (o sistema de signos):

el nivel uno es un determinado lenguaje objeto, como lo es el lenguaje mediante
el cual nos referimos a las cosas
el nivel dos es el metalenguaje
nivel tres o meta-metalenguaje, como en la proposicin La palabra 'silla' de la
proposicin "'Silla' tiene cuatro letras" hace referencia a una palabra.

La semitica es un metalenguaje, porque es un lenguaje que se ocupa de los signos. Es el

estudio del proceso semitico, que est en un nivel superior al proceso semitico mismo.
As, por ejemplo, el enunciado "La palabra 'gato' hace referencia a ciertos animalitos
domsticos" es una proposicin del metalenguaje que corresponde a la semntica
(descriptiva);
La proposicin "'Pozo' se escribe con 'z'" es una proposicin del metalenguaje, que
corresponde a la sintaxis (descriptiva),
y el enunciado "Los argentinos usamos la palabra 'canasto' en lugar de la palabra 'cesto' " es
un enunciado del metalenguaje que pertenece a la pragmtica (descriptiva), ya que se
refiere a cmo usan determinado signo ciertos intrpretes.

La gramtica y la lgica estn dentro de la semitica, ya que se ocupan de signos, y tienen

su metalenguaje propio, con sus tres ramas.

Lenguaje: Funciones

Expresiva: Son las que manifiestan estados de nimo, deseos, aprobacin o

desaprobacin, como las oraciones: 'Es magnfico! ', 'Ojal llueva! ', ' Cmo nos
divertimos! ', o la mayora de las oraciones de la poesa. No puede someterse al anlisis
del V o F.
Directiva: Son aquellas que estn encaminadas a producir o impedir determinada accin,
como las oraciones 'No debes mentir', 'Alcnzame mi libro, por favor', 'Circule con
precaucin'. Las rdenes, los pedidos, los ruegos, las normas son ejemplos de este
tipo. No puede someterse al anlisis del V o F.
Informativa: Se caracterizan porque afirman o niegan algo, como, por ejemplo, 'Hubo
dos grandes guerras mundiales', 'Cinco es un nmero impar', 'En la Argentina no
hay osos polares', 'Montevideo es la capital del Per'. Se las denomina proposiciones
o enunciados, y se caracterizan porque de ellas tiene sentido decir que son verdaderas o
falsas. Se utilizan para probar hiptesis, pero transmiten algo que puede ser V o F.

A la lgica le interesa el lenguaje informativo porque podemos probar su veracidad o falsedad.

EL OBJETO DE LA LOGICA

De que se ocupa a lgica?

Definicin: Es la ciencia que se ocupa de establecer criterios que pretenden determinar la validez o
invalidez de los razonamientos analizando la estructura de los mismos, entre otras cosas.

La lgica: Acepciones

Suele hablarse de lgica como ciencia en dos sentidos distintos, uno amplio y otro restringido. A la
lgica en sentido restringido se la denomina lgica deductiva elemental; excluye. Por ejemplo, la
llamada "lgica inductiva, que pertenecen a la lgica en sentido amplio.

Objeto
El objeto de la lgica es el estudio de los razonamientos deductivos y el proveer de mtodos para
distinguir los vlidos de los invlidos.

Las proposiciones
Aquellas expresiones lingsticas que poseen una funcin informativa: afirman o niegan algo, y
tiene sentido decir de ellas que son verdaderas o falsas.

Los razonamientos
Un razonamiento es un conjunto de proposiciones (dos o ms) en el que una de ellas, llamada
conclusin, se pretende que est fundada en o se infiera de la(s) otra(s), llamada(s) premisa(s).

Debe haber el propsito de fundar unas afirmaciones en otras, de extraer unos conocimientos de
otros.

Este propsito queda cristalizado en el lenguaje a travs de determinadas expresiones que se

anteponen a la conclusin (como, por lo tanto, luego, por consiguiente, en consecuencia, etc.) u
otras que anteceden a las premisas (como, dado que, puesto que, ya que, etc.)

Tomemos, por ejemplo, el siguiente conjunto de proposiciones:

El ladrn tuvo que entrar o bien por la puerta, o bien por la ventana.
Por la puerta no entr, como lo ha demostrado la investigacin policial.

Por lo tanto, el ladrn tuvo que entrar por la ventana.

Este conjunto de proposiciones est relacionado de modo tal, que la proposicin 'El ladrn entr
por la ventana' se pretende que est fundada en los otros enunciados. Es, por lo tanto, un
ejemplo de razonamiento.

Tipos de razonamientos

Deductivos: Se caracteriza como aquellos razonamientos en los que se pretende que la

conclusin se infiera en forma necesaria de las premisas, o, dicho en otros trminos, en los
que se pretende que la conclusin se deduzca de las premisas.
No deductivos (o inductivos): La conclusin se infiere con cierto grado de probabilidad, no
con necesidad.

Los razonamientos vlidos

Un razonamiento es deductivo cuando se pretende que la conclusin se infiera en forma necesaria
de las premisas, que se deduzca de ellas. Esta caracterizacin abarca tanto los razonamientos
correctos o vlidos como los incorrectos o invlidos.
Un razonamiento es vlido cuando su forma es vlida. Y la forma de un razonamiento es vlida
cuando no hay ningn razonamiento de esa forma que tenga premisas verdaderas y conclusin
falsa. Por otro lado, un razonamiento es invlido cuando su forma es invlida, y una forma de
razonamiento es invlida cuando hay por lo menos un razonamiento de esa forma que tiene
premisas verdaderas y conclusin falsa.

Los razonamientos invlidos pueden tener premisas verdaderas y conclusin verdadera, premisas
verdaderas y conclusin falsa, premisas falsas y conclusin verdadera, y premisas y conclusin
falsas. Los razonamientos vlidos pueden tener premisas verdaderas y conclusin verdadera,
premisas falsas y conclusin verdadera, y premisas y conclusin falsas. Lo que no podr ocurrir es
que un razonamiento vlido tenga premisas verdaderas y conclusin falsa. Cuando hablamos de
premisas verdaderas nos referimos al caso en que todas ellas lo sean, pues una sola premisa falsa
hace falso a todo el conjunto de premisas; cuando hablamos de premisas falsas es suficiente con
que una sola de ellas lo sea.