Results 121 to 130 of about 5,812 (235)
Can we repudiate ontology altogether?
Noûs, Volume 60, Issue 2, Page 264-292, June 2026.Abstract Ontological nihilists repudiate ontology altogether, maintaining that ontological structure is an unnecessary addition to our theorizing. Recent defenses of the view involve a sophisticated combination of highly expressive but ontologically innocent languages combined with a metaphysics of features—non‐objectual, complete but modifiable states
Christopher J. Masterman
wiley +1 more source
Relativistic Roots of κ-Entropy
EntropyThe axiomatic structure of the κ-statistcal theory is proven. In addition to the first three standard Khinchin–Shannon axioms of continuity, maximality, and expansibility, two further axioms are identified, namely the self-duality axiom and the scaling ...
Giorgio Kaniadakis
doaj +1 more source
Symmetry lost: A modal ontological argument for atheism?
Noûs, Volume 60, Issue 2, Page 313-327, June 2026.Abstract The modal ontological argument for God's existence faces a symmetry problem: a seemingly equally plausible reverse modal ontological argument can be given for God's nonexistence. Here, we argue that there are significant asymmetries between the modal ontological argument and its reverse that render the latter more compelling than the former ...
Peter Fritz +2 more
wiley +1 more source
A Collapse Result in the Mereology of Properties
Ratio, Volume 39, Issue 2, Page 57-65, June 2026.ABSTRACT I examine five principles about the metaphysics of properties, each of which has been defended in the literature: (1) the sum of properties is their corresponding conjunctive property, (2) the mereology of properties is classical, (3) properties are individuated by necessary co‐instantiation, (4) sums of objects belonging to different ...
Alejandro G. Di Rienzo
wiley +1 more source
Kripke's Reduction of Löb's Theorem to the Second Incompleteness Theorem
Theoria, Volume 92, Issue 3, June 2026.ABSTRACT In this paper, we discuss Kripke's reduction of Löb's Principle to the Second Incompleteness Theorem. We have a closer look at the non‐constructive character of the reduction. We reflect on what the argument has to tell us. In the Appendix, We give a strengthening of Löb's Principle suggested by Kripke's reduction.
Albert Visser
wiley +1 more source
Theorem proving support in programming language semantics
, 2007 Proposé pour publication dans l'ouvrage à la mémoire de Gilles KahnWe describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system ...
Bertot, Yves
core +2 more sources
(Co‐)Reference All the Way Down: A Unified Theory of (Pro) Nominals in Ordinary English
Theoria, Volume 92, Issue 3, June 2026.ABSTRACT This essay joins two themes, both arising from Kripke's inspiring ideas in the theory of reference. The first theme concerns reference in general. The second examines the notion of co‐reference and the role it plays in a unified theory of pronouns for natural language.
Jessica Pepp, Joseph Almog
wiley +1 more source
Kripke on Gödel Incompleteness
Theoria, Volume 92, Issue 3, June 2026.ABSTRACT This paper surveys six of Saul Kripke's highly creative ideas and results on Gödel incompleteness, from when he was an undergraduate to last publications. These include his extension of incompleteness from sentences to predicates, his model‐theoretic proof of incompleteness of arithmetic, his compelling analysis of incompleteness in terms of ...
Daniel Isaacson
wiley +1 more source
The Environmental Conditions, Treatments, and Exposures Ontology (ECTO): connecting toxicology and exposure to human health and beyond. [PDF]
J Biomed Semantics, 2023 Chan LE +10 more
europepmc +1 more source
The axiomatic semantics of IMP
, 2017 U ovom diplomskom radu proučavamo aksiomatsku semantiku IMP-a. Ba vimo se sustavnom provjerom programa napisanih u IMP-u. Uvedena su Hoareova pravila za provjeru parcijalne korektnosti programa te je dokazana utemeljenost Hoareove logike.
Žmire, Damira
core