The Eternal Doorman

In John Searle's 1998 lecture Social Ontology and the Philosophy of Society he said:  The question is: 'what is the ontology of social reality?' To begin with, I'm going to make an assumption which l won't justify today, though perhaps in tomorrow's discussion I can. The assumption is that we should abandon the traditional Western distinction between mind and body. We have in the Western intellectual tradition been cursed with this dualism, with the idea that there is a fundamental distinction between the mind and the body, between the mental and the physical. And in some respects the situation is made even worse by those philosophers who say that in addition to two worlds we also live in a third world. Philosophers such as Frege and Popper, and more recently Jürgen Habermas have said we should think of reality as dividing into three different worlds. My own view is we should never have started counting.  Popper's "three worlds" theory seems to ha...

She's beautiful and hilarious! Buy her and her sister's jewellery at  https://www.etsy.com/shop/Luxulite . Subscribe to Karolina Żebrowska .

It's a classic tragedy of the Commons situational logic: The Edwards Aquifer is the primary water supply for more than 2 million people across South Central Texas:  Subscribe to  Symbiosis Texas .  See What is Water Worth On the Free Market? Peabody Energy developed two coal strip mines on the Black Mesa reservation: the Black Mesa Mine and the Kayenta Mine. The company pumped water from the underground Navajo Aquifer for washing coal, and, until 2005, in a slurry pipeline operation to transport extracted coal 273 mi (439 km) to the Mohave Generating Station in Laughlin, Nevada. With the pipeline operating, Peabody pumped an average of 3 million gallons of water from the Navajo Aquifer every day. Subscribe to Spagoshi .

It's a really excellent talk given in December 2016: You can read McClintock's article here for now.  See https://www.denisnoble.com/ and Dance to the Tune of Life: Biological Relativity . See also Why is Physics So Difficult?  and also  William Jaworski on Hylomorphism  and Semantic Closure . Subscribe to Voices from Oxford . 

See  Susan Stepney - Life as a Cyber-bio-physical System .  My comment : This is interesting. I had never heard the term hylomorphism before, outside of computer science! Being in this sense is the higher ground in terms of which we abstract notions such as matter and energy which our senses could never perceive if it weren't structured. Reductionist science sees the problem upside-down: they wonder where is the structure, but ultimately the structure is the only thing we can actually understand. Think of the particle traces in cloud chambers or colliders at CERN. There is nothing to know about subatomic particles apart from the structure they were once a part of. At the end of a particle track you don't find the particle! See  https://williamjaworski.com  and his book Structure and the Metaphysics of Mind (Oxford University Press 2016) .  See also  John Searle on the Logical Structure of Human Civilization  and  Jacob Barandes' Talk at ESA Quantu...

See https://con.racket-lang.org/  and you can get a ticket at  https://www.eventbrite.com/e/racketcon-2026-tickets-1997181002140 . The live stream is publicly available, but buying this $10 ticket helps pay for the live stream and ensure its availability for the entire community. Subscribe to  Racket . It's fun. They have a corresponding amount (16 years or so) of cruft they need to deal with though: See Matthew Flatt's Sunday morning talk A New Foreign-Function Interface: ffi2 . Subscribe to  The Functional Cruft of Programming . I mean craft ! I am interested in the general problem, of how you build runtime systems and interfaces to existing code. I thought of using Standard ML modules to specify the interfaces in terms of something like GNU lightning, and then meta-programming the runtimes in the high-level language. I guess I could do this by writing a Standard ML #lang for racket, ... The GNU people weren't interested (see Graham Hutton, Zac Garby and Patrick B...

Subscribe to World of Art .  Subscribe to Crime Pays but Botany Doesn't .

I had a strange dream last night in which Euclid explained why he wrote his Optics as if "... visual rays proceed from the eyes onto objects, and that the different visual properties of the objects were determined by how the visual rays struck them." He said it's simply that geometry is the eye of God, i.e. that organ by which we know (i.e. determine ) where things are and what are their shapes etc. See  Martyna Marciniak . I forgot about this dream until I got to 21:45  where he mentions the measurement problem.  Subscribe to Jacob Barandes . 

I didn't get much of this!  See nlab on  Diaconescu-Goodman–Myhill theorem and Wikipedia's  Diaconescu's theorem . My comment :    11:05 FYI I found this very hard to follow. Actually it has so far been impossible for me to follow! I don't know the context of these statements like "a predicate of booleans is a function from bool (Boole?) to prop" I can guess that it means a well-formed formula with a parameter P, say, which when substituted with any well-formed boolean-valued expression produces a well-formed statement of a proposition, i.e. just another boolean-valued expression? But it could also be interpreted extensionally in set theory and the result would be completely different. So what is the sense in which these things are equivalent? The only way I can see to make this meaningful is to restrict to a language where you speak only of how these translations are made. To talk about sets and types as if they exist independently of this seems like mad...