A formal approach to Lakatosian heuristics

Can Baskent


In this work, we offer a formal approach to analyze Lakatosian heuristics. We first give overviews of Lakatosian heuristics based on Lakatos’s seminal work Proofs and Refutations and subset space logic which is a bimodal epistemic logic. Then, we establish the connection between Lakatosian heuristics and subset space logic by making use of an extended version of subset space logic which was suggested earlier. We then conclude with discussing the merits of our approach.

Full Text:



  • There are currently no refbacks.