От Любитель
К Андрей Сергеев
Дата 23.03.2006 16:04:26
Рубрики 11-19 век;

Странные вещи Вы пишете.

Не берусь с ходу (не обновив свои познания по истории математики) утверждать наверняка, но ПМСМ

>Схоластика дала мат. логику,

Мат. логика основывается во-первых на культуре доказательств и аксиоматическом методе, достаточно развитом уже Евклидом, во-вторых - на алгебраическом подходе.

К схоластике она имеет отношение не большее, чем работы, например, Скрынникова к марксизму-ленинизму.

>арабские работы - мат. аппарат,

Вот это да!

>их соединение - дифференциальное и интегральное исчисление и далее везде.

Дифференциальное исчисление к мат. логике прямого отношения не имеет.

>Противопоставлять одно другому попросту глупо.

Смотря что значит "противопоставлять".

И вообще было бы очень интересно, если бы Вы обосновали своё вИдение фактами (называя имена учёных, даты публикации их работ и т.д.).
От Роман Храпачевский
К Любитель (23.03.2006 16:04:26)
Дата 23.03.2006 17:57:05

Re: Странные вещи...

>Дифференциальное исчисление к мат. логике прямого отношения не имеет.

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

http://rutenica.narod.ru/
От Dervish
К Роман Храпачевский (23.03.2006 17:57:05)
Дата 23.03.2006 23:01:47

Совреенная система обоначений сильно отличается от ньютоновской... (-)

-
От Андрей Сергеев
К Любитель (23.03.2006 16:04:26)
Дата 23.03.2006 16:25:03

Re: Странные вещи...

Приветствую, уважаемый Любитель!

>>Схоластика дала мат. логику,
>
>Мат. логика основывается во-первых на культуре доказательств и аксиоматическом методе, достаточно развитом уже Евклидом, во-вторых - на алгебраическом подходе.

Понятие предела, бесконечно малых и т.д. Вам о чем-нибудь говорит? Где это у Евклида?

>К схоластике она имеет отношение не большее, чем работы, например, Скрынникова к марксизму-ленинизму.

Именно в схоластическом аппарате эти понятия и появились.

>>арабские работы - мат. аппарат,
>
>Вот это да!

А что Вас не устраивает? не Вы ли тут про алгебру и поч. писали?

>>их соединение - дифференциальное и интегральное исчисление и далее везде.
>
>Дифференциальное исчисление к мат. логике прямого отношения не имеет.

Вам ниже уже ответили.

>>Противопоставлять одно другому попросту глупо.
>
>Смотря что значит "противопоставлять".

Считать, что данная ветвь развития науки никакой пользы не принесла, в отличии от. Для Вас это наука доренессансной Европы, для Вашего оппонента - арабского мира.

>И вообще было бы очень интересно, если бы Вы обосновали своё вИдение фактами (называя имена учёных, даты публикации их работ и т.д.).

Доберусь дома до литературы - укажу.

С уважением, А.Сергеев
От Андрей Сергеев
К Андрей Сергеев (23.03.2006 16:25:03)
Дата 23.03.2006 16:47:59

Ну вот хотя бы для начала...

Приветствую, уважаемый Любитель!

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

В рамках схоластической логики... были подняты и зачастую разрешены многие классические логические проблемы, фактически заложены теоретические и операциональные основания математической логики, внесен вклад в развитие логики высказываний. В целом в рамках С. осуществлен значительней сдвиг в дисциплинарном развитии логики: это и учение о синкатегоремах (логических категориях); и теория логического следования Иоанна Дунса Скота; и основы теории импликации Раймунда Луллия; и теория субпозиции (допустимых подстановок значения терминов); и теория семантических парадоксов Альберта Саксонского; и анализ роли функторов в формальной структуре высказывания; и вопросы силлогистики и аксиоматики (в частности, фундаментальное исследование аксиоматическо-дедуктивной процедуры); и теория беспредпосылочности ("независимости") предположений как "обстоятельств" (obligatio), т.е. сознательных формулировок аксиом апологетируемой системы таким образом, чтобы из них не выводились противоречащие системы исследования; и методология сопоставления взаимоисключающих высказываний (идущая от "Да и нет" Петра Абеляра); и анализ Раймундом Луллием логического характера вопросительных предложений и соотношений конъюнктивных и дизъюнктивных логических констант. Раймундом Луллием предложен метод изображения логического характера вопросительных операций посредством системы кругов, каждый из которых репрезентирует определенную группу понятий (вошел в культуру под названием "кругов Эйлера"), изобретена первая "логическая машина" для такого моделирования, высказан ряд идей, впоследствии легших в основу комбинаторных методов в логике.

Источник: История философии. Энциклопедия.

Интерпрессервис • Книжный Дом Минск 2002

Составитель и главный научный редактор А.А. Грицанов

Научные редакторы: Т.Г. Румянцева, М.А. Можейко Ответственный секретарь и редактор А.И. Мерцалова Е.М. Бабосов И.И. Жбанкова

Рецензенты:
А.Г. Егоров — доктор философских наук,
С.В. Синяков — доктор философских наук,
А.В. Славин — доктор философских наук.

И90 История философии: Энциклопедия. — Мн.: Интерпрессервис; Книжный Дом. 2002. — 1376 с. — (Мир энциклопедий).

ISBN 985-6656-20-6. ISBN 985-428-461-1.


С уважением, А.Сергеев