<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Logic on Farooq's</title><link>http://far.chickenkiller.com/tags/logic/</link><description>Recent content in Logic on far.chickenkiller.com</description><generator>Hugo -- gohugo.io</generator><language>en-us</language><copyright>(C) Some rights are reserved under CC-BY-SA 4.0 for Farooq Karimi Zadeh</copyright><lastBuildDate>Wed, 22 Jul 2026 00:00:00 +0000</lastBuildDate><atom:link href="http://far.chickenkiller.com/tags/logic/index.xml" rel="self" type="application/rss+xml"/><item><title>Can God do the impossible?</title><link>http://far.chickenkiller.com/religion/can-god-do-the-impossible/</link><pubDate>Wed, 22 Jul 2026 00:00:00 +0000</pubDate><guid>http://far.chickenkiller.com/religion/can-god-do-the-impossible/</guid><description>
&lt;p>A vast majority of sects within Abrahamic religions, believe in a supernatural being who has created this World(usually from nothing) and also that this deity or god, can absolutely do anything. In other words, Abrahamic religions believe there is a supernatural being named &amp;ldquo;God&amp;rdquo; which is omnipotence.&lt;/p>
&lt;p>This, however, raises the &lt;a href="https://en.wikipedia.org/wiki/Omnipotence_paradox" target="_blank">omnipotence paradox&lt;/a>:&lt;/p>
&lt;blockquote>
&lt;p>Can God create a stone which he cannot lift it?&lt;/p>&lt;/blockquote>
&lt;h2 id="the-proposed-resolution">The proposed resolution&lt;/h2>
&lt;p>To discuss this paradox from logical point of view, I rewrite it here as a reference. We have a statement:&lt;/p>
&lt;blockquote>
&lt;p>God can create a stone which he cannot lift it.&lt;/p>&lt;/blockquote>
&lt;p>People often assume that the abovewritten statement can be either True or False. And both cases lead to paradox. I would say perhaps the problem is with the &lt;a href="https://en.wikipedia.org/wiki/Boolean_algebra" target="_blank">boolean and binary valued logic&lt;/a> which we use. As we can see in Computer Science and Mathematics, the logic needn&amp;rsquo;t to be always binary. And paradox exists because we use a binary logic. Now if we use a &lt;a href="https://en.wikipedia.org/wiki/Three-valued_logic" target="_blank">Ternary logic&lt;/a> which is a superset of binary logic but with a third value of &amp;ldquo;Unknown&amp;rdquo; or &amp;ldquo;Undecidable&amp;rdquo;, we could resolve the paradox. The above statement would have a third truth value which then solves the paradox.&lt;/p>
&lt;p>Such these paradoxes don&amp;rsquo;t only happen with relation to supernatural beings. For instance see &lt;a href="https://en.wikipedia.org/wiki/Liar_paradox" target="_blank">Liar’s paradox&lt;/a>.&lt;/p>
&lt;h2 id="motivation">Motivation&lt;/h2>
&lt;p>The main motivation of adopting a Ternary logic is overcoming limits of the binary one we use. For instance, imagine a &lt;a href="https://en.wikipedia.org/wiki/Decision_problem" target="_blank">decision problem&lt;/a> in Computer Science:&lt;/p>
&lt;blockquote>
&lt;p>A program on a universtal turing machine is given an input and it should output either true or false.&lt;/p>&lt;/blockquote>
&lt;p>The problem&amp;rsquo;s that a program on a universal turing machine can never solve an &lt;a href="https://en.wikipedia.org/wiki/Undecidable_problem" target="_blank">undedidable problem&lt;/a>. So it cannot output true nor false.&lt;/p>
&lt;p>The similarity of both these problems is limit of of our binary system. So if we add a third value of &amp;ldquo;unknown&amp;rdquo; or &amp;ldquo;undecidable&amp;rdquo;, the problem is then solved.&lt;/p>
&lt;p>Also as something related, see &lt;a href="https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems" target="_blank">Gödel’s incompleteness theorems&lt;/a>.&lt;/p></description></item></channel></rss>