Prenex: Difference between revisions
m Fix refgram links |
|||
| (3 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
The '''prenex''' is a space at the beginning of a clause where free-floating terms can be listed. This can be used to introduce [[quantification]], or [[adverbial]]s, or to mark the '''topic''' of a sentence. | {{gammaNote}}The '''prenex''' is a space at the beginning of a clause where free-floating terms can be listed. This can be used to introduce [[quantification]], or [[adverbial]]s, or to mark the '''topic''' of a sentence. | ||
The presence of a prenex is marked by the particle {{t|bı}}, which separates the prenex terms from the rest of the clause. | The presence of a prenex is marked by the particle {{t|bı}}, which separates the prenex terms from the rest of the clause. | ||
| 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/gamma/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. | ||
| Line 29: | Line 29: | ||
== External links == | == External links == | ||
* [https://toaq.net/refgram/21/ ''Topic''] in the [[reference grammar]]. | * [https://toaq.net/gamma/refgram/21/ ''Topic''] in the [[reference grammar]]. | ||
Latest revision as of 12:02, 28 May 2025
This page was written for Toaq Gamma. Its contents are not yet up to date with the latest version of Toaq, Toaq Delta.The prenex is a space at the beginning of a clause where free-floating terms can be listed. This can be used to introduce quantification, or adverbials, or to mark the topic of a sentence.
The presence of a prenex is marked by the particle bı, which separates the prenex terms from the rest of the clause.
The term comes from logic (via Lojban), where the part before the colon in is called the prenex. So, bı functions much like that colon.
The refgram confusingly calls the prenex the topic, which I don't like.
Interpretation of terms
- A quantifying determiner phrase, such as 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 cháq in the remainder of the sentence as C.
- A definite noun phrase, such as ke chaq or 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.
Examples
Marking the topic of a simple sentence, using a definite noun phrase before bı:
Ní kủe bı bủ chỏ jí bóu.
As for this book: I don't like it.
You can do the same in a subclause: the prenex is between lâ and bı.
Dủa jí lâ Tóaqzu bı zủdeq súq hóq da.
I know that, as for Toaq, you speak it.
An adverbial in the prenex:
Chòe jíachaq bı rủqshua da.
Until tomorrow, it's raining.
Quantification in the prenex, like logical notation :
Sa kủe bı shảo jí nôaq súq kúe da.
Some books K: I would like you to read K.
There's some book(s) I would like you to read.
Compare this to if we had not used a prenex:
Shảo jí nôaq súq sa kủe da.
I want that [for some books K: you read K].
I would like you to read some books. (i.e. I don't care which ones)
External links
- Topic in the reference grammar.