Sobre o verificacionismo e restrições ao princípio do terceiro excluído

O presente artigo mostra como relacionar o problema do Wittgenstein Intermediário em expressar relações conceituais entre cores a alguns problemas com suas observações verificacionistas. Discute-se também alguns problemas concernentes ao princípio do terceiro excluído (PTE) no contexto das Satzsysteme e do verificacionismo em algumas discussões do Circulo de Viena. Para tanto, investiga-se a relação entre inferencialismo e verificacionismo. Lidar-se-á com o assim chamado problema da exclusão de cores e seu impacto no meio notacional tractariano, mas mostrando que tabelas de verdade podem expressar relações de contrariedade, subcontrariedade e contraditoriedade a partir de mutilações sistemáticas de suas linhas. Também se examina como  e por que nos sistemas fenomenológicos PTE parece não valer.