It is well known that Gödel’s incompleteness theorems hold for ∑1-definable theories containing Peano arithmetic. We generalize Gödel’s incompleteness theorems for arithmetically definable theories. First, we prove that every ∑n+1-definable ∑n-sound theory is incomplete. Secondly, we generalize and improve Jeroslow and Hájek’s results. That is, we prove that every consistent theory having ∏n+1set of theorems has a true but unprovable ∏nsentence. Lastly, we prove that no ∑n+1-definable ∑n-sound theory can prove its own ∑n-soundness. These three results are (...) generalizations of Rosser’s improvement of the first incompleteness theorem, Gödel’s first incompleteness theorem, and the second incompleteness theorem, respectively. (shrink)

Energy is a crucial concept within classical and quantum physics. An essential tool to quantify energy is the Hamiltonian. Here, we consider how to define a Hamiltonian in general probabilistic theories—a framework in which quantum theory is a special case. We list desiderata which the definition should meet. For 3-dimensional systems, we provide a fully-defined recipe which satisfies these desiderata. We discuss the higher dimensional case where some freedom of choice is left remaining. We apply the definition to example (...) toy theories, and discuss how the quantum notion of time evolution as a phase between energy eigenstates generalises to other theories. (shrink)

A few results generalizing well-known classical model theory ones have been obtained in institution theory these last two decades (e.g. Craig interpolation, ultraproduct, elementary diagrams). In this paper, we propose a generalized institution-independent version of the Beth definability theorem.

We use a new version of the Definability Theorem of Beth in order to unify classical theorems of Yuri Matiyasevich and Jan Denef in one structural statement. We give similar forms for other important definability results from Arithmetic and Number Theory.

This book presents new results in computability theory, a branch of mathematical logic and computer science that has become increasingly relevant in recent years. The field's connections with disparate areas of mathematical logic and mathematics more generally have grown deeper, and now have a variety of applications in topology, group theory, and other subfields. This monograph establishes new directions in the field, blending classic results with modern research areas such as algorithmic randomness. The significance of the book lies (...) not only in the depth of the results contained therein, but also in the fact that the notions the authors introduce allow them to unify results from several subfields of computability theory. (shrink)

In times of crisis, when current theories are revealed as inadequate to task, and new physics is thought to be required—physics turns to re-evaluate its principles, and to seek new ones. This paper explores the various types, and roles of principles that feature in the problem of quantum gravity as a current crisis in physics. I illustrate the diversity of the principles being appealed to, and show that principles serve in a variety of roles in all stages of the crisis, (...) including in motivating the need for a new theory, and defining what this theory should be like. In particular, I consider: the generalised correspondence principle, UV-completion, background independence, and the holographic principle. I also explore how the current crisis fits with Friedman’s view on the roles of principles in revolutionary theory-change, finding that while many key aspects of this view are not represented in quantum gravity, the view could potentially offer a useful diagnostic, and prescriptive strategy. This paper is intended to be relatively non-technical, and to bring some of the philosophical issues from the search for quantum gravity to a more general philosophical audience interested in the roles of principles in scientific theory-change. (shrink)

A pointwise definable model is one in which every object is \loos definable without parameters. In a model of set theory, this property strengthens $V=\HOD$, but is not first-order expressible. Nevertheless, if \ZFC\ is consistent, then there are continuum many pointwise definable models of \ZFC. If there is a transitive model of \ZFC, then there are continuum many pointwise definable transitive models of \ZFC. What is more, every countable model of \ZFC\ has a class forcing extension that is pointwise (...) definable. Indeed, for the main contribution of this article, every countable model of Gödel-Bernays set theory has a pointwise definable extension, in which every set and class is first-order definable without parameters. (shrink)

Recent advances in the brain sciences have dramatically improved our understanding of brain function. As we find out more and more about what makes us tick, we must stop and consider the ethical implications of this new found knowledge. This ground-breaking book on the emerging field of neuroethics answers many pertinent questions, such as: What makes monitoring and manipulating the human brain so ethically challenging? Will having a new biology of the brain through imaging make us less responsible for our (...) behavior and lose our free will? Should certain brain scan studies be disallowed on the basis of moral grounds? A distinguished group of contributors from a wide range of fields make this an invaluable introduction to neuroethics. (shrink)

We continue the study of simple theories begun in [3] and [5]. We first find the right analogue of definability of types. We then develop the theory of generic types and stabilizers for groups definable in simple theories. The general ideology is that the role of formulas (or definability) in stable theories is replaced by partial types (or ∞-definability) in simple theories.

The implementation in 2009–10 of the Early Years Learning Framework (EYLF) spearheaded the efforts of the Australian Commonwealth government to institute a national curriculum. The theme of the new early childhood framework follows three guiding concepts: Belonging, Being and Becoming. In this article, we discuss these three concepts in order to provide a theoretical context to the Early Years Learning Framework and to enrich the debate surrounding its writing and implementation. In particular, we address the significance of posing Belonging in (...) contiguity with the concepts of Being and Becoming. The authors suggest a strategy to cultivate a deeper appreciation of the dialectical relationships between sameness and difference, belonging and nothingness. Our premise is that ‘belonging’ refers essentially to different beings, and implicitly to the prospect of a ‘together-ness’ or identity according to which different beings are located, understood and associated, in order that Becoming can take effect. We offer these commentaries as a means of deepening conversation about the importance of scholarly approaches to philosophy for early childhood research, and especially with respect to curriculum and pedagogy. (shrink)

The book uses both environmental movements and political theory to help define what is meant by environmental and ecological justice. It will be attractive to anyone interested in environmental politics, environmental movements, and justice theory.

We give two theories, Th1 and Th2, which are explicitly definable over each other , but are not definitionally equivalent. The languages of the two theories are disjoint.

Ever since the early decades of this century, there have emerged a number of competing schools of ecology that have attempted to weave the concepts underlying natural resource management and natural-historical traditions into a formal theoretical framework. It was widely believed that the discovery of the fundamental mechanisms underlying ecological phenomena would allow ecologists to articulate mathematically rigorous statements whose validity was not predicated on contingent factors. The formulation of such statements would elevate ecology to the standing of a rigorous (...) scientific discipline on a par with physics. However, there was no agreement as to the fundamental units of ecology. Systems ecologists sought to identify the fundamental organization that tied the physical and biological components of ecosystems into an irreducible unit: the ecosystem was their fundamental unit. Population ecologists sought, instead, to identify the biological mechanisms regulating the abundance and distribution of plant and animal species: to these ecologists, the individual organism was the fundamental unit of ecology, and the physical environment was nothing more than a stage upon which the play of individuals in perennial competition took place. As Joel Hagen has pointed out, the two schools were thus dividied by fundamentally different and irreconcilable assumptions about the nature of ecosystems.Notwithstanding these divisive efforts to elevate the image of ecology, the discipline remained in the shadows of American academia until the mid-1960s, when systems ecologists succeeded in projecting ecology onto the national scene. They did so by seeking closer involvement with practical problems: they argued before Congress that their approach to the theoretical problems of ecology was uniquely suited to the solution of the impending “environmental crisis.” With the establishment of the International Biological Program, they succeeded in attracting unprecedented levels of funding for systems ecology research. Theoretical population ecologists, on the other hand, found themselves consigned to the outer regions of this new institutional landscape. The systems ecologists' successful capture of the limelight and the purse brought the divisions between them and population ecologists into sharper relief — hence the hardening of the division of ecology observed by Hagen.45I have argued that the population biologist Richard Levins, prompted by these institutional developments, sought to challenge the social position of systems ecology, and to assert the intellectual priority of theoretical population ecology. He attempted to do so by articulating a nontrivial and rather carefully thought out classification of ecological models that led to the disqualification of systems analysis as a legitimate approach to the study of ecological phenomena. I have suggested that — ultimately —Levins's case against systems analysis in ecology rested on the view that an aspiration to realism and prediction was incompatible with an interest in theoretical issues, a concern that he equated with the search for generality. He sought to reinforce this argument by exploiting the fact that systems ecologists had staked their future on the provision of technical solutions to the problems of the “environmental crisis”: he associated systems ecologists' aspiration to realism and precision with a concern for practical issues, trading on the widely accepted view that practical imperatives are incompatible with the aims of scientific inquiry.46 These are plausible, but nonetheless questionable, claims which have now become an integral part of ecological knowledge. And finally, I hope to have shown how even the most abstract levels of scientific argument are shaped by political considerations, and how discussions of the conceptual development of modern ecology might benefit from a greater consideration of its historical and social dimensions.47. (shrink)

In this article we find some sufficient and some necessary ${\Sigma^1_1}$ -conditions with oracles for a model to be resplendent or chronically resplendent. The main tool of our proofs is internal arguments, that is analogues of classical theorems and model-theoretic constructions conducted inside a model of first-order Peano Arithmetic: arithmetised back-and-forth constructions and versions of the arithmetised completeness theorem, namely constructions of recursively saturated and resplendent models from the point of view of a model of arithmetic. These internal arguments are (...) used in conjunction with Pabion’s theorem that ensures that certain oracles are coded in a sufficiently saturated model of arithmetic. Examples of applications are provided for the theories of dense linear orders and of discrete linear orders. These results are then generalised to other ω-categorical theories and theories with a unique countable recursively saturated model. (shrink)

The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students and research mathematicians, and may also serve as a guide for lectures and for seminars at the graduate level.

Although the theory of definability had many important antecedents—such as the descriptive set theory initiated by the French semi-intuitionists in the early 1900s—the main ideas were first laid out in precise mathematical terms by Alfred Tarski beginning in 1929. We review here the basic notions of languages, explicit definability, and grammatical complexity, and emphasize common themes in the theories of definability for four important languages underlying, respectively, descriptive set theory, recursive function theory, classical (...) pure logic, and finite-universe logic. We review the history of previous studies of the similarities and differences in the theories of definability of the first three of these four languages. A seminal role leading toward unification of the theories has been played by the separation principles introduced by Nikolai Luzin in 1927. Emphasizing analogies and driving toward further unification embracing finite-universe logic we concentrate on a simple example—the first and second separation principles for existential-universal first-order sentences . Using this as a test case for the fundamental problem of how to “finitize” arguments in classical pure logic to the finite-universe case, we are led to the analogous negative solution by using the theory of certain special graphs: a graph is - special for any positive integers m , n , p , q iff it is bipartite with m red points and n blue points and for every p -tuple of red points there is a blue point to which they are all connected . As an aside we introduce for further study a natural “Ramseyesque” increasing sequence A of positive integers, where A is the least positive integer n for which an -special graph exists. (shrink)

Numerous theories have attempted to overcome the anti-essentialist scepticism about the possibility of defining art. While significant advances have been made in this field, it seems that most modern definitions fail to successfully address the issue of the ever-changing nature of art raised by Morris Weitz, and rarely even attempt to provide an account which would be valid in more than just the modern Western context. This thesis looks at the most successful definitions currently defended, determines their strengths and weaknesses, (...) and offers a new, cultural definition which can preserve the good elements of other theories, solve or avoid their problems, and have a scope wide enough to account for art of different times and cultures. The resulting theory is a synthetic one in that it preserves the essential institutionalism of Dickie's institutional views, is inspired by the historical and functional determination of artistic phenomena present in Levinson's historicism and Beardsley's functionalism, and presents the reasons for something becoming art in a disjunctive form of Gaut's cluster account. Its strengths lie in the ability to account for the changing art-status of objects in various cultures and at various times, providing an explanation of not only what is or was art, but also how and why the concept 'art' changes historically and differs between cultures, and successfully balancing between the over-generalisations of ahistorical and universalist views, and the uninformativeness of relativism. More broadly, the cultural theory stresses the importance of treating art as a historical phenomenon embedded in particular social and cultural settings, and encourages cooperation with other disciplines such as anthropology and history of art. (shrink)

An open U ⊆ ℝ is produced such that (ℝ, +, ·, U) defines a Borel isomorph of (ℝ, +, ·, ℕ) but does not define ℕ. It follows that (ℝ, +, ·, U) defines sets in every level of the projective hierarchy but does not define all projective sets. This result is elaborated in various ways that involve geometric measure theory and working over o-minimal expansions of (ℝ, +, ·). In particular, there is a Cantor set E ⊆ (...) ℝ such that (ℝ, +, ·, E) defines a Borel isomorph of (ℝ, +, ·, ℕ) and, for every exponentially bounded o-minimal expansion $\germ{R}$ of (ℝ, +, ·), every subset of ℝ definable in ( $\germ{R}$ , E) either has interior or is Hausdorff null. (shrink)

The present paper suggests relative truth definability as a tool for comparing conceptual aspects of axiomatic theories of truth and gives an overview of recent developments of axiomatic theories of truth in the light of it. We also show several new proof-theoretic results via relative truth definability including a complete answer to the conjecture raised by Feferman in [13].

We consider the sets definable in the countable models of a weakly o-minimal theory T of totally ordered structures. We investigate under which conditions their Boolean algebras are isomorphic , in other words when each of these definable sets admits, if infinite, an infinite coinfinite definable subset. We show that this is true if and only if T has no infinite definable discrete subset. We examine the same problem among arbitrary theories of mere linear orders. Finally we prove that, (...) within expansions of Boolean lattices, every weakly o-minimal theory is p-ω-categorical. (shrink)

We analyze the effect of replacing several natural uses of definability in set theory by the weaker model-theoretic notion of algebraicity. We find, for example, that the class of hereditarily ordinal algebraic sets is the same as the class of hereditarily ordinal definable sets; that is, $\mathrm{HOA}=\mathrm{HOD}$. Moreover, we show that every algebraic model of $\mathrm{ZF}$ is actually pointwise definable. Finally, we consider the implicitly constructible universe Imp—an algebraic analogue of the constructible universe—which is obtained by iteratively adding (...) not only the sets that are definable over what has been built so far, but also those that are algebraic over the existing structure. While we know that $\mathrm{Imp}$ can differ from $L$, the subtler properties of this new inner model are just now coming to light. Many questions remain open. (shrink)

Let be a relational system whereby D is a nonempty set and P1 is an m1-ary relation on D. With we associate the (weak) monadic second-order theory consisting of the first-order predicate calculus with individual variables ranging over D; monadic predicate variables ranging over (finite) subsets of D; monadic predicate quantifiers; and constants corresponding to P1, P2, …. We will often use ambiguously to mean also the set of true sentences of.

In How States Think, John Mearsheimer and Sebastian Rosato argue that expected-utility maximization is too subjective to serve as the basis for making rational decisions in the realm of national security. They claim that rationality in security studies should instead be defined by whether leaders conduct deliberative, theory-driven reasoning. This essay explains why Mearsheimer and Rosato’s critique of expected-utility theory is unpersuasive, and how their conception of theory-driven reasoning ignores key aspects of decision-making that national security officials (...) can feasibly address. Lyndon Johnson’s decision to take the United States to war in Vietnam provides a vivid example of how leaders can meet Mearsheimer and Rosato’s criteria for rationality despite clear shortfalls of analytic reasoning. (shrink)

The writer starts with vision and ends with words. The reader, however, starts with the writer’s words and ends with vision.Reading comprehension is like an eye. It requires focus and concentration on how a mode is interpreted. Eyes are shaped by cultures; a Western norm considers it polite to hold one’s gaze and maintain eye contact when dialoguing, while other cultures find it aggressive or confrontational. Similarly, reading is culturally shaped through the lens of the reader, as interpretation is correlated (...) to context. Reading is also temporal and perpetually shifting, just like the processes of a human eye. You can never look at the same thing twice. Reading allows the reader to frame an object’s color, shape... (shrink)

We prove in particular that, in a large class of dp-minimal theories including the p-adics, definable types are dense amongst nonforking types.

The Joint Non-Trivialization Theorem, two Definability Theorems and the generalized Quantifier Elimination Theorem are proved for J 3-theories. These theories are three-valued with more than one distinguished truth-value, reflect certain aspects of model type logics and can. be paraconsistent. J 3-theories were introduced in the author's doctoral dissertation.

The paper provides a selective analysis of the main theories of trust and e-trust (that is, trust in digital environments) provided in the last twenty years, with the goal of preparing the ground for a new philosophical approach to solve the problems facing them. It is divided into two parts. The first part is functional toward the analysis of e-trust: it focuses on trust and its definition and foundation and describes the general background on which the analysis of e-trust rests. (...) The second part focuses on e-trust, its foundation and ethical implications. The paper ends by synthesising the analysis of the two parts. (shrink)

In this paper I put forward a suggestion for identifying causality in micro-systems with the specific quantum field theoretic interactions that occur in such systems. I first argue — along the lines of general transference theories — that such a physicalistic account is essential to an understanding of causation; I then proceed to sketch the concept of interaction as it occurs in quantum field theory and I do so from both a formal and an informal point of view. Finally, (...) I present reasons for thinking that only a quantum field theoretic account can do the job — in particular I rely on a theorem by D. Currie and to the effect that interaction cannot be described in (a Hamiltonian formulation of) Classical Mechanics. Throughout the paper I attempt to suggest that the widespread scepticism about the ability of quantum theory to support a theory of causality is mistaken and rests on several misunderstandings. (shrink)

Ehrenfeucht’s lemma asserts that whenever one element of a model of Peano arithmetic is definable from another, they satisfy different types. We consider here the analogue of Ehrenfeucht’s lemma for models of set theory. The original argument applies directly to the ordinal-definable elements of any model of set theory, and, in particular, Ehrenfeucht’s lemma holds fully for models of set theory satisfying V=HOD. We show that the lemma fails in the forcing extension of the universe by adding (...) a Cohen real. We go on to formulate a scheme of natural parametric generalizations of Ehrenfeucht’s lemma, namely, the principles of the form EL, which asserts that P-definability from A implies Q-discernibility. We also consider various analogues of Ehrenfeucht’s lemma obtained by using algebraicity in place of definability, where a set b is algebraic in a if it is a member of a finite set definable from a. Ehrenfeucht’s lemma holds for the ordinal-algebraic sets, we prove, if and only if the ordinal-algebraic and ordinal-definable sets coincide. Using a similar analysis, we answer two open questions posed earlier by the third author and C. Leahy, showing that algebraicity and definability need not coincide in models of set theory and the internal and external notions of being ordinal algebraic need not coincide. (shrink)

In the first part of this paper, we consider several natural axioms in urelement set theory, including the Collection Principle, the Reflection Principle, the Dependent Choice scheme and its generalizations, as well as other axioms specifically concerning urelements. We prove that these axioms form a hierarchy over $\text {ZFCU}_{\text {R}}$ (ZFC with urelements formulated with Replacement) in terms of direct implication. The second part of the paper studies forcing over countable transitive models of $\text {ZFU}_{\text {R}}$. We propose a (...) new definition of ${\mathbb P}$ -names to address an issue with the existing approach. We then prove the fundamental theorem of forcing with urelements regarding axiom preservation. Moreover, we show that forcing can destroy and recover certain axioms within the previously established hierarchy. Finally, we demonstrate how ground model definability may fail when the ground model contains a proper class of urelements. (shrink)