are there interesting fantasy novels about lawyers, or where legal argumentation plays an interesting role?
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 😵
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.
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?)
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?
As an anthropologist, I endorse this message!
again: do not move to the U$ right now if you want to do research or academia
