tranny demon hacker on Nostr: the principle that guides modern type theory -- seeking logical harmony between ...
the principle that guides modern type theory -- seeking logical harmony between introduction rules and elim rules -- was stated very clearly for the first time in Belnap's "Tonk, Plonk, and Plink", in response to Prior's "Runabout Inference Ticket", which critiques the notion of purely formal notions of meaning
Published at
2024-11-14 19:29:04Event JSON
{
"id": "44cc5114c54ce588a02f59e8a685b749416864abadb2a5f492bcc1aad056e606",
"pubkey": "6e5b64a93f9c17d6528911485e399c8be0361c502e3c736e8118f8e00d950d0c",
"created_at": 1731612544,
"kind": 1,
"tags": [
[
"e",
"ff0a913e35a9c4135680119b3f62ed3f8b3e8fa8b52ec53a90bc697ad8724370",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://kolektiva.social/users/beka_valentine/statuses/113482959732730340",
"activitypub"
]
],
"content": "the principle that guides modern type theory -- seeking logical harmony between introduction rules and elim rules -- was stated very clearly for the first time in Belnap's \"Tonk, Plonk, and Plink\", in response to Prior's \"Runabout Inference Ticket\", which critiques the notion of purely formal notions of meaning",
"sig": "52c6607320697968e2261185467119456068916dab76e10852da2d1ba5209cb3556050b2defff710d507df64161ca94e6d5f97f17ef0c183544da68b156925d5"
}
