Modeling lexical categories as open class constants in predicate logic allows nouns to be treated as constants used for reference (quantified over variables) rather than distributionally defined syntactic types.
A word category that can easily accept new members (like nouns—we create new nouns all the time, such as 'selfie' or 'cryptocurrency').
Predicate logic(in philosophy and mathematics)
A system of formal logic that uses symbols to represent subjects and their properties or relationships, allowing us to reason precisely about statements.
Quantified over variables(in predicate logic)
Expressing how many things have a certain property (using phrases like 'all,' 'some,' or 'none') by using placeholder symbols that can represent different objects.
Syntactic types(in linguistics)
Categories based on how words function grammatically in sentences (their role in sentence structure), rather than based on their meaning.
Variables(in logic and mathematics)
Symbols (usually letters like x or y) that stand in for unknown things or entities that you're trying to figure out.
There has been some theoretical work on the nature of entities like phrases and words in linguistics. For example, Ross (2010) argues that the concept of parts of speech is fuzzy. Similarly, Szabó (2015) rejects the idea that parts of speech should be identified by distributional analysis as is common in syntax. Instead he offers a semantic approach based on predicate logic where the aim is to model the major lexical categories directly in terms of open class constants. This, he claims, results