Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata
Contributor : Sacha Bourgeois-Gironde <>
Submitted on : Sunday, May 2, 2004 - 9:40:43 AM
Last modification on : Friday, July 2, 2021 - 9:58:02 AM
Long-term archiving on: : Saturday, April 3, 2010 - 7:10:55 PM


  • HAL Id : ijn_00000496, version 1


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⟩



Record views


Files downloads