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

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

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

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

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

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

Суворов О.А.

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

Суворов О.А.

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

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

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

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

Суворов О.А.

ЕДИНСТВО ОБЪЕКТНОГО И СУБЪЕКТНОГО КАК ИСТОЧНИК И  ЯДРО ДИАЛЕКТИЧЕСКОЙ ЛОГИКИ

Суворов О.А.

ДИАЛЕКТИЧЕСКАЯ ЛОГИКА КАК НАУКА И СИСТЕМА КАТЕГОРИЙ

(обновление и конкретизация)

Введение