首页

Alfred Tarski viết vào năm 1923 trong một tạp chí học thuật ở ba LAN. Trong bức ảnh là một phiên bản của bài luận văn tiếng anh Tarski năm 1956, có tựa đề là Logic, Semantics, Metamathematics, xuất bản thứ hai năm 83. Bài viết này là bài đầu tiên trong cuốn sách, tên là "On the Primitive Term of Logistic". Ở đây Primitive Term là vân và, ám chỉ đến Or, Implication, Negation, For all đợi logic biểu tượng. Bài viết này không có nhiều trang và được dành để đặt câu hỏi về câu hỏi được gạch dưới trong hình ảnh :(ngoài lượng từ) chỉ dùng biểu tượng "tỉ lệ thuận" để xây dựng một hệ thống logic. Bài báo nói là đủ rồi. Tôi không chắc đó là sự khác nhau giữa một cái gọi là intuitionistic và một cái gọi là phổ thông (có thể là phổ thông). Nhưng có một chút có thể thực sự, là λ là higher order, Quine đã thúc λ có thể thay thế vào năm 1956 Quantifier, và bản thân λ là Equational gắn đúng (tìm -- or tìm η - equality). Đó là lý do tại SAO mã a cũng dễ dàng Encoding Higher Order Logic, Đó là lý thuyết đơn Type của Henkin và Andrews được phát hành tại nhà tiên tri năm 1940 và dùng Equality như là một cách tiếp cận duy nhất của primitive, hay viết tắt là HOL.