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

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

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

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

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

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

ДИАЛЕКТИЧЕСКАЯ ЛОГИКА КАК НАУЧНАЯ МЕТАФИЗИКА

Символический язык и математические методы  в логику ввели для того, что бы избавиться в рассуждениях от неоднозначностей и неопределенностей, свойственных естественным языкам.

 Эта  моя вторая беседа с великим мыслителем  Аристотелем построена  на цитатах из  произведения "Об истолковании", второго трактата из  состава   корпуса сочинений о логике "Органон".  

  Вчитываясь в слова этого  произведения, стараясь осмыслить высказывания Аристотеля  и цель написания этого сочинения, нахожу ответы на  свои вопросы о смысле логики. 

Суворов О.А.

О ЕДИНОЙ ПАРАДИГМЕ ФИЛОСОФСКОЙ ПРЕДМЕТНОСТИ

Суворов О.А.

ПОЧЕМУ ВСЁ-ТАКИ ГЕГЕЛЬ ИРОНИЗИРОВАЛ ПО ПОВОДУ ФОРМАЛЬНОЙ ЛОГИКИ?

ОТВЕЧАЕТ ЛИ ФОРМАЛЬНАЯ ЛОГИКА СВОЕМУ ОПРЕДЕЛЕНИЮ?

Многолетние раздумья над этим вопросом привели меня к отрицательному ответу на него. И вот почему.

Определений традиционной логики, которые даются в учебной и справочной литературе, много, но, несмотря на их разнообразие,  они сводятся к одному: логика есть наука о законах и формах правильного мышления. Насколько корректно это определение? Весьма сомнительно.