Results 61 to 70 of about 1,524,096 (164)
Philosophical Investigations, Volume 47, Issue 4, Page 461-483, October 2024.Abstract The mature Wittgenstein's groundbreaking analyses of sense and the logical must—and the powerful new method that made them possible—were the result of a multi‐year process of writing, re‐arranging, re‐writing and one large‐scale revision that eventually produced the Philosophical Investigations and RFM I.
Penelope Maddy
wiley +1 more source
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
Infinitary proof theory : the multiplicative additive case [PDF]
, 2016 Infinitary and regular proofs are commonly used in fixed point logics. Being natural intermediatedevices between semantics and traditional finitary proof systems, they are commonly found incompleteness arguments, automated deduction, verification, etc ...
Baelde, David +2 more
core +1 more source
Research on a General State Formalization Method from the Perspective of Logic
MathematicsAs information plays an ever more central role across disciplines, the lack of a precise and reusable definition of state impedes comparison, measurement, and verification. Building on Objective Information Theory (OIT), this paper proposes a logic-based
Siyuan Qiu, Jianfeng Xu
doaj +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
Non-Denumerable Infinitary Modal Logic
, 2009 Segerberg established an analogue of the canonical model theorem in modal logic for infinitary modal logic. However, the logics studied by Segerberg and Goldblatt are based on denumerable sets of pairs ‹Γ, α› of sets Γ of well-formed formulae and well ...
Cresswell,Max, Cresswell, Max
core +1 more source