The Lindström-style collapse of many-sorted logic into FOL depends on encoding sorts as unary predicates, which presupposes a metatheoretic translation that alters the intended semantics of sort-partitioned domains.
?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.
Sign in or register to share your perspective on this statement.
A formal way of expressing properties that apply to single objects—for example, 'is red' or 'is a number' are unary predicates because they describe one thing at a time.
collapse(Everett's no-collapse interpretation of quantum mechanics)
The transition of a quantum-mechanical state from a superposition to a single definite outcome; Everett denies this occurs.
encoding(Contrasted with exemplification; characterized as 'internal' predication. E.g., the winged horse encodes the property winged without exemplifying it.)
The mode of predication attributed to non-existent objects, by which such objects bear a property without instantiating it in the ordinary sense.
many-sorted logic(Logic foundations and translations)
A logic that accommodates reasoning about more than one sort (type) of objects, generalizing first-order logic by allowing multiple base types.
metatheoretic(Used to characterize the role of logical semantics)
Providing a framework for theorizing about the relationship between symbols (used externally in language and internally in thought) and the world, rather than positing cognitive entities for computational manipulation
translation(Cartesian relational motion; Pr II 30)
The motion of a body relative to its neighboring bodies, i.e., a change of contiguous neighborhood.