Lógica formal

LÓGICA ARISTOTÉLICA O que é lógica? A lógica faz parte do nosso cotidiano. Na família, no trabalho, no lazer, nos encontros entre amigos, na política, sempre que nos dispomos a conversar com as pessoas usamos argumentos para expor e defender nossos pontos de vista. Os pais discutem com seus filhos adolescentes sobre o que podem ou não fazer, e estes rebatem com outros argumentos. Se assim é, tanto melhor que saibamos o que sustenta nossos raciocínios, o que os torna validos e em que casos são incorretos. O estudo da lógica serve para organizar as ideias de modo mais rigoroso, para que não nos enganemos em nossas conclusões. Vamos aqui examinar como surgiu a lógica na Antiguidade Grega. Embora os sofistas e também Platão tenham se ocupado com questões lógicas, nenhum deles o fez com a amplitude e o rigor alcançados por Aristóteles (séc. IV a.C.). O próprio Filósofo, porém, não denominou seu estudo de lógica, palavra que só apareceu mais tarde, talvez no século seguinte, com os estoicos. A ETIMOLOGIA Lógica. Do grego logos, palavra "expressão", "pensamento", "conceito", "discurso", "razão". A obra de Aristóteles dedicada a lógica chama-se Analíticos e, como o próprio nome diz, trata da analise do pensamento nas sua partes integrantes. Essas e outras obras sobre lógica foram reunida com o titulo de Organon, que significa “instrumento” e, no caso, instrumento para se proceder corretamente

no pensar.

Vejamos o que significa a lógica, como instrumento do pensar.  O estudo dos métodos e princípios da argumentação;  A investigação das condições em que a conclusão de um argumento se segue necessariamente de enunciados iniciais, chamados premissas;  O estudo que estabelece as regras da forma correta das operações do pensamento e identifica as argumentações não válidas. Termo e Proposição A proposição é um enunciado no qual afirmamos ou negamos um termo (um conceito) de outro. No exemplo “Todo cão é mamífero” (Todo C é M), temos uma proposição em que o termo