 |
Post Avzoe3kKdK8e3YMsfg by [email protected] |
 |
More posts by [email protected] |
|
Post #Avzoe3SxfuFBBgF0b2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
The classic example is the rule for application of dependently typed functions.… |
|
|
|
Post #Avzoe3ZLIBLdVTE6Xg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@pigworker Interesting! What's the difference between "saying" a… |
|
|
|
Post #Avzoe3f0x5svn3sdNo by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@rg9119 No no! Saying is purely syntactic. Anyone can say anything, but that is… |
|
|
|
Post #Avzoe3kKdK8e3YMsfg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@pigworker Came all the way back here to say that I reread Russell's On Den… |
|
|
|
Post #Avzoe3q0IEfwL91PVo by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@rg9119 @pigworker Should be required reading for anyone wishing to do PL (or v… |
|
|
|
Post #Avzoe3x5rsLYh8L4Yy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JacquesC2 @rg9119 @pigworker taking a metaphysics course in college was one of… |
|
|
|
Post #Avzoe43pSpjb21US3s by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr @rg9119 @pigworker Yeah, early 20th century analytic philosophy is surp… |
|
|
|
Post #Avzoe4AD56q3LoTY0W by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JacquesC2 @rg9119 @pigworker 💯 |
|
|
|
Post #Avzoe4HIekVfhnnD3g by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JacquesC2 @rg9119 @pigworker also that older material -- I refreshed my memory… |
|
|
|
Post #Avzoe4PSAR2275bilc by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JacquesC2 @rg9119 @pigworker I've been reading _The Science of Can and Can… |
|
|
|
Post #Avzoe4UlqfHkNa5y3U by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr Counterfactuals - interesting stuff. The "What If" angle is c… |
|
|
|
Post #Avzoe4anUG6cgGumRs by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JacquesC2 the connection with physics is what I'm most interested in at th… |
|
|
|
Post #Avzoe4gT9AduxrZJI0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr @JacquesC2 On a related note, you might like Jim Woodward's _Making… |
|
|
|
Post #Avzoe4nCk81xIkigmu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@rg9119 @regehr @JacquesC2 I'm a huge fan of Woodward and this general &quo… |
|
|
|
Post #Avzoe4twL5Pzdds4Ho by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@rg9119 @regehr @JacquesC2 I like John Norton on scientific Inductive inference… |
|
|
|
Post #Avzoe50fw2o1yX1Rmi by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@takeoutweight @rg9119 @regehr My reading list is expanding. I should decide on… |
|
|
|
Post #AvzoejrC4CaCeztxCK by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JacquesC2 @pigworker BTW when you are talking about modeling here, do you mean… |
|
|
|
Post #Avzoejwrj77UwaYU2S by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@rg9119 Post-UML stuff, such as epsilon. But roughly the same area. Models is t… |
|
|
|
Post #Avzoek2XO1enEBD0sa by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JacquesC2 ahh thanks. I'd never heard of epsilon, and tbh I kinda forgot … |
|
|
|
Post #Avzoek7r4FuVUfhGAS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@rg9119 @JacquesC2 It's weird that there's a whole other world out ther… |
|
|
|
Post #AvzoekDWjARnmGLn0a by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@pigworker @rg9119 It too is a fun world. "Intent" is a big deal in t… |
|
|
|
Post #Avzoeu6nx10oSJHYv2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JacquesC2 @regehr @pigworker Nice! I recently told Conor (on bsky) that I thin… |
|
|
|
Post #AvzoeuCTbvY6jtw5lA by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@rg9119 @regehr @pigworker I have yet to succumb to the lure of bsky. Should I? |
|
|
|
Post #AvzoexnSEtuVtSGAJU by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JacquesC2 @regehr @pigworker Not sure. I mostly went there to keep up with so… |
