semantic error: an error in logic or arithmetic that must be detected at run time
software error: error resulting from bad code in some program involved in producing the erroneous result
chalcedon: the fourth ecumenical council in 451 which defined the two natures (human and divine) of Christ