Logical Construct & Philosophy
Logic & Critical Thinking
Free · In‑App Purchases · Designed for iPad. Not verified for macOS.
Explore formal logic through interactive puzzles. Construct proofs, formalise paradoxes, reason like a philosopher or a mathematician.
Logical Construct is an educational puzzle app that makes formal logic genuinely playable. Instead of passively reading about reasoning, you actively construct valid proofs by applying the same inference rules used by logicians, mathematicians, and philosophers: Modus Ponens, Modus Tollens, Hypothetical Syllogism, Reductio ad Absurdum, and more.
Each puzzle gives you a few premises and a target conclusion. Your job is to build a chain of deductions, one rule at a time, until you reach the conclusion. By doing the proofs yourself, not just reading about them, abstract logical concepts become concrete, intuitive skills.
You'll progress through propositional logic, work with modal operators of necessity (□) and possibility (◇), and tackle advanced techniques like Conditional Proof and Reductio ad Absurdum. Classic philosophical arguments (the Paradox of Omnipotence, the Problem of Evil, Anselm's Ontological Argument, and Plantinga's modal version of it) become living frameworks for applying these principles. Reasoning that shaped two millennia of philosophy, now something you can practise on your phone.
WHAT'S INSIDE
• 20 levels, 60 puzzles, from your first Modus Ponens to S5 modal logic
• 24 inference rules organised into six categories: conditional, conjunction, disjunction, negation, biconditional, and modal
• Step-by-step solution viewer that reveals the proof one move at a time: it shows you the path, it doesn't solve it for you
• Truth tables for every propositional rule, with the row where all premises are true highlighted so you can see why the rule is valid
• Live formula highlighting that shows which lines a rule will use
• Subproofs with Fitch-style indentation: the natural way to learn Conditional Proof and Reductio ad Absurdum
• First-launch tutorial that walks you through your very first deduction, plus dedicated intros for subproofs and modal logic
• Atom legend on every puzzle: tap to see what each symbol stands for and read the puzzle as a story in plain language
• Neumorphic design with colour-coded rule categories
• Progress tracking with automatic level unlocking
WHO IT'S FOR
Students strengthening their formal reasoning, philosophy enthusiasts curious about how arguments actually work, or anyone who enjoys a good
puzzle that makes you think clearly.
- Privacy Policy: https://sites.google.com/view/logicalconstructapp/accueil
- Terms of Use: https://www.apple.com/legal/internet-services/itunes/dev/stdeula/
Ratings & Reviews
- This app hasn’t received enough ratings or reviews to display an overview.
A polish-and-pedagogy release. Every existing puzzle has been revisited and the game screen rebuilt for clarity. Modal logic now covers the full axioms of S5, with the modal ontological argument as the capstone. New: truth tables for every rule, redesigned victory screen, automatic level unlocking, and standardised rule names from formal logic textbooks.
The developer, Lucainson Raymond, indicated that the app’s privacy practices may include handling of data as described below. For more information, see the developer’s privacy policy .
Data Linked to You
The following data may be collected and linked to your identity:
- Purchases
- Contact Info
- Identifiers
Accessibility
The developer has not yet indicated which accessibility features this app supports. Learn More
Information
- Seller
- Lucainson Raymond
- Size
- 31.8 MB
- Category
- Education
- Compatibility
Requires iOS 15.6 or later.
- iPhone
Requires iOS 15.6 or later. - iPad
Requires iPadOS 15.6 or later. - iPod touch
Requires iOS 15.6 or later. - Mac
Requires macOS 12.0 or later and a Mac with Apple M1 chip or later. - Apple Vision
Requires visionOS 1.0 or later.
- iPhone
- Languages
English and 5 more
- English, Dutch, French, German, Italian, Spanish
- Age Rating
4+
- 4+
- In-App Purchases
Yes
- Monthly Subscription $3.99
- Annual Plan $19.99
- Copyright
- © Lucainson Raymond