April 18th, 2017

о философии как методологии

о философии как методологии
методология может заключаться в описании методов/способов выбора в том или ином случае конкретного вида логики, типа вот такие логики лучше работают в таких областях, а вот такие логики лучше работают в других областях

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

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

"тезис-антитезис и синтез" это тоже можно формализовать

ps читайте тут и в комментах тоже
Спор Ойзермана со Свинцовым о существовании диалектической логики
http://dia-logic.livejournal.com/210045.html

СМЕНА ПАРАДИГМЫ. ЧАСТЬ 4. О ФОРМАЛЬНОЛОГИЧЕСКОЙ И ДИАЛЕКТИЧЕСКОЙ ПРОТИВОРЕЧИВОСТИ
http://dia-logic.livejournal.com/211825.html

Формализация диалектической логики.

Формализация диалектической логики.
Формализация диалектики.

правильность цепочки вывода/доказательства не должны зависеть от субъекта
оценка цепочки на истинность/ложность/другое_значение не должны зависеть от субъекта
и ваще/вообще субъект здесь ни при чем )
думаю, можно строить логики с включенным субъектом, ну дадим им название субъективные логики )
однако все эти и логики должны быть обычными формальными логиками
в том смысле, что
заданы аксиомы и правила преобразования аксиом, больше ничего не требуется

один субъект пользуется одной системой аксиом и своими правилами вывода, т.е. у него своя теория (в смысле теории моделей)

другой субъект пользуется другой системой аксиом и другими правилами вывода, т.е. у него иная теория (в смысле теории моделей)

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

имеем тезис-антитезис, аргумент-контраргумент
разные теории, разные выводы, разные следствия, которые могут противоречить друг другу

как поступать, если стороны желают создать более объективную картину мира на основе обоих теорий?
поставить границы для каждой теории, здесь пользуемся, здесь не пользуемся, там рыбу заворачиваем
теории надо обобщить/объединить
согласовать систему аксиом, объединить аксиомы, часть выкинуть или трансформировать
аналогичные действия произвести с правилами вывода
поставить

когда мы произведем все эти действия, то получим новую теорию со своими правилами вывода, которая снимает первоначальные противоречия
все, совершили синтез
и не вышли за рамки формальной логики.

ps читайте тут и в комментах тоже
Спор Ойзермана со Свинцовым о существовании диалектической логики
http://dia-logic.livejournal.com/210045.html

СМЕНА ПАРАДИГМЫ. ЧАСТЬ 4. О ФОРМАЛЬНОЛОГИЧЕСКОЙ И ДИАЛЕКТИЧЕСКОЙ ПРОТИВОРЕЧИВОСТИ
http://dia-logic.livejournal.com/211825.html