Logical transductions: Bats, butterflies, and the paradox of an almighty God

🕑 14 min • 👤 Thomas Graf • 📆 September 21, 2020 in Tutorials • 🏷 formal language theory, transductions, subregular, first-order logic

Since we recently a had a post about Engelfriet’s work on transductions and logic, I figured I’d add a short tutorial that combines the two and talks a bit about logical transductions. I won’t touch on concrete linguistic issues in this post, but I will briefly dive into some implications for how MGs push PF and LF directly into “syntax” (deliberate scare quotes). I also have an upcoming post on representations and features that is directly informed by the logical transduction framework. So if you don’t read anything here unless it engages directly with linguistics, you might still want to make an exception this time, even if today’s post is mostly logic and formulas.

Continue reading