— специально создаваемый современной логикой для своих целей язык , способный следовать за логической формой рассуждения и воспроизводить ее даже в ущерб краткости и легкости общения. Я. л. является языком формализованным. Построение его предполагает принятие особой теории логического анализа. Логика традиционная пользовалась для описания правильного мышления обычным языком, дополненным немногими специальными символами. Этот язык имеет, однако , целый ряд черт , мешающих ему точно передавать форму мысли. Он является аморфным как со стороны своего словаря, так и в отношении правил построения выражений и придания им значений. В нем нет четких критериев осмысленности утверждений. Не выявляется строго логическая форма рассуждений. Значения отдельных слов и выражений зависят не только от них самих, но и от их окружения. Многие соглашения относительно употребления слов не формулируются явно , а только предполагаются. Почти все слова имеют не одно , а несколько значений. Одни и те же объекты порой могут называться по-разному или иметь несколько имен. Есть слова, не обозначающие никаких объектов, и т. д. Все это не означает, что обычный язык никуда не годен и его следует заменить какой -то искусственной символикой. Он вполне справляется с многообразными своими функциями. Но, решая многие задачи, он лишается способности точно передавать логическую форму. Для целей логики необходим искусственный язык, строящийся по строго сформулированным правила м. Этот язык не предназначен для общения, он должен служить только одной задаче - выявлению логических связей наших мыслей, но решаться она должна эффективно. В формализованном Я. л. слова обычного языка заменяются различными специальными символами. В нем четко разграничены синтаксическая и семантическая части, разделение которых в обычном языке во многом условно. Вначале язык логики строится без всякой ссылки на ту действительность , которую он будет описывать. И только потом вводятся правила придания значений употребляемым в нем комбинациям знаков, указывается его интерпретация. Построение языка отличается тщательностью, с какой формулируются синтаксические и семантические правила, отсутствием неправильностей и исключений. Разделение синтаксиса и семантики позволяет определить понятие вывода логического чисто формально, не обращаясь к содержанию конструируемых и преобразуемых выражений. Вывод оказывается подчиненным простым предписаниям, подобным правилам сложения и вычитания. Исчезают неясность и двусмысленность , всегда присутствующие при обращении с такой трудно уловимой вещью, как «смысл выражения». Место обычного в процессе рассуждения оперирования идеальными смыслами занимает манипулирование материальными вещами — цепочками знаков. Выведение одних идей из других превращается в «вычисление» по простым правилам. Научная революция в логике во второй половине XIX — начале XX в. привела к созданию логически совершенного языка. Последний сделал возможным дальнейшее углубленное изучение и описание закономерностей правильного мышления.
Что такое Язык Логики? Значение Язык Логики в словаре логики
Язык Логики - — специально создаваемый современной логикой для своих целей язык, способный следовать за логической формой рассуждения и воспроизводить ее даже в ущерб краткости и легкости общения. Я. л. является языком формализованным. Построение его предполагает принятие особой теории логического анализа. Логика традиционная пользовалась для описания правильного мышления обычным языком, дополненным немногими специальными символами. Этот язык имеет, однако, целый ряд черт, мешающих ему точно передавать форму мысли. Он является аморфным как со стороны своего словаря, так и в отношении правил построения выражений и придания им значений. В нем нет четких критериев осмысленности утверждений. Не выявляется строго логическая форма рассуждений. Значения отдельных слов и выражений зависят не только от них самих, но и от их окружения. Многие соглашения относительно употребления слов не формулируются явно, а только предполагаются. Почти все слова имеют не одно, а несколько значений. Одни и те же объекты порой могут называться по-разному или иметь несколько имен. Есть слова, не обозначающие никаких объектов, и т. д. Все это не означает, что обычный язык никуда не годен и его следует заменить какой-то искусственной символикой. Он вполне справляется с многообразными своими функциями. Но, решая многие задачи, он лишается способности точно передавать логическую форму. Для целей логики необходим искусственный язык, строящийся по строго сформулированным правилам. Этот язык не предназначен для общения, он должен служить только одной задаче - выявлению логических связей наших мыслей, но решаться она должна эффективно. В формализованном Я. л. слова обычного языка заменяются различными специальными символами. В нем четко разграничены синтаксическая и семантическая части, разделение которых в обычном языке во многом условно. Вначале язык логики строится без всякой ссылки на ту действительность, которую он будет описывать. И только потом вводятся правила придания значений употребляемым в нем комбинациям знаков, указывается его интерпретация. Построение языка отличается тщательностью, с какой формулируются синтаксические и семантические правила, отсутствием неправильностей и исключений. Разделение синтаксиса и семантики позволяет определить понятие вывода логического чисто формально, не обращаясь к содержанию конструируемых и преобразуемых выражений. Вывод оказывается подчиненным простым предписаниям, подобным правилам сложения и вычитания. Исчезают неясность и двусмысленность, всегда присутствующие при обращении с такой трудно уловимой вещью, как «смысл выражения». Место обычного в процессе рассуждения оперирования идеальными смыслами занимает манипулирование материальными вещами — цепочками знаков. Выведение одних идей из других превращается в «вычисление» по простым правилам. Научная революция в логике во второй половине XIX — начале XX в. привела к созданию логически совершенного языка. Последний сделал возможным дальнейшее углубленное изучение и описание закономерностей правильного мышления.
Узнайте лексическое, прямое, переносное значение следующих слов:
- Экзистенциальное Высказывание - (от лат. existentia существование) — высказывание о ...
- Эквивалентность - или: Равнозначность, общее название отношений, являющихся рефлексивными, ...
- Эвристика - (от греч. heurisko отыскиваю, открываю) совокупность ...
- Цель-Средство - обоснование позитивной ценности средства путем ссылок на ...
- Функция - (от лат. functio — осуществление, выполнение) — соответствие ...
- Формы Мысли - или: Формы мышления, — в традиционной логике основными ...
- Формальная Суппозиция - см.: Суппозиция. ...
- Символика Логическая - система знаков (символов), используемая в логике для ...
- Смысл - — в повседневной речи синоним значения. В логической ...
- Семантическое Понятие Истины - классическое понятие истины, уточненное с помощью технических ...
- Синтаксическая Категория - класс однотипных выражений словаря формализованного языка. Этот ...
- Поспешное Обобщение - — логическая ошибка в индуктивном выводе. Суть ее ...
- Знак - материальный предмет, воспроизводящий свойства, отношения некоторого другого ...
- Гипотетическое Утверждение - утверждение, которое высказывается не как установленная истина, ...
- Интенсионал И Экстенсионал - понятия, введенные австрийским логиком и философом Р. ...