Logic khoa học: đặc điểm và ví dụ
Logic khoa học là cái chịu trách nhiệm xây dựng một phương pháp cho phép tiếp cận kiến thức khoa học; đó là về phát triển sự thật theo kinh nghiệm Khoa học và logic có mối quan hệ nội tại.
Mối quan hệ này được đưa ra như là kết quả của việc hệ thống hóa cái đầu tiên - nghĩa là tổ chức các quá trình nghiên cứu, xây dựng giả thuyết và xác minh - phải hoạt động theo các định luật thứ hai để đảm bảo tính hợp lệ của các kết luận rút ra từ thí nghiệm khoa học
Để hiểu rõ hơn về khái niệm logic khoa học, cần phải giải quyết ý nghĩa của hai từ tạo thành cụm danh từ, sau đó xác định bản chất của mối quan hệ của chúng.
Logic và khoa học
Logic là gì?
Logic hình thức là một nhánh của triết học và toán học nghiên cứu các hình thức của tư duy đúng. Khi chúng ta nói về "suy nghĩ chính xác", chúng ta đề cập đến thủ tục hợp lý bằng cách con người có khả năng tạo ra các suy luận từ các cơ sở nhất định cho phép anh ta đi đến kết luận mạch lạc.
Lý luận logic được điều chỉnh bởi một số nguyên tắc; trong số này, có đủ lý do, bản sắc, không mâu thuẫn và nhân quả, trong số những người khác, nổi bật
Cấu trúc chính thức của logic cho phép phân biệt nếu một bài diễn văn đưa ra các lập luận hợp lệ hoặc không hợp lệ. Nếu mối quan hệ giữa các mệnh đề của một đối số không tôn trọng các nguyên tắc logic, thì đối số này phải được coi là sai lầm.
Khoa học là gì?
Chúng ta có thể hiểu khoa học là hệ thống hóa một tập hợp kiến thức cho phép chúng ta tiếp cận kiến thức về một sự thật có thể được chứng minh bằng thực nghiệm; đó là, một thực tế khách quan.
Các tính năng
Trong chuyên luận của mình mang tên Logic của nghiên cứu khoa học (1934), nhà triết học Karl Popper đã định nghĩa các yếu tố và vấn đề đặc trưng cho logic của phương pháp khoa học được chấp nhận nhất hiện nay: suy luận giả thuyết. Một số đặc điểm của nó là như sau:
Chỉ trích thủ tục quy nạp
Lý luận quy nạp là một trong đó đề xuất suy luận của nhân vật phổ quát từ các hiện tượng cụ thể.
Kể từ khi nhà kinh nghiệm David Hume chỉ trích khả năng chấp nhận logic quy nạp trong công trình Nghiên cứu về kiến thức con người (1748), điều này đã bị nhiều nhà lý thuyết về phương pháp khoa học cấm sử dụng, mặc dù nó vẫn được sử dụng trong một số hình thức phương pháp phương pháp .
Sự chỉ trích của Hume chỉ ra rằng logic quy nạp cố gắng dựa vào các quan sát kinh nghiệm như thể chúng xác minh các hiện tượng không thể kiểm chứng trong kinh nghiệm. Theo logic này, tính đều đặn của các hiện tượng xảy ra biện minh cho kết luận rằng những điều này sẽ được lặp lại giống hệt nhau.
Karl Popper lập luận rằng logic quy nạp hoặc "logic xác suất" thất bại trong việc biện minh cho chính nó. Khi thử, quy trình quy nạp bước vào một quá trình hồi quy kéo dài vô tận, mà không có đề xuất nào được xác minh trong kinh nghiệm cụ thể.
Theo cách này, chúng ta thậm chí rơi vào chủ nghĩa chiến binh Kantian, một xu hướng chỉ ra rằng kiến thức là độc lập với bất kỳ kinh nghiệm nào.
Ví dụ
-Thực tế là trong vài năm, trời đã mưa 60% trong một số điều kiện khí quyển nhất định không có nghĩa là mô hình này sẽ luôn được lặp lại .
- Rằng chúng tôi đã quan sát thấy một số lượng lớn thiên nga trắng không đảm bảo rằng tất cả những con thiên nga tồn tại là màu trắng.
Xác định giả thuyết là một công thức phi logic có thể
Theo Popper, "công việc của nhà khoa học bao gồm đề xuất các lý thuyết và đối chiếu chúng". Tuy nhiên, từ quan điểm của họ, việc đưa ra các giả thuyết không ngụ ý việc sử dụng logic theo nghĩa chính thức.
Các đề xuất theo dõi các nguyên tắc của các lý thuyết khoa học là các ý tưởng hoặc trực giác sáng tạo, trong đó đề xuất một giải pháp có thể xảy ra cho một vấn đề phát sinh từ kinh nghiệm thực nghiệm.
Sự chặt chẽ logic của phương pháp khoa học bắt đầu trong khoảnh khắc thứ hai của nó, đó là sự bác bỏ hoặc tương phản suy diễn của lý thuyết đề xuất.
Ví dụ
- Các lý thuyết siêu hình về nguyên tử trong triết học Hy Lạp đã truyền cảm hứng cho các nhà khoa học nguyên tử như Rutherford.
Đề xuất sự tương phản suy diễn của các lý thuyết
Popper thiết lập bốn quy trình cấu thành quy trình logic do tương phản một lý thuyết:
So sánh kết luận
Phân tích các kết luận khác nhau của nghiên cứu để xác minh sự gắn kết của hệ thống được đề xuất; nghĩa là các kết quả của nghiên cứu có mối quan hệ logic với nhau (tương đương, khấu trừ, tương thích, v.v.).
Nghiên cứu hình thức logic của lý thuyết
Điều này xác định liệu đặc tính của lý thuyết là thực sự khoa học (nghĩa là theo kinh nghiệm), hoặc nếu ngược lại, đó là tautological (tuyên bố thừa hoặc trống).
So sánh với các lý thuyết khác
Nếu lý thuyết này tồn tại sự bác bỏ, so sánh nó với các nghiên cứu khác về hiện tượng tương tự sẽ giúp xác định xem liệu công việc được thực hiện có phải là một bước đột phá hay không.
Ứng dụng thực nghiệm
Các kết luận mà lý thuyết dẫn chúng ta phải được chứng minh thông qua thử nghiệm.
Nếu ở phần cuối của quy trình thử nghiệm cuối cùng, các kết luận số ít xuất phát từ lý thuyết được xác minh, thì phải chấp nhận rằng, tại thời điểm này, không có căn cứ để loại bỏ nó.
Mặt khác - đó là, nếu quá trình thử nghiệm là âm tính - phải giả định rằng lý thuyết là sai.
Ví dụ
Các nhà thiên văn học Urban Le Verrier và John Adams đã có thể xác minh một cách khấu trừ giả thuyết rằng một hành tinh chưa biết đang ảnh hưởng đến quỹ đạo của Thiên vương tinh.
Họ đã thực hiện các phép tính toán học để xác định khối lượng và vị trí có thể xảy ra của ngôi sao, sau đó tiến hành thử nghiệm theo kinh nghiệm bằng cách sử dụng kính viễn vọng chỉ vào tọa độ suy ra. Thật vậy, thí nghiệm đã chứng minh rằng ở nơi được thiết lập có một hành tinh, mà họ gọi là Sao Hải Vương.
Thiết lập tính khách quan khoa học dựa trên sự tương phản xen kẽ
Theo logic khoa học của lý thuyết Popper, nguyên tắc khách quan vốn có trong khoa học không được đáp ứng bởi thực tế là một lý thuyết có thể được chứng minh vì, bằng cách bác bỏ phương pháp quy nạp, một đề xuất không bao giờ có thể được xác minh hoàn toàn, chỉ tương phản
Theo nghĩa này, Popper khẳng định rằng "tính khách quan của các báo cáo khoa học dựa trên thực tế là chúng có thể tương phản lẫn nhau".
Sự nổi bật của thử nghiệm liên chủ thể như là một tiêu chí của tính khách quan là do thực tế là chỉ những sự kiện có thể được lặp lại một cách chính xác, thường xuyên, theo những khuôn mẫu nhất định, là những điều có thể trái ngược với bất kỳ người nào tuân theo các bước quy định.
Sự lặp lại và đều đặn loại bỏ khả năng kết quả của trải nghiệm chỉ là sự trùng hợp ngẫu nhiên. Vì lý do này, các thí nghiệm khoa học được thực hiện theo các giới luật logic này.
Ví dụ
Nếu trong một lớp học, tất cả các sinh viên đều đạt được kết quả chính xác như nhau khi thực hiện một thí nghiệm trong đó luật đầu tiên của Newton được đưa vào thử nghiệm, tính khách quan của các nguyên tắc của luật này trước khi nói sinh viên sẽ được chứng minh.
