Без заголовка
Вот когда я пишу про рациональность и её логические основания, я имею ввиду прежде всего http://ailev.livejournal.com/1311261.html (и там говорится, что современная логика отличается от приведённой вами аристотелевской логики с булевой алгеброй как идеалом).
И недаром говорится, что "определение это гробик для умершей мысли". Так, определение с differentia различно для каждого стейкхолдера, ибо разным людям нужно определять свои виды в роде: биолог даст определение тигру одно (по генам или фенотипу -- и будет долго спорить внутри себя, как надо), логист даст ему определение по размеру и весу, а мясник -- по съедобности и количеству мяса. Если это не учитывать, то сваливаешься в редукционизм. Вот инженеры все очень логичны обычно, но редукционисты.