
Sign up to save your podcasts
Or


Credits
Image of a veterinarian succussing a Holstein cow courtesy Dawn Marick, DVM, MS, DACVIM(LA).
People mentioned
Einar W. Høst
Credits
Picture of a Kula ring gift item, Brocken Inaglory, CC BY-SA 3.0, via Wikimedia Commons
Credits
Roulette wheel image from Flickr user k-bot, CC BY-NC-ND 2.0.
Credits
An image from an undated review of a staging of "Fiddler on the Roof". DuckDuckGo claims it's CC-licensed, but I can't tell. I'm gonna risk it.
Credits
Flask from DataBase Center for Life Science (DBCLS), CC BY 4.0, via Wikimedia Commons
Peter Galison, Image and Logic: A Material Culture of Microphysics, 1997
Credits
Roman coin depicting the harbor at Ostia, from the title page of The Periplus of the Erythraean Sea: Travel and Trade in the Indian Ocean by a Merchant of the First Century, translated by Wilfred H. Schoff, 1912. Source unknown, but the entire book is public domain. Via Wikimedia Commons.
Peter Galison, Image and Logic: A Material Culture of Microphysics, 1997
Brian Marick, An Outsider's Guide to Statically Typed Functional Programming, unfinished
Brian Marick, Lenses for the Mere Mortal: Purescript Edition, unfinished
Programming languages: Clojure, ClojureScript, Elixir, Elm, Purescript
Credits
Photo of proton-antiproton collision from UA5 collaboration, CERN, Public domain, via Wikimedia Commons.
Lakatos in a nutshell
Scientists join research programmes. Research programmes are characterized by a small hard core of 2-5 postulates that guide development of theories and experiments. The hard core is not questioned from within the research programme.
To be progressive, a research program must produce a series of dramatic ("novel") predictions that are confirmed by experiment. This is in contrast to the mainstream account of science, which emphasizes that it's rational to believe in a theory only if its predictions are not (yet) refuted. Lakatos's argument is that real scientists don't abandon beliefs because they're refuted. Indeed, "theories grow in a sea of anomalies, and counterexamples are merrily ignored."
While anomalies or counterexamples are generally shelved to deal with later, some are too telling to ignore. Scientists react by producing an protective belt of auxiliary hypotheses. Those are of two sorts:
Note that you can't tell from the outside which category a protective theory falls into. That's discovered over time.
Unlike the hard core, parts of the protective belt can be dropped or replaced.
A research programme is degenerating if:
A research programme can recover from degenerating and become progressive again.
The wikipedia article has more detail. It's pretty good as of this episode's publication date.
References
The standard reference is Lakatos's Philosophical Papers, Volume 1: The Methodology of Scientific Research Programmes, 1978, Currie & Worrell (editors). I personally found a series of Lakatos's transcribed lectures more useful for this episode. They're in For and Against Method: Including Lakatos's Lectures on Scientific Method and the Lakatos-Feyerabend Correspondence, 1995, Motterlini (editor). Lakatos and Feyerabend were both friends and sparring partners with very different views about science. Unfortunately, Feyerabend didn't save most of Lakatos's letters, and Feyerabend's letters tend more toward gossip than debate about issues. It's quite a loss, given that Lakatos died young (age 51).
I don't mention it in the podcast, but Lakatos's Proofs and Refutations: The Logic of Mathematical Discovery, 1976, Worrall and Zaher (editors) is a wonderful book. It's a series of fictional conversations between a teacher and his students that recapitulates the history of Euler's polyhedron formula, V-E+F=2. As with his later Methodology did for science, Lakatos demonstrates that mathematics isn't just a steady accumulation of knowledge. Mathematicians don't just play the definition-theorem-proof game; they also use techniques like "monster barring". You'll be surprised by how entertaining it is.
Immanuel Velikovsky, Worlds in Collision, (first edition, 1950). Wikipedia article.
The Millikin oil drop experiment.
The manifesto for Agile software development.
Kent Beck and Cynthia Andres, Extreme Programming Explained: Embrace Change (second edition, 2004).
Edward Yourdon, Death March (first edition 1997).
My Bothered Bolsheviks are described in Stephen Kotkin, Stalin: Volume I: Paradoxes of Power (1878-1928), 2014.
Credits
Imre Lakatos courtesy Library of the London School of Economics and Political Science, No restrictions, via Wikimedia Commons
James Shore: website, The Art of Agile Development, AOAD book club, twitter
Mentioned
Susan Leigh Star, This is Not a Boundary Object: Reflections on the Origin of a Concept, 2010
Jeff Patton: website, story mapping articles, story mapping book, twitter
Gojko Adzic: website, book on impact mapping, impact mapping website, twitter
Diana Larson: website, twitter
Alistair Cockburn: website, twitter
Jessica Kerr: website, twitter, symmathesy
Michael Feathers: website, twitter
Miro collaboration app
Gather.town a collaboration app mimics more properties of physical space
Pictures
A Patton-style story map
An Adzic-style impact mapping
A Shore-style cluster map
A sequence diagram
Credits
Shoreline image by Flickr user dronepicr, CC BY 2.0
From the publisher's feed