Logic, Semantics, Metamathematics: Papers from 1923 to 1938 |
Contents
Translators Preface | 1 |
FOUNDATIONS OF THE GEOMETRY OF SOLIDS | 24 |
ON SOME | 30 |
INVESTIGATIONS INTO THE SENTENTIAL | 38 |
FUNDAMENTAL CONCEPTS OF THE METHODO | 60 |
60 | 91 |
ON DEFINABLE SETS OF REAL NUMBERS | 110 |
LOGICAL OPERATIONS AND PROJECTIVE SETS | 143 |
SOME METHODOLOGICAL INVESTIGATIONS | 296 |
ON THE FOUNDATIONS OF BOOLEAN ALGEBRA | 320 |
FOUNDATIONS OF THE CALCULUS | 342 |
ON THE LIMITATIONS OF THE MEANS | 384 |
ON EXTENSIONS OF INCOMPLETE SYSTEMS | 393 |
THE ESTABLISHMENT OF SCIENTIFIC | 401 |
ON THE CONCEPT OF LOGICAL CONSEQUENCE | 409 |
SENTENTIAL CALCULUS AND TOPOLOGY | 421 |
Other editions - View all
Logic, Semantics, Metamathematics: Papers from 1923 to 1938 Alfred Tarski,John Corcoran No preview available - 1983 |
Common terms and phrases
algebra of logic analogous arbitrary axiom system basis belong Boolean algebra Boolean ring calculus of classes calculus of systems cardinal number Carnap Cn(A Cn(X complete concept of consequence connexion consistent construction contains correlated deductive sciences deductive systems deductive theories definition of truth denote dense order derived discussed domain element equivalent example expressions fact following conditions formal free variables geometry given hence implies individuals infinite sequence interpretation investigations language LEMMA Leśniewski logically provable Łukasiewicz Math mathematical matrix mereology metalanguage metamathematical metatheory method natural number negation notion obtain open sets operations particular Post problem provable sentences proved real numbers relation rules of inference satisfies the condition satisfies the following satisfies the formula semantical categories sentential calculus sentential function set of sentences structural symbol system X Tarski THEOREM tion topological space true sentence universal quantification X₁