Results 61 to 70 of about 712,824 (175)
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
Infinitary Modal Logic and Generalized Kripke Semantics [PDF]
, 2012 This paper deals with the infinitary modal propositional logic Kω1, featuring countable disjunctions and conjunc- tions. It is known that the natural infinitary extension LKω1 (here presented as a Tait-style calculus, TK♯ω1 ) of the standard sequent ...
Minari, Pierluigi
core +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
An infinitary treatment of full mu-calculus
, 2019 We explore the proof theory of the modal μ-calculus with converse, aka the ‘full μ-calculus’. Building on nested sequent calculi for tense logics and infinitary proof theory of fixed point logics, a cut-free sound and complete proof system for full μ ...
Moortgat, M. +5 more
core +2 more sources
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
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
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