philosophy
See
computer ethics
,
liar paradox
,
netiquette
,
proof
.