This article investigates the connections between the logics of being wrong, introduced in Steinsvold (2011, Notre Dame J. Form. Log., 52, 245-253), and factive ignorance, presented in Kubyshkina and Petrolo (2021, Synthese, 198, 5917-5928). The first part of the paper provides a sound and complete axiomatization of the logic of factive ignorance that corrects errors in Kubyshkina and Petrolo (2021, Synthese, 198, 5917-5928) and resolves questions about the expressivity of the language. In the second half, it is shown that the relationship between the two logics suggests an alternative axiomatization for the logic of factive ignorance, the adequacy of which is easily proved via straightforward translations.
Logics of ignorance and being wrong
Venturi G
2021-01-01
Abstract
This article investigates the connections between the logics of being wrong, introduced in Steinsvold (2011, Notre Dame J. Form. Log., 52, 245-253), and factive ignorance, presented in Kubyshkina and Petrolo (2021, Synthese, 198, 5917-5928). The first part of the paper provides a sound and complete axiomatization of the logic of factive ignorance that corrects errors in Kubyshkina and Petrolo (2021, Synthese, 198, 5917-5928) and resolves questions about the expressivity of the language. In the second half, it is shown that the relationship between the two logics suggests an alternative axiomatization for the logic of factive ignorance, the adequacy of which is easily proved via straightforward translations.File | Dimensione | Formato | |
---|---|---|---|
Logics of Ignorance and Being Wrong.pdf
non disponibili
Tipologia:
Versione finale editoriale
Licenza:
NON PUBBLICO - accesso privato/ristretto
Dimensione
384.88 kB
Formato
Adobe PDF
|
384.88 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.