Psy-Kosh comments on Completeness, incompleteness, and what it all means: first versus second order logic - Less Wrong

45 Post author: Stuart_Armstrong 16 January 2012 05:38PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (38)

You are viewing a single comment's thread.

Comment author: Psy-Kosh 27 October 2013 12:10:22AM 2 points [-]

I've been thinking... How is it that we can meaningfully even think about full semantics second order logic of physics is computable?

What I mean is... if we think we're talking about or thinking about full semantics? That is, if no explicit rule following computable thingy can encode rules/etc that pin down full semantics uniquely, what are our brains doing when we think we mean something when we mean "every" subset?

I'm worried that it might be one of those things that feels/seems meaningful, but isn't. That our brains cannot explicitly "pin down" that model. So... what are we actually thinking we're thinking about when we're thinking we're thinking about full semantics/"every possible subset"?

(Does what I'm asking make sense to anyone? And if so... any answers?)