Information, possible worlds and the cooptation of scepticism

The article investigates the sceptical challenge from an information-theoretic perspective. Its main goal is to articulate and defend the view that either informational scepticism is radical, but then it is epistemologically innocuous because redundant; or it is moderate, but then epistemologically beneficial because useful. In order to pursue this cooptation strategy, the article is divided into seven sections. Section 1 sets up the problem. Section 2 introduces Borel numbers as a convenient way to refer uniformly to (the data that individuate) different possible worlds. Section 3 adopts the Hamming distance between Borel numbers as a metric to calculate the distance between possible worlds. In Sects. 4 and 5, radical and moderate informational scepticism are analysed using Borel numbers and Hamming distances, and shown to be either harmless (extreme form) or actually fruitful (moderate form). Section 6 further clarifies the approach by replying to some potential objections. In the conclusion, the Peircean nature of the overall approach is briefly discussed.

[1]  L. Floridi Mathematical skepticism : The debate between Hobbes and Wallis , 2004 .

[2]  Herbert A. Simon,et al.  Why a Diagram is (Sometimes) Worth Ten Thousand Words , 1987, Cogn. Sci..

[3]  Dov M. Gabbay,et al.  Logical Tools for Handling Change in Agent-Based Systems , 2008, Cognitive Technologies.

[4]  Ken Satoh Nonmonotonic Reasoning by Minimal Belief Revision , 1988, FGCS.

[5]  J. Hintikka Logic, language-games and information : Kantian themes in the philosophy of logic , 1973 .

[6]  Herbert A. Simon,et al.  On the Forms of Mental Representation , 1978 .

[7]  R. Mckeon,et al.  Sic et non : a critical edition , 1977 .

[8]  Jérôme Lang,et al.  Propositional Distances and Preference Representation , 2001, ECSQARU.

[9]  Rüdiger Reischuk,et al.  The intractability of computing the Hamming distance , 2003, Theor. Comput. Sci..

[10]  Donald Nute,et al.  Counterfactuals , 1975, Notre Dame J. Formal Log..

[11]  Yehoshua Bar-Hillel,et al.  Language and information : selected essays on their theory and application , 1965 .

[12]  Odile Papini,et al.  Knowledge-base revision , 2000, The Knowledge Engineering Review.

[13]  Marcello D'Agostino,et al.  Is Propositional Logic Really Uninformative , 2008 .

[14]  M. Marion Wittgenstein, finitism, and the foundations of mathematics , 1998 .

[15]  R. Popkin The History of Scepticism: From Savonarola to Bayle , 1979 .

[16]  Ruurik Holm,et al.  A constructive approach to state description semantics , 2003, J. Appl. Log..

[17]  Rudolf Carnap,et al.  An outline of a theory of semantic information , 1952 .

[18]  Timothy Williamson Invertible definitions , 1987, Notre Dame J. Formal Log..

[19]  Vladimir Tasić,et al.  Mathematics and the Roots of Postmodern Thought , 2001 .

[20]  Rudolf Carnap The problem of relations in inductive logic , 1951 .

[21]  Weiru Liu,et al.  Measuring the Ignorance and Degree of Satisfaction for Answering Queries in Imprecise Probabilistic Logic Programs , 2008, SUM.

[22]  Willard Van Orman Quine,et al.  Philosophy of Logic. , 1988 .

[23]  Marcello D'Agostino,et al.  The enduring scandal of deduction , 2009, Synthese.

[24]  J. Ernvall,et al.  NP-completeness of the hamming salesman problem , 1985 .

[25]  B. Pascal,et al.  Pensées and other writings , 1995 .

[26]  Mukesh Dalal,et al.  Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.

[27]  Luciano Floridi,et al.  What is the Philosophy of Information , 2002 .

[28]  R. Popkin,et al.  The Skeptical Tradition Around 1800 , 1998 .

[29]  S. Leeds,et al.  Perception and Cognition: Issues in the Foundations of Psychology , 1978 .

[30]  Paul Hudson Meta maths: the quest for omega , by Gregory Chait in. pp. 220. £9.99. 2007. ISBN: 978-184354525-5 (Atlantic Books). , 2011, The Mathematical Gazette.

[31]  SIMILARITY IS A BAD GUIDE TO COUNTERFACTUAL TRUTH , 2006 .

[32]  Luciano Floridi,et al.  Outline of a Theory of Strongly Semantic Information , 2004, Minds and Machines.

[33]  R. Descartes,et al.  The Philosophical Writings of Descartes: Index , 1985 .

[34]  R. Popkin,et al.  Skepticism in Renaissance and Post-Renaissance Thought: New Interpretations , 2004 .

[35]  Jean-Raymond Abrial,et al.  On B , 1998, B.

[36]  M. Kracht,et al.  Logically Possible Worlds and Counterpart Semantics for Modal Logic , 2007 .

[37]  David Lewis Counterfactual Dependence and Time's Arrow , 1979 .

[38]  Stavros Konstantinidis,et al.  Computing the edit distance of a regular language , 2007, Inf. Comput..

[39]  É. Boirac,et al.  Revue de Metaphysique et de Morale. , 1895 .

[40]  Paolo Mancosu,et al.  From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s , 1997 .

[41]  A note on state-descriptions , 1951 .

[42]  Luciano Floridi,et al.  The enduring scandal of deduction Is propositional logic really uninformative ? , 2007 .