A lógica formal , também chamada lógica teórica ou matemática lógica, que determina formas válidas e corretas de raciocínio são. Através desta prática, procuramos diferenciar o certo do errado.
Na lógica formal, os símbolos são usados sem ambiguidade e da forma mais clara possível, para que não possam ser manipulados. Graças a essa prática, é possível desenvolver suas próprias idéias.
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 muito útil para essas disciplinas.
Em geral, a lógica estuda a maneira de pensar. Os primeiros trabalhos realizados em relação à lógica são atribuídos ao filósofo grego Aristóteles, motivo pelo qual ele é conhecido como o pai fundador dessa área de 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 Alonzo Church; o filósofo, matemático e lógico Gottlob Frege; e também o matemático e filósofo Alfred North Whitehead.
Eles também foram grandes defensores Alfred Tarski, KurtGödel, Bertrand Russell e Willard Van Orman Quine, entre outros.
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, a fim de chegar a uma conclusão.
Nesse sentido, estabelece-se que, na lógica formal, o raciocínio é estudado a partir do ponto estruturado, de sua validade ou invalidez.
A lógica formal não é um estudo empírico do processo de raciocínio. Tampouco deve ser confundida com persuasão, pois é necessária a estrutura dos argumentos para se chegar a uma conclusão.
Essa lógica também é conhecida como lógica teórica ou pura e busca conduzir um estudo abstrato do conteúdo ou formas lógicas de argumentos dedutivos, declarações, proposições e sentenças 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.
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 sob um subconjunto de sistemas formais.
– Aplique métodos tão eficientes que, através da lógica formal, o errado possa ser distinguido do 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, poder 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.
-Estudar as estruturas, razão pela qual é comparada à matemática.
-Também está relacionado à psicologia porque se concentra no estudo do pensamento de cada indivíduo.
Tipos
Lógica Deôntica
Ele 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 percussor 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 nuances, tudo é preto ou branco; A escala de cinza é impossível nesse tipo de lógica.
Seus princípios são baseados na lógica aristotélica, que são identidade, não-contradição e o terceiro excluído.
Lógica plurivalente ou polivalente
Esse tipo de lógica nasceu como resultado dos estudos realizados pelos filósofos Jan Łukasiewicz e Emil Post, nos quais afirmam que outros valores que não os já comuns “verdadeiro” e “falso” podem ser admitidos, e que esses valores podem praticamente atingir até o infinito.
Nesse sentido, difere da lógica bivalente, que admite apenas dois valores. Estudos mostram que a lógica plurivalente 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 é responsável pelo estudo dos aspectos filosóficos e estruturais dos argumentos.
Exemplos
Através da lógica formal, é possível adicionar um valor de verdade ou falsidade a um raciocínio específico.
Como explicamos acima, a lógica formal não se concentra em todas as possibilidades que podem ser extraídas de um argumento; Ele se concentra apenas em se isso é verdadeiro ou falso. Nesse sentido, aqui estão 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.
Vacas dão leite. Vacas são mamíferos. Todos os mamíferos dão leite.
-Pedro é branco e Maria morena, então existem pessoas brancas e morenas.
-Maria toca na orquestra de rock. São os músicos que tocam na orquestra de rock. Maria é um músico.
-José tem cabelo preto. Elena tem cabelos castanhos. A filha deles poderia nascer com cabelos pretos ou castanhos.
-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. Espanha está na Europa. Todos os espanhóis são europeus.
– Ana é um ser vivo. Ana é mortal. Todos os seres vivos são mortais.
José ficou molhado de água. A água molhada.
– Maria comeu sua comida quente. Maria queimou quando comeu sua comida quente. Comida quente queima.
A Terra faz parte do universo. No universo existem planetas. Terra é um planeta.
– luz elétrica acende. Há eletricidade nas ruas. A luz elétrica ilumina as ruas.
Referências
- “Lógica formal” na enciclopédia do novo mundo. Retirado em 21 de abril de 2019 da Enciclopédia do Novo Mundo: newworldencyclopedia.org.
- Morton L. Schagrin Ge Hughes “Lógica formal” Retirado em 21 de abril de 2019 de Britannica: britannica.com.
- “Lógica e sua classificação” na Academia. Recuperado em 23 de abril de 2019 de Academia: academia.edu.
- “Lógica formal” no dicionário filosófico. Retirado em 23 de abril de 2019 de Philosophical Dictionary: filosofia.org.
- “Lógica multiuso” no dicionário filosófico. Retirado em 23 de abril de 2019 de Philosophical Dictionary: filosofia.org.
- “Aspectos gerais da lógica” nos ensaios do clube (18 de agosto de 2013). Retirado em 23 de abril de 2019 de Testes de clube: clubensayos.com.
- “Lógica Deôntica” na wikipedia . Retirado em 23 de abril de 2019 da Wikipedia: en.wikipedia.org.
- “Lógica multiuso” na wikipedia . Retirado em 23 de abril de 2019 da Wikipedia: en.wikipedia.org.
- “Lógica bivalente” na wikipedia . Retirado em 23 de abril de 2019 da Wikipedia: en.wikipedia.org