Традиционная логика

Cтраница 1

Традиционная логика представляет собой систему, отличную от аристотелевской силлогистики, и ее нельзя смешивать с подлинной логи кой Аристотеля. [1]

Традиционная логика формирует критерии, которые гарантируют точность, ва-лидность, непротиворечивость общих понятий рассуждений и выводов. [2]

Структура познания. [3]

Традиционная логика формирует критерии, которые гарантируют точность, валидность, непротиворечивость общих понятий, суждений и выводов. Ее основы заложены еще в Органоне Аристотеля в 4 в. [4]

Традиционной логикой называют формальную систему, предложенную Аристотелем более 2500 лет назад. Аристотель стремился установить и формально записать способы, с помощью которых можно было бы установить правильность рассуждений в разумной полемике. Множества правил, определяющих, какие умозаключения могут быть получены из множества суждений, он назвал силлогизмом. [5]

Непосредственные умозаключения - в традиционной логике умозаключения, в к-рых заключение непосредственно следует только из одной посылки. [6]

Непосредственные умозаключения - в традиционной логике умозаключения, в к-рых заключение непосредственно следует только из одной посылки. [7]

Логический элемент и. В нейронной модели ( справа нейрон возбуждается только в том случае, когда на его вход поступают одновременно два импульса. [8]

Соответствующий словесный пример из области традиционной логики: утверждение если я сплю, то я счастлив, очевидно, остается истинным в частном случае, когда я бодрствую и счастлив. [9]

Формулы 1 - 6 допускаются традиционной логикой и, насколько мне известно, всем-и современными логиками. В этой интерпретации система, построенная на формулах 1 - 6, перестает быть модальной логикой. [10]

Инженер по знаниям и сам использует операции традиционной логики и выделяет их в схеме рассуждений эксперта. [11]

К тому же очень давно осознана недостаточность ресурсов традиционной логики для характеристики научных рассуждений. В XIX столетии начался мощный процесс перестройки логики; он особенно бурно рос в XX в. К настоящему времени разработаны очень сильные логические средства. Однако, - как утверждает Мостов-ский [ 3, с. Это было осознано достаточно давно, и когда в 1904 г. Гильберт занялся проблемой оснований логики и арифметики, то прямо писал: Обычно считают арифметику частью логики и при обосновании арифметики большей частью предполагают традиционные основные идеи логики известными. Однако, внимательно присматриваясь, мы замечаем, что при обычном изложении законов логики применяются уже некоторые основные понятия арифметики, как-то: понятие множества, частично понятие числа, особенно в смысле количества. [12]

Такая процедура контроля состояния технологического процесса основана на традиционной логике: процесс налажен - брака нет, процесс разлажен - вся изготовленная продукция будет дефектной. В действительности же дело обстоит иначе. Это зависит от конкретных технологии и причины разладки. Это означает, что в среднем каждая двадцатая изготовляемая единица продукции окажется дефектной. Какова же вероятность извлечь именно эту, одну среди двадцати, дефектную единицу и принять правильное решение. Таким образом, современная практика организации текущего контроля состояния технологического процесса не может принципиально решать проблему предупреждения брака. [13]

Колмогоров высказал 1 ] идею, что наряду с традиционной логикой, к-рая систематизирует схемы доказательств теоретич. [14]

Архитектура системы управления знаниями. [15]

Страницы: 1 2 3