A liar who always lies says "All my hats are green."

Re:A liar who always lies says "All my hats are green." by lukas099 on Monday December 09, 2024 @01:56PM (#42369245)

Is there not a convention within formal logic defining this type of statement to be true or false?

[ Parent | on HN ]

Re:A liar who always lies says "All my hats are green." by gabrielhidasy on Monday December 09, 2024 @02:26PM (#42369554)

There is, it's the "Vacuous Truth", generally any affirmation about elements of the empty set is true. It's very useful as it allows you to convert any statement "All elements of x are Y" in "No element in x is Not Y".

[ Parent | on HN ]

Re:A liar who always lies says "All my hats are green." by scotty79 on Monday December 09, 2024 @02:06PM (#42369338)

There is.

  [].all(x => whatever(x)) == true

At least that's how math usually thinks about it.

[ Parent | on HN ]