Non Well-Foundedness and Type Freeness Can Unify the Interpretation of FunctionalApplication

摘要

The purpose of the paper is to provide a unified interpretation of collective anddistributive predication based on an intentional type-free set theory where individuals are non well founded sets. The use of type freeness and non well foundedness will enable the authors to get all the possible readings of sentences from two simple tables. The notion of internal definability will be fundamental for this uniform interpretation.