NộI Dung
Cáckhoa học chính thức là những mệnh đề phân tích đưa ra các phát biểu của toán học và logic. Theo cách này, lĩnh vực nghiên cứu của ông không phải là thế giới thực mà là thế giới lý tưởng, những hình thức trống rỗng của nội dung mà trong nhiều trường hợp không thể quan sát được đầy đủ, nhưng đó là công cụ phân tích hợp lệ để hiểu thực tế.
Các khoa học chính thức có đặc điểm là không mâu thuẫn với thực tế, vì chúng không có trách nhiệm kiểm chứng. Ngược lại, các ngành khoa học chính thức cần sử dụng mệnh đề có thể chứng minh một cách hợp lý, và điều đó có thể xảy ra: nếu không, các khoa học này sử dụng 'tiên đề' là những mệnh đề tự hiển nhiên được chấp nhận mà không cần chứng minh trước.
Việc sử dụng các tiên đề có liên quan đến phương pháp thông thường của loại khoa học này, đó là Phương pháp suy luận: lấy tiên đề làm điểm xuất phát rồi tiến hành theo phương pháp đạo hàm, đến mệnh đề là hệ quả lôgic cần thiết của các mệnh đề trước. Do đó, người ta nói rằng một hệ thống chính thức bao gồm những điều sau đây:
- Một tập hợp hữu hạn của ký hiệu được sử dụng để xây dựng công thức.
- A ngữ pháp chính thức, như một cơ chế để xây dựng các công thức đã định hình tốt.
- Một tập hợp các tiên đề
- Một tập hợp các quy tắc suy luận
- Một tập hợp các định lý trong đó bao gồm mọi thứ có thể suy ra từ các tiên đề.
Họ phản đối Khoa học Thực tế
Thông thường, khái niệm về khoa học hình thức đối lập với khoa học thực tế, đó là những người nghiên cứu sự thật. Cả cái này và cái kia đều rất quan trọng trong thế giới ngày nay, vì chúng là sự bổ sung giữa hai cái: những đóng góp của một số ngành khoa học cơ bản trong tiến bộ công nghệ (chẳng hạn như hóa học hoặc khoa học máy tính) được hỗ trợ bởi các hệ thống chính thức như của toán học.
Ví dụ về khoa học chính thức
- Khoa học máy tính lý thuyết: Bộ phận trong khoa học máy tính, tập trung vào các khía cạnh toán học và trừu tượng nhất của lĩnh vực này. Nó bao gồm việc phân tích các thuật toán và đặc biệt là ngữ nghĩa chính thức của các ngôn ngữ lập trình.
- Số liệu thống kê: Khoa học chịu trách nhiệm thu thập, tổ chức, xử lý, phân tích và giải thích dữ liệu để suy ra các đặc điểm của dân số mục tiêu.
- Hợp lý: Kỷ luật nghiên cứu các quy trình chính thức của lý trí, cố gắng biết loại quy trình nào được bộ não con người sử dụng thông qua các mệnh đề chính thức.
- toán học: Khoa học suy luận chuyên nghiên cứu các thuộc tính của các thực thể trừu tượng và các mối quan hệ của chúng. Làm việc với các con số, ký hiệu và hình dạng hình học.
- Lý thuyết hệ thống: Nghiên cứu liên ngành của các hệ thống nói chung, nhằm nghiên cứu các nguyên tắc áp dụng cho các hệ thống ở bất kỳ cấp độ nào trong tất cả các lĩnh vực nghiên cứu.
Các loại khoa học khác:
- Ví dụ về Khoa học thuần túy và Ứng dụng
- Ví dụ về Khoa học phần cứng và phần mềm
- Ví dụ về Khoa học Chính xác
- Ví dụ từ Khoa học xã hội
- Ví dụ từ Khoa học Tự nhiên
