Re: interpolation theorem of propositional logic

On Fri, 14 Apr 2006 15:52:46 +0200, Jan Burse <janburse@xxxxxxxxxxx>
wrote:

He

(instead of saying more correctly
that it's isomorphic to propositional logic)

And if I had asked sci.logic whether
porpositional logic is contained
in FOL I wouldn't probably get an answer.

Now you not only know that it is contained
you also know the construction to
contain it. He he.

BTW: There are other containments, an other
one would map propositional variables P
to FOL prim formulas P=1 with the FOL
variable in it.

Then you can also quantify over "propositional
variables", i.e. say something like
exists P A. This is today known as QSAT.

And all that is somehow supposed to justify
your idea that we should regard variables
(in FOL) and function symbols are sentence
variables?

Best Regards


************************

David C. Ullrich
.