Читайте также:
|
Как уточнить, что имеет место следование? Естественного языка недостаточно. Необходимо введение искусственных (формализованных) языков.
Фреге отталкивается от языка математики. Не применяет язык математики к логике, а отталкивается от принципов построения языков математики. Построим язык символов, скалькулированный с языка математики, но предназначенный для чистого мышления. В этом языке мы обращаемся только к виду символов и к способам их сочленения (1). В логике этот язык символов будет репрезентировать определенное концептуальное содержание.
Когда Фреге создал язык формул, ему возразили, что у Буля уже есть что-то похожее – когда логика представлена в языке формул. Фреге ответил, что его задача не в том, чтобы представить абстрактную логику в формулах, но выразить концептуальное содержание посредством комбинаций знаков (2). Это содержание принципиально иное, чем у Буля. У Буля в основе лежит отношение между понятиями по объему. Буль применяет алгебраические методы в логике.
Фреге не мог следовать Булю и потому, что разрабатывал логику во многом с целью обоснования математики.
Искусственные и естественные языки. Формализованные языки отличаются тем, что точным образом позволяют репрезентировать связи – в действиях с символами переносить концептуальное содержание. Формализованный язык становится инструментом - аналитическим методом – для исследования и репрезентации логических отношений и операций.
Дата добавления: 2015-07-16; просмотров: 65 | Нарушение авторских прав
| <== предыдущая страница | | | следующая страница ==> |
| Свойства К-определимых предикатов и функций (теоремы). | | | Функция и предмет |