Greg Restall on Nostr: This year I have one extra week of lectures in Advanced Logic (semester 2 has one ...
This year I have one extra week of lectures in Advanced Logic (semester 2 has one more week of classes compared to semester 1 here at St Andrews, and the module has moved from S1 to S2 this year), so I’ve had fun figuring out how much second-order logic you can teach in two hours.
The students have seen soundness and completeness for first-order logic (with identity), compactness, Cantor’s theorem and the Downward Löwenheim-Skolem Theorem, so this seems like a good time to show what you can do, model theory wise, if you’re on the *other* side of the compactness boundary.
This afternoon I get to see how this material lands with students.
Published at
2024-02-20 09:55:39Event JSON
{
"id": "50fc63f5d2493d2473a161f98933931342099c0f5ead887cc41e75783ae24b05",
"pubkey": "43968fa6d05208dd17eff0d9bf3fa311f7009fbba42f73f158327923b91a1637",
"created_at": 1708422939,
"kind": 1,
"tags": [
[
"proxy",
"https://hcommons.social/users/consequently/statuses/111963205780514313",
"activitypub"
]
],
"content": "This year I have one extra week of lectures in Advanced Logic (semester 2 has one more week of classes compared to semester 1 here at St Andrews, and the module has moved from S1 to S2 this year), so I’ve had fun figuring out how much second-order logic you can teach in two hours. \n\nThe students have seen soundness and completeness for first-order logic (with identity), compactness, Cantor’s theorem and the Downward Löwenheim-Skolem Theorem, so this seems like a good time to show what you can do, model theory wise, if you’re on the *other* side of the compactness boundary.\n\nThis afternoon I get to see how this material lands with students.\n\nhttps://spaces.hcommons.social/media_attachments/files/111/963/205/691/432/955/original/37073ab5e0fc81d0.jpeg",
"sig": "eeb16bebf806206dcb0b03d44a6cdd8f21ac9e85dded53d995ee4773960ce1794db8387e7bf057fbedc0c684a3d346fe2b75e1884f447a11093615556861435d"
}
