I think this is crux of the matter. It would be impossible for Praxeology and AE to stand up to mathematical rigor. It is by it’s nature more comparable to scientific theory where a logical flow or chain would represent a model or structure. The model in and of itself is not proof, but observations and data that support the conclusions posited by the framework lend credence to its veracity until overwhelming evidence compel’s people to logically accept it as “fact”.
Remember that it will not be calculated values, but compared values.
I think that some models or a “sign language” could be designed to illustrate praxeology, valuation and Austrian Economic themes in general. I would like to cooperate in something like that.
Can you list the propositions that require intuition? All I can think of are the “subsidiary axioms”: labor is a disutility, there exists a variety of human and natural resources, a monetary economy has indirect exchange, and firms aim at maximizing monetary profits.
It seems to me the OP is correct. Praxeology is a body of chains of reasoning deduced from axioms, and hence can be expressed formally, i.e. numbering the statements and putting them in a logical order (premises before conclusion). I suppose the chains of reasoning could also be expressed in symbolic logic, but I’m not sure it would be useful. As Rothbard points out, this would violate Occam’s Razor.
Exactly. Debating would be much more efficient if arguments were presented in standard form.
Please use the search function. This has been asked a dozen times or so. Deductive reasoning is a form of logical reasoning, that’s all. What you’re asking is for formalisation. Why hasn’t this been done? My guess it’s a lot of work. So, if you or anyone else wishes to see this happen, try and make it so. Austrian econ is *axiomatic-*deductive.
The same is true of logical deduction, of which mathematical deduction is arguably a subset (though this has been disputed.) The problem with calling Austrian econ deductive is that it omits most of what is going on and differentiates it from sciences using the hypothetico-deductive methodology. Deduction is purely inference from premises to a conclusion (Austrian econ differs wrt to the epistemological character of its postulates to “positive” economics; both are “deductive” though.)
Rothbard’s Man, Economy, and State deductively proves much of Austrian theory in informal language.
OK, most of these threads should disappear if you use the search function I guess.
I would think that, 50 years or so after the major texts were written, to say it’s a lot of work is hardly satisfactory. It must be quite unclear what the actual propositions are, and what are the deductive arguments that support them.
No, it really is a lot of work and the benefit from it is dubious (does little to nothing to advance the science to laymen, and it distracts from issues like monetary economics). (Logical) formalisation is by no means simple and is highly prone to the ambiguities that occasion in natural language. Unless you’re highly trained in formal logic, translating a text like HA is a huge task. I think Ludwig van den Hauwe is interested in doing it though (and I know of a couple of Austrians who are as well, I can ask them for contact details if you wish to get in touch.) Austrians are very clear on their arguments and what supports them (Hoppe summarises some of the key ones in his works, look up Geoffrey Plauche’s paper on Aristotelianism and apriorism for references); the issue is more how to formalise them, which requires training and experience in formal logic, i.e. how to translate them into formal language, which is wherein the difficulty usually lies. Very few major Austrians are trained in formal logic to my knowledge (their training is usually in Economics, which includes no such component), and the skill required to translate a book like HA is not something you can acquire just by doing it as a hobby; even Philosophy graduates only get a synoptic understanding of it unless they choose to specialise.
The point is that it is not so. The formal epxression he wants therefore was not done because it cannot be done.
Yet it is so… but good luck parsing its first principles into formal logic without the requisite knowledge or time/effort.
What book would you recommend to learn formal logic?
I’d recommend signing up for a college-level course in it. It’s not something you can teach yourself easily. David Kelley’s The Art of Reasoning is good though.
It is interesting you brought up van den Hauwe doing this formalization. I said the same thing he argued in this discussion. See especially the latter pages.
I mentioned him because he’s one of the few people I know of interested in doing it, regardless of his epistemological predilections.
That’s funny. I saw a John Stossel documentary last night with David Kelley in it. He’s an objectivist (not that there’s anything wrong that).
He’s an Objectivist but in a qualified sense, namely because he departs from the Peikovian orthodoxy on whether Objectivism is a closed system (he maintains it isn’t and is amenable to development.) He’s a very good philosopher, far better than Peikoff IMO. If you do decide to sign up on a logic course, just ask beforehand whether the book is suitable for use with it; some courses use different systems/symbology, and thus it may not be useful in those cases (in which case I’d retain it for private study.)
I just started reading Morris Cohen’s “An Introduction to Logic”, and have found it quite good so far.
Jon,
You should read his book on the welfare state’s rise. It’s quite a good read both from a historical and analytical perspective.