Welcome to StackEdit! Hey! I’m your first Markdown document in StackEdit 1 . Don’t delete me, I’m very helpful! I can be recovered anyway in the Utils tab of the Settings dialog. Documents StackEdit stores your documents in your browser, which means all your documents are automatically saved locally and are accessible offline! Note: StackEdit is accessible offline after the application has been loaded for the first time. Your local documents are not shared between different browsers or computers. Clearing your browser’s data may delete all your local documents! Make sure your documents are synchronized with Google Drive or Dropbox (check out the Synchronization section). Create a document The document panel is accessible using the button in the navigation bar. You can create a new document by clicking New document in the document panel. Switch to another document All your local documents are listed in the document panel. You can switch from one to anoth...
Tác giả: GS. Phan Đình Diệu Logic hình thức nghiên cứu các quy luật hình thức của tư duy trừu tượng. Nếu như quá trình nhận thức (khoa học) là "từ trực quan sinh động đến tư duy trừu tượng rồi lại từ tư duy trừu tượng trở về với thực tiễn" thì logic hình thức cho ta các quy luật để suy luận trong giai đoạn tư duy trừu tượng của toàn bộ quá trình nhận thức đó. Đặc trưng của nhặn thức khoa học là khái quát hóa các tri thức kinh nghiệm để tìm kiếm các quy luật phổ biến, rồi bằng cách tổng hợp các quy luật phổ biến từ nhiều khía cạnh khác nhau trở lại nhận thức các hiện tượng và sự vật cụ thể. Trải qua hơn hai nghìn năm, từ thời Arixtốt đến nay, logic hình thức đã là công cụ đắc lực góp phần hình thành và phát triển nhiều ngành khoa học khác nhau, nó cũng là công cụ tư duy hợp lý trong mọi mặt đời sống nhận thức của con người. Ngày nay, ở giai đoạn mà con người đang có tham vọng dùng máy móc để tự động hóa từng bước các hoạt động trí tuệ của chính mình, logic không chỉ là công cụ...