Greg Restall
@consequently.hcommons.social.ap.brid.gy
Philosopher and logician, from Australia, now based at the University of St Andrews in Scotland.
I like thinking about—and helping other people think […]
[bridged from https://hcommons.social/@consequently on the fediverse by https://fed.brid.gy/ ]
I like thinking about—and helping other people think […]
[bridged from https://hcommons.social/@consequently on the fediverse by https://fed.brid.gy/ ]
Tomorrow evening, I get to talk to the Philosophy Society students about what I do (as a philosopher/logician) and why I do it. I’ll be interested to discover what the students make of it and where the conversation goes.
I love the poster they made for the […]
[Original post on hcommons.social]
I love the poster they made for the […]
[Original post on hcommons.social]
November 17, 2025 at 10:14 AM
Tomorrow evening, I get to talk to the Philosophy Society students about what I do (as a philosopher/logician) and why I do it. I’ll be interested to discover what the students make of it and where the conversation goes.
I love the poster they made for the […]
[Original post on hcommons.social]
I love the poster they made for the […]
[Original post on hcommons.social]
Katherine Hawley is indeed sorely missed here in Philosophy and St Andrews, and it’s good to see her clear and wise reflections on trust and trustworthiness gain a fresh audience.
https://mastodon.social/@kjhealy/115525767271021313
https://mastodon.social/@kjhealy/115525767271021313
Kieran Healy (@[email protected])
A little more about trustworthy data visualization and the work of the philosopher Katherine Hawley. https://kieranhealy.org/blog/archives/2025/11/10/trustworthy-data-visualization/
mastodon.social
November 10, 2025 at 3:14 PM
Katherine Hawley is indeed sorely missed here in Philosophy and St Andrews, and it’s good to see her clear and wise reflections on trust and trustworthiness gain a fresh audience.
https://mastodon.social/@kjhealy/115525767271021313
https://mastodon.social/@kjhealy/115525767271021313
Reposted by Greg Restall
Next week I’m off to Taipei to give some lectures, and attend the 6th Taiwan Philosophical Logic Colloquium, and a satellite one-day logic workshop. That’ll be five straight days of serious logic, catching up with old friends and making new ones. If you’re in that part of the world and you’re […]
Original post on hcommons.social
hcommons.social
October 15, 2025 at 12:17 PM
Next week I’m off to Taipei to give some lectures, and attend the 6th Taiwan Philosophical Logic Colloquium, and a satellite one-day logic workshop. That’ll be five straight days of serious logic, catching up with old friends and making new ones. If you’re in that part of the world and you’re […]
Next week I’m off to Taipei to give some lectures, and attend the 6th Taiwan Philosophical Logic Colloquium, and a satellite one-day logic workshop. That’ll be five straight days of serious logic, catching up with old friends and making new ones. If you’re in that part of the world and you’re […]
Original post on hcommons.social
hcommons.social
October 15, 2025 at 12:17 PM
Next week I’m off to Taipei to give some lectures, and attend the 6th Taiwan Philosophical Logic Colloquium, and a satellite one-day logic workshop. That’ll be five straight days of serious logic, catching up with old friends and making new ones. If you’re in that part of the world and you’re […]
Reposted by Greg Restall
The official ads are now out for the #anu #logic Summer School, to be held in #Canberra , Australia from 1-12 December. https://comp.anu.edu.au/lss/
Paraphrasing a bit to fit in a toot:
OVERVIEW
The ANU Logic Summer School is an annual event that offers a two week long programme of lectures […]
Paraphrasing a bit to fit in a toot:
OVERVIEW
The ANU Logic Summer School is an annual event that offers a two week long programme of lectures […]
Original post on fediscience.org
fediscience.org
October 14, 2025 at 2:57 AM
The official ads are now out for the #anu #logic Summer School, to be held in #Canberra , Australia from 1-12 December. https://comp.anu.edu.au/lss/
Paraphrasing a bit to fit in a toot:
OVERVIEW
The ANU Logic Summer School is an annual event that offers a two week long programme of lectures […]
Paraphrasing a bit to fit in a toot:
OVERVIEW
The ANU Logic Summer School is an annual event that offers a two week long programme of lectures […]
Reposted by Greg Restall
Following the Heyting Day symposium held in honour of Jaap van Oosten, Benno van den Berg and I wrote a brief popular article on Jaap's life, his scientific work (categorical realizability) and his other contributions to academic life.
Jaap has done a great deal for mathematical logic in the […]
Jaap has done a great deal for mathematical logic in the […]
Original post on mathstodon.xyz
mathstodon.xyz
October 9, 2025 at 6:35 AM
Following the Heyting Day symposium held in honour of Jaap van Oosten, Benno van den Berg and I wrote a brief popular article on Jaap's life, his scientific work (categorical realizability) and his other contributions to academic life.
Jaap has done a great deal for mathematical logic in the […]
Jaap has done a great deal for mathematical logic in the […]
Pablo Rivas-Robledo, a PhD student in Amsterdam, interviewed me for his video podcast, Ping Pong Philosophy. The first series has launched today, and my interview is the first up. For a quick 12 minute back and forth about philosophy, logic, and academia, check it out here… […]
Original post on hcommons.social
hcommons.social
October 8, 2025 at 8:56 AM
Pablo Rivas-Robledo, a PhD student in Amsterdam, interviewed me for his video podcast, Ping Pong Philosophy. The first series has launched today, and my interview is the first up. For a quick 12 minute back and forth about philosophy, logic, and academia, check it out here… […]
Tomorrow, I get to give the last of my three talks on inferentialism. It’s time to buckle up your λs, and join in the search for some unicorns…
https://consequently.org/presentation/2025/whl-a/
#prooftheory #semantics #linguistics
https://consequently.org/presentation/2025/whl-a/
#prooftheory #semantics #linguistics
October 7, 2025 at 4:33 PM
Tomorrow, I get to give the last of my three talks on inferentialism. It’s time to buckle up your λs, and join in the search for some unicorns…
https://consequently.org/presentation/2025/whl-a/
#prooftheory #semantics #linguistics
https://consequently.org/presentation/2025/whl-a/
#prooftheory #semantics #linguistics
I’m doing my part to help those wandering the hallways in Edgecliffe to know where to find the relevant exit…
October 1, 2025 at 9:17 AM
I’m doing my part to help those wandering the hallways in Edgecliffe to know where to find the relevant exit…
Reposted by Greg Restall
Alongside coordinating and lecturing in Intermediate Logic this semester, I have the fun task of teaching one of the tutorial groups, together with our enthusiastic and capable graduate student tutors. My Tuesday morning cohort is a microcosm of the diverse international student body at St […]
Original post on hcommons.social
hcommons.social
September 29, 2025 at 7:48 PM
Alongside coordinating and lecturing in Intermediate Logic this semester, I have the fun task of teaching one of the tutorial groups, together with our enthusiastic and capable graduate student tutors. My Tuesday morning cohort is a microcosm of the diverse international student body at St […]
Alongside coordinating and lecturing in Intermediate Logic this semester, I have the fun task of teaching one of the tutorial groups, together with our enthusiastic and capable graduate student tutors. My Tuesday morning cohort is a microcosm of the diverse international student body at St […]
Original post on hcommons.social
hcommons.social
September 29, 2025 at 7:48 PM
Alongside coordinating and lecturing in Intermediate Logic this semester, I have the fun task of teaching one of the tutorial groups, together with our enthusiastic and capable graduate student tutors. My Tuesday morning cohort is a microcosm of the diverse international student body at St […]
Reposted by Greg Restall
#Canberra #lifelinebookfair , our twice yearly war on the capacity of our bookshelves. Featuring @consequently
September 27, 2025 at 2:48 AM
#Canberra #lifelinebookfair , our twice yearly war on the capacity of our bookshelves. Featuring @consequently
Coming up this afternoon, I’m giving the talk “Inferentialism for Everyone” for the local Arché Metaphysics and Logic crew here in St Andrews.
This talk attempts to distill material I’ve been thinking about for the last decade or so down to a concentrated but accessible form. I look forward to […]
This talk attempts to distill material I’ve been thinking about for the last decade or so down to a concentrated but accessible form. I look forward to […]
Original post on hcommons.social
hcommons.social
September 24, 2025 at 7:45 AM
Coming up this afternoon, I’m giving the talk “Inferentialism for Everyone” for the local Arché Metaphysics and Logic crew here in St Andrews.
This talk attempts to distill material I’ve been thinking about for the last decade or so down to a concentrated but accessible form. I look forward to […]
This talk attempts to distill material I’ve been thinking about for the last decade or so down to a concentrated but accessible form. I look forward to […]
Reposted by Greg Restall
The new academic year has started, and it’s fun to be back in the classroom teaching intermediate logic. The crew this year seem to be quite switched on, and it’ll be fun teaching them proofs and models for propositional, modal and first-order predicate logic. (Apparently I haven’t lost my taste […]
Original post on hcommons.social
hcommons.social
September 22, 2025 at 11:24 AM
The new academic year has started, and it’s fun to be back in the classroom teaching intermediate logic. The crew this year seem to be quite switched on, and it’ll be fun teaching them proofs and models for propositional, modal and first-order predicate logic. (Apparently I haven’t lost my taste […]
The new academic year has started, and it’s fun to be back in the classroom teaching intermediate logic. The crew this year seem to be quite switched on, and it’ll be fun teaching them proofs and models for propositional, modal and first-order predicate logic. (Apparently I haven’t lost my taste […]
Original post on hcommons.social
hcommons.social
September 22, 2025 at 11:24 AM
The new academic year has started, and it’s fun to be back in the classroom teaching intermediate logic. The crew this year seem to be quite switched on, and it’ll be fun teaching them proofs and models for propositional, modal and first-order predicate logic. (Apparently I haven’t lost my taste […]
It’s neat to see the special issue of the Australasian Journal of Logic, in honour of Ross Brady, is out. The whole collection is a lot of fun, and Shay Logan’s generous, opinionated introduction to the volume is a real treat.
As ever, with the AJL, all 12 articles are open access. It’s such a […]
As ever, with the AJL, all 12 articles are open access. It’s such a […]
Original post on hcommons.social
hcommons.social
September 10, 2025 at 8:51 PM
It’s neat to see the special issue of the Australasian Journal of Logic, in honour of Ross Brady, is out. The whole collection is a lot of fun, and Shay Logan’s generous, opinionated introduction to the volume is a real treat.
As ever, with the AJL, all 12 articles are open access. It’s such a […]
As ever, with the AJL, all 12 articles are open access. It’s such a […]
Reposted by Greg Restall
PhD position with Benno van den Berg on the semantics of Homotopy Type Theory (esp. effective Kan fibrations) at the ILLC in Amsterdam!
https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/15777/PhD-Position-in-the-Semantics-of-Homotopy-Type-Theory
Application deadline: 27 September […]
https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/15777/PhD-Position-in-the-Semantics-of-Homotopy-Type-Theory
Application deadline: 27 September […]
Original post on mathstodon.xyz
mathstodon.xyz
September 3, 2025 at 6:50 PM
PhD position with Benno van den Berg on the semantics of Homotopy Type Theory (esp. effective Kan fibrations) at the ILLC in Amsterdam!
https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/15777/PhD-Position-in-the-Semantics-of-Homotopy-Type-Theory
Application deadline: 27 September […]
https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/15777/PhD-Position-in-the-Semantics-of-Homotopy-Type-Theory
Application deadline: 27 September […]
Reposted by Greg Restall
Just posted, at last: A review of one of my favorite recent books, Benjamin Shestakovsky's "Behind the Startup"—the most rigorous and precise account I've seen of how the dominant startup model produces inequality: muse.jhu.edu/article/968586
August 25, 2025 at 7:41 PM
Just posted, at last: A review of one of my favorite recent books, Benjamin Shestakovsky's "Behind the Startup"—the most rigorous and precise account I've seen of how the dominant startup model produces inequality: muse.jhu.edu/article/968586
A man seeks an iced black coffee, while John seeks a unicorn.
#eh9 #Coffee #dundee #montaguesemantics
#eh9 #Coffee #dundee #montaguesemantics
July 11, 2025 at 1:07 PM
A man seeks an iced black coffee, while John seeks a unicorn.
#eh9 #Coffee #dundee #montaguesemantics
#eh9 #Coffee #dundee #montaguesemantics
July 11, 2025 at 12:05 PM
Charles Travis, logical pluralist.
This is an extract from his *Unshadowed Thought,* Harvard University Press, 2000.
This is an extract from his *Unshadowed Thought,* Harvard University Press, 2000.
July 10, 2025 at 2:28 PM
Charles Travis, logical pluralist.
This is an extract from his *Unshadowed Thought,* Harvard University Press, 2000.
This is an extract from his *Unshadowed Thought,* Harvard University Press, 2000.
Reposted by Greg Restall
The recordings from #types2025 are beginning to appear on @mspstrath’s youtube channel. There is a lot of good stuff there already, and I plan to re-watch some talks I enjoyed in the days ahead.
Here is the recording of my talk on some of the connections between type theory and issues in […]
Here is the recording of my talk on some of the connections between type theory and issues in […]
Original post on hcommons.social
hcommons.social
June 26, 2025 at 9:26 AM
The recordings from #types2025 are beginning to appear on @mspstrath’s youtube channel. There is a lot of good stuff there already, and I plan to re-watch some talks I enjoyed in the days ahead.
Here is the recording of my talk on some of the connections between type theory and issues in […]
Here is the recording of my talk on some of the connections between type theory and issues in […]
Reposted by Greg Restall
"We sent the student's draft of his dissertation to an expert in the field, who said the main theorem was too trivial. In fact, it turned out to be incorrect". Fred Richman
https://web.archive.org/web/20230204213103/http://math.fau.edu/richman/docs/confess.pdf
https://web.archive.org/web/20230204213103/http://math.fau.edu/richman/docs/confess.pdf
June 26, 2025 at 4:56 PM
"We sent the student's draft of his dissertation to an expert in the field, who said the main theorem was too trivial. In fact, it turned out to be incorrect". Fred Richman
https://web.archive.org/web/20230204213103/http://math.fau.edu/richman/docs/confess.pdf
https://web.archive.org/web/20230204213103/http://math.fau.edu/richman/docs/confess.pdf
The recordings from #types2025 are beginning to appear on @mspstrath’s youtube channel. There is a lot of good stuff there already, and I plan to re-watch some talks I enjoyed in the days ahead.
Here is the recording of my talk on some of the connections between type theory and issues in […]
Here is the recording of my talk on some of the connections between type theory and issues in […]
Original post on hcommons.social
hcommons.social
June 26, 2025 at 9:26 AM
The recordings from #types2025 are beginning to appear on @mspstrath’s youtube channel. There is a lot of good stuff there already, and I plan to re-watch some talks I enjoyed in the days ahead.
Here is the recording of my talk on some of the connections between type theory and issues in […]
Here is the recording of my talk on some of the connections between type theory and issues in […]