I'm reading this text that discusses Plato's Theory of forms as a logic theory and I have a question about the use of prime symbols in the text. I'm not very advanced in logics or general philosophy but I have to understand this for an assignment. The book is from 1958 and written in swedish. I've translated a part that uses the notation in question:
"PL I. It exists a form F so that it is true that for all things a, a is X if and only if a has part in F.
PL II. For all things a it is true that a is X if and only if a has part of the form F, and that a is X if and only if a has part of the form F', so F = F'."
I'm a bit stuck because i don't get what F' means. I can't find any information online that applies so I hope someone here can help me.
Thanks in advance!
What should I do?