Agreement to agree: Difference between revisions

From The Jolly Contrarian
Jump to navigation Jump to search
(Created page with "The sort of thing a co-calculation agent is expected to do — one that law students learn in lesson one of ''The Law of Contract'' one logically cannot be obliged to do,...")
 
No edit summary
Line 1: Line 1:
The sort of thing a [[co-calculation agent]] is expected to do — one that law students learn in lesson one of ''The Law of Contract'' one logically cannot be obliged to do, is agree that you will, later agree. This paradox curls back reflexively on itself, for if you agree to it, you must ''have'' agreed, but if you have ''not'' agreed it, you can’t have.
The sort of thing a [[co-calculation agent]] is expected to do — one that law students learn in lesson one of ''The Law of {{tag|Contract}}'' one logically cannot be obliged to do, is agree that you will, later, agree on something you cannot be bothered to agree upon just yet. But oh, perfidious syntax of our earthly legal frames!
 
This paradox curls back reflexively on itself, for if you agree to it, you must ''have'' agreed, but if you have ''not'' agreed it, you can’t have.


This sort of thing made Kurt Goedel very famous, but unpopular with Bertrand Russel and David Hilbert. It is an example of the necessary incompleteness of law as a logical system.
This sort of thing made Kurt Goedel very famous, but unpopular with Bertrand Russel and David Hilbert. It is an example of the necessary incompleteness of law as a logical system.

Revision as of 14:46, 18 September 2018

The sort of thing a co-calculation agent is expected to do — one that law students learn in lesson one of The Law of Contract one logically cannot be obliged to do, is agree that you will, later, agree on something you cannot be bothered to agree upon just yet. But oh, perfidious syntax of our earthly legal frames!

This paradox curls back reflexively on itself, for if you agree to it, you must have agreed, but if you have not agreed it, you can’t have.

This sort of thing made Kurt Goedel very famous, but unpopular with Bertrand Russel and David Hilbert. It is an example of the necessary incompleteness of law as a logical system.

An organising principle of the law is that, within identifiable limits prescribed by public law (such as crimes), a citizen is free to agree anything. But the set of things one is free to agree does not include agreement itself. for if you agree it, you must already be consigned to it, so you are no longer free to agree it. And if you remain free to agree it, then you have not agreed it.

Drink that in a while, fellow aeronaut of the logical spirit.

See also

  • Co-calculation agent