Haver
(do lat. haver, ter, dar-se)
Na lógica é um post-predicamento que consiste no modo, segundo o qual uma coisa se ordena a outra, o haver-se de uma coisa em relação a outra.
Os modos de haver-se são:
1)
inerência, por ex.: o modo como o sujeito tem habet, o acidente;
2)
por continência, assim como o vaso contém o líquido;
3)
por posse, como o homem tem um bem econômico;
4)
por relação, como o pai tem o filho;
5)
por justaposição, como a fronteira entre países.