LgicaLa palabra lgica proviene del griego antiguo(logike), que significa intelectual, dialctico, argumentativo, que a su vez deriva de(logos), palabra, pensamiento o razn.

La lgica es la ciencia que se encarga de exponer las leyes, modos y formas del razonamiento. Se trata de una ciencia formal que no tiene contenido, pero que se dedica al estudio de las formas vlidas de inferencia. Es decir, trata del estudio de los mtodos y principios utilizados para distinguir el razonamiento correcto del incorrecto.

En otras palabras, la lgica es:"El conjunto de conocimientos que tienen por objeto la enunciacin de las leyes que rigen los procesos del pensamiento humano; as como de los mtodos que han de aplicarse al razonamiento y la reflexin para lograr un sistema de raciocinio que conduzca a resultados que puedan considerarse como certeros o verdaderos."

El objeto de estudio de esta ciencia son las formas, estructuras o esquemas de pensamiento; por eso mientras las otras ciencias se centran en las relaciones de su objeto de estudio con diversos fenmenos, la lgica se ocupa de las relaciones mismas.Podemos distinguir entre dos tipos generales de lgica:a) Lalgica formal, tambin llamada lgica pura, que es precisamente la ciencia que determina cules son las formas correctas y vlidas de los raciocinios.b) Lalgica material, tambin llamada lgica aplicada, que es en la cual un proceso de raciocinio o de pensamiento se analiza en consideracin al contenido real de sus premisas y que por lo tanto debe llevar a una conclusin que sea concordante con la realidad.Relacin de la lgica con otras cienciasPsicologa:Para algunos la lgica deber ser una parte de la psicologa. Los que apoyan este hecho suelen considerar que la ciencia de lo psquico ha de abarcar todo lo que se relacione con lo mental, y ya que la lgica estudia las formas del pensamiento, de ah surge el supuesto de que lo psicolgico deber determinar a la lgica. Sin embargo, al contrastar ambas ciencias, encontramos que la psicologa presenta un conocimiento demasiado disperso sobre su objeto de estudio, insuficiente como para albergar a lgica dentro de la dbil estructura en que se envuelve lo mental desde el punto de vista psicolgico; por otra parte, a la lgica no le interesan los procesos que generan los pensamientos, solamente le incumbe la estructura correcta o incorrecta de cierto tipo de estos.Matemticas:A partir del siglo XIX surgi con gran auge la tendencia a considerar a la lgica como una parte muy importante de las matemticas, crendose desde ese momento una relacin indisoluble que apostaba por la ruptura definitiva de la lgica con la filosofa. Para varios lgicos del siglo antepasado, las ciencias formales deban estar indisolublemente unidas. En contra parte, los filsofos sealaban un excesivo nfasis en loformalpor parte de los lgicos matemticos, un nfasis que extraviaba a la lgica de su carcter original. Al da de hoy el debate continua vigente, sin que ninguno de los bandos ceda terreno, sin embargo es importante sealar que han surgido relevantes avances de la lgica desde el campo de las matemticas.Metafsica:Los lgicos matemticos han acusado a los filsofos de hacer ontologa con la lgica, lo cual es el principal factor de reticencia sobre la lgica hecha desde el terreno filosfico, con justa o injusta razn, es indudable que algunos lgicos se han perdido en el discurso ontolgico en lugar de atenerse al objeto de estudio de esta ciencia. En un extremo neutral encontramos un bando que acusa tanto a los metafsicos como a los matemticos de extraviar a la lgica de su verdadera naturaleza; conocer las estructuras del pensamiento valido.Gramtica:La lgica se apoya en la gramtica, ya que esta es el estudio de las reglas y principios que regulan el uso de las lenguas y la organizacin de las palabras dentro de una oracin. Los pensamientos se estructuran en palabras distribuidas a lo largo de una oraciones, antes que cualquier anlisis lgico, es indudable que debe existir un uso adecuado de la gramtica; claro que sin caer en el exceso de creer que esta determina a la lgica o viceversa.RaciocinioEs una operacin discursiva por medio de la cual obtenemos un conocimiento nuevo (inferido) que parte de un conocimiento previo. Existen dos tipos generales de raciocinios, a saber:Raciocinio inductivoSe refiere a un conocimiento de los objetos sensibles, es un tipo de razonamiento que parte de ciertas comprobaciones de la experiencia (observacin) para llegar a un punto de validez general. De ah que se pueda decir que es un tipo de conocimiento que parte de un caso singular para llegar al conocimiento universal. Este es el tipo de raciocinio utilizado para elaborar leyes universales en las ciencias.Raciocinio deductivoRecibe su validez de los principios lgicos; en el intervienen varias relaciones lgicas, por lo mismo generalmente se expresa mediante silogismos. Es un razonamiento que parte de un conocimiento universal para aplicarlo en casos singulares.ProposicinTipos de pensamientos en los que se afirma algo, y que se expresan mediante enunciados u oraciones declarativas, con dos posibles y nicas respuestas; verdadero o falso.La proposiciones siempre son declarativas; los enunciados exclamativos, interrogativos o imperativos no pueden ser proposiciones, la razn es porque dichos enunciados no pueden ser respondidos mediante verdadero o falso, como ocurre con las oraciones declarativas.Existenproposiciones simples(elementales) donde solamente se maneja una sola proposicin, yproposiciones compuestas(moleculares) que manejan dos o ms proposiciones encadenadas mediante conectivas lgicas ("no", "y", "o", etc).Lalgica proposicionales la encargada de estudiar las formas en que se relacionan unas proposiciones con otras y, sobre todo, la relacin que se da entre las proposiciones que componen un razonamiento. Es la parte ms elemental de la lgica matemtica y dispone de mtodos especficos para el anlisis de las inferencias; como el lenguaje simblico, en el cual las proposiciones se simplifican a travs de diversos smbolos que abrevian el mensaje, para centrarse especficamente en la estructura lgica de las proposiciones y con ello determinar si son correctas o incorrectas.