La lógica formal actual considera la relación S y P como una relación meramente sintáctica sin contenido material alguno, bien sea en una relación de clases o una función proposicional de predicados.