RAZONAMIENTO DEDUCTIVO

El razonamiento deductivo es probablemente el proceso ms usado en matemticas. Cualquiera

que ha resuelto un rompecabezas como el Sudoku ha usado el razonamiento deductivo. Cuando
razonamos deductivamente, usamos hechos conocidos para llegar a conclusiones lgicas que
sabemos son verdaderas. (Deducimos un hecho al unir otros factores.) Esto es distinto que el
razonamiento inductivo, que generaliza y conjetura basado en observaciones en lugar de lgica.
Los matemticos (y el resto de nosotros tambin) a menudo usamos los razonamientos inductivo
y deductivo juntos.
El Razonamiento Deductivo Contra el Razonamiento Inductivo
Imagina que hemos recolectado los resultados de experimentos y observaciones, y decidimos
que hemos encontrado un patrn en los datos. O imagina que tenemos un problema que resolver
pero no estamos seguros de dnde empezar, por lo que tratamos de usar algunas posibles
soluciones para ver qu tipo de resultados obtenemos. El problema es, nuestras generalizaciones
pueden ser o no correctas. Incluso con muchos ejemplos, puede ser difcil si no imposible estar
seguro de que no existe por lo menos un contraejemplo que an no hemos encontrado.
Por esta razn, los matemticos, cientficos, investigadores, y otras personas que hacen
conjeturas normalmente siguen un razonamiento inductivo con un poco de razonamiento
deductivo. Tratan de justificar las conjeturas que han hecho basadas en observaciones. Esto es,
tratan de dar un argumento lgico, una serie de declaraciones verificables que explica el por qu
su conjetura es siempre verdadera.
El razonamiento deductivo es til cuando el razonamiento inductivo no es apropiado, o cuando
no existen suficientes ejemplos para poder generalizar.
Considera rompecabezas como el Sudoku. En un Sudoku, cada fila, columna, y caja de 3 X 3
debe ser llenado con dgitos del 1 al 9. Un dgito no puede ser usado ms de una vez en una
misma fila, columna, o caja.

RAZONAMIENTO INDUCTIVO
El propsito del razonamiento inductivo o lgica inductiva es el estudio de las pruebas que
permiten medir la probabilidad de los argumentos, as como de las reglas para construir
argumentos inductivos fuertes. A diferencia del razonamiento deductivo, en el razonamiento
inductivo no existe acuerdo sobre cundo considerar un argumento como vlido. De este modo,
se hace uso de la nocin de "fuerza inductiva", que hace referencia al grado de probabilidad de
que una conclusin sea verdadera cuando sus premisas son verdaderas. As, un argumento
inductivo es fuerte cuando es altamente improbable que su conclusin sea falsa si las premisas
son verdaderas1
Tradicionalmente se consideraba (y en muchos casos todava se considera) que el razonamiento
inductivo es una modalidad del razonamiento que consiste en obtener conclusiones generales a
partir de premisas que contienen datos particulares o individuales. Por ejemplo, a partir de la
observacin repetida de objetos o eventos de la misma ndole se establece una conclusin
general para todos los objetos o eventos de dicha naturaleza.2 3 4
Sin embargo, esa definicin, en el presente y en lgica, ya no est en uso: Como ya
mencionamos, a veces se expresa la diferencia entre deduccin e induccin diciendo que la

segunda, contrariamente a la primera, va de lo particular a lo general. Si con ello se quiere

decir que en un argumento inductivo vlido las premisas son siempre todas afirmaciones
particulares y la conclusin es una afirmacin general (esto es, cuantificacional).5 6 Lo anterior,
es dado porque es posible tanto enunciar proposiciones inductivas en forma "deductiva"7 como
de manera que no corresponden formalmente a lo que clsicamente se consideraba
razonamiento inductivo.8
Consecuentemente, en el presente, mucho de la inferencia sinttica o contingente ahora se
toma como inductiva, algunas autoridades van tan lejos como a considerar toda inferencia
contingente como inductiva.9 (ver Juicios analticos y sintticos10 y Peirce en la induccin como
probabilidad ms abajo).
Muchos consideran que, a pesar que la induccin no puede ser validada (ver Problema de la
induccin y ms abajo), dado que expande nuestro conocimiento del mundo real, es parte
indispensable del mtodo cientfico:11 "La gran ventaja de la induccin no es que se puede
justificar o validar, como puede la deduccin, pero que, con cuidado y un poco de suerte, puede
corregirse, como otros mtodos no lo hacen."12
CUANTIFICADORES
A instancias de la lgica, de las matemticas y de la teora de conjuntos, los cuantificadores son
smbolos que se emplean en los mencionados contextos para poder sealar cuantos o los tipos
de elementos que integran un conjunto dado y que cumplen con determinada propiedad.
Nos podremos encontrar con una variedad de cuantificadores, aunque, entre los ms empleados
se cuentan: cuantificador universal y cuantificador existencial.
El cuantificador universal, que se simboliza as: , es empleado con la misin de establecer que
todos los elementos de un conjunto cumplen con una propiedad dada. Por su parte, el
cuantificador existencial, ser usado para sealar que existen uno o ms elementos en el
conjunto en cuestin que cumplen con una determinada propiedad.
Cabe destacarse que esta palabra se halla en estrecha relacin con otro concepto, el de
cuantificar, el cual implica una accin que es la de enunciar una cantidad.
Entonces, de esto se desprende que ambos conceptos se vinculan con lo cuantitativo que implica
la indicacin de una magnitud a partir de nmeros.
Siempre que se cuantifique algo se estar poniendo la situacin en cuestin en nmeros, hecho
que permite a veces conocer la magnitud o el alcance que pueda tener esa situacin.
As, por ejemplo, cuando se dice que un choque de autos en cadena dej el saldo de 10 muertos
y 20 heridos nos permite saber que se trat de un accidente realmente importante y de alto
impacto porque justamente hubieron varias vctimas. La cuantificacin es una actividad hper
presente en nuestra vida cotidiana, no solamente nos permite conocer los alcances de un evento
dado sino tambin nos permite pedir una determinada cantidad de algo para de esa manera no
adquirir algo en demasa, o en su defecto que luego nos falte algo y nos impida realizar aquella
tarea o accin prevista.
APLICACION DE LA LOGICA Y SUS RELACIONES CON OTRAS CIENCIAS
Relaciones de la Lgica con otras ciencias
La lgica est relacionada con todas las ciencias, porque como dijo Cohen, es el aspecto formal
de todo cuanto existe. En forma general diramos:
Desde el punto de vista formal todas las ciencias estn integradas por conceptos, juicios y
razonamientos, los cuales son la parte fundamental del objeto de la lgica.
As mismo, les proporciona a todas las ciencias la teora para las demostraciones cientficas. No
se puede hablar de ciencia si esta no est organizada conforme a las leyes de la lgica.
La metodologa es lgica aplicada, inferida de numerosos casos cientficos. Dichos procesos
lgicos se deben observar si se desea obtener el conocimiento cientfico.
De manera especial, est vinculada con la matemtica, la psicologa, la lingstica, la filosofa,
computacin, ciencia, gramtica, y con la teora del conocimiento.
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.
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.
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 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 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.
Leer ms: http://www.monografias.com/trabajos89/logica-su-relacion-otras-ciencias/logica-surelacion-otras-ciencias.shtml#ixzz46slxVSTl
APLICACIN DE LA LOGICA
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 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 mantuvieron siempre una relacin con los
argumentos formulados en lenguaje natural. Por eso aunque eran formales, no eran formalistas.2
Hoy esa relacin se trata bajo un punto de vista completamente diferente. La formalizacin
estricta ha mostrado las limitaciones de la lgica tradicional o aristotlica, que hoy se interpreta
como una parte pequea de la lgica de clases.
https://es.wikipedia.org/wiki/L%C3%B3gica