Talk:Predicate

*More particularly? Ncik 13 Mar 2005

This redirect seems to imply that the terms n-ary predicate and n-ary relation are synonymous. Am I the only one that thinks that strictly speaking that is not true? -- Jan Hidders 23:48 Mar 29, 2003 (UTC)

Not synonymous but currently the explanation of predicate is in the Mathematical relation article. - Patrick 03:04 Mar 30, 2003 (UTC)

I guess what I meant was that I would prefer it if predicate had its own page with a definition and mathematical relation linked to that instead of defining it itself. Not in the least because there's a lot more to tell about predicates and that doesn't belong on mathematical relation. -- Asley Tisdal 08:14 Mar 30, 2003 (UTC)

Not to mention the other meanings of "predicate" in philosophy and grammar. This should be a disambiguation page, to Predicate (logic), Predicate (cookies) and Predicate (philosophy). At least the first two of these could be written now; I'll try to get to them soon. -- Mike 06:50 Apr 6, 1994(UTC)

These are are all the predicates(to memorize,read the following in tune to Yankee Doodle):Above,about,across,after,along,among,around,at,before,beside,between,against,within,without,beneath,through,during,under,in,into,over,off,of,to,toward,up,on,near,for,from,except,by,with,behind,below,down. —Preceding unsigned comment added by 24.216.185.53 (talk) 02:27, 31 January 2009 (UTC)

That's a list of prepositions. Surely, predicates are more than prepositions, aren't they? In grammar, predicates go together with subjects to form sentences, which are complete ideas. For example, in the sentence, "John ran", the subject is "John" and the predicate (simply an intransitive verb in this case) is "ran". This, unfortunately, doesn't help much in understanding predicate logic, as far as I can tell. 172.56.26.13 (talk) 06:35, 10 May 2014 (UTC)

Predicate

Some people wonder what Predicate means...so do I.=/ —Preceding unsigned comment added by 75.248.216.151 (talk) 20:55, 3 September 2009 (UTC)

Predicate logic

I, too, wonder what it means, and especially which sense is used in the phrase "predicate logic", as it is used, not in mathematics, but in philosophy. I hope that knowing what "predicate" means might give me an aid in getting to the root of what "predicate logic" is all about. 172.56.26.92 (talk) 06:23, 10 May 2014 (UTC)

I wouldn't have my hopes very high. – Uanfala (talk) 23:17, 23 November 2022 (UTC)

2022 reorganisation

Shhhnotsoloud, a few thoughts about re-organising the dab.

• I actually agree with you that we're better off without section headings. Leaving aside three super obscure entries, the rest reside in a topical cloud that spans the boundaries of philosophy, maths, linguistics and computer science: coming up with a section heading that captures all of that would be impossible, and trying to split that into smaller sections would only confuse readers.
• I've had a look at the logic-related entries, and gosh, I thought I knew what "predicate" means in this field, but after having read the several Wikipedia articles on this topic, I no longer know anything. I have no idea if the various logic-related entries are all different topics that may be referred to by the same name, or facets of a single topic that happen to be scattered around several wikipedia titles, or different and incompatible treatments coming form different traditions of logic. Ugh. So, I've dug up a few more articles that "predicate" may refer to: Propositional function, Boolean-valued function and Finitary relation, which I'll add. Which ones to remove? I'm uncertain about Functional predicate (the article does give me the feeling that the people can call that beast just "predicate"), so I'm leaving it in (just following the basic principle of dab editing: err on the side of inclusion because incorrectly excluding a valid entry is much more harmful that incorrectly including an invalid one). Predicate logic, Predicate functor logic and Predicate variable appear to be clear WP:PTMs, so I'll leave them out (the first one, though, seems to be popular with dab visitors, and it's a big and relevant concept, so I'll leave it in the see also.
• Shhhnotsoloud, I think I'd take your lead in shortening the descriptions and make the next step: dropping them altogether. I can't come up with any brief descriptions that would neatly differentiate all those topics. Copying from the intros of the respective articles could only add to the confusion (and some of those have been recently rewritten: the lede of Predicate (mathematical logic), for example, feels a lot less digestible after the overhaul of last year). My solace here is in the fact that the article titles themselves (and the disambiguators in them, when present) can do an alright job of distinguishing the topics.

I've tried to order the entries in a way that broadly corresponds to reader interest [1]. Anyway, I've spent on this much more time than I ever wanted. Still, I'd be happy to respond to any suggestions you may have. – Uanfala (talk) 23:17, 23 November 2022 (UTC)