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

https://jeannicod.ccsd.cnrs.fr/ijn_00000496
Contributor : Sacha Bourgeois-Gironde <>
Submitted on : Sunday, May 2, 2004 - 9:40:43 AM
Last modification on : Tuesday, January 12, 2021 - 3:29:21 AM
Long-term archiving on: : Saturday, April 3, 2010 - 7:10:55 PM

Identifiers

  • HAL Id : ijn_00000496, version 1

Citation

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⟩

Share

Metrics

Record views

555

Files downloads

252