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

Суворов О.А.

ОБЪЕКТНО-СУБЪЕКТНОЕ ОТНОШЕНИЕ КАК ФУНДАМЕНТАЛЬНАЯ И НЕПРЕХОДЯЩАЯ  ФИЛОСОФСКАЯ ПАРАДИГМА

Суворов О.А.

ОБЪЕКТНО-СУБЪЕКТНОЕ ОТНОШЕНИЕ КАК ФУНДАМЕНТАЛЬНАЯ И НЕПРЕХОДЯЩАЯ  ФИЛОСОФСКАЯ ПАРАДИГМА

Проблема сознания

ПРОБЛЕМНОЕ "из А следует В"

Всё было бы хорошо с "логическими операциями" (т.е. с типами "логических систем"), если бы не одно досадное обстоятельство. Три из четырёх базовых бинарных логических операций имеют всем понятный очевидный смысл:

ЛОГИЧЕСКИЕ ОПЕРАЦИИ

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

Поговорим об основах Математической Логики, - о том, как устроен механизм "строгого логического доказательства" и о том, как следует строить научные ТЕОРИИ. Но прежде чем перейти к разбору устройства этого чудесного механизма "строгого логического доказательства" (или короче - "логического доказательства", или ещё короче -"доказательства"), следует разобраться с самым начальным понятием, - что такое ЛОГИКА (логические рассуждения) вообще.

В далёком 1980 году всё и началось итак wikipedia :