Coordinate-free logic
| Authors | |
|---|---|
| Publication date | 09-2016 |
| Journal | Review of Symbolic Logic |
| Volume | Issue number | 9 | 3 |
| Pages (from-to) | 522-555 |
| Organisations |
|
| Abstract | A new logic is presented without predicates—except equality. Yet its expressive power is the same as that of predicate logic, and relations can faithfully be represented in it. In this logic we also develop an alternative for set theory. There is a need for such a new approach, since we do not live in a world of sets and predicates, but rather in a world of things with relations between them. |
| Document type | Article |
| Note | © Association for Symbolic Logic 2016 |
| Language | English |
| Published at |
https://doi.org/10.1017/S1755020316000174
(Final published version)
|
| Downloads |
coordinate-free-logic
(Final published version)
|
| Permalink to this page | |