З а д а ч а. "Секс-услуги"

Следует ли наказывать за оказание секс-услуг (сутенёрство и проституцию)?

Р е ш е н и е:

Чтобы логически обосновать юридические запреты на какие-либо действия, необходимо доказать теоретическую "аморальность" этих действий. Аморальность (моральность) действий доказывается логически путём дедуктивного вывода из аксиом теории Права. В данном доказательстве будут задействованы четыре аксиомы:

З а д а ч а. "Где кончается Свобода?"

Есть расхожее высказывание: "Свобода одного человека кончается там, где начинается свобода другого".
Так ли это? - Как решить данную задачу чисто теоретически?

Р е ш е н и е:

ПРАВО

Так что же такое "Право"? Откуда оно берётся и каким образом оно связано со "свободой"? – Начнём с того, что дадим определение понятию "право":

ПРАВО - это область (множество) РАЗРЕШЁННЫХ (дозволенных) действий каким-либо "источником Права".

Теоретические основы Свободы

Рассмотрим более детально, что такое "свобода", как она связана с "правом", - и далее, как обычное "право" связано с "правом собственности" и этикой.

Начнём с того, что дадим определение понятию "свобода" таким образом, чтобы оно наиболее точно соответствовало нашим интуитивным представлениям о нём:

СВОБОДА - это возможность совершать "желаемые действия".

ДЕДУКЦИЯ (Аксиоматический метод)

З а д а ч а:

"СТРОГОСТЬ" в логических рассуждениях

СТРОГАЯ логика подразумевает однозначность (абсолютную точность) логического результата – т.е. "значений истинностей" своих "высказываний-заключений" – ("истинно" оно или "ложно"). - Разберём пошагово работу механизма "строгого логического рассуждения" на простейшем примере.

Изъяны ЛОГИКИ ВЫСКАЗЫВАНИЙ

Механизм работы "логических рассуждений" в "логике высказываний" на первый взгляд может показаться безупречным, - ведь он всегда даёт абсолютно точный результат (в виде "значений истинности" высказываний-заключений), - однако, это вовсе не так, - к сожалению, далеко не всё тут обстоит так благополучно. При всех своих достоинствах "логика высказываний" имеет тем не менее несколько слабых сторон.

ТРИ КОМПОНЕНТЫ ЛОГИЧЕСКОГО ВЫСКАЗЫВАНИЯ

Начнём с основных определений:

Если просто рассматривать отдельное утверждение А (или его отрицание -А) само по себе, - то, разумеется, никакой "логической системы" оно образовать не может, поскольку "логическая система" обязательно предполагает какую-то СВЯЗЬ со ВТОРЫМ высказыванием, которое в логических рассуждениях (логических сессиях) будет играть роль "логического заключения".