Shawn Standefer on Nostr: Bergmann et al's definition of formula with quantifiers is weird. It rules out ...
Bergmann et al's definition of formula with quantifiers is weird. It rules out quantifiers that bind no variables and it rules out quantifiers that would bind a variable occurring freely and bound, e.g. adding '\forall x' to '(Fx & \forall xGx)'. I'm puzzled by this
Published at
2023-10-29 09:54:20Event JSON
{
"id": "c848c44ecb9a6a81992ee4b1942a8c32bdc1298c375c9a5c2650bd5a4d12346b",
"pubkey": "f86aefd9037ce9a5700fb239f340500f20e2bfbc36561b96111dc3d550b15eb5",
"created_at": 1698573260,
"kind": 1,
"tags": [
[
"proxy",
"https://fediscience.org/users/standefer/statuses/111317697178509699",
"activitypub"
]
],
"content": "Bergmann et al's definition of formula with quantifiers is weird. It rules out quantifiers that bind no variables and it rules out quantifiers that would bind a variable occurring freely and bound, e.g. adding '\\forall x' to '(Fx \u0026 \\forall xGx)'. I'm puzzled by this",
"sig": "64ada3825a515681dcc48443560db7a9b3a35df7ddfb9f70619fe088dc644ae83682e6ebedc969406f1745091bd81493881d0e242d57f78619b420aae4a5f7aa"
}