Логика (logic) -
«наука, изучающая с формальной точки зрения понятия, методы их определения и
преобразования, суждения о них и структуры доказательных рассуждений. Ее
создание сделало возможным развитие европейской науки.... Она была создана на
заре человеческой цивилизации, в классической Греции, практически одним
человеком - Аристотелем. ... Аристотелева логика часто называется философской
либо формальной…Три сакраментальных термина современной логики - индукция,
дедукция и абдукция - происходят от одного и того же латинского корня с разными
приставками и обозначают, в исходном смысле, соответственно; 1. Получение
общего закона по множеству частных случаев. 2. Получение из общего утверждения
другого общего или частного. 3. Получение нового частного случая из множества
частных случаев» (Непейвода, 2000, с. XI-XIII).