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

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

Основные формы теоретического знания.

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

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

Структурные компоненты теоретического уровня:

К числу основных из них относятся проблема, гипотеза, теория и закон, выступающие вместе с тем как формы, «узловые моменты» построения и развития знания на теоретическом его уровне.

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

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

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

Закон -фактологически доказанное утверждение (в рамках теории, концепции, гипотезы), объясняющее объективные факты; либо некое явление, обладающее общностью и повторяемостью и зафиксированное и описанное.