Factbites
 Where results make sense
About us   |   Why use us?   |   Reviews   |   PR   |   Contact us  

Topic: Metalogic


Related Topics
IFF

  
 PhilSci Archive - Year: 2002
Awodey, Steve and Reck, Erich H. (2002) Completeness and Categoricity, Part I: 19th Century Axiomatics to 20th Century Metalogic.
Awodey, Steve and Reck, Erich H. (2002) Completeness and Categoricty, Part II: 20th Century Metalogic to 21st Century Semantics.
Bain, Jonathan (2002) Eintein Algebras and the Hole Argument.
philsci-archive.pitt.edu /view/year/2002.html   (2467 words)

  
 Principia Mathematica
By using a notation superior in many ways to that of Frege, Whitehead and Russell managed to convey the remarkable expressive power of modern predicate logic in a way that previous writers had been unable to achieve.
Second, by exhibiting so clearly the deductive power of the new logic, Whitehead and Russell were able to show how powerful the modern idea of a formal system could be, thus opening up new work in what was soon to be called metalogic.
Third, Principia Mathematica reaffirmed clear and interesting connections between logicism and two main branches of traditional philosophy, namely metaphysics and epistemology, thus initiating new and interesting work in both these and other areas.
plato.stanford.edu /entries/principia-mathematica   (1569 words)

Try your search on: Qwika (all wikis)

Factbites
  About us   |   Why use us?   |   Reviews   |   Press   |   Contact us  
Copyright © 2005-2007 www.factbites.com Usage implies agreement with terms.