Truth and Existence

Autor: Jan Heylen, Leon Horsten

Publikováno v: Heylen, J & Horsten, L 2017, ' Truth and Existence ', Thought: A Journal of Philosophy, vol. 6, no. 2, pp. 106-114 . https://doi.org/10.1002/tht3.238

Halbach has argued that Tarski biconditionals are not ontologically conservative over classical logic, but his argument is undermined by the fact that he cannot include a theory of arithmetic, which functions as a theory of syntax. This article is an

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::53188ee023e6d60c2226375c8fc9f104
https://doi.org/10.1002/tht3.238

Genuine Modal Realism and Completeness

Autor: Alexander Paseau

Publikováno v: Mind. 115:721-730

Divers and Melia (2002) argue by reductio that the genuine modal realist cannot satisfy the left-to-right direction of the universal closure of (P) without resort to modal primitives. In their terminology, the reductio aims to show that genuine modal

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a30bbeba89dc54b66356ba4cd3879bf2
https://doi.org/10.1093/mind/fzl721

Morphism classes producing (weak) Grothendieck topologies, (weak) Lawvere--Tierney topologies, and universal closure operations

Autor: MEHDI NODEHI, SEYED NASER HOSSEINI

Publikováno v: Volume: 37, Issue: 5 818-829
Turkish Journal of Mathematics

In this article, given a category X, with W the subobject classifier in Set^{X^{op}, we set up a one-to-one correspondence between certain (i) classes of X-morphisms, (ii) W-subpresheaves, (iii) W-automorphisms, and (iv) universal operators. As a res

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2aaefc41bea48e92f89ed519e2f5820b
https://dergipark.org.tr/tr/pub/tbtkmath/issue/12209/145707

Precovers, Modalities and Universal Closure Operators in a Topos

Autor: John L. Bell, Silvia Gebellato

Publikováno v: Mathematical Logic Quarterly. 42:289-299

In this paper we develop the notion of formal precover in a topos by defining a relation between elements and sets in a local set theory. We show that such relations are equivalent to modalities and to universal closure operators. Finally we prove th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::bcb440c57f5f2aa13b93bb4a66ba4b71
https://doi.org/10.1002/malq.19960420124

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.