Приоритет метамоделирования – не прописан точно ↑
meta_eugzol в посте Metapractice (оригинал в ЖЖ)
В плане уточнения конъюнкции можно их подвергнуть сомнению по отдельности или вместе. Но будет ли это метамоделированием?
Причинно-следственная связка является пресуппозицией тех кусочков, из которых она состоит. Пресуппозиции – классическая мета-модель.
Может, женщины ангелы?
Может мужчинам не нравится ставить их на пьедестал?
Может, и то, и другое не соответствует действительности (то, что женщины не ангелы, и то, что мужчинам нравится ставить их на пьедестал)?
Угу. По идее это первым делом спрашивать и надо. И ещё утраченный перформатив мы забыли: "Кто сказал, что женщины далеко не ангелы, но мужчинам нравится... (и т.д. до конца фразы)?"
Но здесь я имел в виду другое, метамоделирование самой ПС связки "женщины далеко не ангелы (А), но мужчинам нравится ставить их на пьедестал (Б)":
1. Прямое уточнение связки
Как конкретно из того, что женщины далеко не ангелы, вытекает ~желание мужчин ставить их на пьедестал?
2. Чем больше А, тем больше Б
Чем больше женщины не ангелы, тем больше мужчинам это нравится?
3. Обращение (формальное свойство импликации А -> B => !B -> !A)
Если мужчине не нравится ставить некую конкретную женщину на пьедестал, следует ли из этого что она ангел?
4. Контр-пример
Есть ли хотя бы один контр-пример: когда мужчинам не нравится ставить на пьедестал тех женщин, которые далеко на ангелы?
12.2. А, но Б. Упущенная пресуппозиция.
7. «Если бы женщины были ангелами, то мужчинам должно было бы нравиться ставить их на пьедестал?»
Ну да, это стандартное "НО" из структуры магии.