What people are saying - Write a review
We haven't found any reviews in the usual places.
Foundations of Logic and Mathematics
CALCULUS AND INTERPRETATION
CALCULI AND THEIR APPLICATION IN EMPIRICAL
1 other sections not shown
abstract terms applied axiom system basis C-false C-true sentences calculus B-C called class of sentences constructed culus customary interpretation deduction definitions descriptive signs designata designates discussed elementary terms empirical science Euclidean system example expressions factual content factual sentences false finite cardinal number formulated fuer geometrical calculus given hence L-determinate L-implicate L-true language system logical calculus logical constants logical signs lower functional calculus mathe mathematical calculus matical metalanguage method mond ist blau mond ist kalt moon is blue natural numbers normal interpretation object-language observations Peano system physical calculus physical geometry physical theory Pragm pragmatics predicate variables predicates premisses primitive sentences procedure proof provable real numbers Rudolf Carnap rule SL rules of formation rules of inference rules of transformation semantical rules sentence of B-C sentential calculus singular sentences specific calculus specific signs syntax tences tion titisee ist kalt translation true interpretation truth conditions Unity of Science