Logical Construct & Philosophy vs Philosophy Help AI

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/

Stuck on a proof, a truth table or a fallacy question? Take a photo of the problem and LogicIQ solves it step by step, with every rule named, so you see why the answer is right. HOW IT WORKS 1. Take a photo of your logic homework, quiz or textbook page, pick one from your library, or upload a PDF. 2. LogicIQ's AI reads every question. 3. You get each answer with the reasoning behind it. Expert answers add rule citations and truth table rows. FORMAL LOGIC - Truth tables, validity and tautologies - Natural deduction proofs, line by line, with the rule for each step - Propositional and predicate logic, quantifiers and scope - Symbolization, from English into formal logic - Validity vs soundness ARGUMENTS AND FALLACIES Find the premises and the conclusion, spot the hidden assumption, and name the fallacy, from affirming the consequent to the straw man. ASK YOUR LOGIC TUTOR Chat about any answer or any logic topic. The tutor walks through proofs line by line and remembers what you are working on. LOGIC REFERENCE Symbols, rules of inference and formal fallacies, each with an example, one tap away in the Chat tab. STUDY GUIDES AND FLASHCARDS Type a topic or scan your notes, and LogicIQ writes a study guide. Open any section, then turn it into flashcards. Every answer is saved in History. Available in English, German, French, Spanish, Italian, Portuguese and Japanese. LogicIQ requires a subscription to use premium features, plans detailed below: PREMIUM PLANS ($2.99/week, $7.99/month, $39.99/year, $24.99/year discount): - More solved problems - Detailed and Expert answers - More chats with the logic tutor - More study guides and flashcards The $2.99/week plan starts with a 3-day free trial, and the $39.99/year plan with a 1-week free trial. By downloading this app, you agree to our terms and conditions and privacy policy: Terms: apple.com/legal/internet-services/itunes/dev/stdeula Privacy: format.partners/logiciq-privacy-policy Support: format.partners/support Contact: hello@format.partners LogicIQ is a study aid. Always check answers against your course materials and your instructor.