I have revised and added some links to this since I first posted it.
What do you mean by “legally tautological”?
Any theory of justice (not fiat) has a ban on aggression. Aggression is by definition not permitted under justice, even if the system allows for exceptions to punishment (makes aggression non-actionable in some cases) it is nonetheless verboten by being aggression. The question is: what counts as aggression? Now, our answer would be ‘violation of property’; but here the question becomes ‘what counts as a violation of property?’ You can only answer this by developing customary are contractual norms on what people consider a violation, and a large part of this will be whether or not it pays to sue the company which bonds you (inaccurately called ‘legal’ or ‘criminal’ insurance) for the damages which can be found for it. Thus, people would not sue for shining a flashlight on their door unless it can be proven that a flashlight causes serious damages; otherwise it would be in their interest to just ignore the matter, or bitch you out about it.
“Finders, keepers” is all well and good, but the issue there is with what constitutes “finding”. Likewise with “first come, first serve” – what constitutes “coming” there?
Whatever suits the people involved. It’s really none of my business how two Frenchmen decide what counts as appropriation, or what norms some legal company or another adopt as standard policy. As long as everyone involved agrees to be bound by the arbitration results, who cares?
Yet people don’t have to come to agreements which make logical sense, do they?
Then it’s not law. People don’t have to make arguments; but they’re not arguing. So?
Simply saying that law is whatever people agree to takes logic out of the picture, doesn’t it?
No, it doesn’t, for the above reasons and for the simple concept of voluntarism: if everyone involved agrees, mind your own business. Procedural norms can be established deductively (asking a person to prove that there is no reason he should be prevented from doing something is a logical impossibility, ergo the presumption of innocence). Substantive matters - metrics and norms of practice - are ultimately a matter of whatever people involved recognize and accept, there is no alternative possible: either some company they contract or bond to sets norms or people just accept norms that are used. It used to be in the West that they’d shave the bark off of trees to show their bounds; when there is a lot of land this is all you need. When there is less free land or the land is more valuable and thus more likely to be hotly disputed they develop more precise norms. But there is no way to decide, it depends on what people are familiar and comfortable with.
Are you equating “universal” with “arbitrary” there?
What is your universal reasoning on how many seats there should be in a car? There is none - it’s arbitrary’.
“All we need to do is understand what it means to appropriate property […]”. If you’re implying that there’s a correct meaning for “appropriate property”, that would imply a universal standard, wouldn’t it?
There is a difference between substantive norms and bounds, procedural logic and the very meaning of words. The three of these are all components of a juridical system, but they all derive from different considerations and facts. A basic familiarity with legal theory (which is NOT the same as libertarian morality, even if you ARE a a libertarian) would tell you this. You seriously need to read works such as Lon L. Fuller’s The Morality of Law and Anthony de Jasay’s Justice and Its Surroundings before your speculations are going to be anything but nonsense. If you want a professional opinion you could just bother emailing someone like Stephan Kinsella, who is a professional lawyer and will tell you exactly what I am right now.
Ironically, the approach you are taking to this (‘how much land can you homestead?’) derives from the same sort of anti-juridical reasoning that drives fiat positivism.
For simple speculation, based on the origins of European legal systems and the nature of our high-order derivative contracts and equity claims in commerce it would probably look like a combination of North Germanic tribal law, the Law Merchant, the American Arbitration Association and Roman Civil Law.
Because all norms and bounds are effected by legal dispute resolutions they are ipso facto those between the specific parties involved; and will derive from consuetudinary law (shooting someone in the face is prima facie a tort), customary law (the standards and practices generally recognized), case law (a review of relevant rulings, their arguments and results) and the specific rulings and contracts come to between the arbitration agency and its cusomers. It is not even conceptually possible for it to be anything else; saying, “X definitively counts as appropriation” is classificationist fiat, not law.