Словарь Логики
Язык — знаковая система, используемая для целей коммуникации и познания. Системность Я. выражается в наличии в каждом языке помимо словаря также синтаксиса и семантики. Природа и значение языкового знака не могут быть поняты вне языковой системы. Все языки могут быть разделены на естественные,...
Язык Логики — специально создаваемый современной логикой для своих целей язык, способный следовать за логической формой рассуждения и воспроизводить ее даже в ущерб краткости и легкости общения. Я. л. является языком формализованным. Построение его предполагает принятие особой теории логического...
Язык Науки – система понятий, знаков, символов, создаваемая и используемая той или иной областью научного познания для получения, обработки, хранения и применения знаний. В качестве специального языка конкретных наук обычно используется некоторый фрагмент естественного языка, обогащенный...
Язык Семантически Замкнутый – язык, который содержит в себе как выражения, относящиеся к некоторым внеязыковым объектам, так и выражения, относящиеся к характеристике самого языка. Всякий естественный язык является семантически замкнутым. Напр., рус. язык включает в себя слова и предложения,...
Языка Функцииили Употребление языка, — основные задачи, решаемые с помощью языка в процессе коммуникации и познания. Идея проведения различия между Я. ф. принимается в большинстве теорий языка; реализуется она, однако, по-разному. Широкую известность получило введенное в 20-е годы этого века Ч....
Ясностьхарактеристика термина (понятия) с точки зрения определенности, отчетливости его смысла. Понимание термина, успешная его интерпретация предполагают знание его смысла и его денотации, т. е. класса тех объектов, к которым он отсылает. Если этот класс является четко очерченным и слагается из...
Аксиома(от греч. axioma — значимое, принятое положение) — исходное, принимаемое без доказательства положение к.-л. теории, лежащее в основе доказательств других ее положений. еся в особом доказательстве в силу его самоочевидности, наглядности, ясности и т. п. Так, Аристотель (384—322 до н. э.)...