Не понял, что именно "не в том смысле". Если верить википедии, ТПС — проблема объяснения того-то и того-то. Объяснение — это НЕ доказательство и НЕ исследование.
S>Более простая формулировка — сделайте систему, которой может быть больно и которая сможет наслаждаться.
Идём на 100500-й круг. Систему можно сделать хотя бы описанной мной выше схеме (заменив "красное" на "страдание"), и можно будет объяснить, что система страдает. Но нельзя будет строго доказать это, ну никак нельзя. Как нельзя доказать хоть что-то относительно особенностей сознания летучей мыши, не отражающихся в её поведении.
