Mục lục
9 quan hệ: Định lý toán học, Chân lý, Hệ chuyên gia, Lý tính, Logic, Logic mờ, Suy luận Bayes, Suy luận loại suy, Tiên đề.
- Khái niệm logic
- Khái niệm nhận thức luận
- Khái niệm triết học tinh thần
- Kết luận logic
- Lý thuyết trừu tượng của tâm trí
- Logic
- Lịch sử tư tưởng
- Nguồn tri thức
- Ngữ nghĩa học
- Quan niệm trong siêu hình học
- Tư duy
Định lý toán học
Một định lý toán học là một mệnh đề toán học đã được, hoặc cần được chứng minh dựa trên một số hữu hạn các tiên đề và quá trình suy luận.
Xem Suy luận và Định lý toán học
Chân lý
Họa phẩm về nữ thần Chân Lý Chân lý là khái niệm để chỉ những tri thức có nội dung phù hợp với thực tế khách quan; sự phù hợp đó đã được kiểm tra và chứng minh bởi thực tiễn.
Hệ chuyên gia
Hệ chuyên gia, còn gọi là hệ thống dựa tri thức, là một chương trình máy tính chứa một số tri thức đặc thù của một hoặc nhiều chuyên gia con người về một chủ đề cụ thể nào đó.
Lý tính
Lý tính là một thuật ngữ dùng trong triết học và các khoa học khác về con người để chỉ các năng lực nhận thức của tâm thức con người.
Logic
Logic hay luận lý học, từ tiếng Hy Lạp cổ điển λόγος (logos), nghĩa nguyên thủy là từ ngữ, hoặc điều đã được nói, (nhưng trong nhiều ngôn ngữ châu Âu đã trở thành có ý nghĩa là suy nghĩ hoặc lập luận hay lý trí).
Logic mờ
Lôgic mờ (tiếng Anh: Fuzzy logic) được phát triển từ lý thuyết tập mờ để thực hiện lập luận một cách xấp xỉ thay vì lập luận chính xác theo lôgic vị từ cổ điển.
Suy luận Bayes
Suy luận Bayes (tiếng Anh: Bayesian inference) là một kiểu suy luận thống kê mà trong đó các quan sát hay bằng chứng được dùng để cập nhật hoặc suy luận ra xác suất cho việc một giả thuyết có thể là đúng.
Xem Suy luận và Suy luận Bayes
Suy luận loại suy
Suy luận loại suy xuất phát từ sự giống nhau có thực của hai đối tượng đó, để đưa ra kết luận.
Xem Suy luận và Suy luận loại suy
Tiên đề
Một tiên đề trong toán học là một đề xuất được coi như luôn đúng mà không thể và không cần chứng minh.
Xem thêm
Khái niệm logic
- Bản thể (triết học)
- Chân lý
- Lý tính
- Lý trí
- Nghịch lý
- Nội hàm
- Suy luận
- Sự quân bình từ suy tưởng
- Sự thật
- Tên gọi
- Tham khảo
- Thực tế
- Tiên đề
- Tập hợp (toán học)
- Vô tận
- Định lý toán học
- Định nghĩa
Khái niệm nhận thức luận
- Ý thức
- Chân lý
- Dao cạo Ockham
- Kinh nghiệm
- Lý tính
- Lý trí
- Lượng (Phật giáo)
- Meme
- Mẫu (dạng thức)
- Nghịch lý
- Nguyên lý vị nhân
- Quan hệ nhân quả
- Quỷ dối lừa
- Suy luận
- Sự thật
- Tín ngưỡng
- Tôi tư duy, nên tôi tồn tại
- Tabula rasa
- Thế giới quan
- Thời gian
- Thực tế
- Tri thức
- Trừu tượng
- Trực giác
- Tư duy
Khái niệm triết học tinh thần
- Ý chí quyền lực
- Ý thức
- Khái niệm
- Kinh nghiệm
- Lý tính
- Lý trí
- Meme
- Mẫu (dạng thức)
- Nguyên lý đột sinh
- Quỷ dối lừa
- Suy luận
- Tâm hồn
- Tâm trí
- Tôi tư duy, nên tôi tồn tại
- Thiền (thực hành)
- Thời gian
- Thực tế
- Tri giác
- Trực giác
- Tư duy
- Vô thường
Kết luận logic
- Luận cứ
- Suy luận
- Định lý toán học
Lý thuyết trừu tượng của tâm trí
- Ý thức
- Bản sắc cá nhân
- Cá nhân
- Chủ nghĩa duy tâm chủ quan
- Lý trí
- Meme
- Nguyên lý đột sinh
- Nhân cách
- Suy luận
- Thuyết chức năng
- Tư duy sáng tạo
- Vấn đề tâm-vật
- Đa nguyên
Logic
- Logic
- Logic toán
- Lập trình logic
- Suy diễn logic
- Suy luận
Lịch sử tư tưởng
- Claude Lévi-Strauss
- Emanuel Swedenborg
- Friedrich Schiller
- Suy luận
- Trí thức
- Triết học phân tích
- Tu từ học
Nguồn tri thức
- Chứng minh toán học
- Lượng (Phật giáo)
- Quan sát
- Suy luận
- Thí nghiệm tưởng tượng
- Trí nhớ
- Tri giác
- Trực giác
- Tư duy
Ngữ nghĩa học
- Biệt hiệu
- Dịch thuật
- Hoán dụ
- Khái niệm
- Ngữ dụng học
- Nhập nhằng (xử lý ngôn ngữ tự nhiên)
- Suy luận
- Suy luận loại suy
- Tham khảo
- Vị ngữ
- Định nghĩa
Quan niệm trong siêu hình học
- Ý chí quyền lực
- Ý chí tự do
- Ý tưởng
- Duyên khởi
- Hiện tượng
- Hệ thống
- Khái niệm
- Không gian
- Nghịch lý
- Nguyên lý đột sinh
- Phạm trù
- Quỷ dối lừa
- Suy luận
- Sự thật
- Tâm hồn
- Tâm trí
- Thông tin
- Thời gian
- Thực thể
- Thực tế
- Trừu tượng
- Tư duy
- Vĩnh cửu luân hồi
- Vật tự thể
- Đạo (triết học)