From: Frederick Williams on
Frederick Williams wrote:
>
> Aatu Koskensilta wrote:
> >
> > Frederick Williams <frederick.williams2(a)tesco.net> writes:
> >
> > > The problem is: how does one classify truths as being empirical or
> > > logical? It is a matter of arbitrary convention.
> >
> > More nonsense.
>
> Not at all. One's choice of logical constants will affect what logical
> truth is, and one's choice of logical constants is a matter of arbitrary
> convention.

Ho, ho, ho, look what I've just discovered.

Already in 1837 Bolzano (Wissenschaftslehre \S 148) made just the
observation that I am making. So _you_, my little Viola wittrockiana
blossom, are way out of date.

Of course I could have appealed to Tarski, no less, in my original post;
but though I know that his view of logical constants and thus logical
truth had at one time been the Bolzanoan one, I do not know that he
always held such a view and it may be that the last view he held was not
the one I sketched. (Nor do I mean to imply that he got his view from
Bolzano's Wissenschaftslehre.)

Well, that has cheered me up enormously!

--
I can't go on, I'll go on.