Portadores e Criadores da Verdade

Que tipos de coisas são verdadeiras ou falsas, e o que no mundo as torna assim? A teoria dos portadores e criadores da verdade aborda as duas extremidades da relação de verdade.

Definition

Um portador da verdade é uma entidade capaz de ser verdadeira ou falsa (paradoxalmente uma proposição); um criador da verdade é uma entidade no mundo cuja existência necessita a verdade de um dado portador da verdade.

Scope

Este tópico abrange duas questões adjacentes na metafísica da verdade. A questão do portador da verdade pergunta quais entidades — frases, declarações, crenças ou proposições — são os portadores primários dos valores de verdade. A questão do criador da verdade pergunta o que, se algo, na realidade fundamenta uma verdade: estados de coisas, fatos, tropos ou objetos. Trata do princípio do criador da verdade (toda verdade tem um criador da verdade), do maximalismo do criador da verdade e seus problemas (existenciais negativos, universais), e da relação entre a criação da verdade e a teoria da correspondência.

Core questions

• Quais são os portadores primários do valor de verdade?
• Toda verdade requer um criador da verdade, e de que tipo?
• Como as verdades negativas e gerais podem ter criadores da verdade?
• A criação da verdade é apenas correspondência sob um novo nome, ou uma relação distinta?

Key concepts

• portadores da verdade (proposições, frases, crenças)
• criadores da verdade (fatos, estados de coisas, tropos)
• princípio do criador da verdade e maximalismo
• necessitação
• existenciais negativos
• superveniência da verdade sobre o ser

Key theories

Teoria do criador da verdade

Armstrong defende o maximalismo do criador da verdade — toda verdade tem um criador da verdade — e argumenta que os criadores da verdade são estados de coisas cuja existência necessita as verdades relevantes, fornecendo um fundamento ontológico para a verdade.

Criação da verdade como necessitação vs. relevância

Lewis questiona as explicações de necessitação estrita, propondo que a criação da verdade é melhor compreendida através da criação de diferenças ou de recursos teóricos de contrapartida para evitar problemas trivializadores para verdades necessárias.

History

A teoria do criador da verdade surgiu do atomismo lógico de Russell e do trabalho husserliano, foi nomeada e sistematizada por Mulligan, Simons e Smith em 1984, e recebeu uma defesa sustentada por Armstrong em 2004. Debates sobre existenciais negativos e verdades necessárias, e a proposta de Lewis sobre a diferença, refinaram a relação do criador da verdade.

Debates

Maximalismo do criador da verdade e verdades negativas

Se toda verdade, incluindo existenciais negativos como 'não existem unicórnios', requer um criador da verdade, e se sim, o que poderia tornar uma verdade negativa verdadeira sem postular fatos negativos duvidosos ou estados de coisas de totalidade.

Key figures

• D. M. Armstrong
• Kevin Mulligan
• Peter Simons
• Barry Smith
• David Lewis

Seminal works

• mulligan1984
• armstrong2004

Frequently asked questions

Os portadores da verdade são frases ou proposições?

Muitos filósofos consideram as proposições — os conteúdos abstratos expressos por frases — como os portadores primários da verdade, porque a mesma proposição pode ser expressa por diferentes frases em diferentes idiomas. As frases e crenças são então consideradas verdadeiras derivativamente, em virtude da proposição que expressam ou acreditam.