𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Frege, logic, and arithmetic

✍ Scribed by E. D. Klemke


Publisher
Springer Netherlands
Year
1970
Tongue
English
Weight
231 KB
Volume
21
Category
Article
ISSN
0031-8116

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Ineffability in Frege's logic
✍ Philip Hugly πŸ“‚ Article πŸ“… 1973 πŸ› Springer Netherlands 🌐 English βš– 868 KB

In this paper I consider the bearing of Frege's philosophical logic on the questions of (i) what can and cannot be said in the discussion of logical types and (ii) what is involved in symbolizing things of different logical types. I try to show, first, that certain ideas can be found in Frege's log

A bounded arithmetic AID for Frege syste
✍ Toshiyasu Arai πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 303 KB

In this paper we introduce a system AID (alogtime inductive deΓΏnitions) of bounded arithmetic. The main feature of AID is to allow a form of inductive deΓΏnitions, which was extracted from Buss' propositional consistency proof of Frege systems F in Buss (Ann. Pure Appl. Logic 52 (1991) 3-29). We show