*
Логика: цель и предназначение
Deep_econom пишет:
16 ноя, 2019 15:48 (местное)
RE: Эпистемические логики с субъектом рассуждения
имхо
в итоге снова вышли на фундаментальные вопросы:
1. что такое логика
2. какова цель логики
3. каково предназначение логикиИмеем
(
Read more... )
Reply
----
Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 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
----
Reply
Формализация диалектической логики.
Формализация диалектики.
https://deep-econom.livejournal.com/43100.html
в частности цитата:
правильность цепочки вывода/доказательства не должны зависеть от субъекта
оценка цепочки на истинность/ложность/другое_значение не должны зависеть от субъекта
и ваще/вообще субъект здесь ни при чем )
Reply
Reply
Reply
Leave a comment