[HN Gopher] The Logic of Logical Necessity [pdf]
       ___________________________________________________________________
        
       The Logic of Logical Necessity [pdf]
        
       Author : mindcrime
       Score  : 21 points
       Date   : 2022-10-20 13:25 UTC (3 days ago)
        
 (HTM) web link (philpapers.org)
 (TXT) w3m dump (philpapers.org)
        
       | mjburgess wrote:
       | Not much related to the paper, but I'm inspired to emphasise the
       | phrase "quantified over" which I personally find very useful in
       | day-to-day thinking and something strangely absent from the
       | programming community at large.
       | 
       | To "quantify over" something is, in effect, to treat it as a
       | variable whose value will range over some set. As a phrase, it
       | makes clear what is a variable in your description.
       | 
       | Generics are just quantifiers (forall T in Types, c: Box<T> = new
       | Box()).
        
         | auggierose wrote:
         | They are absent because quantifying over something is a model-
         | theoretic notion (that is where the set is coming from), while
         | programming language researchers often prefer type theory and
         | follow a proof-theoretic approach.
         | 
         | Personally, I like proofs, but I think they go better with a
         | model-theoretic approach :-)
        
       ___________________________________________________________________
       (page generated 2022-10-23 23:01 UTC)