Whatsapp icon Whatsapp

Lógica

Lógica pode é tanto um conjunto de regras racionais para a obtenção de um conhecimento quanto a área da filosofia que estuda a validade formal das proposições linguísticas e matemáticas.

A lógica, enquanto propriedade linguística, não se preocupa com a veracidade dos enunciados, mas com a validade formal lógica, ou seja, com a possibilidade de sentido da frase dada por sua estrutura. Se a estrutura de uma frase é correta, isto é, se ela segue um padrão formal correto, podemos dizer que a frase é logicamente válida. Na matemática, é a lógica que garante a estrutura formal racional das equações e demais elementos matemáticos que, de algum modo, relacionam-se.

Não podemos dizer que a lógica em si foi criada, mas sim descoberta. Desde que existe racionalidade, a lógica existe. Quem a descobriu foi Aristóteles. As suas criações dizem respeito apenas à nomenclatura que ele deu e ao estudo sistemático daquilo que era a lógica. A lógica aristotélica, também chamada de lógica clássica, sustenta-se com base em princípios racionais e nos silogismos.

A lógica determina a organização e a validade do pensamento e dos enunciados linguísticos.
A lógica determina a organização e a validade do pensamento e dos enunciados linguísticos.

Na contemporaneidade, Gottlob Frege revolucionou a lógica ao misturar elementos matemáticos e linguísticos para o entendimento de enunciados e ao distinguir as noções de sentido e referente. Isso possibilitou o aprofundamento na programação, o que, por sua vez, forneceu bases para a criação da informática e dos computadores.

Outros filósofos, como os alemães Ludwig Wittgenstein e Rudolf Carnap e o britânico Bertrand Russell, dedicaram-se a estudar as relações entre a lógica e a linguagem, aprofundando os estudos da chamada filosofia analítica da linguagem.

Leia também: Metafísica de Aristóteles: o estudo do ser em geral

Onde surgiu e quem é o criador da lógica?

Os estudos de lógica foram iniciados por Aristóteles, entre 384 a.C e 322 a.C., na Grécia Antiga. Esse grande pensador percebeu que a maior distinção entre o ser humano e os demais animais é a linguagem. Ele também notou que há uma estrutura linguística que deve ser obedecida para que os enunciados tenham sentido.

Essas percepções fizeram com que o filósofo formalizasse uma ciência capaz de entender e classificar os elementos que permitem os enunciados linguísticos com sentido e validade, fundando a lógica.

Não pare agora... Tem mais depois da publicidade ;)

Lógica aristotélica

As investigações de Aristóteles acerca da lógica fizeram-no descobrir que todo o conhecimento válido emitido por enunciados deve respeitar três princípios básicos. São eles:

  • Princípio da identidade: é o que enuncia as identidades dos seres e das coisas. Por meio do verbo ser, o princípio diz o que certa coisa é. Como exemplo, podemos dizer “A é A”. O verbo ser conjugado na primeira pessoa do singular, destacado em vermelho, é o elemento que denota a identidade do objeto. Para pegar um exemplo mais palpável, podemos dizer “isto é um texto”, indicando que a identidade desse objeto a que nos referimos é a categoria “texto”.

  • Princípio da não-contradição: este princípio elementar diz que a identidade de algo não pode ser ela mesma e não ser ela ao mesmo tempo e sob o mesmo aspecto. A sua formulação pode ser pensada da seguinte maneira: não é possível que algo seja e não seja aquilo que é, ao mesmo tempo e sob o mesmo aspecto. É impossível que isto seja um texto e não seja um texto ao mesmo tempo e sob o mesmo aspecto.

  • Princípio do terceiro excluído: algo é ou não é e não há terceira possibilidade. Pensando com base na identidade e na não contradição, podemos afirmar que isto é um texto ou não é um texto, não havendo outra possibilidade. Se isto for um automóvel, por exemplo, deixa de ser um texto, encaixando-se na segunda possibilidade.

Os silogismos são a expressão máxima da lógica aristotélica. Silogismo é uma estrutura linguística dedutiva, baseada em premissas e uma conclusão. Como estrutura dedutiva, o silogismo deve ter uma premissa maior, uma premissa menor e, a partir delas, a conclusão. Pode acontecer de a estrutura dedutiva não ordenar as premissas entre maiores ou menores, como nos exemplos a seguir:

Premissa maior

Todo homem é mortal

Premissa menor

Sócrates é homem

Conclusão

Sócrates é mortal

 

Premissa 1

A é B

Premissa 2

B é C

Conclusão

C é A


Leia também: Relações semânticas entre as palavras

Lógica matemática

Um importante instrumento da lógica matemática são as tabelas de verdade. Essas tabelas possibilitam o entendimento linguístico formal de enunciados linguísticos e de proposições matemáticas. Antes de passar para as tabelas, devemos entender o que significam os símbolos e conectivos que utilizaremos nelas.

  • P e Q são apenas exemplos que podem representar ações ou objetos ou, pensando em enunciados, podem ser sujeito e predicado ou sujeito e verbo.

  • ¬ é o símbolo da negação. Ele tem a função de negar uma afirmação.

  • Ʌ é o símbolo da conjunção. Ele tem a função de juntar dois elementos, equivalendo, na língua portuguesa, ao conectivo “e”. Esse símbolo passa a ideia de adição e de formação de conjuntos.

  • V é o símbolo da disjunção. Ele permite a ideia de dissolução de conjuntos e de alternância. Na língua portuguesa, esse conectivo equivale a “ou”.

  • → é o símbolo condicional. Ele implica uma condição. Para que algo aconteça, é necessário algo anterior. Equivale, na língua portuguesa, a “se e então”.

  • ↔ é o símbolo bicondicional. Ele passa a ideia de uma dupla condição para a formação da proposição.

  • V e F significam apenas se a fórmula ou o enunciado é verdadeiro ou falso.

Vejamos exemplos de tabelas de verdade mais comuns e como elas funcionam:

Negação (¬): a negação ocorre quando se quer negar um termo, desse modo, a negação de “P” é “¬P”. Se “P” é verdadeiro, “¬P” é falso, e vice-versa.

P

¬P

V

F

F

V


Conjunção (Ʌ): a conjunção, na linguagem, é representada por “e”. Será verdadeira se, e somente se, ambos os termos da tabela forem verdadeiros.

P

Q

P Ʌ Q

V

V

V

V

F

F

F

V

F

F

F

F


Disjunção (V): a disjunção equivale, na linguagem, à conjunção alternativa “ou”. Somente será falsa se ambos os termos forem falsos.

P

Q

P V Q

V

V

V

V

F

V

F

V

V

F

F

F


Condicional (→): implica a ocorrência de um termo necessário (Q), mediante o termo suficiente (P). Equivale, na linguagem, ao “se” e “então”.

P

Q

P→Q

V

V

V

V

F

F

F

V

V

F

F

V


Bicondicional (↔): estrutura formada por duas condicionais, ou seja, só será falsa se as proposições tiverem, individualmente, valores diferentes.

A

B

A↔B

V

V

V

V

F

F

F

V

F

F

F

V

Publicado por Francisco Porfírio
Assista às nossas videoaulas

Artigos Relacionados

17 tópicos fundamentais sobre a Filosofia do Círculo de Viena
Leia e descubra 17 pontos fundamentais da filosofia do Círculo de Viena.
Aristóteles
Clique aqui e aprenda um pouco sobre Aristóteles, o grande filósofo grego que iniciou o Período Sistemático da Filosofia.
Empirismo
Clique aqui para saber o que é empirismo e quais são suas características. Conheça os principais filósofos empiristas e o que eles defendiam.
Filosofia Grega
Já se perguntou o motivo pelo qual nós sempre pensamos em Grécia quando falamos de Filosofia? Clique e descubra!
Lógica Matemática
Você já ouviu falar sobre a Lógica Matemática? Conheça um pouco mais sobre essa vertente matemática.

Outras matérias

Biologia
Matemática
Geografia
Física
Vídeos
video icon
Pessoa com as pernas na água
Saúde e bem-estar
Leptospirose
Foco de enchentes pode causar a doença. Assista à videoaula e entenda!
video icon
fone de ouvido, bandeira do reino unido e caderno escrito "ingles"
Gramática
Inglês
Que tal conhecer os três verbos mais usados na língua inglesa?
video icon
três dedos levantados
Matemática
Regra de três
Com essa aula você revisará tudo sobre a regra de três simples.