filosofia

Noções de lógica
A Lógica é o estudo filosófico do raciocínio válido . Utilizada em atividades mais intelectuais, a lógica é usada principalmente nas disciplinas de filosofia, matemática, semântica e ciência da computação. Ela examina de forma genérica as formas que a argumentação pode tomar, quais dessas formas são válidas e quais são falaciosas. Em filosofia, o estudo da lógica aplica-se na maioria dos seus principais ramos: metafísica, ontologia, epistemologia e ética. Na matemática, estuda-se as formas válidas de inferência de uma linguagem formal. Por fim, a lógica também é estudada na teoria da argumentação .
A lógica foi estudada em várias civilizações da Antiguidade. Na Índia, a recursão silogística, Nyaya remonta a 1900 anos atrás. Na China, o Moísmo e a Escola dos Nomes datam de à 2200 anos atrás. Na Grécia Antiga a lógica foi estabelecida como disciplina por Aristóteles, com a sua obra Organon. Ele dividiu a lógica em formal e material. O estudo da lógica era parte do Trivium clássico , juntamente com a gramática e a retórica.
A lógica é frequentemente dividida em três partes: o raciocínio indutivo, o raciocínio abdutivo e o raciocínio dedutivo.
Exemplo: Alguém sente um cheiro de queimado e diz: ‘Estou sentindo um cheiro de queimado.’, ‘Está pegando fogo em algo.’ Estas duas frases são denominadas de “proposições”. Através de uma sensação olfativa foi possível uma constatação e uma inferência. A frase constatativa pode ou não ser um engano, pode ou não ser verdadeira, mas iremos discutir isso no próximo item. Já a segunda frase é uma inferência a partir da primeira frase. O raciocínio fica assim: Se estou sentindo um cheiro de queimado, logo algo está queimando, ou logo algo está pegando fogo. A conclusão ‘algo está pegando fogo’ foi inferida de ‘estou sentindo cheiro de queimado’, portanto para inferir a conclusão foi necessária a premissa constatada pelo sentido do olfato. Claro é também que a conclusão poderia ser dita sem ter sido dita a