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

- одно из названий современного этапа в развитии формальной логики.

Символы применял в ряде случаев еще Аристотель (384 — 322 до н. э.), а затем и все последующие ученые-логики. Однако в современной С. л. был сделан качественно новый шаг в использовании символики. Стали использовать языки, содержащие только специальные символы и не включающие слова обычного разговорного языка.

Вернуться к оглавлению

© 2000- NIV