Norwegian version of this page

About the project

C-FORS develops new, groundbreaking applications of a highly idealized constructional approach, successfully used in set theory.

Photo: Colourbox.

Goals

This will be the largest concerted effort to date to develop a foundation for the study of intentional entities, e.g. propositions and properties, where a variety of paradoxes still arise, with no agreed-upon solution—nearly a century after set theory received its proper foundation.

The foundation is first and foremost of great theoretical significance, but will also have a number of practical consequences. For example, formal ontology is about the design of computer systems, and some of the project's ideas will be tested within the computer industry.

An interdisciplinary project

Overall, C-FORS offers pioneering interdisciplinary research where philosophy and logic yield—and are themselves constrained by—novel applications to the formal sciences.

Philosophy

In philosophy, we provide radical alternatives to the currently fashionable use of typed languages and exotic non-classical logics.

The foundations of mathematics

In the foundations of mathematics, we develop a pioneering constructional approach that retains the strength of set theory, while incorporating insights from the constructive tradition.

Formal ontology

We launch a rigorous approach to constructed entities in formal ontology.

Formal semantics

In formal semantics, we develop novel theories of propositions and properties, and a new logical foundation for the study of nominalization and group formation.

Basis

We seek to overcome the limitations of current approaches by developing a critical but liberal conception of construction inspired by Linnebo’s potentialist metaphysics and philosophy of mathematics, and by utilizing new theoretical tools - inspired by constructive mathematics - but only recently generalized so as to overcome various limitations and thus permit novel applications.

Sub-projects

Constructional approaches to the foundations of mathematics
Constructional approaches to formal ontology
Constructional approaches to formal semantics
Philosophy and construction