Source: p 465, A Concise Introduction to Logic (12 Ed, 2014) by Patrick Hurley
[...] 5. Py ⊃ Cy 3, 4, Hypothetical Syllogism
6. (x)(Px ⊃ Cx) 5, Universal Generalisation [...]
As noted earlier [on p 457 which I questioned earlier], the expressions in lines 3, 4, and 5 are called statement functions. As such, they are mere patterns for statements; they have no truth value and cannot be translated as statements. Yet if we take
certain liberties, we might characterize line 5 as saying
“If it is a P, then it is a C["],
where “it” designates any item at random in the universe.
Line 6 can then be seen as reexpressing this sense of line 5.
1. What does the author mean by
I am most confused; does the above quote appears to contradict p 457?
What is the final answer on whether Statement Functions mean anything?