Логика: цель и предназначение

[mp_gratchev]

*

Логика: цель и предназначение

Deep_econom пишет:
16 ноя, 2019 15:48 (местное)
RE: Эпистемические логики с субъектом рассуждения
имхо
в итоге снова вышли на фундаментальные вопросы:
1. что такое логика
2. какова цель логики
3. каково предназначение логикиИмеем

Comments

[bluxer]

Логика - это канон и органон правильных рассуждений.
Истинно так: логика - это не о том, как оно есть, а о том, как оно должно быть. Поэтому она нормативная наука (да и философская к тому же).

Нож не имеет цели зарезать барашка или отрезать кусок хлеба от батона.
Увы, если бы у создателя ножа не было такого рода целей (разрезать предметы), то нож не был бы изготовлен, а значит, целеполагание в нем-таки заложено.

Как оно есть и как оно должно быть

[mp_gratchev]

[Истинно так: логика - это не о том, как оно есть, а о том, как оно должно быть].

Это верно в отношении предмета логики. А вот объект логики (естественные рассуждения людей) - это о том, как оно есть.
--

Re: Как оно есть и как оно должно быть

[bluxer]

В смысле, что они оцениваются на логичность или нелогичность.

Re: Как оно есть и как оно должно быть

[mp_gratchev]

[В смысле, что они оцениваются на логичность или нелогичность].

В смысле, естественные рассуждения напичканы противоречиями.

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

Диалектическая логика исследует этот аспект естественных рассуждений.

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

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

--

[deep_econom]

1. Что такое логика

[deep_econom]

смотрим оглавление, там исчисление, исчисление, исчисление...

----
Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
https://www.mccme.ru/free-books/shen/shen-logic-part2-2.pdf

1. Логика высказываний 8
2. Исчисление высказываний 40
2.1. Исчисление высказываний (ИВ) . . . . . . . . . . . . . . 40
2.3. Поиск контрпримера и исчисление секвенций . . . . . . 53
2.4. Интуиционистская пропозициональная логика . . . . . 58

3. Языки первого порядка 72
3.1. Формулы и интерпретации . . . . . . . . . . . . . . . . . 72
3.2. Определение истинности . . . . . . . . . . . . . . . . . . 76
3.3. Выразимые предикаты . . . . . . . . . . . . . . . . . . . 80
3.4. Выразимость в арифметике . . . . . . . . . . . . . . . . 82
3.5. Невыразимые предикаты: автоморфизмы . . . . . . . . 86

4. Исчисление предикатов 128
----

[deep_econom]

а тут описан правильный подход!!!

Формализация диалектической логики.
Формализация диалектики.
https://deep-econom.livejournal.com/43100.html

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

[darkhon]

Таки да, в логических рассуждениях нет ни субъекта, ни объектов действительности. Максимальная абстракция.

логика, цель логики, предназначение логики

[livejournal]

Пользователь deep_econom сослался на вашу запись в своей записи « логика, цель логики, предназначение логики» в контексте: [...] : цель и предназначение https://mp-gratchev.livejournal.com/175855.html?thread=1402607#t1402607 [...]