AI Summary & Key Takeaways
AI InsightAdditionally, it presents a brief critique of these strategies.
📌 3 Key Takeaways
Abstract
Zermelo-Fraenkel set theory (ZFC) is frequently recognized as “the most common foundation of mathematics”. Traditionally, ZFC has been formulated and studied within the confines of first-order logic. That is, ZFC in its widely accepted form is a first-order theory. However, since the 1970s, an increasing number of philosophers of logic and set theorists, for various reasons, have advocated for the necessity of a stronger theory to study sets and the foundations of mathematics. In this framework, the most frequently voiced proposal to date has been to adopt a formulation of ZFC in the language of second-order logic. Yet, in such a formulation, ZFC becomes a class-set theory rather than a pure set theory. In this context, an alternative approach frequently discussed in recent years is to study and even synthesize set theory with plural logic. It is anticipated that a set theory formulated with plural logic would both provide the advantages of second-order ZFC and achieve this without becoming a class-set theory. This study introduces the reasons for the growing demand for higher-order set theories in the contemporary literature of philosophical set theory, the motivations behind the proposal to study set theory with plural logic, the various obstacles to such a synthesis, the different strategies developed to resolve these issues, and their philosophical justifications. Additionally, it presents a brief critique of these strategies.
Özet
Zermelo-Fraenkel küme kuramı (ZFC) sıklıkla “matematiğin en genelgeçer/ortak temeli” olarak tanınmaktadır. Geleneksel olarak ZFC birinci derece mantığın sınırlarında formüle edilmiş ve çalışılmıştır. Yani ZFC alışılageldiği haliyle bir birinci derece kuramdır. Ancak 1970’li yıllardan beri giderek daha fazla mantık felsefecisi ve küme kuramcısı çeşitli nedenlerle küme kuramını ve matematiğin temellerini çalışmak için daha güçlü bir kuramın gerekliliğini savunmaktadır. Bu çerçevede şimdiye kadar en çok dile getirilen öneri ZFC’nin ikinci derece mantık dilinde formüle edilmiş bir biçimini benimsemek olmuştur. Ancak böyle bir formülasyonda ZFC bir saf küme kuramından ziyade bir sınıf-küme kuramı haline gelmektedir. Bu bağlamda son yıllarda sıkça tartışılan alternatif bir yaklaşım, küme kuramını çoğul mantıkla çalışmak ve hatta sentezlemektir. Çoğul mantıkla formüle edilmiş bir küme kuramının hem ikinci derece mantıkla formüle edilmiş ZFC’nin avantajlarını sağlayacağı hem de bunu bir sınıf-küme kuramı haline gelmeden başaracağı öngörülmektedir. Bu çalışma, çağdaş felsefi küme kuramı literatüründe daha yüksek derece küme kuramları için güçlenen talebin nedenlerini, küme kuramını çoğul mantıkla çalışma teklifinin nedenlerini, böyle bir sentezin önündeki çeşitli sorunları, bu sorunları çözmek için geliştirilen çeşitli stratejileri ve bunların felsefi gerekçelendirmelerini tanıtmaktadır. Ayrıca bu stratejilerin kısa bir eleştirisini de sunmaktadır.