Epistemology, software engineering and formal methods

摘要

One of the most basic questions anyone can ask is, 'How do I know that what I think I know is true' The study of this question is called epistemology. Traditionally, epistemology has been considered to be of legitimate interest only to philosophers, theologians, and three year old children who respond to every statement by asking, 'Why' Software engineers need to be interested in the subject, however, because a lack of sufficient understanding of epistemology contributes to many of the current problems in the field.