Gottlob Frege nimelised loengud teoreetilises filosoofias
Gottlob Frege nimelised loengud teoreetilises filosoofias on saanud oma nime saksa matemaatiku ja filosoofi Friedrich Ludwig Gottlob Frege järgi. Me oleme valinud tema oma loengute patrooniks, sest ta on üleüldiselt tundud oma selguse, tagasihoidlikuse ja no-nonsense stiili järgi filosoofiliste probleemide lahendamisel. Neile tunnustele püüdlevad ka Tartus peetavad loengud.
Stanford Encyclopedia of Philosophy artiklist:
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 (of the predecessor relation and of the concept of natural number) and methods (for deriving the axioms of number theory) constituted a significant advance. To ground his views about the relationship of logic and mathematics, Frege conceived a comprehensive philosophy of language that many philosophers still find insightful. However, his lifelong project, of showing that mathematics was reducible to logic, was not successful.