Théorie ontologique et méréologique

Information générale

Lesniewski_Mereology est une librairie Coq crée par R. Dapoigny et P. Barlatier qui contient une alternative à la théorie des ensembles développée par Stanislaw Lesniewski.  Celle-ci repose sur (i) une logique classique d’ordre supérieur  (aka Protothétique), (ii) l’ontologie de Lesniewski (LO), une théorie ontologiquement neutre qui manipule des noms et (iii) une théorie des classes collectives appelée méréologie. La théorie que nous avons développé repose sur l’utilisation  d’une théorie des types pour formaliser un fragment de cette théorie. Pour représenter les trois niveaux dépendants, la protothétique est remplacée par une logique classique et le système de typage se substitue aux contraintes logiques.  L’ontologie et la méréologie contiennent un nombre minimal d’axiomes, des définitions ontologiques et méréologiques ainsi qu’un certain nombre de théorèmes et leur démonstration.

Accord

Ce logiciel est fourni « en l’état » et sans garantie d’aucune sorte. Les auteurs de ce logiciel ne garantissent en aucune façon ni la bonne exécution, ni la bonne génération de données en utilisant ce logiciel, que ce soit en termes de fiabilité, précision ou d’aptitude à l’emploi. Vous assumez entièrement les risques directs ou indirects, qui peuvent ou non résulter de l’utilisation correcte ou non de ce logiciel, même si les auteurs ont été informés des possibilités d’un tel dommage. Ni les auteurs, ni l’Université Savoie Mont Blanc, ni aucune autre personne reliée à ce logiciel de près ou de loin ne peuvent assumer cettte responsabilité d’aucune manière.

En téléchargeant, puis en installant ce logiciel, vous acceptez les termes de cet accord. Si vous ne l’acceptez pas, ne continuez pas avec le téléchargement.

Exigences

  • Coq (v8.8 ou supérieur)

Installation