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
β¦ 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
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
Frege systems for extensible modal logic
β
Emil JeΕΓ‘bek
π
Article
π
2006
π
Elsevier Science
π
English
β 307 KB
Fuzzy logic and arithmetical hierarchy
β
Petr HΓ‘jek
π
Article
π
1995
π
Elsevier Science
π
English
β 333 KB
Cryotron storage, arithmetic and logical
β
M.K. Haynes
π
Article
π
1960
π
Elsevier Science
π
English
β 630 KB
Arithmetic tools for quantum logic
β
J. C. Dacey
π
Article
π
1990
π
Springer US
π
English
β 679 KB