Task: Text Categorization
Input (English): One of this philosopher's late works employs Tarski's correspondence theory of truth to develop the idea of "verisimilitude". That work also contains the argument that unconditional prophecies are formed from a combination of existential statements and conditional predictions, and is entitled Conjectures and Refutations. Another work by this thinker discusses the reduction of theories to basic statements and contains such chapters as "The Problem of the Empirical Basis", and "Degrees of Testability". In a work of political philosophy, this thinker criticized holistic theories and argued that totalitarian regimes operated under "The Spell of Plato". The formulator of falsifiability, for 10 points, identify this philosopher whose major works include The Poverty of Historicism, The Logic of Scientific Discovery, and The Open Society and Its Enemies.
Output (English): Social Science