Lógica formal em estudo, características e exemplos

4765
Anthony Golden

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.

Alfred North Whitehead foi um dos defensores da lógica formal. Fonte: Wellcome Trust [CC BY-SA 4.0 (https://creativecommons.org/licenses/by-sa/4.0)]

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

  • 1 objeto de estudo
  • 2 recursos
  • 3 tipos
    • 3.1 Lógica Deôntica
    • 3.2 Lógica bivalente
    • 3.3 Lógica multivalente ou multiuso
  • 4 exemplos
  • 5 referências

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 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..

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.

-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..

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 deste 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; 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

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..

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 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.

Referências

  1. "Lógica formal" na enciclopédia do Novo Mundo. Obtido em 21 de abril de 2019 da New world encyclopedia: newworldencyclopedia.org.
  2. Morton L. Schagrin Ge Hughes "Formal logic" in Recuperado em 21 de abril de 2019 da Britannica: britannica.com.
  3. "A Lógica e sua classificação" na Academia. Obtido em 23 de abril de 2019 da Academia: academia.edu.
  4. "Lógica formal" no dicionário filosófico. Obtido em 23 de abril de 2019 do Philosophical Dictionary: philosophia.org.
  5. "Lógica multifuncional" no Dicionário Filosófico. Obtido em 23 de abril de 2019 do Philosophical Dictionary: philosophia.org.
  6. "Aspectos gerais da lógica" em Club Essays (18 de agosto de 2013). Obtido em 23 de abril de 2019 do Club Trial: clubensayos.com.
  7. "Lógica deôntica" na wikipedia. Obtido em 23 de abril de 2019 da Wikipedia: es.wikipedia.org.
  8. "Lógica multiuso" na wikipedia. Obtido em 23 de abril de 2019 da Wikipedia: es.wikipedia.org.
  9. "Lógica bivalente" na wikipedia. Obtido em 23 de abril de 2019 da Wikipedia: es.wikipedia.org

Ainda sem comentários