[FOM] negation as a non-primitive logical constant
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