Символическая логика и создание искусственных языков

Развитие методов дедукции и индукции в Новое время.

Развитие индукции:
Индуктивный метод изучали и применяли уже древние греки, в частности Сократ, Платон и Аристотель. Но особый интерес к проблемам индукции проявился в XVII-XVIII вв. с развитием новой науки. Английский философ Фрэнсис Бэкон, критикуя схоластическую логику, основным методом познания истины считал индукцию, опирающуюся на наблюдения и эксперимент. С помощью такой индукции Бэкон собирался искать причину свойств вещей. Логика должна стать логикой изобретений и открытий, считал Бэкон, аристотелевская логика, изложенная в труде «Органон» не справляется с этой задачей. Поэтому Бэкон пишет труд «Новый Органон», который должен был заменить старую логику. Превозносил индукцию и другой английский философ, экономист и логик Джон Стюарт Милль. Его можно считать основателем классической индуктивной логики. В своей логике Милль большое место отводил развитию методов исследования причинных связей.

Развитие дедукции:

Дедукция также разрабатывалась ещё Аристотелем. Аристотель под дедукцией понимал доказательства, использующие силлогизмы. Превозносил дедукцию великий французский учёный Рене Декарт. Он противопоставлял её интуиции. Но особенно бурное развитие гипотетико-дедуктивного метода началось в XVII-XVIII вв. Этот метод с успехом был применён в механике. Исследования Галилео Галилея и особенно Исаака Ньютона превратили механику в стройную гипотетико-дедуктивную систему, благодаря чему механика на долгие времена стала образцом научности, а механистические воззрения долго ещё пытались переносить на другие явления природы. Дедуктивный метод играет огромную роль в математике. Известно, что все доказуемые предложения, то есть теоремы выводятся логическим путем с помощью дедукции из небольшого конечного числа исходных начал, доказуемых в рамках данной системы, называемых аксиомами.

МАТЕМАТИЧЕСКАЯ ЛОГИКА (ИЛИ СИМВОЛИЧЕСКАЯ ЛОГИКА) - — область знания, к-рая сложилась в результате применения в логике формальных методов математики и логического исследования математических рассуждений и доказательств. В М. л. логические процессы изучаются посредством их отображения в формализованных языках, или логических исчислениях. Наряду с изучением формального строения логических исчислений (Логический синтаксис) в М. л. встает также задача рассмотрения отношений между исчислениями и теми содержательными областями, к-рые служат их интерпретациями и моделями. Эта задача обрисовывает проблематику логической семантики. Логический синтаксис и семантика включаются в металогику — теорию средств описания, предпосылок и свойств логических исчислений. Нек-рые исходные понятия М. л. содержатся уже в учении мегаростоической школы (3 в. до н. э.). Саму же идею логического исчисления, по-видимому, впервые сформулировал Лейбниц. Однако как самостоятельная дисциплина М. л. оформилась в середине 19 в. благодаря работам Буля. С Буля начинается развитие т. наз. алгебры логики. Др. направление разработки М. л., ставшее определяющим, начинается с конца 19 в. в связи с потребностями математики в обосновании своих понятий и способов доказательств. У истоков этого направления лежат труды Фреге. Значительный вклад в его развитие внесли Рассел и Уайтхед (“Principia Mathematica”, 1910—13) и Гельберт. В этот период создаются фундаментальные логические системы М. л.— классические исчисление высказываний и исчисление предикатов. Крупные результаты, определившие совр. состояние М. л., были получены в. 30-х гг. Гёделем. Тарским, А. Чёрчем. Совр. этап М. л. характеризуется исследованием разнообразных видов логических исчислений, интересом к проблемам семантики и вообще металогики, к вопросам специальных математических и технических приложений логики. В связи с задачами обоснования математики наряду с работами в области классической М. л. разрабатывается интуиционистская и конструктивная логика. С анализом оснований логики связаны исследования по комбинаторной логике. Ведутся исследования в области многозначных, модальных и релевантных логик. М. л. оказала влияние на развитие ряда разделов совр. математики, общей алгебры, теории алгоритмов, рекурсивных функций, формальных систем. М. л. находит приложение в электротехнике (исследование релейно-контактных и электронных схем), вычислительной технике (программирование), кибернетике (теория автоматов), нейрофизиологии (моделирование нейронных сетей), языкознании (структурная лингвистика и семиотика)..

Дата добавления: 2014-11-25