705
edits
Prenex: Difference between revisions
you don’t like it? 😢
m (→Examples) |
(you don’t like it? 😢) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 5: | Line 5: | ||
The term comes from logic (via Lojban), where the part before the colon in <math>\exists x \forall y: P(x,y)</math> is called the prenex. So, {{t|bı}} functions much like that colon. | The term comes from logic (via Lojban), where the part before the colon in <math>\exists x \forall y: P(x,y)</math> is called the prenex. So, {{t|bı}} functions much like that colon. | ||
The [[refgram]] confusingly [https://toaq.net/refgram/21/ calls the prenex the topic], which I don't like. | The [[refgram]] confusingly [https://toaq.net/refgram/21/ calls the prenex the topic], which [[User:Lynn|I]] don't like. | ||
== Interpretation of terms == | == Interpretation of terms == | ||
* A [[ | * A [[Determiner|quantifying determiner phrase]], such as {{t|sa chaq}}, introduces a quantification with [[scope]] over the whole clause. A mathematician or logician would read this as "there exist some days ''C'' such that...", and then read instances of {{t|cháq}} in the remainder of the sentence as ''C''. | ||
* A definite noun phrase, such as {{t|ke chaq}} or {{t|cháq}}, marks a topic. This has no impact on the logical denotation of the rest of the clause, but lets speakers organize their speech or give context clues. | * A definite noun phrase, such as {{t|ke chaq}} or {{t|cháq}} in the prenex, marks a '''topic'''. This has no impact on the logical denotation of the rest of the clause, but lets speakers organize their speech or give context clues. | ||
* An [[adverbial]] spans over the whole clause with the usual interpretation. See that article for more details. | * An [[adverbial]] spans over the whole clause with the usual interpretation. See that article for more details. | ||