М АТЕМАТИЧЕСКАЯ ФОРМУЛИРОВКА ДИАЛЕКТИЧЕСКОЙ ЛОГИКИ (МЕТОДА ВЫВОДА ФИЛОСОФИИ). Осовский И.А.

Тезисы доклада
на конференции «Вклад современной науки в общечеловеческую культуру.» 2009. Севастополь.

Краткое введение в логику(математическую).

символьные обозначения (математическая логика):
события A, B : значение ИСТИНА либо ЛОЖЬ (возможно обозначение 1, 0).

Логические операции (связки событий, вывод):		событие A	1	1	0	0
		событие B	1	0	1	0
ОТРИЦАНИЕ ...	дополнение множества до полного	!A	0	0	1	1
... И ...	пересечение множеств	A * B , AB	1	0	0	0
... ИЛИ ...	объединение множеств	A | B , A + B	1	1	1	0
ЕСЛИ ..., ТО ... (причинность материальная импликация	A есть подмножество B	A->B	1	0	1	1

Двойное отрицание эквивалентно утверждению: !!A = A.

Любые две логические связки выражается через две другие, например:
!(A*B) = !A|!B, !(A|B) = !A*!B, A->B = !A|B ...

Специфика русского мышления [2003. О корректном мышлении. Как жить в истине]:
троичная логика (вероятней всего, как развитие женской логики);
метод вывода:
российский(восточный) вариант: Исключительное ИЛИ = ИЛИ-ИЛИ = Либо ->неконструктивный метод для тестирования (проверки, испытания) заимствованного представления;
украинский(западный) вариант: ЕСЛИ..., ТО... = ПРИЧИНА(как подмножество)-СЛЕДСТВИЕ -> метод научного познания;
различные базисные представления (восточный-западный).

Метод вывода диалектической логики.

Гипотеза: Метод вывода как норма(мера) (!a+!b)ⁿ