русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Значимость предложений


Дата добавления: 2015-07-09; просмотров: 409; Нарушение авторских прав


рить в любой момент в результате новых опытов; например, если вы в первый раз едите плавники акулы, вы можете дать имя их вкусу.

Предложения, характеризующие опыты, таковы, какие мы рассмотрели в главе III. Они часто, хотя возможно и не всегда, скомпонованы из единственного отношения или предиката совместно с подходящим числом имен. Такие предложения выражают «суждения восприятия». Они образуют базис, на котором строятся наши синтаксические конструкции.

Пусть Rn (at, α2, α3... ап)будет предложением, выражающим суждение восприятия, которое содержит одно π-местное отношение Rn и π имен αα, α2, α3... αη. Тогда мы задаем правило подстановки: предложение остается значимым, если все или некоторые имена замещены произвольными другими именами, a Rn замещается произвольным другим η-местным отношением. Таким путем мы получаем из суждений восприятия определенное собрание значимых предложений, которые назовем атомарными предложениями.

Могут возразить, что это правило позволит образовывать бессмысленные предложения, вроде «Звук тромбона — голубой». С учетом моей теории имен это означает утверждать тождество двух объектов, имеющих разные имена. Я бы сказал, что приведенное предложение не бессмысленно, а ложно. Я хотел бы включить в суждения восприятия такие предложения, как «Красное отличается от синего»; аналогично, если s — имя качества звука тромбона, «5 отличается от голубого» может быть суждением восприятия.

Поскольку мы имеем дело с искусственным языком, то, конеч-но, возможно снабдить конвенциональной значимостью предло-жение, неимеющее естественной значимости, при условии что мы сможем избежать опасности противоречия. Предложения, не обладающие естественной значимостью, очевидно, не обладают и естественной истинностью. Поэтому мы можем снабдить ложной значимостью, как в случае предложения «Этот лютик — голубой», каждое предложение (не содержащее слова «нет»), которое мы желали бы включить в суждения восприятия, но которое естественным образом не имеет значимости. Где это касается атомарных предложений, там нет опасности возникновения противоречия; поэто-





<== предыдущая лекция | следующая лекция ==>
Значимость предложений | Значимость предложений


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.

Генерация страницы за: 0.29 сек.