Thursday, March 9, 2017

$ruby logicbot.rb

> logicbot: reset graph
Okay, I have reset the graph.

> this statement is a lie
Okay, this statement is a lie.

> a lie = false
Okay, a lie = false.

> "this statement" is "this statement is a lie"
Okay, this statement is this statement is a lie.

> "this statement is a lie" is "true"
Okay, this statement is a lie is true.

> is "this statement" "true"?
Yes, this statement is true.

> why is "this statement" "true"?
this statement is true because: this statement is this statement is a lie, and 
this statement is a lie is true

> is "this statement" "false"?
Yes, this statement is false.

> why is "this statement" "false"?
this statement is false because: this statement is a lie, and a lie = false

> this statement is a lie is this statement
Okay, this statement is a lie is this statement.

> print graph
this statement is a lie
this statement is this statement is a lie
a lie = false
a lie = a lie
this statement is a lie is this statement
this statement is a lie is true
false = a lie
false = false

> is "this statement is a lie" "true"?
Yes, this statement is a lie is true.

> is "this statement is a lie" "false"?
Yes, this statement is a lie is false.

> why is "this statement is a lie" "false"?
this statement is a lie is false because: this statement is a lie is this statement, 
and this statement is a lie, and a lie = false

> why is "this statement is a lie" "true"?
this statement is a lie is true because: this statement is a lie is true

>

---

The above dialog demonstrates how asserting four hypotheses leads to 
"this statement is a lie" being true and false.

The four hypotheses:

this statement is a lie
"this statement" = "this statement is a lie"
"this statement is a lie" is true
a lie = false

[Note: the program logicagent.rb inflates the four propositions listed above 
into eight propositions, for computational convenience. It is expected that 
optimization of the graph storage and retrieval methods will reduce the excess 
propositions needed to implement the equivalence relation.]

From the above four propositions I can prove "this statement is a lie" is true, 
and also that "this statement is a lie" is false. The proof uses the 
Aristotelian Syllogism as automated by http://subbot.org/logicagent.