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 metadatas

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, September 22, 2020 - 3:57:54 AM
Long-term archiving on: : Saturday, April 3, 2010 - 7:10:55 PM

Identifiers

  • HAL Id : ijn_00000496, version 1

Collections

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

531

Files downloads

237