Logic | Formal semantics | Theories of Truth & Truthmaking | HOL Light user
Support the Human Right To Science!
Featuring work w/ @williambrady.bsky.social @killianmcloughlin.bsky.social
🧵
Featuring work w/ @williambrady.bsky.social @killianmcloughlin.bsky.social
🧵
#philsky
Spotify: bit.ly/495Ia6L
Youtube: www.youtube.com/watch?v=z-No...
#philsky
Spotify: bit.ly/495Ia6L
Youtube: www.youtube.com/watch?v=z-No...
www.math.uni-hamburg.de/home/luecke/...
www.math.uni-hamburg.de/home/luecke/...
On Monday the Dutch government will revisit its shortsighted plans.
A failure to do this creates a real setback that neither this nor next generations deserve.
@woinactie.bsky.social #highered #academicsky
That said, new platform so I'll do this once:
I wrote a book about Haskell:
www.pragprog.com/titles/rshas...
That said, new platform so I'll do this once:
I wrote a book about Haskell:
www.pragprog.com/titles/rshas...
Farina, A. Lavazza and D. Pritchard eds.) Expertise.
Philosophical Perspe
as, Oxford: Oxford University Press.
Farina, A. Lavazza and D. Pritchard eds.) Expertise.
Philosophical Perspe
as, Oxford: Oxford University Press.