русс | укр

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

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

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

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


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

Логические слова


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


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

Переходим теперь к ложности и отрицанию, которые порождают ряд более трудных проблем.

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

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

Мы определенно знаем — хотя трудно объяснить, каким образом, — что два различных цвета не могут сосуществовать в одном и том же месте в одном поле зрения. Положение в поле зрения является абсолютным и может быть определено отношением к цент-



<== предыдущая лекция | следующая лекция ==>
Логические слова | Логические слова


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


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

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

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


 


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

 
 

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

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