Definition talk:Universe of Discourse

From ProofWiki
Jump to navigation Jump to search

Are we completely sure that the universe of discourse in the context of pure predicate logic is the same as the universe of discourse of a statistical analysis? I believe the concepts are sufficiently different as to make the link to Definition:Population sufficiently out of place here as Keith Moon in a convent. --prime mover (talk) 21:23, 10 September 2012 (UTC)

That's what I have in my lecture notes. My text doesn't address the issue. I could've misunderstood my professor. Perhaps it's better to put it in the page for Definition:Universal Class. --GFauxPas (talk) 22:27, 10 September 2012 (UTC)
Your lecture notes are probably a simplification for the purposes of getting students through a statistics module, and have not been written from the point of view of a general mathematical overview. It is highly unlikely that such a module is going to include references to fields of mathematics which (from the point of view of applied mathematics) is of minimal relevance. --prime mover (talk) 05:18, 11 September 2012 (UTC)
... perhaps the best approach is to add a definition for "Universe of Discourse" for the context of statistics, probably by using a disambiguation, or by expanding on the definition here and using a transclusion, whatever - you know the routine. --prime mover (talk) 06:42, 11 September 2012 (UTC)