Fós conocida la limitación de las teorías lógicas antiguas y medievales, con excepciones puntuales entre los estoicos y los lógicos del siglo XIV, a un solo tipo de conceptos predicativos, a saber, aquellos que, si se consideran conjuntamente con la cópula "es", como "es hombre", "es mortal", etc., constituirían lo que hoy día denominamos "predicados monádicos", a los que también podríamos llamar "predicados unarios" o, más sencillamente, "predicados de un solo puesto libre".

La predicación de un concepto predicativo unario P acerca de un individuo-sujeto específico s, cuyo resultado es la aserción -P(s), no es lo mismo que la predicación del mismo concepto predicativo P acerca de un concepto-sujeto general S (en el sentido tradicional del sujeto S en la oración asertiva clásica "S es P"), cuyo resultado es la aserción ....