Results 71 to 80 of about 712,824 (175)
Philosophy and Phenomenological Research, Volume 109, Issue 1, Page 77-94, July 2024.Abstract A popular and enduring approach to the liar paradox takes the concept of truth to be inconsistent. Very roughly, truth is an inconsistent concept if the central principles of this concept (taken together) entail a contradiction, where one of these central principles is Tarski's T‐schema for truth: a sentence S is true if and only if p, (where ...
Patrick Greenough
wiley +1 more source
Barwise: Infinitary Logic and Admissible Sets
Bulletin of Symbolic Logic, 2004 §0. Introduction. In [16], Barwise described his graduate study at Stanford. He told of his interactions with Kreisel and Scott, and said how he chose Feferman as his advisor. He began working on admissible fragments of infinitary logic after reading and giving seminar talks on two Ph.D.
Keisler, H. Jerome, Knight, Julia F.
openaire +4 more sources
Philosophy and Phenomenological Research, Volume 109, Issue 1, Page 357-390, July 2024.Abstract The idea that some objects are metaphysically “cheap” has wide appeal. An influential version of the idea builds on abstractionist views in the philosophy of mathematics, on which numbers and other mathematical objects are abstracted from other phenomena.
Louis deRosset, Øystein Linnebo
wiley +1 more source
Infinitary Default Logic for Specification of Nonmonotonic Reasoning
, 1996 In this paper we study constructions leading to the formation of belief sets by agents. We focus on the situation when possible belief sets are built incrementally in stages.
V. Wiktor Marek +2 more
core +2 more sources
Mathematical Logic Quarterly, Volume 70, Issue 2, Page 142-161, May 2024.Abstract We provide two proofs of the compactness theorem for extensions of first‐order logic based on team semantics. First, we build upon Lück's [16] ultraproduct construction for team semantics and prove a suitable version of Łoś' Theorem. Second, we show that by working with suitably saturated models, we can generalize the proof of Kontinen and ...
Joni Puljujärvi +1 more
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 +1 more source
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
Journal of the American Mathematical Society, 2011 We deal with soft model theory of infinitary logics. We find a logic between L
openaire +2 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