���������� ������������ ����������������� ������� ����������� ���������
������ �. ������
( �������� ���������� ���������� ��.
�.�.������� ���
)
��������������� -- ��� ����� ��������������
��������, ������������ �� ������� ����� ����� ��� �������������,
���������� ("����������"), ���������
�������� � �.�. ����� ��������� � 70-� �
80-� ���� � ������� �.�.������� ��� ����� �����.
����������� ������ -- ��������� ���������� ����� ���� ������� (Neil
Jones) � ��������� ���������� ����� �.�.������.
���������������, Scp: p -> q, �� �������� ��������� p �� ��������� ����� ���������������� ������ ������������� �� ���������� ��������� q �� ��� �� (��� ������) �����. ��� �������, ��������� q ����� ���������� �� ���� ������������� ���� �� ����������, ��������� � ����� ���������, �/��� �� ���� ����������� ������� ����������� D.
����� �� ����������� �������� ��������� ��� �� ��������������� -- ���������� ������, ������� ����� �� �������� �� ����� ��������� ����������������� ��� ��������� � ����������, ������������� � ���������� �����������������, � ���� �� ������ � ��������� �������� �� ������, ��� ���� ���������������.
� �������� ������ ������ ��������������� � ������� ������������ ������������ �����������������, ������� ���������� ��������� R(p,q,D) ����� �������� � ���������� ����������� p � q, ����� ��� p � q ������������ �� ������� ������� ������ D. ������������ ������� � ���, ��� ������, ��� ��������� q �������� ��������� ����������� ��������������� ��������� p, �� �� ��� ��������������� �� ������, ��������� ����� ��������� � ���������.
� ������� ������������ ��� �������� ������������ ����������������� ��������� ������� ����������� ��������� (������������ ��������� �� ��������) ����� ���������� ������������ ��������� �������� ���������� ��������������� �����. ������������ ��������� ������������� ����� �������� ������� ���������������, ��� ������������, ��������, �������, ���������, ������������, ����������� ������������, ���������� �� ������� ���������� �������� ������� � �������� �����������������, � ����� �������������� � �������� ������������ � ������ �������� �����������������, ��������������� ������������.
��� ���������� ���������� ������������ ���������� � ������ ������ ���������������, ��������, �� ������ ������� �� ������ �������� 28 ������ 2004 ���� "��������������� � ��������� ����������: �������� � ��������� ���".