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/ ]
The slides for tonight’s talk are linked here, https://consequently.org/presentation/2025/wlmfp-wpmfl-p/
in case you’re interested in following along.
#philosophy #logic
in case you’re interested in following along.
#philosophy #logic
November 18, 2025 at 11:30 AM
The slides for tonight’s talk are linked here, https://consequently.org/presentation/2025/wlmfp-wpmfl-p/
in case you’re interested in following along.
#philosophy #logic
in case you’re interested in following along.
#philosophy #logic
The “Logic Centre” of that sign is, alas, not that impressive *logically* speaking, but as far as logistics goes, it has a lot going for it.
https://www.logicwodonga.com.au
https://www.logicwodonga.com.au
Logic Wodonga —
www.logicwodonga.com.au
October 1, 2025 at 9:40 AM
The “Logic Centre” of that sign is, alas, not that impressive *logically* speaking, but as far as logistics goes, it has a lot going for it.
https://www.logicwodonga.com.au
https://www.logicwodonga.com.au
The next item on my docket is preparing my talks for the 2025 Wendy Huang Lectures, which I’ll be giving in Taiwan next month. To prepare, I’m giving the presentations a test run with the home crowd, for the next three Wednesdays.
https://consequently.org/presentation/2025/whl-a/
https://consequently.org/presentation/2025/whl-a/
September 22, 2025 at 11:27 AM
The next item on my docket is preparing my talks for the 2025 Wendy Huang Lectures, which I’ll be giving in Taiwan next month. To prepare, I’m giving the presentations a test run with the home crowd, for the next three Wednesdays.
https://consequently.org/presentation/2025/whl-a/
https://consequently.org/presentation/2025/whl-a/
@MartinEscardo @julesh Yes, as someone with a mathematics background, an awareness of λs, and a passing acquaintance with Haskell, Lambek and Scott hit the spot for me in the early 1990s.
July 19, 2025 at 4:37 PM
@MartinEscardo @julesh Yes, as someone with a mathematics background, an awareness of λs, and a passing acquaintance with Haskell, Lambek and Scott hit the spot for me in the early 1990s.