5 ms·
Colorless green ideas sleep furiously
- bookmarkable 6y agoI have that on vinyl.
- carapace 6y agoChomsky's Transformational Grammar[1] was applied to transcripts of gifted psychologists (Virginia Satir, Milton Erickson and Fritz Perls) to develop the "Meta-Model"[2] and eventually Neurolinguistic Programming, a very potent and rigorous school of applied psychology. It's also the origin of the Chomsky hierarchy "a containment hierarchy of classes of formal grammars."[3] Pretty neat, eh? Computer languages and a formal working psychological toolkit both have roots in Transformational Grammar. [1] https://en.wikipedia.org/wiki/Transformational_grammar https://en.wikipedia.org/wiki/Transformational_grammar [2] https://psychology.wikia.org/wiki/Meta_model_(NLP) https://psychology.wikia.org/wiki/Meta_model_(NLP) [3] https://en.wikipedia.org/wiki/Chomsky_hierarchy https://en.wikipedia.org/wiki/Chomsky_hierarchy
- CameronNemo 6y agoI ran across the Chomsky hierarchy last week while researching expression languages (like jsonnet and Nix). Really blew my mind. Made me think how we could reimagine our legal language in a more structured way.
- tsimionescu 6y agoLegal language doesn't have any reason to be re-imagined, especially in the direction of making it more formal. If anything, it would probably benefit from stopping to pretend it is a kind of formal language. It doesn't really help to use a formal(-ish) language to describe informal semantics, and there's no way at this time to describe the world in formal semantics (for example, you couldn't formally, mathematically, define the concept 'contract' in a way that matches what the legal system generally understands by it).
- gryn 6y agoI'm curious, why would it be impossible to define the concept of legal contract formally ?
- tsimionescu 6y agoTry it and it will quickly become apparent. Most of the concepts we work with are fuzzy and dependent on many implicit understandings that are very hard to formalize in satisfying manner. In particular, a contract must be willingly entered by the participants, which in itself is a very hard to formalize concept (e.g. if I am dying of hunger and believe that my only chance of eating is to enter this contract, am I willingly accepting it or am I being compelled? How is this different from someone putting a gun to my head and telling me to sign?) Note that what I'm thinking of here is a formal definition that is rigorous enough to be able to apply formal mathematical methods to reason about it.
- CameronNemo 6y agoAs legal codes become broader, more specific, and more voluminous, I believe we will need tools to automate enforcement of policy. Hard to do that without a formal language. I'm not talking about the first amendment to the US constitution here. I am talking about legal codes used to standardize health and safety standards for goods manufactured in different jurisdictions.
- tsimionescu 6y agoHow would you automatically enforce a policy that says that a good can't cause harm? What kind of machine could automatically verify this? Or am I misunderstanding what you mean by automatic enforcement of health and safety standards?
- CameronNemo 6y agoPesticides and heavy metals are often measured in food, water, and other goods and have limits. Having these limits specified programmatically ensures there is a fast and efficient feedback loop between proposals to changes in limits and entities that would be affected by the policy changes. Mandatory financial reporting can benefit from automation as well IMO.
- tsimionescu 6y ago> Neurolinguistic Programming, a very potent and rigorous school of applied psychology "Neurolinguistic Programming" is far from "a potent and rigorous" school of anything, it is gobbledygook that has nothing to do with Chomsky's insights into linguistics. In particular, Chomsky's work focuses on understanding the basic patterns behind language itself as a general human trait, at a very basic level, because that's all that can be studied at the moment. The concepts from Transformational Grammar and Universal Grammar are far too simple to be used in analyzing actual human speech, it would be like trying to use Newton's laws of motion to analyze how athletes run and claiming you discovered something important: pseudo-science at its worst.
- carapace 6y agoWith respect, you are speaking from ignorance. NLP arouses the ire of what I call "Capital-S Skeptics". That's why I didn't link to the Wikipedia article on it, as it's been glossed over with cries of "pseudo-science!" by ignorant skeptics so you can't really get any information about NLP from WP except that skeptics are skeptical of it. I have personal experience of NLP and I can vouch that it is effective (you can change yourself quickly and easily) and rigorous (it develops repeatable algorithms that can be taught to others who can then replicate the results), e.g. the "Phobia Cure" pattern that cures phobias quickly and permanently typically in a single application. I myself was cured of a terrible depression that was ruining my life in a one-off treatment that took less than ten minutes. Saved my life.
- tsimionescu 6y ago> I myself was cured of a terrible depression that was ruining my life in a one-off treatment that took less than ten minutes. Saved my life. Having known many people who struggle with depression, please allow me to simply consider you a liar on this point at least. It is claims like this that make it obvious that NLP is either culty or snake-oil (or both). Claiming that you can cure complex diseases with neurological and social and psychological causes in 10 minutes with repeatable algorithms inspired by applying linguistic analysis on the work of 3 therapists is so obviously bunk that I'm wondering if you'll next tell me about this one weird trick if I send you a one-off payment.
- wsostt 6y agoMentioned in today’s xkcd https://xkcd.com/2421/ https://xkcd.com/2421/