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