Translation of "every suspected criminal" into first-order logic I'm trying to translate the sentences "Every suspected criminal is a criminal" and "Every suspected criminal is suspected" into first-order logic in such a way that the first is not a logical truth, the second is a logical truth, and the two translations are compatible. The way I wanted to translate the first sentence was to let $Sx $ mean "$x $ is a suspected criminal" and let $Cx$ mean "$x $ is a criminal" and then translate the sentence as
$$
\forall x (Sx\rightarrow Cx).
$$
The way I wanted to translate the second sentence was to let $Sx $ mean "$x $ is suspected" and let $Cx $ mean "$x $ is a criminal" and then translate the sentence as
$$
\forall x((Sx \land Cx)\rightarrow Sx).
$$
Unfortunately, these translations are not compatible since I'm defining  $Sx $ differently in each one. Any suggestions?
 A: Leave $Sx$ and $Cx$ as in your first sentence, $Sx$ means "$x$ is a suspected criminal". Your first sentence is correct.
For the second, you need a new predicate, call it $T$ (I know; but $S$ is taken), such that $Tx$ means "x is suspected" of something. Then the second sentence would be 
$$
\forall x\,((Tx \land Cx) \to Tx)
$$
These are compatible.
The problem, and the task, is frankly a bit bogus. "Suspected" is something like an operator on predicates such as $C$: $Suspected(C)$ is the predicate of being a suspected criminal. But this is not a first-order construct.
A finer analysis: "x is a suspected criminal" really means that there is someone y who suspects that "x is a criminal" is true of x. Still more precisely, it means: 

there is someone y who believes "is a criminal" is possibly true of x

Again, this is not a first-order notion: it's a relation $R(x,y,C)$ between two people $x,y$ and a predicate $C$. But also notice two further extensions to standard first-order logic involved in formalizing this notion: belief, and possibility (possibly $p$ $\!\iff\! \neg$ necessarily $\neg\, p$), which are studied in doxastic logic and modal logic respectively. So the statement "x is a suspected criminal" turns out to be more naturally represented in 2nd order modal doxastic logic. We'll leave it to the philosophers to haggle about what proper axioms are for that system. "suspects" is a rather rich term.
A: Define:
$Cx$: $x$ is a criminal
$Sx$: $x$ is suspected of being a criminal
Then your logic statements are 'correct':
$\forall x(Sx \rightarrow Cx)$ [FALSE]
$\forall x((Sx \land Cx)\rightarrow Sx)$ [TRUE]
