We study reflection principles in Kelley-Morse set theory with urelements (KMU). We first show that First-Order Reflection Principle is not provable in KMU with Global Choice. We then show that KMU + Limitation of Size + Second-Order Reflection Principle is mutually interpretable with KM + Second-Order Reflection Principle. Furthermore, these two theories are also shown to be bi-interpretable with parameters. Finally, assuming the existence of a κ+-supercompact cardinal κ in KMU, we construct a (...) model of KMU + Second-Order Reflection Principle where Limitation of Size fails. (shrink)

Zermelo’s Theorem that the axiom of choice is equivalent to the principle that every set can be well-ordered goes through in third-order logic, but in second-order logic we run into expressivity issues. In this note, we show that in a natural extension of second-order logic weaker than third-order logic, choice still implies the well-ordering principle. Moreover, this extended second-order logic with choice is conservative over ordinary second-order logic (...) with the well-ordering principle. We also discuss a variant choice principle, due to Hilbert and Ackermann, which neither implies nor is implied by the well-ordering principle. (shrink)

We give a new elementary proof of the comparison theorem relating $\sum^1_{n + 1}-\mathrm{AC}\uparrow$ and $\Pi^1_n -\mathrm{CA}\uparrow$ ; the proof does not use Skolem theories. By the same method we prove: a) $\sum^1_{n + 1}-\mathrm{DC} \uparrow \equiv (\Pi^1_n -CA)_{ , for suitable classes of sentences; b) $\sum^1_{n+1}-DC \uparrow$ proves the consistency of (Π 1 n -CA) ω k, for finite k, and hence is stronger than $\sum^1_{n+1}-AC \uparrow$ . a) and b) answer a question of Feferman and Sieg.

There is little doubt that a second-order axiomatization of Zermelo-Fraenkel set theory plus the axiom of choice (ZFC) is desirable. One advantage of such an axiomatization is that it permits us to express the principles underlying the first-order schemata of separation and replacement. Another is its almost-categoricity: M is a model of second-order ZFC if and only if it is isomorphic to a model of the form Vκ, ∈ ∩ (Vκ × Vκ) , (...) for κ a strongly inaccessible ordinal. (shrink)

Following [3], we build higher-order models of analysis resembling the frameworks of nonstandard analysis. The models are entirely canonical, constructed without Choice. Weak transfer principles are developed and the models are applied to topology, graph theory, and measure theory. A Loeb-like measure is constructed.

Following [3], we build higher-order models of analysis resembling the frameworks of nonstandard analysis. The models are entirely canonical, constructed without Choice. Weak transfer principles are developed and the models are applied to topology, graph theory, and measure theory. A Loeb-like measure is constructed.

We show that there is a [Formula: see text]-model of second-order arithmetic in which the choice scheme holds, but the dependent choice scheme fails for a [Formula: see text]-assertion, confirming a conjecture of Stephen Simpson. We obtain as a corollary that the Reflection Principle, stating that every formula reflects to a transitive set, can fail in models of [Formula: see text]. This work is a rediscovery by the first two authors of a result obtained by the (...) third author in [V. G. Kanovei, On descriptive forms of the countable axiom of choice, Investigations on nonclassical logics and set theory, Work Collect., Moscow, 3-136 ]. (shrink)

This article provides a systematic analysis of social choice theory without the Pareto principle, by revisiting the method of Murakami Yasusuke. This article consists of two parts. The first part investigates the relationship between rationality of social preference and the axioms that make a collective choice rule either Paretian or anti-Paretian. In the second part, the results in the first part are applied to obtain impossibility results under various rationality requirements of social preference, such as S-consistency, quasi-transitivity, (...) semi-transitivity, the interval-order property, and acyclicity. (shrink)

One prominent criticism of the abstractionist program is the so-called Bad Company objection. The complaint is that abstraction principles cannot in general be a legitimate way to introduce mathematical theories, since some of them are inconsistent. The most notorious example, of course, is Frege’s Basic Law V. A common response to the objection suggests that an abstraction principle can be used to legitimately introduce a mathematical theory precisely when it is stable: when it can be made true on all (...) sufficiently large domains. In this paper, we raise a worry for this response to the Bad Company objection. We argue, perhaps surprisingly, that it requires very strong assumptions about the range of the second-order quantifiers; assumptions that the abstractionist should reject. (shrink)

We extend the framework of Inductive Logic to Second Order languages and introduce Wilmers' Principle, a rational principle for probability functions on Second Order languages. We derive a representation theorem for functions satisfying this principle and investigate its relationship to the first order principles of Regularity and Super Regularity.

This article is concerned with the selection of an appropriate model of choice to underlie Rawls' two principles of justice. Rawls' first principle of justice states that basic liberty is not to be sacrificed for other objectives, including wealth. His second principle of justice suggests that even a minute decrease in the well-being of the least prosperous classes should not be accepted in exchange for an increase, no matter how large, in the well-being of more well-to-do citizens.

J. Baird Callicott has proposed two second-order principles which he believes can be used to settle conflicts between his land ethic and traditional human morality. The first of these proposes that ethical obligations arising from “more venerable and intimate” communities should take precedence over those arising from “more recently emerged and impersonal” communities, while the second proposes that “stronger” interests should take precedence over “weaker” ones. Callicott’s first second-order principle fails to specify unambiguously which (...) communities’ obligations should take precedence because he has failed to provide a clear description of how we are to identify and compare communities. In order for his second second-order principle to be useful, a good deal more work needs to be done to spell out what is meant by describing certain interests as “stronger” than others, particularly with respect to holistic entities. While the project of fleshing out a description of the strengths of interests for holistic entities may present an interesting and fruitful challenge, the prospects for providing a description of community identification of the sort that Callicott requires are much dimmer. (shrink)

What makes a choice difficult, beyond being complex or difficult to calculate? Characterizing difficult choices as posing a special challenge to the agent, and as typically involving consequences of significant moment as well as clashes of values, the article proceeds to compare the way difficult choices are handled by rational choice theory and by the theory that preceded it, Kurt Lewin's "conflict theory." The argument is put forward that within rational choice theory no choice is in (...) principle difficult: if the object is to maximize some value, the difficulty can be at most computational. Several prototypes of choices that challenge this argument are surveyed and discussed ; special attention is given to difficult choices faced by doctors and layers. The last section discusses a number of devices people employ in their attempt to cope with difficult choices: escape, "reduction" to non-difficult choices, and second-order strategies. (shrink)

Free Choice is the principle that possibly p or q implies and is implied by possibly p and possibly q. A variety of recent attempts to validate Free Choice rely on a nonclassical semantics for disjunction, where the meaning of p or q is not a set of possible worlds. This paper begins with a battery of impossibility results, showing that some kind of nonclassical semantics for disjunction is required in order to validate Free Choice. The (...) paper then provides a positive account of Free Choice, by identifying a family of dynamic semantics for disjunction that can validate the inference. On all such theories, the meaning of p or q has two parts. First, p or q requires that our information is consistent with each of p and q. Second, p or q narrows down our information by eliminating some worlds. It turns out that this second component of or is well behaved: there is a strongest such meaning that p or q can express, consistent with validating Free Choice. The strongest such meaning is the classical one, on which p or q eliminates any world where both p and q are false. In this way, the classical meaning of disjunction turns out to be intimately related to the validity of Free Choice. (shrink)

In the language of second-order logic, first- and second-order variables are distinguished syntactically and cannot be grammatically substituted. According to a prominent argument for the deployment of these languages, these substitution failures are necessary to block the derivation of paradoxes that result from attempts to generalize over predicate interpretations. I first examine previous approaches which interpret second-order sentences using expressions of natural language and argue that these approaches undermine these syntactic restrictions. I then examine (...) Williamson’s primitivist approach according to which second-order sentences are not offered readings in a previously understood language. I argue that the syntactic restrictions alone do not block the derivation of the paradox, unless they are backed by a principled reason that the language cannot be expanded to allow the grammatical substitution of first- and second- order variables. I argue that there is neither a syntactic nor a semantic principle that prohibits such an expansion. (shrink)

For \(n\in \omega \), the weak choice principle \(\textrm{RC}_n\) is defined as follows: _For every infinite set_ _X_ _there is an infinite subset_ \(Y\subseteq X\) _with a choice function on_ \([Y]^n:=\{z\subseteq Y:|z|=n\}\). The choice principle \(\textrm{C}_n^-\) states the following: _For every infinite family of_ _n_-_element sets, there is an infinite subfamily_ \({\mathcal {G}}\subseteq {\mathcal {F}}\) _with a choice function._ The choice principles \(\textrm{LOC}_n^-\) and \(\textrm{WOC}_n^-\) are the same as \(\textrm{C}_n^-\), but we assume that the (...) family \({\mathcal {F}}\) is linearly orderable (for \(\textrm{LOC}_n^-\) ) or well-orderable (for \(\textrm{WOC}_n^-\) ). In the first part of this paper, for \(m,n\in \omega \) we will give a full characterization of when the implication \(\textrm{RC}_m\Rightarrow \textrm{WOC}_n^-\) holds in \({\textsf {ZF}}\). We will prove the independence results by using suitable Fraenkel-Mostowski permutation models. In the second part, we will show some generalizations. In particular, we will show that \(\textrm{RC}_5\Rightarrow \textrm{LOC}_5^-\) and that \(\textrm{RC}_6\Rightarrow \textrm{C}_3^-\), answering two open questions from Halbeisen and Tachtsis (Arch Math Logik 59(5):583–606, 2020). Furthermore, we will show that \(\textrm{RC}_6\Rightarrow \textrm{C}_9^-\) and that \(\textrm{RC}_7\Rightarrow \textrm{LOC}_7^-\). (shrink)

Context: The problems that are most in need of interdisciplinary collaboration are “wicked problems,” such as food crises, climate change mitigation, and sustainable development, with many relevant aspects, disagreement on what the problem is, and contradicting solutions. Such complex problems both require and challenge interdisciplinarity. Problem: The conventional methods of interdisciplinary research fall short in the case of wicked problems because they remain first-order science. Our aim is to present workable methods and research designs for doing second-order (...) science in domains where there are many different scientific knowledges on any complex problem. Method: We synthesize and elaborate a framework for second-order science in interdisciplinary research based on a number of earlier publications, experiences from large interdisciplinary research projects, and a perspectivist theory of science. Results: The second-order polyocular framework for interdisciplinary research is characterized by five principles. Second-order science of interdisciplinary research must: 1. draw on the observations of first-order perspectives, 2. address a shared dynamical object, 3. establish a shared problem, 4. rely on first-order perspectives to see themselves as perspectives, and 5. be based on other rules than first-order research. Implications: The perspectivist insights of second-order science provide a new way of understanding interdisciplinary research that leads to new polyocular methods and research designs. It also points to more reflexive ways of dealing with scientific expertise in democratic processes. The main challenge is that this is a paradigmatic shift, which demands that the involved disciplines, at least to some degree, subscribe to a perspectivist view. Constructivist content: Our perspectivist approach to science is based on the second-order cybernetics and systems theories of von Foerster, Maruyama, Maturana & Varela, and Luhmann, coupled with embodied theories of cognition and semiotics as a general theory of meaning from von Uexküll and Peirce. (shrink)

Shelah, S., C. Laflamme and B. Hart, Models with second order properties V: A general principle, Annals of Pure and Applied Logic 64 169–194. We present a general framework for carrying out the construction in [2-10] and others of the same type. The unifying factor is a combinatorial principle which we present in terms of a game in which the first player challenges the second player to carry out constructions which would be much easier in a generic (...) extension of the universe, and the second player cheats with the aid of ♦. Section 1 contains an axiomatic framework suitable for the description of a number of related constructions, and the statement of the main theorem 1.9 in terms of this framework. In Section 2 we illustrate the use of our combinatorial principle. The proof of the main result is then carried out in Sections 3–5. (shrink)

The injective version of Cantor’s theorem appears in full second-order logic as the inconsistency of the abstraction principle, Frege’s Basic Law V (BLV), an inconsistency easily shown using Russell’s paradox. This incompatibility is akin to others—most notably that of a (Dedekind) infinite universe with the Nuisance Principle (NP) discussed by neo-Fregean philosophers of mathematics. This paper uses the Burali–Forti paradox to demonstrate this incompatibility, and another closely related, without appeal to principles related to the axiom of (...) class='Hi'>choice—a result hitherto unestablished. It discusses both the general interest of this result, its interest to neo-Fregean philosophy of mathematics, and the potential significance of the Burali–Fortian method of proof. (shrink)

J. Baird Callicott has proposed two second-order principles which he believes can be used to settle conflicts between his land ethic and traditional human morality. The first of these proposes that ethical obligations arising from “more venerable and intimate” communities should take precedence over those arising from “more recently emerged and impersonal” communities, while the second proposes that “stronger” interests should take precedence over “weaker” ones. Callicott’s first second-order principle fails to specify unambiguously which (...) communities’ obligations should take precedence because he has failed to provide a clear description of how we are to identify and compare communities. In order for his second second-order principle to be useful, a good deal more work needs to be done to spell out what is meant by describing certain interests as “stronger” than others, particularly with respect to holistic entities. While the project of fleshing out a description of the strengths of interests for holistic entities may present an interesting and fruitful challenge, the prospects for providing a description of community identification of the sort that Callicott requires are much dimmer. (shrink)

We introduce a herbrandized functional interpretation of a first-order semi-intuitionistic extension of Heyting Arithmetic and study its main properties. We then extend the interpretation to a certain system of second-order arithmetic which includes a (classically false) formulation of the FAN principle and weak König's lemma. It is shown that any first-order formula provable in this system is classically true. It is perhaps worthy of note that, in our interpretation, second-order variables are interpreted by finite (...) sets of natural numbers. (shrink)

This paper distinguishes an index ordering and a social ordering function as a simple way to formalize the indexing problem in the social choice framework. Two main conclusions are derived. First, the alleged dilemma between welfarism and perfectionism is shown to involve a third possibility, exemplified by the fairness approach to social choice. Second, the idea that an individual is better off than another whenever he has more (goods, functionings, etc.) in all dimensions, which is known to (...) enter in conflict with the Pareto principle, can be partly salvaged by adopting the fairness approach. (shrink)

This article improves two existing theorems of interest to neologicist philosophers of mathematics. The first is a classification theorem due to Fine for equivalence relations between concepts definable in a well-behaved second-order logic. The improved theorem states that if an equivalence relation E is defined without nonlogical vocabulary, then the bicardinal slice of any equivalence class—those equinumerous elements of the equivalence class with equinumerous complements—can have one of only three profiles. The improvements to Fine’s theorem allow for an (...) analysis of the well-behaved models had by an abstraction principle, and this in turn leads to an improvement of Walsh and Ebels-Duggan’s relative categoricity theorem. (shrink)

The present article deals with the power of the axiom of choice within the second-order predicate logic. We investigate the relationship between several variants of AC and some other statements, known as equivalent to AC within the set theory of Zermelo and Fraenkel with atoms, in Henkin models of the one-sorted second-order predicate logic with identity without operation variables. The construction of models follows the ideas of Fraenkel and Mostowski. It is e. g. shown that (...) the well-ordering theorem for unary predicates is independent from AC for binary predicates and from the trichotomy law for unary predicates. Moreover, we show that the AC for binary predicates follows neither from the trichotomy law for unary predicates nor from Zorn's lemma for unary predicates nor from the formalization of the axiom of choice for disjoint families of sets for binary predicates, and that the trichotomy law for unary predicates does not follow from AC for binary predicates. (shrink)

Open peer commentary on the article “Second-Order Science: Logic, Strategies, Methods” by Stuart A. Umpleby. Upshot: Second-order science requires a specific methodology. It thereby reverses the classical observer-observed relation in favor of the observed - i.e., the first-order observers - if the principle of autopoiesis is acknowledged.

We shall investigate certain set-theoretic pigeonhole principles which arise as generalizations of the usual pigeonhole principle; and we shall show that many of them are equivalent to full AC. We discuss also several restricted cases and variations of those principles and relate them to restricted choice principles. In this sense the pigeonhole principle is a rich source of weak choice principles. It is shown that certain sequences of restricted pigeonhole principles form implicational hierarchies (...) with respect to ZF. We state also several open problems in order to indicate the extent to which the whole subject of pigeonhole principles requires further exploration. (shrink)

Open peer commentary on the article “Second-Order Cybernetics as a Fundamental Revolution in Science” by Stuart A. Umpleby. Upshot: Theory without a strong methodology is stranded in philosophy. Principles devolved from theory can be applied to situations in the arena of practice in many ways; however, a continually improving science must refine its theories with feedback from data drawn from the use of continually improving sets of codified methodologies. Second-order cybernetics is contingent upon sense-making within (...) sapient systems. A perspective on cognitive science points toward the requirements for an enabling sense-making methodology for second-order cybernetic science. (shrink)

In this book Joseph Heath brings Jürgen Habermas's theory of communicative action into dialogue with the most sophisticated articulation of the instrumental conception of practical rationality-modern rational choice theory. Heath begins with an overview of Habermas's action theory and his critique of decision and game theory. He then offers an alternative to Habermas's use of speech act theory to explain social order and outlines a multidimensional theory of rational action that includes norm-governed action as a specific type.In the (...) second part of the book Heath discusses the more philosophical dimension of Habermas's conception of practical rationality. He criticizes Habermas's attempt to introduce a universalization principle governing moral discourse, as well as his criteria for distinguishing between moral and ethical problems. Heath offers an alternative account of the level of convergence exhibited by moral argumentation, drawing on game-theoretic models to specify the burden of proof that the theory of communicative action and discourse must assume. (shrink)

Recently, Wilcox (JGPS 51: 65–87, 2020) argued against the so-called wide interval view and in favor of the principle of indifference as the correct response to unspecific evidence. Embedded in a formal model of the beliefs of an agent, the former presupposes imprecise probabilities and the latter numerically precise degrees of belief. His argument is illustrated by a thought experiment that comes with a fundamental intuition. According to Wilcox, the wide interval view is incompatible with this intuition and, thus, undermined. (...) In contrast, I show that the intuition behind the thought experiment is, in fact, compatible with the wide interval view if it is embedded into a specific conception of imprecise probabilities as model of belief. This conception is an extension of a framework which I call modified supervaluationism (MSV) and which I recently presented elsewhere (Karge 2021, 175–191). To accommodate the thought experiment’s fundamental intuition, it introduces a notion of second-order beliefs. (shrink)

“Those are my principles, and if you don’t like them...well, I have others.”Groucho MarxWe also know of another superstition of that time: that of the Man of the Book. On some shelf in some hexagon (men reasoned) there must exist a book which is the formula and perfect compendium of all the rest: some librarian has gone through it and he is analogous to a god.... How could one locate the venerated and secret hexagon which housed Him? Someone proposed (...) a regressive method: To locate book A, consult first book B which indicates A’s position; to locate book B, consult first a book C, and so on to infinity... In adventures such as these, I have squandered and wasted my years.2 J.L. Borges, The Library of Babel. (shrink)

Aleksandar Ignjatović. Delineating Classes of Computational Complexity via Second Order Theories with Weak Set Existence Principles (I).

This paper studies, by way of an example, the intuitionistic propositional connective * defined in the language of second order propositional logic by * ≡ ∃Q. In full topological models * is not generally definable but over Cantor-space and the reals it can be classically shown that *↔ ⅂⅂P; on the other hand, this is false constructively, i.e. a contradiction with Church's thesis is obtained. This is comparable with some well-known results on the completeness of intuitionistic first-order (...) predicate logic. Over [0, 1], the operator * is undefinable. We show how to recast this argument in terms of intuitive intuitionistic validity in some parameter. The undefinability argument essentially uses the connectedness of [0, 1]; most of the work of recasting consists in the choice of a suitable intuitionistically meaningful parameter, so as to imitate the effect of connectedness. Parameters of the required kind can be obtained as so-called projections of lawless sequences. (shrink)

The most common first- and second-order modal logics either have as theorems every instance of the Barcan and Converse Barcan formulae and of their second-order analogues, or else fail to capture the actual truth of every theorem of classical first- and second-order logic. In this paper we characterise and motivate sound and complete first- and second-order modal logics that successfully capture the actual truth of every theorem of classical first- and second- (...) class='Hi'>order logic and yet do not possess controversial instances of the Barcan and Converse Barcan formulae as theorems, nor of their second-order analogues. What makes possible these results is an understanding of the individual constants and predicates of the target languages as strongly Millian expressions, where a strongly Millian expression is one that has an actually existing entity as its semantic value. For this reason these logics are called ‘strongly Millian’. It is shown that the strength of the strongly Millian second-order modal logics here characterised afford the means to resist an argument by Timothy Williamson for the truth of the claim that necessarily, every property necessarily exists. (shrink)

In this article I investigate the phenomenon of minimum and minimal models of second-order set theories, focusing on Kelley–Morse set theory KM, Gödel–Bernays set theory GB, and GB augmented with the principle of Elementary Transfinite Recursion. The main results are the following. (1) A countable model of ZFC has a minimum GBC-realization if and only if it admits a parametrically definable global well order. (2) Countable models of GBC admit minimal extensions with the same sets. (3) There (...) is no minimum transitive model of KM. (4) There is a minimum β-model of GB+ETR. The main question left unanswered by this article is whether there is a minimum transitive model of GB+ETR. (shrink)

One of the earliest discussions of the so-called 'bad company' objection to Neo-Fregeanism, I show that the consistency of an arbitrary second-order 'contextual definition' (nowadays known as an 'abstraction principle' is recursively undecidable. I go on to suggest that an acceptable such principle should satisfy a condition nowadays known as 'stablity'.

The idea that it is acceptable to ‘nudge’ people to opt for the ‘healthy choice’ is gaining currency in health care policy circles. This article investigates whether researchers evaluating Abdominal Aortic Aneurysm Screening Programmes (AAASP) attempt to influence decision makers in ways that are similar to popular ‘nudging’ techniques. Comparing two papers on the health economics of AAASP both published in the BMJ within the last 3 years, it is shown that the values chosen for the health economics modelling (...) are not representative of the literature and consistently favour the conclusions of the articles. It is argued (1) that this and other features of these articles may be justified within a Libertarian Paternalist framework as ‘nudging’ like ways of influencing decision makers, but also (2) that these ways of influencing decision makers raise significant ethical issues in the context of democratic decision making. (shrink)

1.1.1 In a recent series of papers, G.A. Cohen has presented an egalitarian interpretation of the Difference Principle (hereafter, DP).1 According to this principle—first introduced by Rawls in A Theory of Justice2—inequalities in the distribution of primary goods3 are legitimate only to the extent that they maximize the prospects of the least advantaged members of society. Cohen argues that, once it is properly applied, DP does not legitimate any departure from equality. According to him, the distribution that maximizes the prospects (...) of the least advantaged is the equal distribution. Cohen has offered two kinds of argument in support of the egalitarian conclusion. According to the first argument, differential incentives are not necessary in order to maximize efficiency. According to the second argument, principles of distributive justice apply not only to the basic structure of society but also to the choices made by individuals within those rules. Therefore, talented people should not seek to maximize the gains they can get on the market, thereby making more social product available for the less well off. 4 In this paper, I focus only on Cohen’s first argument. The interesting feature of this argument is that it is presented as an internal criticism of Rawls’ theory of justice. My present concern is to understand to what extent the DP embodies an idea of equality and it is thus amenable to the egalitarian interpretation. I will argue that the first argument fails and that DP allows for the inequalities generated by the use of incentives. The assessment of the second argument merits a separate discussion that I intend to take up in a sequel to this paper. For the time being, I take not stance on the effect of the refutation of the first egalitarian argument on the success of the second one. In this work, I am rather concerned with articulating a novel.. (shrink)

We defend Jaegwon Kim’s ‘causal inheritance’ principle from an objection raised by Jurgen Schröder. The objection is that the principle is inconsistent with a view about mental properties assumed by Kim, namely, that they are second-order properties. We argue that Schröder misconstrues the notion of second-order property. We distinguish three notions of second-order property and highlight their problems and virtues. Finally, we examine the consequence of Kim’s principle and discuss the issue of whether Kim’s (...) ‘supervenience argument’ generalizes to all special sciences or not. (shrink)

The proof of Lemma 5 in our paper “Choice Principles in Hyperuniverses” [3], contains an error. In the present note we show that the statement of that lemma is false and hence the Axiom of Choice fails in all κ-hyperuniverses, for uncountable κ. However, a weaker version of Lemma 5 can be proved, which implies that the Linear Ordering Principle holds in all κ-metric κ-hyperuniverses.

§1. Iterated Gödelian extensions of theories. The idea of iterating ad infinitum the operation of extending a theory T by adding as a new axiom a Gödel sentence for T, or equivalently a formalization of “T is consistent”, thus obtaining an infinite sequence of theories, arose naturally when Godel's incompleteness theorem first appeared, and occurs today to many non-specialists when they ponder the theorem. In the logical literature this idea has been thoroughly explored through two main approaches. One is that (...) initiated by Turing in his “ordinal logics” and taken very much further in Feferman's work on transfinite progressions, which also introduced the more general study of extensions by reflection principles, of which consistency statements are a special case. This approach starts from an assignment of theories to ordinal notations, and extracts sequences of theories through a suitable choice of a path in the set of ordinal notations. The second approach, illustrated in particular by the work of Schmerl and Beklemishev, starts instead from a suitably well-behaved primitive recursive well-ordering, which is used to define a sequence of theories. This second approach has led to precise results about the relative proof-theoretical strength of sequences of theories obtained by iterating different reflection principles. The Turing-Feferman approach, on the other hand, lends itself well to an investigation in qualitative and philosophical terms of the relevance of such iterated reflection extensions to mathematical knowledge, in particular because of two developments associated with this approach. (shrink)

We investigate computability theoretic and descriptive set theoretic contents of various kinds of analytic choice principles by performing a detailed analysis of the Medvedev lattice of $\Sigma ^1_1$ -closed sets. Among others, we solve an open problem on the Weihrauch degree of the parallelization of the $\Sigma ^1_1$ -choice principle on the integers. Harrington’s unpublished result on a jump hierarchy along a pseudo-well-ordering plays a key role in solving this problem.

I extend theorems due to Roy Cook on third- and higher-order versions of abstraction principles and discuss the philosophical importance of results of this type. Cook demonstrated that the satisfiability of certain higher-order analogues of Hume's Principle is independent of ZFC. I show that similar analogues of Boolos's new v and Cook's own ordinal abstraction principle soap are not satisfiable at all. I argue, however, that these results do not tell significantly against the second-order versions (...) of these principles. (shrink)

Braüner, Blackburn and Polyanskaya relate children’s being deceived to their theory of mind skills. Second‐order false‐belief tasks are often used to test children’s second‐order theory of mind development. The article gives a logical analysis of the reasoning needed to solve four types of second‐order false belief tasks, distinguished on whether a story character is deceived, and on whether the story hinges on facts in the world changing. The principle of inertia plays an important role. (...) [74]. (shrink)

The rigid relation principle, introduced in this article, asserts that every set admits a rigid binary relation. This follows from the axiom of choice, because well-orders are rigid, but we prove that it is neither equivalent to the axiom of choice nor provable in Zermelo-Fraenkel set theory without the axiom of choice. Thus, it is a new weak choice principle. Nevertheless, the restriction of the principle to sets of reals is provable without the axiom of (...) class='Hi'>choice. (shrink)