Gottlob Frege
Edit Page
Report
Scan day: 07 February 2014 UTC
-518
Virus safety - good
Description: Edward N. Zalta of the Metaphysics Research Lab.
Gottlob Frege (Stanford Encyclopedia of Philosophy) First published Thu Sep 14, 1995; substantive revision Mon Oct 22, 2012 Friedrich Ludwig Gottlob Frege (b. 1848, d. 1925) was a German mathematician, logician, and philosopher who worked at the University of Jena. Frege essentially reconceived the discipline of logic by constructing a formal system which, in effect, constituted the first ‘predicate calculus’. In this formal system, Frege developed an analysis of quantified statements and formalized the notion of a ‘proof’ in terms that are still accepted today. Frege then demonstrated that one could use his system to resolve theoretical mathematical statements in terms of simpler logical and mathematical notions. One of the axioms that Frege later added to his system, in the attempt to derive significant parts of mathematics from logic, proved to be inconsistent. Nevertheless, his definitions (e.g., of the
Size: 928 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Gottlob Frege (Stanford Encyclopedia of Philosophy) |
| Keywords: | |
| Description: | |
| IP-address: | 171.67.193.20 |
WHOIS Info
| NS | Name Servers: ARGUS.STANFORD.EDU 171.64.7.115, 2607:f6d0:0:9113::ab40:773 AVALLONE.STANFORD.EDU 171.64.7.88, 2607:f6d0:0:9116::ab40:758 |
| WHOIS | |
| Date | activated: 04-Oct-1985 last updated: 07-May-2009 expires: 31-Jul-2014 |