Skip to main content
×
Home
    • Aa
    • Aa

IDENTITY AND INDISCERNIBILITY

  • JEFFREY KETLAND (a1)
Abstract

The notion of strict identity is sometimes given an explicit second-order definition: objects with all the same properties are identical. Here, a somewhat different problem is raised: Under what conditions is the identity relation on the domain of a structure first-order definable? A structure may have objects that are distinct, but indiscernible by the strongest means of discerning them given the language (the indiscernibility formula). Here a number of results concerning the indiscernibility formula, and the definability of identity, are collected and a number of applications discussed.

Copyright
Corresponding author
*JEFFREY KETLAND DEPARTMENT OF PHILOSOPHY UNIVERSITY OF EDINBURGH EDINBURGH UNITED KINGDOM. E-mail:jeffrey.ketland@ed.ac.uk
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

A. Tarski (1959). What is elementary geometry? In L. Henkin , P. Suppes , and A. Tarski , editors. The Axiomatic Method, Amsterdam, The Netherlands: North Holland, pp. 1629. Page references are to the reprint in J. Hintikka (ed.) 1968, Philosophy of Mathematics. Oxford: Oxford University Press.

D. van Dalen (1994). Logic and Structure. Berlin: Springer.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 9 *
Loading metrics...

Abstract views

Total abstract views: 113 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 25th March 2017. This data will be updated every 24 hours.