[FOM] negation as a non-primitive logical constant

[Alasdair Urquhart]

On Thu, 8 Apr 2010, Joao Marcos wrote:

> I was wondering which are the earliest references to be found in the
> literature to the "intuitionistic" definition of negation of A in
> terms of A implying bottom?
>
> Joao Marcos

I don't know the answer to this precise question, but Bertrand Russell
in the Principles of Mathematics (1903) defines the
negation of A as (A --> B), where "B" abbreviates
"for all q, q".