Hans-Hermann Hoppelight of <strong>the</strong> recognition of praxeological constraints on <strong>the</strong>structure of knowledge <strong>the</strong>se various rationalist endeavorsbecome systematically integrated into one, unified body ofrationalist philosophy;In explicitly underst<strong>and</strong>ing knowledge as displayed inargumentation as a peculiar category of action, it becomesclear immediately why <strong>the</strong> perennial rationalist claim that<strong>the</strong> laws oflogic-beginning here with <strong>the</strong> most fundamentalones, i.e., ofpropositional logic <strong>and</strong> ofJunctors ("<strong>and</strong>," "or,""if-<strong>the</strong>n," "not") <strong>and</strong> Quantors ("<strong>the</strong>re is," "all," "some")-area priori true propositions about reality <strong>and</strong> not mere verbalstipulations regarding <strong>the</strong> transformation rules of arbitrarilychosen signs, as empiricist-formalists would have it, is indeedcorrect. They are as much laws of thinking as of reality;because <strong>the</strong>y are laws that have <strong>the</strong>ir ultimate foundation inaction <strong>and</strong> could not be undone by any actor. Ineach <strong>and</strong> everyaction, an actor identifies some specific situation <strong>and</strong> categorizesit one way ra<strong>the</strong>r than ano<strong>the</strong>r in order to be able to makea choice. It is this which ultimately explains <strong>the</strong> structure ofeven <strong>the</strong> most elementary propositions (like "Socrates is aman") consisting ofa proper name or some identifying expressionfor <strong>the</strong> naming or identifying ofsomething, <strong>and</strong> a predicateto assert or deny some specific property of <strong>the</strong> named oridentified object; <strong>and</strong> which explains <strong>the</strong> cornerstones oflogic:<strong>the</strong> laws of identity <strong>and</strong> contradiction. And it is this universalfeature of action <strong>and</strong> choosing which also explains our underst<strong>and</strong>ingof <strong>the</strong> categories "<strong>the</strong>re is," "all" <strong>and</strong>, by implication,"some," as well as "<strong>and</strong>," "or," "if.<strong>the</strong>n" <strong>and</strong> "not."S8 One can say,580n rationalist interpretations of logic see Blanshard, Reason <strong>and</strong> Analysis,chapters 6, 10; P. Lorenzen, Einfuhrung in die operative Logik und Ma<strong>the</strong>matik(Frankfun/M.: Akademische Verlagsgesellschaft, 1970); K. Lorenz, Elemente derSprachkritik (Frankfurt/M.: Suhrkamp, 1970); idem, "Diedialogische Rechtfertigungder effektiven Logik," in: E Kambartel <strong>and</strong> ]. Mittelstrass, eds., Zum normativenFundament der Wissenschaft (Frankfurt/M.: A<strong>the</strong>naum, 1973).The Ludwig von Mises Institute • 71
<strong>Economic</strong> <strong>Science</strong> <strong>and</strong> <strong>the</strong> <strong>Austrian</strong> <strong>Method</strong>ofcourse, that something can be "a" <strong>and</strong> "non-a" at <strong>the</strong> sametime, or that "<strong>and</strong>" means this ra<strong>the</strong>r than something else. Butone cannot undo <strong>the</strong> law of contradiction; <strong>and</strong> one cannotundo <strong>the</strong> real definition of "<strong>and</strong>." For simply by virtue ofacting with a physical body in physical space we invariablyaffirm <strong>the</strong> law of contradiction <strong>and</strong> invariably display ourtrue constructive knowledge of <strong>the</strong> meaning of "<strong>and</strong>" <strong>and</strong>"or."Similarly; <strong>the</strong> ultimate reason for arithmetic's being ana priori <strong>and</strong> yet empirical discipline, as rationalists haveOn <strong>the</strong> propositional character oflanguage <strong>and</strong> experience, in particular, seeW KamIah <strong>and</strong> P. Lorenzen, Logische Propiideutik, chapter 1; P. Lorenzen, NormativeLogic <strong>and</strong> Ethics, chapter 1. Lorenzen writes: "I call a usage a convention if Iknow ofano<strong>the</strong>r usage which 1 could accept instead.·... However, I do not knowofano<strong>the</strong>r behavior which could replace <strong>the</strong> use ofelementary sentences. IfI didnot accept proper names <strong>and</strong> predicators, I would not know how to speak at all.. . . Each proper name is a convention ... but to use proper names at all is nota convention: it is a unique pattern oflinguistic behavior. Therefore, I am goingto call it 'logical'. The same is true with predicators. Each predicator is aconvention. This is shown by <strong>the</strong> existence of more than one natural language.But all languages use predicators" (ibid., p. 16). See also J. Mittelstrass, "DieWiederkehr des Gleichen," Ratio (1966).On <strong>the</strong> law of identity <strong>and</strong> contradiction, in particular, see B. Blanshard,Reason <strong>and</strong> Analysis, pp. 276ff, 423ff.On a critical evaluation of 3- or more-valued logics as ei<strong>the</strong>r meaninglesssymbolic formalisms or as logically presupposing an underst<strong>and</strong>ing of <strong>the</strong> traditionaltwo-valued logic see W Stegmiiller, HauptstrOmungen der Gegenwartsphilosophievol. 2 (Stuttgart: Kroner, 1975), pp. 182-91; B. Blanshard, Reason <strong>and</strong> Analysis,pp. 269-75. Regarding, for instance, <strong>the</strong> many-valued or open-textured logic,proposed by E Waismann, Blanshard notes: "We can only agree with Dr. Waismann-<strong>and</strong>with Hegel-that <strong>the</strong> black-<strong>and</strong>-white distinctions offormal logic arequite inadequate to living thought. But why should one say, as Dr.Waismann does,that in adopting a more differentiated logic one is adopting an alternative systemwhich is incompatible with black-<strong>and</strong>-white logic? What he has actually done isto recognize a number of gradations within <strong>the</strong> older meaning of<strong>the</strong> word 'not'.We do not doubt that such gradations are <strong>the</strong>re, <strong>and</strong> indeed as many more as hecares to distinguish. But a refinement of<strong>the</strong> older logic is not an ab<strong>and</strong>onment ofit. It is still true that <strong>the</strong> colour I saw yesterday was ei<strong>the</strong>r a determinate shade ofyellow or not, even though <strong>the</strong> 'not' may cover a multitude of approximations,<strong>and</strong> even though I shall never know which was <strong>the</strong> shade I saw" (ibid., pp.273-74).72 • The Ludwig von Mises Institute