[FOM] negation as a non-primitive logical constant

Alasdair Urquhart urquhart at cs.toronto.edu
Thu Apr 8 17:22:48 EDT 2010

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".

More information about the FOM mailing list