greek logic