Trabalho sobre lógica formal.
Pode-se dizer que a lógica formal estuda certas estruturas de um discurso dentro do próprio discurso. Assim, a "validade" de um raciocínio exposto vai independer da verdade ou não da conclusão: o raciocínio pode ser inválido, embora a conclusão seja verdadeira. E esta validade será dada pelo encadeamento das diferentes proposições que constituem o discurso, se este encadeamento obedecer a algumas regras que são as "leis da lógica formal". De maneira resumida podemos afirmar: a lógica formal estuda alguns aspectos da sintaxe de um discurso, e sua categoria central é a noção de "validade de um raciocínio". Por exemplo: como hoje é Sábado, e a seguir ao Sábado vem sempre o Domingo, então, amanhã será Domingo. Formalmente, …exibir mais conteúdo…
Geralmente os argumentos dedutivos são estéreis, uma vez que eles não apresentam nenhum conhecimento novo. Como dissemos, a conclusão já está contida nas premissas. A conclusão nunca vai além das premissas. Mesmo que a ciência não faça tanto uso da dedução em suas descobertas, exceto a matemática, ela continua sendo o modelo de rigor dentro da lógica. Note que em todos os argumentos dedutivos a conclusão já está contida nas premissas.
Validade
Argumentos tanto podem ser válidos ou inválidos. Se um argumento é válido, e a sua premissa é verdadeira, a conclusão deve ser verdadeira: um argumento válido não pode ter premissa verdadeira e uma conclusão falsa.A validade de um argumento depende, porém, da real veracidade ou falsidade das suas premissas e e de sua conclusões. No entanto, apenas o argumento possui uma forma lógica. A validade de um argumento não é uma garantia da verdade da sua conclusão. Um argumento válido pode ter premissas falsas e uma conclusão falsa.
A Lógica visa descobrir as formas válidas, ou seja, as formas que fazer argumentos válidos. Uma Forma de Argumento é válida se e somente se todos os seus argumentos são válidos. Uma vez que a validade de um argumento depende da sua forma, um argumento pode ser demonstrado como inválido, mostrando que a sua forma é inválida, e isso pode ser feito, dando um outro argumento da mesma forma que tenha premissas verdadeiras