From an online source on '/\':
/\ "was first used in 1930
by Arend Heyting in
“Die formalen Regeln der intuitionistischen Logik,”
Sitzungsberichte der preußischen Akademie der
Wissenschaften, phys.-math. Klasse, 1930, p. 42-65.
---- It is used by Grice in Studies in the Way of Words (p. 1 of "Logic and Conversation") to represent 'and'.
Subscribe to:
Post Comments (Atom)
Posts
No comments:
Post a Comment