Logic and Foundations of Mathematics in Frege's Philosophy

analysis analytic apriority argue Arithmetik assertion axioms Bedeutung Begriff Begriffsschrift Benacerraf Bismark claim complete concept horse concept script consistency consistency proofs construction Dedekind defined definition denote discussion distinction doctrine epistemological existence expression extension fact false first-order formal foundations Frege says Frege's view Fregean function sign fundamental Geach Gottlob Frege grammar Grundgesetze Grundlagen der Geometrie Hilbert idea identity incomplete independent inference intuition judgment justification Kant Kant's Kantian Kernsätze kind language laws of logic logicist Logik Lotze mathematical knowledge Mathematical Logic mathematicians means natural numbers notion objects philosophical philosophy of mathematics possible predicate primitive principle priori knowledge problem proof proper name propositions proved quantifiers question reference relation rule of inference Russell's paradox seems semantic sense sense and reference sentence set theory stand statements suppose symbol synthetic a priori theorem thesis things thought tion true truth-value truths of arithmetic variables Wittgenstein word writings