A rigid designator names the same object across all possible worlds where that object exists. This concept is crucial in…
A non-classical theory of truth that allows for the revision of truth values. It addresses paradoxes like the liar paradox…
Reverse mathematics investigates the logical strength of mathematical theorems. It aims to identify the minimal axiomatic systems required to prove…
A predicate P represents a function f if P(x1,...,xn,y) is true iff f(x1,...,xn)=y. A unary predicate P represents set S…
Relevance logic is a non-classical logic designed to ensure premises are relevant to the conclusion, overcoming paradoxes found in material…
A relative consistency proof demonstrates that if a system S is consistent, adding new axioms to S also maintains consistency.…
Relational semantics interprets logical languages using relations between possible worlds or states of affairs. It's a key tool for understanding…
Referential opacity describes expressions where replacing a co-referential term might alter the truth value. This phenomenon is common in intensional…
The redundancy theory of truth posits that asserting a proposition is true is superfluous, adding no new information beyond the…
A theory with a recursive set of axioms that can derive all its theorems through logical deduction. This property is…