Logica e definizione: notazioni avicenniane