язык логики

язык логики
специально создаваемый современной логикой для своих целей язык, способный следовать за логической формой рассуждения и воспроизводить ее даже в ущерб краткости и легкости общения. Я. л. является языком формализованным. Построение его предполагает принятие особой теории логического анализа.
Логика традиционная пользовалась для описания правильного мышления обычным языком, дополненным немногими специальными символами. Этот язык имеет, однако, целый ряд черт, мешающих ему точно передавать форму мысли. Он является аморфным как со стороны своего словаря, так и в отношении правил построения выражений и придания им значений. В нем нет четких критериев осмысленности утверждений. Не выявляется строго логическая форма рассуждений. Значения отдельных слов и выражений зависят не только от них самих, но и от их окружения. Многие соглашения относительно употребления слов не формулируются явно, а только предполагаются. Почти все слова имеют не одно, а несколько значений. Одни и те же объекты порой могут называться по-разному или иметь несколько имен. Есть слова, не обозначающие никаких объектов, и т. д.
Все это не означает, что обычный язык никуда не годен и его следует заменить какой-то искусственной символикой. Он вполне справляется с многообразными своими функциями. Но, решая многие задачи, он лишается способности точно передавать логическую форму. Для целей логики необходим искусственный язык, строящийся по строго сформулированным правилам. Этот язык не предназначен для общения, он должен служить только одной задаче - выявлению логических связей наших мыслей, но решаться она должна эффективно.
В формализованном Я. л. слова обычного языка заменяются различными специальными символами. В нем четко разграничены синтаксическая и семантическая части, разделение которых в обычном языке во многом условно. Вначале язык логики строится без всякой ссылки на ту действительность, которую он будет описывать. И только потом вводятся правила придания значений употребляемым в нем комбинациям знаков, указывается его интерпретация. Построение языка отличается тщательностью, с какой формулируются синтаксические и семантические правила, отсутствием неправильностей и исключений.
Разделение синтаксиса и семантики позволяет определить понятие вывода логического чисто формально, не обращаясь к содержанию конструируемых и преобразуемых выражений. Вывод оказывается подчиненным простым предписаниям, подобным правилам сложения и вычитания. Исчезают неясность и двусмысленность, всегда присутствующие при обращении с такой трудно уловимой вещью, как "смысл выражения". Место обычного в процессе рассуждения оперирования идеальными смыслами занимает манипулирование материальными вещами - цепочками знаков. Выведение одних идей из других превращается в "вычисление" по простым правилам.
Научная революция в логике во второй половине XIX - начале XX в. привела к созданию логически совершенного языка. Последний сделал возможным дальнейшее углубленное изучение и описание закономерностей правильного мышления.

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Игры ⚽ Нужна курсовая?

Полезное


Смотреть что такое "язык логики" в других словарях:

  • ЯЗЫК — знаковая система, используемая для целей коммуникации и познания. Системность Я. выражается в наличии в каждом Я., помимо словаря, также с и н таксиса и семантики. Синтаксис определяет правила образования выражений Я. и их преобразования,… …   Философская энциклопедия

  • ЯЗЫК — сложная развивающаяся семиотическая система, являющаяся специфическим и универсальным средством объективации содержания как индивидуального сознания, так и культурной традиции, обеспечивая возможность его интерсубъективности, процессуального… …   История Философии: Энциклопедия

  • ЯЗЫК — сложная развивающаяся семиотическая система, являющаяся специфическим и универсальным средством объективации содержания как индивидуального сознания, так и культурной традиции, обеспечивая возможность его интерсубъективности, процессуального… …   Новейший философский словарь

  • ЯЗЫК МОРАЛИ —     ЯЗЫК МОРАЛИ грамматические и лексические средства естественного языка, с помощью которых выражаются моральные позиции, требования, рекомендации, оценки, императивы, чувства и т. д. (см. Оценка моральная, Суждения моральные). Базис языка… …   Философская энциклопедия

  • Язык тернарного описания — (ЯТО) формальная логическая система и соответствующее ей математическое исчисление, разработанные А.И.Уемовым и его школой как вариант неклассической логики на базе категорий вещь, свойство, отношение и определенное, неопределенное, произвольное …   Википедия

  • Язык (средство общения) — Язык, стихийно возникшая в человеческом обществе и развивающаяся система дискретных (членораздельных) звуковых знаков (см. Знак языковой), предназначенная для целей коммуникации и способная выразить всю совокупность знаний и представлений… …   Большая советская энциклопедия

  • Язык как инстинкт — «Язык как инстинкт» (1994)  книга, написанная Стивеном Пинкером для широкого круга читателей. В ней автор выдвигает идею о том, что способности к языку присущи человеку с рождения. Он опирается на идею Ноама Хомского о том, что в основе всех …   Википедия

  • ЯЗЫК-ОБЪЕКТ —     ЯЗЫК ОБЪЕКТ понятие современной логики, математики, философии и методологии науки, семиотики и теоретической лингвистики, обозначающее любой язык (естественный, искусственный, неформализованный, формализованный), элементы и структура которого …   Философская энциклопедия

  • ЯЗЫК НАУКИ — система понятий, знаков, символов, создаваемая и используемая той или иной областью научного познания для получения, выражения, обработки, хранения и применения знаний. В качестве специального языка конкретных наук обычно используется некоторый… …   Философская энциклопедия

  • Язык описания аппаратуры — (англ. hardware description language) тип компьютерных языков для формального описания электрических цепей, особенно цифровой логики. Он описывает структуру и функционирование цепи. Основные представители Наиболее часто используются языки… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»