Новое суждение
Cтраница 1
Новое суждение, соответственно, будет явным суждением Хенкина, поскольку в нем содержится явное описание собственной деривации. Заметьте, что в отличие от своих неявных собратьев, явные суждения Хенкина не обязательно должны являться теоремами, На самом деле, очень легко написать строчку, которая утверждает, что ее деривация состоит из единственной строчки 00, - ложное утверждение, поскольку 00 не является деривацией чего бы то ни было. Однако возможно также написать явное суждение Хенкина, являющееся теоремой, - то есть суждение, в действительности дающее рецепт собственной деривации. [1]
Итак, новые суждения часто возникают на основе интеграции предъявляемых. Иначе говоря, одна только интеграция предъявленной информации приводит к возникновению новой. То, что другие формы естественного вывода могут быть обусловлены механизмами интеграции информации, показывает следующий пример из области силлогистического вывода. [2]
В образовании новых суждений индукция и дедукция играют важную роль. При индуктивном способе познание движется от частного, единичного к общему. На основе изучения определенных частных химических явлений, имевшихся суждений и фактов делается умозаключение, выводится общий вывод, устанавливаются общие свойства, существенные и закономерные связи веществ. [3]
 |
Иллюстрация объяснения эффекта фи. [4] |
При воспроизведении историй испытуемые часто создают совершенно новые суждения, выходящие за рамки предъявленных, которые, однако, нельзя вывести только из интеграции последних, хотя и в этом случае, как мы попытаемся показать, причиной появления новой информации является интеграция. [5]
Блоки логического вывода в таких системах порождают новые суждения, которые компьютер предъявляет эксперту, объясняя логическую последовательность их получения. Оценка экспертом этих новых суждений дает дополнительную информацию, которую программа может использовать для коррекции построенных ею наборов формальных предпочтений. [6]
На основе противоречий между старым и новым, прогрессивным и регрессивным возникают новые суждения, новые системы научного содержания. [7]
Применение принципов 1 - 6 к простым схемам суждений позволяет получать из них новые суждения. Повторное Применение тех же принципов к новым и к исходным схемам суждений позволяет получать все новые сложные схемы суждений. Число таких повторений и комбинаций может быть сколь угодно велико. Те из бесконечного множества возникающих таким путем суждений, которые содержат одно пустое место, представляют собой схемы суждений о производных свойствах; те же, которые содержат два или более пустых места, суть схемы суждений о производных отношениях. [8]
Кажется, что сознание требуется, чтобы справляться с ситуациями, где нам приходится высказывать новые суждения, и где правила не были заданы заранее. Трудно достичь большой точности при проведении различий между теми видами умственной деятельности, которые, по-видимому, требуют подключения сознания, и теми, которые нет. Сторонники сильного ИИ ( да и многие другие) будут настаивать на том, что формирование новых суждений - это не более, чем повторное применение ряда точно сформулированных алгоритмических правил - только теперь на некоем полумистическом высоком уровне, так, что их действия нами при этом не осознаются. [9]
Умозаключение - логическое действие, в результате которого из одного или нескольких известных нам и определенным образом связанных суждений получается новое суждение, в котором содержится новое знание. [10]
Исследования ртутных производных оксосоединений, предпринятые в 1947 - 1948 гг. А. Н. Несмеяновым совместно с И. Ф. Луценко и Н. И. Верещагиной [147, 148], дали возможность иметь новые суждения о наиболее распространенном виде таутомерии, а именно о кетоэнольной таутомерии. [11]
Форма мышления, процесс мысли или логическое действие, в результате которых из одного или нескольких определенным образом связанных суждений, отражающих связи и отношения предметов и явлений объективного мира, получается новое суждение, содержащее новое знание о них. [12]
Блоки логического вывода в таких системах порождают новые суждения, которые компьютер предъявляет эксперту, объясняя логическую последовательность их получения. Оценка экспертом этих новых суждений дает дополнительную информацию, которую программа может использовать для коррекции построенных ею наборов формальных предпочтений. [13]
Ставились цели динамически формировать новые суждения, определять тождество или сходство понятий, производить их интерпретацию вычислительного характера. [14]
Третьей формой абстрактного мышления служат умозаключения. Умозаключение - это такой мыслительный акт, в котором из одних суждений выводятся новые суждения о вещах, явлениях объективного мира. Умозаключение выступает мощным средством научного познания. Можно даже сказать, что на умозаключениях построено все здание науки, ибо выводы ее представляют собой, как правило, такие положения, которые не всегда можно проверить непосредственно. Их истинность становится доказанной только после того, как мы сопоставим их с другими истинными теоретическими положениями, из которых они логически следуют. [15]
Страницы: 1 2