Суворов О.А.
ОБЪЕКТНО-СУБЪЕКТНОЕ ОТНОШЕНИЕ КАК ФУНДАМЕНТАЛЬНАЯ И НЕПРЕХОДЯЩАЯ ФИЛОСОФСКАЯ ПАРАДИГМА
Суворов О.А.
ОБЪЕКТНО-СУБЪЕКТНОЕ ОТНОШЕНИЕ КАК ФУНДАМЕНТАЛЬНАЯ И НЕПРЕХОДЯЩАЯ ФИЛОСОФСКАЯ ПАРАДИГМА
Всё было бы хорошо с "логическими операциями" (т.е. с типами "логических систем"), если бы не одно досадное обстоятельство. Три из четырёх базовых бинарных логических операций имеют всем понятный очевидный смысл:
ЛОГИЧЕСКИЕ ОПЕРАЦИИ
Давайте разберёмся, каким образом появляются и что собой представляют всем нам известные классические "логические операции" и почему никаких других (новых) "логических операций" нет и не может быть вообще.
Поговорим об основах Математической Логики, - о том, как устроен механизм "строгого логического доказательства" и о том, как следует строить научные ТЕОРИИ. Но прежде чем перейти к разбору устройства этого чудесного механизма "строгого логического доказательства" (или короче - "логического доказательства", или ещё короче -"доказательства"), следует разобраться с самым начальным понятием, - что такое ЛОГИКА (логические рассуждения) вообще.
В далёком 1980 году всё и началось итак wikipedia :
ДИАЛЕКТИЧЕСКАЯ ЛОГИКА КАК НАУЧНАЯ МЕТАФИЗИКА
Символический язык и математические методы в логику ввели для того, что бы избавиться в рассуждениях от неоднозначностей и неопределенностей, свойственных естественным языкам.
Эта моя вторая беседа с великим мыслителем Аристотелем построена на цитатах из произведения "Об истолковании", второго трактата из состава корпуса сочинений о логике "Органон".
Вчитываясь в слова этого произведения, стараясь осмыслить высказывания Аристотеля и цель написания этого сочинения, нахожу ответы на свои вопросы о смысле логики.