Всего найдено: 555
  • ПАРАНЕПРОТИВОРЕЧИВАЯ ЛОГИКА.РЕЛЕВАНТНАЯ ЛОГИКА (ЛОГИКА ТЕОРИИ ЛОГИЧЕСКОГО СЛЕДОВАНИЯ)
    В классической логике большое значение имеет теория противоречия, суть которой заключается в наличии возможности одновременного доказательства некоторого суждения и его отри-цания. Если при этом в теории можно доказать и произвольное предложение, она называется тривиальной.Название данного вида неклассической логики является определенным опровержением теории противоречия. Это логика, которая не позволяет выводить из противоречия произвольное суждение. В паранепротиворечивой логике противоречие
  • 3.3. Принципы логического вывода
    Могут ли компьютеры думать? — одна из самых интригующих проблем информатики как науки была сформулирована английским математиком А. Тьюрингом при появлении самых первых компьютеров. Ответ А. Тьюринга — да, если удастся создать такие диалоговые программы, которые смогут отвечать на вопросы так же, как и люди. В настоящее время такого типа диалоговые программы получили название — экспертные системы. Создание «искусственного интеллекта» стало целью огромного потока научных работ и исследований,
  • 3.3. Принципы логического вывода
    Могут ли компьютеры думать? — одна из самых интригующих проблем информатики как науки была сформулирована английским математиком А. Тьюрингом при появлении самых первых компьютеров. Ответ А. Тьюринга — да, если удастся создать такие диалоговые программы, которые смогут отвечать на вопросы так же, как и люди. В настоящее время такого типа диалоговые программы получили название — экспертные системы. Создание «искусственного интеллекта» стало целью огромного потока научных работ и исследований,
  • Механизм логического вывода в диагностических системах байесовского типа
    Диагностические ЭС широко применяются в различных областях человеческой деятельности (медицине, технике, эко-номике и др.). Как правило, в них используются продукционные модели знаний о предметной области. Однако, если имеется возможность использования в правилах статистических данных о понятиях и связях между ними, весьма целесообразно применить известную теорему Байеса для пересчета апостериорных вероятностей по результатам проверки наличия тех или иных симптомов.Применительно к техническим
  • 4.4.4. Механизм логического вывода в диагностических системах байесовского типа
    Диагностические ЭС широко применяются в различных областях человеческой деятельности (медицине, технике, экономике и др.). Как правило, в них используются продукционные модели знаний о предметной области. Однако, если имеется возможность использования в правилах статистических данных о понятиях и связях между ними, весьма целесообразно применить известную теорему Байеса для пересчета апостериорных вероятностей по результатам проверки наличия тех или иных симптомов. Применительно к техническим
  • 4.4.4. Механизм логического вывода в диагностических системах байесовского типа
    Диагностические ЭС широко применяются в различных областях человеческой деятельности (медицине, технике, эко­номике и др.). Как правило, в них используются продукцион­ные модели знаний о предметной области. Однако, если име­ется возможность использования в правилах статистических данных о понятиях и связях между ними, весьма целесооб­разно применить известную теорему Байеса для пересчета апостериорных вероятностей по результатам проверки нали­чия тех или иных симптомов. Применительно к
  • Л.С. Выготский о структурном подходе к исследованию психического развития в теории К. Коффки.
    В основе структурного подхода стоит принцип структурности. Этот принцип оказывается одинаково приложимым ко всему многообразию психологических явлений в животном мире, начиная с самых низших и кончая самыми высшими. Положения исследования Коффки и их критика Выготским: 1) Принцип структурности: структура является изначальным феноменом, который стоит в начале всего развития. Далее все идет путем логического вывода, путем дальнейшего размножения структур. Структура изначальна, а ее движение
  • Теория, виды теоретического знания.
    Теория и ее структура Эксперимент ставится для того, чтобы проверить теоретические предсказания. Теория является внутренне непротиворечивой системой знаний о части реальности (предмете теории). Элементы теории логически зависят друг от друга. Ее содержание выводится по определенным правилам из некоторого исходно­го множества суждений и понятий — базиса теории. Существует множество форм неэмпирического (теоретического) знания: зако­ны, классификации и типологии, модели, схемы, гипотезы и т. п.
  • 2. теория и ее структура
    Эксперимент ставится для того, чтобы проверить теоретические предсказания. Теория является внутренне непротиворечивой системой знаний о части реальности (предмете теории). Элементы теории логически зависят друг от друга. Ее содержание выводится по определенным правилам из некоторого исходного множества суждений и понятий – базиса теории. Существует множество форм неэмпирического (теоретического) знания: законы, классификации и типологии, модели, схемы, гипотезы и т. п. Теория выступает в
  • 1.3. Теория и ее структура
    Эксперимент ставится для того, чтобы проверить теоретические предсказания. Теория является внутренне непротиворечивой системой знаний о части реальности (предмете теории). Элементы теории логически зависят друг от друга. Ее содержание выводится по определенным правилам из некоторого исходно­го множества суждений и понятий — базиса теории. Существует множество форм неэмпирического (теоретического) знания: зако­ны, классификации и типологии, модели, схемы, гипотезы и т. п. Теория выступает в
  • ВОПРОС 3 ТЕОРИЯ И ЕЁ СТРУКТУРА
    Эксперимент ставится для того, чтобы проверить теоретические предсказания. Теория является внутренне непротиворечивой системой знаний о части реальности (предмете теории). Элементы теории логически зависят друг от друга. Ее содержание выводится по определенным правилам из некоторого исходного множества суждений и понятий — базиса теории. Существует множество форм неэмпирического (теоретического) знания: *законы, *классификации и типологии, *модели, схемы, *гипотезы и т. п. Теория выступает в
  • НАУЧНАЯ ТЕОРИЯ
    - это высшая форма организации научного знания, дающая целостное представление о закономерностях и существенных связях исследуемой области действительности. Термин «теория» происходит от греч. theoria, что значит наблюдение, рассмотрение, исследование, умозрение. Научная теория представляет собой систему логически взаимосвязанных утверждений, содержит доказательный механизм построения знания, воплощает конкретную программу исследования, что и обеспечивает целостность теории как единой системы
  • 16. Виды психологических теорий
    В науке принято выделять два вида теорий на основании того, каким образом они были построены, — аксиоматические, или категорически-дедуктивные, и гипотетико- дедуктивные. «Исходные положения ак­сиоматических теорий составляют формальные логи­ческие выражения — аксиомы» (Дюкова, 1975. С. 4).Один из наиболее ярких примеров аксиоматической теории в психологии — теория личностных конструк­тов Дж. Келли. Исходным аксиоматическим постула­том для Келли было философское обобщение о чело­веке как
  • ИНФОРМАЦИОННО-ЛОГИЧЕСКАЯ СИСТЕМА
    — совокупность информационного языка, правил перевода на этот язык и общих правил логической переработки информации. Иногда в элементы И.-л. с. включаются также технические средства ее практической реализации (информационно-логические устройства). Теория И.-л. с. не рассматривает технические средства реализации как элемент этих систем, в практической же информационной работе речь идет о реальных системах. И.-л. с. предназначена для логического преобразования информации и/или для получения
  • ИНФОРМАЦИОННО-ЛОГИЧЕСКАЯ СИСТЕМА
    — совокупность информационного языка, правил перевода на этот язык и общих правил логической переработки информации. Иногда в элементы И.-л. с. включаются также технические средства ее практической реализации (информационно-логические устройства). Теория И.-л. с. не рассматривает технические средства реализации как элемент этих систем, в практической же информационной работе речь идет о реальных системах. И.-л. с. предназначена для логического преобразования информации и/или для получения
  • Вопрос 20 Математические теории. Язык 1-го порядка. Термы и формулы. Логические и специальные аксиомы. Правила вывода.
    Аксиоматическая теория – совокупность всех теорем, доказываемых исходя из данной системы аксиом. Делятся на формальные и неформальные. Неформальные: понятия выводимости в них условны и опираются на здравый смысл. Формальные: задан язык теории, определены правила вывода, выделено некоторое мн-во формул – аксиома. Среди математических теорий выделяют теории 1-го порядка, они отличаются тем что не допускают в своем изложении предикаты, которые имеют в качестве своих аргументов другие аргументы и
  • Вопрос 20 Математические теории. Язык 1-го порядка. Термы и формулы. Логические и специальные аксиомы. Правила вывода.
    Аксиоматическая теория – совокупность всех теорем, доказываемых исходя из данной системы аксиом. Делятся на формальные и неформальные. Неформальные: понятия выводимости в них условны и опираются на здравый смысл. Формальные: задан язык теории, определены правила вывода, выделено некоторое мн-во формул – аксиома. Среди математических теорий выделяют теории 1-го порядка, они отличаются тем что не допускают в своем изложении предикаты, которые имеют в качестве своих аргументов другие аргументы и
  • Строение научных теорий
    Научная теория - это система знаний, описывающая и объясняющая определенную совокупность явлений, дающая обоснование всех выдвинутых положений и сводящая открытые в данной области законы к единому основанию. Итак, строение теории можно представить в такой схеме:1) эмпирический базис теории содержит основные факты и данные, а также результаты их простейшей логико-математической обработки;2) исходный теоретический базис включает основные допущения, аксиомы и постулаты, фундаментальные законы и
  • 2 Логические формы квалификации преступления
    Квалификация преступления как разновидность юридического познания есть сложный путь от незнания к знанию. В реальном мыслительном процессе квалификации этот путь совершается в форме перехода от одного знания к другому. Квалификация — логический процесс перехода от исходного знания к выводному через обосновывающее знание. Исходное знание — это знание, полученное в результате анализа признаков совершенного общественно опасного и противоправного деяния, и знание, связанное с содержанием
  • Теория психотерапии
    Эмоциональные и поведенческие проблемы связаны с на­рушенными когнитивными процессами. Например, если чело­век реагирует страхом на стук в дверь ("это грабитель"), то в основе такого логического вывода и эмоциональной реакции (страха) может лежать малоосознаваемое убеждение "все лю­ди опасны". Мысли, мешающие справиться с жизненными си­туациями, вызывающие внутреннюю дисгармонию и болезнен­ные эмоциональные реакции, А.Бек называет неадаптивными мыслями. Сама по себе мысль
  • ТЕОРИЯ
    (греч. theoria — наблюде-ние, рассмотрение, исследование, умозрение, букв. — "зрелище", "ин-сценировка") — высшая форма орга-низации научного знания, дающая целостное представление о закономерностях и существенных (структурных, функциональных, каузальных, генетических) связях определенной области описываемой действительности (предметного поля объяснений и интерпретаций). В классической науке Т. в идеале должна представ-лять собой систему ее законов и пре- зентировать основной категориаль-
1 2 3 4 5 6 7 8 9 10 11 > 27
- Абстракция и идеализация - Аксиоматизация - Алгебра логики - Алгебраические, теоретико-множественные семантики - Аналогия - Аппарат логики - Вероятностная логика - Индуктивная логика - Интуиционизм и консерватизм - История логики - Категорная семантика - Классификация - Классическая логика - Логика высказываний - Логика кванторов - Логика первого и высших порядков - Логика решений - Логицизм - Логическая семантика - Логические и семантические парадоксы - Логические проблемы аргументации - Логические формы и приемы познания - Метатеоретические проблемы логики - Недедуктивные логические теории - Неклассические логики - Непротиворечивость, полнота, разрешимость формализованных теорий - Определение - Определимость, сравнительный анализ логических теорий - Прикладные проблемы логики и логической семантики - Проблема содержательности семантик логических систем - Проблемы аксиоматизации теории множеств - Реляционные семантики возможных миров - Силлогистические теории - Теории логического вывода - Теория доказательств - Теория моделей - Теория семантических категорий - Типы исчислений - Формализация - Формализм - формы мышления -