We consider extensions of Peano arithmetic suitable for doing some of nonstandard analysis, in which there is a predicate N(x) for an elementary initial segment, along with axiom schemes approximating ω 1 -saturation. We prove that such systems have the same proof-theoretic strength as their natural analogues in second order arithmetic. We close by presenting an even stronger extension of Peano arithmetic, which is equivalent to ZF for arithmetic statements.

In this paper we consider some axiomatic systems of set theory related to the system NF (New Foundations) of Quine. In particular we discuss the possible relations of cardinality between a finite set x and its subset class SC(x) = {y | y ∩ x} and also between x and its unit set class USC(x) = {{y} | y ε x}. Specker [5] has shown that in NF the cardinal of a finite set x can never be the same as (...) the cardinal of SC(x). (shrink)

We give a model-theoretic account for several results regarding sequences of random variables appearing in Berkes and Rosenthal [12]. In order to do this,•We study and compare three notions of convergence of types in a stable theory: logic convergence, i.e., formula by formula, metric convergence (both already well studied) and convergence of canonical bases. In particular, we characterise א0-categorical stable theories in which the last two agree.•We characterise sequences that admit almost indiscernible sub-sequences.•We apply these tools to the theory of (...) atomless random variables (ARV). We characterise types and notions of convergence of types as conditional distributions and weak/strong convergence thereof, and obtain, among other things, the Main Theorem of Berkes and Rosenthal. (shrink)

We introduce and discuss a concept of approximation of a topological algebraic system A by finite algebraic systems from a given class K. If A is discrete, this concept agrees with the familiar notion of a local embedding of A in a class K of algebraic systems. One characterization of this concept states that A is locally embedded in K iff it is a subsystem of an ultraproduct of systems from K. In this paper we obtain a similar characterization of (...) approximability of a locally compact system A by systems from K using the language of nonstandard analysis. In the signature of A we introduce positive bounded formulas and their approximations; these are similar to those introduced by Henson [14] for Banach space structures (see also [15, 16]). We prove that a positive bounded formula φ holds in A if and only if all precise enough approximations of φ hold in all precise enough approximations of A. We also prove that a locally compact field cannot be approximated arbitrarily closely by finite (associative) rings (even if the rings are allowed to be non-commutative). Finite approximations of the field R can be considered as possible computer systems for real arithmetic. Thus, our results show that there do not exist arbitrarily accurate computer arithmetics for the reals that are associative rings. (shrink)

Several strands of contemporary cognitive science and its philosophy have emerged in recent decades that emphasize the role of action in cognition, resting their explanations on the embodiment of cognitive agents, and their embedding in richly structured environments. Despite their growing influence, many foundational questions remain unresolved or underexplored for this cluster of proposals, especially questions of how they can be extended beyond straightforwardly visuomotor cognitive capacities, and what constraints the commitment of embodiment places on the ontology of explanations. This (...) special issue aims to contribute to these foundational debates by drawing on important precursors to embodied cognition in mid-twentieth century gestalt psychology, its immediate successor ecological psychology, and their dialectical counterpart, phenomenology. Gestalt psychologists and phenomenologists wrestled with many of the same foundational questions that still haunt us today, in a manner that seems refreshing in hindsight, and poised to contribute constructively to contemporary debate. Looking back on this history reveals deep commonalities across competing embodied approaches, exposing fundamental tensions that remain unresolved, but also paving the way to a more ecumenical and conciliatory embodied cognitive science. (shrink)

While the history of philosophy has traditionally given scant attention to food and the ethics of eating, in the last few decades the subject of food ethics has emerged as a major topic, encompassing a wide array of issues, including labor justice, public health, social inequity, animal rights and environmental ethics. This handbook provides a much needed philosophical analysis of the ethical implications of the need to eat and the role that food plays in social, cultural and political life. Unlike (...) other books on the topic, this text integrates traditional approaches to the subject with cutting edge research in order to set a new agenda for philosophical discussions of food ethics. The Routledge Handbook of Food Ethics is an outstanding reference source to the key topics, problems and debates in this exciting subject and is the first collection of its kind. Comprising over 35 chapters by a team of international contributors, the Handbook is divided into 7 parts: the phenomenology of food gender and food food and cultural diversity liberty, choice and food policy food and the environment farming and eating other animals food justice Essential reading for students and researchers in food ethics, it is also an invaluable resource for those in related disciplines such as environmental ethics and bioethics. (shrink)

This innovative text is psychologically informed, both in its diagnosis of inferential errors, and in teaching students how to watch out for and work around their natural intellectual blind spots. It also incorporates insights from epistemology and philosophy of science that are indispensable for learning how to evaluate premises. The result is a hands-on primer for real world critical thinking. The authors bring a fresh approach to the traditional challenges of a critical thinking course: effectively explaining the nature of validity, (...) assessing deductive arguments, reconstructing, identifying and diagramming arguments, and causal and probabilistic inference. Additionally, they discuss in detail, important, frequently neglected topics, including testimony, including the evaluation of news and other information sources, the nature and credibility of science, rhetoric, and dialectical argumentation. The treatment of probability uses frequency trees and a frequency approach more generally, and argument reconstruction is taught using argument maps; these methods have been shown to improve students’ reasoning and argument evaluation. (shrink)

As Brillant-Savarin remarked in 1825 in his classic text Physiologie du Goût, “Tell me what you eat, and I will tell you who you are.” Philosophers and political theorists have only recently begun to pay attention to food as a critical domain of human activity and social justice. Too often these discussions treat food as a commodity and eating as a matter of individual choice. Policies that address the global obesity crisis by focusing on individual responsibility and medical interventions ignore (...) the dependency of human agency on a culture of possibilities. -/- The essays collected here address this lack in philosophy and political theory by appreciating food as an origin of human culture and a network of social relations. They show how an approach to the current global obesity epidemic through individual choice deflects the structural change that is necessary to create a culture of healthy eating. Analyzing the contemporary food crises of obesity, malnutrition, environmental degradation, and cultural displacement as global issues of public policy and social justice, these essays display the essential interconnections among issues of social inequity, animal rights, environmental ethics, and cultural identity. They call for new solidarities and new public policies to ensure the sustainable practices necessary to the production and distribution of wholesome and satisfying food. -/- Lévi-Strauss located the origin of ethics in table manners. By learning what and how to eat, humans learned respect for others, for the earth, and for the other forms of life that sustain human existence. Lévi-Strauss fears that in our time this “lesson in humility” coursing throughout the mythologies of “savage peoples” may have been forgotten, so that the world is treated as a thing to be appropriated and the extinction of species and cultures as an inevitable result of the ascendancy of global capital. This volume makes clear the need to change the way we eat, if we are to live on the earth together with what Lévi-Strauss calls “decency and discretion.”. (shrink)

We present an adaptation of continuous first order logic to unbounded metric structures. This has the advantage of being closer in spirit to C. Ward Henson's logic for Banach space structures than the unit ball approach, as well as of applying in situations where the unit ball approach does not apply. We also introduce the process of single point emph{emboundment}, allowing to bring unbounded structures back into the setting of bounded continuous first order logic. Together with results from (...) cite{BenYaacov:Perturbations} regarding perturbations of bounded metric structures, we prove a Ryll-Nardzewski style characterisation of theories of Banach spaces which are separably categorical up to small perturbation of the norm. This last result is motivated by an unpublished result of Henson. (shrink)

Respected Catholic ethicists have recently defended the use of salpingostomy and methotrexate in the management of ectopic pregnancies.This article examines the arguments for the revised assessments to determine whether there are sound reasons to believe that these two methods do not constitute the direct and immediate killing of innocent human beings. National Catholic Bioethics Quarterly 11.1 (Spring 2011): 65–82.

This paper develops and tests a model of fingerpointing behaviors that board members experience because of regulatory reforms. We present the partial results of a large study of 138 board members on 54 publicly traded boards in the United States. We found that recent governance reforms that mandate increased accountability of board members are associated with less board cohesion and thatlower board cohesion is associated with fingerpointing behaviors. These findings suggest that the stages of institutionalization following regulatory shock falter when (...) negative group behaviors develop under scrutiny. (shrink)

An extraordinary, if circumscribed, positive shift has occurred since the mid-twentieth century in the perceived status of Hugh Everett III's 1956 theory of the universal wave function of quantum mechanics, now widely called the Many-Worlds Interpretation (MWI). Everett's starkly new interpretation denied the existence of a separate classical realm, contending that the experimental data can be seen as presenting a state vector for the whole universe. Since there is no state vector collapse, reality as a whole is strictly deterministic. Explained (...) jointly by the dynamical variables and the state vector, “this reality is not the reality we customarily think of, but is a reality composed of many worlds,” wrote Everett's colleague Bryce DeWitt. In this essay, I account briefly for the change of status in conventional scientific terms, yet chiefly in extended terms of three sets of ideas that I argue can be understood to affect believability in both scientific and religious contexts, illuminating helpfully the MWI phenomenon, and its engagement with theology: orthodoxy and heresy, language and reference, and faith and agnosticism. One's orientation relative to the variable content of these dynamic, socially oriented categories helps to make belief in ideas as metaphysically challenging as Everettian Quantum Mechanics, or particular ideas about God, either more or less believable. The categories will have the same function in a theology engaging Everett's theory, and in any theology at all written in a society deeply marked by what I further argue is a subtle, powerful, and pervasive mode of quasi-scientific thinking we can call societal constructive agnosticism, of which anyone doing theology today must be aware. (shrink)

Since at least the 1938 publication of Hans Reichenbach’s Experience and Predication , there has been widespread agreement that, when discussing the beliefs that people have, it is important to distinguish contexts of discovery and contexts of justification. Traditionally, when one conflates the two contexts, the result is a “genetic fallacy”. This paper examines genealogical critiques and addresses the question of whether such critiques are fallacious and, if so, whether this vitiates their usefulness. The paper concludes that while there may (...) be one or more senses in which genealogical critiques are fallacious, this does not vitiate their value. (shrink)

Faculty learning communities are collaborative collegial groups of faculty and other teaching staff who are interested in and committed to the improvement of their teaching to accommodate a diverse student population through group discourse, reflection and goal setting. In this article, we describe our FLC experiences that were supported by a federal grant to ensure accessible learning environments on our campus. The project, Ensuring Access through Collaboration and Technology , sought to introduce faculty at a medium‐sized state university to a (...) pedagogical framework to provide universal access to the curriculum for all students and to encourage faculty to adopt accessible technologies. We describe the recruitment process, the FLC meeting structure, our intended outcomes and the challenges we faced in meeting them. (shrink)

Current models of insulin binding to the insulin receptor (IR) propose (i) that there are two binding sites on the surface of insulin which engage with two binding sites on the receptor and (ii) that ligand binding involves structural changes in both the ligand and the receptor. Many of the features of insulin binding to its receptor, namely B‐chain helix interactions with the leucine‐rich repeat domain and A‐chain residue interactions with peptide loops from another part of the receptor, are also (...) seen in models of relaxin and insulin‐like peptide 3 binding to their receptors. We show that these principles can likely be extended to the group of mimetic peptides described by Schäffer and coworkers, which are reported to have no sequence identity with insulin. This review summarizes our current understanding of ligand‐induced activation of the IR and highlights the key issues that remain to be addressed. (shrink)

Thoroughly revised for its Second Edition, Foundations for Osteopathic Medicine is the only comprehensive, current osteopathic text. It provides broad, multidisciplinary coverage of osteopathic considerations in the basic sciences, behavioral sciences, family practice and primary care, and the clinical specialties and demonstrates a wide variety of osteopathic manipulative methods. This edition includes new chapters on biomechanics, microbiology and infectious diseases, health promotion and maintenance, osteopathic psychiatry, emergency medicine, neuromusculoskeletal medicine, rehabilitation, sports medicine, progressive inhibition of neuromuscular structures, visceral manipulation, A.T. (...) Still osteopathic methods, treatment of acutely ill hospital patients, somatic dysfunction, clinical research and trials, outcomes research, and biobehavioral interactions with disease and health. Compatibility: BlackBerry(R) OS 4.1 or Higher / iPhone/iPod Touch 2.0 or Higher /Palm OS 3.5 or higher / Palm Pre Classic / Symbian S60, 3rd edition (Nokia) / Windows Mobile(TM) Pocket PC (all versions) / Windows Mobile Smartphone / Windows 98SE/2000/ME/XP/Vista/Tablet PC. (shrink)

Unraveling the molecular detail of insulin receptor activation has proved challenging, but a major advance is the recent determination of crystallographic structures of insulin in complex with its primary binding site on the receptor. The current model for insulin receptor activation is that two distinct surfaces of insulin monomer engage sequentially with two distinct binding sites on the extracellular surface of the insulin receptor, which is itself a disulfide‐linked (αβ)2 homodimer. In the process, conformational changes occur both within the hormone (...) and the receptor, the latter resulting in the disruption of the intracellular interactions that hold the kinase domains in their basal state and in the initiation of the phosphorylation events that drive insulin signaling. The purpose of this paper is to summarize the extant structural data relating to hormone binding and how it effects receptor activation, as well as to discuss the issues that remain unresolved. (shrink)