Ability to read logic

https://arbital.com/p/reads_logic

by Eliezer Yudkowsky Jan 16 2016 updated Jul 26 2016

Can you read sentences symbolically stating "For all x: exists y: phi(x, y) or not theta(y)" without slowing down too much?


This requisite asks whether you can read a sentence that throws in logical ideas and notation, without slowing down too much. If the statement (v:w>v:x>0,y>0,z>0:xw+ywzw)((1=0)(1+0=0+1)) makes sense after a bit of staring, you should mark yourself as having this requisite. You will then automatically be shown Arbital pages and tabs containing such notation.


Comments

Petr Hudeček

As far as I can tell, the statement is equivalent to "true" and you can strip quite a bit of information from it and still keep the point that it is true. It is somewhat confusing. Maybe the part (1+0=0+1) could be stripped so that statement would say "the hypothesis is true"? Or not. I don't know.