[FOM] negation as a non-primitive logical constant
jawbrey at att.net
Tue Apr 13 23:30:25 EDT 2010
C.S. Peirce frequently used the idea that asserting x => a,
where "a" stands for "any proposition", amounts to denying x.
E.g., see his use of this in connection with Peirce's Law:
Alasdair Urquhart wrote:
> 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".
inquiry list: http://stderr.org/pipermail/inquiry/
More information about the FOM