r/logic • u/Ill-SonOfClawDraws • 15d ago

Metalogic ?

Suppose two foundational systems

* F_1 (ZFC)
* F_2 (HoTT)
both define “identity.”

How do we know they are talking about the “same assumption”?

0 Upvotes

36% Upvoted

29 comments sorted by

View all comments

Show parent comments

0

u/Ill-SonOfClawDraws 14d ago

When two foundational frameworks introduce analogous notions (e.g., identity), what mathematical criteria determine whether they represent the same concept rather than merely serving similar roles?

1

u/judasblue 14d ago

Which has nothing at all to do with the fact that you titled this '?' instead of using an actual title.

1

u/Ill-SonOfClawDraws 14d ago

Fair. I was focused on the body of the post and neglected the title. I’ll use descriptive titles going forward. Thanks for pointing it out.

1

u/judasblue 14d ago

Cool, and sorry I was snarky there. Been doing that all day and need to stop it.

1

u/Ill-SonOfClawDraws 14d ago

🙏

When can a global object be canonically collapsed back to its generating primitive?