En filosofía, se denomina sintético a aquel juicio en el que el predicado no está incluido en la noción de sujeto, es decir, aquel juicio que tiene la capacidad de añadir algo al contenido semántico del sujeto. Estos juicios son informativos y extensivos,  lo que quiere decir que posibilitan la ampliación de nuestro conocimiento sobre el mundo. A priori, en un sentido puro, son los juicios cuya verdad puede ser mantenida independiente de cualquier experiencia, por lo que concluimos que no procede de ella. (p.e., todo triángulo tiene tres lados), los juicios a priori son de carácter  necesario y universal en un sentido estricto.
Desde el punto de vista de la lógica moderna la noción de que el "predicado esté incluido en el sujeto" debe aclararse un poco. Un juicio sobre una entidad tiene la forma lógica P(x), donde x denota al "sujeto" o entidad de la que se afirma P( ) [la notación P(x) está tomada de las matemáticas ya que P( ) se puede concebir como una función matemática que a cada x le asigna la proposición P(x)]. Se entiende que el sujeto o ente x es un determinado tipo de entidad y que por tanto pertenece 
  
    
      
        
          x
          ∈
          S
        
      
    
    {\displaystyle \scriptstyle x\in S}
   a un determinado conjunto 
  
    
      
        S
      
    
    {\displaystyle S}
   formado por todos las entidades de cierto tipo. Entonces que el "predicado esté incluido en el sujeto" se refiere a que se cumpla lo siguiente:

  
    
      
        x
        ∈
        S
        ⇒
        P
        (
        x
        )
      
    
    {\displaystyle x\in S\Rightarrow P(x)}
  

El hecho de que x sea del tipo S implica que será cierto que P(x).