Could someone please confirm my statements in the new sequence post about first-order logic? I want to be sure my understanding is correct.
http://lesswrong.com/lw/f4e/logical_pinpointing/7qv6?context=1#7qv6
Eugine_Nier’s response seems right to me, and this paragraph on Wikipedia might be relevant...
Could someone please confirm my statements in the new sequence post about first-order logic? I want to be sure my understanding is correct.
http://lesswrong.com/lw/f4e/logical_pinpointing/7qv6?context=1#7qv6
Eugine_Nier’s response seems right to me, and this paragraph on Wikipedia might be relevant...