I find that I can recognize when a fiction writer spent a lot of time on the internet. it's something about the prose. but what? any ideas?
the directness of the parallel between this quote from lea levy and the words of kathleen stock back in the day in sussex is just 😵
is anyone out there extremely familiar with asher-style type logics for lexical semantics? trying to understand how type presuppositions propagate across the curry-howard isomorphic boundary (ie: if I presuppose an argument of type A in the lexical content (LHS), is that reflected on the type side?)
my current thought is: yes, but not necessarily in a way that's reflected in the notation. but yes, in a way that can be alluded to formally when writing generalizations.
again: do not move to the U$ right now if you want to do research or academia
and this extends far beyond the UK as a necessary political stance
are there interesting fantasy novels about lawyers, or where legal argumentation plays an interesting role?
