Lógica formal: objeto de estudo, características e exemplos - Ciência - 2023

Contente

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. Por meio dessa prática, buscamos diferenciar o que é correto do que é incorreto.

Na lógica formal, os símbolos são usados de forma inequívoca e da maneira mais clara 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 λογικήlogikḗ, que significa "dotado de razão intelectual, dialética, argumentativa". A lógica é um dos ramos da filosofia e da matemática e é considerada de grande utilidade 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 também o 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.

Objeto de estudo

A lógica formal usa aspectos como raciocínio, conceito, julgamentos e prova como objeto de estudo. A partir desses elementos ele 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. Nem 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 da lógica formal permitirá a cada indivíduo saber exatamente os procedimentos associados ao seu pensamento.

Caracteristicas

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 em um subconjunto de sistemas formais.

-Aplicar métodos tão eficientes que através da lógica formal você possa distinguir o que está errado do que é certo.

-As conclusões do raciocínio correto ou validade surgem porque a estrutura das premissas verdadeiras é analisada.

-Estudar e analisar pessoas para ir direto 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, desempenha um papel importante em matemática, filosofia, informática e estatística.

-Está relacionado com a gramática devido ao estudo da semântica.

-Estudar estruturas, por isso é comparado com a matemática.

-Também está relacionado com a psicologia porque foca no estudo do pensamento de cada indivíduo.

Tipos

Lógica deôntica

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 desse conceito, que se refere ao estudo e análise de normas.

Lógica bivalente

É o tipo de lógica que suporta apenas valores verdadeiros e falsos. Ele não acredita em sombras, tudo é preto ou branco; a 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.

Lógica multivalente ou multiuso

Esse tipo de lógica nasceu a partir dos estudos realizados pelos filósofos Jan Łukasiewicz e Emil Post, nos quais afirmam que outros valores além do já comum "verdadeiro" e "falso" podem ser admitidos, e que esses valores podem atingir praticamente 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, este tipo de lógica formal também se encarrega de estudar os aspectos filosóficos e estruturais dos argumentos.

Exemplos

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 português.

-As vacas dão leite. As vacas são mamíferos. Todos os mamíferos dão leite.

-Pedro é branco e María é morena, então tem gente branca e parda.

-María toca na orquestra de rock. Músicos são aqueles que tocam na orquestra de rock. María é musicista.

-José tem cabelo preto. Elena tem cabelo castanho. A filha deles pode nascer com cabelo preto ou castanho.

-O pé tem cinco dedos. Os seres humanos têm um pé direito e outro esquerdo. Cada pessoa tem dez dedos.

-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. Queimaduras de comida quente.

- A Terra faz parte do universo. No universo existem planetas. A Terra é um planeta.

- A luz elétrica acende. Há luz elétrica nas ruas. A luz elétrica ilumina as ruas.

Referências

"Lógica formal" na enciclopédia do Novo Mundo. Obtido em 21 de abril de 2019 da New world encyclopedia: newworldencyclopedia.org.
Morton L. Schagrin Ge Hughes "Lógica formal" em Recuperado em 21 de abril de 2019 da Britannica: britannica.com.
"A Lógica e sua classificação" na Academia. Recuperado em 23 de abril de 2019 da Academia: academia.edu.
"Formal Logic" no Dicionário Filosófico. Obtido em 23 de abril de 2019 do Philosophical Dictionary: philos.org.
"Lógica polivalente" no Dicionário Filosófico. Obtido em 23 de abril de 2019 do Philosophical Dictionary: philos.org.
"Aspectos gerais da lógica" em Club Essays (18 de agosto de 2013). Obtido em 23 de abril de 2019 no Club Trials: clubensayos.com.
"Lógica deôntica" na wikipedia. Obtido em 23 de abril de 2019 na Wikipedia: es.wikipedia.org.
"Lógica multiuso" na wikipedia. Obtido em 23 de abril de 2019 na Wikipedia: es.wikipedia.org.
"Lógica bivalente" na wikipedia. Obtido em 23 de abril de 2019 da Wikipedia: es.wikipedia.org