Rudolf Carnap

Rudolf Carnap (18 tháng 5 năm 1891 – 14 tháng 9 năm 1970) là một nhà triết học người Đức, về sau nhập quốc tịch Hoa Kỳ, và là một trong những đại diện quan trọng nhất của chủ nghĩa thực chứng logic và chủ nghĩa kinh nghiệm logic. Ông thuộc truyền thống triết học phân tích và có những đóng góp lớn cho triết học khoa học, logic, ngữ nghĩa học, triết học ngôn ngữ, lý thuyết xác suất và logic quy nạp.

Carnap là một thành viên trung tâm của Nhóm Vienna và là một trong những người góp phần hình thành lĩnh vực triết học khoa học hiện đại. Trong sự nghiệp kéo dài hơn nửa thế kỷ, quan điểm của ông thay đổi đáng kể: từ những nỗ lực xây dựng một hệ thống cấu tạo tri thức trong Der logische Aufbau der Welt, qua chương trình cú pháp của The Logical Syntax of Language, đến ngữ nghĩa học, logic tình thái và chương trình logic quy nạp dựa trên xác suất.

Một đặc điểm xuyên suốt tư tưởng Carnap là quan niệm rằng nhiều vấn đề triết học xuất hiện do các khái niệm hoặc ngôn ngữ được sử dụng chưa đủ chính xác. Thay vì chỉ tìm câu trả lời trong khuôn khổ khái niệm sẵn có, Carnap thường tìm cách xây dựng những hệ thống khái niệm và ngôn ngữ chính xác hơn để thay thế chúng. Cách tiếp cận này về sau được ông gọi là giải minh (explication).

Cuộc đời

Carnap sinh ngày 18 tháng 5 năm 1891 tại Ronsdorf, khi đó thuộc Đế quốc Đức. Ông học toán học, vật lý và triết học tại các đại học ở Jena và Freiburg. Trong thời gian học tại Jena, ông tham dự một số khóa học của Gottlob Frege, đặc biệt về logic và nền tảng toán học. Những ghi chép của Carnap từ các khóa học này về sau trở thành một nguồn tư liệu đáng chú ý về hoạt động giảng dạy của Frege.

Việc học của Carnap bị gián đoạn bởi Chiến tranh thế giới thứ nhất. Ông phục vụ trong quân đội Đức trong chiến tranh, sau đó trở lại nghiên cứu triết học và khoa học. Luận án tiến sĩ của ông, Der Raum ("Không gian"), hoàn thành năm 1921 và được xuất bản năm 1922, nghiên cứu các khái niệm khác nhau về không gian và quan hệ giữa hình học, kinh nghiệm và triết học. Tác phẩm này vẫn mang dấu ấn của Immanuel Kant và truyền thống Kant mới, mặc dù Carnap về sau rời xa nhiều yếu tố của lập trường đó.

Trong những năm đầu thập niên 1920, Carnap tìm cách xây dựng một hệ thống thống nhất của tri thức dựa trên những công cụ của logic hiện đại. Ông chịu ảnh hưởng của nhiều nguồn khác nhau, trong đó có Frege, Bertrand Russell và Ludwig Wittgenstein. Công trình này dần phát triển thành Der logische Aufbau der Welt ("Cấu trúc logic của thế giới"), thường được gọi tắt là Aufbau.

Năm 1926, Carnap chuyển đến Vienna và tham gia nhóm triết gia cùng các nhà khoa học tập hợp quanh Moritz Schlick, về sau được biết đến rộng rãi với tên Nhóm Vienna. Carnap nhanh chóng trở thành một trong những nhân vật trung tâm của nhóm. Năm 1929, cùng Hans Hahn và Otto Neurath, ông tham gia soạn tuyên ngôn Wissenschaftliche Weltauffassung: Der Wiener Kreis ("Thế giới quan khoa học: Nhóm Vienna"), văn bản có vai trò quan trọng trong việc xác lập chương trình của chủ nghĩa thực chứng logic và chủ nghĩa kinh nghiệm logic.

Trong giai đoạn ở Vienna, Carnap và những người cùng nhóm thường xuyên thảo luận tác phẩm của Ludwig Wittgenstein. Tuy chịu ảnh hưởng lớn từ Tractatus Logico-Philosophicus, Carnap dần tách khỏi một số giả định của Wittgenstein và phát triển quan niệm riêng về ngôn ngữ, logic và phương pháp triết học.

Cuối năm 1931, Carnap chuyển tới Prague và trở thành giáo sư tại Đại học Đức ở Prague. Chính tại đây ông viết hai bản thảo của Logische Syntax der Sprache ("Cú pháp logic của ngôn ngữ"), một trong những tác phẩm quan trọng nhất của mình.

Sự trỗi dậy của chủ nghĩa Quốc xã khiến nhiều thành viên của Nhóm Vienna và các phong trào triết học liên quan rời khỏi Trung Âu. Carnap di cư sang Hoa Kỳ vào năm 1935. Từ năm 1936 đến năm 1952, ông giảng dạy tại Đại học Chicago.

Carnap nhập quốc tịch Hoa Kỳ năm 1941. Sau khi rời Chicago năm 1952, ông làm việc hai năm tại Institute for Advanced Study ở Princeton. Năm 1954, ông nhận vị trí tại Đại học California, Los Angeles và tiếp tục làm việc tại đây cho đến cuối đời.

Trong thời gian ở Hoa Kỳ, Carnap tập trung ngày càng nhiều vào ngữ nghĩa học, logic tình thái, xác suất và logic quy nạp. Ông cũng duy trì trao đổi học thuật rộng rãi với nhiều nhà triết học và nhà logic học, trong đó có Alfred Tarski, Kurt Gödel và Willard Van Orman Quine.

Carnap qua đời ngày 14 tháng 9 năm 1970 tại Santa Monica, California, ở tuổi 79.

Phương pháp triết học

Tái cấu trúc hợp lý và giải minh

Carnap không xem nhiệm vụ chính của triết học là khám phá một tầng thực tại nằm phía sau khoa học. Ông quan tâm nhiều hơn đến việc làm rõ và cải thiện những công cụ khái niệm mà con người sử dụng để mô tả, suy luận và xây dựng tri thức.

Trong các công trình thời kỳ đầu, Carnap thường nói đến tái cấu trúc hợp lý (rational reconstruction): thay vì mô tả một khái niệm hoặc một quá trình tri thức đúng như cách nó xuất hiện trong đời sống thường nhật, nhà triết học có thể xây dựng một mô hình logic chính xác hơn, trong đó quan hệ giữa các khái niệm được thể hiện rõ ràng.

Về sau, Carnap sử dụng thuật ngữ giải minh (explication) cho một phương pháp rộng hơn. Một khái niệm tương đối mơ hồ trong ngôn ngữ thường ngày, gọi là explicandum, được thay bằng một khái niệm chính xác hơn, gọi là explicatum. Khái niệm mới không cần giống hoàn toàn khái niệm cũ; nó phải đủ gần để giữ lại chức năng cần thiết nhưng đồng thời chính xác hơn và hữu ích hơn đối với mục đích nghiên cứu.

Carnap nêu một số tiêu chí cho một phép giải minh tốt: khái niệm thay thế cần có sự tương đồng thích hợp với khái niệm ban đầu, được xác định chính xác, có tính hữu ích hoặc khả năng sinh sản lý thuyết cao, và nếu các điều kiện khác ngang nhau thì nên tương đối đơn giản.

Phương pháp này khiến triết học của Carnap có tính kiến tạo rõ rệt. Câu hỏi không chỉ là một khái niệm đang có nghĩa gì, mà còn có thể là nên xây dựng một khái niệm chính xác nào để phục vụ một mục đích nhất định. Những nghiên cứu gần đây về Carnap thường xem phương pháp giải minh là một tiền thân quan trọng của các cách tiếp cận hiện đại về thiết kế hoặc kỹ nghệ khái niệm.

Der logische Aufbau der Welt

Der logische Aufbau der Welt, xuất bản năm 1928, là nỗ lực lớn đầu tiên của Carnap nhằm trình bày một hệ thống cấu tạo trong đó các đối tượng và khái niệm thuộc nhiều lĩnh vực tri thức có thể được sắp xếp trong một cấu trúc logic chung.

Carnap chọn những kinh nghiệm cá nhân làm một cơ sở khả dĩ của hệ thống và tìm cách chỉ ra bằng những quan hệ cấu trúc cách có thể đi từ cơ sở này đến các đối tượng vật lý, tâm lý và văn hóa. Một công cụ đặc biệt của tác phẩm là phương pháp phân tích giả (quasi-analysis), được thiết kế để xây dựng các lớp và quan hệ từ những trải nghiệm cơ bản mà không giả định ngay từ đầu rằng chúng đã được phân chia thành những thành phần đơn giản.

Trong một thời gian dài, Aufbau thường được diễn giải như một chương trình quy giản toàn bộ tri thức thành các dữ liệu cảm giác cá nhân. Tuy nhiên, từ cuối thế kỷ XX, nhiều nghiên cứu đã nhấn mạnh rằng mục tiêu của tác phẩm phức tạp hơn: Carnap quan tâm đến việc giải thích cách tri thức khách quan có thể được xây dựng về mặt cấu trúc từ một điểm xuất phát chủ quan, chứ không chỉ đơn giản tuyên bố rằng mọi thực thể là những tập hợp cảm giác.

Aufbau cũng thể hiện một đặc điểm sẽ tiếp tục trong tư tưởng Carnap: ông ít quan tâm đến "bản chất nội tại" của các đối tượng hơn đến những quan hệ cấu trúc có thể được biểu diễn trong một hệ thống chính xác.

Từ Aufbau đến cú pháp

Đến đầu thập niên 1930, Carnap từ bỏ một số giả định của chương trình Aufbau. Những tranh luận trong Nhóm Vienna về câu quan sát, ngôn ngữ khoa học và ý nghĩa dẫn ông đến một cách tiếp cận mới.

Thay vì tìm một ngôn ngữ duy nhất được xác định bởi cấu trúc của thực tại, Carnap bắt đầu xem các ngôn ngữ hình thức như những hệ thống có thể được xây dựng bằng những quy tắc rõ ràng. Triết học, trong giai đoạn này, trở thành việc nghiên cứu cấu trúc hình thức của các hệ thống ngôn ngữ và quan hệ logic giữa các biểu thức của chúng.

Kết quả quan trọng nhất của giai đoạn này là Logische Syntax der Sprache, xuất bản năm 1934 và được dịch sang tiếng Anh với nhan đề The Logical Syntax of Language năm 1937.

Cú pháp logic

Trong chương trình cú pháp, Carnap nghiên cứu ngôn ngữ chủ yếu như một hệ thống ký hiệu được điều khiển bởi những quy tắc hình thức. Một hệ thống ngôn ngữ có thể chứa các quy tắc xác định những chuỗi ký hiệu hợp lệ, cùng các quy tắc biến đổi hoặc suy diễn cho phép chuyển từ một số câu sang những câu khác.

Ở giai đoạn này, Carnap đặc biệt nhấn mạnh sự khác biệt giữa việc nói về các đối tượng và việc nói về những biểu thức của ngôn ngữ. Ông cho rằng nhiều phát biểu triết học tưởng như nói về bản chất của sự vật có thể được chuyển thành các phát biểu về những quy tắc hoặc cấu trúc của ngôn ngữ được sử dụng.

Cách tiếp cận này cũng cho phép Carnap tránh việc giả định rằng có một hệ thống logic duy nhất được thực tại áp đặt sẵn lên mọi ngôn ngữ.

Nguyên tắc khoan dung

Một trong những luận điểm nổi tiếng nhất của The Logical Syntax of Language là nguyên tắc khoan dung (principle of tolerance). Theo nguyên tắc này, trong logic không cần giả định rằng chỉ có một ngôn ngữ hoặc một hệ logic duy nhất là "đúng". Người nghiên cứu có thể xây dựng những hình thức ngôn ngữ khác nhau, miễn là các quy tắc của chúng được quy định đủ rõ để có thể xác định hệ quả của việc sử dụng chúng.

Vì vậy, bất đồng về việc nên sử dụng một hệ logic hay ngôn ngữ nào không nhất thiết phải được hiểu như tranh luận về một sự kiện siêu hình có câu trả lời duy nhất. Trong nhiều trường hợp, đó là vấn đề lựa chọn một công cụ thích hợp với mục đích nghiên cứu.

Điều này không có nghĩa mọi hệ thống đều tốt ngang nhau. Các ngôn ngữ và khung khái niệm vẫn có thể được đánh giá dựa trên những mục đích thực tế và lý thuyết như tính đơn giản, khả năng biểu đạt, khả năng hỗ trợ suy luận hoặc mức độ hữu ích trong khoa học. Nguyên tắc khoan dung thay đổi loại câu hỏi được đặt ra: thay vì hỏi hệ thống nào phản ánh một "logic thực sự" duy nhất, Carnap hỏi hệ thống nào phù hợp hơn với nhiệm vụ đang xét.

Phê phán siêu hình học

Carnap nổi tiếng với những phê phán mạnh đối với siêu hình học. Trong các tác phẩm của thập niên 1930, ông cho rằng nhiều câu truyền thống được trình bày như những khẳng định về thực tại nhưng không đáp ứng những điều kiện cần thiết để có nội dung nhận thức theo hệ thống ngôn ngữ được sử dụng.

Một ví dụ nổi tiếng xuất hiện trong bài Überwindung der Metaphysik durch logische Analyse der Sprache ("Vượt qua siêu hình học bằng phân tích logic ngôn ngữ", 1932), trong đó Carnap phân tích một số phát biểu siêu hình và cho rằng vẻ ngoài ngữ pháp của chúng có thể khiến người đọc tưởng rằng chúng tạo thành những mệnh đề có nội dung mặc dù không thỏa các điều kiện logic hoặc ngữ nghĩa cần thiết.

Tuy nhiên, quan điểm của Carnap về siêu hình học không nên được giản lược thành tuyên bố rằng mọi câu hỏi tổng quát về cấu trúc của thế giới đều vô nghĩa. Trong các tác phẩm về sau, ông thừa nhận rằng việc xây dựng những khung khái niệm rất tổng quát có thể là một nhiệm vụ quan trọng. Sự phản đối của ông chủ yếu nhắm vào những phát biểu được trình bày như các mệnh đề nhận thức về thực tại nhưng không có tiêu chuẩn rõ ràng để xác định nội dung và đánh giá chúng.

Từ cú pháp đến ngữ nghĩa học

Từ giữa thập niên 1930, Carnap dần mở rộng chương trình của mình từ cú pháp hình thức sang ngữ nghĩa học. Một ảnh hưởng quan trọng đối với bước chuyển này là công trình của Alfred Tarski về chân lý và các khái niệm ngữ nghĩa trong ngôn ngữ hình thức.

Trong chương trình cú pháp trước đó, Carnap cố gắng nghiên cứu các hệ ngôn ngữ chủ yếu thông qua hình thức của ký hiệu và những quy tắc biến đổi chúng. Tuy nhiên, một lý thuyết đầy đủ về ngôn ngữ khoa học cũng cần mô tả quan hệ giữa biểu thức với những gì chúng biểu thị, cũng như các khái niệm như chân lý, sự chỉ định và hệ quả. Carnap vì vậy phát triển một hệ thống ngữ nghĩa hình thức trong các tác phẩm như Introduction to Semantics (1942), Formalization of Logic (1943) và Meaning and Necessity (1947).

Việc chuyển sang ngữ nghĩa học không khiến Carnap từ bỏ nguyên tắc khoan dung. Các hệ ngữ nghĩa cũng được ông xem như những cấu trúc hình thức có thể được xây dựng theo những quy tắc khác nhau nhằm phục vụ những mục đích khác nhau.

Ngoại diên và nội hàm

Theo Carnap, mỗi biểu thức có thể được gán cả ngoại diên (extension) và nội hàm (intension). Nội hàm của một biểu thức được xác định bởi các quy tắc ngữ nghĩa của hệ ngôn ngữ, trong khi ngoại diên thực tế của nó phụ thuộc thêm vào trạng thái thực tế được biểu diễn bởi một mô tả trạng thái (state-description). Có thể khảo sát nội hàm của biểu thức thông qua cách ngoại diên của nó biến đổi giữa các mô tả trạng thái khác nhau.

Một mô tả trạng thái biểu diễn một cách đầy đủ mà thế giới có thể được mô tả trong một ngôn ngữ hình thức nhất định. Carnap sử dụng tập hợp các mô tả trạng thái để xác định những khái niệm như L-chân lý (L-truth): một câu là L-đúng nếu nó đúng trong mọi mô tả trạng thái được hệ ngôn ngữ cho phép.

Phương pháp này cung cấp những công cụ để phân tích tính tất yếu, khả năng, tính phân tích và đồng nghĩa trong một khuôn khổ chính xác hơn. Các mô tả trạng thái của Carnap có nhiều điểm tương đồng với khái niệm thế giới khả dĩ được sử dụng về sau, nhưng ngữ nghĩa của ông không đồng nhất với những hệ thống ngữ nghĩa thế giới khả dĩ hiện đại.

Logic tình thái

Carnap sử dụng ngữ nghĩa nội hàm để phân tích các khái niệm tình thái như tính tất yếu và khả năng. Trong bài Modalities and Quantification (1946), ông xây dựng một ngữ nghĩa hình thức cho logic tình thái dựa trên khái niệm L-chân lý và mô tả trạng thái.

Đối với logic tình thái mệnh đề, Carnap chứng minh hệ S5 là đúng đắn và đầy đủ đối với ngữ nghĩa mà ông xây dựng. Trong Meaning and Necessity, ông tiếp tục phát triển phương pháp này cho những ngôn ngữ có ngữ cảnh nội hàm và phép lượng hóa.

Ngữ nghĩa tình thái của Carnap là một bước quan trọng trong lịch sử ngữ nghĩa thế giới khả dĩ, nhưng khác với các hệ thống được phát triển về sau. Trong ngữ nghĩa của Carnap, tập các trạng thái khả dĩ được cố định thành toàn bộ các mô tả trạng thái và không có quan hệ tiếp cận giữa các trạng thái; vì vậy toán tử tất yếu của ông biểu diễn một dạng tất yếu logic. Những hệ thống ngữ nghĩa về sau, đặc biệt các hệ dựa trên quan hệ giữa các thế giới khả dĩ, cho phép biểu diễn nhiều loại tình thái rộng hơn.

Carnap và Quine

Quan hệ giữa Carnap và Willard Van Orman Quine có vai trò đặc biệt trong lịch sử triết học phân tích thế kỷ XX. Hai người quen biết từ đầu thập niên 1930, trao đổi học thuật trong nhiều thập niên và có ảnh hưởng mạnh đến sự phát triển tư tưởng của nhau. Tuy nhiên, họ ngày càng bất đồng về một số vấn đề nền tảng liên quan đến ngôn ngữ, tính phân tích, bản thể luận và phương pháp triết học.

Phân tích và tổng hợp

Một bất đồng nổi tiếng liên quan đến sự phân biệt giữa các phát biểu phân tích và tổng hợp. Carnap xem sự phân biệt này là một công cụ quan trọng để xây dựng các hệ ngôn ngữ khoa học. Những phát biểu phân tích được xác định thông qua các quy tắc logic và ngữ nghĩa của một khung ngôn ngữ, trong khi những phát biểu tổng hợp cung cấp thông tin thực nghiệm về thế giới.

Trong Two Dogmas of Empiricism (1951), Quine phê phán ý tưởng rằng có thể thiết lập một ranh giới nhận thức luận có nguyên tắc giữa hai loại phát biểu này. Ông cho rằng những nỗ lực giải thích tính phân tích thông qua các khái niệm như ý nghĩa, đồng nghĩa hoặc quy tắc ngữ nghĩa không cung cấp được nền tảng độc lập cần thiết.

Trong nhiều thập niên sau đó, cách kể phổ biến về lịch sử triết học phân tích thường xem phê phán của Quine như một thất bại quyết định đối với chương trình Carnap. Tuy nhiên, từ cuối thế kỷ XX, giới nghiên cứu Carnap ngày càng đặt lại vấn đề đối với cách diễn giải này. Một số nghiên cứu cho rằng Carnap và Quine ít nhất một phần đang trả lời những câu hỏi phương pháp luận khác nhau: Quine đòi hỏi một cơ sở giải thích cho ranh giới phân tích–tổng hợp trong ngôn ngữ và khoa học thực tế, trong khi Carnap chủ yếu quan tâm đến việc xây dựng những khung ngôn ngữ trong đó sự phân biệt được xác định bằng quy tắc.

Bất đồng giữa họ vì vậy không chỉ là tranh luận về một sự kiện ngôn ngữ. Nó còn phản ánh hai cách hiểu khác nhau về nhiệm vụ của triết học. Carnap nhấn mạnh lợi ích của việc xây dựng những ngôn ngữ hình thức nhằm đạt độ rõ và hiệu quả khái niệm, trong khi Quine nhấn mạnh tính liên tục giữa ngôn ngữ khoa học với ngôn ngữ và hoạt động nhận thức thông thường.

Các câu hỏi bản thể luận

Carnap phát triển một cách tiếp cận đặc biệt đối với những câu hỏi về sự tồn tại. Trong bài Empiricism, Semantics, and Ontology (1950), ông phân biệt câu hỏi nội tại (internal questions) với câu hỏi ngoại tại (external questions).

Câu hỏi nội tại được đặt bên trong một khung ngôn ngữ đã được lựa chọn. Chẳng hạn, sau khi chấp nhận một ngôn ngữ toán học có các biến lượng hóa trên số, người ta có thể hỏi liệu có một số nguyên tố lớn hơn 100 hay không. Đây là một câu hỏi có thể được trả lời bằng những quy tắc và phương pháp thích hợp của hệ thống.

Câu hỏi ngoại tại hỏi liệu có nên chấp nhận toàn bộ khung ngôn ngữ hoặc loại thực thể mà khung đó cho phép nói tới hay không. Theo Carnap, nếu câu hỏi này được hiểu như một câu hỏi thực dụng về việc liệu khung ngôn ngữ có hữu ích, đơn giản hoặc hiệu quả cho một mục đích nào đó hay không, nó hoàn toàn có ý nghĩa. Nhưng nếu nó được hiểu như một câu hỏi lý thuyết về việc những thực thể của khung có "thực sự tồn tại" theo một nghĩa tuyệt đối hoàn toàn độc lập với mọi khung ngôn ngữ, Carnap cho rằng câu hỏi không có nội dung nhận thức rõ ràng.

Quine phản đối cách Carnap phân biệt những câu hỏi như vậy. Trong triết học của Quine, câu hỏi bản thể luận được xử lý bằng việc xem xét những thực thể mà các lý thuyết tốt nhất của con người phải lượng hóa trên đó; ông không chấp nhận một ranh giới nền tảng giữa các câu hỏi tồn tại "nội tại" và "ngoại tại" theo nghĩa của Carnap.

Xác suất và logic quy nạp

Từ đầu thập niên 1940, Carnap dành phần lớn công sức cho vấn đề xác suất, xác nhận và suy luận quy nạp. Ông muốn phát triển một lý thuyết hình thức về mức độ mà một tập hợp bằng chứng hỗ trợ một giả thuyết, tương tự cách logic diễn dịch nghiên cứu quan hệ hệ quả tất yếu giữa các mệnh đề.

Carnap phân biệt hai khái niệm xác suất. Một loại là xác suất thống kê, liên quan đến tần suất tương đối của một đặc tính hoặc sự kiện trong một quần thể hay chuỗi sự kiện. Loại còn lại là xác suất logic hoặc mức độ xác nhận, biểu thị mức độ mà một tập hợp bằng chứng hỗ trợ một giả thuyết.

Trong Logical Foundations of Probability (1950), Carnap tìm cách xây dựng một lý thuyết chính xác về loại xác suất thứ hai. Nếu h là một giả thuyết và e là bằng chứng, một hàm xác nhận có thể biểu diễn mức độ mà e hỗ trợ h. Giá trị của hàm phụ thuộc vào hệ ngôn ngữ và phép đo xác nhận được lựa chọn, chứ không phải một con số duy nhất do logic thuần túy áp đặt lên mọi vấn đề.

Carnap phát triển những họ hàm xác nhận đáp ứng các điều kiện hình thức khác nhau và nghiên cứu cách những lựa chọn khác nhau ảnh hưởng đến suy luận quy nạp. Điều này phù hợp với nguyên tắc khoan dung rộng hơn trong triết học của ông: những hệ thống hình thức khác nhau có thể thích hợp với những mục đích khác nhau.

Chương trình logic quy nạp của Carnap đạt được nhiều kết quả kỹ thuật về dự đoán, suy luận thống kê và xác nhận, nhưng cũng gặp những giới hạn. Đặc biệt, việc mở rộng các hệ thống của ông từ những ngôn ngữ mô hình tương đối đơn giản sang những lý thuyết khoa học thực tế với cấu trúc phức tạp tỏ ra khó khăn. Carnap tiếp tục nghiên cứu vấn đề này trong những năm cuối đời nhưng không hoàn thành một lý thuyết quy nạp tổng quát áp dụng đầy đủ cho mọi loại lý thuyết khoa học.

Ngôn ngữ quan sát và ngôn ngữ lý thuyết

Trong chương trình cấu tạo thời kỳ đầu, Carnap tìm cách chỉ ra cách những khái niệm khoa học có thể được xây dựng từ một cơ sở kinh nghiệm trong một hệ thống logic. Tuy nhiên, hệ thống của Aufbau chưa xử lý đầy đủ nhiều loại khái niệm quan trọng của khoa học trưởng thành, đặc biệt là những thuật ngữ lý thuyết, khái niệm khuynh hướng và khái niệm xác suất.

Từ cuối thập niên 1930, Carnap ngày càng thừa nhận rằng ngôn ngữ lý thuyết không thể được xử lý đơn giản bằng việc quy giản hoàn toàn về các câu quan sát. Thay vào đó, ông nghiên cứu những cách mà thuật ngữ lý thuyết có thể được liên hệ một phần với bằng chứng thông qua các quy tắc tương ứng, những câu điều kiện và về sau các công cụ logic khác.

Mục tiêu là giải thích cả nội dung thực nghiệm của lý thuyết lẫn vai trò của những cấu trúc lý thuyết vượt quá những gì được mô tả trực tiếp trong câu quan sát. Quan điểm này cho thấy chương trình Carnap về sau khác đáng kể với hình ảnh đơn giản thường gắn với chủ nghĩa thực chứng logic, theo đó mọi câu khoa học có ý nghĩa phải có thể được dịch trực tiếp thành một tập hợp câu quan sát.

Ảnh hưởng và tiếp nhận

Carnap là một trong những nhân vật trung tâm của chủ nghĩa thực chứng logic và chủ nghĩa kinh nghiệm logic, đồng thời là một trong những người góp phần định hình triết học khoa học như một lĩnh vực chuyên biệt trong triết học thế kỷ XX.

Các công trình của ông về cú pháp và ngữ nghĩa hình thức ảnh hưởng đến sự phát triển của logic, triết học ngôn ngữ và nghiên cứu ngôn ngữ khoa học. Ngữ nghĩa nội hàm của Carnap cũng trở thành một mắt xích quan trọng trong lịch sử ngữ nghĩa tình thái và có ảnh hưởng đến những phát triển về sau trong logic và ngôn ngữ học lý thuyết.

Những nghiên cứu về xác suất và logic quy nạp của Carnap trở thành một điểm xuất phát quan trọng cho các cuộc tranh luận về xác nhận, suy luận khoa học và cách diễn giải xác suất.

Ảnh hưởng của Carnap suy giảm trong thập niên 1950 và 1960 cùng với sự suy yếu của chủ nghĩa kinh nghiệm logic. Những phê phán từ Quine và các nhà triết học khác góp phần tạo ra ấn tượng rằng chương trình Carnap đã bị vượt qua. Trong một thời gian dài, Carnap thường được trình bày chủ yếu như đại diện của một phong trào lịch sử đã thất bại.

Từ thập niên 1980, một làn sóng nghiên cứu mới đã dẫn đến việc đánh giá lại Carnap. Việc tiếp cận các bản thảo, thư từ và tài liệu lưu trữ cho thấy sự phát triển tư tưởng của ông phức tạp hơn cách kể truyền thống. Nhiều nghiên cứu đương đại nhấn mạnh vai trò của nguyên tắc khoan dung, phương pháp giải minh, sự lựa chọn khung ngôn ngữ và tính kiến tạo trong triết học Carnap.

Sự đánh giá lại này cũng làm thay đổi cách hiểu về tranh luận Carnap–Quine. Thay vì xem Quine đơn giản bác bỏ một hệ thống đã được Carnap trình bày hoàn chỉnh, giới nghiên cứu ngày càng chú ý tới những khác biệt phương pháp luận sâu hơn giữa hai người và tới mức độ mà mỗi bên trả lời một loại câu hỏi khác nhau.

Các ý tưởng của Carnap về giải minh hiện cũng được thảo luận trở lại trong những nghiên cứu về thiết kế và cải tiến khái niệm. Quan niệm rằng triết học có thể không chỉ phân tích các khái niệm đang tồn tại mà còn xây dựng những công cụ khái niệm tốt hơn đã khiến một số phương pháp của Carnap trở nên gần gũi với những hướng nghiên cứu triết học đương đại.

Tác phẩm

Một số tác phẩm quan trọng của Carnap gồm:

• Der Raum (1922)
• Der logische Aufbau der Welt (1928)
• Scheinprobleme in der Philosophie (1928)
• Logische Syntax der Sprache (1934)
• The Logical Syntax of Language (1937)
• Introduction to Semantics (1942)
• Formalization of Logic (1943)
• Meaning and Necessity (1947)
• Logical Foundations of Probability (1950)
• The Continuum of Inductive Methods (1952)
• Philosophical Foundations of Physics (1966)

Một số bài viết có ảnh hưởng đặc biệt gồm:

• Überwindung der Metaphysik durch logische Analyse der Sprache (1932)
• Testability and Meaning (1936–1937)
• Modalities and Quantification (1946)
• Empiricism, Semantics, and Ontology (1950)

Xem thêm

• Chủ nghĩa thực chứng logic
• Triết học phân tích
• Triết học khoa học
• Triết học ngôn ngữ
• Logic
• Ngữ nghĩa học
• Xác suất
• Gottlob Frege
• Ludwig Wittgenstein
• Bertrand Russell
• Alfred Tarski
• Kurt Gödel
• Willard Van Orman Quine

Đọc thêm

• Carus, A. W. (2007). Carnap and Twentieth-Century Thought: Explication as Enlightenment. Cambridge: Cambridge University Press. ISBN 978-0521862271.
• Friedman, Michael (1999). Reconsidering Logical Positivism. Cambridge: Cambridge University Press. ISBN 978-0521624763.
• Richardson, Alan W. (1998). Carnap's Construction of the World. Cambridge: Cambridge University Press. ISBN 978-0521430081.