A lógica tem suas raízes ligadas à Filosofia e pode ser considerada como uma forma de pensar de modo organizado, ou ainda como um ramo da Filosofia que cuida das regras do pensamento racional. Quando nos referimos a lógica clássica uma ideia ou é verdadeira ou é falsa, não existindo uma terceira possibilidade. Tal fato acontece em nosso dia a dia? Por exemplo, quando falamos em estar com fome podemos fazer as seguintes afirmações: podemos estar com fome, não estarmos com fome, pouca fome, muita fome. Tal pensamento é algo inerente ao ser humano e que computadores, por exemplo, não são possíveis de processar, visto que utilizam uma lógica em que são aceito apenas dois valores, sim ou não. Diante da inviabilidade de ser apenas respostas verdadeiras ou falsas em nosso dia a dia, surgiram outros tipos de lógica que consideram outros valores lógicos. Por exemplo, há um tipo de lógica que mesmo conhecendo as informações necessárias sobre a situação, dizer algo entre "sim" e "não" não basta, sendo mais apropriado respostas como "talvez", "quase". Nesse sentido existem tipos de lógica em que apenas os princípios da lógica formal não são suficientes, sendo necessário uma complementação ou ainda lógicas que rompem com os paradigmas da lógica formal. A proposta é que você faça uma discussão sobre os diferentes tipos de lógica e a lógica formal. Nessa discussão você deve: a) Caracterizar um tipo de lógica, que não seja a formal. Quando possível exemplifique em que áreas pode ser utilizada. b) Mostrar em que aspectos o tipo de lógica explicado no item a se diferencia da lógica formal. Lembre-se que o objetivo do fórum é realizar uma discussão e reflexão, assim escreva com suas próprias palavras sobre o tema proposto. Participe e acompanhe o fórum.
Soluções para a tarefa
A lógica é o estudo do raciocínio e das inferências. É um conjunto de perguntas e análises que permitiram compreender como os argumentos válidos diferem das falácias e como chegamos a elas.
Tradicionalmente, quatro tipos principais de lógica são reconhecidos, cada um com alguns subtipos e especificidades. Veremos a seguir do que trata cada um.
- Lógica formal: também conhecida como lógica tradicional ou lógica filosófica, é o estudo de inferências com conteúdo puramente formal e explícito.
- Lógica informal: é uma disciplina mais recente, que estuda, avalia e analisa os argumentos empregados na linguagem natural ou cotidiana.
- Lógica simbólica: analisa as relações entre os símbolos. É encarregado de estudar problemas que a lógica formal tradicional considera complicados ou difíceis de resolver
- Lógica matemática: inclui tanto a aplicação da lógica formal às matemáticas, como a plicação da linguagem matemático na construção de sistemas lógicos e faz posível reproducir a mente humana.
Resposta:
Alguns tipos de lógicas informais ocorrem em relacionamentos interpessoais, propagandas, debates políticos, argumentos legais e nos comentários sociais encontrados em jornais, televisão, internet e outras formas de comunicação de massa. Logicas informais são linguagens naturais.
A logica informal estuda os argumentos na linguagem comum para fornecer critérios de avaliação, de critica e de construção.
A logica formal estuda a estrutura ou a forma dos argumentos para determinar se a conclusão foi ou não inserida corretamente. Domínio do constringente ou demonstrativo, isto é, da relação necessária entre premissas e conclusão.
Explicação:
A logica formal estuda a estrutura ou a forma dos argumentos para determinar se a conclusão foi ou não inserida corretamente. Domínio do constringente ou demonstrativo, isto é, da relação necessária entre premissas e conclusão