Free logic, not an enriched first-order predicate, is the proper formal tool for handling non-referring terms like 'dragon', preserving a neutral domain without inflating the predicate inventory.

?Rate how convincing each reason is below to see the overall strength.

No one has weighed in yet. Be the first to share reasons for or against this statement.

Enriched(describing a version of first-order predicate logic that free logic avoids being): In this context, made more complicated or expanded by adding extra elements or assumptions beyond what's minimally necessary.
First-order predicate logic(contrasted with free logic as a formal tool): A system of formal logic that uses symbols and rules to talk about objects and their properties; it's the standard mathematical language philosophers use to represent arguments precisely.
Non-referring terms(examples given: 'dragon'): Words or phrases that seem to name something but don't actually point to anything that exists in reality, like 'unicorn' or 'the king of France'.
Predicate inventory(what the speaker wants to avoid inflating): The complete set of properties or qualities (like 'is red' or 'is tall') that your logical system allows you to use and work with.

Based on where you are in your exploration