Dutilh Novaes, Catarina; Reck, Erich Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization. (English) Zbl 1382.03013 Synthese 194, No. 1, 195-215 (2017). MSC: 03A05 03-03 01A60 PDFBibTeX XMLCite \textit{C. Dutilh Novaes} and \textit{E. Reck}, Synthese 194, No. 1, 195--215 (2017; Zbl 1382.03013) Full Text: DOI
Dutilh Novaes, Catarina Formalizing medieval logical theories. Suppositio, consequentiae and obligationes. (English) Zbl 1138.03001 Logic, Epistemology, and the Unity of Science 7. Berlin: Springer (ISBN 978-1-4020-5852-3/hbk). xii, 314 p. (2007). Reviewer: Jim Mackenzie (Sydney) MSC: 03-03 01A35 05A05 PDFBibTeX XMLCite \textit{C. Dutilh Novaes}, Formalizing medieval logical theories. Suppositio, consequentiae and obligationes. Berlin: Springer (2007; Zbl 1138.03001)