Next week it’s our last Arché Metaphysics and Logic seminar for the academic year, and I’m going to have a go at addressing some of the big questions in the foundations of logic, with a contemporary twist.
https://consequently.org/presentation/2024/what-do-we-mean-arche/
#philosophy #logic #prooftheory #typetheory
Greg Restall /
npub1gw…dplw7
2024-06-25 15:02:54
Author Public Key
npub1gwtglfks2gyd69l07rvm70arz8msp8am5shh8u2cxfuj8wg6zcmsndplw7Published at
2024-06-25 15:02:54Event JSON
{
"id": "84f73514204d50db85627047985b81a8d837c6755145cc9b730947763a4ee79e",
"pubkey": "43968fa6d05208dd17eff0d9bf3fa311f7009fbba42f73f158327923b91a1637",
"created_at": 1719327774,
"kind": 1,
"tags": [
[
"t",
"philosophy"
],
[
"t",
"logic"
],
[
"t",
"prooftheory"
],
[
"t",
"typetheory"
],
[
"proxy",
"https://hcommons.social/users/consequently/statuses/112677865047806284",
"activitypub"
]
],
"content": "Next week it’s our last Arché Metaphysics and Logic seminar for the academic year, and I’m going to have a go at addressing some of the big questions in the foundations of logic, with a contemporary twist.\n\nhttps://consequently.org/presentation/2024/what-do-we-mean-arche/\n\n#philosophy #logic #prooftheory #typetheory",
"sig": "db404705cd1f84f260429df308e7aab64f1170d8e9be84eca11083d78b9ed324475e824eb48bd224da58f50d3351d0e87fa1a0102d28a423c7f1175bbe7dba7b"
}