А ведь соглашусь и с
Unmasker'ом, и с
Игнатом, и, не только соглашусь, но и поддержу
Miri. Дело, однако, в том, что логика парадокса с "камнем", да и других парадоксов, в частности, с якобы всезнанием Бога, широко используется и производит не только впечатление, но и действие на многих людей, которые подкупаются простотой якобы логики. Поэтому обещанное нудное разъяснение. Далее, кому неинтересно или скучно, могут смело опустить.
Логика - наука, которая развивается, следовательно, не всё, что потенциально в ней заложено, нам известно. Поэтому есть вопросы, на которые она пока не может дать ответы, есть и вопросы, которые входят за её рамки, - на эти вопросы она принципиально не может дать ответы.
Чтобы не упоминать Господа всуе, рассмотрим некий объект А. Зададимся вопросом: может ли А сделать то, что не может? С позиций логики вопрос пока бессмысленный, поскольку для использования логики изучаемый объект необходимо формализовать, в частности, описать его свойства. Например, точка в геометрии - объект удовлетворяющий требованиям некоторых аксиом, из которых вытекают её свойства: точка, в общем случае, может принадлежать двум кривым, но не может принадлежать непересекающимся кривым (так, собственно, и определяются непересекающиеся кривые).
В рассматриваемом случае речь идёт о действии. Поэтому необходимо описать, что это такое. Например объект автомобиль может совершать действия. Можно описать как действия, допустимые для автомобиля, так и понятие "действие" в общем случае. Однако в нашем случае речь идёт не о просто действиях, но действиях, выполняемых под влиянием выбора (свободы воли). Для объекта автомобиль необходимо в его состав ввести водителя и описать его свойства. Всё это можно сделать. В этом случае с позиций логики заданный вопрос уже не бессмысленный, так как объект А описан, определены его свойства, что А может, всё остальное не может, так как это "всё остальное" выходит за рамки его свойств. Таким образом, ответ с точки зрения логики: нет.
Рассматриваемый "парадокс" использует понятие "всемогущество", в рамках логики это понятие тоже можно формализовать. Теперь рассмотрим более общий, чем в парадоксе о "камне", вопрос: может ли всемогущий объект А создать камень, который не сможет поднять, и при этом остаться всемогущим? Последняя часть вопроса мне нигде не встречалась, что представляется странным, так как с точки зрения формальной логики эта часть следствие предыдущей. Наверное, что-то я пропустил. На первую часть вопроса ответил
Unmasker: при выполнении данного действия объект А перестанет им быть и превратится в другой объект В, который обладает иными свойствами, объект, который тоже необходимо формализовать.
Unmasker писал(а):
Ведь по сути, он сводится к следующему: "может ли Бог перестать быть Богом?")
На полный вопрос с частью "при этом остаться всемогущим" ответ с точки зрения формальной логики по свойству всемогущества: да. Но далее логика выходит за рамки, доступного ей, так как одновременно и да, и нет, чего в привычной (дискретной) нам логике быть не может - объект А остался объектом А и, следовательно, обладает всемогуществом. Любители данного "парадокса" останавливаются только на "нет", игнорируя "да".
Дело в том, что привычная нам логика оперирует дискретными понятиями (событиями), которые либо реализуются (да), либо не реализуются (нет), и строгой последовательностью одно за другим. Последнее не учитывают сторонники парадокса о "камне": вначале камень создаётся и только после этого встаёт вопрос о всемогуществе. В изложении парадокса о "камне" события происходят одномоментно, что противоречит логике. Одномоментность событий - свойство человеческого мышления, не за событием С событие D, а событие D одномоментно с С. Возможно, подобное мышление - наиболее естественно, но это другая тема.
Ответ на заданный вопрос в полном виде, скорее всего, может дать непрерывная логика. Это сравнительно молодая область науки, которая рассматривает возможность реализации и "да", и "нет". Пока подобная реализация рассматривается в непрерывной логике только как суперпозиция "да" и "нет" с вероятностными весами. Данная логика применяется, в частности, в физике, в электронике при изучении непрерывных процессов. Её ещё называют вероятностной логикой или многомерной логикой. Недостатками, на сей момент, данной логики является то, что она оперирует дискретными событиями, и то, что для своего развития использует аппарат привычной нам (дискретной) логики. Последнее, как мне кажется, существенно ограничивает развитие непрерывной логики. Однако во введении в непрерывную логику указывается на одновременное состояние и да, и нет, без весов значения вероятности событий. Думаю, когда-нибудь подход, описанный во введении, будет реализован.