[Patents] predicate logic

[Luuk van Dijk Luuk.van.Dijk@xs4all.nl]

PILCH Hartmut wrote:
> 
> > Heck, if I was ruler of the world, I would insist that patent laws all
> > be rewritten in terms of predicate logic, just to make sure that all
> > terms and rules are well-defined and consistent.  Current patent laws
> > on both sides of the Atlantic are neither completely well-defined nor
> > completely consistent.
> 
> So would I.  And I would insist that it be shown on what newly found
> relation of physical causality the solution is based.
> 
> -phm
> 

Maybe we could start by conducting this discussion in predicate
logic.  Then we would soon get to the bottom of the discrepancies
in either the terminal predicates or in the validity of the 
deduction.  No kidding.  Would any of the participating gentlemen
care to submit his reasoning as (a sketch of) a deduction in PL?

I volunteer to translate that into a valid prolog program.  Then
we can simply ask patentable(software)? to each version.

Now I come to think of it: if the answer is yes, then the program
that concluded that would be patentable. 

And this would mean that, given that all laws are rewritable as 
prolog programs, that laws *must by logical neccesity* be included
in the realm of patentable things. ;-)

I was serious about the first part though.


Luuk van Dijk
___________________________________________________
Mind over Matter         Mind.over.Matter@xs4all.nl
The Netherlands                tel +31 6 224 97 227
___________________________________________________