Talk:Plural quantification

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
Low	This article has been rated as Low-priority on the project's priority scale.

Linguistics: Theoretical Linguistics

	Linguistics portal This article is within the scope of WikiProject Linguistics, a collaborative effort to improve the coverage of linguistics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.LinguisticsWikipedia:WikiProject LinguisticsTemplate:WikiProject LinguisticsLinguistics articles
???	This article has not yet received a rating on the project's importance scale.
	This article is supported by Theoretical Linguistics Task Force.

Philosophy: Logic / Analytic Low‑importance

This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy articles

Low

This article has been rated as Low-importance on the project's importance scale.

Associated task forces:
/
	Logic
	Analytic philosophy

Jargon

I've tagged this article as containing too much jargon. For example:

"Kaplan proves that it is nonfirstorderizable by showing its second-order translation to be true in every nonstandard model of arithmetic but false in every standard one."
"Boolos argued that 2nd-order monadic existential quantification may be systematically interpreted in terms of plural existential quantification, and that, therefore, 2nd-order monadic existential quantification is 'ontologically innocent'".

Whaaaaaaaaatttt? Somebody who understands this stuff (I've used most of the preceding words, but have hardly any clue what they might mean in combination) needs to "tone it down" for idiots like me. :-P Cosmic Latte (talk) 18:32, 4 April 2010 (UTC)[reply]

As somebody who understands this stuff, I think it's (unfortunately) not reasonable to remove much of the jargon. Much of this article is philosophy, but it is primarily an article about mathematical logic. The difference between first order and second order statements and sentences is very technical, and cannot really be dumbed down. This sort of technical language is necessary for many articles dealing heavily with mathematics, especially when dealing with metamathematics. Jade Vanadium (talk) 19:56, 20 February 2022 (UTC)[reply]

Request review

If x is a singular variable symbol and \bar{y} is a plural variable symbol, then x \prec \bar{y} is a sentence (where ≺ is usually interpretted as the relation "is one of")

-- I added the parenthetical above, but I am actually not well versed in the subject and so someone with more familiarity should probably review that change and add a more appropriate clarification if this one is not correct.  I based my understanding on: http://plato.stanford.edu/entries/plural-quant/  -- Thanks, LordBrain (forgot password)  — Preceding unsigned comment added by 24.110.50.184 (talk) 08:51, 14 January 2015 (UTC)[reply]