Khoa học hình thức

Khoa học hình thức là một nhánh của khoa học, có mục đích nghiên cứu các ngành liên quan đến hệ thống hình thức, chẳng hạn như logic, toán học, thống kê, trí tuệ nhân tạo, lý thuyết thông tin,....Trong khi khoa học tự nhiênkhoa học xã hội tìm cách mô tả đặc tính của các hệ thống vật chấthệ thống xã hội, bằng cách sử dụng các phương pháp thực nghiệm, thì khoa học hình thức là công cụ ngôn ngữ liên quan đến việc mô tả các cấu trúc trừu tượng được mô tả bởi các hệ thống hình thức. Các ngành khoa học hình thức hỗ trợ khoa học tự nhiên và khoa học xã hội bằng cách cung cấp thông tin về các cấu trúc được sử dụng để mô tả thế giới vật chất và những suy luận có thể được thực hiện về chúng.[cần dẫn nguồn]

Từ nguyên

[sửa | sửa mã nguồn]

Cách sử dụng hiện đại của thuật ngữ khoa học hình thức, trong văn học tiếng Anh, xuất hiện ít nhất là vào đầu năm 1860,[cần nguồn thứ cấp] trong một ấn phẩm di cảo các bài giảng về triết học của Sir William Hamilton, trong đó logic và toán học được liệt kê là các ngành khoa học hình thức.[1] Đi xa hơn nữa vào năm 1819, một cuốn sách giáo khoa bằng tiếng Đức về logic được xuất bản bởi Wilhelm Esser, làm sáng tỏ tầm quan trọng của việc chỉ định khoa học hình thức (Formalwissenschaft) áp dụng cho logic.[2]

Phân ngành

[sửa | sửa mã nguồn]

Tham khảo

[sửa | sửa mã nguồn]
  1. ^ Hamilton, William. Lectures on metaphysics and logic. 1860. Ed. Henry Longueville Mansel & John Veitch, pub. Gould and Lincoln. Vol. 4, pp. 64–65. "Formal truth will, therefore, be of two kinds,—Logical and Mathematical. […] The case is the same with the other formal science, the science of Quantity, or Mathematics."
  2. ^ Esser, Wilhelm. Logik, § 3, pp. 5–6. Cf. et seq. 2d edit. 1819.—Ed. Krug, Denklehre oder Logik, § 8, p. 17

Đọc thêm

[sửa | sửa mã nguồn]
  • Mario Bunge (1985). Triết học Khoa học và Công nghệ . Springer.
  • Mario Bunge (1998). Triết học Khoa học . Rev. ed. của: Nghiên cứu khoa học . Berlin, New York: Springer-Verlag, 1967.
  • C. West Churchman (1940). Các yếu tố của Khoa học Logic và Hình thức, JB Lippincott Co., New York.
  • James Franklin (1994). Các khoa học chính thức khám phá ra hòn đá của các triết gia . Trong: Nghiên cứu Lịch sử và Triết học Khoa học . Tập 25, số 4, tr. 513–533, 1994
  • Stephen Leacock (1906). Các yếu tố của Khoa học Chính trị . Houghton, Mifflin Co, 417 trang.
  • Bernt P. Stigum (1990). Hướng tới một Khoa học Kinh tế Chính thống . MIT Press
  • Marcus Tomalin (2006), Ngôn ngữ học và Khoa học Chính thức . Nhà xuất bản Đại học Cambridge
  • William L. Twining (1997). Luật trong ngữ cảnh: Mở rộng kỷ luật . 365 tr.

Liên kết ngoài

[sửa | sửa mã nguồn]
Chúng tôi bán
Bài viết liên quan
Tại sao chúng ta nên trở thành một freelancer?
Tại sao chúng ta nên trở thành một freelancer?
Freelancer là một danh từ khá phổ biến và được dùng rộng rãi trong khoảng 5 năm trở lại đây
Kỹ năng của Toshinori Yagi - One For All - Boku no Hero Academia
Kỹ năng của Toshinori Yagi - One For All - Boku no Hero Academia
Là anh hùng nổi tiếng nhất thế giới - All Might, Toshinori là người kế nhiệm thứ 8 và có thể sử dụng rất thành thạo One For All
Review phim The Secret Life of Walter Mitty
Review phim The Secret Life of Walter Mitty
Một bộ phim mình sẽ xem tới những giây cuối cùng, và nhìn màn hình tắt. Một bộ phim đã đưa mình đến những nơi unknown
Discovery Channel - Through the Wormhole Season 8 vietsub
Discovery Channel - Through the Wormhole Season 8 vietsub
Thông qua lỗ giun mùa 8 (2017) là chương trình phim khoa học do Morgan Freeman dẫn dắt đưa chúng ta khám phá và tìm hiểu những kiến thức về lỗ sâu đục, lỗ giun hay cầu Einstein-Rosen