> Безусловно есть, тот же самый, что и в предыдущем примере - у нас есть алгоритм, который умножает числа. Загружаем в него два отрицательных числа, и в ответ получаем положительное.

Каким же образом это подтверждает, что минус на минус дает плюс? Так я могу написать программу, которая на 2+2 выдает 5, и что?

Правило с минусом невозможно проверить как в первом примере. Это правило просто постулируется, поскольку такой постулат выгоден. Для каждого постулата правда бывают рационализации - долгие пространные объяснения, ничего не доказывающие.

> А у Вас методы (средства) отдельно, а объекты (знания) -отдельно? Два разных мира?

Наука часто неявно исходила из того, что существует некая простая реальность, которую мы можем понимать непосредственно. А сложные математические идеи нужны только для того, чтобы решать практические задачи.
Например, если я смотрю на работающий алгоритм, у меня есть исчерпывающее понимание того, что в нем происходит. Сложные приемы мышнения мне могут понадобиться только как инструмент, например, для упрощенного статистического предсказания работы алгоритма, или при неполной иноформации о состоянии алгоритма.

Т.е. для понимания мира достаточно знаний (объектов).
Методы (средства) нужны только для решения задач.
Квантовая механика - первая теория, которая привлекает к процессу понимания методы (средства).
Отсюда возникает закономерный вопрос: а настоящее ли это понимание.