Contenido

Introduccin...................................................................................................... 5
La lgica....................................................................................................... 6
Padre de la lgica........................................................................................... 7
Biografa de Aristteles................................................................................... 8
Formas de lgica............................................................................................. 10
Los principios lgicos.................................................................................... 12
Ciencias relacionadas a la Lgica...................................................................15
La lgica proporcional...................................................................................... 16
Conectores de la lgica proporcional..................................................................17
Lgica relacionada a la medicina.......................................................................19
El acto mdico................................................................................................ 20
Cap. I. Generalidades...................................................................................... 22
Silogismos................................................................................................... 22
Proposiciones.............................................................................................. 22
Premisas..................................................................................................... 23
Inferencia.................................................................................................... 23
Falacias...................................................................................................... 24
Cap. II. Historia y objeto................................................................................... 25
Historia....................................................................................................... 25
Lgica Aristotlica........................................................................................ 26
Lgica simblica.......................................................................................... 27
Juicio critico................................................................................................. 28
Cap. III. Lgica en las distintas ciencias..............................................................29
Principios lgicos.......................................................................................... 34
Conclusiones.................................................................................................. 37
Referencias.................................................................................................... 38
Anexos.......................................................................................................... 40
Introduccin
La lgica estudia la forma del razonamiento, es una disciplina que por medio de
reglas y tcnicas determina si un argumento es vlido. La lgica es
ampliamente aplicada en la filosofa, matemticas, computacin, fsica. En la
filosofa para determinar si un razonamiento es vlido o no, ya que una frase
puede tener diferentes interpretaciones, sin embargo la lgica permite saber el
significado correcto. En los matemticos para demostrar teoremas e inferir
resultados matemticas que puedan ser aplicados en investigaciones. En la
computacin para revisar programas. En general la lgica se aplica en la tarea
diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lgico.
A continuacin daremos a conocer sobre que trata el tema de la lgica pero
principalmente algunos conceptos y ejemplos sobre la lgica en donde
abordaremos principalmente lo relacionado a la medicina.
Nuestro principal objetivo es utilizar este presente informe para poder dar a
comprender lo que es la lgica relacionada a la medicina
La lgica en realidad es muy importante en la vida puesto que todos
diariamente razonamos para poder saber lo que esta correcto o incorrecto esto
sucede sin que nos demos cuenta que en realidad estamos utilizando lgica.
Pero igualmente en la medicina, un ejemplo claro es cuando los doctores
deciden si van a operar a una persona enferma de avanzada edad, el cual la
pueden operar o no, puesto que su avanzada edad aumenta la probabilidad de
que no resista a la operacin. En este ejemplo los doctores hacen uso de la
lgica, sin darse cuenta. Todos sabemos o tenemos una alguna idea sobre de
lo que se trata el tema de lgica en donde la lgica es una ciencia formal que
principalmente se trata del estudio de las formas validas de inferencia. En otras
palabras la lgica es un mtodo y principios que se utiliza para poder distinguir
el razonamiento correcto del incorrecto. Este tema est dirigido para todo
pblico en general.

pg. 2
La lgica
La lgica es una ciencia formal que estudia los principios de la demostracin e
inferencia vlida. La palabra deriva del griego antiguo logik , que
significa dotado de razn, intelectual, dialctico, argumentativo, que a su vez
viene de (lgos), palabra, pensamiento, idea, argumento, razn o
principio. As como el objeto de estudio tradicional de la qumica es la materia,
y el de la biologa la vida, el de la lgica es la inferencia. La inferencia es el
proceso por el cual se derivan conclusiones a partir de premisas. (1) La lgica
investiga la relacin de consecuencia que se da entre una serie de premisas y
la conclusin de un argumento correcto. Se dice que un argumento es correcto
(vlido) si su conclusin se sigue o es consecuencia de sus premisas; de otro
modo es incorrecto. (2)

La lgica investiga los principios por los cuales algunas inferencias son
aceptables, y otras no. Cuando una inferencia es aceptable, lo es por
su estructura lgica, y no por el contenido especfico del argumento o el
lenguaje utilizado. Por esta razn la lgica se considera una ciencia formal,
como la matemtica, en vez de una ciencia emprica. La lgica
tradicionalmente se consider una rama de la filosofa. Pero desde finales del
siglo XIX, su formalizacin simblica ha demostrado una ntima relacin con
las matemticas, y dio lugar a la lgica matemtica. En el siglo XX la lgica ha
pasado a ser principalmente la lgica simblica, un clculo definido
por smbolos y reglas de inferencia, lo que ha permitido su aplicacin a
la informtica. Hasta el siglo XIX, la lgica aristotlica y estoica mantuvo
siempre una relacin con los argumentos formulados en lenguaje natural. Por
eso aunque eran formales, no eran formalistas. (3)

pg. 3
Padre de la lgica
La lgica es una de las ciencias ms antiguas, el cual se considera como padre
de la lgica a Aristteles. Es muy conocido como padre fundador de la lgica, el
cual sus trabajos sobre la lgica en forma tradicional se agrupan bajo el
nombre de rganon; que quiere decir herramienta; por lo que se constituye
como primera investigacin sistemtica sobre el razonamiento correcto. Fue
discpulo de Platn durante su estada de 20 aos en la Academia de Atenas,
despus fue maestro de Alejandro Magno en el Reino de Macedonia, y luego
fund el Liceo en Atenas. Escribi cerca de 200 tratados acerca de diversos
temas que incluyen lgica, filosofa de la ciencia, tica, metafsica, biologa,
astronoma, filosofa poltica, esttica, retrica y fsica.

Es considerado el padre fundador de la lgica, debido a que en sus trabajos se

encuentran las primeras investigaciones sistemticas al respecto. Aristteles
fue el primer pensador en formalizar el sistema lgico, de tal forma que sus
propuestas han trascendido hasta nuestros das. La lgica aristotlica es una
ciencia objetiva cuyo propsito es estudiar conceptos, analizando juicios y
formas de razonamiento, cuyos resultados se expresan mediante el silogismo o
razonamiento deductivo categrico. El silogismo es un razonamiento mediante
el cual se deduce una conclusin partiendo de dos juicios. Est conformado por
tres partes y a su vez por tres trminos. Las tres partes son: premisa mayor,
premisa menor y la conclusin. Los tres trminos a que nos referimos son: el
trmino mayor, el trmino menor y el trmino medio que figura en ambos
juicios. Emmanuel Kant, en su obra Crtica de la razn pura afirma que desde
los tiempos ms tempranos la lgica ha transitado por un camino seguro a
partir del hecho que, desde la poca de Aristteles no ha dado un solo paso
atrs.

pg. 4
Biografa de Aristteles
Filsofo y cientfico griego, considerado, junto a Platn y Scrates, como uno
de los pensadores ms destacados de la antigua filosofa griega y
posiblemente el ms influyente en el conjunto de toda la filosofa occidental.
Naci en Estagira (actual ciudad griega de Stavro, entonces perteneciente a
Macedonia), razn por la cual tambin fue conocido posteriormente por el
apelativo de El Estagirita. Hijo de un mdico de la corte real, se traslad a
Atenas a los 17 aos de edad para estudiar en la Academia de Platn.
Permaneci en esta ciudad durante aproximadamente 20 aos, primero como
estudiante y, ms tarde, como maestro. Tras morir Platn (c. 347 a.C.),
Aristteles se traslad a Assos, ciudad de Asia Menor en la que gobernaba su
amigo Hermias de Atarnea. All contrajo matrimonio con una pariente de ste
(posiblemente su sobrina o su hija), llamada Pitias, y actu como su consejero.
Tras ser capturado y ejecutado Hermias por los persas (345 a.C.), Aristteles
se traslad a Pela, antigua capital de Macedonia, donde se convirti en tutor de
Alejandro (ms tarde Alejandro III el Magno), hijo menor del rey Filipo II. En el
ao 336 a.C., al acceder Alejandro al trono, regres a Atenas y estableci su
propia escuela: el Liceo. Debido a que gran parte de las discusiones y debates
se desarrollaban mientras maestros y estudiantes caminaban por su paseo
cubierto, sus alumnos recibieron el nombre de peripatticos. La muerte de
Alejandro (323 a.C.) gener en Atenas un fuerte sentimiento contra los
macedonios, por lo que Aristteles se retir a una propiedad familiar situada en
Calcis, en la isla de Eubea, donde falleci un ao ms tarde.

pg. 5
En lgica, Aristteles desarroll reglas para establecer un razonamiento
encadenado que, si se respetaban, no produciran nunca falsas conclusiones si
la reflexin parta de premisas verdaderas (reglas de validez). En el
razonamiento los nexos bsicos eran los silogismos: proposiciones
emparejadas que, en su conjunto, proporcionaban una nueva conclusin. En el
ejemplo ms famoso, "Todos los humanos son mortales" y "Todos los griegos
son humanos", se llega a la conclusin vlida de que "Todos los griegos son
mortales". La ciencia es el resultado de construir sistemas de razonamiento
ms complejos. En su lgica, Aristteles distingua entre la dialctica y la
analtica; para l, la dialctica slo comprueba las opiniones por su
consistencia lgica. La analtica, por su parte, trabaja de forma deductiva a
partir de principios que descansan sobre la experiencia y una observacin
precisa. Esto supone una ruptura deliberada con la Academia de Platn,
escuela donde la dialctica era el nico mtodo lgico vlido, y tan eficaz para
aplicarse en la ciencia como en la filosofa.

pg. 6
Formas de lgica

-Lgica natural: Es aquella que toda persona asimila por la experiencia

sensible. Es el empirismo ms primitivo, nace de la razn innata del ser
humano y se ejecuta a modo de prevencin. De all el dicho el hombre es el
nico animal que tropieza dos veces con la misma piedra. Se presume que si
bien las personas son permeables de reincidir en sus errores, se considera que
aprenden de sus actos y de las consecuencias de los mismos. Luego por lgica
natural efectan las prevenciones necesarias.

-Lgica cientfica: Es la que se sirve de la experiencia emanada de la lgica

natural, pero adems le adhiere la razn, generando planteos de todo lo
existente. Siguiendo el famoso dicho annimo de la piedra, el hombre por
lgica natural evitara pasar por el camino en el que est la piedra para no
tropezarse, pero a su vez establecer por medio de la lgica cientfica porqu
esa piedra le genera el traspi.

-Lgica material: Su estudio es abordado desde la epistemologa, una de las

ramas modernas de la filosofa. El objeto de la lgica material es basarse en la
validez de un pensamiento determinado siguiendo la realidad. Es una lgica
activa, ya que se cuestiona y va ms all, dejando lugar a la incertidumbre al
no concluir sin dudar. En un ejemplo de lgica material, si el cielo est nublado
puede ser que llueva, como puede que no. Por lo que el pensamiento de que
tal vez llovizne es correcto, pero no tiene validez (si tendra para la lgica
formal), ya que no es seguro que suceda.

pg. 7
-Lgica formal: Es el contrapunto de la lgica material. Aborda el estudio de la
capacidad de razonamiento desde el aspecto ms adecuado y desde las
asociaciones, sin importar si es vlido o no. Es una lgica pasiva, en cierto
punto, ya que es reacia a los cuestionamientos.

-Lgica matemtica: Es un sector de la lgica consistente en el estudio

matemtico de la misma, y en la aplicacin del estudio a todas las reas de las
matemticas. Es, por otro lado, la lgica que se utilizada en las ciencias de la
comunicacin. Estudia los sistemas formales con nociones matemticas como
conjuntos, nmeros y demostraciones. Es importante entender que la lgica
matemtica no constituye la lgica de las matemtica como abordaje de las
ciencias exactas, sino la matemtica de la lgica.

-Lgica de clases: Se encarga de analizar una proposicin lgica en base a la

pertenencia o no pertenencia de un elemento especfico o de un individuo
particular a una determinada clase. La lgica de clases sienta sus principios
para abordar el estudio desde la teora de conjuntos. Se entiende por clase al
conjunto de individuos que tienen en comn alguna propiedad particular. La
propiedad es la que define a la clase, y no al individuo. Al analizar el conjunto
no es lo mismo decir Scrates era un hombre, que Scrates perteneca a la
clase de los hombres.

pg. 8
Los principios lgicos

El principio lgico de identidad

Afirma que: toda cosa es lo que es. Tomemos en consideracin los siguientes
ejemplos el crculo es redondo; el hombre es un animal racional. Tanto en el
primero como en el segundo ejemplo, el predicado est implcito en el sujeto.
En efecto, es inconcebible un crculo que no fuere redondo, y que el hombre no
fuese un animal racional. Estas dos proposiciones presentan una identidad
entre el sujeto y el predicado. Crculo es lo mismo que redondo, y el hombre es
lo mismo que un animal racional. En este sentido, podramos reducir a la
formula A es A. Esta identidad lgica indica al mismo tiempo que el crculo
implica el ser redondo, y el hombre implica ser animal racional, lo cual
expresado en frmula sera A implica A. De esto se sigue que: De lo verdadero
se deriva siempre lo verdadero, nunca lo falso.

El principio lgico de contradiccin

El principio de la contradiccin afirma que: es imposible que algo sea al mismo
tiempo verdadero y falso. Consideremos los siguientes ejemplos: el crculo no
es redondo; el hombre no es un animal racional. Ambas proposiciones son
falsas porque son ambas contradictorias. En efecto, es falso que el crculo no
sea redondo y que el hombre no sea un animal racional. Si es un crculo es
imposible que no sea redondo, y si es un hombre es imposible que no sea
animal racional. Como es inadmisible que sea algo y no sea al mismo tiempo y
en el mismo sentido, amabas proposiciones son contradictorias. La
contradiccin puede aparecer tambin entre dos proposiciones contradictorias
entre s. Por ejemplo: El tringulo tiene tres lados. Ahora si es verdadero que el
tringulo tiene tres lados, es automticamente falsa la otra que afirma que no
tiene tres lados. Luego, dos proposiciones contradictorias entre s contribuyen a
una contradiccin. La contradiccin expresada en frmula sera: tanto si una
proposicin predica que algo es y no es como si dos proposiciones son
contradictorias entre s, hay una contradiccin.

pg. 9
 El principio lgico del tercer excluido
Dice que: dos proposiciones contradictorias no pueden ser ambas falsas, ni
ambas verdaderas. Necesariamente una de ellas debe ser verdadera.
Consideremos el siguiente ejemplo: el sol es una estrella. Por el principio de
contradiccin no podemos considerar ambas como verdaderas, y por el
principio del tercer excluido no podemos aceptar que ambas son falsas. Luego,
se sigue que si una es verdadera la otra es falsa y viceversa. Su expresin
formal sera: A, o es A o no es A. De esto se sigue que: entre dos proposiciones
contradictorias, si la primera es verdadera, la segunda ser falsa, y si la
segunda es verdadera la primera ser falsa.

Principio de la razn suficiente

El principio lgico de la razn suficiente no fue enunciado por Aristteles sino
posteriormente por el filsofo y cientfico alemn Guillermo Leibniz (1646-
1716), y se refiere a que para nuestro pensamiento slo son verdaderos
aquellos conocimientos que podemos probar con un nmero suficiente de
razones, para que lleven al convencimiento de la verdad de lo afirmado. Esto
quiere decir que, "Todo objeto debe tener una razn suficiente que lo explique".
O lo que es, es por alguna razn. Este principio por referirse al problema de la
verdad lo encontraremos tanto en el campo de la gnoseologa como en el de la
lgica, ya que el estudio de la verdad compete a la Gnoseologa.
Dejemos claro que existe un gran nmero de conocimientos cuya verdad
adquirimos a travs de nuestros sentidos, mientras que existen otros que
deben ser admitidos como el caso de los axiomas de las matemticas.
Arturo Schopenhauer (1788-1860) en su obra "De la cudruple raz del
principio de la razn suficiente", hace una distincin entre este principio y el de
la causa y dice que la causa no puede reducirse a una simple razn, porque es
por s misma un hecho y distingue cuatro fuentes para el principio de razn
suficientes que son:
El principio de la razn suficiente aplicado al cambio, al devenir, es el
principio de causa, que se enuncia as: todo devenir tiene su causa.

pg. 10
 El principio de razn suficiente aplicado al conocer, establece que todo
juicio que expresa un conocimiento debe tener su fundamento y justificacin en
otros juicios, ello se enuncia: Toda afirmacin exige una justificacin.
El principio de razn suficiente aplicado al ser independiente de todo
tiempo; es decir, que todas las partes de un todo deben estar relacionadas
entre s y cada una de ellas se encuentran determinada y condicionada por sus
partes constitutivas. Esto se enuncia: Todo ser tiene su razn.
El principio de razn suficiente aplicado al obrar, es la afirmacin y se
enuncia de la manera siguiente: Toda accin tiene su motivacin.
La razn suficiente la razn suficiente no es otra cosa que la conformidad del
juicio con la legalidad de la misma razn.
Guillermo Leibniz formul este principio de la forma siguiente:
"Todas las cosas deben tener una razn suficiente por la cual son los que son y
no otra cosa", lo que quiere decir que para nuestro pensamiento slo podrn
ser inobjetables y verdaderos aquellos conocimientos que se puedan probar
suficientemente".
Relacin de la Lgica con otras Ciencias
Muy relacionada con la lgica se encuentra la semntica o filosofa del
lenguaje, la epistemologa, la psicologa, la computacin, las ciencias fsicas y
naturales, en las ciencias sociales y en la vida cotidiana para resolver
infinidades de problemas.

pg. 11
Ciencias relacionadas a la Lgica

La lgica es una ciencia y una rama de la filosofa que se dedica principalmente

al estudio o a la comprobacin de que algo es verdadero. Examina si los
argumentos son ciertos en lo que se refiere a su estructura
independientemente del contenido especfico, utilizando las premisas como
instrumento. La validez depende de la relacin entre la premisa y la conclusin,
si la premisa es verdadera entonces tambin la conclusin lo es. Algunas de
las ciencias que tienen relacin con la lgica son:

1. La semntica o filosofa del lenguaje. Estudia el significado de las

palabras y frases y su relacin unas con otras por lo que utiliza la lgica
para interpretar si el significado es correcto o no.
2. La epistemologa o teora del conocimiento. Estudia las condiciones bajo
las cuales las afirmaciones son verdaderas, la lgica le proporciona los
elementos necesarios para analizar la secuencia de los enunciados.
3. La psicologa del razonamiento. Estudia los procesos mentales que se
siguen en el curso de un razonamiento. La lgica explica la estructura
del pensar y la psicologa estudia la naturaleza del pensar y sus
consecuencias en la conducta humana.
4. La Computacin. Aplica la lgica al momento en que se revisan
programas.
5. La ontologa o metafsica. Estudia los primeros principios, las primeras
causas y el deber de la totalidad de lo real. Aunque no tienen un objeto
comn son interdependientes es decir que depende una de la otra.
6. La matemtica. Busca la relacin entre nmeros y a la lgica le interesa
la estructura del pensar, por lo que ambas estudian la estructura y
relacin.
7. La gramtica. Estudia la fonologa, morfologa y sintaxis de las palabras
y la lgica el proceso por el cual se da origen a la palabra, por lo que
ambas estn interesadas en el estudio de la palabra.
8. La medicina. Debido a que es una metodologa es aplicada y se
relaciona con casos clnicos y en la vida de las ciencias de la salud.

pg. 12
La lgica proporcional

La lgica proposicional trata sobre la verdad o la falsedad de las proposiciones

y de cmo la verdad se transmite de unas proposiciones (premisas) a otras
(conclusin). Una proposicin es la unidad mnima de significado susceptible
de ser verdadera o falsa. Una palabra aislada, por s misma, no nos dice nada.
La palabra "perro" tiene una referencia, pero no nos da ninguna informacin si
no es en el contexto de una proposicin como "El perro est haciendo cosas
raras". Por ello una palabra, a menos que constituya una proposicin, no es
verdadera o falsa. Slo tienen valor de verdad las proposiciones. Debemos
distinguir dos tipos de proposiciones: las proposiciones atmicas y las
proposiciones moleculares. Las proposiciones atmicas son aqullas que no se
componen de otras proposiciones. La proposicin:

Todos los mdicos son buenos.

Es una proposicin atmica porque ninguno de sus elementos componentes es

una proposicin. Como podemos observar, una proposicin atmica es
verdadera o falsa, y su verdad o falsedad no depende de otras proposiciones,
sino de cmo es la realidad. Si hubiera algn hombre inmortal, la proposicin
del ejemplo sera falsa. Las proposiciones moleculares son aqullas que estn
compuestas por proposiciones atmicas. Un ejemplo de proposicin molecular
sera: Voy a operar y atender en el consultorio. La proposicin del ejemplo es
molecular porque se compone de dos proposiciones atmicas: Voy a comprar
pan. Voy a tomar un caf. Estas dos proposiciones atmicas estn conectadas
mediante la partcula "y". Una proposicin molecular ser verdadera o falsa,
pero a diferencia de lo que ocurre con las proposiciones atmicas, su verdad o
falsedad no depende directamente de la realidad, sino que depende o es
funcin de la verdad o falsedad de las proposiciones atmicas que la
componen. Esto significa que si quiero saber si es verdadero o falso que voy a
operar y atender en el consultorio, es necesario que conozca la verdad o
falsedad de "voy a operar" y de "voy atender en el consultorio" por separado.

pg. 13
Conectores de la lgica proporcional

1. Conjuncin: es una operacin mediante se relaciones proposiciones

mediante el conector y o expresiones equivalentes.

Smbolo: ^

Notacin: (p ^ q)

Significados: Y, Adems, Tambin, Pero, Sin embargo.

Ejemplo: "l es mdico y se va a especializar en cardiologa.

2. Disyuncin Inclusiva: es la operacin que relaciona proposiciones por medio

del conectivo o o u.

Smbolo: v

Notacin: (p v q)

Significados: o

Ejemplo: "Estudiamos medicina o ingeniera"

3. Disyuncin Exclusiva: es la operacin que relaciona proposiciones por medio

del conector oo...

Smbolo: v

Notacin: (p v q)

Significados: O....o

Ejemplo: "O es de da o es de noche"

pg. 14
4. Condicional: se relaciona a las proposiciones por medio del conectivo si
. Entonces .. o mediante sus expresiones equivalentes.

Smbolo:

Notacin: (p q)

Significados: Entonces, Por lo tanto, En consecuencia, Por consiguiente, Si..., ;

Si..., entonces.

Ejemplo: "Si estudias, aprobars el curso

5. Bicondicional: se relaciona a las proposiciones mediante el conectivo si solo

si o sus expresiones equivalentes.

Smbolo:

Notacin: (p q)

Significados: Si y solo si , solamente si, cuando y solo cuando, solamente

cuando, nicamente cuando.

Ejemplo: "Pierdes el ciclo si y solo no estudias

6. Negacin: esto se refiere cuando el adverbio no o expresiones

equivalentes afecta a una proposicin o conjunto de propocisiones.

Smbolo: -

Notacin: (-p)

Significados: No, es falso que, no ocurre que, no sucede que, no es el caso

que.

Ejemplo: "Mara no present la prueba de qumica"

pg. 15
Lgica relacionada a la medicina

A la vez que el pensamiento lgico y teleolgico peripattico influy en la

escuela dogmtica mdica entre Hipcrates y Praxgoras, especialmente con
Diocles de Caristo, la medicina determin conceptos filosficos tanto ticos
como morales. Las ideas ticas aristotlicas del trmino medio y de los dos
extremos viciosos del exceso y del defecto fueron tomadas originalmente de la
medicina (4). Aristteles tiene que agradecer en su concepcin del justo
"medio" o "mediana" moral, al pensamiento fisiolgico de la medicina helnica.
De igual manera, la tica aristotlica es parte de una antropologa de base
fisiolgica para la cual el estado ideal es el equilibrio y "medio" de cualidades,
elementos o humores. Aristteles declara la fecundidad de la filosofa al
provocar en un mdico prctico la necesidad de una actitud tica y pedaggica.
Pero la verdad es que lo fecundo de esa relacin provena de la medicina,
como ejemplo de ciencia que tiende a la accin (ciencia "potica") y que
rehabilita en su evolucin paralela a la tica (ciencia prctica) (5).

pg. 16
El acto mdico

Es un proceso cientfico que est ampliamente relacionado con la lgica puesto

que al dar un diagnostico al realizar alguna accin el medico utiliza la lgica sin
darse cuenta. El cual todo esto sucede en el ojo clnico, en la experiencia, en la
intuicin e incluso el saber medico puesto que utilizan proposiciones al dar
diagnsticos o realizar una accin. Un ejemplo claro es cuando los doctores
dicen: Hay que tratar a los enfermos, no a las enfermedades. En el mtodo
cientfico y el acto mdico se utiliza de gran manera a la lgica mediante tipos
de razonamiento que son:

La deduccin
Induccin
Abduccin

Abduccin e induccin

A partir de una regla general se infiere un caso en particular certero y

necesario. El cual no nos dice si las premisas son verdaderas o falsas.
Ejemplo: A=padeces de gripe ; B=dolor y fiebre.

A B

=B

Deduccin

Esto sera as en formal: si padeces gripe entonces tienes dolor y fiebre.

Padeces de gripe por lo tanto tienes dolor y fiebre.

pg. 17
Juicio medico

Para hacer un diagnstico se necesita una infinita paciencia en la auscultacin

del paciente, y hay que ajustar la vista para aquellos sntomas poco llamativos,
las causas ocultas de grandes efectos. (Medicina humanista)

Diagnostico

A= le duele la cabeza y tiene fiebre

B= entonces tiene estrs

A B

=A

Entonces en este diagnstico se deduce que tiene estrs al presentar estos

sntomas.

pg. 18
Cap. I. Generalidades
Silogismos
Un silogismo, tambin llamado razonamiento, citando a Monty Python, es una
serie de afirmaciones conectadas para establecer una proposicin definida.
Existen varios tipos de silogismos. Trataremos aqu solamente el silogismo
deductivo. Los silogismos deductivos son vistos como los ms precisos y ms
persuasivos, proveen evidencia terminante de su conclusin, y pueden ser
vlidos o invlidos. Los silogismos deductivos tienen tres etapas: premisas,
inferencia y conclusin. Sin embargo, antes de considerar en detalle esas
etapas, debemos tratar sobre los elementos constitutivos de un silogismo
deductivo: las proposiciones

Proposiciones
Una proposicin es una afirmacin que puede ser verdadera o falsa. La
proposicin es la definicin, el significado de la afirmacin; no el arreglo preciso
de las palabras para transmitir ese significado. Por ejemplo, "Existe un nmero
primo par mayor que dos" es una proposicin (falsa, en este caso). "Un nmero
par y primo que sea mayor que dos existe" es la misma preposicin,
reformulada. Desafortunadamente, es muy fcil cambiar sin intencin el
significado de una afirmacin reformulndola. Generalmente es ms seguro
respetar la formulacin de una proposicin, porque puede ser significativa. Es
posible usar la lingstica formal para analizar y reformular las afirmaciones sin
cambiar los significados. Pero esos mtodos estn fuera del enfoque de este
documento.

pg. 19
Premisas
Un silogismo deductivo requiere siempre un nmero de hiptesis esenciales.
Estas son llamadas premisas y son las hiptesis en las cuales estn
construidas las afirmaciones, o para decirlo de otra manera, las razones para
aceptar el silogismo o razonamiento. Las premisas que son solamente
premisas en el contexto de un silogismo en particular, pueden ser conclusiones
en otros silogismos. Se debe siempre expresar las premisas de un silogismo
explcitamente; este es el principio del audiatur est altera pars. La omisin de
expresar las hiptesis suele verse como sospechosa y probablemente reduzca
la aceptacin de su razonamiento. Las premisas de un silogismo generalmente
comienzan con palabras como "Asumamos" o "Supongamos", "Obviamente",
"Debido a", etc. Es una buena idea ponerse de acuerdo con su oponente sobre
las premisas de su razonamiento antes de continuar.

Inferencia
Una vez que se acuerden las premisas, el razonamiento procede a un proceso
"paso a paso" llamado inferencia. En una inferencia, se comienza con una o
ms proposiciones que han sido aceptadas. Luego se usan stas para llegar a
una nueva proposicin. Si la inferencia es vlida, la proposicin resultante
tambin. Se puede usar la nueva proposicin para otras inferencias con
posterioridad. Inicialmente, se pueden inferir solamente de las premisas del
razonamiento. Pero a medida que el razonamiento avanza, el nmero de
afirmaciones disponibles para inferir aumenta.

pg. 20
Falacias
Hay varias trampas que evitar para construir un razonamiento deductivo, que
son conocidas como falacias. En lenguaje cotidiano, nos referimos como
falacias a varios tipos de creencias errneas. Pero en la lgica, el trmino tiene
un significado ms preciso. Una falacia es un defecto tcnico que hace que un
razonamiento no sea vlido o confiable. Ntese que se puede criticar ms que
solamente la confiabilidad de un razonamiento. Los razonamientos casi
siempre son presentados con un propsito especfico en mente. Y la intencin
del razonamiento tambin puede ser objeto de criticismo. Los razonamientos
que contienen falacias son descritos como falaces. A veces parecen vlidos y
convincentes, a veces, solamente una inspeccin minuciosa revela el defecto
lgico. Finalmente se llegar a una proposicin que es la conclusin de un
razonamiento o silogismo, el resultado que usted est tratando de demostrar.
La conclusin es el resultado del ltimo paso de la inferencia. Es solamente
una conclusin en el contexto de un razonamiento en particular, pudiendo ser
una premisa o hiptesis en otro razonamiento. De la conclusin se dice que es
afirmada en la base de las premisas y la inferencia de ellas. Este es un punto
sutil que requiere una explicacin ms profunda.

pg. 21
Cap. II. Historia y objeto

Historia
La lgica form parte desde la antigedad del conjunto de pensamientos
razonamientos englobados en las distintas posturas filosficas. As, el trmino
sistema fue propuesto por Laozi (Lao tse) 500 aos A.C. al expresar que "un
carro es ms que la suma de sus partes ", es decir, la relacin entre los
distintos de elementos que forman el carro lo hace tener unas propiedades
especiales y diferentes a las que poseen sus componentes por separado.
Aristteles sealo ya un principio de abstraccin al describir el sistema como un
conjunto de funciones, esencias y atributos que pueden ser diferenciables. Sin
embargo, el trmino lgica matemtica denota preferentemente el conjunto de
reglas y razonamientos deductivos elaborados a partir de la segunda mitad del
siglo XIX. Mediante la eliminacin de los defectos lgicos del lenguaje comn y
la adopcin de criterios de formalizacin y empleos de signos, la lgica formal
se convirti en una disciplina asociada a las matemticas. George Boole hallo
en 1854 que los conectivos propuestos por Aristteles para las proposiciones,
como los de del tipo "y", "o", "negacin de", etc., verifican reglas similares a la
suma y la multiplicacin, con lo que diseo el lgebra que lleva su nombre y se
fundamenta en la lgica binaria de verdadera o falsa.

Poco despus George Cantor fundo la teora de conjuntos y sus operaciones.

Defini el conjunto como la unin de objetos con propiedades que son
expresables, y el conjunto de conjuntos como un nuevo conjunto que se
contiene as mismo como uno de sus propios elementos, en un razonamiento
paradjico revelado por Bertrand Russell. Segn es te ltimo, un conjunto
pertenece a la categora primera si no se contiene as mismo, y a la segunda si
se contiene a si mismo como elemento; Si el conjunto A tiene como elementos
los conjuntos de la primera categora, por deduccin no puede pertenecer a
ninguna de las dos categoras, aunque inicialmente se asignar una categora
a cada conjunto. Ernst Zermelo en 1904 formulo un axioma de eleccin acerca
de conjuntos no vacos, es decir, aquellos que contienen elementos. En una
familia de conjuntos no vacos, cualquiera que sea su tamao, se puede elegir

pg. 22
al mismo tiempo un elemento de cada conjunto, y considerar el conjunto A que
no poda pertenecer a ninguna categora como constituido por esos elementos.
Con este axioma se pudieron demostrar teoremas matemticos clsicos
carentes de lgica aparente, aunque se inici la polmica de la validez de los
teoremas basados en l y su equiparacin con los teoremas que no necesitan
de su uso. En la prctica, se termin por indicar si en un determinado teorema
se haba empleado o no el axioma de eleccin. Kurt Godel declar en el siglo
XX que un sistema matemtico que fuera suficiente nicamente para la
aritmtica clsica que tena que ser incompleto. Aadi que cualquier sistema
puede ser coherente al incorporarle el axioma de eleccin, y se mantiene de
igual manera al incluir la negacin de dicho axioma de eleccin. La hiptesis de
continuidad general tambin es coherente con las matemticas ordinarias, que
se mantiene coherentes si se les aaden simultneamente el axioma de
eleccin y la hiptesis de continuidad general. Esta hiptesis propone una
explicacin probable de un hecho o una serie de hechos cuya verdadera causa
se desconoce.

Lgica Aristotlica
Aristteles es el primero en tratar con detalle la lgica y por esta razn se le
considera su fundador, en un principio se le llam analtica, en virtud del ttulo
de las obras que trat los problemas lgicos. Aristteles plantea un problema
que es el siguiente: de que no es posible probar y demostrar que un
conocimiento es verdadero, es decir, que tiene una validez universal,
Aristteles encuentra el fundamento de la demostracin en la deduccin,
procedimiento que consiste en derivar un hecho particular de algo universal. Se
efecta de una forma de derivacin que es el silogismo, por esta razn la
silogstica llega a ser el centro de la Lgica Aristotlica. Aristteles en su lgica
investiga como nuestro concepto se encadena en el espritu, formula la teora
de dicho encadenamiento abstracto en forma de silogismo. Es la deduccin
formal cuya regla estableci de un modo inconmovible hasta el extremo de que
Kant consideraba que la Lgica Aristotlica era algo perfecto y acabado.

pg. 23
Lgica simblica
Una de las figuras ms destacadas del Crculo de Viena, el filsofo alemn
Rudolf Carnap, realiz su ms importante contribucin a la semntica filosfica
cuando desarroll la lgica simblica: Sistema Formal que analiza los signos y
lo que designan. El positivismo lgico entiende que el significado es la relacin
que existe entre las palabras y las cosas, y su estudio tiene un fundamento
emprico: puesto que el lenguaje, idealmente es un reflejo de la realidad, sus
signos se vinculan con cosas y hechos. Ahora bien, la lgica simblica usa una
notacin matemtica para establecer lo que designan los signos, y lo hacen de
forma ms precisa y clara que la lengua tambin constituye por si misma un
lenguaje, concretamente un metalenguaje (lenguaje tcnico formal) que se
emplea para hablar de la lengua como si de otro objeto se tratara: la lengua es
un objeto de un determinado estudio semntico.

Una lengua objeto tiene un hablante (por ejemplo una francesa) que emplea
expresiones (como por ejemplo la plume rouge) para designar un significado,
(en este caso para indicar una determinada pluma plume- de color rojo
rouge-. La descripcin completa de una lengua objeto se denomina semitica
de esa lengua. La semitica presenta los siguientes aspectos: 1) un aspecto
semntico, en el que reciben designaciones especficas los signos (palabras,
expresiones y oraciones); 2) un aspecto pragmtico, en el que se indican las
relaciones contextuales entre hablantes y los signos; 3) un aspecto sintctico,
en el que se indican las relaciones formales que existen entre los elementos
que conforman un signo (por ejemplo, entre los sonidos que forman una
oracin). Cualquier lengua interpretada segn la lgica simblica es un objeto
que tiene unas reglas que vinculan los signos a sus designaciones. Cada signo
que se interpreta tiene una condicin de verdad una condicin que hay que
encontrar para que el signo sea verdadero. El significado de un signo es lo
que designa cuando se satisface su condicin de verdad. Por ejemplo la
expresin o signo la luna es una esfera la comprende cualquiera que sepa
espaol; sin embargo, aunque se comprenda, puede o no ser verdad. La
expresin es verdadera si la cosa a la que la expresin o signo se vincula la
luna- es de verdad una esfera. Para determina los valores de verdad del sigo
cada cual tendr que comprobarlo mirando la luna.

pg. 24
Juicio critico
Es necesario recalcar que la lgica se puede definir de diferentes maneras y de
hecho en diversas publicaciones con una gran variedad de definiciones, si bien,
todas ellas girar en torno a una misma idea (Enseanza de Raciocinio), "se
puede decir que es:

"Ciencia que ensea a relacionar con exactitud"

"Ciencia que pone las leyes del raciocinio"

Dando origen a la lgica simblica que va a estar construida como un clculo, o

sea, como un conjunto de reglas operativas que afectan a los smbolos
refirindose a una forma y no a un significado. La lgica puede enumerar que
serie de desarrollos que ahora pasaremos a examinar. Se trata, de todos
modos la lnea de investigacin que no se vincula ni siquiera indirectamente
puesto que, como se ha dicho, las investigaciones lgicas de este, quedaron
inditas durante siglos y, tras volver a ser descubiertas a finales de siglo XIX,
solo empezaron a ser publicados.

pg. 25
Cap. III. Lgica en las distintas ciencias

La lgica y derecho:

Se podra sealar que esta tendencia pona la existencia de un marcado

paralelismo entre la lgica y derecho, pues aquella estudia la validez de los
conceptos, juicios y razonamientos desde el punto de vista formal, y el
Derecho, tendra por objeto el estudio de los mencionados aspectos, pero
desde el punto de vista de las conductas puras , consideradas estas como
meras formas , las cuales estn expresadas en las normas. Sus principales
requisitos eran dos: ser coherentes y no contradictorias, para observar los
postulados hilberlianos en el desarrollo de la lgica matemtica. Esta
concepcin sent las bases al ulterior desarrollo de la lgica dentica

Lgica y ciencia:

Estudia problemas y leyes del pensar formal, no define lo verdadero de lo falso.

Entre lo verdadero y lo falso, hay una competencia del razonamiento aplicado y
la experiencia. Esta lgica estudia las condiciones del pensar cientfico y
metodolgico y las condiciones de verdad de las teoras cientficas, as como
su alcance y lmites.

Lgica y psicologa:

Existe una gran diferencia entre estas dos ciencias, la relacin que pueda
existir seria que prescindiran del sujeto que elabora su lgica y su psicologa.
La diferencia que existe entre ambas ciencias es que la psicologa estudia el
sujeto pensante y sus procesos psicolgicos que ocurren en el estando
tambin el proceso del pensar; mientras que la lgica, como se ha descrito
anteriormente, se ocupa del pensamiento elaborado y formulado, ya que
estudia los pensamientos mismos, los analiza, los estructura y encadena el
enlace que pueden tener dichos pensamientos.

pg. 26
Lgica y teora del conocimiento:

Consiste en aplicar la lgica y la filosofa del conocimiento para rodear la teora

del conocimiento, se ocupa de la definicin del saber y de los conocimientos
relacionados entre estas dos ciencias. Los tipos del conocimiento posibles y el
grado con que las fuentes y los criterios resultan ciertas, as como la relacin
exacta entre el que conoce y el objeto conocido.

Lgica y gramtica:

Los lenguajes tienen lgica, porque la lgica y la gramtica trabajan

ambiguamente para descifrar una oracin, decidir si la composicin de la
oracin es correcta. Para esto hay que estudiar la lengua y la lgica. La
interaccin que puede haber entre la lgica y la gramtica es como un romance
entre las dos para que funcione bien un idioma. Como es muy complejo este
tema, se cita el siguiente ejemplo para obtener ms o menos una idea de la
fusin de estas dos ciencias juntas.

Lgica y matemtica:

Es una parte de la lgica y las matemticas, que consiste en el estudio

matemtico de la lgica y en la aplicacin de este estudio a otras reas de las
matemticas La lgica matemtica es la disciplina que trata de mtodos de
razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas
para determinar si es o no valido un argumento dado. El razonamiento lgico
se emplea en matemticas para demostrar teoremas; en ciencias de la
computacin para verificar si son o no correctos los programas; en las ciencias
fsica y naturales, para sacar conclusiones de experimentos; y en las ciencias
sociales y en la vida cotidiana, para resolver una multitud de problemas.
Ciertamente se usa en forma constante el razonamiento lgico para realizar
cualquier actividad.

pg. 27
La relacin de la lgica con la matemtica desarrollo el intento de buscar un
lenguaje en que los problemas derivados de la validez o invalidez de los
razonamientos, fuesen tratados como un simple clculo, un problema que
consistira en mirar si estaba o no de acuerdo con la tabla. Con George Boole
en 1847, se inici la construccin sistemtica de la lgica matemtica, l fue el
primero en aplicar el lgebra a la lgica, dando origen a una lgica de clases y
una lgica sentencial. A partir de este momento, la lgica matemtica se ira
construyendo a imagen y semejanza de las lenguas naturales. La lgica
matemtica dispone de unas herramientas superiores a la que utiliza la lgica
clsica. Pero concebir la lgica ya sea un arte de calcular o de pensar tiene
unas consecuencias importantes en vista de la actividad desempeada por los
sujetos, por la manera como se van relacionar con los objetos, por los
instrumentos que van utilizar y por las relaciones onticas sobre las cuales se
van a trabajar. El hecho universal es que los humanos en nuestros
razonamientos cotidianos, solo utilizamos el arte de pensar. Esto pone de
relieve la importancia de la lgica clsica. De otra parte, la necesidad cientfica
de disponer de un instrumento no sujeto a equvocos, de tal naturaleza que
permita resolver sin lugar a replica, mediante un sencillo calculo, la validez o
invalidez de un razonamiento, establece de manifest la necesidad y la utilidad
de la lgica matemtica.

La lgica y lingstica:

El neopositivismo se hizo consciente de un hecho sencillo, pero

extraordinariamente fecundo: la nica manera que dispone cualquier ciencia
para expresar sus pensamientos, ya sean estos fsicos, qumicos, matemticos,
etc., es mediante el lenguaje. A partir de entonces, quedara establecido que
todos los problemas de cualquier ciencia estn vinculados al lenguaje, de ahora
y para siempre. Ello nos explica porque hay trabajos en los cuales, se vinculan
la matemtica y la lingstica, la fsica y el lenguaje, etc., y por qu se habla de
una sintaxis matemtica, de una semntica fsica, de un metalenguaje jurdico,
etc. Bsicamente, todas las ciencias se vincularon a la lingstica, a travs de
la sintaxis, la semntica y la pragmtica. Con la sintaxis, porque ella brinda el

pg. 28
conjunto de reglas en las cuales se establecen las combinaciones de palabras
permitidas y prohibidas. Si referimos la definicin anterior a cualquier realidad,
por ejemplo, al juego de ajedrez, la sintaxis est representada por las reglas
mediante las cuales se fijan los movimientos que puedan tener cada una de las
piezas, o nmero de jugadores, jugadas permitidas, en fin, es su reglamento.
Claramente podemos comprender, por lo anterior que todos los juegos tiene
una sintaxis, por la simple razn tienen su sintaxis, por la simple razn de que
necesariamente tienen un reglamento. Las ciencias tambin tienen su sintaxis,
porque tienen su reglamento, un conjunto de combinaciones fsicas, o
matemticas, o qumicas, etc., admisibles e inadmisibles.

La semntica, estudia las significaciones de las palabras desde el punto de

vista de las relaciones signo-objeto, entendiendo el objeto como "imagen de la
cosa". La semntica, como un hecho universal, estudia las relaciones entre los
conceptos y los signos de las cosas. Por consiguiente, todas las ciencias tienen
una semntica, en la medida en que relacionan sus signos con los conceptos
propios de cada una de ellas. Se ha dicho: el signo es una cosa que por
naturaleza o convencin, evoca el entendimiento la idea de otro objeto. Es una
evocacin asociada a un estmulo. En el ejemplo del ajedrez, la semntica en
el momento que asociamos los signos del juego con sus conceptos; esto es,
los signos son las piezas: Rey, pen, etc., y los conceptos son las funciones
que tienen dichas piezas.

La pragmtica, estudia las relaciones signo-usuario, desde el punto de vista de

su utilizacin practica por parte de la comunidad. En el juego comentado, se
hace presente la pragmtica en la forma como usan los jugadores todo el
sistema de signos que componen el ajedrez. En conclusin, pensamos en la
medida en que transcurren el tiempo, se har ms importante la importante la
relacin ciencia-lenguaje. Los hombres de hoy estamos cientficamente ms
posibilitados para entender a San Juan que quienes nos han precedido. En
efecto, dice al comenzar su evangelio: "en el principio era el verbo y por el
fueron creadas todas las cosas." Si la palabra creo todas las cosas el
universo entero es el lenguaje, y al estudiar cualquier proporcin de este, tal
vez se podra de presente la existencia de un lenguaje objetivado, de unas

pg. 29
estructuras lingsticas en todas las ciencias, en todos los objetos y en todos
los procesos

La lgica y la filosofa

Si aceptamos que al saber filosfico est integrado por la ontologa , la

gnoseologa y la tica , o sea " el ser" , "el conocer " y el "obrar " , la lgica
forma parte esencial del conocer , porque estudia las formas y las leyes validas
de ese conocimiento. La gnoseolgica o teora del conocimiento pretende
estudiar la correspondencia o adecuacin entre el conocimiento y su objeto ,
pero no puede pronunciarse si previamente no incorpora a la lgica , pues es
esta quien le va a suministrar la validez a todas sus conclusiones

La lgica y computacin:

La lgica est presente en la computacin a travs de los siguientes aspectos:

A. Es tan importante la relacin lgica-computacin que todo ordenador tiene

una unidad en la cual se realizan las operaciones lgicas; es la unidad
aritmtico lgica. En ella, se efectan las operaciones lgicas de cualquier
programa. Nos referimos a los operadores lgicos "y", "o", etc., los cuales
trabajan en base a las tablas de verdad.

B. La lgica se hace presente en los programas. Cada uno de ellos es un

conjunto formal y secuencial de operaciones, las cuales permiten realizar un
trabajo. Decimos "formal " y con ello evidenciamos de la lgica formal , puesto
que tericamente , un mismo programa puede estar referido a varios
contenidos , siempre y cuando tengan los mismos esquemas.

pg. 30
Principios lgicos

El Principio Lgico de Identidad

Afirma que: toda cosa es lo que es.

Tomemos en consideracin los siguientes ejemplos el crculo es redondo; el

hombre es un animal racional. Tanto en el primero como en el segundo
ejemplo, el predicado est implcito en el sujeto. En efecto, es inconcebible un
crculo que no fuere redondo, y que el hombre no fuese un animal racional.
Estas dos proposiciones presentan una identidad entre el sujeto y el predicado.
Crculo es lo mismo que redondo, y el hombre es lo mismo que un animal
racional. En este sentido, podramos reducir a la formula A es A. Esta identidad
lgica indica al mismo tiempo que el crculo implica el ser redondo, y el hombre
implica ser animal racional, lo cual expresado en frmula sera A implica A. De
esto se sigue que: De lo verdadero se deriva siempre lo verdadero, nunca lo
falso.

El Principio Lgico de Contradiccin

El principio de la contradiccin afirma que: es imposible que algo sea al mismo

tiempo verdadero y falso. Consideremos los siguientes ejemplos: el crculo no
es redondo; el hombre no es un animal racional. Ambas proposiciones son
falsas porque son ambas contradictorias. En efecto, es falso que el crculo no
sea redondo y que el hombre no sea un animal racional. Si es un crculo es
imposible que no sea redondo, y si es un hombre es imposible que no sea
animal racional. Como es inadmisible que sea algo y no sea al mismo tiempo y
en el mismo sentido, amabas proposiciones son contradictorias. La
contradiccin puede aparecer tambin entre dos proposiciones contradictorias
entre s. Por ejemplo: El tringulo tiene tres lado. Ahora si es verdadero que el
tringulo tiene tres lados, es automticamente falsa la otra que afirma que no
tiene tres lados. Luego, dos proposiciones contradictorias entre s contribuyen a
una contradiccin. La contradiccin expresada en frmula sera: tanto si una

pg. 31
proposicin predica que algo es y no es como si dos proposiciones son
contradictorias entre s, hay una contradiccin.

El Principio Lgico del Tercer Excluido

Dice que: dos proposiciones contradictorias no pueden ser ambas falsas, ni

ambas verdaderas. Necesariamente una de ellas debe ser verdadera.
Consideremos el siguiente ejemplo: el sol es una estrella. Por el principio de
contradiccin no podemos considerar ambas como verdaderas, y por el
principio del tercer excluido no podemos aceptar que ambas son falsas. Luego,
se sigue que si una es verdadera la otra es falsa y viceversa. Su expresin
formal sera: A, o es A o no es A. De esto se sigue que: entre dos proposiciones
contradictorias, si la primera es verdadera, la segunda ser falsa, y si la
segunda es verdadera la primera ser falsa.

Principio de la Razn Suficiente

El principio lgico de la razn suficiente no fue enunciado por Aristteles sino

posteriormente por el filsofo y cientfico alemn Guillermo Leibniz (1.646-
1.716), y se refiere a que para nuestro pensamiento slo son verdaderos
aquellos conocimientos que podemos probar con un nmero suficiente de
razones, para que lleven al convencimiento de la verdad de lo afirmado. Esto
quiere decir que, "Todo objeto debe tener una razn suficiente que lo explique".
O lo que es, es por alguna razn. Este principio por referirse al problema de la
verdad lo encontraremos tanto en el campo de la gnoseologa como en el de la
lgica, ya que el estudio de la verdad compete a la Gnoseologa. Dejemos claro
que existe un gran nmero de conocimientos cuya verdad adquirimos a travs
de nuestros sentidos, mientras que existen otros que deben ser admitidos
como el caso de los axiomas de las matemticas.

Arturo Schopenhauer (1.788-1860) en su obra "De la cudruple raz del

principio de la razn suficiente", hace una distincin entre este principio y el de
la causa y dice que la causa no puede reducirse a una simple razn, porque es
por s misma un hecho y distingue cuatro fuentes para el principio de razn
suficientes que son:

pg. 32
 El principio de la razn suficiente aplicado al cambio, al devenir, es el
principio de causa, que se enuncia as: todo devenir tiene su causa.
El principio de razn suficiente aplicado al conocer, establece que todo
juicio que expresa un conocimiento debe tener su fundamento y
justificacin en otros juicios, ello se enuncia: Toda afirmacin exige una
justificacin.
El principio de razn suficiente aplicado al ser independiente de todo
tiempo; es decir, que todas las partes de un todo deben estar
relacionadas entre s y cada una de ellas se encuentran determinada y
condicionada por sus partes constitutivas. Esto se enuncia: Todo ser
tiene su razn.

El principio de razn suficiente aplicado al obrar, es la afirmacin y se enuncia

de la manera siguiente: Toda accin tiene su motivacin. La razn suficiente la
razn suficiente no es otra cosa que la conformidad del juicio con la legalidad
de la misma razn. Guillermo Leibniz formul este principio de la forma
siguiente: "Todas las cosas deben tener una razn suficiente por la cual son los
que son y no otra cosa", lo que quiere decir que para nuestro pensamiento slo
podrn ser inobjetables y verdaderos aquellos conocimientos que se puedan
probar suficientemente". Relacin de la Lgica con otras Ciencias Muy
relacionada con la lgica se encuentra la semntica o filosofa del lenguaje, la
epistemologa, la psicologa, la computacin, las ciencias fsicas y naturales, en
las ciencias sociales y en la vida cotidiana para resolver infinidades de
problemas.

pg. 33
Conclusiones

La lgica matemtica como en muchas ciencias participa de forma vital en la

medicina para la parte aplicativa de los problemas, ya que ayuda a analizar el
valor de veracidad que posee ciertos procedimientos, tambin ayuda al
momento del diagnstico siendo esta un eje de partida al momento de la
credulidad del mdico.
La lgica en la matemtica sirve para analizar problemas,
En realidad se deduce que la lgica est relacionada con diversas
ciencias.
En toda nuestra vida utilizamos la lgica sin darnos cuenta.
Desde hace cientos de aos se dedujo a la lgica
La lgica como todo tema tiene principios y formas.
Siempre existe una deduccin lgica el cual lo aplicamos en todos los
mbitos.
El juicio clnico de alguna manera est vinculado con la lgica debido a
que se tienen que analizar y dar posibles respuestas.
Un doctor nunca deduce con absoluta certeza.
Mediante la abduccin los mdicos generalmente lo utilizan.
La hiptesis la deduccin, la intuicin, la abduccin est relacionada con
la lgica.
En la lgica mdica se recopila sntomas y signos para poder dar una
causa de la enfermedad y una posible solucin mediante la bsqueda de
datos intencionada el cual se interpreta con inteligencia y razonando.

pg. 34
Referencias

(1) Robert Audi (ed.). Inference. The Cambridge Dictionary of

Philosophy (en ingls) (2nd Edition). Cambridge University Press.

(2) B. Mates. Lgica Matemtica Elemental. Tecnos, Madrid, 1974.

(3) Correia, Manuel (2006). La actualidad de la lgica de

Aristteles. Revista de filosofa online 62: 139-150.

Copi, Irving. 1967. Introduccin a La Lgica. Editorial

Universitaria. Buenos Aires, Argentina.

Fingermann, Gregorio. 1990. Lgica y Teora del Conocimiento. Editorial

El Ateneo. Buenos Aires, Argentina.

Vase la seccin Lgica en Shields, Christopher. Aristotle. En

Edward N. Zalta. Stanford Encyclopedia of Philosophy (en ingls)
(Winter 2009 Edition).

Vase el primer prrafo del prefacio a Aristteles (1989). Prior Analytics.

Traduccin, introduccin, notas y comentarios por Robin Smith.
Indianpolis: Hackett.

(4) Jaeger W. El desarrollo de la metafsica. En: Jaeger W. Aristteles.

Mxico. Fondo de Cultura Econmica 1997: 224-262.
(4) Barnes J. Ciencia. En: Barnes J. Aristteles. Madrid. Ctedra. 2 ed.
1993: 59-65.
(5) Lain P. Historia Universal de la Medicina. Barcelona. Masson
Multimedia y XL Sistemas. 1998

(5) Lain P. El saber mdico en la antigedad clsica. En: Lain P. Historia

de la medicina. Barcelona. Masson-Salvat 1994: 59-110.

http://www.tipos.co/tipos-de-logica/

pg. 35
 Rodrguez, A., Aliseda, A., Arauz, A., Medicina y lgica: el proceso
diagnostico en neurologa, Ludus Vitalis, vol. XVI 2008 135- 163

pg. 36
Anexos

pg. 37
pg. 38