Objeto lógico formal de estudo, características e exemplos

O lógica formal, Também chamado de lógica teórica ou lógica matemática, determina quais são as formas válidas e corretas do raciocínio. Através dessa prática, procura diferenciar a correção do incorreto.

Na lógica formal, os símbolos são usados ​​sem ambiguidade e da maneira mais clara possível, para que não possam ser manipulados. Graças a essa prática, eles podem desenvolver suas próprias idéias.

Alfred North Whitehead foi um dos defensores da lógica formal. Fonte: Wellcom Trust [CC BY-SA 4.0 (https: // CreativeCommons.Org/licenças/BY-SA/4.0)]

A palavra "lógica" vem do grego antigo λογικήlogike, o 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, estuda lógica a forma de pensamento. Os primeiros trabalhos realizados em relação à lógica são atribuídos ao filósofo grego Aristóteles, e é por isso que ele é conhecido como o pai fundador dessa área de pensamento.

Ao longo da história, vários filósofos, matemática e lógica defenderam a lógica formal. Entre eles, podemos nomear a Igreja Matemática e Lógica de Alonzo; 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.

[TOC]

Objeto de estudo

A lógica formal usa aspectos como raciocínio, conceito, julgamentos e demonstração como um objeto de estudo. A partir desses elementos, analisam e estudam todos os recursos da linguagem e da semântica, a fim de chegar a uma conclusão.

Nesse sentido, está estabelecido que a lógica formal é estudada a partir do ponto estruturado, a partir de sua validade ou incapacidade.

A lógica formal não é um estudo empírico do processo de raciocínio. Nem deve ser confundido com persuasão, pois leva a estrutura dos argumentos para obter uma conclusão.

Pode servir você: a origem da filosofia: como e quando ocorreu?

Essa lógica também é conhecida como lógica teórica ou pura e procura realizar um estudo abstrato do conteúdo ou formas lógicas de argumentos, declarações, proposições e sentenças dedutivas, assertivamente usadas.

A realização de um estudo exaustivo de padrões lógicos formais permitirá que cada indivíduo saiba exatamente os procedimentos associados a seu pensamento.

Caracteristicas

Abaixo estão as características mais particulares que diferenciam a lógica formal dos outros tipos de lógica:

-É uma ciência que estuda a forma da premissa, diferentemente de outros tipos de lógica que apenas estudam 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, a incorreção do direito pode ser distinguida.

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

-Estude e analise as pessoas para se aprofundar diretamente 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 na matemática, filosofia, ciência da computação e estatísticas.

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

-Estude as estruturas, e é por isso que é comparada à matemática.

-Também se refere à psicologia porque se concentra no estudo do pensamento de cada indivíduo.

Pessoal

Lógica deontic

Vem do grego antigo Δέον [τος] Donon [tosse] E significa "o devido" ou "o necessário". A lógica austríaca Alois Höffler é o percussor desse conceito, que se refere ao estudo e análise das normas.

Pode atendê -lo: René Descartes: Biografia, Filosofia e Contribuições

Lógica bivalente

É o tipo de lógica que admite apenas os valores de verdadeiro e falso. 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 multivalente ou versátil

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, ele difere da lógica bivalente, que admite apenas dois valores. Estudos mostram que a lógica multivalente ou versátil lida com valores como a possibilidade, necessidade, nenhuma necessidade, verdade, falsidade e impossibilidade.

Da mesma forma, esse tipo de lógica formal também é responsável por estudar os aspectos filosóficos e estruturais que os argumentos têm.

Exemplos

Através da lógica formal, é possível acrescentar 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 nisso é verdadeiro ou falso. Nesse sentido, listamos alguns exemplos com base 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. Tudo em Portugal fala português.

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

-Pedro é Blanco e María Morena, então há pessoas brancas e morenas.

Pode atendê -lo: pensadores humanistas

-Maria toca na orquestra de rocha. Músicos são aqueles que tocam na orquestra do 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 esquerdo. Cada pessoa tem dez dedos nos pés.

-Espanha é um país. Espanha permanece na Europa. Todos os espanhóis são europeus.

- Ana é um ser vivo. Ana é mortal. Todos os seres vivos são mortais.

- José molhado com água. A água fica molhada.

- Maria comeu sua comida quente. Maria queimou ao comer sua comida quente. Queima de comida quente.

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

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

Referências

1. "Lógica formal" na Enciclopédia do Novo Mundo. Recuperado em 21 de abril de 2019 da New World Encyclopedia: Newworldyclopedia.org.
2. Morton l. Schagrin Ge Hughes "Formal Logic" em recuperado em 21 de abril de 2019 da Britannica: Britannica.com.
3. "Lógica e sua classificação" na academia. Recuperado em 23 de abril de 2019 da Academia: Academia.Edu.
4. "Lógica formal" no dicionário filosófico. Recuperado em 23 de abril de 2019 do Dicionário Filosófico: Filosofia.org.
5. "Lógica multiuso" no dicionário filosófico. Recuperado em 23 de abril de 2019 do Dicionário Filosófico: Filosofia.org.
6. "Aspectos gerais da lógica" no Club Essayos (18 de agosto de 2013). Recuperado em 23 de abril de 2019 nos ensaios de clube: Clubansayos.com.
7. "Deontica Logic" na Wikipedia. Recuperado em 23 de abril de 2019 da Wikipedia: é.Wikipedia.org.
8. "Lógica multiuso" na Wikipedia. Recuperado em 23 de abril de 2019 da Wikipedia: é.Wikipedia.org.
9. "Lógica bivalente" na Wikipedia. Recuperado em 23 de abril de 2019 da Wikipedia: é.Wikipedia.org