All in summary

Concepts, Methods, & Heuristics in Proofs and Refutations - Chapter 1, §4

An ongoing list of the concepts, methods, and heuristics used by the characters of Proofs and Refutations: The Logic of Mathematical Discovery, by Imre Lakatos. This is what I would have found useful the first time reading Proofs and Refutations, and I hope you find it useful too.

Chapter 1, §4 focuses on methods for responding to global counterexamples of a proof.

Concepts, Methods, & Heuristics in Proofs and Refutations - Chapter 1, §§1-3

An ongoing list of the concepts, methods, and heuristics used by the characters of Proofs and Refutations: The Logic of Mathematical Discovery, by Imre Lakatos. This is what I would have found useful the first time reading Proofs and Refutations, and I hope you find it useful too.

Chapter 1, §§1-3 focus on a proposed proof for the Descartes-Euler conjecture (the Cauchy proof) and types of counterexamples.

Consequentialism and War-Crime Trials

I take a consequentialist approach to measuring the success of war-crime trials.  Trials analyzed include the Truth and Reconciliation Commission, the Nuremburg Trials, and those after the Rwandan genocide.

Introduced in the essay is the concept of closure: a desirable end to conflict among all parties involved, arrived at by successfully addressing the ideological/societal rift at the root of the initial conflict.