Zobrazeno 1 - 10
of 405
pro vyhledávání: '"New Foundations"'
Autor:
Cunningham, Clifford1 Cliff.Cunningham@unisq.edu.au
Publikováno v:
Journal of Astronomical History & Heritage. Sep2024, Vol. 27 Issue 3, p714-716. 3p.
Autor:
Tin Adlešić, Vedran Čačić
Publikováno v:
Bulletin of the Section of Logic, Vol 52, Iss 4, Pp 551-581 (2023)
In this paper, we rigorously prove the existence of type-level ordered pairs in Quine’s New Foundations with atoms, augmented by the axiom of infinity and the axiom of choice (NFU + Inf + AC). The proof uses the cardinal squaring principle; more pr
Externí odkaz:
https://doaj.org/article/02ad572bc5b04b83bed4518d27bf9706
Publikováno v:
Journal of Consumer Policy. Jun2018, Vol. 41 Issue 2, p177-189. 13p.
Autor:
Killin, Anton1
Publikováno v:
Philosophical Quarterly. Jul2018, Vol. 68 Issue 272, p634-638. 4p.
Autor:
Downes, Stephen M.
Publikováno v:
Evolutionary Studies in Imaginative Culture. Fall2017, Vol. 1 Issue 2, p149-152. 4p.
Autor:
Fletcher, Samuel C.
Publikováno v:
Philosophy of Science. Jul2017, Vol. 84 Issue 3, p595-603. 9p.
Autor:
Petri, Fabio1 (AUTHOR) fabio.petri@unisi.it
Publikováno v:
Review of Political Economy. Jul2015, Vol. 27 Issue 3, p457-463. 7p.
Autor:
Adlešić, Tin, Čačić, Vedran
Publikováno v:
Logica Universalis. 16:451-468
The main feature of NF/NFU is the notion of stratification, which sets it apart from other set theories. We define stratification and prove constructively that every stratified formula has the (unique) least assignment of types. The basic notion of s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3b0428cbde727e81631b09b5bf3581c9
https://doi.org/10.1007/s11787-022-00310-y
https://doi.org/10.1007/s11787-022-00310-y
Autor:
BRIGHOUSE, CAROLYN1 brighous@oxy.edu
Publikováno v:
Mind. Oct2015, Vol. 124 Issue 496, p1332-1338. 7p.
Autor:
Jech, Thomas
Publikováno v:
The Journal of Symbolic Logic, 1999 Dec 01. 64(4), 1811-1819.
Externí odkaz:
https://www.jstor.org/stable/2586813