русс | укр

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

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

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

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


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

Общие мнения


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


Что касается «указываемого» общим мнением, мы должны вспомнить, что как мы видели в одной из предыдущих глав, теоретически мир может быть полностью охарактеризован без помощи логических слов. «Если бы у нас было достаточно мира и времени», мы могли бы обойтись без общих суждений. Вместо «Все люди смертны» мы могли бы говорить «Сократ смертен», «Платон смертен» и так далее. Однако это было бы слишком долго, к тому же наш словарь имен для этих целей недостаточен. Вот почему мы должны использовать общие суждения. Но субъективный характер логических слов проявляется здесь в такой степени, что состояние мира, который делает общее суждение истинным, может быть указано только посредством общего суждения. Если суждение «Все люди смертны» должно быть истинным, должно существовать одно событие, которое представляет смерть А, другое — смерть В и так далее относительно всего списка людей. В мире нет ничего такого, что было бы «смертью всех людей», и поэтому нет ни одного верификатора суждения «все люди смертны».

В соответствии с современной логикой, в высказывании «все люди смертны» речь идет не только о людях, но обо всем. Такая интерпретация определенно возможна и определенно наиболее пригодна для логики. Но трудно отказаться от мнения, что высказывание не может быть проинтерпретировано так, что оно будет говорить только о людях. Давайте рассмотрим этот вопрос.

Если я желаю превратить высказывание «Все люди смертны» в высказывание только о людях, я, прежде всего, должен располагать экстенсиональным определением «людей». Предположим, я говорю: «А, В, С... Z — полный список людей». Тогда, чтобы доказать, что все люди обладают определенным предикатом, мы нуждаемся только в наблюдении, что этот предикат принадлежит Л и В и С и... и Z; остальная Вселенная отношения к нашем вопросу не имеет. Все это было бы хорошо, если бы люди представляли договорное собрание объектов; но если «люди» определяются как те объекты, которые обладают определенным предикатом, как мы можем знать, что наш список А, В, С... Z является полным? Фактически в случае людей мы знаем, что любой составленный список



<== предыдущая лекция | следующая лекция ==>
Общие мнения | Общие мнения


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


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

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

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


 


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

 
 

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

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