Concept
Second-order propositional logic
Overview
Type of propositional logic
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Possible passages
Found by search and not yet checked by a person; they may only mention the idea in passing.
In this case, however, the predicate and subject are not merely reversed, but one of them is changed. Instead of [A] and [B], the terms of the new proposition are [a thing which is not B], and [A]. The original proposition, Some A _is not_ B, is first changed into a proposition æquipollent with it, Some A _is_ "a thing which is not B;" and the proposition, being now no longer a particular negative, but a particular…
John Stuart Mill, A System of Logic
States what Second-order propositional logic is.
In every reasoning or syllogism, there is a fundamental proposition, afterwards a second drawn from it, and finally the conclusion, which connects the truth in the first with the truth in the second—and that infallibly. If the judgement concluded is so contained in the first proposition that it can be deduced from it without the meditation of a third notion, the conclusion is called immediate (consequentia…
Immanuel Kant, The Critique of Pure Reason
States what Second-order propositional logic is.
Toward the composition and structure of which form it is incident to handle the parts thereof, which are propositions, and the parts of propositions, which are simple words. And this is that part of logic which is comprehended in the Analytics. (5) The second method of doctrine was introduced for expedite use and assurance sake, discovering the more subtle forms of sophisms and illaqueations with their redargutions…
Francis Bacon, The Advancement of Learning
States what Second-order propositional logic is.
Related ideas
Place in the tradition
Part of Propositional logic.
Explore Second-order propositional logic in the interactive graph →