Здравствуйте, Klikujiskaaan, Вы писали:

K>1) Аристотелевская логика была формализована задолго до Буля и Де Моргана.

Допустим.
И ты можешь дать ссылку на формальный язык, описывающий аристотелевскую логику, появившийся до Буля?


K>2) Исчисление предикатов изобрел Фреге

Ты меня тут в чём-то пытался поправить или что?
Это в любом случае случилось позже работ Буля, и Фреге был тоже математиком, если что.

В любом случае, логику высшего порядка гуманитарии не проходят, а для технарей это "просто алфавит".
И эту логику (названную потом математической) допилил до современного вида наш соотечественник Порецкий, а не Фреге.


K>3) Begriffsschrift — обязателен к изучению на факультете философии.

И?
Отсылка к Begriffsschrift — это как отсылка к Дракону или русскоязычному Оберону.

А чем не устроила принятая сегодня международным сообществом символьная запись логических высказываний?
Неужели ты не держал в руках ни одного справочника или учебника по вышке?
А если держал — понимаешь ли прочитанное? ))

Тем более, что логика первого порядка не является полной.


K>4) Ты понятия не имеешь, какие логики изучают на философских факультетах.

Полная логика — она одна, угомонись.
Этапы её становления можно изучать лишь в кач-ве исторического экскурса "как оно всё было".
Такой себе предметик — легкотня, рядом с той же вышкой.

А неполная логика изучает типичные людские ошибки в философии (ну как "изучает" — пытается разобраться), зато у технарей для неполной логики есть неплохо работающий ИИ-матаппарат, который по степени проработанности заметно выше, чем аналогичные попытки со стороны гуманитариев.
2:0 ))

А значешь, почему?
Раньше философия росла, росла до большей точности и безошибочности, и толкалась вперёд в конце 18-го и начале 19-го веков во многом не просто философами, а учёными в области точных наук. И однажды философия, таки, доросла — от неё отпочковался огромный пласт в сторону этих точных наук. А то, что оставили философии после такого почкования — это уже не та философия. Это не то, о чём сегодня имеет смысл говорить, надувая щёки.

Поэтому, если современный философ не математик или не теоретический физик — он полуфилосов, увы и ах.
Потому что так было всегда и так всегда и будет.

Здравствуйте, Klikujiskaaan, Вы писали:

K>1) Аристотелевская логика была формализована задолго до Буля и Де Моргана.

Допустим.
И ты можешь дать ссылку на формальный язык, описывающий аристотелевскую логику, появившийся до Буля?


K>2) Исчисление предикатов изобрел Фреге

Ты меня тут в чём-то пытался поправить или что?
Это в любом случае случилось позже работ Буля, и Фреге был тоже математиком, если что.

В любом случае, логику высшего порядка гуманитарии не проходят, а для технарей это "просто алфавит".
И эту логику (названную потом математической) допилил до современного вида наш соотечественник Порецкий, а не Фреге.


K>3) Begriffsschrift — обязателен к изучению на факультете философии.

И?
Отсылка к Begriffsschrift — это как отсылка к Дракону или русскоязычному Оберону.

А чем не устроила принятая сегодня международным сообществом символьная запись логических высказываний?
Неужели ты не держал в руках ни одного справочника или учебника по вышке?
А если держал — понимаешь ли прочитанное? ))

Тем более, что логика первого порядка не является полной.


K>4) Ты понятия не имеешь, какие логики изучают на философских факультетах.

Полная логика — она одна, угомонись.
Этапы её становления можно изучать лишь в кач-ве исторического экскурса "как оно всё было".
Такой себе предметик — легкотня, рядом с той же вышкой.

А неполная логика изучает типичные людские ошибки в философии (ну как "изучает" — пытается разобраться), зато у технарей для неполной логики есть неплохо работающий ИИ-матаппарат, который по степени проработанности заметно выше, чем аналогичные попытки со стороны гуманитариев.
2:0 ))

А значешь, почему?
Раньше философия росла, росла до большей точности и безошибочности, и толкалась вперёд в конце 18-го и начале 19-го веков во многом не просто философами, а учёными в области точных наук. И однажды философия, таки, доросла — от неё отпочковался огромный пласт в сторону этих точных наук. А то, что оставили философии после такого почкования — это уже не та философия. Это не то, о чём сегодня имеет смысл говорить, надувая щёки.

Поэтому, если современный философ не математик или не теоретический физик — он полуфилософ, увы и ах.
Потому что так было всегда и так всегда и будет.