Frege

Frege is a non-strict, purely functional programming language for the Java virtual machine in the spirit of Haskell. It is considered a Haskell…

Papers overview

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

2009

Preface Introduction 1. THE STARTING POINT 1.1 The Fundamental Idea of Frege's Conceptual Notation 1.2 Generality and the…

2006

This paper discusses some of the long term objectives of cognitive robotics and some of the requirements for meeting those…

2004

Frege Arithmetic (FA) is the second-order theory whose sole non-logical axiom is Hume’s Principle, which says that the number of…

2002

References Campbell, R. and L. Sowden. 1985. Paradoxes of Rationality and Cooperation; Prisoner's Dilemma and Newcomb's Problem…

2000

In his book The Value of Science, Poincare criticizes a certain view of the growth of mathematical knowledge: The advance of…

2000

This paper brings to light a new puzzle for Frege interpretation, and offers a solution to that puzzle. The puzzle concerns Frege…

1998

C. I. Lewis repeatedly exempts MacColl from criticisms of his predecessors in their accounts of implication. They had all taken a…

Highly Cited

1991

Highly Cited

1991

Hill and Rosado Haddock break new ground in examining Husserl's ideas in relation to those of Georg Cantor, creator of set theory…

1986

In this paper, I describe how Donnellan's distinction between referential and attributive uses of definite descriptions should be…

1981

Abstract : For natural language database systems to operate effectively in practical domains, they must have the capabilities…