COMPATIBLE

En el sentido riguroso del término, ‘compatible’ es sinónimo de ‘consistente’. Así, para Schröder los elementos de una multiplicidad son compati­bles (verträglich) entre sí si son consistentes, y viceversa. Cabe decir que dos o más proposiciones compatibles entre sí son (lógicamente) consistentes. La sinonimia de ‘compa­tible’ con ‘consistente’ es común al tratarse de sistemas formales; las cuestiones metalógicas suscitadas por la noción de consistencia son paralelas a las que puede suscitar la no­ción de compatibilidad.

En un sentido menos riguroso, ‘compati­ble’ significa simplemente «acorde con» o «está de acuerdo con». Dadas dos proposiciones, p y q, p es compatible con q, y q es compatible con p si no hay nada en p que sea contradictorio con q y no hay nada en q que sea contradictorio con p. Sin embargo, p y q pueden ser compatibles entre sí sólo porque o p o