Logic of Living Systems