DevoirDire par Jason

DevoirDire est un outil pour rédiger, vérifier et gérer des documents de logique formelle, réduisant l'ambiguïté partout où des règles, obligations et exigences doivent être énoncées avec précision : droit et politiques, contrats, normes et spécifications, ou cours de logique.

Rédiger des formules à l'aide de la logique des prédicats, des quantificateurs, de l'égalité, ainsi que des opérateurs déontiques (Obligation/Permission/Interdiction) et temporels (Toujours/Éventuellement/Jusqu'à), construites nœud par nœud avec un générateur de formules guidé - aucun besoin d'écrire du JSON à la main ou d'apprendre une syntaxe textuelle.

Vérifier votre document de trois façons :

• Cohérence : ces formules sont-elles simultanément satisfiables?
• Validité : une conclusion choisie découle-t-elle des autres?
• Solidité : cet argument est-il valide et appuyé par une base de faits intégrée, ou une base externe que vous connectez?

Le raisonnement déontique et temporel est optionnel par vérification, évalué sur un ensemble configurable et borné de mondes possibles - chaque réserve et limite est divulguée clairement dans les résultats, jamais dissimulée.

Gérer vos documents localement : importer, exporter, créer, modifier, restructurer et enregistrer des révisions datées, le tout stocké sur votre appareil. Rien ne le quitte, sauf si vous activez l'une de deux fonctions facultatives, toutes deux désactivées par défaut : l'édition partagée ou une source de faits externe.

Modifier à plusieurs (facultatif) : hébergez un document et invitez d'autres personnes par un lien direct de navigateur à navigateur, sans serveur intermédiaire. Chacun confirme d'abord un numéro de sécurité, vous choisissez qui peut modifier, et chaque changement est enregistré comme révision.

Le mode enseignement propose des exercices notés automatiquement où les étudiants jugent ou construisent des réponses sous forme de formules, en utilisant le même moteur de vérification que l'éditeur principal. Après le dernier exercice de la liste, il continue de proposer de nouveaux problèmes générés, avec la progression conservée par type.

Clavier et manette : tout est accessible au clavier, et les raccourcis à une touche pour l'enseignement, la liste des documents et l'éditeur peuvent être réassignés ou désactivés (appuyez sur ? pour les lister). La prise en charge de la manette est facultative, désactivée tant que vous ne l'activez pas dans les préférences, et n'a été essayée jusqu'ici qu'avec une manette simulée.

Disponible en anglais (canadien), français (canadien), allemand, italien et japonais.