Results 41 to 50 of about 3,584 (122)
Infinite inference and mathematical conventionalism
Philosophy and Phenomenological Research, Volume 109, Issue 3, Page 897-912, November 2024.Abstract We argue that (1) a purported example of an infinite inference we humans can actually perform admits a faithful, finitary description, and (2) infinite inference contravenes any view which does not grant our minds uncomputable powers. These arguments block the strategy, dating back to Carnap's Logical Syntax of Language, of using infinitary ...
Douglas Blue
wiley +1 more source
A Fractal which violates the Axiom of Determinacy
BRICS Report Series, 1994 By use of the axiom of choice I construct a symmetrical and self-similar subset A \subseteq [0,1] \subseteq R. Then by an elementary strategy stealing argument it is shown that A is not determined. The (possible) existence of fractals like A clarifies the status of the controversial Axiom of Determinacy.
openaire +2 more sources
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
Kant on punishment and poverty
The Southern Journal of Philosophy, Volume 62, Issue 2, Page 193-210, June 2024.Abstract I offer a Kantian argument for the idea that the state lacks the authority to punish neglected, impoverished citizens when they commit crimes to cope with that neglect. Given Kant's own commitments to the value of external freedom and the state's obligation to ensure it, there is no reason a Kantian state can claim authority to punish an ...
Nicholas Hadsell
wiley +1 more source
Scott Ranks of Classifications of the Admissibility Equivalence Relation [PDF]
, 2017 Let $\mathscr{L}$ be a recursive language. Let $S(\mathscr{L})$ be the set of $\mathscr{L}$-structures with domain $\omega$. Let $\Phi : {}^\omega 2 \rightarrow S(\mathscr{L})$ be a $\Delta_1^1$ function with the property that for all $x,y \in {}^\omega ...
Chan, William +2 more
core +1 more source
E-Generalization Using Grammars [PDF]
, 2017 We extend the notion of anti-unification to cover equational theories and present a method based on regular tree grammars to compute a finite representation of E-generalization sets.
Burghardt, Jochen
core
Weak axioms of determinacy and subsystems of analysis II (∑02 games)
Annals of Pure and Applied Logic, 1991 [Part I is reviewed above (see Zbl 0729.03032).] Proof-theoretic strength of \(\Sigma^ 0_ 2\)-determinacy is investigated with respect to the well-known calibration subsystems \(\mathbf{ACA}_ 0\), \(\mathbf{ATR}_ 0\), \(\pmb\Pi^ 1_ 1\)-\(\mathbf{CA}\) of second-order arithmetic.
openaire +2 more sources
Techniques for approaching the dual Ramsey property in the projective hierarchy [PDF]
, 2001 We define the dualizations of objects and concepts which are essential for investigating the Ramsey property in the first levels of the projective hierarchy, prove a forcing equivalence theorem for dual Mathias forcing and dual Laver forcing, and show ...
Halbeisen, Lorenz, Loewe, Benedikt
core +2 more sources
The Culmination: Reply to my Critics
European Journal of Philosophy, Volume 32, Issue 3, Page 959-970, September 2024.
Robert Pippin
wiley +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