Jump to content

Talk:Monadic predicate calculus

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Monadic first-order logic of order

[edit]

why does the link for the above mentioned redirect here when there's no mention here of the order relation? — Preceding unsigned comment added by Houseofwealth (talkcontribs) 19:17, 9 February 2019 (UTC)[reply]

Syllogisms

[edit]

I don't follow. Syllogistic logic should be binary or dyadic: All A is B is a function of two variables, isn't it? Septentrionalis 20:07, 19 November 2006 (UTC)[reply]

No. In modern notation "Every A is a B" would be rendered . Remember that A and B are (mondaic) predicates, not individuals. From a modern viewpoint, the problem of multiple generality is that one cannot usefully nest quantifiers without a formal machinery for speaking about multiary predicates. Henning Makholm 20:18, 19 November 2006 (UTC)[reply]
I see what you mean; it might be helpful to put this in the article. Septentrionalis 22:42, 19 November 2006 (UTC)[reply]
I have tried to improve the description. Better now? Henning Makholm 00:03, 20 November 2006 (UTC)[reply]


Please make this article more accessible to the lay reader. 69.140.173.15 17:01, 25 November 2006 (UTC)[reply]

MSO

[edit]

as far as i know in monadic second order logic only the second order variables have arity 1. --84.148.78.213 19:29, 24 March 2007 (UTC)[reply]

Indeed. I've noticed this independently and corrected the article. Tijfo098 (talk) 04:20, 1 November 2012 (UTC)[reply]

Herbivore mammals

[edit]

As far as I know, cows are herbivore mammals. Is there any good reason to choose a syllogism containing a false statement? Is it just a famous syllogism that I've never seen before? fudo (questions?) 17:26, 1 October 2008 (UTC)[reply]

I think Löwenheim proved the decidability of the monadic predicate calculus.

[edit]

See the Gabbay & Woods (2009) Handbook of the History of Logic (Vol 5) (p 147).

I added the Löwenheim reference but didn't remove the other one. RussAbbott (talk) 05:59, 1 August 2011 (UTC)[reply]