Extending formalization to new domains (fuzzy logic, abduction) requires informal meta-reasoning out...
This proposition has not been edited since the history system was added.