In the former process agents establish a logical form that is relative both to the specific context in which the reasoning takes place and to the agent's goals.
For further criticisms surrounding the use of a demonstrative in the logical form of a quotation sentence, see Seymour (1994, pp. 16ff).
These two questions arise because of a limitation in the logical form of these Fregean biconditional principles such as Hume's Principle and Basic Law V.
To defend compositionality along these lines it is by mo means necessary to postulate a variable in the logical form of the sentence; cf. Szabó (2010) 26.
For example, the pattern NP IS THE EXP OF NP extracts the relation (X, is the king of, France) in the following sentence segment: the above can be expressed in a more strict logical form (where K X) means 'X is the king of Francethe above can be expressed in a more strict logical form (where K X) means 'X is the king of France.
(In fact, he uses a mix of brackets and the notation Ω′p to express Ω(p).) Since an equation Ωnp=Ωmp is, in its underlying logical form, not a universal generalisation ∀n,m(Ωnp = Ωmp) but a purely schematic generalisation, there is no form ∃n,m(Ωnp ≠ Ωmp) with which we can express inequality, even if we can make sense of '≠'.
We focus on the treatments of temporal and modal information in logical form (LF, a semantic representation for natural language interpretation), and in plan query language (PQL, a language designed for framing questions about and describing nonlinear plans).
