Three approaches to congruence

Abstract : This paper is concerned with three methodologies to construct a congruence in a language (L, O) among which Frege's specific solution stands. The first construction is derived from Leibniz's principle that indiscernible objects should be identified. The second construction is apparented to Frege's solution by its use of a referential model. The third approach is our own solution to the problem in the framework of rewriting systems.
Type de document :
Communication dans un congrès
Gehrardt Schurz. Proceedings of the International Wittgenstein Colloquium, Aug 1997, Kirchberg am Wechsel, pp.623-629, 1997
Liste complète des métadonnées

https://jeannicod.ccsd.cnrs.fr/ijn_00000496
Contributeur : Sacha Bourgeois-Gironde <>
Soumis le : dimanche 2 mai 2004 - 09:40:43
Dernière modification le : mardi 24 avril 2018 - 17:20:08
Document(s) archivé(s) le : samedi 3 avril 2010 - 19:10:55

Identifiants

  • HAL Id : ijn_00000496, version 1

Collections

Citation

Sacha Bourgeois-Gironde, Paul-André Melliès. Three approaches to congruence. Gehrardt Schurz. Proceedings of the International Wittgenstein Colloquium, Aug 1997, Kirchberg am Wechsel, pp.623-629, 1997. 〈ijn_00000496〉

Partager

Métriques

Consultations de la notice

454

Téléchargements de fichiers

168