O conhecimento da verdade pode ser abordado por diversas formas, assim o artigo de Alfred Tarski chamado de “Verdade e demonstração” já indica o que será abordado na obra. Em seu estudo, Tarski quer relacionar as noções e dar fundamento na relação entre essas duas palavras: verdade e demonstração. A obra é dividida em três sessões, onde ele se dedica à noção da verdade, à demonstração e por fim, na última sessão, ele explica a relação entre as duas.

Por volta de 1930, Tarski formulou o método semântico. Mas quem foi ele? Como um dos maiores lógicos dos últimos tempos, Alfred Tarski contribuiu em muitas áreas da matemática, como a geometria, lógica algébrica, a teoria da medida e topologia.

Mas o que é a semântica ou o método semântico?

Principais teorias de Alfred Tarski

A semântica é o estudo sobre a definição das palavras, frases e textos de uma língua. Ela pode ser dividida em: descritiva ou sincrônica (que estuda o sentido das palavras) ou histórica e diacrônica (que estuda as mudanças que as palavras sofrem).

A semântica descritiva estuda o significado das palavras, e pode ser dividida dessa forma:

  • Sinonímia: quando as palavras possuem tanto significados iguais como semelhantes.
  • Antonímia: é contrário da definição da sinonímia, assim é a relação das palavras que possuem significados contrários.
  • Polissemia ou homonímia: a mesma palavra pode significar coisas diferentes, porém possuir a mesma forma.
  • Paronímia: as palavras apresentam certa semelhança em sua grafia, porém possuem significados diferentes.

A semântica pode estudar também a denotação e a conotação das palavras:

  • Denotação– a palavra deve se limitar ao seu próprio conceito.
  • Conotação– a palavra pode usar muitas interpretações em seu contexto.

Teorias de Alfred Tarski

Tarski

Teoria da verdade: Após 1920, Alfred Tarski iniciou um projeto sobre a teoria da verdade, já que para ele o principal problema era definir a palavra. Um dos objetivos dessa teoria é compreender o significado desse conceito, assim definir o sentido da verdade.

Mas o que é a verdade? É uma importante questão na filosofia, já que é por meio dela que há a compreensão de conceitos, além de estar presente no nosso dia a dia e em todas as ciências. Podemos resumir e afirmar que a verdade está ligada à crença, ao conhecimento e com a realidade.

Teoria semântica da verdade: essa teoria aponta que a verdade é uma propriedade das sentenças.

Teoria dos modelos: estuda as representações dos conceitos matemáticos.

Teoria dos conjuntos: estuda os conjuntos, que nada mais são do que coleções de elementos.