Nhan đề chính: Harmony and Paradox

Nhan đề dịch: Sự hài hòa và nghịch lý

Tác giả: Luca Tranchini

Nhà xuất bản: Springer Cham

Năm xuất bản: 2024

Số trang: 199 tr.

Ngôn ngữ: Tiếng Anh 

ISBN: 978-3-031-46921-3

SpringerLink

Lời giới thiệu: Cuốn sách truy cập mở này nghiên cứu vai trò của  tính đồng nhất của các bằng chứng  trong ngữ nghĩa lý thuyết chứng minh. Nó phát triển một khái niệm về ngữ nghĩa lý thuyết chứng minh chủ yếu liên quan đến mối quan hệ giữa các bằng chứng (được hiểu là các thực thể trừu tượng) và các phép suy diễn (các biểu diễn ngôn ngữ của các bằng chứng). Nó chứng minh rằng tính đồng nhất của bằng chứng là chìa khóa để làm rõ một số khái niệm vẫn chưa được hiểu hoàn toàn ở cốt lõi của ngữ nghĩa lý thuyết chứng minh, chẳng hạn như  sự hài hòa; và để mở rộng phạm vi các hiện tượng có thể được phân tích bằng các công cụ của mô hình ngữ nghĩa này, để bao gồm ví dụ như  các nghịch lý .

Tập sách bao gồm các chủ đề như ý nghĩa triết học của các tiêu chí khác nhau về tính đồng nhất của các bằng chứng và các điều kiện đầy đủ cho một lý giải nội hàm về khái niệm sự hài hòa. Tác giả cũng xem xét phân tích nghịch lý Prawitz-Tennant bằng cách điều tra một mặt triển vọng biến nó thành một lý thuyết về ý nghĩa cho các ngôn ngữ nghịch lý, và mặt khác hai loại hiện tượng riêng biệt, lần đầu tiên được Crabbe và Ekman quan sát, cho thấy tiêu chuẩn Tennant-Prawitz về tính nghịch lý sinh ra quá mức. Tập sách này được các học giả trong lĩnh vực logic hình thức và triết học quan tâm.

Từ khóa: Logic; Toán học; Nghịch lý; Suy luận. 

Nội dung cuốn sách gồm những phần sau:

- Hòa hợp

- Sự hài hòa thông qua sự giản lược và sự mở rộng

- Bản sắc của Bằng chứng

- Hướng tới một khái niệm sâu sắc về sự hòa hợp

- Nghịch lý

- Nghịch lý: Một cách tiếp cận suy luận tự nhiên

- Tính hợp lệ, ý nghĩa và nghĩa biểu thị trước nghịch lý

- Hai loại khó khăn