Logical Construct & Philosophy vs EGK Calculus AR

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/

EGK Calculus AR is a revolutionary educational app that brings calculus concepts to life using immersive Augmented Reality (AR). Whether you're a high school student, university learner, or just a curious mind, this app helps you deeply understand core ideas like limits, derivatives, and integrals through interactive, visual learning. Say goodbye to flat textbook diagrams and hello to dynamic, 3D visualizations you can walk around, observe from different angles, and interact with in real-time. Watch how a sine curve forms, see how a derivative changes slope, or visualize the area under a curve—all from your phone or tablet. Key Features: AR Graph Plotting: Instantly plot mathematical functions like sine, cosine, and polynomials in your physical environment. Limit Visualization: Understand how functions behave as x approaches a value, with clear left/right-hand visual cues. Derivative Tool: Tap a point to see the slope of the tangent line calculated and displayed in AR. Integral Area Visualization: (Coming Soon) See the area under a curve build dynamically using methods like the trapezoidal rule. Interactive Quizzes: Reinforce your learning with multiple-choice questions after each concept. Tactile Gestures: Rotate and move graphs in AR space with intuitive gestures for full spatial understanding. Math Input Engine: Type functions in familiar notation (e.g., sin(x), x^2 + 3x) and watch them render instantly. Beginner Friendly: No prior calculus experience needed—ideal for students just starting out. Modern SwiftUI + RealityKit Interface: A polished, smooth, and engaging user interface built for iOS devices. Educational Impact: EGK Calculus AR turns abstract math into something visual, interactive, and memorable. Students no longer have to imagine what a derivative looks like—it’s right in front of them, in 3D. Ideal for use in classrooms, study sessions, or solo exploration. Requirements: iPhone or iPad with ARKit support (iOS 15 or later) Stable lighting and a flat surface for best AR tracking Why EGK Calculus AR? Because math is better seen than just read. And with AR, your environment becomes a living textbook.