SUA HISTÓRIA

Historicamente a palavra "lógica" tem ido mudando de sentido. Começou sendo uma modelización dos razonamientos, proposta pelos filósofos gregos, e posteriormente tem evoluído para diversos sistemas formais, relacionados com a teoria. Etimológicamente a palavra lógica deriva do termo grego Λογικός logikós derivado de λόγος logos 'razão'.^[2Historicamente considera-se a Aristóteles o fundador da lógica como propedéutica ou ferramenta básica para todas a Ciências., já que foi o primeiro em Linguagem formalizado|formalizar]] completamente o campo.

A lógica formal, como uma análise explícito dos métodos de razonamientos, se desenvolveu originalmente em três civilizações da história antiga: China, Índia e Grécia entre o Século V e no Século I a. C.

Na China não durou muito tempo: a tradução e a investigação escolar em lógica foi reprimida pela dinastía Qin, conforme com a filosofia legista. Na Índia, a lógica durou bastante mais: desenvolveu-se (por exemplo com a nyaya) até que no mundo islâmico apareceu a escola de Asharite, a qual suprimiu parte do trabalho original em lógica. (Apesar do anterior, teve inovações escolásticas índias até princípios do século XIX, mas não sobreviveu muito dentro da Índia Colonial). O tratamento sofisticado e formal da lógica moderna aparentemente prove da tradição grega.

Aristóteles foi o primeiro em empregar o termo “Lógica” para referir ao estudo de argumento-os]]s dentro do "linguagem apofántico" como manifestador da verdade na ciência. Pensava que a verdade se manifesta no julgamento verdadeiro e o argumento válido no silogismo: “Silogismo é um argumento no qual, estabelecidas certas coisas, resulta necessariamente delas, por ser o que são, outra coisa diferente”.

 Nasceu assim a lógica formal. Aristóteles formalizou o quadro de oposição dos julgamentos e as formas válidas do silogismo. Kant no século XVIII pensava que Aristóteles tinha levado a lógica formal a sua perfección, pelo que basicamente até então não tinha tido praticamente modificações de importância. E justificava-o ao considerar que sendo a lógica uma ciência [[forma l, era por isso analítica e a priori, o que justifica sua necessidade e seu universalidade, pois é a razão a que trata consigo mesma com respeito a suas leis do pensar, sem conteúdo de experiência alguma.

Na filosofia tradicional, por outro lado, a “Lógica Informal”, ou o estudo metódico dos argumentos prováveis foi pesquisada pela retórica, a oratoria e a filosofia, entre outros ramos do conhecimento. Especializou-se medularmente na identificação de falacias e paradoxos, bem como na construção correcta do discursos.

Aristóteles assim mesmo considerou o argumento inductivo, base do que constitui a ciência experimental, cuja lógica está unida ao progresso da ciência e ao método.

A partir de mediados do Século XIX a lógica formal começou a ser estudada no campo das matemáticas e posteriormente pelas ciências computacionales, nascendo assim a Lógica simbólica. A lógica simbólica trata de esquematizar os pensamentos de forma clara e sem ambigüedades. Para isso usa uma linguagem formalizada constituído como cálculo.

Deste modo, na idade contemporânea, a lógica geralmente é entendida como um cálculo e se aplica ao razonamientos em uma forma prescripta mediante aplicação de regra]]s de inferencia como um cálculo lógico ou matemático.

Hoje em dia considera-se uma única ciência lógico-matemática cuja expressão mais importante no campo da ciência é a criação de modelo]]s obrigado sobretudo à aplicação técnica no circuitos lógicos que fazem possível a informática e o cálculo numérico.

Conquanto ao longo deste processo a lógica aristotélica pareceu inútil e incompleta, Łukasiewicz mostrou que, apesar de suas grandes dificuldades, a lógica aristotélica era consistente, conquanto tinha que se interpretar como lógica de classes, o qual não é pequena modificação. Por isso a silogística praticamente não tem uso actualmente.

Para a Lógica matemática e a filosofia analítica a lógica é um objecto de estudo em si mesmo, pelo que esta é estudada a um nível mais abstracto.

Existem muitos outros sistemas lógicos, como a lógica dialéctica, lógica difusa, lógica probabilística, lógica modal e a lógica não monótona.

Martin Heidegger —discípulo de Edmund Husserl—, aparta-se destas linhas de consideração da lógica —ainda que sem desprezá-las e compreendendo seu alcance (mas também seus limites), propondo que uma lógica mais originaria poder-se-ia encontrar em um plano prévio às proposições, sentenças, declarações ou julgamentos. Tomar em conta isso poderia levar a um replanteamiento da lógica da proposição ou a lógica do julgamento, já que conduzir-nos-ia a mover nas raízes da lógica tal como tem sido habitualmente entendida, raízes que até agora têm sido insuficientemente atendidas. Para ele, a lógica teria que partir de uma suficiente meditación do λόγος ( lógos), o qual deveria ser distinguido da ratio (razão), que, em rigor, significa fracção. Daí, e a modo de exemplo de seu significado, a denominación de números irracionales, isto é, aqueles que não podem ser representados em forma de fracção.