Princípio da capacidade contributiva à luz do constructivismo lógico-semântico - diálogos entre a teoria e prática sob a perspectiva do imposto sobre a renda da pessoa jurídica