Lógica

Muitas pessoas são introduzidas à lógica e se depararam com as seguintes perguntas: O que é lógica? Para que serve a lógica? Qual seu objeto de estudo?

Tais perguntas devem fazer completo sentido, e revelam-se relevantes a todo aquele que se interessa não apenas por aprender uma determinada técnica, mas também por conhecer os seus fundamentos e o seu objetivo.

Você pode abrir um livro de lógica e deparar-se com a seguinte passagem:

1      (1)  p→q       A

2      (2)  ¬q          A

1,2   (3)  ¬p          1,2MP

Caso ainda não conheça lógica, a passagem pode fazer tanto sentido quanto a sentença:

“a melão senhora bombeiros de”.

Para que a passagem faça sentido, você precisa dominar a sintaxe da lógica formal e seus métodos de prova – e isto exige um estudo técnico, em que você introjeta certas regras e memoriza certas convenções.

No entanto, a lógica não é apenas um conjunto de regras e postulações.

A despeito da maneira como se expressa relações lógicas, a lógica ocupa-se de argumentos.

É perfeitamente possível que haja outros sistemas de formalização lógica, com outras postulações, outra sintaxe e sinais até mesmo por nós desconhecidos – porém, se este sistema é um sistema lógico, então ele se ocupa de argumentos, e mostra não apenas como avaliar argumentos, mas também como construir bons argumentos.

A lógica ocupa-se de argumentos, e pode-se inclusive afirmar que o objeto de estudo da lógica é uma certa classe de argumentos. Porém, de início não fica claro por que a lógica ocupa-se de argumentos. Eu posso estudar argumentos com a finalidade de desenvolver técnicas para torná-los mais persuasivos, por exemplo. Este pode ser o caso se tenho o plano de atingir algum objetivo que envolve convencer as pessoas de que algo é verdadeiro, ou de que algo é bom e valioso, mesmo não sendo.

Mas esta não é a finalidade da lógica na sua avaliação e estudo de argumentos: a propriedade dos argumentos que interessa à lógica não é a sua força persuasiva ou seu valor prático, mas sim a sua validade.

A validade é uma relação entre valores de verdade.

Ela é expressa ao se dizer que, dado que determinadas proposições (ou sentenças, ou afirmações) são verdadeiras, então necessariamente outra proposição é verdadeira. Assim, se houver uma relação entre as premissas de um argumento e sua conclusão tal que é impossível que a conclusão seja falsa quando as premissas são verdadeiras, então esta é uma relação de validade.

A lógica é o estudo da validade de argumentos. A lógica é uma instrumento e linguagem formal ( onde a forma é o importante), como a matemática, ocupa-se essencialmente de relações. A diferença está em que a lógica se ocupa de relações entre proposições ou sentenças, e não somente de números, funções geométricas, operações algébricas. E na lógica há apenas valores binários:

1 - 0

Verdade - Falsidade.

Na Lógica uma coisa não pode ser e não ser ao mesmo tempo, por isso na lógica não há contradição.

Uma coisa não pode ser verdade e falsidade ao mesmo tempo, nem em outros tempos e lugares. O valor lógico é universal e satisfatório.

A Lógica  é o estudo do raciocínio válido.

Utilizada em atividades mais intelectuais, a lógica é estudada 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.

Por fim, a lógica também é estudada na teoria da argumentação.

A lógica é frequentemente dividida em três partes:

O raciocínio indutivo:

          

O método indutivo ou indução é o raciocínio que, após considerar um número suficiente de casos particulares, conclui uma verdade geral. A indução, ao contrário da dedução, parte de dados particulares da experiência sensível. De acordo com o indutivista, a ciência começa com a observação

O raciocínio abdutivo:

O raciocínio abdutivo geralmente começa com um conjunto incompleto de observações e prossegue para a mais provável explicação possível para o grupo de observações. Baseia-se em fazer e testar hipóteses usando a melhor informação disponível. Muitas vezes, implica fazer um palpite educado depois de observar um fenômeno para o qual não há uma explicação clara.

           O raciocínio dedutivo:

          

O raciocínio dedutivo é uma das duas formas básicas de fundamentação válida. Começa com uma hipótese geral ou fato conhecido e cria uma conclusão específica dessa generalização.

          Leis Gerias da Lógica:

Contradição:

Não há uma proposição falsa e real ao mesmo tempo;

Meio excluído:

          

Ou é F ou é V não há um terceiro valor;

Funcionalidade:

O valor de um proposição composta P (q,r,s) é V ou F determinado o valor das proposições que a contém.