Three approaches to congruence - Archive ouverte en Histoire etPhilosophie des Sciences et des Techniques Accéder directement au contenu
Communication Dans Un Congrès Année : 1997

Three approaches to congruence

Sacha Bourgeois-Gironde
Paul-André Melliès

Résumé

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.

Domaines

Fichier principal
Vignette du fichier
ijn_00000496_00.pdf (139.18 Ko) Télécharger le fichier

Dates et versions

ijn_00000496 , version 1 (02-05-2004)

Identifiants

  • HAL Id : ijn_00000496 , version 1

Citer

Sacha Bourgeois-Gironde, Paul-André Melliès. Three approaches to congruence. Proceedings of the International Wittgenstein Colloquium, Aug 1997, Kirchberg am Wechsel, pp.623-629. ⟨ijn_00000496⟩
61 Consultations
74 Téléchargements

Partager

Gmail Facebook X LinkedIn More