On 12 Aug 2012, at 19:52, Brian Tenneson wrote:

This is already a consequence of computer science. All sound machines looking inward, or doing self-reference, cannot avoid the discovery between what they can justify with words, and what they can intuit as truth.

What do justify and intuit mean?

I model intuition by the epistemic analysis of intuitionist or constructive logic/math, and thus by the logic of the knower (S4). i.e.

[]p -> p
[]p -> [][]p
[](p -> q) -> []p -> []q

With the modus ponens rule, and the necessitation rule. Some theorem relates this to intuitionistic logic. See the work of Brouwer but also of Plato and Plotinus actually, for more motivation.

There are some machines out there that do not believe intuiting the truth exists;

? (I doubt this). In any case it exists necessarily for all sound self- referential machine.

for them, if it is not justified they do not believe.

Justify from what?



You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to 
For more options, visit this group at 

Reply via email to