Поэтому от него было образовано множество уменьшительных форм, одна из которых - Иваша - и легла в основу фамилии. Однако, скорее всего, имя Иван исторически восходит к каноническому мужскому личному имени Иоанн, которое в переводе с древнееврейского означает «милость Божья». Таким образом, потомок человека, обладающего именем Иваша, со временем получил фамилию Ивашинникова.