Skip to main content
Log in

Four grades of ignorance-involvement and how they nourish the cognitive economy

  • Knowing the Unknown
  • Published:
Synthese Aims and scope Submit manuscript

Abstract

In the human cognitive economy there are four grades of epistemic involvement. Knowledge partitions into distinct sorts, each in turn subject to gradations. This gives a fourwise partition on ignorance, which exhibits somewhat different coinstantiation possibilities. The elements of these partitions interact with one another in complex and sometimes cognitively fruitful ways. The first grade of knowledge I call “anselmian” to echo the famous declaration credo ut intelligam, that is, “I believe in order that I may come to know”. As construed here, one knows in this anselmian way that E = mc2 just in case one knows that sentence expresses a true statement, but without having to understand the proposition it expresses. Most epistemologists ignore the significance of this grade of epistemic involvement. In a second grade of epistemic involvement, knowing that E = mc2 is knowing what that sentence means and understanding the proposition it express. This is knowledge in the propositional or semantic sense, and is the dominant target of epistemological investigation. Tacit and implicit (TI) knowledge occupies another tier. A typical example would be something that someone has “known all along” but, until now, hasn’t had occasion to put her mind to it or formulate in words. TI-knowledge remains a minority interest in today’s epistemology. Operating at a fourth grade of epistemic involvement is what I call “impact”-knowledge, which is the knowledge of a matter at its deepest and most widespread. An example, to be discussed below, is the knowledge that was generated by the Wiles proof of Fermat’s last theorem. Its true importance lies not only, or even mainly, in its verification of a commonly accepted fact about numbers, but rather in its enrichment of the mathematics of elliptical curves and the promise it holds for greater advancement into the mathematical unknown. Knowledge of this fourth grade has yet to find a seat in the parliaments of epistemology. Knowledge of the anselmian sort is independent of the other three. Tacit and implicit knowledge is incompatible with anselmian and semantic knowledge but coinstantiable with impact-knowledge. Semantic knowledge is incompatible with tacit and implicit knowledge but coinstantiable with the others. Impact-knowledge is pairwise coinstantiable with the others. Below I will bring the ignorance partitions into such alignment as they have with these ones. In doing so, I’ll propose a naturalized causal response epistemology designed to give these interactive distinctions the theoretical air they need to breathe.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Notes

  1. A welcome exception is Arfini (2019). For the unexceptional rest, see for example, the following: In a volume as authoritative as Goldman’s and Whitcomb’s Social Epistemology: Essential Readings, ignorance makes no appearance in the index. The same is true of Bernecker’s and Pritchard’s The Routledge Companion to Epistemology, save for one citation of Descartes’ argument from ignorance in the First Meditation, which hardly counts. Check Blackburn’s Oxford Dictionary of Philosophy and you’ll find nothing except “ignoratio elenchi”. Save for that one reference, there is no mention in these three places of autoepistemic inference or arguments from ignorance. Honderich’s The Oxford Companion to Philosophy comes to much the same end. It acknowledges the more general form of Descartes’ use of it in its scant entry on arguments from ignorance, and a briefer mention of ignoratio elenchi. See Goldman and Whitcomb (2001), Bernecker and Pritchard (2013), Blackburn (2005), and Honderich (2005).

  2. See here Kitcher: “Typically, a flourishing science is incomplete. At any time, it raises more questions than it can currently answer. But incompleteness is no vice. On the contrary, incompleteness is the mother of fecundity …. A good theory should be productive; it should raise new questions and presume that these questions can be answered without giving up its problem-solving strategies.” Kitcher (1983; pp. 46–48).

  3. Just to be clear, when I speak of the space-time world, I mean the world we ourselves inhabit as natural beings. For present purposes, considerations from relativity theory don’t apply. I am not invoking four-dimensional Minkowki space.

  4. Wiles (1995; pp. 443–551).

  5. Rescher (2007, 2009).

  6. The word “ignore” derives from the fourteenth century French “ignorer” (“to be unaware of”), derived in turn from the 14th c. Latin (“not to know, be unacquainted”), but also (“take no notice of, disregard”).

  7. See, for example, Arfini and Magnani (2016; pp. 612–627), and Arfini et al. (2018; pp. 37–50).

  8. For a discussion of how abductive reasoning operates in cognitive economies, readers could consult my (2012; pp. 148–161).

  9. For a good appreciation of the ups and downs of naturalizing the investigation of reasoning, see Urbanski and Klawiter (2018; pp. 583–597; Sect. 3), “What about the cognitive turn in logic?”.

  10. Goldman (1967; pp. 357–372). Woods (2013). A summary account appears as “Logic naturalized”, in 2016. See also Magnani (2015; pp. 13–36, 2018; p. 44).

  11. See, for example, Unger (1975).

  12. See, for example, Stich (1990).

  13. As formulated here, the conditions are most naturally and accurately read as characterizing propositional or semantic knowledge. It is also adaptable to the other grades of knowing, but the present formulation will do for illustrative purposes.

  14. Harman (1986; p. 2). In Gabbay and Woods (2005b; pp. 398–417).

  15. Later I will expand this notion (with suitable adjustments) to multiagents.

  16. The philosophical literature on consciousness also produces a deluge of rivalrous opinion. Two recent volumes of note are Paglieri (2012), and Jacquette (2018). It is a matter of interest that in neither of these volumes does ignorance appear in the index. Also of interest are Bachmann (2000), Breitmayer (2014), and Aru and Bachman (2017; pp. 128–135).

  17. Further details, can be found in chapter four of Errors of Reasoning. See also Doya et al. (2011), and Hohway (2013), Zimmerman (1989; pp. 166–175), Shiffrin (1997; pp. 49–64, 1976; pp. 177–236), and Mole (to appear).

  18. See further, Wilson (2002), Wegner (2001) and Carruthers (2011).

  19. This common sense view is nicely supported in Mole’s (2008; pp. 86–104).

  20. Dretske (1981). For reservations about the treatment of belief, see Gabbay and Woods (2003; chapter 7, Sect. 7).

  21. A phase transition in physics is a reversable change in a substance from a given state (e.g. liquid) to a qualitatively different state (e.g. gas) at a specific combination of temperature and pressure. See for example, Callen (1985; chapter 9). There is a link between Aristotle’s concept of potentiality (dunamis) and the phase-transitions of modern physics. For Aristotle, dunamis is a thing’s capacity to take on a new form without losing its identity. See Metaphysics, Book 8, 1 1046a 12, 1048a 25, 27. Frege thought the same about numbers. He thought that they could take on the cross-type form of sets without losing their identities. An item’s haecceity is that in virtue of which it is its self-same thing and not another thing. A thing’s quiddity is that in virtue of which it is the very kind of thing it is. Then the phase-transition thesis has it that there are ranges of cases in which a thing’s haecceity is unmolested by change and restoration of quiddity. An excellent modern treatment of kinds is Pelletier (2010).

  22. See here Orzumi et al. (2018; pp. 1–25).

  23. Jaakko Hintikka, “Who has captured the notion of information?”, in his Socratic Epistemology, pages 189–210; p. 189.

  24. Quoting Adriaans and van Benthem (2008; p. 12). A problem pressed by the first two kinds of information is that epistemic information can’t not be true, whereas probabilistic information needn’t be true. There is, however a route from the complexity conception to the probability conception by way of the set of all prefix-free programs under provisions of Kraft’s Inequality.

  25. www.cia.gov/library/publications/the-world-fact/docs/history.

  26. Here is Godfrey-Smith’s summary of Dretske’s view of the matter: “Information, for Dretske, is found where there is contingency and correlation. Any variable in the world which has a range of possible states is a source of information. When a state of information is correlated with the state of another variable, as a consequence of physical laws, the second variable carries information about the source. For Dretske, information is a resource that organisms use to make their way through the world; cognitive systems are information consuming, or information exploiting, systems.” Godfrey-Smith (1996; pp. 236–237).

  27. Errors of Reasoning, chapter 6, Sect. 9.

  28. Hintikka wrote this in ≈ 2007. A scant 11 years later, it strikes us how understated his admonitions were.

  29. Einstein (1905; pp. 639–643).

  30. I omit the upper case on the first letter of this name to discourage the misunderstanding that the present section is an exercise in Anselmian scholarship.

  31. Kunen (2013; p. 1).

  32. For example, we may take it that dialethically inconsistent mathematics is not of the conventional kind; but what about intuitionistic mathematics?

  33. It is important to keep in mind that the four-grades thesis is itself gradualistically instantiated. It is possible for an anselmian knower of p to have known its semantic content earlier. Consider two cases. In case one, p’s semantic content reposes in stirrable memory, if only thanks to some external stirrer. In case two, there is nothing in the anselmian’s memory that is semantically retrievable. In the first case we have a faded memory of something once grasped. In the second we have amnesia, that is, savoir perdu.

  34. An essential feature of the English common law is the inexpressibility of court-created precedents. Precedents play an essential role in determining future cases; but when judges and scholars try to write them down and make them explicit, invariably they get them wrong. Further discussion can be found in chapter five on “Unwritten law” in the second edition of my (Woods 2018a).

  35. When we grasp that 2 + 2 = 4 and put it into words, what we’ve said comports with Convention T: 2 + 2 = 4 if and only if “2 + 2 = 4” is true. When this knowledge is stored below, it loses its semantic and linguistic character and therewith its capacity to oblige Convention T. But if it has occasion to resurface, it will recover the truth-value T.

  36. Similarly, if a piece of information is semantically loaded and now transitions downwards, it loses its content. However, upon transitioning back up, the old content is recovered.

  37. Ryle (1929–1930; pp. 91–126, 1945–1946; pp. 1–16, 1949). Wittgenstein (1953). Heidegger (1962). Polanyi (1958, 2009). See also Lowney II (2017). A good survey of these and Polanyi’s works can be found in Gascoigne and Thorton (2013).

  38. See, in the first instance, Armour-Garb and Woodbridge (2015; pp. 84–90), and, in the second, Moss (2018; chapter 1).

  39. Zimmerman (2018; p. 1).

  40. The idea of ignorance-preservation first arose in my “Remarks on the logical structure of abduction”, presented at the Symposium on Abduction and Creative Inference Cog Sci 2004, Chicago. It was developed further in Gabbay and Woods (2005a); chapter 3 on “The structure of abduction”. An updated treatment can be found in my (2012; pp. 148–161). For an update of that update, see my (2017; pp. 137–149). The Gabbay-Woods model is given an attractive pragmatic dynamicization in Chiffi and Pietarinen (2018).

  41. Peirce (1931–1958; volume 5; p. 189). Line numbers are mine.

  42. Peirce (1992; p. 128; CP 5.171, 7.220).

  43. CP 5.59, 6.46–6.473, 7.202–219.

  44. For a recent discussion of how Peirce’s model as extended by the Gabbay-Woods schema allows for successful abductions that aren’t inferences to the best explanation, see The Reach of Abduction, chapter 5, Magnani (2009; chapter 2), Park (2017; Sect. 4; chapter 2), and Minnameier (forthcoming).

  45. See “Reorienting the logic of abduction” for details. Good information here is A’s excellent track-record under premissory licence. See also Urbański and Klawiter, “Abduction”.

  46. Thagard (1992; p. 170).

  47. It may interest some readers that none of the works cited in this section is mentioned in the Stanford Encyclopedia of Philosophy’s entries “Abduction” and “Peirce on Abduction” (Douven 2011, 2017). The gist of the latter is that Peirce’s views on abduction have lost whatever appeal they may have had earlier on.

  48. There is another large literature which investigates the standards that qualify sayso as reliable and the manner in which recipients of sayso attempt to apply them in their own situations. There are contexts in which this is the right way in which to proceed; for example, when judges determine the admissibility of expert testimony at trial. In the general case, it is the wrong way to go. It is but a version of justificationism as applied to the reliability of testimony-induced belief. See here Lackey (2011, chapter 29) in Bernecker and Pritchard, and the works cited there. For a different slant, see Errors of Reasoning, chapter 9, and Is Legal Reasoning Irrational?, 2nd edition, chapters 8 and 15, and Woods (2018b; pp. 1205–1257).

  49. See here Lewis (1975; pp. 3–35, 1983).

  50. The formal dynamics of telling haven’t yet had much of an innings in the philosophical mainstream. Of most direct significance for epistemology is the theory of telling investigated by public announcement logics (PAL), originating with Paya’s (1989; pp. 201–216). PAL extends multiagent epistemic logic to model the communicational consequences of announcements to multiagents. Think for example of the Prime Minister’s televised speech announcing on behalf of the governments its intention to place tariffs on U. S. steel effective a week thence. Further references can be found in the note on p. 323 of Errors of Reasoning, chapter 9 on “Being told.”.

  51. Hardwig (1985; pp. 335–349).

  52. In his (1997), Peter Galison asks how it is possible for different “scientific cultures” with different disciplinary backgrounds to coordinate and produce a knowledge of particle accelerators, for example. More generally, how is multidisciplinary cognitive multiagency possible? The four insets above are part of the answer to Galison’s question.

  53. For excellent historical and analytic coverage of the actual workings of what I’ve been calling mathematical multiagencies, see Ferreirós (2016).

  54. I’ve drawn here on Sect. 9.7 of Errors of Reasoning, pp. 318–320. In writing those pages I was told the Fermat part by Cornell et al. (1997), and Singh (1998). Now, for those of you who hadn’t been told it before, I am happy to be the teller. It enrolls you and me in multiagent sayso-manifold ensuing from mathematical antiquity.

  55. Kanamori (2013; pp. 21–35). Angus MacIntyre has claimed that the central Modularity Thesis in Wiles’ proof is provable in Peano arithmetic, prompting Kanamori to suggest that, if so, “there could be a new proof of the Fermat Last Theorem in Peano Arithmetic, possibly by passing through further analysis to Modularity Thesis”. (p. 32). See also MacIntyre (2011; especially the appendix to chapter 1), “The impact of Gödel’s incompleteness theorems on mathematics.” But as Ferreirós notes, “… such convictions are not mathematical facts; we are facing beliefs”, Mathematical Knowledge, p. 183.

  56. Let q(abc) be the quality of the triple (abc), defined as logc/log (rad (abc)). The radical rad (n) of a positive integer n is the product of n’s distinct prime factors. The abc conjecture puts it that, for every real number ε, there exist only finitely many triples (abc) of coprime positive integers with a+b = c such that q(abc) > 1 + ε.

  57. Castelvecchi (2015).

  58. Klarreich (2018).

  59. Graham Priest gave much the same advice to metaphysicians who have difficulty bending their minds to objects of which it is the case that nothing whatever is they. Dissenters, he proposed, should “get their understanding rewired.” Priest (2016).

  60. For an informal overview, see Weinberger https://www.wired.com/story/neverunderstand/.

  61. Again because space is stretched, I’ll briefly come back to what I take to be a fatally mistaken epistemological course. It is the course of postulating the ideal rational agent and defining it as a being which revises its belief in strict accordance with the rules of the probability calculus, which its endorsers invest with a normative authority that binds the belief-revisions of human life. One such rule is that a rational believer will close his beliefs under consequence. There being at least ω of them, there is no finite degree to which any human reasoner approximates to that standard. Another example is from Harman (1986). Suppose that you are head of a CID investigation of a serious crime. As of now, the evidence supports the judgement that Spike McGurk is a shade away from being charged with the crime. It is now early tomorrow morning. Twenty items of new evidence have been logged overnight. For that to have happened in accordance with the Bayesian belief-update rules, ≈ one million calculations would have to have been made. Had 30 bits of new evidence arrived overnight, ≈ a billion calculations would have been required for update. The very idea that these rules doom you and your team to irrationality is as amusing as it is bemusing. In matters of cognition, as in all things, it is always a good idea to watch out with whom we plan to do business.

References

  • Adriaans, P., & van Benthem, J. (Eds.). (2008). Philosophy of information, a volume of the Handbook of the philosophy of science, edited by Dov Gabbay, Paul Thagard and John Woods. Amsterdam: North-Holland.

  • Arfini, S. (2019). Ignorant cognition: A philosophical investigation of the cognitive features of not-knowing. Cham: Springer.

    Book  Google Scholar 

  • Arfini, S., Bertolotti, T., & Magnani, L. (2018). The diffusion of ignorance in online communities. The International Journal of Technoethics, 9, 37–50.

    Article  Google Scholar 

  • Arfini, S., & Magnani, L. (2016). Cognitive autoimmunity: Knowledge, ignorance and self-deception. Logic Journal of IGPL, 24, 612–627.

    Article  Google Scholar 

  • Aristotle. (1984). The complete works of aristotle. In J. Barnes (Ed.), The Revised English Translation, two volumes. Princeton: Princeton University Press.

  • Armour-Garb, B., & Woodbridge, J. A. (2015). Pretense and pathology: Philosophical fictionalism and its applications. Cambridge: Cambridge University Press.

    Book  Google Scholar 

  • Aru, J., & Bachman, T. (2017). In and out of consciousness: How does conscious processing (d)evolve over time? Frontiers in Psychology, 8, 128–135.

    Article  Google Scholar 

  • Bachmann, T. (2000). Microgenetic approach to the conscious mind. Amsterdam: John Benjamins.

    Book  Google Scholar 

  • Bernecker, S., & Pritchard, D. (2013). The Routledge companion to epistemology. London: Routledge.

    Google Scholar 

  • Blackburn, S. (2005). Oxford dictionary of philosophy (2nd ed.). Oxford: Oxford University Press.

    Google Scholar 

  • Breitmayer, B. G. (2014). The visual(un)conscious and its discontents. New York: Oxford University Press.

    Google Scholar 

  • Callen, H. B. (1985). Thermodynamics and an introduduction to thermostatistics (2nd ed.). New York: Wiley.

    Google Scholar 

  • Carruthers, P. (2011). The opacity of mind: An integrative theory of self-knowledge. Oxford: Oxford University Press; paperback in 2013.

  • Castelvecchi, D. (2015). The biggest mystery in mathematics: Sinichi Mochizuki and the impenetrable proof. Nature News, 526, 178–181.

    Article  Google Scholar 

  • Chiffi, D., & Pietarinen, A.-V. (2018). Abductive inference within a pragmatic framework. Synthese, 10, 15. https://doi.org/10.1007/s11229-018-1824-6.

    Article  Google Scholar 

  • Cornell, G., Silverman, J. H., & Stevens, G. (Eds.). (1997). Modular forms and Fermat’s Last Theorem. New York: Springer.

    Google Scholar 

  • Douven, I. (2011, 2017). “Abduction” and “Peirce on abduction”. In E. N. Zalta (Ed.), Stanford encyclopedia of philosophy. Substantive revision Fri April 28, 2017.

  • Doya, K., Iski, S., Pouget, A., & Rao, R. P. N. (Eds.). (2011). Bayesian brain: Probabilistic approaches to neural coding. Cambridge, MA: MIT Press.

    Google Scholar 

  • Dretske, F. (1981). Knowledge and the flow of information. Cambridge, MA: MIT Press.

    Google Scholar 

  • Einstein, A. (1905). Ist die Träged eines Körpers von Seinem Energieinhalt ahbankängig? Annalen der Physik, 18, 639–643.

    Article  Google Scholar 

  • Ferreirós, J. (2016). Mathematical knowledge and the interplay of practices. Princeton: Princeton University Press.

    Book  Google Scholar 

  • Gabbay, D. M., & Woods, J. (2003). Agenda relevance: A study in formal pragmatics, volume 1 of their A practical knowledge of cognitive systems. Amsterdam: North-Holland.

  • Gabbay, D. M., & Woods, J. (2005a). The reach of abduction: Insight and trial, volume 2 of their A practical logic of cognitive systems. Amsterdam: North-Holland.

  • Gabbay, D. M., & Woods, J. (2005b). Filtration structures and the cut-down problem for abduction”. In K. A. Peacock & A. D. Irvine (Eds.), Mistakes of reason (pp. 398–417). Toronto: University of Toronto Press.

    Google Scholar 

  • Galison, P. (1997). Image and logic: A material culture for microphysics. Chicago: University of Chicago Press.

    Google Scholar 

  • Gascoigne, N., & Thorton, T. (2013). Tacit knowledge. Durham: Acumen.

    Google Scholar 

  • Godfrey-Smith, P. (1996). Complexity and function of mind in nature. Cambridge: Cambridge University Press.

    Book  Google Scholar 

  • Goldman, A. I. (1967). A causal theory of knowing. Journal of Philosophy, 64, 357–372.

    Article  Google Scholar 

  • Goldman, A. I., & Whitcomb, D. (Eds.). (2001). Social epistemology: Essential essays. New York: Oxford University Press.

    Google Scholar 

  • Hardwig, J. (1985). Epistemic dependence. Journal of Philosophy, 82, 335–349.

    Article  Google Scholar 

  • Harman, G. (1986). Change in view: Principles of reasoning. Cambridge, MA: MIT Press.

    Google Scholar 

  • Heidegger, M. (1962). Being and time. Oxford: Blackwell.

    Google Scholar 

  • Hintikka, J. (2007). Socratic epistemology: Explorations of knowledge-seeking by questioning. Cambridge: Cambridge University Press.

    Book  Google Scholar 

  • Hohway, J. (2013). The predictive mind. Oxford: Oxford University Press.

    Book  Google Scholar 

  • Honderich, T. (Ed.). (2005). The Oxford companion to philosophy, new edition. New York: Oxford University Press.

    Google Scholar 

  • Jacquette, D. (2018). Cracking the hard problem of consciousness. In D. Jacquette (Ed.), The Bloomsbury companion to the philosophy of consciousness (pp. 258–286). London: Bloomsbury.

    Chapter  Google Scholar 

  • Kanamori, A. (2013). Mathematical knowledge: Motley and complexity of proof. Annals of the Japan Association for Philosophy of Science, 21, 21–35.

    Article  Google Scholar 

  • Kitcher, P. (1983). Abusing science, the case against creationism. Cambridge, MA: MIT Press.

    Book  Google Scholar 

  • Klarreich, E. (2018). Titans of mathematics clash over epic proof of abc conjecture. Quanta Magazine. https://www.quantamagazine.org/titans-of-mathematics-clash-over-epic-proof-of-abc-conjecture-20180920/#.

  • Kunen, K. (2013). Set theory, volume 34 of Studies in logic. London: College Publications.

  • Lackey, J. (2011). Chapter 29: Testimonial knowledge. In S. Bernecker & D. H. Pritchard (Eds.), The Routledge companion to epistemology. London: Routledge.

    Google Scholar 

  • Lewis, D. (1975). Languages and language. In K. Gunderson (Ed.), Minnesota studies in the philosophy of science VII (pp. 3–35). Minneapolis: University of Minnesota Press; reprinted in Lewis.

  • Lewis, D. (1983). Philosophical papers (Vol. 1). New York: Oxford University Press.

    Google Scholar 

  • Lowney, C. W., II (Ed.). (2017). Charles Taylor, Michael Polanyi and the critique of modernity: Pluralist and emergentist directions. London: Palgrave Macmillan.

    Google Scholar 

  • MacIntyre, A. (2011). Kurt Gödel and the foundations of mathematics: Horizons of truth. Cambridge: Cambridge University Press.

    Google Scholar 

  • Magnani, L. (2009). Abductive cognition: The epistemological and eco-cognitive dimensions of hypothetical reasoning. Berlin: Springer.

    Book  Google Scholar 

  • Magnani, L. (2015). Naturalizing logic and errors of reasoning vindicated: Logic reapproaches cognitive science. Journal of Applied Logic, 13, 13–36.

    Article  Google Scholar 

  • Magnani, L. (2018). The urgent need of a naturalized logic. In G. Dodig-Crmkovic & M. J. Schroeder (Eds.), Contemporary Natural Philosophy and Philosophies, a special guest-edited number of Philosophies (Vol. 3, p. 44).

  • Minnameier, G. (forthcoming). The economics of morality and the fabric of social sciences. Economic Perspectives.

  • Mole, C. (to appear). The creativity of generative adversarial networks. Philosophy of Science.

  • Mole, C. (2008). Attention and consciousness. Consciousness Studies, 15, 86–104.

    Google Scholar 

  • Moss, S. (2018). Probabilistic knowledge. New York: Oxford University Press.

    Book  Google Scholar 

  • Orzumi, M., Albantakis, C., & Tononi, G. (2018). From phenomenology to the mechanisms of consciousness: Integrated information theory 3.0. PLoS Computational Biology, 10, 1–25.

    Google Scholar 

  • Paglieri, F. (Ed.). (2012). The role of the natural and social context in shaping consciousness, volume 86 of Advances in Consciousness Research. Amsterdam: John Benjamins.

  • Park, W. (2017). Abduction in context: The conjectural dynamics of scientific reasoning. Cham: Springer.

    Book  Google Scholar 

  • Paya, J. (1989). Logics of public communications. In M. L. Emrich, M. Hadzikadic & Z. W. Ros (Eds.), Proceedings of the fourth international symposium on methodologies for intelligent systems (pp. 201–216). Amsterdam: North-Holland.

  • Peirce, C. S. (1931–1958). Collected works, in eight volumes. Cambridge, MA: Harvard University Press.

  • Peirce, C. S. (1992). Reasoning and the logic of things. In K. L. Kettner (Ed.), The Cambridge conference lectures of 1898 (RLT). Cambridge, MA: Harvard University Press.

  • Pelletier, F. J. (Ed.). (2010). Kinds, things and stuff. New York: Oxford University Press.

    Google Scholar 

  • Polanyi, M. (1958). Personal knowledge. Chicago: University of Chicago Press.

    Google Scholar 

  • Polanyi, M. (2009). The Tacit Dimension, with a Foreword by Armatya Sen. Chicago: University of Chicago Press.

    Google Scholar 

  • Priest, G. (2016). Towards non-being (2nd ed.). Oxford: Oxford University Press; first edition in 2005.

  • Rescher, N. (2007). Error: Our predicament when things go wrong. Pittsburgh: University of Pittsburgh Press.

    Google Scholar 

  • Rescher, N. (2009). Ignorance: On the wider implications of deficit knowledge. Pittsburgh: University of Pittsburgh Press.

    Book  Google Scholar 

  • Ryle, G. (1929–1930). Are there propositions?. Proceedings of the Aristotelian Society, 30, 91–126.

  • Ryle, G. (1945–1946). Knowing how and knowing that. Proceedings of the Aristotelian Society, 46, 1–16.

  • Ryle, G. (1949). The concept of mind. London: Hutchinson.

    Google Scholar 

  • Shiffrin, R. M. (1976). Capacity limitations in information processing, attention, and memory. In W. K. Estes (Ed.), Handbook of learning and cognitive processes: Attention and memory (Vol. 4, pp. 177–236). Hillsdale, NJ: Erlbaum.

    Google Scholar 

  • Shiffrin, R. M. (1997). Automatism and consciousness. In J. D. Cohen & J. W. Schooler (Eds.), Scientific approaches to consciousness (pp. 49–64). Mahwah, NJ: Erlbaum.

    Google Scholar 

  • Singh, S. (1998). Fermat’s Enigma. New York: Anchor.

    Google Scholar 

  • Stich, S. P. (1990). The fragmentation of reason. Cambridge, MA: MIT Press.

    Google Scholar 

  • Thagard, P. (1992). Conceptual revolutions. Princeton: Princeton University Press.

    Book  Google Scholar 

  • Unger, P. (1975). Ignorance: A case for scepticism. Oxford: Clarendon Press, paperback in 2002.

  • Urbański, M., & Klawiter, A. (2018). Abduction: Some conceptual issues. Logic and Logical Philosophy, 27, 583–597.

    Article  Google Scholar 

  • Wegner, D. (2001). The illusion of conscious will. Cambridge, MA: MIT Press.

    Google Scholar 

  • Weinberger, D. (2017). Our machines now have knowledge we’ll never understand, Bachchannel, April 18, 2017. https://www.wired.com/story/neverunderstand/.

  • Wiles, A. (1995). Modular elliptic curves and Fermat’s Last Theorem. Annals of Mathematics, 141, 443–551.

    Article  Google Scholar 

  • Wilson, T. (2002). Strangers to ourselves. Cambridge, MA: Harvard University Press.

    Google Scholar 

  • Wittgenstein, L. (1953). Philosophical investigations. Oxford: Blackwell.

    Google Scholar 

  • Woods, J. (2012). Cognitive economics and the logic of abduction. Review of Symbolic Logic, 5, 148–161.

    Article  Google Scholar 

  • Woods, J. (2013). Errors of reasoning: Naturalizing the logic of inference volume 45 of Studies in logic. London: College Publications; reprinted with corrections in 2014.

  • Woods, J. (2017). Reorienting the logic of abduction. In L. Magnani & T. Bertolotti (Eds.), Springer handbook of model-based science (pp. 137–149). Heidelberg: Springer.

    Chapter  Google Scholar 

  • Woods, J. (2018a). Is legal reasoning irrational? volume 2 of Law and society (2nd ed.), revised and extended. London: College Publications; first edition in 2015.

  • Woods, J. (2018b). What strategicians might learn from the common law: Implicit and tacit understanding of the unwritten. IfCoLoG Journal of Logics and Their Applications, 5, 1205–1257.

    Google Scholar 

  • Zimmerman, M. (1989). The nervous system and the context of information theory. In R. F. Schmidt & G. Thurs (Eds.), Human physiology (2nd ed., pp. 166–175). Berlin: Springer.

    Chapter  Google Scholar 

  • Zimmerman, A. Z. (2018). Belief: A pragmatic picture. New York: Oxford University Press.

    Book  Google Scholar 

Download references

Acknowledgements

For sagacious advice and constructive encouragement I warmly thank the two editors of this special number, Lorenzo Magnani and Selene Arfini. I also thank my UBC colleague Alirio Rosales for many generous hours of fruitful instruction and productive criticism. Thanks, too, to Mike Bennett of the UBC mathematics department for welcome instruction on how the Mochizuki proof is structured. For their constructive suggestions, I also thank this journal’s two referees.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to John Woods.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Woods, J. Four grades of ignorance-involvement and how they nourish the cognitive economy. Synthese 198, 3339–3368 (2021). https://doi.org/10.1007/s11229-019-02283-w

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-019-02283-w

Keywords

Navigation