Actions

Ontolog Forum

Revision as of 20:12, 20 February 2025 by Forum (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Session Track 2
Duration 1 hour
Date/Time 05 Mar 2025 17:00 GMT
9:00am PST/12:00pm EST
5:00pm GMT/6:00pm CET
Convener Alex Shkotin

Ontology Summit 2025 Track 2

Agenda

Øystein Linnebo

  • Title: Constructional ontology and criteria of identity
  • Abstract: Gödel and others have suggested that a set can be regarded as constructed from its elements. Given any objects, we can apply the “set of” operation to construct the set of these objects. Inspired by Gödel’s suggestion, this talk presents a far more general constructional approach to ontology. First, I clarify what it is for some objects to be “constructed” from others. The key is that all truths about the “new” objects that are constructed must reduce to truths about the “old” objects on which the construction is based. Then, I explain the central role of criteria of identity in the constructional approach. When constructing “new” objects, it is particularly important to stipulate what it takes for them to be identical or distinct. A variety of examples are provided, including mereological sums, ordered pairs, as well as cardinal and ordinal numbers. Finally, I present a logical framework in which this constructional approach can be developed. In this framework, a large and natural family of forms of construction can be proved to be consistent.

Conference Call Information

Discussion

Resources

Previous Meetings

 Session
ConferenceCall 2025 02 26Track 2
ConferenceCall 2025 02 19Track 1
ConferenceCall 2025 02 12Track 1
... further results

Next Meetings

 Session
ConferenceCall 2025 03 12Track 2
ConferenceCall 2025 03 19Synthesis
ConferenceCall 2025 03 26Track 3
... further results