Facultad de Ciencias de la Salud

Escuela Profesional de Medicina Humana

Asignatura: Filosofa y tica

Docente: Mgt.Mario Cansaya Esquivel

Alumno:

Hilares Salas Martn

Pea Sutta Alexander Arstides
Andia Arando Vctor Brad
Maqquerhua Pereyra Cristian
Morn Quesqolla Alex Russell
CUSCO-PERU
 LGICA
CONCEPTO
Lgica es una ciencia formal que estudia la estructura o formas del pensamiento humano
(como proposiciones, conceptos y razonamientos) para establecer leyes y principios vlidos
para obtener criterios de verdad. Como adjetivo, 'lgico' o 'lgica' significa que algo sigue las
reglas de la lgica y de la razn. Indica tambin una consecuencia esperable natural o
normal. Se utilizar tambin para referirse al llamado 'sentido comn'. Procede del latn lgica,
y a su vez del griego (lgico, 'que posee razn, 'intelectual', 'dialctico',
'argumentativo'), que a su vez deriva de la palabra (logos, 'palabra', 'pensamiento',
'razn', 'idea, argumento').
LA LGICA FORMAL
Es la parte de la lgica que, a diferencia de la lgica informal, se dedica al estudio de la
inferencia mediante la construccin de lenguajes formales, sistemas deductivos y semnticas
formales. La idea es que estas construcciones capturen las caractersticas esenciales de las
inferencias vlidas en los lenguajes naturales, pero que al ser estructuras formales y
susceptibles de anlisis matemtico, permiten realizar demostraciones rigurosas sobre ellas.
La lgica formal no debe ser confundida con la lgica matemtica, antes llamada lgica
simblica, que es una subdisciplina de la lgica formal.
La lgica proposicional o lgica de orden cero es un sistema formal cuyos elementos ms
simples representan proposiciones, y cuyas constantes lgicas, llamadas conectivas lgicas,
representan operaciones sobre proposiciones, capaces de formar otras proposiciones de
mayor complejidad.

LA LGICA PROPOSICIONAL
La lgica proposicional trata con sistemas lgicos que carecen de cuantificadores, o
variables interpretables como entidades. En lgica proposicional si bien no hay signos para
variables de tipo entidad, s existen signos para variables proposicionales (es decir, que
pueden ser interpretadas como proposiciones con un valor de verdad definido), de ah el
nombre proposicional. La lgica proposicional incluye adems de variables interpretables
como proposiciones simples signos para conectivas lgicas, por lo que dentro de este tipo de
lgica puede analizarse la inferencia lgica de proposiciones a partir de proposiciones, pero
sin tener en cuenta la estructura interna de las proposiciones ms simples.
LA LGICA DE CLASES
La lgica de clases analiza la proposicin lgica considerando la pertenencia o no
pertenencia de un elemento o individuo clasificado por poseer una determinada propiedad.1
Sobre esta lgica se formaliza como modelo cientfico la teora matemtica de conjuntos.
Por clase se entiende un conjunto de posibles individuos que tienen una propiedad comn.
Ntese que la clase define una propiedad, no al individuo; lo que diferencia la lgica de
clases de la lgica de predicados. El valor de verdad de la primera viene dado por la
pertenencia o no pertenencia del individuo a la clase; su tabla de valores de verdad lgica se
explicita como tablas de pertenencia.
La relacin entre individuo, conjunto de individuos y clase es compleja y no siempre es clara
en el lenguaje.
A veces se confunden en el lenguaje los individuos o el conjunto de individuos con la clase
lgica o un Todo-lgico, distribuido o no-distribuido, como si fuera un conjunto de individuos
existentes.
La clase tiene sentido aun cuando no existan individuos. As, la clase hombre, como
concepto de hombre, existe como propiedad o concepto aunque no existan los hombres. De
la misma forma que existe el concepto de "caballos con alas", aun cuando no existan
pegasos. Pero ni el concepto pegaso es un "pegaso" ni el concepto hombre es un "individuo
humano" que pertenezca al conjunto.
As, no es lo mismo decir: "Hs = Scrates es un hombre" (donde atribuimos una cualidad que
atae al ser mismo de Scrates), que decir: Scrates pertenece a la clase de los hombres."
Actualmente la lgica llamada tradicional, silogstica, se interpreta como lgica de clases.
LGICA CUANTIFICACIONAL
Es llamada tambin lgica de predicados o lgica de primer orden .La lgica cuantificacional
estudia la composicin ntima de las proposiciones, utiliza nuevos smbolos, leyes y mtodos
para establecer la validez de los razonamientos.
Esta lgica estudia de manera ms detallada los predicados a travs del uso de
cuantificadores que expresan cantidad (todos o algunos).
El sistema de notacin consta de los siguientes elementos, que vienen a ser su lenguaje:
A) Operadores proposicionales
B) Constantes individuales
C) Variables
D) Operadores de cuantificacin o, simplemente, cuantificadores y
E) Metavariables
F) Smbolos de agrupacin.

LGICA TRIVALENTE Y LGICA MODAL

UNA LGICA MODAL
Una lgica modal es un sistema formal que intenta capturar el comportamiento deductivo de
algn grupo de operadores modales. Los operadores modales son expresiones que califican
la verdad de los juicios.1 Por ejemplo, en la oracin es necesario que 2 + 2 = 4, la
expresin es necesario que es un operador modal que califica de necesaria a la verdad del
juicio 2 + 2 = 4. De manera anloga, la expresin siempre califica a un juicio verdadero
como verdadero en cualquier momento, es decir, siempre. No es lo mismo decir est
lloviendo que decir siempre est lloviendo.

En un sentido ms restringido, sin embargo, una lgica modal es un sistema formal que
intenta capturar el comportamiento deductivo de las expresiones es necesario que y es
posible que. Este artculo trata exclusivamente sobre lgicas modales en este sentido
restringido. Las lgicas modales pertenecen al grupo de las llamadas extensiones de la
lgica clsica o lgicas extendidas entre las cuales se incluyen adems la lgica
dentica, la lgica temporal, la lgica epistmica y la lgica doxstica.

LGICA TRIVALENTE
La lgica es el estudio de la estructura y de los principios del razonamiento correcto e intenta
establecer los principios que garantizan la validez de los argumentos deductivos. Trabaja con
proposiciones, las que constituyen descripciones del mundo, afirmaciones o negaciones de
sucesos posibles. La lgica clsica establece que una proposicin solamente puede tomar
una y slo una de dos alternativas: es totalmente verdadera o es totalmente falsa. Esta idea
se formaliza mediante dos principios fundamentales: Principio del tercero excluido. Que
menciona, toda proposicin es verdadera o falsa y no cabe otra posibilidad. Principio de no
contradiccin. Que establece, ninguna proposicin es verdadera o falsa simultneamente. La
lgica clsica es bivalente: si/no, verdadero/falso, blanco/negro, citadino/campesino. Esta
lgica, profundamente arraigada en la cultura occidental, permiti el desarrollo de la ciencia y
la tecnologa en procura de la conquista del mundo natural. Sin embargo, una serie de
paradojas e insatisfacciones tericas estuvieron siempre presentes.

HISTORIA DE LA LOGICA

EPOCA ANTIGUA

PROTAGORAS
Protgoras fue un pensador viajero, celebrado y necesitado all donde fuera. Vivi durante
largas temporadas en Atenas, donde fue conocido de Scrates y amigo de Pericles, quien le
encarg la constitucin para la nueva colonia de Tirios, que redact hacia 444 o 443 a. C. y
en donde por primera vez en la historia, se estableci la educacin pblica y obligatoria.
Tambin viaj a Sicilia y a otras ciudades de Asia Menor en funciones de maestro de retrica
y conducta, recibiendo a cambio cantidades notables de dinero, como el resto de sofistas. El
magisterio que lleg a ejercer en el rea de influencia griega se extendi en el tiempo
durante cuarenta aos, segn nos cuenta Platn.
Platn le dedic uno de sus dilogos, el Protgoras, que an hoy puede leerse como un
cuadro vivo, animado y colorido, aunque con escaso rigor histrico, sobre los distintos tipos
de sofistas que habitaban en la mansin de Colias rico ateniense, una especie de mecenas,
rodeado de intereses comerciales, polticos, artsticos y militares-. Junto a Gorgas, fueron los
nicos sofistas en ser considerados en calidad de filsofos por Platn y Aristteles. Scrates
guardaba gran estima de ellos por sus cualidades retricas y la profundidad de sus
predicados, a pesar del uso que podan hacer de ellos.

En resumen:
Protgoras fue considerado el primer sofista griego. Admirado por ser experto en retrica que
recorra el mundo griego cobrando elevadas tarifas por sus conocimientos acerca del
correcto uso de las palabras u ortoepa. Su aporte fue el arte de usar bien el lenguaje para
lograr lo que quera.

PARMNIDES DE ELEA
Parmnides vivi en Elea y particip en la redaccin de las leyes de su ciudad. Y es posible
que su iniciacin a la filosofa haya sido a travs de los pitagricos.

Inspirado probablemente en la literatura oracular y mistrica, el poema con el cual comienza

Parmnides (citado al inicio de este post) da a entender que el contenido que le sigue debe
considerarse "revelacin" filosfica.

El ncleo fundamental del poema se divide en dos partes:

La va de la verdad (en la que expone su propia doctrina filosfica)

La va de la opinin (doxa), en la que utilizando algunos elementos posiblemente de origen

pitagrico- se expone una cosmologa criticada como "engaosa".

Parmnides pretende pues, construir la va de la verdad. Y as, deducir que el Ser ("lo que
es") es ingnito e imperecedero; finito, continuo y nico; indivisible e inmvil.

En efecto: el ser es imperecedero e engendrado porque en caso contrario habra que

suponer que procede del no-Ser y vuelve a l; pero el no-Ser es impensable e inexistente.
Del mismo modo, el Ser es "uno", ya que si hubiera otra cosa sera el no-Ser. Y tambin
inmvil, porque todo cambio sera hacia el no-Ser. E indivisible, puesto que el vaco que
separara a las partes sera equivalentemente al no-Ser.

SOCRATES Y PLATON

A) SOCRATES
Un aporte esencial de Scrates al progreso del pensamiento y tambin de la ciencia, lo
constituye su descubrimiento y aplicacin del mtodo inductivo, consistente en que, a partir
de los conceptos individuales, particulares, se llegue a obtener conceptos de validez
universal; mtodo que a menudo se resume expresando que es el que va de lo particular a lo
general.

Se reconoce a travs de los dilogos de platn y los escritos de Aristteles. En el campo de

la lgica su pensamiento se identifica con las definiciones tericas ,desarrollando las
oraciones como v o f , as como trata sobre el concepto y la generalizacin de los juicios .De
igual modo , en su pensamiento encontramos el mtodo y sus reflexiones acerca de la
contradicciones

Su aportacin ms importante es el mtodo para llegar a la verdad que revolucion la

manera en cmo deba ser planteada y expuesta, como el hecho de reconocer que solo se
sabe que no sabemos nada algo muy importante antes de querer saber la verdad. Reconocer
tal cosa ayudaba a despejar la mente de ego, soberbia o cualquier cosa que quisiera hacer
sentir al individuo que todo lo sabe y as lograr hacer que fuera fcil concebir una idea que
diera la respuesta oculta en la mente de la persona.
B) PLATON
Su influencia como autor y sistematizador ha sido incalculable en toda la historia de la
filosofa, de la que se ha dicho con frecuencia que alcanz identidad como disciplina gracias
a sus trabajos.

Es considerado como idealista objetivo y el creador del principio de la no contradiccin.

Sostiene que existen ideas innatas y que el hombre lo sabe todo, tambin clasifica las
oraciones en afirmativas y negativas en funcin al verbo copulativo.

Fueron junto con Scrates, los principales filsofos griegos.

El filsofo griego Platn es uno de los pensadores ms influyentes de la historia. Fundo en
Atenas la Academia, considerada por muchos la primera universidad europea, donde se
estudiaba filosofa. Fue alumno de Scrates y maestro de Aristteles. A travs de libros
escritos en forma de dilogos expuso su teora de las ideas, segn la cual distingua entre
nuestro mundo visible y el mundo de las ideas

ARISTTELES
Es reconocido como el padre fundador de la lgica y de la biologa, pues si bien existen
reflexiones y escritos previos sobre ambas materias, es en el trabajo de Aristteles donde se
encuentran las primeras investigaciones sistemticas al respecto.

Entre muchas otras contribuciones, Aristteles formul la teora de la generacin espontnea,

el principio de no contradiccin, las nociones de categora, sustancia, acto, potencia y primer
motor inmvil.

Desarrolla el mtodo deductivo. Clasifica las proposiciones por su cantidad y calidad.

Formula los tres principios bsicos de la lgica: de identidad, de no contradiccin y del tercio
excluido, su aporte ms significativo es la teora del silogismo.

LGICA MEDIEVAL

PORFIRIO DE TIRO
Porfirio se ocupa de lgica sobre todo en su Comentario a las Categoras de Aristteles y en
la Isagoge a la misma obra. La Isagoge es un breve tratado, presentado por Porfirio como
una introduccin necesaria para la comprensin de la doctrina de las categoras de
Aristteles. En el Comentario a las Categoras, escrito en forma de preguntas y respuestas,
Porfirio se detiene en exponer el significado de cada categora, dedicando la primera parte
del comentario a explicar la intencin de Aristteles al escribir su tratado. En las dos obras
Porfirio insiste en el carcter lgico, ni ontolgico ni simplemente gramatical, de la doctrina
aristotlica. Tal premisa es importante, pues le consentir superar las crticas que otros
platnicos entre ellos Platino dirigan a las categoras aristotlicas y lograr as conciliar
su pensamiento con el de Platn.

Tambin en las dos obras Porfirio presenta la lgica aristotlica como una disciplina
propedutica para el estudio de la filosofa. Aristteles no se diriga en las Categoras, como
en la Metafsica, a personas filosficamente formadas, sino a quienes iniciaban a adentrarse
en este saber [Comentario a las Categoras 134. 28-29]. Porfirio contribuy de este modo,
siguiendo en este punto a los estoicos, a fijar el puesto que sucesivamente la lgica ocupar
en el curso de los estudios filosficos, as como el lugar de las Categoras en el conjunto del
rganon, las obras que Aristteles dedic a la lgica.
ANACIUS MANLIUS TORCUATUS SEVERINUS BOETIUM

Representante de Neoplatonismo cristiano. Su aporte mximo es el cuadro tradicional de

oposiciones con el cual intento determinar la convertibilidad de los predicados.

Tambin formulo el famoso cuadro cuadro de las oposiciones que en la actualidad lleva su
nombre

LGICA MODERNA

LEIBNIZ
A partir de estas leyes Leibniz poda probar cualquier silogismo. En lugar del cuadrado de
oposiciones propuso una teora autntica de la verdad que deduce conclusiones a partir de
leyes preestablecidas sustituyendo entre s smbolos idnticos.

Su mtodo incluye la reductio ad absurdum, una herramienta simple pero de gran potencia.
En ella suponemos que un enunciado es verdadero, y se mira qu conclusiones se pueden
sacar de l. Si en esas conclusiones hay una contradiccin, entonces el enunciado inicial es
falso, pues las contradicciones siempre son falsas. Con este mtodo podemos decir si un
enunciado es verdadero aunque no sepamos construir una demostracin del mismo.
Podemos decir que un enunciado es verdadero demostrando que su negacin lleva a una
contradiccin.

Con Leibniz llega un nuevo rganon. La lgica ya no es un instrumento para construir

argumentos convincentes, sino un sistema de reglas de pensamiento. Incluso incluye a Dios
en este mtodo, pues afirma que ni Dios puede crear un mundo en el que fuese verdadera
una contradiccin. Semejantes afirmaciones no eran muy bien recibidas por la intransigente
iglesia de la poca (siglo XVII) y fue tildado de hereje.

El mtodo de demostracin:

El primer axioma es la famosa ley de identidad: a =a.

La ley de no contradiccin: Ningn enunciado es verdadero y falso al mismo tiempo, o "
(p^p).
La ley del tercio excluso: Todo enunciado es o bien verdadero o bien falso, o "p V p".
Una ley de sustitucin, que nos permite sustituir una expresin por otra manteniendo las
mismas condiciones de verdad: (a es b) y (b es c) = (a es c)

GEORGE BOOLE
Considerado uno de los creadores de la lgica matemtica, John Ven descoll por sus
investigaciones en lgica inductiva. Es especialmente conocido por su mtodo de
representacin grfica de proposiciones (segn su cualidad y cantidad) y silogismos.
Los diagramas de Ven permiten, adems, una comprobacin de la verdad o falsedad de un
silogismo.
Posteriormente, y gracias a su claridad y sencillez, sus diagramas se popularizaron y fueron
utilizados para mostrar visualmente las operaciones ms elementales de la teora de
conjuntos, desarrollada desde 1874 por Georg Cantor a partir de las ideas de Bernarda
Bolzano y perfeccionada, ya en el siglo XX, por Ernst Srmelo.
Entre las obras de John Ven destacan La lgica del azar (1866), que versa sobre la teora de
las probabilidades; Lgica simblica (1881), que incluye sus clebres diagramas, y Los
principios de la lgica emprica o inductiva (1889). Curiosamente, en sus ltimos aos no
profundiz en tales materias, sino que se dedic a estudiar la historia del colegio en que se
form y de la Universidad de Cambridge, as como la de su propia familia.

FILOSOFA CONTEMPORNEA

JHON VENN
Propuso representaciones graficas de las proposiciones categricas del silogismo.
Este mtodo recibe el mtodo de diagrama de ven Euler, complementa el trabajo que inicio
George Boole.

GOTTLOB FREGE
Sus escritos sobre la filosofa de la lgica, la filosofa de las matemticas y la filosofa del
lenguaje son de gran importancia. - Una vez dijo: -

Todo buen matemtico es al menos la mitad de un filsofo, y cada filsofo es buena por lo
menos la mitad de un matemtico.

Para la implicacin A B, Frege utiliza una notacin que se coloc a travs de dos lneas
con un ser escrito en la lnea por debajo de B. No es difcil ver por qu su notacin no ha
sobre vivido, un problema en las revolucionarias obras de Frege era la cantidad de espacio
impreso que requiere su notacin; no fue realmente hasta la publicacin de los Principia
Matemtica de Alfred North Whitehead y Bertrand Russell cuando el poder de la lgica
formal, en una notacin menos extensa (pero que requiere muchos signos de agrupacin)
fue apreciable.
Bertrand Russell
 La obra de Bertrand Russell y especialmente la desarrollada en la lgica matemtica est
relacionada con la teora de los conjuntos creada a finales del XlX por el alemn Georg
Cantor, teora que para su exposicin utiliza una simbologa y una operatoria muy parecida a
la de la lgica matemtica. El concepto de conjunto en la teora de Cantor es el mismo que
se utiliza en el lenguaje comn: conjunto de personas, conjunto de letras, etc., en los cuales,
por lo general, no importa el orden de sus elementos.
Un concepto muy importante al cual nos vamos a referir de nuevo, ms adelante, es el de
conjuntos relacionados. Se dice que dos conjuntos estn relacionados cuando a cada uno de
los elementos de uno de ellos se le puede hacer corresponder un elemento del otro sin que
sobre ni falte ninguno por relacionar. La teora de los conjuntos sirve de base a la teora de
los nmeros, dada esta circunstancia, y la de la similitud de estas teoras con la lgica
matemtica, Bertrand Russell dedic gran parte de sus investigaciones al desarrollo de una
teora segn la cual las matemticas pueden fundamentarse exclusivamente en la lgica,
teora que se conoce como Logicismo. En sus intentos de desarrollar el Logicismo, surgieron
paradojas que al no poder ser resueltas satisfactoriamente, entorpecieron el fluir de
razonamientos de Russell en su empeo logicista.
Ante esas dificultades, Russell apel a una cadena de suposiciones ad hoc o a la
introduccin de conceptos como el de clase parecido al de conjunto, y surgieron conceptos
como el de
Sobre el logicismo trabaj independientemente de Russell, en esa poca el lgico y
matemtico alemn Gottlob Frege. Para sus objetivos, Frege introdujo una categora llamada
volumen del concepto. No trataremos de definir esta categora sino de dar una idea de lo que
era para Frege. El concepto lados del cuadrado tiene el mismo volumen que el concepto
estaciones del ao, vrtices del cuadrado, etc. Todos evidentemente, son conjuntos
relacionados con un conjunto de letras como a b c d y claro est define el nmero 4. Esto
que parece una banalidad, tiene gran importancia en la teora de los nmeros pues
constituye la forma abstracta de definir lo que es un nmero natural.
Nmero natural es el ente comn a conjuntos relacionados entre s. Esto es fcil de
entender, por ejemplo: el nmero 12 es el ente comn a las horas de un reloj tradicional, a
los apstoles de Jess, a los meses del ao, a las uvas que algunos comen recibiendo el
Ao Nuevo, etc.
En definitiva, el Logicismo no logr su objetivo de reducir las matemticas a lo lgica pero, en
su intento, se lograron aportes al adecuado uso de la lgica matemtica a las matemticas
en

LUDWIG WITTGENSTEIN

La filosofa de Wittgenstein suele considerarse dividida en dos fases, la segunda de ellas

caracterizada por una crtica radical de las tesis defendidas en la primera; existen, con todo,
rasgos comunes a ambas, como el inters por analizar el lenguaje como mtodo de reflexin
filosfica.

El primer Wittgenstein est representado por el Tractatus logico-philosophicus (1921),

conjunto de aforismos escritos con un lenguaje bastante crptico que, inspirados en el
atomismo lgico de Russell, investigan las relaciones entre el lenguaje y el mundo; el
lenguaje figura el mundo en la medida en que comparte con l la misma estructura lgica,
la cual no puede ser dicha en el lenguaje, sino tan slo mostrada, pues es la condicin
de posibilidad para decir cualquier cosa. Por otro lado, tambin es su lmite, en la medida en
que el lenguaje no puede sino figurar el mundo y, por tanto, nada se puede decir sobre
cuestiones ticas o estticas, que, segn considera el filsofo, son las verdaderamente
importantes.

El segundo Wittgenstein, sin embargo, someti a crtica el supuesto bsico del Tractatus de
que la lgica posee una relacin privilegiada con la estructura del mundo. Consider que sta
corresponda tan slo a uno de los posibles usos del lenguaje (en modo declarativo y
descriptivo), pero que no tena en cuenta la lista abierta de juegos de lenguaje, entre los
que se podra contar el preguntar, el exclamar o el contar chistes. El significado de un
trmino, adems, no puede depender de una proyeccin mental, sino de su uso social, pues
de otro modo no se entiende que sea comprendido por los dems.

JOS FRANCISCO MIR QUESADA CANTUARIAS

En sus obras discute la creencia en la "naturaleza humana" sobre la base de que cualquier
suposicin colectiva acerca de dicha naturaleza va a ser frustrante, y va a tener resultados
pblicos negativos. Se interes por las llamadas "lgicas no ortodoxas
Ha sido el primer americano en ocupar el cargo de Presidente de la Federacin Internacional
de Sociedades de Filosofa, elegido en Mosc en 1990.

Este inters por las comnmente llamadas lgicas no ortodoxas, lo condujo a la creacin de
un nuevo trmino en el campo de la lgica: lgica para consistente.

Una lgica paraconsistente es un sistema lgico que intenta tratar las contradicciones en
forma atenuada. Alternativamente, la lgica paraconsistente es un campo de la lgica que se
ocupa del estudio y desarrollo de sistemas lgicos tolerantes a la inconsistencia.
TIPOS DE RAZONAMIENTO LOGICO
RAZONAMIENTO DEDUCTIVO
Refiere al razonamiento que requiere de una conclusin que parte de determinadas
premisas. Este tipo de razonamiento va del general a lo particular. Este al partir de premisas
se considera como vlido, por lo tanto si las premisas son verdaderas, tambin lo llegarn a
ser las conclusiones.

Tipos de razonamiento deductivo

El categrico, parte de dos premisa, donde al ser verdaderas y el razonamiento es vlido,
se consigue una conclusin verdadera.
Proporcional: en esta se relacionan dos premisas donde una es una condicin para que la
otra se presente, o sea, una es antecedente y otra consecuente.
Disyuncin o dilema: en este la premisa se relacionan como contrarias, con lo cual se
consigue una conclusin al descartar a una de ellas.
Existen dos formas de razonamiento deductivo: el inmediato, donde el cambio de un juicio
es la nica operacin lgica; el mediato, donde se debe dar una relacin de mediacin entre
juicios para llegar a una conclusin.

RAZONAMIENTO INDUCTIVO
Es el tipo de razonamiento donde se crea una conclusin probable que se establece acorde
a las premisas dadas. Este se establece en que si diversos acontecimientos presentan la
misma situacin al de sus premisas, existe la probabilidad de que el resultado sea el mismo.
Se distingue del razonamiento deductivo, por su conclusin, la cual no desprende
obligatoriamente de las premisas. La conclusin en un razonamiento inductivo se consigue
con la observacin directa de ciertos casos particulares. Este va de lo particular a lo generar.
La analoga, la generacin y la causa/ efecto, son los principales tipos de este razonamiento.

Tipos de razonamiento inductivo

Razonamiento inductivo completo: tambin conocido como razonamiento inductivo
perfecto. Este se da cuando se incluye todos los casos particulares en las premisas,
principalmente aquellos casos de la generacin que corresponde de forma individual.
Razonamiento inductivo incompleto: se le llama tambin razonamiento inductivo
imperfecto. Este se muestra cuando nicamente se incluyen en las premisas determinados
casos particulares, en este caso en forma individual de la generalizacin que corresponde.

OBJETIVOS DE LA LOGICA
El objeto de la lgica es el pensamiento. El pensamiento es el producto del pensar; el pensar
es un proceso psicolgico. Todo pensamiento se refiere a algo y tiene una forma con la que
se expresa ese algo.
En el proceso de pensar se distinguen cinco factores:
1) un sujeto, que produce el pensamiento; 2) el pensar, que es el proceso psquico mediante
el cual se produce el pensamiento; 3) Un pensamiento, con un contenido; 4) Un objeto, que a
lo que se refiere el pensamiento; 5) la forma en la que es expresado el pensamiento.
Todo pensamiento tiene las siguientes caractersticas: no es necesario que el sujeto est
pensando para que exista; todo pensamiento tiene un objeto al cual se refiere; los
pensamientos son creaciones intemporales; no estn ligados necesariamente al lenguaje.
Por lo tanto el objeto de la lgica es el estudio de los pensamientos en s, los productos del
pensar.
En los pensamientos se distinguen la materia y la forma. La materia es el contenido del
pensamiento, mientras que la forma es el modo en el que se convierte en propiedad de
nuestro intelecto. Estos conceptos no pueden existir sin el otro.
La lgica como lgica formal, segn Kant, es una ciencia que estudia las formas del
pensamiento prescindiendo de su contenido. En este aspecto la lgica es una ciencia terica
y especulativa, porque obtiene sus resultados de abstraccin y anlisis.
La lgica como ciencia normativa fija normas ideales para poder distinguir los pensamientos
correctos de los falsos.
Existe una diferencia clara entre lgica y psicologa. La segunda estudia objetos que se dan
el tiempo, el pensar; en cambio, la lgica estudia objetos intemporales.
El psicologismo es una doctrina que no distingue entre lgica y psicologa al afirmar que los
fundamentos tericos de la lgica residen en la psicologa.
Husserl ataca el psicologismo con la fenomenologa, la cual consiste en:
1) limitarse a los fenmenos; 2) renunciar a toda explicacin, porque explicar es salirse del
fenmeno; 3) slo podemos describir el fenmeno. La manera con la que aprehendemos el
fenmeno es mediante la intuicin. La intuicin es una aprehensin inmediata que se opone
al pensamiento conceptual que es conocimiento mediato. A este conocimiento se llama
intuicin de esencia o esencial.
Una de las divisiones de la lgica se da a partir de las formas del pensamiento. Las formas
elementales o simples del pensamiento son el concepto, el juicio y el raciocinio. La parte de
la lgica que estudia las formas elementales del pensamiento se le denomina lgica formal.
La parte que estudia las formas ms complejas se denomina metodologa.
Finalmente definimos la lgica como la ciencia de las leyes y las formas del pensamiento,
que nos da normas para la investigacin cientfica y nos suministra un criterio de verdad.