Results 21 to 30 of about 74 (73)
European Journal of Philosophy, Volume 32, Issue 3, Page 801-819, September 2024.Abstract What are Carnap's views on the epistemology of mathematics? Did he believe in a priori justification, and if so, what is his account of it? One might think that such questions are misguided, since in the 1930s Carnap came to reject traditional epistemology as a confused mixture of logic and psychology. But things are not that simple.
Benjamin Marschall
wiley +1 more source
On two arguments for fanaticism
Noûs, Volume 58, Issue 3, Page 565-595, September 2024.Abstract Should we make significant sacrifices to ever‐so‐slightly lower the chance of extremely bad outcomes, or to ever‐so‐slightly raise the chance of extremely good outcomes? Fanaticism says yes: for every bad outcome, there is a tiny chance of extreme disaster that is even worse, and for every good outcome, there is a tiny chance of an enormous ...
Jeffrey Sanford Russell
wiley +1 more source
Center indifference and skepticism
Noûs, Volume 58, Issue 3, Page 778-798, September 2024.Abstract Many philosophers have been attracted to a restricted version of the principle of indifference in the case of self‐locating belief. Roughly speaking, this principle states that, within any given possible world, one should be indifferent between different hypotheses concerning who one is within that possible world, so long as those hypotheses ...
David Builes
wiley +1 more source
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
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
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
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
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
Formal model theory and higher topology
Mathematical Logic Quarterly, Volume 70, Issue 1, Page 111-125, February 2024.Abstract We study the 2‐categories BIon, of (generalized) bounded ionads, and Accω$\text{Acc}_\omega$, of accessible categories with directed colimits, as an abstract framework to approach formal model theory. We relate them to topoi and (lex) geometric sketches, which serve as categorical specifications of geometric theories. We provide reconstruction
Ivan Di Liberti
wiley +1 more source
A Comprehensive Framework for Saturation Theorem Proving. [PDF]
J Autom Reason, 2022 Waldmann U +3 more
europepmc +1 more source