Disambiguation evidence for Frege’s system in "Grundgesetze der Arithmetik" via surface form
"Frege’s logical system"
Triples (2)
Triples where some other subject referred to this entity
as "Frege’s logical system".
Hume’s Principle (derivable, not postulated)
→
holdsIn
→
"Frege’s logical system"
ⓘ
↳ resolves to Frege’s system in "Grundgesetze der Arithmetik"
Hume’s Principle (derivable, not postulated)
→
isDerivedIn
→
"Frege’s logical system"
ⓘ
↳ resolves to Frege’s system in "Grundgesetze der Arithmetik"