Logique Formelle & Philosophie

Logical Construct est une application de puzzles éducatifs qui rend la logique formelle véritablement jouable. Au lieu de lire passivement sur le raisonnement, vous construisez activement des preuves valides en appliquant les mêmes règles d'inférence utilisées par les logiciens, les mathématiciens et les philosophes : Modus Ponens, Modus Tollens, syllogisme hypothétique, Reductio ad Absurdum, et bien d'autres.

Chaque puzzle vous donne quelques prémisses et une conclusion à atteindre. Votre mission est de construire une chaîne de déductions, une règle à la fois, jusqu'à atteindre la conclusion. En faisant les preuves vous-même, et non en lisant simplement à leur sujet, les concepts logiques abstraits deviennent des compétences concrètes et intuitives.

Vous progresserez à travers la logique propositionnelle, manipulerez les opérateurs modaux de nécessité (□) et de possibilité (◇), et aborderez des techniques avancées comme la preuve conditionnelle et la preuve par l'absurde. Des arguments philosophiques classiques (le paradoxe de l'omnipotence, le problème du mal, l'argument ontologique d'Anselme, et sa version modale par Plantinga) deviennent des cadres vivants pour appliquer ces principes. Un raisonnement qui a façonné deux millénaires de philosophie, désormais accessible depuis votre téléphone.

CE QUI EST INCLUS
• 20 niveaux, 60 puzzles, de votre premier Modus Ponens à la logique modale S5
• 24 règles d'inférence organisées en six catégories : conditionnelle, conjonction, disjonction, négation, biconditionnelle et modale
• Visionneuse de solution étape par étape qui révèle la preuve un mouvement à la fois : elle vous montre le chemin, elle ne le résout pas à votre place
• Tables de vérité pour chaque règle propositionnelle, avec la ligne où toutes les prémisses sont vraies surlignée pour que vous puissiez voir pourquoi la règle est valide
• Surlignage en direct des formules qui indique quelles lignes une règle va utiliser
• Sous-preuves avec indentation à la Fitch : la manière naturelle d'apprendre la preuve conditionnelle et la Reductio ad Absurdum
• Tutoriel au premier lancement qui vous guide à travers votre toute première déduction, plus des introductions dédiées aux sous-preuves et à la logique modale
• Légende des atomes sur chaque puzzle : touchez pour voir ce que chaque symbole représente et lisez le puzzle comme une histoire en langage naturel
• Design néomorphique avec catégories de règles à code couleur
• Suivi de progression avec déverrouillage automatique des niveaux

POUR QUI
Les étudiants qui souhaitent renforcer leur raisonnement formel, les passionnés de philosophie curieux de comprendre comment les arguments fonctionnent vraiment, ou toute personne qui aime un bon puzzle qui fait réfléchir clairement.

- Politique de confidentialité : https://sites.google.com/view/logicalconstructapp/accueil
- Conditions d'utilisation : https://www.apple.com/legal/internet-services/itunes/dev/stdeula/