O lógica formal, Também chamada de lógica teórica ou lógica matemática, determina quais são as formas válidas e corretas de raciocínio. Através desta prática, procuramos diferenciar o que é correto do que é incorreto.
Na lógica formal, os símbolos são usados de forma inequívoca e tão clara quanto possível, de modo que não podem ser manipulados. Graças a esta prática é possível desenvolver suas próprias ideias.
A palavra "lógica" vem do grego antigo λογικήlogike, que significa "dotado de razão intelectual, dialética, argumentativa". A lógica é um dos ramos da filosofia e da matemática e é considerada muito útil para essas disciplinas.
Em geral, a lógica estuda a forma de pensamento. Os primeiros trabalhos realizados em relação à lógica são atribuídos ao filósofo grego Aristóteles, razão pela qual é conhecido como o pai fundador desta área do pensamento..
Ao longo da história, vários filósofos, matemáticos e lógicos defenderam a lógica formal. Entre eles podemos citar o matemático e lógico Igreja Alonzo; o filósofo, matemático e lógico Gottlob Frege; e o também matemático e filósofo Alfred North Whitehead.
Alfred Tarski, KurtGödel, Bertrand Russell e Willard Van Orman Quine, entre outros, também foram grandes defensores..
Índice do artigo
A lógica formal usa aspectos como raciocínio, conceito, julgamentos e demonstração como objeto de estudo. A partir desses elementos analisa e estuda todos os recursos da linguagem e da semântica, para chegar a uma conclusão..
Nesse sentido, estabelece-se que na lógica formal o raciocínio é estudado do ponto de vista estruturado, desde sua validade ou invalidade..
A lógica formal não é um estudo empírico do processo de raciocínio. Também não deve ser confundido com persuasão, uma vez que é necessária a estrutura dos argumentos para se obter uma conclusão.
Essa lógica também é conhecida como lógica teórica ou lógica pura, e visa realizar um estudo abstrato dos conteúdos ou formas lógicas dos argumentos dedutivos, enunciados, proposições e frases usadas de forma assertiva..
A realização de um estudo exaustivo dos padrões lógicos formais permitirá que cada indivíduo saiba exatamente os procedimentos associados ao seu pensamento..
Abaixo estão as características mais particulares que diferenciam a lógica formal de outros tipos de lógica:
-É uma ciência que estuda a forma da premissa, ao contrário de outros tipos de lógica que estudam apenas o material.
-É uma estrutura sem matéria.
-É estabelecido sob um subconjunto de sistemas formais.
-Aplica métodos tão eficientes que através da lógica formal você pode distinguir o que está errado do que é certo.
-As conclusões do raciocínio correto ou válido surgem porque a estrutura das premissas verdadeiras é analisada.
-Estude e analise as pessoas para chegar diretamente ao pensamento e, assim, ser capaz de estabelecer novos padrões na mente de cada indivíduo.
-É caracterizado por ser simbólico.
-Do ponto de vista de uma ciência formal, ela desempenha um papel importante em matemática, filosofia, ciência da computação e estatística..
-Está relacionado à gramática devido ao estudo da semântica.
-Estruturas de estudo, por isso é comparado à matemática.
-Também está relacionado com a psicologia porque se concentra no estudo do pensamento de cada indivíduo..
Vem do grego antigo δέον [τος] déon [tosse] e significa "o que é devido" ou "o que é necessário". O lógico austríaco Alois Höffler é o pioneiro deste conceito, que se refere ao estudo e análise de normas..
É o tipo de lógica que suporta apenas valores verdadeiros e falsos. Ele não acredita em sombras, tudo é preto ou branco; escala de cinza é impossível neste tipo de lógica.
Seus princípios baseiam-se na lógica aristotélica, que são a identidade, a não contradição e o terceiro excluído..
Este tipo de lógica nació a raíz de los estudios realizados por los filósofos Jan Łukasiewicz y Emil Post, en los cuales exponen que se pueden admitir otros valores distintos de los ya comunes “verdadero” y “falso”, y que dichos valores pueden llegar prácticamente até o infinito.
Nesse sentido, difere da lógica bivalente, que admite apenas dois valores. Estudos mostram que a lógica multivalente ou polivalente lida com valores como possibilidade, necessidade, não necessidade, verdade, falsidade e impossibilidade.
Da mesma forma, esse tipo de lógica formal também se encarrega de estudar os aspectos filosóficos e estruturais dos argumentos..
Por meio da lógica formal, é possível agregar um valor de verdade ou falsidade a um raciocínio específico.
Como explicamos anteriormente, a lógica formal não enfoca todas as possibilidades que podem ser extraídas de um argumento; ele apenas se concentra em saber se isso é verdadeiro ou falso. Nesse sentido, listamos a seguir alguns exemplos baseados na lógica formal:
-Buenos Aires é a capital da Argentina; Então, todos os nascidos em Buenos Aires são argentinos.
-João fala português. João nasceu em Portugal. Todos em portugal falam portugues.
-As vacas dão leite. As vacas são mamíferos. Todos os mamíferos dão leite.
-Pedro é branco e Maria é morena, então tem gente branca e parda.
-Maria toca na orquestra de rock. Os músicos são os que tocam na orquestra de rock. Maria é musica.
-José tem cabelo preto. Elena tem cabelos castanhos. A filha deles pode nascer com cabelo preto ou castanho.
-O pé tem cinco dedos. Os seres humanos têm um pé direito e um pé esquerdo. Cada pessoa tem dez dedos..
-A Espanha é um país. A Espanha permanece na Europa. Todos os espanhóis são europeus.
- Ana é um ser vivo. Ana é mortal. Todas as coisas vivas são mortais.
- José se molhou com água. A água fica molhada.
- Maria comeu sua comida quente. Maria se queimou comendo sua comida quente. Comida quente queimada.
- A Terra faz parte do universo. Existem planetas no universo. A terra é um planeta.
- A luz elétrica acende. Há luz elétrica nas ruas. Luz elétrica ilumina as ruas.
Ainda sem comentários