Дедукция
    ДЕДУКЦИЯ (лат. deductio - выведение) - в широком смысле слова - такая форма мышления, когда новая мысль выводится чисто логическим путем (т.е. по законам логики) из предшествующих мыслей. Такая последовательность мыслей называется выводом, а каждый компонент этого вывода является либо ранее доказанной мыслью, либо аксиомой, либо гипотезой. Последняя мысль данного вывода называется заключением.
    Процессы дедукции на строгом уровне описываются в исчислениях математической логики.
    В узком смысле слова, принятом в традиционной логике, под термином "дедукция" понимают дедуктивное умозаключение, т. е. такое умозаключение, в результате которого получается новое знание о предмете или группе предметов на основании уже имеющегося некоторого знания об исследуемых предметах и применения к ним некоторого правила логики.
    Дедуктивное умозаключение, являющееся предметом традиционной логики, применяется нами всякий раз, когда требуется рассмотреть какое - либо явление на основании уже известного нам общего положения и вывести в отношении этого явления необходимое заключение. Нам известен, например, следующий конкретный факт - "данная плоскость пересекает шар" и общее правило относительно всех плоскостей, пересекающих шар, -"всякое сечение шара плоскостью есть круг". Применяя это общее правило к конкретному факту, каждый правильно мыслящий человек необходимо придет к одному и тому же выводу: "значит данная плоскость есть круг".
    Ход рассуждения при этом будет таков: если данная плоскость пересекает шар, а всякое сечение шара плоскостью есть круг, то, следовательно, и данная плоскость есть круг. В итоге данного умозаключения получено новое знание о данной плоскости, которого не содержится непосредственно ни в первой мысли, ни во второй, взятых отдельно друг от друга. Вывод о том, что данная плоскость есть круг", получен в результате сочетания этих мыслей в дедуктивном умозаключении.
    Структура дедуктивного умозаключения и принудительный характер его правил, заставляющих с необходимостью принять заключение, логически вытекающее из посылок, отобразили самое распространенные отношения между предметами материального мира: отношения рода, вида и особи, т. е. общего, частного и единичного. Сущность этих отношений заключается в следующем: то, что присуще всем видам данного рода, то присуще и любому виду; то, что присуще всем особям рода, то присуще и каждой особи. Например,что присуще всем видам данного рода, то присуще и любому виду; то, что присуще всем особям рода, то присуще и каждой особи. Например, что присуще всем нервным клеткам(например, способность передавать информацию),то присуще и каждой клетке, если она, конечно, не отмерла. Но это именно и отобразилось в дедуктивном умозаключении: единичное и частное подводится под общее. Миллиарды раз наблюдая в процессе практической деятельности отношения между видом, родом и особью в объективной действительности, человек выработал соответствующую логическую фигуру, приобретающую затем статус правила дедуктивного умозаключения.
    Дедукция играет большую роль в нашем мышлении. Во всех случаях, когда конкретный факт мы подводим под общее правило и затем из общего правила выводим какое-то заключение в отношении этого конкретного факта, мы умозаключаем в форме дедукции. ............