Computational Methods in Philosophy, 11 April . tr 2014, 8 (6).