Skip to main content
Dictionary
Store
Blog
World
Help
Advertise
Chat
System Status
Information Collection Notice
Trademark Concerns
reCAPTCHA Privacy
Terms of Service
reCAPTCHA Terms
Privacy Policy
Accessibility
Report a Bug
Data Request
Contact Us
Security
DMCA
© 1999–2026 Urban Dictionary ®
Mugs
Tees
Hoodies
Pro Customization
Create unique products with your own words and definitions
Preview
Personalize Your Design
Your Word
Your Definition
An expanded model adding two crucial dimensions to the basic framework. Axis 1: Formal-Informal (form vs. content). Axis 2: Classical-Nonclassical (standard vs. alternatives). Axis 3: Deductive-Inductive (certain inference vs. probabilistic inference). Axis 4: Monotonic-Nonmonotonic (adding premises never invalidates conclusions vs. conclusions can be defeated by new information). These four axes create sixteen logical positions. Mathematical logic is formal, classical, deductive, monotonic. Legal reasoning is informal, classical (mostly), inductive (evidence weighs), nonmonotonic (new evidence changes everything). AI reasoning is often formal, nonclassical (fuzzy, probabilistic), inductive, nonmonotonic. The 4 Axes reveal that different domains require different logics—using monotonic deductive logic for legal reasoning would be disastrous.
Text fits
Save
Cancel