Меню
Главная
Авторизация/Регистрация
 
Главная arrow Логика arrow Логика

СИМВОЛИЧЕСКАЯ ЛОГИКА

Логика есть свободное конструирование по определенному правилу.

И. Фихте

Логика относится к языку. Она дает систему правил, которые помогают осуществлять вывод новых логических связок, предназначенных для того, чтобы передавать истины. Однако эти истины не относятся к тем, что постигаются непосредственно.

Л. Брауэр

Символическая или математическая логика - качественно новый этап в историческом развитии науки логики, возникшей на грани логики и математики. Главные особенности символической логики в контексте логического знания как системы, развивающейся, такие:

- придание нового смысла тем срокам традиционной логики, которые введены в систему символической или математической логики (сроки "истина", "высказывания", "вывод", "доводка", "дедукция" и др.);

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

- введение новых терминов в систему логического знания (содержание этих терминов будет определено далее);

- создание искусственной символики (формализованного языка);

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

- строгость выведения одного высказывания из другого на основании четко определенных правил вывода.

Качественно новый тип логического знания, возникший в середине XIX в. (см. 1.3), логики и математики стали обозначать терминами "математическая логика", "символическая логика", "логистика", которые, по сути, тождественны по смыслу.

Мы предоставим преимущество срока "символическая логика".

Металогика

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

Логическая семантика - раздел металогики, изучающий проблемы смысла и значения языковых выражений и проблему определения истинности высказываний методами логического анализа, логическая теория языка. Это область логических исследований, которая возникла в конце XIX - начале XX в. и сформировалась в логических трудах Г. Фреге, Б. Рассела, А. Тарски (1901-1983 гг.), Г. Карнап (1891-1970 гг.) и других ученых (см. 2.4). Логическая семантика исследует особенности интерпретации формально-логических систем (логических исчислений), основные термины, которые определяют сферу интерпретации логических исчислений - интерпретация, модель, семантика возможных миров.

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

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

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

В металогіці различают объектную логическую язык, то есть язык конкретной формальной системы, и метамову - язык металогічного анализа конкретных формальных систем, которых построено много. Обычно метаязык - это язык, которым описывают формализованную язык той или иной науки.

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

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

 
< Предыдущая   СОДЕРЖАНИЕ   Следующая >
 

Предметы
Агропромышленность
Банковское дело
БЖД
Бухучет и аудит
География
Документоведение
Естествознание
Журналистика
Инвестирование
Информатика
История
Культурология
Литература
Логика
Логистика
Маркетинг
Математика, химия, физика
Медицина
Менеджмент
Недвижимость
Педагогика
Политология
Политэкономия
Право
Психология
Региональная экономика
Религиоведение
Риторика
Социология
Статистика
Страховое дело
Техника
Товароведение
Туризм
Философия
Финансы
Экология
Экономика
Этика и эстетика
Прочее