Russell's hidden substitutional theory /

Mostrar otras versiones (1)

Explores a central thread unifying Russell's thoughts on logic in two works considered at odds with each other: "Principles of Mathematics" and "Principia Mathematica". The thread states that logic is an absolutely general science and any calculus for it must embrace unrestr...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Landini, Gregory
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York : Oxford University Press, 1998.
Temas:
Russell, Bertrand, > 1872-1970.
1900-1999
Proposition (Logic) > History > 20th century.
Logic, Symbolic and mathematical > History > 20th century.
Proposition (Logique) > Histoire > 20e siècle.
Logique symbolique et mathématique > Histoire > 20e siècle.
PHILOSOPHY > Logic.
Logic, Symbolic and mathematical.
Proposition (Logic)
Propositielogica.
Wiskunde.
History.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • The unrestricted variable
  • Russell's logicist program
  • Two conceptions of logicism: Frege and Russell
  • Arithmetization
  • Russell's principle of abstraction
  • Logic as a science
  • The logic of the principles of mathematics
  • The calculus for the logic propositions
  • Russell's definitions
  • The theory of implication
  • Quodlibet ens est unum
  • Denoting concepts
  • The analysis of the variable
  • The new theory of the variable
  • "On fundamentals" against denoting concepts
  • An argument against Frege?
  • The variable as primitive
  • The road to substitution
  • Types as logical grammar
  • The logic of substitution
  • Russell's original principles of substitution
  • The basic logic of propositions
  • Substitutional principles
  • Identity
  • Proofs of propositional identities
  • The "no propositional functions" theory
  • Substitution and definite descriptions
  • Multiple substitutions
  • Comprehension and identity
  • Types as logical grammar
  • The "no-classes" theory
  • Classes as extensional propositional functions
  • Complex prototypes and extensionality
  • The general theory of classes
  • Comparison with Principia mathematica
  • The "no-relations[subscript e]" theory
  • Relations-in-extension in Principia mathematica
  • Relations-in-extension in the substitutional theory
  • Cantor's paradox of the greatest cardinal
  • The Burali-Forti paradox
  • Ramification
  • Les paradoxes de la logique
  • Three paradoxes of propositions
  • Substitutional manuscripts of April/May 1906
  • Poincare's vicious circle principle.

Ejemplares similares