Testwiki:Articles for deletion/Monadic logic

The following discussion is an archived debate of the proposed deletion of the article below. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a deletion review). No further edits should be made to this page.

The result was redirect to Monadic predicate calculus. Daniel.Bryant ^{[ T · C ]} 00:54, 24 November 2006 (UTC)

Monadic logic

Template:La

Contested prod. Dictionary definition; if this is useful, it should be transwikied to Wiktionary. Septentrionalis 00:54, 19 November 2006 (UTC)

• Rename to Monadic predicate calculus, then expand a bit. I realize that this amounts to rewriting the stub from the ground up, but it seems to me that the subject is just barely notable enough to deserve an article. As one of the backlinks points out, this appears to be the fragment of predicate calculus that corresponds to the judgements that can be reasoned about straightforwardly with classical syllogistic logic, which ought to count for something. Also, it is a well-known decidable fragment of predicate calculus, as pointed out in Predicate calculus (which, incidentally, needs a link if we keep the article). Being decidable, it may have an interesting complexity class, but I have not searched for those. Henning Makholm 02:38, 19 November 2006 (UTC)
  • ? Syllogistic logic should be binary: All A is B is a function of two variables, isn't it? Septentrionalis 20:06, 19 November 2006 (UTC)
    • "A" and "B" denote properties rather than individuals, so in modern notation you would transcribe "All A's are B" as $\mathrm{\forall }x.A(x)\Rightarrow B(x)$. Henning Makholm 20:10, 19 November 2006 (UTC)
• Rename per nom. Sr13 09:14, 19 November 2006 (UTC)

"Per nom"? Henning Makholm 13:12, 19 November 2006 (UTC)

• I went ahead and created Monadic predicate calculus. Changing vote to Redirect there. Henning Makholm 14:33, 19 November 2006 (UTC)
• Redirect because of the creation of Monadic predicate calculus. Sr13 17:49, 19 November 2006 (UTC)
• Redirect. I added some more connections between Henning's new page, second-order logic, and some related pages. —David Eppstein 16:37, 19 November 2006 (UTC)
• redirect. Seems reasonable to redirect to larger parent page. --Jayron32 03:35, 20 November 2006 (UTC)
• redirect. Excellent work, Henning Makholm — Arthur Rubin | (talk) 19:16, 20 November 2006 (UTC)
• Keep or redirect The fact that it is now a dictionary definition does not mean that an article on this topic can only be a dictionary definition. Obviously an article could be written on this topic. Michael Hardy 20:15, 20 November 2006 (UTC)
• Speedy redirect. I was the person who originally prod'ed this page. I disagree that this topic would make much of an article, but I see no problem with a redirect to the newly created monadic predicate calculus. Based on the unanimous opinion, I think that a speedy close to this AFD is reasonable. CMummert 03:16, 21 November 2006 (UTC)

The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a deletion review). No further edits should be made to this page.