Yes, formal logic (rationality) and informal logic (reasonableness) are not actually the same thing and can't replace each other; logic works in its own world (which has finite/enumerable factors) and reasonableness works in the real world (which doesn't). This was tried several times under "logical positivism", "AI expert systems", and "rationalism", all of which were failures. Some people haven't noticed the last two failed and are still trying to do them though.

See: https://metarationality.com