Отчуждение – (в общем смысле) – процесс отделения от одного объекта другого, отделение от объекта какого-то свойства, признака, характеристики.

Отчуждение – (в логическом смысле) – процесс отделения одного объекта (играющего роль логического сказуемого) от другого объекта (играющего роль логического подлежащего).

Примеры:
- данную вещь выбросил Вася (вещь отчуждена Васей);
- данную вещь отобрали у Васи (вещь сделали отчуждённой от Васи);
- в суждении "Вася не является прекрасным программистом" признак "прекрасный программист" отчуждён от "Васи" с помощью логической связки "не является";
- в программном коде удалили переменную, ранее предназначенную хранить строку "Вася".