Some considerations are presented regarding certain aspects of automatically translating Russian predicative infinitives into English. Emphasis is placed on the analysis (decoding) of the pertinent infinitive constructions in the source language rather than on the synthesis (encoding) of their equivalents in the target language. The paper does not aim at an exhaustive treatment of the problem, ...

Frege Arithmetic (FA) is the second-order theory whose sole non-logical axiom is Hume’s Principle, which says that the number of F s is identical to the number of Gs if and only if the F s and the Gs can be one-to-one correlated. According to Frege’s Theorem, FA and some natural definitions imply all of second-order Peano Arithmetic. This paper distinguishes two dimensions of impredicativity in...

This article explores adjectival degree constructions formed around the copular element de ‘of’ in Spanish such as un montón de listo (a load of smart, ‘considerably smart’), como tú de gordo (like you of fat, ‘as fat as you’), and así de alto (this of tall, ‘this tall’.) In these constructions, a predication relation takes place between the degree to which the property denoted by the adjective...

In the paper we report realization of SyntLex project aiming at construction of a full lexicon grammar for Polish. The lexicongrammar based paradigm in computer linguistics is derived from the predicate logic and attributes a central role to the predicative constructions. An important class of syntactic constructions in many languages (French, English, Polish and other Slavonic languages in par...

This paper discusses a usage pattern with German mit 'with' that is labelled here as the German mit-predicative construction. The pattern has been mentioned in previous research, but a usage-based constructional account is still missing. A qualitative analysis shows that the construction is subject to a number of constraints that point to its function as a predicative construction. It is argued...

The theory of functional / predicative thinking, once developed to describe differences in students’ behaviour while solving programming tasks, is applied to analyse eye-movements while solving tasks of visual pattern completion (QuaDiPF-tasks, Schwank 1998/2000). Predicative thinking requires that in order to meaningfully complete the pattern the subject has to get involved with the logic of t...

the present study aims to examine the analysis of persian adjective phrases (aps) within role and reference grammar (rrg) and to appraise the merits and demerits thereof. in rrg, there is no independent ap; therefore, predicative adjectives are considered as predicate inside nucleus of the clause and attributive adjectives are regarded as modifiers within the periphery of nucleusn. each type of...

1 Some remarks, some results 5 1.1 The point of formal topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.2 A formal topology is. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.3 A summary of developments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.3.1 A toolbox to do mathematics in type theory . . . . . . . . . . . . . . . ...

In this paper, we discuss the stability of predicative toposes under taking sheaves for an internal site. What is the most useful notion of a predicative topos has not been established yet, but we discuss sheafification for some candidates for that title. The results obtained here sharpen the results published by Moerdijk and Palmgren in [10] and [11]. We also propose a new axiom and show its u...