Blog by Sumana Harihareswara, Changeset founder
As it turns out, the way you interpret a polyadic…
Hi, reader. I wrote this in 2002 and it's now more than five years old. So it may be very out of date; the world, and I, have changed a lot since I wrote it! I'm keeping this up for historical archive purposes, but the me of today may 100% disagree with what I said then. I rarely edit posts after publishing them, but if I do, I usually leave a note in italics to mark the edit and the reason. If this post is particularly offensive or breaches someone's privacy, please contact me.
As it turns out, the way you interpret a polyadic schema is a combination of the way you interpret a monadic schema and the way you interpret a truth-functional schema. Polyadic logic has everything you ever wanted, and more! Predicates, sentence-letters, free variables! Come on down to Peter's House of Polyadic Logic! Where the universe of discourse is yours!