# Frege

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2014

Highly Cited

2014

- 2014

The lexicon of any natural language encodes a huge number of distinct word meanings. Just to understand this article, you willâ€¦Â (More)

Is this relevant?

2006

2006

- Ann. Pure Appl. Logic
- 2006

In this paper, we characterize the strength of the predicative Frege hierarchy, PV, introduced by John Burgess in his book [Bur05â€¦Â (More)

Is this relevant?

2004

2004

- Bulletin of Symbolic Logic
- 2004

Frege Arithmetic (FA) is the second-order theory whose sole non-logical axiom is Humeâ€™s Principle, which says that the number ofâ€¦Â (More)

Is this relevant?

2004

2004

- 2004

Let me start with a well-known story. Kant held that logic and conceptual analysis alone cannot account for our knowledge ofâ€¦Â (More)

Is this relevant?

2004

2004

- The Rise of Modern Logic: From Leibniz to Frege
- 2004

The German mathematician, logician and philosopher, Friedrich Ludwig Gottlob Frege, was born in Wismar on the Baltic on 8â€¦Â (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- 2003

Equality [1] gives rise to challenging questions which are not altogether easy to answer. Is it a relation? A relation betweenâ€¦Â (More)

Is this relevant?

2001

2001

- Journal of Logic, Language and Information
- 2001

The name â€˜Fregeâ€™s principleâ€™ is well known: it is discussed, obeyed or rejected in philosophy, linguistics, logic and computerâ€¦Â (More)

Is this relevant?

2001

2001

- Journal of Logic, Language and Information
- 2001

In this essay I will consider two theses that are associated with Frege, and will investigate the extent to which Frege â€œreallyâ€¦Â (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- SIAM J. Comput.
- 2000

The interpolation method has been one of the main tools for proving lower bounds for propositional proof systems. Looselyâ€¦Â (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- 1997

This first textbook on formal concept analysis gives a systematic presentation of the mathematical foundations and theirâ€¦Â (More)

Is this relevant?