Russellian logic

E1036182
formal logic framework logical system philosophical theory of logic

Russellian logic is the formal logical framework developed by Bertrand Russell, emphasizing precise analysis of language, types, and logical form to avoid paradoxes and clarify philosophical problems.

Try in SPARQL Jump to: Surface forms Statements Referenced by

Observed surface forms (1)

Surface form Occurrences
Russellian type theory 1

Statements (44)

Predicate Object
instanceOf formal logic framework ⓘ
logical system ⓘ
philosophical theory of logic ⓘ
addresses Russell's paradox NERFINISHED ⓘ
foundations of arithmetic ⓘ
problem of non-referring expressions ⓘ
problem of universals ⓘ
aimsToSolve semantic paradoxes ⓘ
set-theoretic paradoxes ⓘ
appliesTo foundations of mathematics ⓘ
metaphysics ⓘ
philosophy of language ⓘ
associatedWithAuthor Alfred North Whitehead NERFINISHED ⓘ
associatedWithWork Principia Mathematica NERFINISHED ⓘ
clarifies logical structure of propositions ⓘ
reference and denotation ⓘ
scope and quantification ⓘ
contrastsWith Aristotelian syllogistic logic NERFINISHED ⓘ
developedBy Bertrand Russell NERFINISHED ⓘ
emphasizes analysis of logical form ⓘ
precise analysis of language ⓘ
theory of types ⓘ
formalizedIn Principia Mathematica notation NERFINISHED ⓘ
hasKeyConcept hierarchy of types ⓘ
logical form ⓘ
propositional function ⓘ
theory of descriptions ⓘ
hasMainGoal avoid logical paradoxes ⓘ
clarify philosophical problems ⓘ
influenced contemporary formal semantics ⓘ
logical positivism ⓘ
ordinary language philosophy ⓘ
influencedBy Gottlob Frege's predicate logic NERFINISHED ⓘ
philosophicalTradition analytic philosophy ⓘ
presupposes distinction between names and descriptions ⓘ
distinction between object language and metalanguage ⓘ
relatedTo analytic philosophy ⓘ
predicate logic ⓘ
type theory ⓘ
seeks elimination of ambiguity in philosophical discourse ⓘ
rigorous foundations for mathematics ⓘ
timePeriod early 20th century ⓘ
uses formal symbolism ⓘ
usesMethod logical analysis of language ⓘ

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Speaking of Objects → influencedBy → Russellian logic ⓘ
New Foundations for Mathematical Logic → influencedBy → Russellian logic ⓘ
this entity surface form: Russellian type theory