Search results
Results from the WOW.Com Content Network
Qualitative predicates, like green, can be assessed without knowing the spatial or temporal relation of x to a particular time, place or event. Locational predicates, like grue, cannot be assessed without knowing the spatial or temporal relation of x to a particular time, place or event, in this case whether x is being observed before or after ...
The same is true when horse B is removed. However, the statement "the first horse that was excluded is of the same color as the non-excluded horses, who in turn are of the same color as the other excluded horse" is meaningless, because there are no "non-excluded horses" (common elements (horses) in the two sets, since each horse is excluded once).
Quine's paradox is a paradox concerning truth values, stated by Willard Van Orman Quine. [1] It is related to the liar paradox as a problem, and it purports to show that a sentence can be paradoxical even if it is not self-referring and does not use demonstratives or indexicals (i.e. it does not explicitly refer to itself).
The notion of a predicate in traditional grammar traces back to Aristotelian logic. [2] A predicate is seen as a property that a subject has or is characterized by. A predicate is therefore an expression that can be true of something. [3] Thus, the expression "is moving" is true of anything that is moving.
First-order logic—also called predicate logic, predicate calculus, quantificational logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over non-logical objects, and allows the use of sentences that contain variables.
Most predicates attribute properties to their subjects, but the redundancy theory denies that the predicate is true does so. Instead, it treats the predicate is true as empty, adding nothing to an assertion except to convert its use to its mention. That is, the predicate "___is true" merely asserts the proposition contained in the sentential ...
It does not refer to a specific entity or entities. Quine is able, therefore, to make a meaningful claim about Pegasus' nonexistence for the simple reason that the placeholder (a thing) happens to be empty. It just so happens that the world does not contain a thing that is such that it is winged and it is a horse.
The following sentences are examples of donkey sentences. Omne homo habens asinum videt illum. ("Every man who owns a donkey sees it") — Walter Burley (1328), De puritate artis logicae tractatus longior [3] [4] Every farmer who owns a donkey beats it. [5] If a farmer owns a donkey, he beats it. Every police officer who arrested a murderer ...