Teorias, frameworks, e ontologia

Resumen

Utilizando as noções de Carnap de “questões [ou asserções] dentro de um framework” e “questões [ou asserções] sobre um framework” e sua explicação da A-verdade (analiticidade no sentido amplo), uma teoria do estatuto ontológico de entidades — em particular, de entidades teóricas — é esboçada. Além das L-regras usuais, cada framework conceitual considerado incorpora um conjunto de sentenças cujo valor de verdade é rapidamente decidível por outros motivos que não puramente linguísticos, um conjunto de fórmulas A-verdadeiras e um conjunto de regras para a confirmação e desconfirmação de fórmulas não-L-verdadeiras, não-A-verdadeiras que não são rapidamente decidíveis. São fornecidos os critérios que os conjuntos aceitáveis de fórmulas A-verdadeiras devem cumprir.