Ackermann's valuation of well formed formulas I am self-studying logic, and am exploring the discrepancy that several texts (philosophical and mathematical) assert that quantifiers can't be assessed "semantically" (via a truth table), and a text by Ackermann that asserts that they can.
In Ackermann's 1954 Solvable Cases of the Decision Problem, on page 6 he writes the following:

V6. A wff $(\mathcal U)\mathfrak U ( \mathcal U)$ has the value T by an assignment for the free variables, if $\mathfrak U ( \mathcal U)$ has the value T by the same assignment from the free variables different from $ \mathcal U$and an arbitrary assignment for the variable $\mathcal U $; a wff $(\exists\mathcal U)\mathfrak U ( \mathcal U)$ has the value T for an assignment, if there is an assignment for $\mathcal U $ which together with the given assignment for the free variables of $(\exists\mathcal U)\mathfrak U ( \mathcal U)$ gives the value T to $\mathfrak U ( \mathcal U)$. In every other case, $(\mathcal U)\mathfrak U ( \mathcal U)$ and $(\exists\mathcal U)\mathfrak U ( \mathcal U)$ have the value F by an assignment.

I understand the part regarding the existential quantifier; however, it seems that for the universal he's claiming the bound variable(s) have no relevance?! e.g. $(x)(Rx \land y)$ can't be F if y is T?
I suspect my reading of Ackermann is wrong based on other texts I've read but, putting those aside, I'm not sure how else to read it. Indeed in a two-part example on pg.6-7 he demonstrates that this is the case. Yet in my counter example it is entirely possible for (x)(Rx $\land$ y) to be false... so I'm grossly confused, and find it demotivating to continue reading this book (in the second half of the example he uses a domain of just 2 members, a & b, and yet goes on to mention members c & d...sigh).
 A: It says:

A wff $(x)A(x)$ has the value T by an assignment for the free variables, if $A(x)$ has the value T by the same assignment from the free variables different from $x$ and an arbitrary assignment for the variable $x$.

It means: consider a variable assignment $s : \text {Var} \to D$, where $D$ is the domain of the interpretation.
And consider a new assignment $s'$ such that $s'(y)=s(y)$ if $y$ is free in $A(x)$ and $y \ne x$ and $s'(x)$ whatever.
If $A(x)$ has value T for every such $s'$, then $(x)A(x)$ has value T for $s$.
Intuitively, $(x)A(x)$ is true if $A(x)$ is true for every value that we can assign to $x$.

Regarding your example:

$(x)(Rx∧y)$  can't be F if $y$ is T ?

we have to consider that $y$ is a variable; thus, an assignment $s$ assigns to $y$ an "object" of the domain, and not a truth value.
About:

Is he asserting that all wff with no (free) variables evaluate to F ?

Of course no. A sentence (i.e. a wff with no free variables) is evaluated to T (F) by an assignment $s$ iff every assignment evaluates it to T (F).
Consider e.g. the formula $(x)(x=0)$ and interpret it in the domain $\mathbb N$ of natural numbers.
Consider $s(x)=0$; by the above definition, it is not true that $s$ satisfies the formula in $\mathbb N$, i.e. $\mathbb N, s \nvDash (x)(x=0)$.
This is so becuase if we consider e.g. $s'$ such that $s'(x)=1$, we have that $(x)(x=0)$ is not satisfied by $s'$ (we have that: $0 \ne 1$) and thus it is not true that every assignment that differs from $s$ only on the value assigned to $x$ satisfies the formula.
