- Objeto de estudo
- Caracteristicas
- Tipos
- Lógica deôntica
- Lógica bivalente
- Lógica multivalente ou multiuso
- Exemplos
- Referências
A lógica formal, também chamada de lógica teórica ou lógica matemática, que determina formas válidas e corretas de raciocínio são. 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.
Alfred North Whitehead foi um dos proponentes da lógica formal. Fonte: Wellcome Trust
A palavra "lógica" vem do grego antigo λογικήlogik ḗ, que significa "dotado de razão intelectual, dialética e 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 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.
Objeto de estudo
A lógica formal usa aspectos como raciocínio, conceito, julgamentos e demonstração 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. 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 utilizadas 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.
-Está estabelecido sob 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 se centra no estudo do pensamento de cada indivíduo.
Tipos
Lógica deôntica
Vem do grego antigo δέον déon 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. Os músicos são os que tocam na orquestra de rock. Maria é uma 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 um pé 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 "Formal logic" em Retirado 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 em 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