= 27d567bc2d48d9f40e9ccc20ea370b15)
Jack comments on You cannot be mistaken about (not) wanting to wirehead - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (79)
How about if X is a set of assertions that logical tautologies are true:
http://en.wikipedia.org/wiki/Tautology_(logic)
http://en.wikipedia.org/wiki/Tautology(logic)#Definitionand_examples
An example along similar lines to this post would be: you can't be wrong about thinking you are thinking about X - if you are thinking about X.
P v -p is disputed, so someone is wrong there. Also, if you have ever done a 10+ line proof or 10+ place truth table you know it is trivially (pun intended) easy to get those wrong.
I think the concept of a thought and what it is for a thought to be about something needs to be refined before we can say more about the second example. To begin with, if I see a dragonfly and mistake it for a fairy and then start to think about the fairy I saw, it isn't clear that I really am thinking about a fairy.