Логика формальная и диалектическая

[sahonko]

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

Comments

[moonwalker72]

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

[sahonko]

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

[psilogic]

Эк навернул... а если перевести на более русский? Например вместо "когда в суждениях одной формальной логики существуют логические субъекты и предикаты не тождественные одноименным во второй логике" - что-нибудь типа: "когда не понимают друг друга"

[sahonko]

Ну надо же как-то соответствовать ширине своих надутых щёк :)

А если серьезно, то Вы показали, что я написал логическое определение непонимания. Сам бы я даже и не заметил. Пасибо.

[ext_4751223]

Решение парадоксов (окончательная версия