Formal languages in logicCatarina Dutilh Novaes
Formal languages in logic
by Catarina Dutilh Novaes · first published 2012
2mentions
1recommended by
2HN commenters
2016first – last mentioned
50% recommend50% neutral
"Formal Languages in Logic Formal languages are widely regarded as being above all mathematical objects, and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use (and the uses of formalisms more generally elsewhere) actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists put these tools to us
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
Try "Formal Languages in Logic: A Philosophical and Cognitive Analysis" by Catarina Dutilh Novaes. It's maybe the best work I've read in this field, and I've read most of what's on the github list. My copy has md5sum 6d62f3c0a63242a318ddd691d3974cd2,…
on “Notes on notation and thought” ↗I understand that md5sums help you know you got the same copy. Why not share his resource directly instead? Also, what if someone gets the same resource "Formal Languages in Logic: A Philosophical and Cognitive Analysis" under a different md5sum (for example, the format or edition is different)? It seemed somewhat useless in this case.
on “Notes on notation and thought” ↗