# Logical Construct & Philosophy — Logic & Critical Thinking

> Educational puzzle app for learning and practicing formal logic and critical thinking. (iPhone/iPad app by Lucainson Raymond.)

- Source: https://appshunter.io/ios/app/logical-construct-and-philosophy/id6744826340 (this page in markdown: same URL + `.md`)
- Developer: [Lucainson Raymond](https://appshunter.io/developer/1805397683)
- Category: Education, Games, Puzzle, Trivia
- Price: Free with in-app purchases (on sale, was $7.99)
- Rating: 5.00/5 from 1 App Store ratings · 1 written reviews indexed
- Age rating: 4+
- Requires: iOS 16.4 · 51 MB
- Languages: American English, Dutch, French (France), German (Germany), Italian, European Portuguese, European Spanish
- Released: 2025-04-22
- Data updated: 2026-09-02
- Monetization: free with in-app purchases
- User reviews in markdown: https://appshunter.io/ios/app/logical-construct-and-philosophy/id6744826340/reviews.md

## What is Logical Construct & Philosophy?

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/

## Key features

- Interactive proof construction
- 24 inference rules
- Propositional and modal logic
- Classic philosophical arguments
- Step-by-step solution viewer
- Progress tracking

## Pricing and in-app purchases

Base price: Free.

**Subscriptions**

| Subscription | Price | Period |
| --- | --- | --- |
| Annual Plan | $19.99 | per year |
| Monthly Subscription | $3.99 | per month |


## Recent user reviews (1 of 1)

All indexed reviews: https://appshunter.io/ios/app/logical-construct-and-philosophy/id6744826340/reviews.md

### 5/5 — Excellent App!

*2026-08-30*

Have learned a lot by using this app. Great interface, great customer service, and a fun game overall. Would recommend to anyone interested in learning the basics of logic in a fun, hands-on way

## Frequently asked questions about Logical Construct & Philosophy

### What is Logical Construct & Philosophy?

Logical Construct & Philosophy is an educational puzzle app designed to make formal logic playable. It allows users to actively construct valid proofs by applying inference rules, transforming abstract logical concepts into intuitive skills.

### What kind of logic does Logical Construct & Philosophy cover?

The app covers propositional logic and modal logic, including operators for necessity and possibility. It progresses through various techniques like Conditional Proof and Reductio ad Absurdum, with puzzles ranging from basic Modus Ponens to S5 modal logic.

### How does Logical Construct & Philosophy help users learn?

Instead of passive reading, users learn by actively constructing proofs one rule at a time. The app provides a step-by-step solution viewer that guides without solving, and truth tables highlight why rules are valid.

### Are there different subscription plans for Logical Construct & Philosophy?

Yes, Logical Construct & Philosophy offers a Monthly Subscription for $3.99 and an Annual Plan for $19.99. These plans likely unlock additional content or features beyond the free offering.

### What is the age rating for Logical Construct & Philosophy?

Logical Construct & Philosophy has an age rating of 4+. This indicates it is suitable for a wide audience, though the complexity of the logic puzzles may be more appropriate for older users.

### How often is Logical Construct & Philosophy updated?

The app was last updated on August 30, 2026, indicating a recent update. This suggests ongoing development and potential for new content or improvements.

### Does Logical Construct & Philosophy have ads?

No, Logical Construct & Philosophy does not contain advertisements. This provides an uninterrupted learning experience for users focused on logic puzzles.

### What devices is Logical Construct & Philosophy available on?

Logical Construct & Philosophy is available on iPhone and iPad. This makes it accessible to users within the Apple ecosystem.

## Version history (last 5 releases)

### 1.2.6 — 2026-08-30

UI/UX improvement

### 1.2.4 — 2026-05-27

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.

### 1.2.2 — 2026-05-18

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.

### 1.2.0 — 2026-03-02

UI/UX improvement

### 1.1.8 — 2026-01-22

UI/UX improvement

## Apps similar to Logical Construct & Philosophy

| App | Rating | Price | Category |
| --- | --- | --- | --- |
| [Fallacy: Brain Training Logic](https://appshunter.io/ios/app/fallacy-brain-training-logic/id6743923575) | 4.5 (56) | Free | Education |
| [Philosophy: Learn & Explore](https://appshunter.io/ios/app/philosophy-learn-and-explore/id6748285725) | 5.0 (1) | Free | Education |
| [Logical Fallacy Memory](https://appshunter.io/ios/app/logical-fallacy-memory/id6484316242) | 1.0 (1) | Free | Education |
| [Symbols: Learn Logic](https://appshunter.io/ios/app/symbols-learn-logic/id1642996557) | 4.5 (8) | Free | Education |
| [Logical Argumentation](https://appshunter.io/ios/app/logical-argumentation/id6738572175) | 3.0 (1) | Free | Education |
| [Affirmation Gratitude Journal](https://appshunter.io/ios/app/affirmation-gratitude-journal/id1466175138) | 5.0 (2) | Free | Education |

## More apps by Lucainson Raymond

- [Nobelpedia - Learning & Quiz](https://appshunter.io/ios/app/nobelpedia-learning-and-quiz/id6743984583)
- [analytica - AI chat analysis](https://appshunter.io/ios/app/analytica-ai-chat-analysis/id6744082581)
- [Game Theory Arena](https://appshunter.io/ios/app/game-theory-arena/id6744612031)
- [InsectoBlast: Bug Smasher](https://appshunter.io/ios/app/insectoblast-bug-smasher/id6744654758)
- [ChronoFusion](https://appshunter.io/ios/app/chronofusion/id6744655659)
- [Neurona: Brain Mystery Puzzle](https://appshunter.io/ios/app/neurona-brain-mystery-puzzle/id6744674183)

All apps by Lucainson Raymond: https://appshunter.io/developer/1805397683

## Related topics

[formal logic](https://appshunter.io/ios/topics/formal-logic) · [syllogism](https://appshunter.io/ios/topics/syllogism) · [sleeping beauty lab](https://appshunter.io/ios/topics/sleeping-beauty-lab) · [philosophy game](https://appshunter.io/ios/topics/philosophy-game)

---

*Data collected daily from the US App Store and indexed by [AppsHunter](https://appshunter.io/). User reviews are verbatim App Store reviews. Ratings, prices and chart positions refresh continuously; this snapshot is from 2026-09-02.*