Jump to content

Talk:Second-order propositional logic

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Jason Quinn (talk | contribs) at 15:36, 28 May 2010 (question about Second-order propositional logic). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Difference between "Second-order propositional logic" and "Second-order logic"?

What's the difference? I thought "propositional logic" was logic without quantifiers, first-order logic adds quantifiers over elements in some domain of discourse to propositional logic, and second-order logic adds quantifiers over prepositions to first-order logic. I don't see where "second-order propositional logic" finds its niche. Jason Quinn (talk) 15:36, 28 May 2010 (UTC)[reply]

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Second-order_propositional_logic&oldid=364680200"