Вы находитесь на странице: 1из 23

1

MDULO 1
FORMAS DEL PENSAMIENTO
Podemos hablar al menos de tres reas de saber que se han ido sucediendo a lo largo de la
historia:
1. Saber Filosfico: construida desde la especulacin.
2. Saber Teolgico: que se cimenta en los dogmas de la fe.
3. Saber Cientfico: construido en base a la objetivacin y verificacin emprica.
En una mirada global podemos identificar tres grandes momentos en la historia del
pensamiento occidental.
1. Los mitos narraban la creacin de los seres o las cosas con explicaciones que otorgaban a
seres sobrenaturales dicho origen. Todo mito cuenta una historia, pero esa historia se funda
en creencias mgicas, sobrenaturales.
2. La llegada del Cristianismo y su doctrina impregnar el pensamiento por varios siglos
centrndose la mayora de los argumentos en la revelacin y voluntad divina.
3. El Renacimiento -en los siglos XV y XVI- ser un movimiento cultural que dar lugar a una
nueva forma de concebir al hombre, al mundo y su relacin. Podemos ubicar en este
movimiento como el paso del teocentrismo al antropocentrismo.
LAS POSIBILIDADES Y LOS LMITES DEL CONOCIMIENTO
A partir del siglo XVII, para responder a la pregunta de dnde viene lo que sabemos?
Descartes, que perteneca al racionalismo, afirma que la razn humana es el fundamento
ltimo de todo nuestro conocimiento. Una de las condiciones para esto fue la de no tomar
como verdadero nada que no fuera evidente y, sabiendo que lo que haba aprendido a travs
de los sentidos a veces lo engaaba, decidi dudar de todo el conocimiento sensible. Si mis
sentidos me engaan, deca Descartes, por qu pensar que no lo van a hacer siempre?
cmo llegar a un conocimiento evidente, absolutamente verdadero? Sin embargo, sostena
que las verdades matemticas son las nicas seguras y confiables, incluso aunque estemos
soando.
Descartes tiene una actitud escptica que se denomina la duda metdica, que significaba
dudar de todo para poder encontrar alguna verdad sobre la cual construir un conocimiento
verdadero; se da cuenta de que mientras duda, piensa y si piensa, l mismo es algo. Es a
partir de esto que surge la frase que caracteriz su pensamiento: pienso, luego existo.
En el siglo XVIII, sale al encuentro de este planteo cartesiano un filsofo ingls llamado David
Hume, quien perteneci a una corriente llamada empirismo; ste respondi a la pregunta
por el origen del conocimiento diciendo que el fundamento de la misma es la
experiencia. Para Hume, el hombre tiene experiencia de dos tipos: las que son directas y
llamamos impresiones, y otras ms dbiles que dependen de las primeras a las que
llamamos ideas.
Las que provienen del exterior con las impresiones de la sensacin; las que corresponden
a los sentimientos y provienen de nuestro mundo interno, son las impresiones de la reflexin.
En cuanto a las ideas, son representaciones mentales derivadas de las impresiones, lo que
quiere decir que despus de haber tenido una experiencia tendr una idea de aquello que
afect a mis sentidos, o despus de haber experimentado un sentimiento podremos tener una
idea de l.
2

EL EMPIRISMO: Desarrollado en los siglos XVII y XVIII. Este movimiento considera a la


experiencia como criterio o norma de verdad en el conocimiento. No se opone a la razn sino
que niega la posibilidad de establecer verdades necesarias. Los caracteres fundamentales del
empirismo son:
- Si lo primero en el orden del conocimiento son las ideas, stas habrn de tener un origen
distinto a la propia mente y su validez objetiva le vendr de las cosas mismas.
- La experiencia es una fuente de conocimiento y sta se encuentra constituida por la
percepcin de los datos sensibles y las operaciones internas de la mente o sentimientos; la
experiencia es el nico criterio de verdad.
- Todo conocimiento ha de ser adquirido, por lo tanto, la mente no posee ideas innatas sino
que debe llenarse a partir de la experiencia y el aprendizaje.
- El mtodo ideal es el experimental e inductivo.
EL RACIONALISMO: se caracteriza por la confianza en la razn humana, ya que considera
que es la nica que puede conducir al hombre al conocimiento de la verdad. La razn para
esta corriente, es autnoma, capaz de sacar de s misma las verdades primeras y
fundamentales a partir de las cuales es posible deducir todas las dems. Estas primeras ideas
son innatas y la razn las conoce de forma inmediata a travs de lo que se llama intuicin
intelectual.
Algunos de los rasgos ms importantes que caracterizan al racionalismo son:
- Todos nuestros conocimientos acerca de la realidad proceden no de los sentidos, sino de la
razn.
- El conocimiento se construye deductivamente a partir de ciertos principios que no se extraen
de la experiencia sino que se encuentran en el entendimiento, es decir, con esto lo que se
plantea es que hay ideas que son innatas.
- La deduccin y ms especficamente la intuicin intelectual es el mtodo adecuado para
este tipo de conocimiento.
- La razn no tiene lmites y puede alcanzar todo tipo de conocimiento.
La GNOSEOLOGA, que es la ciencia que se ocupa del problema del conocimiento.Qu podemos conocer?
Conocemos realmente las cosas como son?
Cules son los lmites, si es que existen, de nuestro conocimiento?
Como no se puede establecer una sola respuesta a estos interrogantes, expondremos
algunas de las principales teoras que han surgido como posibilidad para responderlas.
El ESCEPTICISMO sostiene que hay que dudar de todos nuestros conocimientos, que no es
posible conocer. Por ejemplo, algunos afirman que no existen o que no se pueden conocer
entidades metafsicas como Dios o el alma y a estos los llamamos escpticos metafsicos.
El RELATIVISMO: sostiene que no hay una verdad absoluta, sino que siempre est en
relacin a un lugar y a una poca determinada, a las circunstancias y condiciones en la que
se formula. Considera que la verdad est en relacin a la historia social y cultural. Los sofistas
fueron los primeros en defender puntos de vista relativistas; Protgoras en su clebre planteo,
afirmaba que el hombre es la medida de todas las cosas. Scrates y Platn consideraron
inadmisible este punto de vista, ya que decan que era una teora que hace imposible el
conocimiento.
El DOGMATISMO: opuesto al Escepticismo, considera que la razn humana es capaz de
conocer la verdad, pero siempre sujetada a mtodos y a la investigacin, dando por supuesto
al conocimiento, es decir, al contacto entre el sujeto y el objeto. Dogma significa doctrina,
pensamiento fijado y que no necesita de anlisis. 3

EL HOMBRE Y LA CONSTRUCCIN DEL CONOCIMIENTO.


JEAN PIAGET (1986-1980) pensaba que haba que estudiar el conocimiento, desde cmo se
pasa de un estado de menor conocimiento a un estado mayor conocimiento. Para ello se
propuso rastrear en el nio nociones que a su vez son objeto de estudio de la Epistemologa,
como tiempo, espacio, causalidad, nmero, para explicar el nacimiento de la inteligencia y el
desarrollo de las operaciones intelectuales. De esta manera propuso una Epistemologa
cientfica, basada en la Psicologa y preocupada por la actividad cognoscente para explicar el
desarrollo de la ciencia y la elaboracin de los conceptos de la misma, basndose tambin en
la Lgica.
El planteo sobre el conocimiento no lo inaugura Piaget pero l propone una pregunta que se
diferenciar de los tratamientos anteriores.
El conocimiento para Piaget tiene un carcter constructivista donde el papel del sujeto en el
conocimiento implica una actividad que supone transformaciones internas y externas.
La pregunta formulada por el autor ser: cmo pasa un sujeto de un estado de menor
conocimiento a un estado de mayor conocimiento? Sus investigaciones nos ofrecen
explicaciones acerca del desarrollo mental y las sucesivas etapas de construccin del mismo.
El desarrollo mental del nio y el adolescente se da en un proceso que puede sintetizarse en
una sucesin de tres grandes construcciones:
1. La construccin de los esquemas senso-motores (que se construye desde el
nacimiento hasta los 18/24 meses). En este perodo los nios se relacionan con la realidad
valindose de percepciones y movimientos.
2. Las relaciones semiticas rebasan al anterior. (2 a 6 aos aproximadamente) Hay
representaciones interiorizadas de los objetos o situaciones vividas por lo que los nios
pueden evocar las imgenes. En esta etapa se desarrolla el pensamiento intuitivo o
preconceptual, esto significa que no pueden incluir en clases y subclases de modo
sistemtico. Es decir que los gatos para el nio an no son una subclase que pertenece a una
clase mayor como los felinos.
3. La prxima construccin sern las Operaciones lgicas concretas u Operatorias. (6-7 a
12 aos) porque ya hay conceptos e inclusin en clases, dichas operaciones se refieren a
objetos concretos. Ejemplo: sumar o restar sillas.
4. Finalmente se construyen las Operaciones lgicas formales (de los 12 a los 16 aos). Se
denominan formales ya que implican desprenderse de lo concreto, es decir que ahora se vale
de proposiciones. Podr realizar operaciones como ecuaciones que no necesariamente
remitan a objetos concretos. Trabaja con hiptesis, piensa en lo posible y pretende comprobar
empricamente.
Esta explicacin sinttica sobre los procesos intelectuales nos ubican en el modo en que se
han construido las estructuras cognoscentes que nos permiten entender cmo es que nuestro
pensamiento pasa de ser intuitivo (dxico) a ser lgico (riguroso y sistemtico).
CREER, SABER Y CONOCER.
QU ES CREER?
Creer, en un sentido restringido, quiere decir tener algo por verdadero sin estar seguro de ello
ni contar con pruebas suficientes. Equivale a suponer, presumir, conjeturar, pero no a tener
certeza. Significa tener un enunciado como verdadero, aceptar la verdad y realidad de algo
sin dar a entender que mis pruebas sean o no suficientes.
Por qu Juan (J) cree que (p)?
Se pueden distinguir tres maneras para responder a la pregunta:
1- Una de esas maneras es la que se da por antecedentes, es decir, aquellos que colocaron
a Juan en situacin de aprehender. Hace referencia principalmente a la gnesis de la
creencia, a aquellas circunstancias, hechos sociales, culturales o
4

psicolgicos relativos a Juan. Para decirlo en otras palabras, remite a un pedazo de la


biografa, a un fragmento de la historia del sujeto Juan.
2- La segunda manera para contestar a esta pregunta, es considerando los motivos que
llevan a Juan a aceptar p, explicando la funcin que tiene la aceptacin de esa creencia en la
realizacin de los deseos, las intenciones y necesidades de Juan.
3- El tercer punto, y el que nos llevar a explicar lo que es el conocimiento y el saber, es el
que explica las razones de la creencia. Este aspecto seala las razones que tiene Juan para
considerar que p existe, sealando la justificacin que Juan da a sus creencias.
.
QU ES SABER?
El paso siguiente es diferenciar la creencia del saber. Saber implica creer, ya que no se puede
saber sin tener al mismo tiempo algo por verdadero. Si alguien sabe que p tambin cree que
p. Si s algo no puedo menos que creer en ello. Todo saber implica creencia, pero no toda
creencia implica saber. El saber es creencia verdadera y justificada.
QU ES CONOCER?
Conocer es un proceso mental para el cual es necesaria la existencia de un sujeto
cognoscente y un objeto cognoscible para lograr establecer una relacin entre ambos. Es un
proceso a travs del cual el sujeto sale de s, se dirige al objeto para aprehender sus
determinaciones, se centra en las cualidades que tiene el objeto y, finalmente, vuelve a s con
el objetivo de obtener una imagen del objeto, una idea o un concepto que reproduce esas
determinaciones. El sujeto es modificado por el objeto puesto que una vez que capt al
objeto, ha obtenido un conocimiento de l que no tena- mientras que el objeto no padece
modificacin alguna.
Podemos hacer una distincin entre cuatro tipos de conocimiento:
1. conocimiento intuitivo
2. conocimiento mediato
3. conocimiento a priori
4. conocimiento a posteriori
EL CONOCIMIENTO INTUITIVO es aquel conocimiento inmediato. La inmediatez para los
empiristas est en la sensacin mientras que para los racionalistas est en la inteleccin. Est
definido como la aprehensin inmediata de las experiencias internas o externas.
EL CONOCIMIENTO MEDIATO: Se realiza por medio de una serie de razonamientos e
inferencias, por ejemplo, el conocimiento lgico que se desarrolla a partir de ciertos principios.
EL CONOCIMIENTO A PRIORI expresin que significa antes de o previo a, es el
conocimiento sobre el que ms ha hablado el filsofo alemn Kant refirindose a aquel
conocimiento que es independiente de la experiencia. Se trata de formalidades provenientes
del sujeto y estn presentes en el acto intelectivo es de carcter universal y necesario.
EL CONOCIMIENTO A POSTERIORI que significa despus de, es el conocimiento que,
siguiendo a Kant, depende de la experiencia; depende de la observacin y de la
experimentacin. A diferencia del conocimiento a priori, su validez es limitada y probable.
Conocer es, entonces, la actividad mediante la cual el ser humano se apropia del
mundo que lo rodea.
QU SIGNIFICA QUE UN CONOCIMIENTO SEA VERDADERO?
Para poder responder a esta pregunta, previamente es necesario definir qu significa verdad.
5

1. Se puede expresar que verdad escorrespondencia o coincidencia entre lo que se dice y


el hecho al que se refiere. Decir: est lloviendo, ser verdadero si efectivamente est
lloviendo. Parafraseando a Aristteles, la verdad en este sentido es decir de lo que es que
es, o de lo que no es que no es; decir de lo que es que no es, o de lo que no es que es,
eso es la mentira. Con esto queremos decir que si la proposicin que expresa una
descripcin de lo que ocurre, corresponde con lo que de hecho pasa en la realidad, esto es
juzgado como un tipo vlido de verdad.
2. Por otra parte, hay que diferenciar este tipo de verdad con otro en el cual decimos que la
realidad de un sistema es coherente y una proposicin es verdadera si no se contradice con
las dems que integran el sistema sino que, por el contrario, se sustenta en las dems
proposiciones que lo componen y contribuye a volver ms slido el sistema; este concepto
engloba lo que se denomina la nocin de verdad como coherencia. Un ejemplo clsico de
este tipo de verdad es el siguiente: si decimos que todos los hombres son mortales y
afirmamos que Pedro es hombre, de esto se sigue que Pedro es mortal. Podemos
ver que la verdad de esta ltima proposicin se deriva de un correcto razonamiento a partir de
los principios establecidos.
3. Finalmente, un tercer concepto de verdad, es el de verdad como utilidad o pragmtico.
Con este tercer concepto podemos pensar en aquellos casos en los que se acepta algn tipo
de teora como verdadera, sin necesidad de precisar ms detalles acerca de su
fundamentacin pero que el sostenimiento de la misma nos proporcionara cierta utilidad para
nuestro desenvolvimiento, es decir, que nos proporciona efectos prcticos. Un ejemplo de
sta puede ser el siguiente: el funcionamiento de la ley de gravedad, se sostiene como
una verdad. En este sentido, nos proporciona efectos prcticos que ayudan a mantenerla
como pie de otras teoras que sin ms que la descripcin que proporciona dicha ley. Por
ejemplo, cuando uno lanza un objeto desde determinada altura, la ley de la velocidad, ya da
por sentada la existencia del fenmeno de la gravedad. Es en esto en que radica su utilidad.
La fundamentacin del conocimiento verdadero, se apoya en criterios slidos sobre los cuales
se constituye el conocimiento vlido. A estos fundamentos los dividiremos en cuatro:
El primero es aquel proporcionado por la experiencia sensible; nuestros sentidos nos dan
un conocimiento emprico directo, pero a veces no puede traducirse en una experiencia
general, ya que es personal e intransferible. Por ejemplo cuando decimos: los vinos de esta
bodega son ms dulces porque los prob.
El segundo es el razonamiento formal de base no emprica; no se fundamenta en la
experiencia sino que se expresa mediante clculos y es verdadero segn un sistema en el
cual las verdades se prueban por procedimientos formales; un ejemplo es: la suma de los
ngulos internos de un tringulo es de 180.
El tercero es el criterio de la autoridad; este mtodo de fundamentacin se basa en apelar
a un especialista y fundar la verdad de nuestro conocimiento en su palabra.
Por ltimo, el criterio de la fe, el cual consiste en creer determinada afirmacin por la propia
fuerza del espritu; el ejemplo ms claro respecto a este punto es el de la religin. Se basa en
la apelacin a la autoridad, no es considerada vlida para el conocimiento cientfico.
PENSAMIENTO DXICO Y CONOCIMIENTO CIENTFICO.
Platn (427 - 347 a. C.) y los dems filsofos griegos distinguieron, segn su grado de
profundidad y su relacin a la verdad, entre doxa y episteme.
La doxa: es un conocimiento superficial, parcial y limitado, y est vinculado a la percepcin
sensorial. Es un conocimiento asociado al sentido comn, al saber vulgar, en contraposicin
con el conocimiento cientfico. 6

La episteme: en contraposicin con la doxa, se asocia al conocimiento cientfico. Era, para los
griegos, un saber especializado como el que se atribuye hoy a la ciencia. El significado de
episteme ha cambiado a lo largo del tiempo, pero su aspiracin inicial fue alcanzar un
conocimiento cierto, verdadero y bien fundamentado.
El saber vulgar: est asociado con la creencia; es adquirido a travs de la experiencia y no
tiene un objeto en particular al cual estudiar. A menudo consiste en una serie de afirmaciones
no comprobadas en un razonamiento.
El conocimiento cientfico: por su parte, se caracteriza por tener un objeto de estudio particular
y una mirada especfica respecto a ste. Es un sistema de ideas establecidas y una actividad
productora siempre de nuevas ideas.
CONOCIMIENTO FCTICO Y CONOCIMIENTO FORMAL.
Antes de comenzar con una descripcin de cada una de ellas, diremos que la palabra fctico
proviene de la palabra factum que significa hecho y hace referencia a las ciencias de lo real;
en cambio la palabra formal viene de forma, es decir, los nmeros, las figuras geomtricas,
las relaciones entre smbolos, y que no se encuentran en la realidad.
La distincin entre CIENCIAS FORMALES Y FCTICAS tiene en cuenta no slo la diferencia
respecto de su objeto, sino tambin sobre los enunciados sobre los que se establecen y el
mtodo que utilizan.
Los enunciados formales se basan en relaciones entre signos y los fcticos se refieren
a sucesos y procesos.
En relacin al mtodo que utilizan:
LAS FORMALES utilizan la Lgica para dar prueba de la veracidad de sus enunciados y
demostrar sus teoremas. El mtodo de las Ciencias Formales es la deduccin. La verdad en
Matemtica consiste en la coherencia del enunciado con el sistema establecido previamente,
por tanto, es relativa a ese sistema. Por ejemplo: una proposicin que es vlida en una teora
puede dejar de ser verdadera en otra teora
LAS FCTICAS tienen que acercarse a los hechos y mirarlos, recurrir a la observacin o al
experimento para ver en qu medida sus hiptesis se adecuan a la realidad. En las Ciencias
Fcticas, los enunciados deben poder verificarse en la experiencia. Se requieren datos
empricos para poder afirmar que un enunciado es verdadero, con lo cual se hace necesario
un mtodo inductivo, es decir, que parta de la experiencia.
Caractersticas del conocimiento fctico.
Parte de los hechos, intenta describirlos.
Selecciona los hechos que considera relevante; los explica por medio de hiptesis, y si es
necesario inventa conceptos.
Es analtico. Esto quiere decir que trata de descomponer todo en elementos, en sus
componentes y explicar sus interconexiones.
Es especializado y sta es una consecuencia del enfoque analtico.
Es claro y preciso, a diferencia del conocimiento vulgar. Para lograr la precisin define la
mayora de sus conceptos, evita los errores creando lenguajes artificiales y procura siempre
medir y registrar los fenmenos.
Es comunicable y expresable en pblico, gracias a la precisin, lo cual posibilita la
verificabilidad de sus resultados.
FILOSOFA Y CIENCIA.
Si bien ambos son discursos racionales, es decir, que dejaron atrs el discurso mtico y
potico que predominaba en la poca antigua. 7

El conocimiento cientfico se caracteriza por dar explicaciones sobre los hechos, por tener un
objeto de estudio delimitado segn el mbito que trate. La utilizacin de un mtodo tambin es
propio de la Ciencia, lo cual le proporciona rigor a sus estudios y sistematizacin en el avance
del conocimiento, as como la posibilidad de predecir y anticipar hechos a travs de sus
explicaciones. Algunos de los aspectos esenciales de la Ciencia son:
Posee conceptos epistmicos, un conjunto de nociones que se refieren a las actividades de
conocimiento y que sirven para describirlas.
El inters que motiva a conocer es el dotar de sentido a nuestra accin en el mundo.
Los sujetos de conocimiento son los miembros de una comunidad de conocimiento
socialmente condicionados.
Por su parte, el trabajo de la Filosofa, es el de la clarificacin, distincin y sistematizacin de
los trminos hasta llegar a un sistema ordenado de conceptos definidos con cierta precisin.
Busca dar una explicacin de la realidad en su totalidad. Una de las caractersticas
fundamentales de la Filosofa es que no parte de un conjunto de verdades ya establecidas a
partir de las cuales desarrollar sus teoras, sino que es una actividad crtica aplicable a
cualquier saber terico o prctico. Al filsofo le interesa conocer la totalidad de lo que existe, y
como no parte de verdades universales y sostenidas por todos, cada una de las Teoras
Filosficas es una manera de ver la realidad y de darle sentido. No han desarrollado mtodos
rigurosos como sucede en el mbito cientfico, pero sus intereses principales estn puestos
en que sus desarrollos sean expuestos con buenos argumentos y capacidad explicativa.
Algunas caractersticas del discurso filosfico:
El discurso filosfico clarifica los trminos, lo cual conduce a una precisin de los conceptos y
a una determinacin del objeto.
El discurso filosfico tambin tiene como tarea fundamentar la realidad, saber en qu se
basan nuestros conocimientos del mundo, cmo y por qu conocemos.
La Filosofa es una disciplina totalizadora en el sentido de que tiende a la universalizacin de
las teoras.
Se encuentra relacionada con la prctica porque, como dijimos en el punto anterior, trata de
problemas polticos, sociales, religiosos, entre otros, y sus soluciones se refieren a derribar
prejuicios para despejar el camino y construir nuevas alternativas.
La Filosofa no es una ciencia en el sentido de que no descubre nuevos hechos ni explica su
comportamiento, sino que su pregunta es por la verdad y la justificacin de las creencias.

MDULO 2
PENSAMIENTO LGICO
LGICA INFORMAL
LENGUAJE
El lenguaje puede definirse como un sistema de comunicacin que los seres humanos han
desarrollado y especializado que les permite abstraer y comunicar conceptos.
El lenguaje presenta diversas funciones o usos de los cuales los principales son: el uso
informativo, el uso expresivo y el uso directivo, dependiendo el objetivo que se persiga
con su utilizacin. 8

EL USO INFORMATIVO. Lo que se persigue con l es comunicar informacin mediante la


formulacin y la afirmacin (o negacin) de proposiciones; es usado para describir el mundo y
para razonar acerca de l.
EL USO EXPRESIVO o tambin llamado EMOTIVO. Esta funcin se puede encontrar en
textos poticos ya que su propsito es comunicar, no conocimientos como s se le atribuye al
uso anterior, sino sentimientos y actitudes.
EL USO DIRECTIVO; cumple esta funcin cuando se lo usa con el propsito de originar o
impedir una accin manifiesta, cuando queremos causar un cambio. Cuando expresamos una
orden o una peticin son formas de usar de modo directivo el lenguaje.
LAS PROPOSICIONES
Qu es una proposicin? En lgica y en filosofa, una proposicin es una entidad que tiene
un valor de verdad, es un producto lgico que se expresa mediante el lenguaje a travs de
una oracin gramatical o por medio de signos o smbolos.
Para Aristteles, la proposicin es un discurso enunciativo perfecto que expresa un juicio y
significa lo verdadero y lo falso. En este sentido, las proposiciones son verdaderas o falsas, y
es en esto en que difieren de las rdenes y de las exclamaciones. Una orden puede darse,
una exclamacin proferirse, pero ninguna puede ser juzgada como verdadera o falsa. Las
proposiciones cumplen una funcin informativa o referencial. El que una proposicin sea
verdadera o falsa depender de las circunstancias o del estado de cosas de la realidad.
El procedimiento a partir del cual se puede verificar la verdad o falsedad de una proposicin
es el razonamiento que consiste en un encadenamiento de juicios en el que partiendo de una
proposicin conocida de descubre otra que puede ser desconocida.
En la lgica se estudian las condiciones bajo las cuales estos pasos son correctos. En
sentido amplio se entiende por razonamiento a la facultad que permite resolver problemas,
extraer conclusiones estableciendo conexiones causales y lgicas necesarias entre ellos. Por
ejemplo:
Todas las frutas ctricas contienen vitamina C.
La naranja es una fruta ctrica;
Por tanto la naranja contiene vitamina C.
Hay diferentes tipos de razonamientos, entre lo que podemos encontrar:
el razonamiento argumentativo, y
el razonamiento lgico o causal.
El estudio de los argumentos corresponde a la lgica, de modo que a ella le corresponde
tambin de alguna forma, el estudio del razonamiento. Dentro de este tipo de razonamiento
lgico se encuentran los razonamientos de tipo deductivo y los de tipo inductivo.
Razonamiento deductivo.
Toda figura de cuatro lados es un cuadriltero.
El cuadrado es figura de cuatro lados.
Por tanto, el cuadrado es cuadriltero.
Razonamiento Inductivo
El cuerpo A cae en el vaco con la velocidad V.
El cuerpo B cae en el vaco con la velocidad V
El cuerpo C cae en el vaco con la velocidad V
El cuerpo D cae en el vaco con la velocidad V
Luego, todos los cuerpos caen al vaco con la misma velocidad.
9

Para poder desarrollar un razonamiento de manera correcta es imprescindible que podamos


contar con la definicin de cada uno de los trminos que forman parte de las
proposiciones.
Una definicin es una explicacin deliberada del significado de los trminos, implicala
eliminacin de la vaguedad y de la ambigedad que son dos caractersticas de nuestro
lenguaje y que pueden generar problemas al momento de la comprensin y el anlisis de las
proposiciones. El trmino a definir se denomina definien dumy.
El smbolo o conjunto de smbolos usados para explicar el significado de ste, recibe el
nombre de definiens.
Hay diversos tipos de definiciones y se pueden agrupar en cuatro:
1. definiciones estipulativas,
2. lexicogrficas,
3. aclaratorias y
4. tericas.
DEFINICIONES ESTIPULATIVAS Son las que se le dan a un trmino totalmente nuevo.
Cualquiera que introduzca un nuevo trmino tiene completa libertad de estipular qu
significado le dar. En el mbito de la ciencia, es comn que se de este tipo de definiciones.
Por Ejemplo: En el mbito jurdico, el legislador determina a travs de una ley el
significado de algunos trminos o expresiones. As, en el Estatuto de los trabajadores,
se define el trmino empresario como todas las personas, fsicas o jurdicas, o
comunidades de bienes, as como las personas contratadas para ser cedidas a
empresas unitarias por empresas de trabajo temporal legalmente constituidas. Esta
definicin es ms precisa y rigurosa que el significado corriente de empresario y es
ms especfica que el uso comn del trmino, ya que no entraran en esta definicin,
las personas que no tengan contratados trabajadores, siendo til para cuestiones
legales.
DEFINICIONES LEXICOGRFICAS son aquellas que tienen como propsito eliminar la
ambigedad o enriquecer el vocabulario de la persona para la cual se la construye. Es una
definicin bsicamente descriptiva y puede ser verdadera o falsa. La definicin lexicogrfica
tiene ya un significado anterior e independiente, su definicin es verdadera o falsa segn este
significado se transmita correcta o incorrectamente. Por ejemplo: Al definir la palabra
rbol decimos que es una planta perenne de tronco leoso y elevado que se ramifica
a cierta altura del suelo.
DEFINICIONES ACLARATORIAS, es una definicin en que su definien dumno es un nuevo
trmino, sino que tiene un uso establecido pero vago. Para poder superar la vaguedad, debe
ir ms all del uso establecido, llenar las lagunas y resolver los conflictos que hay en el uso
establecido. Para este tipo de definiciones, la verdad o falsedad, slo se aplican parcialmente.
Por ejemplo: La palabra ciudadano que en su uso cotidiano suele hacer referencia a
cualquier persona que habita en una ciudad, sin embargo una definicin aclaratoria
ayudara a establecer que ciudadano es la persona que habita en un Estado como
sujeto de derechos civiles y polticos y por ello se encuentra en condiciones de emitir
su sufragio.
DEFINICIONES TERICAS son las que formulan una caracterizacin terica adecuada de
los objetos a los cuales se aplica. Da el significado de una palabra en los trminos de las
teoras de una determinada disciplina, las definiciones de este tipo pueden ser reemplazadas
por otras a medida que aumenta nuestro conocimiento y nuestra comprensin terica. Este
tipo de definiciones son frecuentes en contextos cientficos. Por ejemplo: El trmino materia
tradicionalmente se ha utilizado para referirse a la sustancia de la que todos los
objetos estn hechos. Sin embargo a lo largo del tiempo, los avances cientficos y el
cambio de las teoras se han postulado nuevos conceptos y definiciones para dicho
trmino y en este sentido podemos decir que la materia se entiende formada por
electrones, protones y neutrones interactuando entre ellos para formar los tomos. Y
aqu vemos que cada teora formula las definiciones segn su disciplina y al ser
discutible, pueden cambiarse y reemplazarse. 10

Las definiciones se caracterizan por tener ciertas tcnicas para lograr dar el significado a un
smbolo o trmino. Aqu las dividiremos en dos grandes grupos:
1. DEFINICIONES POR INTENSIN
2. DEFINICIONES POR EXTENSIN
DEFINICIONES POR EXTENSION: son quizs las ms obvias o las ms utilizadas al
momento de definir algn trmino, ya que es a partir de ejemplos nombrados uno a uno que
se puede establecer la definicin; no es necesario mencionar los ejemplos individuales de la
clase que constituye la extensin del trmino definido, sino slo mencionando grupos enteros,
es decir, la totalidad de los objetos a los que este trmino se refiere.
DEFINICIONES POR INTENSIN lo que intentan es hacer una exposicin de las
caractersticas que constituyen a ese trmino. Para poner un ejemplo diremos que la
extensin del predicado "Sistema Solar" tiene su correlato con un sistema planetario que est
formado por una estrella llamada Sol y nueve planetas entre los cuales se encuentran Venus,
Marte, Mercurio, Jpiter y dems.
Las definiciones extensionales se utilizan cuando la lista de los objetos que caen bajo la
denominacin de cierto trmino provee informacin ms til que otro tipo de definicin, o
cuando provee demasiada informacin til sobre la naturaleza de esa expresin; siguiendo el
mismo ejemplo diremos que la definicin extensional del trmino planeta estara constituida
por Venus, Marte, Jpiter, etc. Sin embargo, a veces este tipo de definiciones presenta
limitaciones como por ejemplo cuando la enumeracin resulta difcil o imposible, con lo cual
resulta intentar una definicin intencional.
LGICA
Usualmente la palabra "lgica" es usada fundamentalmente en el mismo sentido que
"razonable". Una persona con espritu lgico es una persona razonable, por lo tanto un
procedimiento no razonable es aquel que tambin es ilgico.
ENTONCES:
1. El estudio de la lgica es el estudio de los mtodos y los principios usados para
distinguir el razonamiento correcto del incorrecto.
2. Esta distincin es el problema central que debe tratar la lgica, es decir, el inters del
lgico es por los razonamientos.
3. Se dir que la lgica es una ciencia que estudia las propiedades de lenguajes
formalizados (aquellos que difieren de los lenguajes naturales y crticos tales como la
significatividad de las expresiones), estudiando los razonamientos desde el punto de
vista de su validez. Parte de la tarea del lgico es examinar el lenguaje con el objetivo
de descubrir aquellos aspectos que tienden a oscurecer la diferencia entre el
razonamiento correcto e incorrecto.
Una parte tradicional del estudio de la lgica consiste en el examen y el anlisis de los
mtodos incorrectos de razonamiento, o sea de las falacias. Esta parte de la lgica no
slo da una visin ms profunda de los principios del razonamiento en general, sino que el
conocimiento de esas trampas, nos ayuda a evitarlas.
LA LGICA INFORMAL trata la explicitacin y el anlisis detallado de ciertos criterios para
razonar que implcitamente adoptamos en nuestro trato cotidiano. Discute las falacias como
un tipo de razonamiento engaoso, que parece correcto pero no lo es. La lgica informal
tambin llamada "lgica de las buenas razones", tiene en cuenta a la hora de su anlisis, los
aspectos no formales como el contexto y el contenido de lo afirmado.
UN ARGUMENTO es donde se expresan habitualmente los problemas del lenguaje y de los
razonamientos que utilizamos corrientemente, y es sobre el cual recae la tarea de la lgica
informal. Argumentar es una manera de dar cuenta y razn de algo a alguien o ante alguien.
Argumentamos cuando exponemos razones a favor o en contra de una propuesta, 11

para sentar una opinin o rebatir la contraria, para suscitar un problema o defender una
solucin.
FALACIAS
Los argumentos presentan algunos problemas que se denominan falacias, y que constituyen
una maniobra verbal destinada a conseguir que alguien acepte una afirmacin u obedezca
una orden por motivos que no son buenas razones. La palabra falacia hace referencia a
cualquier idea equivocada, sin embargo los lgicos la utilizan en el trmino ms estrecho y
tcnico y significa un erroren el razonamiento o la argumentacin. Las falacias se dividen en
dos grupos:
1. LAS FALACIAS FORMALES
2. LAS FALACIAS NO FORMALES
LAS FALACIAS NO FORMALES: Son los errores de razonamiento en los cuales se puede
caer por inadvertencia, falta de atencin o por alguna ambigedad en el lenguaje. A estas
falacias las podemos dividir, a su vez, en FALACIAS DE ATINGENCIA Y FALACIAS DE
AMBIGEDAD.
A) LAS FALACIAS DE ATINGENCIA Son aquellas que carecen de conexin lgica con
respecto a la verdad o falsedad de las conclusiones que pretenden establecer. Se comete
cuando a un razonamiento que se supone dirigido a establecer una conclusin particular, es
usado para probar una conclusin diferente. Estas falacias se dividen a su vez en:
Falacias de conclusin inatingente: Estas consisten en probar otra cosa diferente de la
que se cuestiona. Se comete cuando se demuestra la conclusin distinta del tema que est en
discusin. Por ejemplo: el tema en discusin es la aprobacin de alguna ley sobre la vivienda,
y uno de los legisladores que est a favor de esta ley argumenta diciendo que todos deben
tener viviendas decentes.
Falacias de Argumento ad hominem: Esta falacia es una de las ms poderosas en lo
que respecta al poder persuasivo. Ad hominem significa contra el hombre y lleva este
nombre porque se comete cuando se intenta desacreditar una afirmacin haciendo referencia
a ciertas caractersticas de quien la enuncia. Dentro de este tipo de falacias encontramos:
a) Las llamadas ofensivas que hacen referencia a que la afirmacin es falsa sobre la base de
que quien la emite tiene ciertas caractersticas criticables. Un ejemplo de esta puede ser:
alguien sostiene que la filosofa de Heidegger debe ser rechazada porque Heidegger
colabor con el gobierno nazi de Alemania.
b) La segunda variante de la falacia ad hominem es la circunstancial que consiste en
sostener que una oracin es falsa porque no es coherente con otras oraciones que debera
aceptar quien la afirma debido a ciertas circunstancias especiales en que se encuentra. Por
ejemplo: un cazador que, enfrentado a un argumento que establece la inadecuacin de
la caza deportiva, dijese acaso usted no come carne?
Faslacias de Argumento ad Ignorantiam: se da cuando sostiene que una proposicin es
verdadera simplemente porque no se ha demostrado su falsedad. Por ejemplo: tenemos que
admitir que los malos espritus existen porque no se ha demostrado su no existencia.
Falacias de Argumento ad misericordiam: tambin denominado apelacin a la piedad,
es aquel que consiste en apelar a la piedad para lograr el asentimiento cuando se carece de
argumentos. La estructura del argumento es: Ejemplo: Ante un examen un alumno le solicita
al profesor que no le tome porque no pudo estudiar
12

porque vive lejos y adems se le rompi el vehculo mientras se diriga a la universidad.


Falacias de Argumento ad populum: que significa llamado al pueblo, se comete este
tipo de falacias cuando se apela a un llamado emocional al pueblo para ganar su asentimiento
en un argumento que no se asienta en razones valederas. Por ejemplo: La gente dice que los
microondas generan cncer, por ese motivo debieran prohibir la venta.
Falacias de Argumento ad verecundiam o falacia de la apelacin a la autoridad, se
comete cuando se apela a la autoridad que no est bien visto discutir para intimidar al
adversario. Ejemplo: los cnones religiosos son infalibles porque Einstein era fervientemente
catlico y tambin lo admita.
Falacias por causa falsa: se produce cuando se toma, por causa de un efecto, algo que
no es su causa real, o cuando se establece que un acontecimiento es causa simplemente por
ser cronolgicamente anterior. Un ejemplo de esto puede ser: el da anterior a que cayeras
enfermo de tifoidea, comiste queso y eso seguro te hizo mal.
Falacias de pregunta compleja: cuando se realiza una sola pregunta que no admite un
simple s o no como respuesta, porque no es una interrogacin nica, sino una pregunta en la
cual se encuentran entrelazadas muchas preguntas. Su objeto es inducir al adversario a
contestar globalmente con un s o con un no a sabiendas de que la respuesta no es posible
sin distinguir cada una de las preguntas y proceder por partes. Por ejemplo: Ha dejado usted
de golpear a su esposa? En caso de que la respuesta sea un no, se le podra adjudicar que
segn usted mismo, no slo no ha golpeado a su esposa en el pasado, sino que sigue
hacindolo. En este sentido, se plantea la pregunta para la cual se espera una sola
respuesta, pero quien responda tendr que asumir que su respuesta debe ser afirmativa o
negativa a dos asuntos o a dos interrogantes distintos.
Falacias de Argumento ad baculum este tipo de falacias es tambin denominada de
apelacin a la fuerza, y se comete cuando como su nombre lo expresa, se apela a la fuerza o
a la amenaza de fuerza para provocar la aceptacin de una conclusin, para establecer una
verdad o inducir una conducta. Ejemplo: Si no dejas de hablar de conversar con tus
compaeros de curso, recibir un uno como calificacin.
Falacia del accidente: este tipo de falacias se comete por tomar una propiedad accidental
como esencial, lo que conduce a errores al generalizar y al definir, por ejemplo, un tringulo
como un polgono verde. Es decir atribuimos como esencial a todos los individuos de una
especia una cualidad que slo conviene accidentalmente a alguno de ellos.
B.- LAS FALACIAS DE AMBIGEDAD aparecen en razonamientos cuya formulacin
contiene palabras o frases ambiguas, cuyos significados cambian de manera ms o menos
sutil en el curso del razonamiento y lo hacen falaz. Se cometen debido a la alteracin del
sentido de alguna expresin lingstica del razonamiento. Y son las siguientes:
El equvoco: es el tipo ms simple de las falacias de ambigedad. Se comete cuando al
menos un trmino es usado ms de una vez en un razonamiento con significados distintos y
este cambio de significado hace que el razonamiento sea criticable en algn sentido. Uno de
los ejemplos tradicionales de este tipo de falacias es el siguiente: El fin de una cosa es su
perfeccin; por lo tanto, la muerte es la perfeccin de la vida. En este argumento se
confunden dos sentidos diferentes de la palabra fin ya que sta puede significar objetivo o
ltimo acontecimiento. Ambos significados son legtimos, pero lo que es ilegtimo es
confundirlos como en el ejemplo mencionado.
13

El nfasis: se comete cuando a lo largo del razonamiento se resalta una o ms palabras


que alteran el significado o sentido de toda la expresin. En un razonamiento cuya naturaleza
engaosa y carente de validez depende de un cambio o una alteracin del significado.
Ejemplo: No debemos faltar el respeto a las personas mayores. Se pone en nfasis en las
palabras personas mayores, de lo que se infiere que podramos faltar el respeto a quienes
no son mayores.
Anfibologa: Se producen cuando se construyen razonamientos a partir de premisas
equvocas y ambiguas, no por el significado de sus palabras sino porque su construccin
gramatical es tal que hace ambiguo el significado del sentido de la proposicin. Su significado
es confuso debido a la manera descuidada en que sus palabras estn combinadas. Decir que
Juan habl solo diez minutos puede ser interpretado en dos sentidos: o Juan habl estando
solo o habl slo durante diez minutos.
Falacia de composicin: se produce cuando atribuimos a un conjunto cosas que
solamente son ciertas en las partes como cuando decimos: como todos los componentes
son buenos, el conjunto es bueno. Ejemplo: Como el violinista es muy bueno, toda la
orquesta es buena
Falacias de divisin: esta falacia es simplemente a la inversa de la falacia de
composicin. En ella se presenta la misma confusin, pero en la direccin opuesta. Es cuando
se le atribuye una propiedad a cada una de las partes (o a una en particular) de un todo sobre
la base de que el todo tiene esa propiedad. Un ejemplo sera sostener que puesto que una
sociedad comercial es muy importante y Juan es funcionario de esa sociedad, por tanto Juan
es muy importante.

LGICA FORMAL
HISTORIA DE LA LGICA
La historia de la Lgica se remonta a la Grecia Antigua, se la atribuy a Aristteles, quien fue
su primer sistematizador. La Lgica Aristotlica parte del supuesto de que las formas de
pensamiento reproducen la realidad; se ocupa de los conceptos y de las categoras del
pensamiento, completndose con el anlisis de los juicios y de las formas de razonamiento,
centrndose en las formas de demostracin adecuadas al conocimiento cientfico.
En la parte central de su teora, Aristteles expone cuatro tipos de proposiciones a partir de
las cuales formula sus propuestas de argumentacin vlida, junto con la Teora de los
Silogismos.
Estos enunciados son:
El universal afirmativo (A) por ejemplo todos los hombres son mortales,
El universal negativo (E), por ejemplo ningn hombre es mortal,
El particular afirmativo (I) por ejemplo, algunos hombres son mortales, y
El particular negativo (O) algunos hombres no son mortales.
Una manera de representar esto que expusimos, es a travs del cuadro de la oposicin: 14

Las relaciones lgicas que se dan entre estos enunciados son:


contrarias entre A y E;
sub-contrarias entre I y O;
subalternas entre los particulares es decir, entre A e I y E y O.
Los contrarios pueden ser ambos falsos, pero no ambos verdaderos,
los su-contrarios por su parte, pueden ser ambos verdaderos, pero no ambos falsos.
Sin embargo, la verdad de la subalternante, es decir, de A o de E, se sigue la verdad de las
subalternadas, de I y O, pero no a la inversa.
Por ltimo, los enunciados contradictorios, si uno es verdadero entonces el otro es falso y a la
inversa.
Ejemplos: decir que todos los hombres son mortales (A) y decir que algunos hombres no
son mortales (O), como son relaciones contrarias pueden ser ambos enunciados falsos pero
no ambos verdaderos ya que si decimos que todos son mortales, en la categora todos no
pueden existir algunos que no lo sean.
SILOGISMO
Aristteles afirma que LOS SILOGISMOS consisten en una inferencia que se produce a partir
de dos premisas de las que se deriva necesariamente la conclusin; es una estructura de
pensamiento de tres juicios relacionados entre si, de manera tal que uno deriva de los otros
dos.
Un silogismo se compone de una premisa menor, una premisa mayor y una conclusin:
Premisa menor: todo B es C
Premisa mayor: todo C es D
Conclusin: todo B es D
Lo que hace Aristteles es denominar el trmino D, el predicado de la conclusin, como el
trmino mayor; B, el sujeto de la conclusin se denomina trmino menor; y C, el trmino que
figura slo en las dos premisas, se denomina trmino medio. Para facilitar un ejemplo
diremos:
Todos los hombres son mortales
Todos los africanos son hombres
Todos los africanos son mortales
En este caso, el trmino medio est identificado con la palabra hombres que aparece en la
premisa menor como en la mayor pero no en la conclusin; el trmino mayor es 15

mortales presente en la premisa menor y el trmino menor representado por la palabra


africanos, estos dos ltimos presentes en la conclusin.
TIPOS DE LENGUAJE: NATURAL Y ARTIFICIAL.
LENGUAJE NATURAL es el que utilizamos los seres humanos para comunicarnos y
expresarnos y que ha ido formndose paulatinamente con el paso de los siglos. El adjetivo
natural se contrapone al de artificial indicando que este tipo de lenguaje se ha conformado
sin el diseo ni la prescripcin de ninguna disciplina. No ha sido forjado por nadie sino que se
ha ido haciendo naturalmente a causa de la interaccin cotidiana entre los hablantes y las
comunidades de hablantes.
Una expresin cualquiera de las que escuchamos habitualmente puede considerarse una
expresin del lenguaje natural, por ejemplo: La margarita es una flor blanca de corazn
amarillo
Si bien todo lenguaje es en cierta forma artificial, suele llamarse natural al que aprendemos
sin mayores esfuerzo desde el momento de nuestro nacimiento y utilizamos habitualmente.
El LENGUAJE ARTIFICIAL, en cambio, como su nombre lo indica, es un lenguaje creado
deliberadamente con la intencin de que cumpla alguna funcin, algn objetivo especfico. Es
un lenguaje diseado y aplicado a diferentes fenmenos o aspectos de la realidad con el
propsito de lograr mayor precisin y rigurosidad. El lenguaje artificial puede dividirse en dos
subtipos de lenguaje:
1. el lenguaje tcnico
2. el simblico.
EL LENGUAJE TCNICO consiste en todas las jergas que se utilizan en las diferentes
profesiones y oficios. Aunque gane en precisin y economice recursos lingsticos sigue
utilizando las formas y los trminos del lenguaje natural, slo que su significado est ms
acotado. Volviendo a nuestro ejemplo, Margarita podra ser el nombre de una mujer a la que
un amigo poeta se refiere a ella a travs de la metfora flor blanca de corazn amarillo. Por
ms que ese no sea el caso, debemos admitir que el lenguaje natural admite esa posibilidad
por su riqueza expresiva y, simultneamente, por su ambigedad y vaguedad intrnsecas. Sin
embargo, la expresin La Chrysanthemunleaucanthemum es una flor que tiene un centro
discoidal de color amarillo y ptalos blancos es una expresin que deja menos margen a la
confusin porque su significado es ms acotado. Es porque esa expresin est formulada en
un lenguaje tcnico.
EL LENGUAJE FORMAL O SIMBLICO consiste en la utilizacin de smbolos de ah su
nombre que guardan cierta autonoma con las puede leerse como La margarita es blanca
en lenguaje simblico podra leerse como M es B donde M significara Margarita y B
significara Blanca.
La rama de la Lgica que opera con smbolos vacos de contenido se denomina, obviamente,
Lgica Simblica. Tambin se le denomina Lgica Formal, porque nos interesa la forma del
enunciado y no el contenido. Por ejemplo, M es B puede ser la Margarita es Blanca, pero
tambin puede ser Marta es Buena, y si nos alejamos de relacin entre las letras y las
iniciales de nuestras expresiones podemos decir que tambin podra ser el cuervo es negro
o la pelota es redonda, todos estos enunciados tienen la misma forma: P es Q. Habrn
observado que cambiamos las letras, de M es B a P es Q, esto es porque en realidad en
Lgica Formal no importa en s mismo que smbolo (letra en este caso) se utilice sino la forma
de los enunciados, en este caso la forma del enunciado.
Las ventajas del lenguaje formal no solamente se reducen a la capacidad de eliminar
ambigedades y vaguedades del lenguaje ordinario o natural, sino tambin que nos permiten
operar con mayor precisin con los razonamientos y proposiciones que la pesadez del
lenguaje natural obstaculizara.
ENUNCIADOS ATMICOS 16

Los enunciados atmicos seran elementos simples, consistiran en algn nombre (no
necesariamente un nombre propio) , por ejemplo miedo margarita rosas Belgrano
atleta, etc. conectado a un predicado con el que caracterizamos a los objetos designados
con esos nombres, por ejemplo tener, flor, rosa, prcer ,saltar. As algunos de los
enunciados ms simples de nuestro idioma seran, por ejemplo, Tengo miedo, La margarita
es una flor, Las rosas son rosas, Belgrano es un prcer, Los atletas corren etc.
En la Lgica Formal generalmente se utilizan las letras P, Q, R, S, etc., para simbolizar este
tipo de enunciados atmicos del castellano.
Como hemos visto anteriormente, lo que convierte a estas expresiones en enunciados es que
pueden ser verdaderos o falsos. El trmino atleta, por s solo no es ni verdadero ni falso,
tampoco el trmino corre, pero la expresin el atleta corre s puede ser verdadero o falso.
Si es el caso que el atleta est corriendo diremos que el valor de verdad del enunciado
atmico es verdadero, si en cambio no es el caso de que el atleta est corriendo (podra estar
sentado) diremos que el valor de verdad del enunciado es falso. Lo mismo sucede con Las
rosas son rosas, Tengo miedo, Belgrano es un prcer, etc.
CONECTIVAS
Supongamos que quisiramos expresar el enunciado Tengo miedo, podramos hacerlo,
como dijimos con la letra P. Supongamos ahora que quisiramos expresar formalmente el
enunciado Tengo fro, podramos hacerlo con la letra Q. Pero qu pasa si queremos
expresar el enunciado Tengo miedo y adems tengo fro?; en ese caso, dos enunciados
atmicos estn conectados dando origen a lo que llamaramos un enunciado complejo (o
compuesto) La pregunta que nos debemos hacer es: conectados por qu? Nuestra
respuesta ser: por una conectiva.
Las conectivas son smbolos lgicos que reemplazan a trminos del lenguaje natural con los
que formamos enunciados compuestos a partir de enunciados simples. En principio diremos
que estos trminos reemplazados son y, o y no, aunque luego agregaremos un par
ms.
Debemos decir que el lenguaje formal es un lenguaje veritativo-funcional, esto significa que
la verdad o falsedad de los enunciados compuestos dependen de la verdad o la falsedad de
los enunciados atmicos. Por ejemplo: Tengo miedo y tengo fro ser verdadero si es el caso
que tenga miedo (enunciado atmico) y adems sea el caso que tenga fro; si alguna de
las dos es falsa, el enunciado compuesto Tengo miedo y fro ser falso.
CONJUNCIN
Justamente esta conectiva que abordaremos ser la conjuncin () que es el equivalente a
y en el lenguaje natural. Por ejemplo, si tuviramos las siguientes expresiones en el lenguaje
natural: La margarita es blanca y perfumada, tengo un auto que es grande y rojo, mi
sueldo es pequeo y tardo podramos coincidir en que todas ellas coinciden en que las une
una conjuncin, una y.
Como dijimos por convencin suelen usarse las letras P, Q, R, S, etc. Al traducir al lenguaje
formal nos encontramos que los tres enunciados tienen la misma forma: P Q. (se lee: P y
Q ). Esta expresin es la forma que comparten los tres enunciados, as como la que
comparten con nuestro anterior ejemplo Tengo fro y miedo. Es decir, podramos tambin
traducir esta expresin del lenguaje natural por esta otra del lenguaje formal: P Q.
En tanto a la verdad y falsedad de este ltimo enunciado diremos podemos pensar que hay
cuatro casos posibles, y el valor de verdad de la conjuncin en cada uno de ellos, pueden
exponerse de la siguiente forma:
1. si P es verdadero y Q es verdadero, PQ es verdadero;
(si tengo fro y tengo miedo, es verdad que tengo fro y miedo)
2. si P es verdadero y Q es falso, PQ es falso ;
(si tengo fro y no tengo miedo, es falso que tengo fro y miedo)
3. si P es falso y Q es verdadero, PQ es falso ;
(si no tengo fro y tengo miedo, es falso que tengo fro y miedo)

4. si P es falso y Q es falso, P Q es falso.


17

(si no tengo ni fro ni miedo, es falso que tengo fro y miedo)


DISYUNCIN ()
Siguiendo con nuestros ejemplos podramos decir que estos enunciados anteriores no son
igual que otros enunciado si en lugar de una conjuncin los uniramos con una conectiva
diferente en donde en lugar de equivaler a una y equivaliera a una o. Por ejemplo, O bien
la margarita es blanca o bien es perfumada, o bien mi auto es rojo, o bien es grande. En el
caso de nuestro ltimo ejemplo diramos O tengo miedo o tengo fro
En el lenguaje formal este tipo de enunciado se denominan disyunciones- Tambin se
denomina as la conectiva que une los enunciados atmicos ().
La disyuncin de dos enunciados se forma en castellano insertando la palabra 'o' entre ellos.
En nuestro idioma se suele usar tambin la expresin y / o.
La palabra o se usa en un sentido fuerte o exclusivo, cuyo significado no es uno u otro, o
ambos sino o uno, o el otro.
Por lo tanto interpretamos la disyuncin inclusiva de dos enunciados en el sentido de que
afirma la verdad de al menos uno de los enunciados.
Al igual que en la conjuncin, hay cuatro casos posibles, y el valor de verdad de la disyuncin
tambin depender de los enunciados atmicos:
1. Si P es verdadero y Q es verdadero, P Q es verdadero
(si tengo fro y tengo miedo, es verdad que tengo fro o miedo)
2. Si P es verdadero y Q es falso, P Q es verdadero
(si tengo fro y no tengo miedo, es verdad que tengo fro o miedo)
3. Si P es falso y Q es verdadero, P Q es verdadero
(si no tengo fro y tengo miedo, es verdadero que tengo fro o miedo)
4. Si P es falso y Q es falso, P Q es falso.
(si no tengo ni fro ni miedo, es falso que o bien tengo fro o bien tengo miedo)
NEGACIN ()
La negacin de un enunciado se forma a menudo en castellano insertando un no en el
enunciado original. Tambin es posible expresar la negacin de un enunciado en castellano
anteponindole la frase es falso que o no se da el caso de que.
De este modo, si M simboliza el enunciado "Todas las margaritas son blancas", los diversos
enunciados "No todas las margaritas son blancas", " Algunas margaritas no son blancas", "Es
falso que todas las margaritas sean blancas", "No se da el caso de que todas las margaritas
sean blancas", etc. La expresin M se leera de las siguientes maneras: no M o no es el
caso que M, o no es cierto que M, etc.
La negacin de todo enunciado verdadero es falsa y la negacin de todo enunciado falso es
verdadera.
Si P es verdadero, P es falso
(si tengo fro, no es verdad que no tengo fro)
Si P es falso, P es verdadero;
(si es falso que tengo fro, es verdad que no tengo fro)
CONDICIONAL ()
Esta conectiva es importante porque nos permite incorporar la idea de implicancia que
aparece en nuestro lenguaje cotidiano.
Supongamos que tenemos dos enunciados atmicos (o sea, simples) como llueve y voy al
cine. Si se combinan estos dos enunciados colocando la palabra si antes del primero e
insertando entre ellos la palabra entonces, el enunciado compuesto resultante es un
enunciado hipottico (tambin llamado un condicional, implicacin o enunciado implicativo),
en nuestro caso: Si llueve voy al cine. En un enunciado hipottico, el componente que se
encuentra entre el si y el entonces' es llamado el antecedente (en nuestro caso llueve es
el antecedente del condicional si llueve voy al cine) y el componente que sigue a la palabra
entonces es el consecuente (en nuestro ejemplo voy al cine es el consecuente del

condicional si llueve voy al cine). 18

Veamos ahora, ms detalladamente, cules seran los valores de verdad de un enunciado


condicional si tenemos en cuenta los valores de verdad de sus enunciados atmicos.
Si P es verdadero y Q es verdadero, P Q es verdadero
(si es verdad que tengo fro y es verdad que tengo miedo; es verdad que si tengo fro,
entonces tengo miedo)
Si P es verdadero y Q es falso, P Q es falso
(si es verdad que tengo fro pero es falso que tengo miedo; es falso que si tengo fro
entonces tengo miedo)
Si P es falso y Q es verdadero, P Q es verdadero
(si es falso que tengo fro pero es verdadero que tengo miedo; es verdadero que si tengo fro
entonces tengo miedo)
Si P es falso y Q es falso, P Q es verdadero
(si es falso que tengo fro y es falso que tengo miedo; es verdadero que si tengo fro
entonces tengo miedo).
BICONDICIONAL ()
Nuestra ltima conectiva es el bicondicional. Supongamos que le decimos a nuestro amigo Si
y slo si llueve vamos al cine, este enunciado, al contrario de un enunciado condicional.
Supone que si llueve vamos al cine (verdad del antecedente y del consecuente) y que si no
llueve no vamos (falsedad del antecedente y del consecuente). Es decir, est condicionado
desde el antecedente y desde el consecuente; si uno fuese verdadero y el otro fuese falso
(cualquiera sea el orden) el enunciado Si y slo si llueve vamos al cine sera falso. Veamos
ahora, ms detalladamente, cules seran los valores de verdad de un enunciado
bicondicional si tenemos en cuenta los valores de verdad de sus enunciados atmicos.
Si P es verdadero y Q es verdadero, P Q es verdadero
(si es verdad que tengo fro y es verdad que tengo miedo; es verdad que si y slo si tengo
fro, entonces tengo miedo)
Si P es verdadero y Q es falso, P Q es falso
(si es verdad que tengo fro pero es falso que tengo miedo; es falso que si y slo si tengo fro
entonces tengo miedo)
Si P es falso y Q es verdadero, P Q es falso
(si es falso que tengo fro pero es verdadero que tengo miedo; es falso que si y slo si tengo
fro entonces tengo miedo)
Si P es falso y Q es falso, P Q es verdadero
(si es falso que tengo fro y es falso que tengo miedo; es verdadero que si tengo fro
entonces tengo miedo).
De esta manera, si elaboramos la representacin de los valores de verdad de un condicional
en la tabla de verdad correspondiente podemos ver ms claramente como el nico caso en el
que sera falso y si el antecedente es verdadero y el consecuente es falso.
ESTADOS DE VERDAD
Como se habr observado, en el caso de la negacin slo haba dos filas mientras que en las
dems tablas de verdad haba cuatro; esto se debe a que la negacin se da sobre slo un
enunciado atmico que tiene dos valores de verdad: o es verdadero o es falso. En el caso de
los dems enunciados compuestos, en cambio, estaban constituidos por al menos dos
enunciados atmicos. Esto hace que la posibilidad de combinacin de los valores de verdad
sean al menos cuatro cmo hemos visto en las tablas.
Supongamos que tenemos el enunciado PQR (que podra corresponder, entre otros, al
enunciado en castellano Tengo fro, miedo y hambre. Para saber cundo este enunciado es
verdad en funcin de los enunciados atmicos deberamos, como vimos, calcular todas las
combinaciones posibles entre los valores de verdad de los enunciados atmicos.
Dada nuestra frmula y dado que los enunciados que componen el enunciado complejo (o
compuesto) son tres, obtendramos el siguiente resultado 23=8. Por lo tanto sabramos que
son 8 las combinaciones posibles. 19
P
Q
R
PQR
V
V
V
V
V
V
F
F

V
V
F
F
F
F

F
F
V
V
F
F

V
F
V
F
V
F

F
F
F
F
F
F

Вам также может понравиться