Xây dựng biểu đồ vùng Venn để chứng minh kết luận nào thực sự đúng, và vạch trần những kết luận chỉ có vẻ đúng.
Cách chơi
Mỗi vòng chơi cung cấp cho bạn hai tiền đề và một số kết luận ứng viên. Chỉ có đúng một kết luận được suy ra hợp lệ; các kết luận còn lại là bẫy, và mỗi cái đều sai theo một cách cụ thể, có tên gọi rõ ràng chứ không chỉ đơn thuần là sai. Nhiệm vụ của bạn là chọn kết luận mà các tiền đề thực sự hỗ trợ.
Tính hợp lệ ở đây liên quan đến hình thức, không phải sự thật — một kết luận có thể đúng về mặt sự thật nhưng vẫn không được suy ra từ tiền đề.
Các lựa chọn gây nhiễu là những lỗi logic cổ điển: trung từ không phân phối, đại từ bất hợp lệ, tiểu từ bất hợp lệ, rút ra kết luận khẳng định từ tiền đề phủ định, và các giả định tồn tại.
Mọi câu đố đều được tạo ra sao cho chỉ có đúng một lựa chọn hợp lệ, vì vậy luôn có một đáp án đúng.
Cùng một hạt giống (seed) luôn tạo ra cùng một vòng chơi.
Điều khiển
Máy tính để bàn: nhấp vào các mảnh vùng và các tùy chọn kết luận; một số lựa chọn cũng có thể truy cập bằng bàn phím
Điện thoại & máy tính bảng: chạm vào các mảnh và đáp án, hoạt động hoàn toàn bằng cảm ứng
Chế độ chơi
Hàng ngày: các lập luận giống nhau cho tất cả mọi người mỗi ngày
Luyện tập: các lập luận mới mỗi lượt chơi
Dễ, Trung bình và Khó thêm các lỗi logic tinh vi hơn và nhiều thuật ngữ hơn
Mẹo & chiến lược
Bỏ qua việc các phát biểu nghe có vẻ đúng hay không. Lỗi phổ biến nhất là chọn kết luận phù hợp với thế giới thực thay vì kết luận được suy ra từ các tiền đề.
Kiểm tra trung từ trước. Nếu thuật ngữ liên kết hai tiền đề không bao giờ được sử dụng theo nghĩa toàn phần trong bất kỳ tiền đề nào, thì không có gì được suy ra cả — đó là lỗi trung từ không phân phối, và là cái bẫy phổ biến nhất.
Một tiền đề phủ định không thể tạo ra kết luận khẳng định. Quy tắc đơn giản này loại bỏ một lựa chọn gây nhiễu trong một tỷ lệ lớn các vòng chơi.
Chú ý các kết luận khẳng định nhiều hơn những gì tiền đề đã nêu. Nếu một thuật ngữ là toàn phần trong kết luận nhưng không phải trong tiền đề của nó, thì kết luận đó là bất hợp lệ.
Cẩn thận với các kết luận khẳng định rằng một thứ gì đó tồn tại. Các tiền đề về tất cả các thành viên của một danh mục không đảm bảo rằng danh mục đó có bất kỳ thành viên nào.
Những gì bạn sẽ học được
Syllogica dạy logic hình thức và kỹ năng phát hiện lỗi logic thông qua các biểu đồ vùng thực hành, giúp các lập luận hợp lệ và không hợp lệ trở nên dễ nhìn thấy.
Kỹ năng: logic hình thức, tam đoạn luận, lỗi logic, biểu đồ Venn
Phù hợp nhất: khoảng lớp 8–12 (tuổi 13+)
Dành cho phụ huynh & giáo viên: lập luận hợp lệ và các lỗi logic phổ biến, được trực quan hóa.
Nguồn gốc
Hai tiền đề và một kết luận hoặc suy ra được hoặc không là tam đoạn luận, hình thức mà Aristotle trình bày trong Phân tích tiền thư và là xương sống của việc dạy logic suốt hai nghìn năm.
Thiết kế độc đáo nằm ở các đáp án sai: mỗi cái bẫy bị hỏng theo một cách cụ thể, có tên gọi, thay vì chỉ đơn thuần là sai.
Đó là điều biến nó thành dạy học thay vì kiểm tra. Các ngụy biện tam đoạn luận kinh điển — trung từ không chu diên, đại từ bất hợp lệ, khẳng định hậu kiện — được liệt kê chính vì mỗi cái đều có cảm giác hợp lệ từ bên trong. Một ngụy biện hình thức là lỗi về hình dạng, không phải về sự thật, nên gọi tên hình dạng là cách phòng vệ đáng tin cậy duy nhất.
Về Syllogica
Syllogica là một trò chơi trình duyệt gốc, miễn phí, dạy logic hình thức và kỹ năng phát hiện lỗi logic thông qua các biểu đồ vùng thực hành. Nó được phát triển nội bộ và chạy trực tuyến.