6 search results - page 1 / 2 » Fregean logics |
73
Voted
JANCL
2007
14 years 10 months ago
2007
APAL
2004
14 years 10 months ago
2004
75
Voted
SLOGICA
2008
14 years 10 months ago
2008
Logic is a celebrated representation language because of its formal generality. But there are two senses in which a logic may be considered general, one that concerns a technical a...
86
Voted
NDJFL
2000
14 years 10 months ago
2000
now of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimic...
NDJFL
2000
14 years 10 months ago
2000
In this paper, we explore Fregean metatheory, what Frege called the New Science. The New Science arises in the context of Frege's debate with Hilbert over independence proofs ...