Это всё потому, что ты не читал моей техногенетики и не проникся духом относительности тех или иных оценок критерия выполнения задачи управления. Разные задачи - разный метод оценки информации. А логика везде одна. Она или есть или её нет. 
Ты иобнутый, что ли?
Я тебе ещё раз говорю - в современном научном обороте находится ТРИ ВИДА логик:
1. Формальная логика.
2. Диалектическая логика.
3. Модальная логика.
Каждая из этих научных дисциплин ИМЕЕТ СВОЙ СОБСТВЕНННЫЙ НАУЧНЫЙ ИНВЕНТАРЬ (СОДЕРЖАНИЕ), а также СВОЙ СОБСТВЕННЫЙ ПРЕДМЕТ РАССОТРЕНИЯ.
Цитировать:
Логика - наука о мышлении. Но в отличие от других наук, изучающих мышление человека, например физиологии высшей нервной деятельности или психологии, логика изучает мышление как средство познания; ее предметом являются законы и формы, приемы и операции мышления, с помощью которых человек познает окружающий его мир.
Логика, изучающая познающее мышление и применяемая как средство познания, возникла и развивалась как философская наука и в настоящее время представляет собой сложную систему знаний, включающую две относительно самостоятельные науки: логику формальную и логику диалектическую.
В первой четверти 20 века была разработа ещё одна специальная научная дисциплина, называемая МОДАЛЬНОЙ ЛОГИКОЙ.
МОДАЛЬНАЯ ЛОГИКА — раздел логики, посвященный изучению свойств модальных логических операторов типа «необходимо» и «возможно». К модальным операторам сейчас относят большинство операторов, с помощью которых удается учитывать силу (степень) истинности утверждаемого, хотя с учетом их специфики и выделяют разделы логики, их изучающие, внутри М. л. Примерами таких разделов являются временная логика (операторы «всегда будет», «всегда было» и «когда-нибудь будет», «когда-то было»), логика знаний («агент п знает»), логика доказуемости («в данной теории доказуемо»), динамическая логика («после выполнения программы л») и многие др. Такое расширение предметного поля изучения в М. л. связано с тем, что в этих специфических разделах используются сходные идеи и методы, изначально применявшиеся, как правило, к классическим модальным операторам «необходимо» и «возможно». В то же время эти частные разделы М. л. имеют многочисленные приложения в конкретных областях знания; напр., в философии, основаниях математики, в теоретических основаниях информатики и их практических применениях, в когнитивных науках, лингвистике и др.
До середины 20 в. основным методом изучения модальных операторов был аксиоматический (синтаксический). Хотя впервые правила обращения с модальными операторами были сформулированы Аристотелем, его модальная силлогистика неоднозначно истолковывается исследователями и имеет сейчас лишь историческое значение. По-настоящему точно аксиоматически системы М. л. были сформулированы К.И. Льюисом в первой половине 20 в. и названы им системами SI—S6. Множественность модальных систем связана с тем, что классические модальные операторы в разных контекстах понимаются по-разному, т.е. существуют разные «необходимо» и «возможно», и поэтому они не могут быть описаны заданием одной лишь системы: формулируя модальную систему, мы фиксируем одно из возможных пониманий этих операторов. К. Гедель заметил, что льюисовские системы допускают эквивалентные по множеству выводимых формул формулировки в следующем виде, называемом ныне геделевым: к аксиоматике классического исчисления высказываний гильбертовского типа после обогащения языка связкой (читается «необходимо, что») добавляются модальные аксиомы и модальные правила вывода. Х о т я К. Г е д е л ь рассматривал только льюисовскую систему S4 (модальные аксиомы а(А -> В) -> (оА -Q5), A - > п А, А ->ппА, модальное правило вывода А/а А, связка О («возможно, что») считается сокращением -"D-i), этот способ и его модификации (напр., иногда в качестве исходной берут связку 0, а считают сокращением —IO-•, заменяют классическую логику на иную безмодальную основу и т.п.) ныне стали общеупотребительными. Изучаются также аксиоматические системы М. л. генценовского типа — системы натурального вывода, секвенциальные системы; однако переход от геделевских формулировок модальных систем к генценовским часто вызывает значительные технические трудности.
