Полезное:
Как сделать разговор полезным и приятным
Как сделать объемную звезду своими руками
Как сделать то, что делать не хочется?
Как сделать погремушку
Как сделать так чтобы женщины сами знакомились с вами
Как сделать идею коммерческой
Как сделать хорошую растяжку ног?
Как сделать наш разум здоровым?
Как сделать, чтобы люди обманывали меньше
Вопрос 4. Как сделать так, чтобы вас уважали и ценили?
Как сделать лучше себе и другим людям
Как сделать свидание интересным?
Категории:
АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника
|
Вопрос 5. Язык – это знаковая информационная система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общенияЯзык – это знаковая информационная система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми. Основным строительным материалом при конструировании языка выступают используемые в нем знаки. Знак – это любой чувственно воспринимаемый (зрительно, на слух или иным способом) предмет, выступающий представителем другого предмета. Среди различных знаков выделим два вида: знаки-образы и знаки-символы. Знаки -образы имеют определенное сходство с обозначаемыми предметами. Примеры таких знаков: копии документов; дактилоскопические отпечатки пальцев; фотоснимки; некоторые дорожные знаки с изображением детей, пешеходов и других объектов. Знаки-символы не имеют сходства с обозначаемыми предметами. Например: нотные знаки; знаки азбуки Морзе; буквы в алфавитах национальных языков. Множество исходных знаков языка составляет его алфавит. Алфавит языка логики предикатов включает следующие виды знаков (символов): 1) а, Ь, с,... – символы для единичных (собственных или описательных) имен предметов; их называют предметными постоянными, пли константами; 2) х, у, z,... – символы общих имен предметов, принимающие значения в той или другой области; их называют предметными переменными; 3) Р', О', R',... – символы для предикатов, индексы над которыми выражают их местность; их называют предикатными переменными; 4) р, q, г,... – символы для высказываний, которые называют высказывательными, или пропозициональными переменными (от латинского propositio – «высказывание»); 5) V, 3 – символы для количественной характеристики высказываний; их называют кванторами: V – квантор общности; он символизирует выражения – все, каждый, всякий, всегда и т.п.; 3 – квантор существования; он символизирует выражения – некоторый, иногда, бывает, встречается, существует и т.п.; 6) логические связки: Л –– КОНЪЮНКЦИЯ (СОЮЗ «И»); V –– ДИЗЪЮНКЦИЯ (СОЮЗ «ИЛИ»); –> – импликация (союз «если..., то...»); = – эквиваленция, или двойная импликация (союз «если и только если..., то...»);. Ч – отрицание («неверно, что...»). Технические знаки языка: (,) – левая и правая скобки. Других знаков данный алфавит не включает. Допустимые, т.е. имеющие смысл в языке логики предикатов выражения называются правильно построенными формулами – ППФ. Понятие ППФ вводится следующими определениями: 1. Всякая пропозициональная переменная – р, q, г,... есть ППФ. 1. Всякая предикатная переменная, взятая с последовательностью предметных переменных или констант, число которых соответствует ее местности, является ППФ. А' (х), А2 (х, у), А^х, у, z), А" (х, у,..., п), где А', А2, А3,..., А" – знаки метаязыка для предикаторов. 3. Для всякой формулы с предметными переменными, в которой любая из переменных связывается квантором, выражения V хА (х) и 3 хА(х) также будут ППФ. 4. Если А и В – формулы (А и В – знаки метаязыка для выражения схем формул), то выражения: А л В, A v В, А–В, А^В, -1А.1В ^ также являются формулами. 5. Любые иные выражения, помимо предусмотренных в п. 1–4, не являются ППФ данного языка. С помощью приведенного логического языка строится формализованная логическая система, называемая исчислением предикатов. Элементы языка логики предикатов будут использованы в дальнейшем изложении для анализа отдельных фрагментов естественного языка. В-6 Понятие — это форма мышления, отражающая предметы в их существенных признаках. Понятие как форма мышления отражает предметы и их совокупности в абстрактной, обобщенной форме на основании их существенных признаков. Понятие — одна из основных форм научного познания. Формируя понятия, наука отражает в них изучаемые ею предметы, явления, процессы.
|