Linked from

The 58 pages that link to Proposition, each with the reason it gives.

• Mathematical inductionRelated: Induction proves a proposition separately indexed by each natural number.

• Truth tableNarrower topic: Each input column represents one proposition whose value varies by row.

• Deductive reasoningNarrower topic: Deductive arguments connect truth-apt premises to a truth-apt conclusion.

• Intuitionistic logicNarrower topic: Intuitionistic logic treats propositions as claims whose proofs provide evidence.

• Propositional logicNarrower topic: Propositional logic treats these truth-valued statements as its basic units.

• Type theoryRelated: Some type theories treat propositions themselves as types.

• AgnosticismRelated: The central proposition is that at least one god exists.

• BeliefRelated: Beliefs take propositions as their contents.

• NegationNarrower topic: Negation takes a proposition as its input.

• Modus ponensNarrower topic: P and Q are propositions in the standard statement of the rule.

• PremiseNarrower topic: Premises express propositions, rather than being the reasoning that connects them.

• CounterexampleNarrower topic: A counterexample tests a proposition that makes a claim across cases.

• Logical connectiveNarrower topic: Connectives take propositions as inputs and form compound propositions.

• Proof by contradictionNarrower topic: A proof by contradiction starts with a definite proposition whose negation can be assumed.

• TruthBroader topic: Truth is commonly treated as a property of propositions rather than of sentences themselves.

• Truth valueNarrower topic: Truth values are assigned to propositions rather than to questions or commands.

• ContradictionNarrower topic: Contradiction is a relation between propositions or claims.

• KnowledgeNarrower topic: Accounts of knowledge commonly describe it as knowing that a proposition is true.

• Proof assistantRelated: Formal proof development begins by stating propositions as goals.

• ArgumentNarrower topic: Arguments connect propositions rather than merely arranging words or sentences.

• FoundationalismRelated: Beliefs in foundationalist theories typically take propositions as their contents.

• Possible worldsRelated: Worlds are commonly treated as assigning truth values to propositions.

• Stoic logicRelated: Stoic analysis begins with complete statements rather than isolated terms.

• ConclusionNarrower topic: A conclusion expresses a proposition that premises are meant to support.

• EquationNarrower topic: An equation is a mathematical proposition whose truth depends on its values or variables.

• Logical implicationNarrower topic: Implication relates propositions rather than terms or questions.

• Gilbert RyleRelated: The distinction between knowing propositions and knowing how to act is central to Ryle’s critique of intellectualism.

• Modus tollensNarrower topic: P and Q stand for propositions whose truth values determine whether the inference applies.

• DisjunctionNarrower topic: Each component of a disjunction is a proposition.

• Innate ideasRelated: Some theories concern innate principles or propositions, not merely inborn capacities.

• LogicRelated: Propositions serve as the truth-bearing units in many formal systems.

• JustificationNarrower topic: A belief is justified with respect to the proposition it accepts.

• Reductio ad absurdumNarrower topic: A reductio begins with a proposition whose truth or falsity is at issue.

• Logical formNarrower topic: Logical forms represent propositions while abstracting from what makes them true.

• Material conditionalNarrower topic: The conditional connects propositions treated as truth-valued units.

• Disjunctive syllogismNarrower topic: Each disjunct in the syllogism is a proposition that may be true or false.

• PredicateRelated: Applying a predicate to arguments produces a proposition with a truth value.

• Affirming the consequentNarrower topic: P and Q stand for propositions whose truth values determine whether the inference is valid.

• KnowledgeNarrower topic: Propositional knowledge concerns knowing that a particular claim is true.

• Judith LeysterBroader topic: Its ambiguous exchange makes this one of Leyster’s most discussed genre scenes.

• Disjunction eliminationNarrower topic: Each disjunct and the conclusion are propositions.

• Disjunction introductionNarrower topic: The rule begins with a proposition and preserves its truth in a larger formula.

• Epistemic contextualismRelated: Knowledge attributions concern whether a subject knows a particular proposition.

• Tractatus Logico-PhilosophicusRelated: The work analyzes propositions as pictures of possible facts.

• Circular reasoningNarrower topic: Circular arguments connect propositions so that a target claim returns among its own grounds.

• AcceptanceNarrower topic: Acceptance takes propositions, rather than objects or actions, as its usual contents.

• Axiom (general principle)Narrower topic: An axiom is a proposition granted a foundational role in reasoning.

• Biconditional introductionNarrower topic: The rule combines two propositions into a biconditional claim.

• Conjunction introductionNarrower topic: P and Q are propositions that the rule combines.

• Principle of bivalenceNarrower topic: Bivalence assigns exactly one of its two truth values to each proposition.