1. Что такое корректность

В принципе не существует способа узнать что-либо о природе (и не только о ней) помимо пота и опыта, потому что "чисто логическое мышление само по себе не может дать никаких знаний о мире фактов. Полученные чисто логическим путем положения ничего не говорят о действительности" [25]. Но любой эксперимент (эксперимент всегда - опыт, обратное, вообще говоря, неверно) есть попытка получить ответ на корректно (от лат. correctus) поставленный, то есть правильный вопрос. Язык, на котором можно задавать корректные вопросы, это всё же язык логики и, в конечном итоге, математики. На многие вопросы можно получать однозначные ответы, используя уже накопленный опыт, если эти вопросы частный случай более общих вопросов, на которые уже есть ответы. Искусство пользоваться накопленным опытом, то есть видеть за частным случаем общую проблему и рассуждать "от общего к частному", и есть дедукция по Аристотелю. Однако если понимать под истинностью суждений не отражение реальности, что бы под этим ни понимать, а их непротиворечивость и попытаться искусство дедукции сделать умением, то мы получим математику.

(Комментарий. 1. Под экспериментом в науке понимается создание некоторого контролируемого комплекса условий, который теоретически можно повторить неограниченное число раз. Если такой комплекс условий не создаётся, а уже существует в природе, то говорят о наблюдении. Опыт - это контекстно определяемое понятие, интерактивно включающее в себя реальность (как бы она ни понималась) как общий предмет опыта. Интерпретация результатов эксперимента может позволить отдать предпочтение одной из нескольких альтернативных теорий - то, что А. Эйнштейн называл experimentum crusis (испытание крестом). Эксперимент может фальсифицировать (в смысле Поппера) теорию, если результаты эксперимента с ней не согласуются, но никакой эксперимент не может подтвердить никакую теорию. Кроме того, эксперимент может быть только корректным, то есть правильным.

2. В некотором смысле аналогично положение в математике. Откуда-то сверху, откуда математика, как предмет, видна целиком, она представляется как формально-логический дискурс (лат. discursus рассуждение или discurro суетиться), дедукция (лат. deductio выведение) из конечного числа явных утверждений. В современном понимании математика, с одной стороны, это культуральный троп, то есть один из способов человеческого понимания мира, в основе которого лежит иерархия формально-логических рассуждений. С другой стороны, математика является естественным интерпарадигмальным языком науки, в котором формально-логическое доказательство является общезначимым средством её самоисправления. Это означает, что во внутренних областях математики никакие неправильные, то есть некорректные задачи просто невозможны в том смысле, что рано или поздно они будут либо отброшены, либо правильно поставлены и решены.)

Как же появляются некорректные, или некорректно поставленные задачи?