Составители:
Рубрика:
100
выражению теоретических размышлений, и поэтому она
вводит свой формализованный язык, отличающийся более
высоким уровнем системности.
Только тогда, когда выявлено и зафиксировано в зна
ковой форме все содержание мысли, по крайнем мере не
обходимое в некотором выводе, становится возможным
рассуждение, в котором вывод одних высказываний из
других осуществляется только в силу их формы. Такой
способ рассуждения Лейбниц назвал «аргументацией по
форме» и справедливо придавал ему большое значение в
научном познании, подчеркивая, что «в аргументации по
форме содержится искусство непогрешимости, если
уметь правильно пользоваться ею». Помочь сделать пер
вые шаги на пути к овладению этим искусством – задача
данной темы.
Поскольку использование формальных знаков опира
ется на ряд общих представлений о языках, о взаимоотно
шении между языками естественными и формальными, в
круг рассматриваемых вопросов входят: определение фор
мализованного языка; отличие формализованного языка
от естественного; особенности формализованного языка;
аспекты формализованного языка (синтаксический, се
мантический, в ряде логических систем – прагматиче
ский); требования к формализованному языку символи
ческой логики.
РЕКОМЕНДУЕМАЯ ЛИТЕРАТУРА
Войшвилло Е. К. Символическая логика. Классическая и релеван
тная. – М., 1989.
Гетманова А. Д. Логика. – М., 1986.
Жоль К. Логика в лицах и символах. – М., 1993.
Клини С. Математическая логика. – М., 1973.
Страницы
- « первая
- ‹ предыдущая
- …
- 97
- 98
- 99
- 100
- 101
- …
- следующая ›
- последняя »
