Liên hệ
Tiếng Việt
Tiếng Anh
Thứ năm, 10/10/2024
The Logical Writings of Karl Popper
Cập nhật vào: Thứ sáu - 10/11/2023 10:47
Nhan đề chính: The Logical Writings of Karl Popper
Nhan đề dịch: Các tác phẩm logic của Karl Popper
Tác giả: David Binder, Thomas Piecha, Peter Schroeder-Heister
Nhà xuất bản: Springer Cham
Năm xuất bản: 2022
Số trang: 576 tr.
Ngôn ngữ: Tiếng Anh
ISBN: 978-3-030-94926-6
SpringerLink
Lời giới thiệu: Cuốn sách là tuyển tập đầu tiên các bài viết của Karl Popper về logic suy diễn. Karl R. Popper (1902-1994) là một trong những triết gia có ảnh hưởng nhất thế kỷ 20. Triết lý khoa học của ông ("chủ nghĩa ngụy tạo") và triết học xã hội và chính trị của ông ("xã hội mở") đã được thảo luận rộng rãi ngoài triết học hàn lâm. Điều ít được biết đến là Popper cũng đã cho ra đời một công trình đáng kể về cơ sở của logic suy diễn, phần lớn được xuất bản vào cuối những năm 1940 dưới dạng các bài báo ở những nơi rải rác. Công trình ít được biết đến này xứng đáng được biết đến nhiều hơn, vì nó rất có ý nghĩa đối với ngữ nghĩa lý thuyết chứng minh hiện đại. Bộ sưu tập này tập hợp các bài viết đã xuất bản của Popper về logic suy diễn trong một tập duy nhất, cùng với tất cả các bài phê bình về các bài báo này. Nó cũng chứa một lượng lớn tài liệu chưa được xuất bản từ Kho lưu trữ Popper, bao gồm thư từ của Popper liên quan đến logic suy diễn và các bản thảo đã (gần như) hoàn thành, nhưng chưa đến giai đoạn xuất bản. Tất cả các mục này được chỉnh sửa nghiêm túc với các nhận xét bổ sung của các biên tập viên. Phần giới thiệu chung đặt công trình của Popper vào bối cảnh của các cuộc thảo luận hiện tại về nền tảng của logic. Cuốn sách này nên được các nhà logic học, triết học và bất kỳ ai quan tâm đến công việc của Popper quan tâm.
Từ khóa: Logic; Logic toán học và cơ sở; Toán học và Thống kê; Xu hướng trong logic.
Nội dung cuốn sách gồm những phần sau:
- Lý thuyết logic suy diễn của Popper
* Bài báo đã xuất bản
- Logic không có giả định (1947)
- Cơ sở mới cho logic (1947)
- Logic chức năng không có tiên đề hoặc quy tắc suy luận nguyên thủy (1947)
- Về lý thuyết suy diễn, Phần I. Đạo hàm và những khái quát của nó (1948)
- Về Lý thuyết Khấu trừ, Phần II. Các định nghĩa về phủ định cổ điển và trực giác (1948)
- Sự tầm thường hóa logic toán học (1949)
- Có mâu thuẫn ôm ấp? (1943)
- Ghi chú về Định nghĩa Chân lý của Tarski (1955)
- Về một giải pháp được đề xuất cho nghịch lý của kẻ nói dối (1955)
- Về điều kiện giả định với tiền đề không thể (1959)
- Tiên đề hóa của Lejewski về Lý thuyết suy diễn của tôi (1974)
- Đánh giá các bài báo của Popper về logic
* Bản thảo chưa xuất bản
- Về hệ thống các quy tắc suy luận
- Một lý thuyết chung về suy luận
- Về logic của sự phủ định
- Lưu ý về câu điều kiện cổ điển
* Bản thảo chưa xuất bản
- Ba lưu ý về dẫn xuất và chứng minh
- Ghi chú Bài giảng về Logic (1939–1941)
- Nguồn gốc của Logic hiện đại
* Thư tín
- Thư từ của Popper với Paul Bernays
- Thư từ của Popper với Luitzen Egbertus Jan Brouwer
- Thư từ của Popper với Rudolf Carnap
- Thư từ của Popper với Nhà thờ Alonzo
- Thư từ của Popper với Kalman Joseph Cohen
- Thư từ của Popper với Henry George Forder
- Thư từ của Popper với Harold Jeffreys
- Thư từ của Popper với Stephen Cole Kleene
- Thư từ của Popper với William Calvert Kneale
- Thư từ của Popper với Willard Van Orman Quine
- Thư từ của Popper với Heinrich Scholz
- Thư từ của Popper với Peter Schroeder-Heister
