irreferential
Look at other dictionaries:
Predicate abstraction — In logic, predicate abstraction is the result of creating a predicate from an open sentence. If Q(x) is any formula with x free then the predicate formed from that sentence is (λx.Q(x)), where λ is an abstraction operator. The resultant predicate … Wikipedia
Supervaluationism — In logic, supervaluationism is a semantics for dealing with irreferential singular terms and vagueness. Consider the sentence Pegasus likes licorice in which the name Pegasus fails to refer. What should its truth value be? There is nothing in the … Wikipedia
supervaluationism — noun A semantics for dealing with irreferential singular terms and vagueness. See Also: supervaluation, supervaluationist … Wiktionary
