## Logic, semantics, metamathematics: papers from 1923 to 1938 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

ON THE PRIMITIVE TERM OF LOGISTIC 1 | 20 |

ON SOME FUNDAMENTAL CONCEPTS | 30 |

INVESTIGATIONS INTO THE SENTENTIAL | 38 |

13 other sections not shown

### Common terms and phrases

analogous applied arbitrary arithmetic axiom system basis belong Boolean algebra Boolean ring calculus of classes calculus of systems cardinal number Cn(A Cn(X complete concept of consequence connexion consistent construction contains correlate corresponding deductive sciences deductive system deductive theory definition of truth denote dense order discussed element equivalent example expressions fact finite number following conditions formalized languages free variables functors geometry given infinite sequence interpretation intuitive investigations Lemma Lesniewski logically provable Lukasiewicz mathematical matrix mereology metalanguage metamathematical metatheory method names natural number negation notion obtain occur operations particular problem proof of Th properties provable sentences proved real numbers relation rules of inference satisfies the condition satisfies the following satisfies the formula semantical categories sentential calculus sentential function sentential variables set of sentences signs structural symbol Tarski Theorem tion topological space true sentence universal quantification