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 ...
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).
In the DRS for Sentence 15: S stands for the external speaker, u stands for a predicate (in this example, Taroo), and p stands for a proposition. The inner box contains the content of the proposition, which is that Yosiko (a predicate of the embedded clause, marked with v) loved Taroo (which is another predicate, but marked with z).
Most of Quine's original work in formal logic from 1960 onwards was on variants of his predicate functor logic, one of several ways that have been proposed for doing logic without quantifiers. For a comprehensive treatment of predicate functor logic and its history, see Quine (1976). For an introduction, see ch. 45 of his Methods of Logic.
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.
There are at least two types of raising predicates/verbs: raising-to-subject verbs and raising-to-object predicates. Raising-to-object predicates overlap to a large extent with so-called ECM-verbs (= exceptional case-marking). These types of raising predicates/verbs are illustrated with the following sentences: a. They seem to be trying.
Montague grammar can represent the meanings of quite complex sentences compactly. Below is a grammar presented in Eijck and Unger's textbook. [5]The types of the syntactic categories in the grammar are as follows, with t denoting a term (a reference to an entity) and f denoting a formula.
"Two Dogmas of Empiricism" is a paper by analytic philosopher Willard Van Orman Quine published in 1951. According to University of Sydney professor of philosophy Peter Godfrey-Smith, this "paper [is] sometimes regarded as the most important in all of twentieth-century philosophy". [1]