This exciting new Handbook offers a comprehensive overview of the contemporary state of the field. The editors' introduction and forty-five essays cover feminist critical engagements with philosophy and adjacent scholarly fields, as well as feminist approaches to current debates and crises across the world. Authors cover topics ranging from the ways in which feminist philosophy attends to other systems of oppression, and the gendered, racialized, and classed assumptions embedded in philosophical concepts, to feminist perspectives on prominent subfields of philosophy. The (...) first section contains chapters that explore feminist philosophical engagement with mainstream and marginalized histories and traditions, while the second section parses feminist philosophy's contributions to with numerous philosophical subfields, for example metaphysics and bioethics. A third section explores what feminist philosophy can illuminate about crucial moral and political issues of identity, gender, the body, autonomy, prisons, among numerous others. The Handbook concludes with the field's engagement with other theories and movements, including trans studies, queer theory, critical race, theory, postcolonial theory, and decolonial theory. The volume provides a rigorous but accessible resource for students and scholars who are interested in feminist philosophy, and how feminist philosophers situate their work in relation to the philosophical mainstream and other disciplines. Above all it aims to showcase the rich diversity of subject matter, approach, and method among feminist philosophers. (shrink)

Why is American punishment so cruel? While in continental Europe great efforts are made to guarantee that prisoners are treated humanely, in America sentences have gotten longer and rehabilitation programs have fallen by the wayside. Western Europe attempts to prepare its criminals for life after prison, whereas many American prisons today leave their inhabitants reduced and debased. In the last quarter of a century, Europe has worked to ensure that the baser human inclination toward vengeance is not reflected by state (...) policy, yet America has shown a systemic drive toward ever increasing levels of harshness in its criminal policies. Why is America so short on mercy? In this deeply researched, comparative work, James Q. Whitman reaches back to the 17th and 18th centuries to trace how and why American and European practices came to diverge. Eschewing the usual historical imprisonment narratives, Whitman focuses instead on intriguing differences in the development of punishment in the age of Western democracy. European traditions of social hierarchy and state power, so consciously rejected by the American colonies, nevertheless supported a more merciful and dignified treatment of offenders. The hierarchical class system on the continent kept alive a tradition of less-degrading "high-status" punishments that eventually became applied across the board in Europe. The distinctly American, draconian regime, on the other hand, grows, Whitman argues, out of America's longstanding distrust of state power and its peculiar, broad-brush sense of egalitarianism. Low-status punishments were evenly meted out to all offenders, regardless of class or standing. America's unrelentingly harsh treatment of trangressors--this "equal opportunity degradation"-- is, in a very real sense, the dark side of the nation's much vaunted individualism. A sobering look at the growing rift between the United States and Europe, Harsh Justice exposes the deep cultural roots of America's degrading punishment practices. (shrink)

Increasingly sophisticated and expensive medical technologies, chronic illness and aging, and a population that insists upon the best health care and coverage, together demand that priorities be set in the public funding of health care. This article describes Spanish initiatives in dealing with such problems and analyses the ethical implications of health care legislation and rationing.

A new smooth method for solving the support vector machine classification (SVC) is presented. Since the objective function of the unconstrained SVC is non-smooth, we apply the smooth technique and replace the SVC function with Bézier function and get a class of Bézier smooth support vector machines (BSSVM). The fast Newton-Armijo algorithm is used to solve the BSSVM. Theoretical analysis and numerical results illustrate that this smooth SVM model improves in efficiency and accuracy compared with other smooth methods.

ε-support vector regression (ε-SVR) as a constrained minimization problem can be converted into an unconstrained convex quadratic programming. Smooth function is the essence of the ε-smooth support vector regression (ε-SSVR). In this paper, a new rotated hyperbola function is proposed to replace the ε-insensitive loss function. The ε-rotated hyperbola smooth support vector regression (ε-RHSSVR) model is presented. Theoretical analyses show that the derived smooth function has improved approximation precision compared with other smooth approximate functions. The Newton-Armijo algorithm is applied to (...) train the new model. Numerical results and comparisons are given to demonstrate the effectiveness and speed of the method. -/- . (shrink)

Thomas Christiano argues that democracies acquire a right to rule by being the unique embodiment of publicly accessible rules. Justice requires the equal advancement of the interests of all. However, due to the need for citizens to shape a common world despite disagreement and limitations of human cognition, publicity is a necessary constraint on the pursuit of justice. Given that democracy is necessary to secure public equality, democratic authority is thus justified, as democracy is the only political arrangement that satisfies (...) both the publicity constraint and equality requirement. Christiano’s argument depends on a claim that individuals should be given the right to advance what they take to be their interests. This right is defended through two interlocking claims. First, according individuals this right advances three fundamental interests: i) correcting cognitive biases; ii) being at home in the world; and iii) equal moral standing. Second, the three fundamental interests imply that any collective decision-making procedure must be publicly accessible. Thus, any argument against the right to judge for oneself either violates the publicity requirement or the equality constraint. In this paper, I argue that Christiano’s argument faces a problem—under a two-stage plural voting system, an unequal distribution of voting rights can satisfy both the publicity requirement and the equality constraint. Thus, Christiano’s claim that public equality requires an equal distribution of the right to judge for oneself is mistaken. (shrink)

A major challenge for The Cancer Genome Atlas (TCGA) Project is solving the high level of genetic and epigenetic heterogeneity of cancer. For the majority of solid tumors, evolution patterns are stochastic and the end products are unpredictable, in contrast to the relatively predictable stepwise patterns classically described in many hematological cancers. Further, it is genome aberrations, rather than gene mutations, that are the dominant factor in generating abnormal levels of system heterogeneity in cancers. These features of cancer could (...) significantly reduce the impact of the sequencing approach, as it is only when mutated genes are the main cause of cancer that directly sequencing them is justified. Many biological factors (genetic and epigenetic variations, metabolic processes) and environmental influences can increase the probability of cancer formation, depending on the given circumstances. The common link between these factors is the stochastic genome variations that provide the driving force behind the cancer evolutionary process within multiple levels of a biological system. This analysis suggests that cancer is a disease of probability and the most‐challenging issue to the TCGA project, as well as the development of general strategies for fighting cancer, lie at the conceptual level. BioEssays 29:783–794, 2007. © 2007 Wiley Periodicals, Inc. (shrink)

The main purpose of this book is to introduce a broader audience to emergence by illustrating how discoveries in the physical sciences have informed the ways we think about it. In a nutshell, emergence asserts that non-reductive behavior arises at higher levels of organization and complexity. As physicist Philip Anderson put it, "more is different." Along the text's conversational tour through the terrain of quantum physics, phase transitions, nonlinear and statistical physics, networks and complexity, the author highlights the various philosophical (...) nuances that arise in encounters with emergence. The final part of the book zooms out to reflect on some larger lessons that emergence affords us. One of those larger lessons is the realization that the great diversity of theories and models, and the great variety of independent explanatory frameworks, will always be with us in the sciences and beyond. There is no "Theory of Everything" just around the corner waiting to be discovered. One of the main benefits of this book is that it will make a number of exciting scientific concepts that are not normally covered at this level accessible to a broader audience. The overall presentation, including the use of examples, analogies, metaphors, and biographical interludes, is geared for the educated non-specialist. (shrink)

Modern biology has been heavily influenced by the gene‐centric concept. Paradoxically, this very concept – on which bioresearch is based – is challenged by the success of gene‐based research in terms of explaining evolutionary theory. To overcome this major roadblock, it is essential to establish new theories, to not only solve the key puzzles presented by the gene‐centric concept, but also to provide a conceptual framework that allows the field to grow. This paper discusses a number of paradoxes and illustrates (...) how they can be addressed by the genome‐centric concept in order to further resynthesize evolutionary theory. In particular, methodological breakthroughs that analyze genome evolution are discussed. The multiple interactions among different levels of a complex system provide the key to understanding the relationship between self‐organization and natural selection. Darwinian natural selection applies to the biological level due to its unique genetic and heterogeneous features, but does not simply or directly apply to either the lower non‐living level or higher intellectual society level. At the complex bio‐system level, the genome context (the entire package of genes and their genomic physical relationship or genomic topology), not the individual genes, defines the system and serves as the principle selection platform for evolution. (shrink)

Thomas Christiano argues that democracies acquire a right to rule by being the unique embodiment of publicly accessible rules. Justice requires the equal advancement of the interests of all. However, due to the need for citizens to shape a common world despite disagreement and limitations of human cognition, publicity is a necessary constraint on the pursuit of justice. Given that democracy is necessary to secure public equality, democratic authority is thus justified, as democracy is the only political arrangement that satisfies (...) both the publicity constraint and equality requirement. Christiano’s argument depends on a claim that individuals should be given the right to advance what they take to be their interests. This right is defended through two interlocking claims. First, according individuals this right advances three fundamental interests: i) correcting cognitive biases; ii) being at home in the world; and iii) equal moral standing. Second, the three fundamental interests imply that any collective decision-making procedure must be publicly accessible. Thus, any argument against the right to judge for oneself either violates the publicity requirement or the equality constraint. In this paper, I argue that Christiano’s argument faces a problem—under a two-stage plural voting system, an unequal distribution of voting rights can satisfy both the publicity requirement and the equality constraint. Thus, Christiano’s claim that public equality requires an equal distribution of the right to judge for oneself is mistaken. (shrink)

Herbert Morris argues in his influential retributivist paper, "Persons and Punishment," that criminals deserve punishment because their actions represent an unfair distribution of benefits and burdens in society. The proper distribution of benefits and burdens is important, in part, to restore law abiding citizens’ confidence that others will follow the law. In this paper I show that Morris's argument for why criminals deserve punishment morally requires us to set up an institution of rehabilitation in addition to the institution of punishment. (...) Such an institution is morally required because neither pure punishment systems nor punishment systems that incorporate quasi-rehabilitative aspects have ever worked to uphold the necessary confidence that Morris tells us law abiding citizens must have in order to protect the social order. Moreover, we cannot abandon Morris's appeal to the duty to maintain social order without also abandoning a plausibly Morrisian framework. (shrink)

This paper questions the connection between vaginas and feminist embodiment in The Vagina Monologues and considers how the text both challenges and reinscribes systems of patriarchy, compulsory heterosexuality, and ableism. I use the Intersex Society of North America's critique as a point of departure and argue that the text offers theorists and activists in feminist, queer, and disability communities an opportunity to understand how power operates in both dominant discourses that degrade vaginas and strategies of feminist resistance that seek to (...) reclaim and celebrate them. (shrink)

In information theory there is a fundamental principle, usually referred to as the informational “uncertainty principle”, which expresses a limitation of any information processing system (or agent) in terms of a relation between the system's response property and its inherent processing capacity. From this principle, it can be argued that a salutary strategy for dealing with conflicting information processing requirements is to adopt various complementary processes (or channels). Donald M. MacKay had attempted to relate the informational uncertainty principle (...) to spatial and temporal response properties of neurons in the mammalian visual cortex, and suggested that the spatial and the temporal aspects of such neurons are complementary. I attempt to extend his efforts and to show that the informational uncertainty principle may indeed underlie many complementary relations exhibited in human perception and cognition, such as the relation between the two principal processing streams in vision and the relation between parallel and serial processes in cognition. (shrink)

: This paper questions the connection between vaginas and feminist embodiment in The Vagina Monologues and considers how the text both challenges and reinscribes (albeit unintentionally) systems of patriarchy, compulsory heterosexuality, and ableism. I use the Intersex Society of North America's critique as a point of departure and argue that the text offers theorists and activists in feminist, queer, and disability communities an opportunity to understand how power operates in both dominant discourses that degrade vaginas and strategies of feminist resistance (...) that seek to reclaim and celebrate them. (shrink)

This exciting new Handbook offers a comprehensive overview of the contemporary state of the field in feminist philosophy. The editors' introduction and forty-five essays cover feminist critical engagements with philosophy and adjacent scholarly fields, as well as feminist approaches to current debates and crises across the world. Authors cover topics ranging from the ways in which feminist philosophy attends to other systems of oppression, and the gendered, racialized, and classed assumptions embedded in philosophical concepts, to feminist perspectives on prominent subfields (...) of philosophy. The first section contains chapters that explore feminist philosophical engagement with mainstream and marginalized histories and traditions, while the second section parses feminist philosophy's contributions to numerous philosophical subfields, for example metaphysics and bioethics. A third section explores what feminist philosophy can illuminate about crucial moral and political issues of identity, gender, the body, autonomy, prisons, among numerous others. The Handbook concludes with the field's engagement with other theories and movements, including trans studies, queer theory, critical race, theory, postcolonial theory, and decolonial theory. The volume provides a rigorous but accessible resource for students and scholars who are interested in feminist philosophy, and how feminist philosophers situate their work in relation to the philosophical mainstream and other disciplines. Above all it aims to showcase the rich diversity of subject matter, approach, and method among feminist philosophers. (shrink)

This sizable, significant work focuses with novel insight on broad logical features in Galileo's Dialogue on the Two Chief World Systems. Part 1 perceptively examines its rhetorical, logical, scientific, and methodological contents. Anchored in these findings, a second part emends faulty interpretations and scholarly opinions, while sympathetically criticizing recent directions toward a more humanistic logic. From Galileo properly assessed a third part distils a concrete-practical logic that is primarily critical reasoning about reasoning.

This book addresses the idea of justice in order to guide society towards a more effective justice system. The authors trace impoverished and accomplished thinking in criminological and justice discourses and show that when justice and love are seen as synonyms, the historic ills that have plagued humanity tend to evaporate.

The development of factor markets has opened Chinese agriculture for the penetration of capitalism. This new round of rural transformation—China’s agrarian transition— raises the agrarian question in the Chinese context. This study investigates how capitalist forms and relations of production transform agricultural production and the peasantry class in rural China. The authors identify six forms of nonpeasant agricultural production, compare the labor regimes and direct producers’ socioeconomic statuses across these forms, and evaluate the role of China’s land-rights institution in shaping (...) these forms. The empirical investigation presents three main findings: Peasant differentiation : capitalist forms of agricultural production differentiate peasants into a variety of new class positions. Market-based stratification: producers in capitalist agriculture are primarily stratified by their positions in labor and land markets; their socioeconomic statuses are linked with their varying degrees of proletarianization. Institutional mediation: rural China’s dual-track land system plays a crucial role in shaping the diverse and unique forms of capitalist production. (shrink)

Humans routinely modify their walking speed to adapt to functional goals and physical demands. However, damage to the central nervous system often results in abnormal modulation of walking speed and increased risk of falls. There is considerable interest in treatment modalities that can provide safe and salient training opportunities, feedback about walking performance, and that may augment less reliable sensory feedback within the CNS after injury or disease. Fully immersive virtual reality technologies show benefits in boosting training-related gains in (...) walking performance; however, they lack views of the real world that may limit functional carryover. Augmented reality and mixed reality head-mount displays provide partially immersive environments to extend the virtual reality benefits of interacting with virtual objects but within an unobstructed view of the real world. Despite this potential advantage, the feasibility of using MR-HMD visual feedback to promote goal-directed changes in overground walking speed remains unclear. Thus, we developed and evaluated a novel mixed reality application using the Microsoft HoloLens MR-HMD that provided real-time walking speed targets and augmented visual feedback during overground walking. We tested the application in a group of adults not living with disability and examined if they could use the targets and visual feedback to walk at 85%, 100%, and 115% of each individual’s self-selected speed. We examined whether individuals were able to meet each target gait speed and explored differences in accuracy across repeated trials and at the different speeds. Additionally, given the importance of task-specificity to therapeutic interventions, we examined if walking speed adjustment strategies were consistent with those observed during usual overground walking, and if walking with the MR-HMD resulted in increased variability in gait parameters. Overall, participants matched their overground walking speed to the target speed of the MR-HMD visual feedback conditions. The percent inaccuracy was approximately 5% across all speed matching conditions and remained consistent across walking trials after the first overall walking trial. Walking with the MR-HMD did not result in more variability in walking speed, however, we observed more variability in stride length and time when walking with feedback from the MR-HMD compared to walking without feedback. The findings offer support for mixed reality-based visual feedback as a method to provoke goal-specific changes in overground walking behavior. Further studies are necessary to determine the clinical safety and efficacy of this MR-HMD technology to provide extrinsic sensory feedback in combination with traditional treatments in rehabilitation. (shrink)

In an Internet of Things (IoT) environment, IoT devices are typically connected through different network media types such as mobile, wireless and wired networks. Due to the pervasive nature of such devices, they are a potential evidence source in both civil litigation and criminal investigations. It is, however, challenging to identify and acquire forensic artefacts from a broad range of devices, which have varying storage and communication capabilities. Hence, in this paper, we first propose an IoT network architecture for the (...) forensic purpose that uses machine learning algorithms to autonomously detect IoT devices. Then we posit the importance of focusing on the links between different IoT devices (e.g. whether one device is controlled or can be accessed from another device in the system), and design an approach to do so. Specifically, our approach adopts a graph for modelling IoT communications’ message flows to facilitate the identification of correlated network traffic based on the direction of the network and the associated attributes. To demonstrate how such an approach can be deployed in practice, we provide a proof of concept using two IoT controllers to generate 480 commands for controlling two IoT devices in a smart home environment and achieve an accuracy rate of 98.3% for detecting the links between devices. We also evaluate the proposed autonomous discovering of IoT devices and their activities in a TCP network by using real-world measurements from a public dataset of a popular off-the-shelf smart home deployed in two different locations. We selected 39 out of 81 different IoT devices for this evaluation. (shrink)

As the burden of misconduct in medical research is increasingly recognised, questions have been raised about how best to address this problem. Whilst there are existing mechanisms for the investigation and management of misconduct in medical literature, they are inadequate to deal with the magnitude of the problem. Journal editors and publishers play an essential role in protecting the veracity of the medical literature. Whilst ethical guidance for journal editors and publishers is important, it is not as readily enforceable as (...) legal obligations might be. This article questions the legal obligations that might exist for journal editors and publishing companies with respect to ensuring the veracity of the published literature. Ultimately, there is no enforceable legal obligation in Australia, the United Kingdom, or the United States. In light of this, more robust mechanisms are needed to deliver greater confidence and transparency in the investigative process, the management of concerns or findings of misconduct and the need to cleanse the literature. We show that the law disincentivises journals and publishers from ensuring truth in their publications. There are harmful consequences for medical care and public confidence in the medical profession and health care system when the foundations of medical science are questionable. (shrink)

Prior research has demonstrated that trust in robots and performance of robots are two important factors that influence human–autonomy teaming. However, other factors may influence users’ perceptions and use of autonomous systems, such as perceived intent of robots and decision authority of the robots. The current study experimentally examined participants’ trust in an autonomous security robot (ASR), perceived trustworthiness of the ASR, and desire to use an ASR that varied in levels of decision authority and benevolence. Participants (N = 340) (...) were recruited from Amazon Mechanical Turk. Results revealed the participants had increased trust in the ASR when the robot was described as having benevolent intent compared to self-protective intent. There were several interactions between decision authority and intent when predicting the trust process, showing that intent may matter the most when the robot has discretion on executing that intent. Participants stated a desire to use the ASR in a military context compared to a public context. Implications for this research demonstrate that as robots become more prevalent in jobs paired with humans, factors such as transparency provided for the robot's intent and its decision authority will influence users’ trust and trustworthiness. (shrink)

Several novel approaches have been proposed to resolve the problem of time by relating it to change. We argue using quantum information theory that the Hamiltonian constraint in quantum gravity cannot probe change, so it cannot be used to obtain a meaningful notion of time. This is due to the absence of quantum Fisher information with respect to the quantum Hamiltonian of a time-reparametization invariant system. We also observe that the inability of this Hamiltonian to probe change can be (...) related to its inability to discriminate between states of such a system. However, if the time-reparametization symmetry is spontaneously broken due to the formation of quantum cosmological time crystals, these problems can be resolved, and it is possible for time to emerge in quantum gravity. (shrink)

Prior research has demonstrated that trust in robots and performance of robots are two important factors that influence human–autonomy teaming. However, other factors may influence users’ perceptions and use of autonomous systems, such as perceived intent of robots and decision authority of the robots. The current study experimentally examined participants’ trust in an autonomous security robot (ASR), perceived trustworthiness of the ASR, and desire to use an ASR that varied in levels of decision authority and benevolence. Participants (N = 340) (...) were recruited from Amazon Mechanical Turk. Results revealed the participants had increased trust in the ASR when the robot was described as having benevolent intent compared to self-protective intent. There were several interactions between decision authority and intent when predicting the trust process, showing that intent may matter the most when the robot has discretion on executing that intent. Participants stated a desire to use the ASR in a military context compared to a public context. Implications for this research demonstrate that as robots become more prevalent in jobs paired with humans, factors such as transparency provided for the robot's intent and its decision authority will influence users’ trust and trustworthiness. (shrink)

Arthur Norman Prior was born on 4 December 1914 in Masterton, New Zealand. He studied philosophy in the 1930s and was a significant, and often provocative, voice in theological debates until well into the 1950s. He became a lecturer in philosophy at Canterbury University College in Christchurch in 1946 succeeding Karl Popper. He became a full professor in 1952. He left New Zealand permanently for England in 1959, first taking a chair in philosophy at Manchester University, and then becoming a (...) fellow of Balliol College, Oxford, in 1966. Prior died on 6 October 1969 in Trondheim, Norway. After Prior’s death, many logicians and philosophers have analysed and discussed his approach to formal and philosophical logic. In particular, his contributions to modal logic, tense-logic and deontic logic have been studied. -/- In 1957, A.N. Prior proposed the three-valued modal logic Q as a ‘correct’ modal logic from his philosophical motivations, see Prior (1957). Prior developed Q in order to offer a logic for contingent beings, in which one could intelligibly and rationally state that some beings are contingent and some are necessary, see Akama & Nagata (2005). According to Akama & Nagata (2005), Q has a natural semantics. In other words, from the philosophical point of view, Q can be regarded as an ‘actualist’ modal logic. -/- This review article is a developed description of, and discussion on, ‘The System Q’ that is the fifth chapter of Prior (1957). In addition, in his logical analysis of ‘Time & Existence’ (that is the eights chapter of Prior (1967)), Prior has worked on system Q. Thus, Prior (1967) has also been very useful for this article. This article analyses the logical structure of system Q in order to provide a more understandable description as well as logical analysis for today’s logicians, philosophers, and information-computer scientists. In the paper, the Polish notations are translated into modern notations in order to be more comprehensible and to support the developed formal descriptions as well as semantic analysis. (shrink)

We introduce a system PSI for a strict implication operator called Priorean strict implication. The semantics for PSI is based on partial Kripke models without accessibility relations. PSI is proved sound and complete with respect to that semantics, and Prior's system Q and related systems are shown to be fragments of PSI or of a mild extension of it.

This paper proposes an adaptive formation tracking control algorithm optimized by Q-learning scheme for multiple mobile robots. In order to handle the model uncertainties and external disturbances, a desired linear extended state observer is designed to develop an adaptive formation tracking control strategy. Then an adaptive method of sliding mode control parameters optimized by Q-learning scheme is employed, which can avoid the complex parameter tuning process. Furthermore, the stability of the closed-loop control system is rigorously proved by means of (...) matrix properties of graph theory and Lyapunov theory, and the formation tracking errors can be guaranteed to be uniformly ultimately bounded. Finally, simulations are presented to show the proposed algorithm has the advantages of faster convergence rate, higher tracking accuracy, and better steady-state performance. (shrink)

This communique presents the Q-S synchronization of two nonidentical complex nonlinear hyperchaotic systems with unknown parameters. An adaptive controller based on adaptive integral sliding mode control and parameter update laws are designed to realize the synchronization and parameter identification to a given map vector. The aforementioned strategy’s employment demands the transformation of a system into a specific structure containing a nominal part and some unknown terms. An integral sliding mode controller is used to stabilize the error system by (...) designing nominal control accompanied by compensator control. For chattering suppression, a continuous compensator of smooth nature is used instead of conventional control. The stability of the proposed algorithm is established in an impressive way, using Lyapunov criteria. A numerical simulation is performed to illustrate the validity of the proposed synchronization scheme. (shrink)

Reinforcement learning has recently received much attention as a learning method for complicated systems, e.g., robot systems. It does not need prior knowledge and has higher capability of reactive and adaptive behaviors. However increase in dimensionality of the action-state space makes it diffcult to accomplish learning. The applicability of the existing reinforcement learning algorithms are effective for simple tasks with relatively small action-state space. In this paper, we propose a new reinforcement learning algorithm: “Q-learning with Dynamic Structuring of Exploration Space (...) Based on Genetic Algorithm ”. The algorithm is applicable to systems with high dimensional action and interior state spaces, for example a robot with many redundant degrees of freedom. To demonstrate the effectiveness of the proposed algorithm simulations of obstacle avoidance by a 50 links manipulator have been carried out. It is shown that effective behavior can be learned by using the proposed algorithm. (shrink)

This paper examines potential differences in land use between Q'eqchí Maya and Ladino farmers in a remote agricultural frontier in northern Petén, Guatemala. The research site, the Sierra de Lacandón National Park, is a core conservation zone of Guatemala's Maya Biosphere Reserve. In recent years, much has been written about the dramatic process of colonization and deforestation in Petén, Guatemala's largest and northernmost department. Since the early 1980s a rapid rural transformation has occurred where once remote forested regions have been (...) colonized by small farmers, and lands have been converted to maize fields and cattle pastures. Consequently, less than half of the original forest cover in the department remains. Although approximately half of Petén's rural settlers have been Q'eqchí Maya, their land use, and its subsequent impact on Petenero forests, has been little studied. Results suggest that despite heterogeneous land use systems in migrant origin areas, given similar physical and socio-economic conditions following settlement in this remote frontier, Q'eqchí and Ladino farmer land use is remarkably similar. Only a modest land use difference appears to exist between the two groups: Q'eqchí Maya appear to have more extensive swidden maize rotations while Ladinos dedicate more land to pasture. (shrink)

Q methodology has been used in a variety of fields to employ a scientific approach to dealing with subjectivity; yet, its use has just gained momentum in the second language acquisition domain recently. The present paper argues that Q methodology is remarkably efficient in representing the dynamic quality of complex systems involved in the language learning process, which is, thus, compatible with the complexity and dynamic systems theory. As Q methodology enjoys advantages of both qualitative and quantitative lines of research, (...) it helps to explore and reflect L2 learners’ subjective views and perceptions about their emotions in an L2 class in a comprehensive manner. With the current growing attention to individuals’ emotional experiences in recent years, SLA research domain is ripe for many scientific inquiries about L2 learners’ affective variables benefiting from this method. The few existing studies in the L2 domain have had interesting findings, which show the Q methodology should be more extensively used in the field to reveal facts about how learners feel in class from a within-individual point of view. Q methodology can hopefully be capable of representing the dynamicity and complexity of the affective variables language learners experience in the interactive network of classroom learning. Thus, it is expected that innovative research methods such as the Q methodology be employed significantly more than before in the dynamic phase of SLA research in the upcoming years. (shrink)

Let us recall that Raphael Robinson's Arithmetic Q is an axiom system that differs from Peano Arithmetic essentially by containing no Induction axioms [13], [18]. We will generalize the semantic-tableaux version of the Second Incompleteness Theorem almost to the level of System Q. We will prove that there exists a single rather long Π 1 sentence, valid in the standard model of the Natural Numbers and denoted as V, such that if α is any finite consistent extension of (...) Q + V then α will be unable to prove its Semantic Tableaux consistency. The same result will also apply to axiom systems α with infinite cardinality when these infinite-sized axiom systems satisfy a minor additional constraint, called the Conventional Encoding Property. Our formalism will also imply that the semantic-tableaux version of the Second Incompleteness Theorem generalizes for the axiom system IΣ 0 , as well as for all its natural extensions. (This answers an open question raised twenty years ago by Paris and Wilkie [15].). (shrink)

In this work a double exponential time inseparability result is proven for a finitely axiomatizable first order theory Q₊. The theory, subset of Presburger theory of addition S₊, is the additive fragment of Robinson system Q. We prove that every set that separates Q₊` from the logically false sentences of addition is not recognizable by any Turing machine working in double exponential time. The lower bound is given both in the non-deterministic and in the linear alternating time models. The (...) result implies also that any theory of addition that is consistent with Q₊—in particular any theory contained in S₊—is at least double exponential time difficult. Our inseparability result is an improvement on the known lower bounds for arithmetic theories. Our proof uses a refinement and adaptation of the technique that Fischer and Rabin used to prove the difficulty of S₊. Our version of the technique can be applied to any incomplete finitely axiomatizable system in which all of the necessary properties of addition are provable. (shrink)

The authors take as undefined the expression, "p is epistemically preferable to q for s at t", Which they interpret as referring to a relation that may hold among a man's believings ("he believes h"), His disbelievings ("he believes not-H"), And his withholdings ("he believes neither h nor not-H"). Seven axioms of epistemic preferability are set forth from which the authors deduce some 60 theorems. Some of these theorems are described as "pyrrhonistic." several fundamental epistemic concepts are defined in terms (...) of epistemic preferability. Among them are those suggested by the terms "some presumption in its favor", "acceptable", "beyond reasonable doubt", "evident", "certain", And "counterbalanced". (shrink)

In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper, and others proper. Improper inference rules are more complicated and are often harder to understand than the proper ones. In the present paper, we distinguish between proper and improper derivations by using sequent systems. Specifically, we introduce a sequent system \(\vdash_{\bf Sc}\) for classical propositional logic with only (...) structural rules, and prove that \(\vdash_{\bf Sc}\) does not allow improper derivations in general. For instance, the sequent \(\Rightarrow p \to q\) cannot be derived from the sequent \(p \Rightarrow q\) in \(\vdash_{\bf Sc}\). In order to prove the failure of improper derivations, we modify the usual notion of truth valuation, and using the modified valuation, we prove the completeness of \(\vdash_{\bf Sc}\). We also consider whether an improper derivation can be described generally by using \(\vdash_{\bf Sc}\). (shrink)

We locate winning strategies for various ${\mathrm{\Sigma }}_{3}^{0}$ -games in the L-hierarchy in order to prove the following: Theorem 1. KP+Σ₂-Comprehension $\vdash \exists \alpha L_{\alpha}\ models"\Sigma _{2}-{\bf KP}+\Sigma _{3}^{0}-\text{Determinacy}."$ Alternatively: ${\mathrm{\Pi }}_{3}^{1}\text{\hspace{0.17em}}-{\mathrm{C}\mathrm{A}}_{0}\phantom{\rule{0ex}{0ex}}$ "there is a β-model of ${\mathrm{\Delta }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0}\text{\hspace{0.17em}}\text{\hspace{0.17em}}+\text{\hspace{0.17 em}}{\mathrm{\Sigma }}_{3}^{0}$ -Determinacy." The implication is not reversible. (The antecedent here may be replaced with ${\mathrm{\Pi }}_{3}^{1}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\left({\mathrm{\Pi }}_{3}^{1}\right)-{\mathrm{C}\mathrm{A}}_{0}:\text{\hspace{0.17em}}{\mathrm{\Pi }}_{3}^{1}$ instances of Comprehension with only ${\mathrm{\Pi }}_{3}^{1}$ -lightface definable parameters—or even weaker theories.) Theorem 2. KP +Δ₂-Comprehension +Σ₂-Replacement + ${\mathrm{\Sigma }}_{3}^{0}\phantom{\rule{0ex}{0ex}}$ -Determinacy. (Here AQI (...) is the assertion that every arithmetical quasi-inductive definition converges.) Alternatively: $\Delta _{3}^{1}{\rm CA}_{0}+{\rm AQI}\nvdash \Sigma _{3}^{0}$ -Determinacy. Hence the theories: ${\mathrm{\Pi }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0},\text{\hspace{0.17em}}{\mathrm{\Delta }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0}+\text{\hspace{0.17em}}{\mathrm{\Sigma }}_{3}^{0}-\mathrm{D}\mathrm{e}\mathrm{t}\phantom{\rule{0ex}{0ex}}$ -Det, ${\mathrm{\Delta }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0}+\mathrm{A}\mathrm{Q}\mathrm{I}$ , and ${\mathrm{\Delta }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0}\phantom{\rule{0ex}{0ex}}$ are in strictly descending order of strength. (shrink)

According to the analysis of concessive conditionals suggested by Crupi and Iacona, a concessive conditional \(p{{\,\mathrm{\hookrightarrow }\,}}q\) is adequately formalized as a conjunction of conditionals. This paper presents a sound and complete axiomatic system for concessive conditionals so understood. The soundness and completeness proofs that will be provided rely on a method that has been employed by Raidl, Iacona, and Crupi to prove the soundness and completeness of an analogous system for evidential conditionals.