Staffan Angere
Biographic Data
| ID | 5996437 |
|---|---|
| NAME | Staffan Angere |
| GIVEN NAMES | Staffan |
| FAMILY NAME | Angere |
| SIGNATURE | ANGERE S |
| AFFILIATIONS | Lund University |
| ORCID | 0000-0002-7325-2730 |
| VERIFIED | Yes |
| TOTAL WORKS | 3 |
| TOTAL CITATIONS | 5 |
| AUTHOR COUNT | 3 |
| EDITOR COUNT | 0 |
| FIRST PUBLICATION YEAR | 2007 |
| LATEST PUBLICATION YEAR | 2021 |
| H-INDEX | 1 |
Identity and intensionality in Univalent Foundations and philosophy
The Univalent Foundations project constitutes what is arguably the most serious challenge to set-theoretic foundations of mathematics since intuitionism. Like intuitionism, it differs both in its philosophical motivations and its mathematical-logical apparatus. In this paper we will focus on one such difference: Univalent Foundations’ reliance on an intensional rather than extensional logic, through its use of intensional Martin-Löf type theory .…
The Philosophy of Information – By Luciano Floridi
The defeasible nature of coherentist justification
The defeasible nature of coherentist justification
The Philosophy of Information – By Luciano Floridi
Identity and intensionality in Univalent Foundations and philosophy
The Univalent Foundations project constitutes what is arguably the most serious challenge to set-theoretic foundations of mathematics since intuitionism. Like intuitionism, it differs both in its philosophical motivations and its mathematical-logical apparatus. In this paper we will focus on one such difference: Univalent Foundations’ reliance on an intensional rather than extensional logic, through its use of intensional Martin-Löf type theory .…
Epistemology (3 works) · Philosophy (3 works) · Computer Science (2 works) · Mathematics (2 works) · Metaphysics (2 works) · Philosophy and Theoretical Science (2 works) · Philosophy of language (2 works) · Philosophy of science (2 works) · Advanced Algebra and Logic (1 works) · Artificial Intelligence (1 works)