O que é a Compatibilidade
No âmbito da filosofia e da linguística, o termo Compatibilidade é uma característica ou qualidade aplicável a um conjunto de estados de coisas – diz-se que um conjunto de estados de coisas é compatível quando todos os estados de coisas do conjunto podem ocorrer em simultâneo, não existindo, por isso, possibilidade de contradição dentro do próprio conjunto. Pelo contrário, diz-se que um conjunto de estados de coisas é incompatível quando não podem ocorrer todos em simultâneo, podendo existir contradição dentro do próprio conjunto. Assim definidos, a compatibilidade e incompatibilidade é a contraparte metafísica das noções linguísticas de consistência e inconsistência. Gödel chegou a demonstrar que, para teorias de primeira ordem, a noção semântica de compatibilidade (ou incompatibilidade) é equivalente à noção sintática.