👋 Welcome

Welcome to the Statement and Syllogism Venn Diagram Visualiser! This educational platform helps you learn and understand categorical logic through interactive Venn diagrams. Whether you're studying basic propositions or complex syllogistic arguments, this tool provides visual representations to enhance your understanding.

🔄 Two Operating Modes

The platform offers two modes accessible via the toggle switch at the top:

• Statement Mode: For analyzing single categorical propositions (A, E, I, O types) with two-circle Venn diagrams
• Syllogism Mode: For analyzing categorical syllogisms with three-circle Venn diagrams, including validity checking and formal proving

📝 Categorical Proposition Types

There are four standard forms of categorical propositions:

Distribution: A term is distributed when the proposition makes a claim about ALL members of that category. Badges show D for distributed and xD for undistributed.

📐 Syllogistic Figures

A syllogism's figure is determined by the position of the Middle Term (M) in the premises:

🎯 How to Use the Platform

Step 1: Enter Propositions

• In Statement Mode: Enter subject and predicate terms for a single premise
• In Syllogism Mode: Enter terms for both premises (the system requires exactly 3 unique terms)
• Select quantifiers (ALL/SOME) and copulas (IS/IS NOT) from dropdowns
• The conclusion terms are automatically populated from your premises

Step 2: Select Conclusion Terms

• Choose the subject and predicate for your conclusion from the dropdown menus
• The system will automatically identify Major, Minor, and Middle terms
• Premise labels update to show which is the Major Premise and which is the Minor Premise

Step 3: Check Validity (Syllogism Mode)

• Click "Check Validity" to determine if your syllogism is valid
• Results show the mood-figure code (e.g., AAA-1), traditional name (e.g., Barbara), and validity status
• Green = Unconditionally Valid, Yellow = Conditionally Valid (Aristotelian), Red = Invalid

Step 4: Use the Proving Table

• Manually test each validity rule by selecting YES/NO in the Answer column
• Or click "System Proving" to have the system automatically check all rules
• Any NO answer indicates a fallacy (shown in the Fallacy column)

🎨 Using the Venn Diagram Canvas

• Select color and drag to regions for coloring (shading represents empty areas)
• Drag circles to reposition them
• Drag circle edges to resize circles
• Add Existence markers (X) to indicate that members exist in a region
• Toggle Boolean/Aristotelian to switch between logical systems
• Use the color palette to select different colors for shading
• Use "Clear All Colors" to reset the diagram

✅ Syllogism Validity Rules

A valid syllogism must satisfy ALL of the following rules:

🔎 Web Search Feature

The Web Search section allows you to quickly search for more information about syllogistic forms:

• The search query automatically updates based on the current validity check result
• Click "Search" to open a Google search in a new tab
• You can modify the search query before searching

⌨️ Tips & Best Practices

• Use consistent terminology when entering terms (case-insensitive)
• The system automatically detects E-type propositions and shows the alternative "No S is P" notation
• Resize the left panel by dragging the divider for more workspace
• Use the Reset button to clear all inputs and start fresh
• Check the Knowledge Table at the bottom for quick reference to proposition types and figures

ℹ️ About