Академический Документы
Профессиональный Документы
Культура Документы
A LA
LGICA
RAFAEL MORA
CEPRE-UNI
23 JUNIO 2014
QU ES LA LGICA?
La lgica estudia los razonamientos, pero no los razonamientos como
procesos mentales que son tema para la psicologa- sino los productos de
tales procesos. Entendido de esta manera, un razonamiento es un
conjunto de oraciones formulado por alguien que pretende que una de
esas oraciones la conclusin del razonamiento- se sigue (se deriva, se
desprende) de las dems las premisas del razonamiento-. Esta
pretensin la pretensin de que las premisas dan apoyo o fundamento a
la conclusin- es lo que distingue a los razonamientos de otros conjuntos
de oraciones como las descripciones y los relatos. Para entender esto
veamos dos inferencias:
1. Roma es la capital de Italia, y este avin aterriza en Roma; entonces
el avin aterriza en Italia.
VALIDEZ
LA LGICA
La lgica es una ciencia normativa nos dice lo que
LAS FALACIAS
Las falacias son razonamientos
FALACIAS NO FORMALES
FUNCIONES DEL
LENGUAJE
En cualquier acto de comunicacin intervienen los siguientes factores:
Emisor del mensaje
Receptor o destinatario del mensaje.
Canal o contacto psicofsico entre emisor y receptor.
Mensaje o informacin transmitida.
Referente o contexto al que se refiere el mensaje.
Cdigo en que est cifrado el mensaje y que es compartido por emisor y receptor.
Siempre que utilizamos el lenguaje, lo hacemos con una intencin o funcin determinada: informar,
persuadir, ordenar, conmover... Segn cul sea nuestra intencin en el momento de comunicarnos,
destacar alguno o varios elementos de la comunicacin.
No todos los mensajes desempean la misma funcin: algunos se limitan a informar, otros son un
recurso para iniciar el contacto comunicativo, otros mensajes se emiten con el propsito de
provocar una determinada reaccin en el receptor, otros con la intencin de cautivar la sensibilidad
del destinatario. La funcin que desempea un mensaje viene determinada por el predominio de
alguno de los elementos en el proceso comunicativo o porque el mensaje incide de manera directa
sobre dicho elemento; sin embargo, es frecuente que un mismo mensaje desempee varias
funciones a la vez. Las funciones, por tanto, no se dan de manera aislada sino que aparecen
combinadas en un mismo texto.
FUNCION APELATIVA
Cuando se usa el lenguaje para generar o evitar una
accin, puede tratarse de una orden, un pedido, una
prohibicin, una interrogante etctera. Cuando un
padre le dice a su hijo que se lave las manos antes de
comer, la intencin no consiste en comunicar una
informacin o en expresar o evocar una emocin en
particular. El lenguaje intenta en este caso obtener
resultados, ocasionar la accin de tipo previsto.
Ejemplos:
Estas estudiando?
Debemos honrar a nuestros hroes a los smbolos
patrios.
Nadie ser sometido a torturas ni a penas o tratos
crueles, inhumanos o degradantes.
Guame, oh Seor, por la senda de tu justicia: haz
que sea recto ante tus ojos mi camino por causa
de mis enemigos.
Firmes!, Descanso!, Atencin!
CONCEPTOS BSICOS -I
PROPOSICIN
De todas estas funciones del lenguaje, la lgica toma en
cuenta slo aquellas oraciones que sirvan para afirmar,
negar, describir, informar, etc. Estas oraciones son las
declarativas o aseverativas y son las nicas que pueden
constituir proposiciones, segn cumplan o no determinados
requisitos. La proposicin es una oracin aseverativa de la
que tiene sentido decir que es verdadera o falsa. Ejemplos:
El ornitorrinco es ave.
El tomo es molcula.
Arguedas es un poeta peruano
Per est en Europa.
Cinco ms tres es ocho.
ARGUMENTO
Un argumento es una estructura de proposiciones
que consiste en derivar a partir de la verdad de
ciertas proposiciones conocidas como premisas la
verdad de otra proposicin conocida como
conclusin.
Las premisas de una inferencia son proposiciones
que ofrecen las razones para aceptar la conclusin.
La conclusin de una inferencia es la proposicin
que se afirma sobre la base de las premisas.
Preceden a la conclusin las palabras luego, por
tanto, por consiguiente, en consecuencia, etc.
Ejemplos:
CLASES DE PROPOSICIN
PROPOSICIN SIMPLE
PROPOSICIN COMPUESTA
De acuerdo al criterio del
Excepciones:
SIMBOLIZACION
La
simbolizacin es un
procedimiento que consiste en
aplicar el mtodo del anlisis
lgico a una determinada
proposicin.
Analizarla
lgicamente
significa mostrar de una
manera totalmente explcita y
exhaustiva sus relaciones
sintcticas
subyacentes
y
permitir, determinar, de esa
manera,
todas
sus
interpretaciones posibles.
VARIABLES Y CONSTANTES
El lenguaje lgico se denomina
formalizado
porque
su
propiedad ms importante es la
de revelar la forma o estructura de
las proposiciones e inferencias.
El lenguaje formalizado de la
lgica de proposiciones consta de
dos clases de signos: variables
proposicionales y constantes u
operadores (o conectores) lgicos.
VARIABLES PROPOSICIONALES Y
METAVARIABLES
Las
variables proposicionales
representan cualquier proposicin
atmica.
Son letras minsculas del alfabeto
castellano p, q, r, s, etc.
Las metavariables representan
cualquier frmula o proposicin
compuesta.
Son
las letras maysculas del
alfabeto castellano A, B, C, D,
etc. Por ejemplo:
A=(pq) (rs)
SIGNOS DE AGRUPACIN
DETALLES DE LA T. V.
Las
[(p
q)
r]
[(p
(q
r)]
Notemos que la distribucin de la verdades y falsedades es por mitades; si hay 8 mundos posibles,
entonces, para el caso de la variable p, 4 de ellos sern verdades y los otros 4 sern falsedades.
Hemos distribuido de 4 en 4. En el caso de la variable q, repartiremos la verdad y la falsedad de 2
en dos 2 con el fin de acaparar todas las posibilidades combinatorias. En el caso de la variable r
hemos repartido la verdad y la falsedad de uno en uno.
CONJUNCIN
La conjuncin es verdadera cuando las dos proposiciones que la componen son verdaderas. Simblicamente se la define:
pq =
def
. ~(~p~q)
Leamos la igualdad anterior. Lo que se est definiendo, es decir, la conjuncin, ser verdadera cuando p es verdadera y q es verdadera al
mismo tiempo. Ahora fijmonos en lo que define, apliquemos nuestra lectura: la conjuncin ser falsa cuando al menos una de las dos
proposiciones componentes sea falsa.
pq =
def
. ~(~p~q)
La lectura es similar: lo que se est definiendo, a saber, la DD se define como una frmula que es falsa cuando p y q son falsas a la vez (eso
es lo que define o sirve para definir). Ahora fijmonos en la disyuncin mismo ella ser verdadera cuando al menos una de las proposiciones
componentes lo sea.
pq=
~ (p q)
p q = def (pq) (~p~q)
Si tomamos en cuenta que: pq =def (p q) (~p ~q), podremos reemplazarla en la primera definicin
pq=
def
def
Leamos la primera definicin: la DF ser falsa cuando al menos suceda una de las dos opciones: las dos proposiciones son verdaderas o las
dos proposiciones son falsas.
Ahora leamos la segunda: la DF ser verdadera cuando suceda al mismo tiempo que al menos una de las dos proposiciones sea verdadera y
que al menos una de las proposiciones sea falsa.
CONDICIONAL
La condicional es falsa cuando el antecedente es verdadero y el consecuente es falso. La definicin simblica es:
pq = def~(~p~q)
pq = def ~pq
Para que la condicional sea verdadera basta que al menos una de los opciones sucedan que el antecedente sea falso y que el
consecuente sea verdadero.
BICONDICIONAL
La bicondicional es verdadera cuando ambas proposiciones componentes tienen el mismo valor de verdad. Ser falsa cuando
ambas proposiciones tengan diferente valor de verdad
Leamos la primera definicin: la bicondicional ser verdadera cuando al menos suceda una de las dos opciones: las dos
proposiciones son verdaderas o las dos proposiciones son falsas.
Ahora leamos la segunda definicin: la bicondicional ser falsa cuando suceda al mismo tiempo que al menos una de las dos
proposiciones sea falsa y que al menos una de las proposiciones sea verdadera.
NEGACIN
La negacin cumple la funcin de invertir del valor de verdad de una proposicin.
~p=def~(p)
~p=def (~p)
La negacin es falsa cuando es verdadera la proposicin que niega. Y es verdadera cuando es falsa la proposicin que niega
AB
AB
AB
AB
AB
~A
MTODO ABREVIADO
EJEMPLO DE APLICACIN
Aplique el mtodo abreviado: [p(pq)]q
Supongamos que el conector de mayor jerarqua, es decir, , es falso.
Pero sabemos que cuando una condicional es falsa su antecedente es
BIBLIOGRAFA