 Formal epistemology is concerned with the examination of traditional epistemological questions using the formal tools of logic and probability. There has been a small but important group of Latin American researchers working within this subfield of epistemology—sometimes in close collaboration with scholars from the United States, Europe, and Australia—particularly on such topics as belief change, Bayesian epistemology, and theory choice.