Results 71 to 80 of about 1,524,096 (164)
Rule‐Following II: Recent Work and New Puzzles
Philosophy Compass, Volume 19, Issue 5, May 2024.Abstract “Rule‐following” is a name for a cluster of phenomena where we seem both guided and “normatively” constrained by something general in performing particular actions. Understanding the phenomenon is important because of its connection to meaning, representation, and content.
Indrek Reiland
wiley +1 more source
Quantitativity and fixed points in the infinitary relational semantics of linear logic
Grellois and Melli`es introduced in 2015 an infinitary variant of the relational model of linear logic [GM15a], in which the exponential can build multisets with finite or countable multiplicities. Their aim was to use such models for higher-order model-
Grellois, C., Clairambault, P.
core +3 more sources
Noûs, Volume 58, Issue 1, Page 126-140, March 2024.Abstract Quantifiers frequently figure in works of fiction. But occurrences of quantificational expressions within fictions seem no more inevitably to be associated with real domains than uses of names within fictions seem inevitably to be associated with existing referents.
Dominic Gregory
wiley +1 more source
Towards an infinitary logic of domains : Abramsky logic for transition systems [PDF]
, 1999 We give a new characterization of sober spaces in terms of their completely distributive lattice of saturated sets. This characterization is used to extend Abramsky's results about a domain logic for transition systems.
Bonsangue, M.M. (Marcello) +1 more
core +2 more sources
Infinitary hybrid logic and the Lindelöf property [PDF]
, 2015 This short note is about hybrid logic with infinitary rules, interpreted in named models. It is shown that there is a rule K such that the property ‘entails K’ is not Lindelöf: if some collection of rules R entails K, then there is not always a countable
Renardel de Lavalette, Gerard; id_orcid +1 more
core +4 more sources
Gödel’s Incompleteness Theorems and Physics
Principia: An International Journal of Epistemology, 2011 This paper is a summary of a lecture in which I presented some remarks on Gödel’s incompleteness theorems and their meaning for the foundations of physics. The entire lecture will appear elsewhere.
Newton C. A. da Costa
doaj
Ordinal analysis and the set existence property for intuitionistic set theories. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Rathjen M.
europepmc +1 more source
Infinitary negative translations and Glivenko logic
Archive for Mathematical LogicWe study infinitary intuitionistic logic by employing both syntactic and semantic methods. First, we introduce a natural deduction system for infinitary predicate logic and study some of its basic properties.
Giacomo Bartoli +2 more
semanticscholar +1 more source
Modern perspectives in Proof Theory. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Aguilera JP, Pakhomov F, Weiermann A.
europepmc +1 more source
Infinitary Lambda Calculi from a Linear Perspective [PDF]
, 2016 International audienceWe introduce a linear infinitary λ-calculus, called Λ∞, in which two exponential modalities are available, the first one being the usual, finitary one, the other being the only construct interpreted coinductively.
Ugo Dal Lago, Dal Lago, Ugo
core +1 more source