Abstract
Popper emphasised both the problem-solving nature of human knowledge, and the need to criticise a scientific theory as strongly as possible. These aims seem to contradict each other, in that the former stresses the problems that motivate scientific theories while the one ignores the character of the problems that led to the formation of the theories against which the criticism is directed. A resolution is proposed in which problems as such are taken as prime in the search for knowledge, and subject to discussion. This approach is then applied to the problem of induction. Popper set great stake to his solution of it, but others doubted its legitimacy, in ways that are clarified by changing the form of the induction problem itself. That change draws upon logic, which is the subject of another application: namely, in contrast to Popper’s adhesion to classical logic as the only welcome form (because of the maximal strength of criticism that it dispenses), can other logics be used without abandoning his philosophy of criticism?
Similar content being viewed by others
Notes
Popper stated his position on these four features, and others, in various places; in this essay I shall cite from him either the main source, or an easily available representative one.
Unfortunately I have not been able to identify a source for the quotation in Mac Lane, and I never asked him about it. But it fits in with his contributions, especially to category theory; and in any case it stands on its own.
It has been suggested to me that the principle of the continuity of nature be construed as part of the meta-level description of the test. I see no advantage here; at least as Popper and his critics discuss it, it is an object-level assertion about the physical environment in which the test is being conducted.
Neither do scientists seem to have much skill in classical logic. In particular because of its special relevance to Popper’s philosophy of refutation, their ability to spot the modus tollens rule of inference is very limited (Kern et al. 1983)!
Popper often used the word ‘logic’ in its other sense, concerning the logic of a situation, most prominently in his book ‘The logic of scientific discovery’ (Popper 1959); I do not consider this sense in this essay.
The notion of corroboration itself will need to be modified for the chosen logic. So will verisimilitude, which in Popper’s form using classical logic faces well-known difficulties (see, for example, (Andersson 1978)).
Fuzzy logic, an offshoot of fuzzy set theory, has gained much attention among various communities but not much from logicians. The logic is formulated from these sets as a valuation function onto [0,1], deploying structure similarity such as associating minimisation of truth-values with conjunction and universal quantification and maximisation with disjunction and existential quantification, after the manner of a de Morgan algebra. Classical logic comes out as the ‘crisp’ case where the only values are 0 and 1—or [0,0] and [1,1] in my preferred version of the theory, where the range of the function takes sub-intervals of [0, 1] rather than numbers within it, and where the metalogic is also fuzzy (Grattan-Guinness 1979).
Whether one grants the valuation function the status of a logic is, as mentioned, a matter of convention. But I do not find Haack’s reservations over fuzzy logic (1996, 232–242) very convincing. The purpose of fuzzy logic is not so much to study vague arguments (pp. 229, 233) as to develop arguments using vague predicates and relations (such as ‘healthy’ and ‘the prettiest among’) that are handled in fuzzy set theory. (Dubois and Prade 1980) contains an early survey of the range of applications.
The theory has complications, but they show that even other many-valued logics are too simple, or else not sufficiently relevant to the applications. So the claims of simplicity made by some fuzzy logicians are indeed not happy, especially (for example) regarding linguistics; nor are some of the permitted qualifiers of truth. In general, the literature in fuzzy set theory and logic exhibits an unwelcome quantity of philosophical fuzziness!
For a review of the main positions on these topics, and on the psychology of reasoning see, for example, (Hanna 2006, chs. 4–5). Part of my motive for focussing upon the psychological sciences is a reservation about the practise of most philosophies of science, Popper’s included: an excessive emphasis on the physical sciences.
Darrigol (2005) surveys several parts of their histories, though without focussing much on testing. There must be many comparably complicated testing situations in technology, the life sciences and medicine, but they lie outside my specialist knowledge.
For example, Wittgensteinians explicitly reject or avoid hierarchies and prefer the showing-saying distinction.
Mathematics has long formed another part of this hope for certainty, although it has always stood a long way apart from logic, and still usually does: mathematicians’ logic ≠ logicians’ logic (Grattan-Guinness 2000)! I discussed this curious situation several times with Popper, who was very intrigued by it.
Bibliography
Andersson G (1978) The problem of verisimilitude. In: Radnitzky G, Andersson G (eds) Progress and rationality in science. Reidel, Dordrecht, pp 291–310
Bartley WW (1964) The retreat to commitment. Chatto and Windus, London
Bartley WW (1980) On the criticizability of logic. Philosophy of the social sciences 10:67–77
Beall JL, Restall G (2005) Logical pluralism. Oxford University Press, Oxford
Carnap R (1934) Logische Syntax der Sprache. Springer, Vienna. [English trans. 1937.]
Darrigol O (2005) Worlds of flow. A history of hydrodynamics from the Bernoullis to Prandtl. Oxford University Press, Oxford
Dilworth C (1994) Scientific progress. Kluwer, Dordrecht
Dubois D, Prade H (1980) Fuzzy sets and systems: theory and applications. Academic Press, New York
Gabbay DM, Woods J (eds) (2006) Logic and the modalities in the twentieth century. Elsevier, Amsterdam
Gochet P and Gribomont P (2006) ‘Epistemic logic’, in [Gabbay and Woods 2006], 197–298
Grattan-Guinness I (1979) Forays into the meta-theory of fuzzy set theory. Logique et analyse 22:321–337
Grattan-Guinness I (1984) On Popper’s use of Tarski’s theory of truth. Philosophia 14:129–135
Grattan-Guinness I (2000) Mathematics and symbolic logics: some notes on an uneasy relationship. History and philosophy of logic 20(1999: publ. 2000):159–167
Grattan-Guinness I (2004) Karl Popper and the “problem of induction”: a fresh look at the logic of testing theories. Erkenntnis 60:109–122
Haack S (1996) Deviant logic, fuzzy logic. Beyond the formalism. The University of Chicago Press, Chicago and London. [1st ed. 1974.]
Hanna R (2006) Rationality and logic. The MIT Press, Cambridge, Mass
Kern LH, Mirels HL, Hinshaw VG (1983) Scientists’ understanding of propositional logic; an experimental investigation. Social studies of science 13:131–146
McNamara P (2006) ‘Deontic logic’, in [Gabbay and Woods 2006], 198–288
Miller DW (2002) Induction: a problem solved. In: Bohm JM, Holweg H, Hoock C (eds) Karl Poppers kritischer Rationalismus heute. Mohr/Siebeck, Tübingen, pp. 81–106. Also in Miller, Out of error, Aldershot (Ashgate), 2006, 111–132
Popper KR (1959) The logic of scientific discovery. Hutchinson, London. [German original dated 1935.]
Popper KR (1963) Conjectures and refutations. Routledge and Kegan Paul, London
Popper KR (1972) Objective knowledge. Clarendon Press, Oxford
Popper KR (1982a) The open universe. An argument for indeterminism. Hutchinson, London
Popper KR (1982b) Quantum theory and the schism in physics. Hutchinson, London
Øhrstrøm P and Hasle PFV (2006) ‘A.N. Prior’s logic’ and ‘Modern temporal logic: the philosophical background’, in [Gabbay and Woods 2006], 399–446, 447–498
Quine WVO (1951) Two dogmas of empiricism. Philosophical review 20:20–43. [Various reprs.]
Quine WVO (1986) Philosophy of logic, 2nd edn. Prentice Hall, Englewood Cliffs
Read J, others (eds) (2004) Models of madness. Brunner-Routledge, London
Rescher N (1969) Many-valued logic. McGraw Hill, New York
Restall G (2006) “Relevant and substructural logics’. in [Gabbay and Woods 2006], 289–398
Scarre G (1989) Logic and reality in the philosophy of John Stuart Mill. Kluwer, Dordrecht
Schroeder-Heister P (1984) Popper’s theory of deductive inference and the concept of a logical constant. History and philosophy of logic 5:79–110
Tarski A (1944) The semantic conception of truth and the foundations of semantics. Philosophy and phenomenological research 4:341–375 [cited here: repr. in Collected papers, vol. 2, Basel (Birkhäuser), 1986, 661–699]
van Bentham J and others (eds) (2006) The age of alternative logics. Assessing philosophy of logic and mathematics today. Springer, Dordrecht
Wisniewski A (1995) The posing of questions. Logical foundations of erotetic influences. Kluwer, Dordrecht
Worrall, J (1989) Why both Popper and Watkins fail to solve the problem of induction. In: d’Agostino F, Jarvie IC (eds) Freedom and rationality. Kluwer, Dordrecht, pp 257–296
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Grattan-Guinness, I. Levels of Criticism: Handling Popperian Problems in a Popperian Way. Axiomathes 18, 37–48 (2008). https://doi.org/10.1007/s10516-007-9017-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10516-007-9017-9