Lightnews — Scholar-powered news

Greg Restall @consequently.hcommons.social.ap.brid.gy · 6h

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

1 4 8

Greg Restall @consequently.hcommons.social.ap.brid.gy · 22h

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

Some pages of a handout for a talk on intensional semantics and inferentialism. A derivation tree for the classic sentence “John seeks a unicorn” in Daniel Gallin’s two-sorted type theory Ty2 is in view, along with an obscured picture of the linguist Barbara Partee.

2 3

Greg Restall @consequently.hcommons.social.ap.brid.gy · 7d

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

Logic Wodonga —

www.logicwodonga.com.au

1

Greg Restall @consequently.hcommons.social.ap.brid.gy · 7d

I’m doing my part to help those wandering the hallways in Edgecliffe to know where to find the relevant exit…

A photo of two doorways, the one on the left (labelled “Seminar Room”) largely obscured, and the one on the right, labelled as the office of “Prof. Greg Restall.” Between them, a print of a photo, displaying a large roadsign saying “Logic Centre, This Exit”. Prof. Restall’s office door is ajar. On it are various A4 posters of book covers and flyers advertising talks and conferences.

1 1 1

Reposted by Greg Restall

Greg Restall @consequently.hcommons.social.ap.brid.gy · 8d

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

1

Greg Restall @consequently.hcommons.social.ap.brid.gy · 8d

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

1

Reposted by Greg Restall

RanaldClouston @ranaldclouston.fediscience.org.ap.brid.gy · 11d

#Canberra #lifelinebookfair , our twice yearly war on the capacity of our bookshelves. Featuring @consequently

A crowd of people in a big barn, with trestle tables covered in books

1 1 1

Greg Restall @consequently.hcommons.social.ap.brid.gy · 14d

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 […]

Original post on hcommons.social

hcommons.social

2

Reposted by Greg Restall

Greg Restall @consequently.hcommons.social.ap.brid.gy · 16d

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

1 1

Greg Restall @consequently.hcommons.social.ap.brid.gy · 16d

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/

An A4 page, the first page of a multi-page handout for the first Wendy Huang Lecture, entitled “Inferentialism for Everyone”.

1 1

Greg Restall @consequently.hcommons.social.ap.brid.gy · 16d

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

1 1

Greg Restall @consequently.hcommons.social.ap.brid.gy · 21d

I think I have a use for a shirt like this…

https://hci.social/@chrisamaphone/115219723841420067

chris martens (@[email protected])

Attached: 1 image

hci.social

1 1

Greg Restall @consequently.hcommons.social.ap.brid.gy · 27d

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 […]

Original post on hcommons.social

hcommons.social

3 1

Reposted by Greg Restall

Tom de Jong @de-jong-tom.mathstodon.xyz.ap.brid.gy · Sep 3

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 […]

Original post on mathstodon.xyz

mathstodon.xyz

10 1

Reposted by Greg Restall

Nathan Schneider @ntnsndr.social.coop.ap.brid.gy · Aug 25

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

2 2

Greg Restall @consequently.hcommons.social.ap.brid.gy · Jul 19

@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.

Greg Restall @consequently.hcommons.social.ap.brid.gy · Jul 11

A man seeks an iced black coffee, while John seeks a unicorn.

#eh9 #Coffee #dundee #montaguesemantics

A clear glass filled with cold black coffee, ice, and containing a green straw, to the right of an iPad, with two windows open, one a Vim session, editing a latex file, and the other, the pdf of the compiled output. A parse tree of the sentence “John seeks a unicorn” is visible in both views.

1 2

Greg Restall @consequently.hcommons.social.ap.brid.gy · Jul 11

The anarchist type theorists are in evidence along Riverside Walk in Dundee.

#typetheory #dundee

A rectangular black sticker, with yellow writing, saying “the only good system is a type system” with a centred lower case lambda in a circle.

1 8 1

Greg Restall @consequently.hcommons.social.ap.brid.gy · Jul 10

@victorgijsbers I enjoyed reading it (some bits deeply, skimming others), but then, lately I’ve been neck deep in metasemantics, and I was primed to think about some of the issues he’s tracking. I agree that his prose style is an acquired taste.

His 1978 review of early work in the formal […]

Original post on hcommons.social

hcommons.social

1 1

Greg Restall @consequently.hcommons.social.ap.brid.gy · Jul 10

Charles Travis, logical pluralist.

This is an extract from his *Unshadowed Thought,* Harvard University Press, 2000.

It is a familiar idea that (to be) a good inference is (to be) truth preserving: where what S stated is inferred from what given other statements did, the inference is good if the truth of those others guarantees the truth of S—wherever they were true, S would be. One might think of the laws of truth as deciding when that is so. Since the notion 'guarantee,’ and, likewise, the notion 'wherever,’ are open to negotiation, perhaps we should say that this characterizes a family of notions of good inference (corresponding, perhaps, to a family of notions of entailment).

1 1

Reposted by Greg Restall

Greg Restall @consequently.hcommons.social.ap.brid.gy · Jun 26

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 […]

Original post on hcommons.social

hcommons.social

4 1

Reposted by Greg Restall

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · Jun 26

"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

2 1

Greg Restall @consequently.hcommons.social.ap.brid.gy · Jun 26

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 […]

Original post on hcommons.social

hcommons.social

4 1

Reposted by Greg Restall

Greg Restall @consequently.hcommons.social.ap.brid.gy · Jun 16

Last week was all type theory, all the time. *This* week I get to change gears, and take part in the 50th Annual Conference of the Society for Exact Philosophy. I’m especially looking forward to Day 2, which is devoted to the work of our sorely-missed colleague, Aldo Antonelli, who passed away […]

Original post on hcommons.social

hcommons.social

1 4 1

Greg Restall @consequently.hcommons.social.ap.brid.gy · Jun 16

I’ll be giving a talk on the methodology of formal philosophy.

If you want to get a sense of what I’m talking about, details of the talk can be found here: https://consequently.org/presentation/2025/must-do-mdb-better-sep/