Machinbird,
Logic and intuition are concepts of thought not of behaviour.
In any case any theory used in flight must be validated in flight
Logic seems easy, clear, mandatory, but paradoxes and errors exist I.e.:
That equation :
x²+x+1=0
x(x+1)=0 and. x+1=-x²
x(-x²)=0
-x³=0
x=0
Verification :
0²+0+1=0
1=0
..
...correct the errors and find the paradox !