Supposition in Medieval Logic
Explore supposition in medieval logic, understanding how expressions relate to objects. It's…
Supervaluational Semantics: A Theory for Vagueness
Supervaluational semantics addresses vagueness by evaluating propositions across multiple precise interpretations. A…
Super-True Propositions in Supervaluational Semantics
Super-true propositions are central to supervaluational semantics. They remain true regardless of…
Supertask: Infinite Operations in Finite Time
A supertask involves completing an infinite sequence of operations within a finite…
Suffix Notation (Reverse Polish Notation)
Suffix notation, also known as reverse Polish notation (RPN), places operators after…
The Successor Function in Arithmetic and Logic
The successor function, denoted S(n) = n + 1, is a foundational…
Subtheory: Understanding Theories Within Theories
A subtheory is a specialized theory nested within a broader one. It…
Substructural Logic
Substructural logics are non-classical systems that alter or remove structural rules of…
Substitutional Quantifier
A substitutional quantifier ranges over expressions or names, not objects. It's crucial…
Substitution Instance in Logic
A substitution instance is the result of replacing variables in a well-formed…