русс | укр

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

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

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

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


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

Объектный язык


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


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

Когда я говорю, что делаю утверждения в первичном языке, я должен остерегаться неверного понимания, поскольку слово «утверждение» является двусмысленным. Иногда оно используется как антитеза отрицанию, и в этом смысле не может входить в первичный язык. Отрицание предполагает форму слов, оно предшествует констатации того, что эта форма слов является ложной. Слово «нет» значимо только тогда, когда приложено к предложению, и поэтому предполагает язык. Как следствие, если «/?» является предложением первичного языка, «не-р» является предложением вторичного языка. Легко впасть в заблуждение, поскольку «р», без изменений в словах, может выражать предложение, возможное только во вторичном языке. Предположим, например, что вы по ошибке взяли солонку вместо сахарницы, и вы восклицаете: «Это — не сахар!» Это — отрицание, и оно относится ко вторичному языку. Теперь вы используете сахарницу и говорите с облегчением: «Это является сахаром». С точки зрения психологии, вы отвечаете утвердительно на вопрос: «Это — сахар?» Фактически же говорите настолько непедантично, насколько можете: «Предложение "это — сахар" является истинным». Вот почему то, что вы имеете в виду, есть нечто, непроизносимое в первичном языке, хотя та же форма из слов может быть выражена предложением в первичном языке. Утверждение, которое выступает антитезой отрицанию, принадлежит вторичному языку; утверждение, принадлежащее первичному языку, не имеет антитезы.



<== предыдущая лекция | следующая лекция ==>
Предложения, характеризующие опыт | Объектный язык


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


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

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

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


 


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

 
 

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

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