We consider of constructing normal ultrafilters in extensions are here Easton support iterations of Prikry-type forcing notions. New ways presented. It turns out that, in contrast with other supports, seemingly unrelated measures or extenders can be involved here.

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 41.4 (2003) 559-560 [Access article in PDF] Elmar J. Kremer and Michael J. Latzer, editors. The Problem of Evil in Early Modern Philosophy. Toronto: University of Toronto Press, 2001. Pp. vi + 179. Cloth, $60.00. What can be added to classical defenses of the problem of evil? Did Voltairenotrelieve us from taking seriously the theodicies of early modern thinkers in Candide when Pangloss (...) avers that spectacles exist because noses were made to support them? Do we not rightfully regard Malebranche's ingenious appeal to God's simplicity and uniformity to explain malformed offspring as little more than a curiosity? Yet, the editors of this volume claim that the "theodicy problem was no mere idle puzzle of dogmatics, but a problem of immense social significance, a problem which cut to the heart of the philosophical and theological projects of the very best minds of the age" (5). Several essays in this volume bear out the editors' claim, and to a modern reader, show how the problem of evil was intricately woven into the philosophical ideas of early modern thought.The problem of evil is especially acute for many of the seventeenth-century authors surveyed in this volume who held that God is the total and efficient cause of the universe. God's constant involvement in physical events meant that defects, deformities, and natural disasters fell into the framework of the traditional problem of evil. Hence, physical evil became the preoccupation of natural philosophers and theologians alike. We learn that Leibniz, Malebranche, and Spinoza chose to limit God's will rather than His wisdom, whereas Descartes opted to limit God's wisdom. The odd man out is Bayle who crafted a third position that emphasized God's benevolence at the expense of His wisdom and will.The essays found in this volume are just a sampling of views in the period, but it is more than a good start. Freddoso's essay on Francisco Suarez sets the tone for the problem of explaining the causal origin of human evil. Freddoso shows how Suarez distinguished concurrent from original causes in order to credit God for His supreme causal role yet absolved Him of blame for the existence of moral defectiveness. Latzer, in his essay on Rene Descartes, perhaps overstates the case in attributing to Descartes a theodicy grander than that of Leibniz, but he draws on the Fourth Meditation account of error to provide a plausible and nuanced reconstruction of his views on evil.There are two essays on Baruch Spinoza. Hunter's essay lays out an argument for Spinoza as a radical Christian reformer touching on Spinoza's views on providence. Nadler notes in his essay that Spinoza ought to have rejected the whole question of theodicy as incoherent, but shows how the matter is a good deal more complicated. Nadler then introduces us to the Medieval Jewish tradition, from which Spinoza is said to have drawn his views leading to a denial of personal immortality. [End Page 559]Moreau's essay on Nicholas Malebranche is rich in historical context and philosophical interpretation. Malebranche is shown to be a critical and original thinker on the problem of evil. Moreau lauds Malebranche's philosophical and moral courage in his bold assertion that physical evil is not a negation but rather a real phenomenon requiring explanation.Larivière and Lennon argue that Bayle held a third position rarely seen in the period: that God's benevolence trumps considerations of both His wisdom and will. Bayle develops a "moral solution" to the problem of evil wherein God's benevolence requires that humans possess an autonomy of conscience whose exercise makes error and heresy morally possible and justifiable.The final three essays in the volume rightly focus on aspects of Leibniz's response to the problem of evil. Kremer shows how, in the case of Leibniz's treatment of the fate of infants who die unbaptized, Leibniz abandons the Augustinian approach to the problem of evil and calculates the fate of all creatures on the basis of what produces... (shrink)

Women are currently under-represented in academic philosophy. This paper first considers ways in which the competitive atmosphere of philosophy might help explain this lack of diversity. For example, women are stereotyped as less competitive and as less capable of exhibiting what are considered ‘winning behaviours’ in philosophy, leading to a more stressful, less rewarding experience; lower assessments of merit by themselves and others; and potential under-performance. Second, this paper draws out the implications of this discussion for high school philosophy competitions. (...) Are these competitions likely to further exacerbate existing trends of representation, by associating philosophy with competition and winning? I argue that the way that these philosophy competitions are set up, as friendly, low-stakes team events, rewarding attributes that are ‘stereotypically female’, mean that these events are likely to support, rather than damage, diversity in the discipline. Indeed, there are reasons to think that these events form an important part of an image-change that is required for philosophy if it is to become a more diverse discipline at university-level and beyond. I finish by offering a series of practical recommendations for high school philosophy competitions, in light of the aim of increasing diversity in academic philosophy, but also with the more immediate aim of making these competitions inclusive, enjoyable events for everyone. (shrink)

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...) preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Previous research suggests that individuals diagnosed with morbid jealousy have jealousy mechanisms that are activated at lower thresholds than individuals with normal jealousy, but that these mechanisms produce behavior that is similar to individuals with normal jealousy. We extended previous research documenting these similarities by investigating sex differences in partner-directed violence committed by individuals diagnosed with morbid jealousy. The results support some of our predictions. For example, a greater percentage of men than women diagnosed with morbid jealousy used physical (...) violence, attempted to kill, and actually killed their partners, and used their hands rather than an object to kill their partners. These results replicate results generated for individuals with normal jealousy. Discussion addresses implications of the current research and highlights directions for future research on the psychology of morbid jealousy. (shrink)

Using focus groups, this small-scale, qualitative study investigated the way that students tend to think about religious truth-claims as compared to other types of truth-claim. All the student participants conceived of religious truth-claims as ‘opinions’, to be contrasted with the certain, indisputable ‘facts’ of science. For many students, it was the lack of empirical verification, as well as the existence of disagreement, which meant religious beliefs were relegated to this position. If these findings are generalisable, then there are implications for (...) the ongoing theoretical dispute over the extent to which truth should be a focus in religious education. The tendency for students to see religious claims as subjective lends support for a critical pedagogy that places evaluation of truth centre-stage. The findings also suggest a need for religious education and science teachers to include more reflection on the nature of the scientific method in their schemes of work in order to dispel the myths of unanimity and certainty in science. (shrink)

Ethical codes help guide the methods of research that involves samples gathered from ?at-risk? populations. The current article reviews general as well as specific ethical principles related to gathering informed consent from partner violent offenders mandated to outpatient treatment, a group that may be at increased risk of unintentional coercion in behavioral sciences research due to court mandates that require outpatient treatment without the ethical protections imbued upon prison populations. Recommendations are advanced to improve the process of informed consent within (...) this special population and data supporting the utility of the recommendations in a sample 70 partner violent offenders are provided. Data demonstrate that participants were capable of comprehending all essential elements of consent. (shrink)

This is a timely book in its central theme, appearing as it does in the midst of the bicentennial celebration of the U. S. Constitution and also a time of spirited controversy over the substance of the Constitution in relation to the Supreme Court and the Executive. It is also a philosophical book of more permanent interest in its careful elucidation of meanings as it closely documents supporting grounds and arguments in a clear, pointed style without the preachy rhetoric of (...) politicians, ecclesiastics, and even Supreme Court decisions. In motivation and achievement the book reflects its author’s membership on the national board of the American Civil Liberties Union chairing its Church-State Committee, his work as Professor of Social Ethics at St. Paul School of Theology, and his previous publications on education and the politics of liberation. (shrink)

For n<ω, we say that theΠn1-reflection principle holds at κ and write Refln if and only if κ is a Πn1-indescribable cardinal and every Πn1-indescribable subset of κ has a Πn1-indescribable proper initial segment. The Πn1-reflection principle Refln generalizes a certain stationary reflection principle and implies that κ is Πn1-indescribable of order ω. We define a forcing which shows that the converse of this implication can be false in the case n=1; that is, we show that κ being Π11-indescribable of (...) order ω need not imply Refl1. Moreover, we prove that if κ is -weakly compact where α<κ+, then there is a forcing extension in which there is a weakly compact set W⊆κ having no weakly compact proper initial segment, the class of weakly compact cardinals is preserved and κ remains -weakly compact. We also formulate several open problems and highlight places in which standard arguments seem to break down. (shrink)

Any finite support iteration of posets with precalibre ℵ 1 which has the length of cofinality greater than ω 1 yields a model for the dual Borel conjecture in which the real line is covered by ℵ 1 strong measure zero sets.

REF is the statement that every stationary subset of a cardinal reflects, unless it fails to do so for a trivial reason. The main theorem, presented in Sect. 0, is that under suitable assumptions it is consistent that REF and there is a κ which is κ+n -supercompact. The main concepts defined in Sect. 1 are PT, which is a certain statement about the existence of transversals, and the “bad” stationary set. It is shown that supercompactness (and even the failure (...) of PT) implies the existence of non-reflecting stationary sets. E.g., if REF then for manyλ ⌝ PT(λ, ℵ1). In Sect. 2 it is shown that Easton-support iteration of suitable Levy collapses yield a universe with REF if for every singular λ which is a limit of supercompacts the bad stationary set concentrates on the “right” cofinalities. In Sect. 3 the use of oracle c.c. (and oracle proper—see [Sh-b, Chap. IV] and [Sh 100, Sect. 4]) is adapted to replacing the diamond by the Laver diamond. Using this, a universe as needed in Sect. 2 is forced, where one starts, and ends, with a universe with a proper class of supercompacts. In Sect. 4 bad sets are handled in ZFC. For a regular λ {δ<+ : cfδ<λ} is good. It is proved in ZFC that ifλ=cfλ>ℵ1 then {α<+ : cfα<λ} is the union of λ sets on which there are squares. (shrink)

This article continues Rosłanowski and Shelah (Int J Math Math Sci 28:63–82, 2001; Quaderni di Matematica 17:195–239, 2006; Israel J Math 159:109–174, 2007; 2011; Notre Dame J Formal Logic 52:113–147, 2011) and we introduce here a new property of (<λ)-strategically complete forcing notions which implies that their λ-support iterations do not collapse λ + (for a strongly inaccessible cardinal λ).

We prove two general results about the preservation of extendible and $C^{(n)}$ -extendible cardinals under a wide class of forcing iterations (Theorems 5.4 and 7.5). As applications we give new proofs of the preservation of Vopěnka’s Principle and $C^{(n)}$ -extendible cardinals under Jensen’s iteration for forcing the GCH [17], previously obtained in [8, 27], respectively. We prove that $C^{(n)}$ -extendible cardinals are preserved by forcing with standard Easton-support iterations for any possible $\Delta _2$ -definable behaviour of the (...) power-set function on regular cardinals. We show that one can force proper class-many disagreements between the universe and HOD with respect to the calculation of successors of regular cardinals, while preserving $C^{(n)}$ -extendible cardinals. We also show, assuming the GCH, that the class forcing iteration of Cummings–Foreman–Magidor for forcing $\diamondsuit _{\kappa ^+}^+$ at every $\kappa $ [10] preserves $C^{(n)}$ -extendible cardinals. We give an optimal result on the consistency of weak square principles and $C^{(n)}$ -extendible cardinals. In the last section prove another preservation result for $C^{(n)}$ -extendible cardinals under very general (not necessarily definable or weakly homogeneous) class forcing iterations. As applications we prove the consistency of $C^{(n)}$ -extendible cardinals with $\mathrm {{V}}=\mathrm {{HOD}}$, and also with $\mathrm {GA}$ (the Ground Axiom) plus $\mathrm {V}\neq \mathrm {HOD}$, the latter being a strengthening of a result from [14]. (shrink)

The weakly compact reflection principle\\) states that \ is a weakly compact cardinal and every weakly compact subset of \ has a weakly compact proper initial segment. The weakly compact reflection principle at \ implies that \ is an \-weakly compact cardinal. In this article we show that the weakly compact reflection principle does not imply that \ is \\)-weakly compact. Moreover, we show that if the weakly compact reflection principle holds at \ then there is a forcing extension preserving (...) this in which \ is the least \-weakly compact cardinal. Along the way we generalize the well-known result which states that if \ is a regular cardinal then in any forcing extension by \-c.c. forcing the nonstationary ideal equals the ideal generated by the ground model nonstationary ideal; our generalization states that if \ is a weakly compact cardinal then after forcing with a ‘typical’ Easton-support iteration of length \ the weakly compact ideal equals the ideal generated by the ground model weakly compact ideal. (shrink)

We give some applications of mixed support forcing iterations to the topics of disjoint stationary sequences and internally approachable sets. In the first half of the paper we study the combinatorial content of the idea of a disjoint stationary sequence, including its relation to adding clubs by forcing, the approachability ideal, canonical structure, the proper forcing axiom, and properties related to internal approachability. In the second half of the paper we present some consistency results related to these ideas. We (...) construct a model in which a disjoint stationary sequence exists at the successor of an arbitrary regular uncountable cardinal. We also construct models in which the properties of being internally stationary, internally club, and internally approachable are distinct. (shrink)

We show that many countable support iterations of proper forcings preserve Souslin trees. We establish sufficient conditions in terms of games and we draw connections to other preservation properties. We present a proof of preservation properties in countable support iterations in the so-called Case A that does not need a division into forcings that add reals and those who do not.

We show that under certain large cardinal requirements there is a generic extension in which the power function behaves differently on different stationary classes. We achieve this by doing an Easton support iteration of the Radin on extenders forcing.

We reprove Gitik's theorem that if the GCH holds and o(κ) = κ + 1 then there is a generic extension in which κ is still measurable and there is a closed unbounded subset C of κ such that every $\nu \in C$ is inaccessible in the ground model. Unlike the forcing used by Gitik. the iterated forcing $R_{\lambda +1}$ used in this paper has the property that if λ is a cardinal less then κ then $R_{\lambda + 1}$ can (...) be factored in V as $R_{\kappa + 1} = R_{\lambda + 1} \times R_{\lambda + 1, \kappa}$ where $\mid R_{\lambda +1}\mid \leq \lambda^+$ and $R_{\lambda + 1, \kappa}$ does not add any new subsets of λ. (shrink)

We reprove Gitik’s theorem that if the GCH holds and $o=\gk+1$ then there is a generic extension in which $\gk$ is still measurable and there is a closed unbounded subset C of $\gk$ such that every $ν\in C$ is inaccessible in the ground model. Unlike the forcing used by Gitik, the iterated forcing $\radin\gl+1$ used in this paper has the property that if $\gl$ is a cardinal less then $\gk$ then $\radin\gl+1$ can be factored in V as $\radin\gk+1=\radin\gl+1\times\radin\gl+1,\gk$ where $\card{\radin\gl+1}\le\gl+$ (...) and $\radin\gl+1,\gk$ does not add any new subsets of $\gl$. (shrink)

We introduce the Easton collapse and show that the two-stage iteration of Easton collapses gives a model in which the successor of a regular cardinal carries a strongly saturated filter. This allows one to get a model in which many successor cardinals carry saturated filters just by iterating Easton collapses.

Brouwer’s view on induction has relatively recently been characterised as one on which it is not only intuitive (as expected) but functional, by van Dalen. He claims that Brouwer’s ‘Ur-intuition’ also yields the recursor. Appealing to Husserl’s phenomenology, I offer an analysis of Brouwer’s view that supports this characterisation and claim, even if assigning the primary role to the iterator instead. Contrasts are drawn to accounts of induction by Poincaré, Heyting, and Kreisel. On the phenomenological side, the analysis provides an (...) alternative to that in Tieszen’s Mathematical Intuition, and confirms a view of Gödel on his Dialectica Interpretation. (shrink)

I prove several natural preservation theorems for the countable support iteration. This solves a question of Rosłanowski regarding the preservation of localization properties and greatly simplifies the proofs in the area.

Relative to a hyperstrong cardinal, it is consistent that measure one covering fails relative to HOD. In fact it is consistent that there is a superstrong cardinal and for every regular cardinal κ, κ + is greater than κ + of HOD. The proof uses a very general lemma showing that homogeneity is preserved through certain reverse Easton iterations.

Let T be an $\omega_{1}-Souslin$ tree. We show the property of forcing notions; "is $\lbrace\omega_{1}\rbrace-semi-proper$ and preserves T" is preserved by a new kind of revised countable support iteration of arbitrary length. As an application we have a forcing axiom which is compatible with the existence of an $\omega_{1}-Souslin$ tree for preorders as wide as possible.

Iterated conditionals of the form If p, then if q, r are an important topic in philosophical logic. In recent years, psychologists have gained much knowledge about how people understand simple conditionals, but there are virtually no published psychological studies of iterated conditionals. This paper presents experimental evidence from a study comparing the iterated form, If p, then if q, r with the “imported,” noniterated form, If p and q, then r, using a probability evaluation task and a truth‐table task, (...) and taking into account qualitative individual differences. This allows us to critically contrast philosophical and psychological approaches that make diverging predictions regarding the interpretation of these forms. The results strongly support the probabilistic Adams conditional and the “new paradigm” that takes this conditional as a starting point. (shrink)

We consider a classM of Boolean algebras with strictly positive, finitely additive measures. It is shown thatM is closed under iterations with finite support and that the forcing via such an algebra does not destroy the Lebesgue measure structure from the ground model. Also, we deduce a simple characterization of Martin's Axiom reduced to the classM.

The prequel to this paper introduced the topic of iteration principles in epistemology and surveyed some arguments in support of them. In this sequel, I'll consider two influential families of objection to iteration principles. The first turns on the idea that they lead to some variety of skepticism, and the second turns on ‘margin for error’ considerations adduced by Timothy Williamson.

Iterated conditionals of the form If p, then if q, r are an important topic in philosophical logic. In recent years, psychologists have gained much knowledge about how people understand simple conditionals, but there are virtually no published psychological studies of iterated conditionals. This paper presents experimental evidence from a study comparing the iterated form, If p, then if q, r with the “imported,” noniterated form, If p and q, then r, using a probability evaluation task and a truth-table task, (...) and taking into account qualitative individual differences. This allows us to critically contrast philosophical and psychological approaches that make diverging predictions regarding the interpretation of these forms. The results strongly support the probabilistic Adams conditional and the “new paradigm” that takes this conditional as a starting point. (shrink)

We work out the details of a schema for a mixed support forcing iteration, which generalizes the Mitchell model [7] with no Aronszajn trees on ω2.

The iterative conception of set commonly is regarded as supporting the axioms of Zermelo-Fraenkel set theory (ZF). This paper presents a modified version of the iterative conception of set and explores the consequences of that modified version for set theory. The modified conception maintains most of the features of the iterative conception of set, but allows for some non-wellfounded sets. It is suggested that this modified iterative conception of set supports the axioms of Quine's set theory NF.

The present paper argues that there is a knowledge norm for conversational implicature: one may conversationally implicate p only if one knows p. Linguistic data about the cancellation behavior of implicatures and the ways they are challenged and criticized by speakers is presented to support the thesis. The knowledge norm for implicature is then used to present a new consideration in favor of the KK thesis. It is argued that if implicature and assertion have knowledge norms, then assertion requires (...) not only knowledge but iterated knowledge: knowing that you know that you know that... you know. Such a condition on permissible assertion is argued to be plausible only if the KK thesis is true. (shrink)

This manuscript investigates fixed point of single-valued Hardy-Roger’s type F -contraction globally as well as locally in a convex b -metric space. The paper, using generalized Mann’s iteration, iterates fixed point of the abovementioned contraction; however, the third axiom of the F -contraction is removed, and thus the mapping F is relaxed. An important approach used in the article is, though a subset closed ball of a complete convex b -metric space is not necessarily complete, the convergence of the (...) Cauchy sequence is confirmed in the subset closed ball. The results further lead us to some important corollaries, and examples are produced in support of our main theorems. The paper most importantly presents application of our results in finding solution to the integral equations. (shrink)

We give a simplified treatment of revised countable support (RCS) forcing iterations, previously considered by Shelah (see [Sh, Chap. X]). In particular we prove the fundamental theorem of semi-proper forcing, which is due to Shelah: any RCS iteration of semi-proper posets is semi-proper.

There is wide support in logic, philosophy, and psychology for the hypothesis that the probability of the indicative conditional of natural language, P(if A then B), is the conditional probability of B given A, P(B|A). We identify a conditional which is such that P(if A then B)=P(B|A) with de Finetti's conditional event, B|A. An objection to making this identification in the past was that it appeared unclear how to form compounds and iterations of conditional events. In this paper, we (...) illustrate how to overcome this objection with a probabilistic analysis, based on coherence, of these compounds and iterations. We interpret the compounds and iterations as conditional random quantities which, given some logical dependencies, may reduce to conditional events. We show how the inference to B|A from A and B can be extended to compounds and iterations of both conditional events and biconditional events. Moreover, we determine the respective uncertainty propagation rules. Finally, we make some comments on extending our analysis to counterfactuals. (shrink)

The Theme. Strong forcing axioms like Martin’s Maximum give a reasonably satisfactory structural analysis of $H(\omega _2)$. A broad program in modern Set Theory is searching for strong forcing axioms beyond $\omega _1$. In other words, one would like to figure out the structural properties of taller initial segments of the universe. However, the classical techniques of forcing iterations seem unable to bypass the obstacles, as the resulting forcings axioms beyond $\omega _1$ have not thus far been strong enough! However, (...) with his celebrated work on generalised side conditions, I. Neeman introduced us to a novel paradigm to iterate forcings. In particular, he could, among other things, reprove the consistency of the Proper Forcing Axiom using an iterated forcing with finite supports. In 2015, using his technology of virtual models, Veličković built up an iteration of semi-proper forcings with finite supports, hence reproving the consistency of Martin’s Maximum, an achievement leading to the notion of a virtual model.In this thesis, we are interested in constructing forcing notions with finitely many virtual models as side conditions to preserve three uncountable cardinals. The thesis constitutes six chapters and three appendices that amount to 118 pages, where Section 1 is devoted to preliminaries, and Section 2 is a warm-up about the scaffolding poset of a proper forcing. In Section 3, we present the general theory of virtual models in the context of forcing with sets of models of two types, where we, e.g., define the “meet” between two virtual models and prove its properties.The main results are joint with Boban Veličković, and partly appeared in Guessing models and the approachability ideal, J. Math. Log. 21 (2021).Pure Side Conditions. In Section 4, we use two types of virtual models (countable and large non-transitive ones induced by a supercompact cardinal, which we call Magidor models) to construct our forcing with pure side conditions. The forcing covertly uses a third type of models that are transitive. We also add decorations to the conditions to add many clubs in the generic $\omega _2$. In contrast to Neeman’s method, we do not have a single chain, but $\alpha $ -chains, for an ordinal $\alpha $ with $V_\alpha \prec V_\lambda $. Thus, starting from suitable large cardinals $\kappa <\lambda $, we construct a forcing notion whose conditions are finite sets of virtual models described earlier. The forcing is strongly proper, preserves $\kappa $, and has the $\lambda $ -Knaster property. The relevant quotients of the forcing are strongly proper, which helps us prove strong guessing model principles. The construction is generalisable to a ${<}\mu $ -closed forcing, for any given cardinal $\mu $ with $\mu ^{<\mu }=\mu <\kappa $.The Iteration Theorem. In Section 5, we use the forcing with pure side conditions to iterate a subclass of proper and $\aleph _2$ -c.c. forcings and obtain a forcing axiom at the level of $\aleph _2$. The iterable class is closely related to Asperó–Mota’s forcing axiom for finitely proper forcings.Guessing Model Principles. Section 6 encompasses the main parts of the thesis. We prove the consistency of the guessing principle $\mathrm {GMP}^+(\omega _3,\omega _1)$ that states for any cardinal ${\theta \geq \omega _3}$, the set of $\aleph _2$ -sized elementary submodels M of $H(\theta )$, which are the union of an $\omega _1$ -continuous $\in $ -chain of $\omega _1$ -guessing, I.C. models is stationary in $\mathcal P_{\omega _3}(H(\theta ))$. The consistency and consequences of this principle are demonstrated in the following diagram. We also prove that one can obtain the above guessing models in a way that the $\omega _1$ -sized $\omega _1$ -guessing models remain $\omega _1$ -guessing model in any outer transitive model with the same $\omega _1$, and we denote this principle by $\rm{SGMP}^+(\omega_3,\omega_1)$.In the following diagram, $\mathrm{TP}$ stands for the tree property; $w\mathrm{KH}$ stands for the weak Kurepa Hypothesis; $\mathrm{MP}$ stands for Mitchell property, i.e., the approachability ideal is trivial modulo the nonstationary ideal; $\mathrm{AP}$ stands for the approachability property; $\mathrm {AMTP}(\kappa ^+)$ states that if $2^\kappa <\aleph _{\kappa ^+}$, then every forcing which adds a new subset of $\kappa ^+$ whose initial segments are in the ground model, collapses some cardinal $\leq 2^{\kappa }$. The dotted arrow denotes the relative consistency, while others are logical implications.Appendices. Appendix A includes merely the above diagram. Appendix B presents a proof of the Mapping Reflection Principle with finite conditions under $\mathrm {PFA}$. Appendix C contains open problems. Finally, the thesis’s bibliography consists of 42 items.Abstract prepared by Rahman MohammadpourE-mail: [email protected]: https://theses.hal.science/tel-03209264. (shrink)

In Dynamics of Reason (2001), Michael Friedman uses the example of Galilean rectilinear inertia to support his defense of scientific rationality against post-positivist skepticism. However, Friedman’s treatment of the case is flawed, such that his model of scientific change fails to fit the historical evidence. I present the case of Galileo, showing how it supports Friedman’s view of scientific knowledge, but undermines his view of scientific change. I then suggest reciprocal iteration as an amendment of Friedman’s view that (...) better accounts for scientific change. (shrink)

ABSTRACT Autonomy may be used to justify free speech claims where the right is raised against the state but also to justify state intervention intended to promote autonomy which may entail restraints on others' speech. The appeal to diversity and autonomy may be used by both sides of the pornography and censorship debate. Although autonomy may be invoked in defence of pornography as part of the general defence of free speech, it is argued that autonomy favours the regulation of pornography. (...) The ‘free speech’defence of pornography is critically examined here and an alternative argument advanced for regulation. (shrink)

Designing an ontology that meets the needs of end-users, e.g., a medical team, is critical to support the reasoning with data. Therefore, an ontology design should be driven by the constant and efficient validation of end-users needs. However, there is not an existing standard process in knowledge engineering that guides the ontology design with the required quality. There are several ontology design processes, which range from iterative to sequential, but they fail to ensure the practical application of an ontology (...) and to quantitatively validate end-user requirements through the evolution of an ontology. In this paper, an ontology design process is proposed, which is driven by end-user requirements, defined as Competency Questions. The process is called CQ-Driven Ontology DEsign Process and it includes activities that validate and verify the incremental design of an ontology through metrics based on defined CQs. CODEP has also been applied in the design and development of an ontology in the context of a Mexican Hospital for supporting Neurologist specialists. The specialists were involved, during the application of CODEP, in collecting quality measurements and validating the ontology increments. This application can demonstrate the feasibility of CODEP to deliver ontologies with similar requirements in other contexts. (shrink)

I analyse the 2014 policy to promote 'British values' in schools from the perspective of the two main positions in contemporary liberal theory, comprehensive liberalism and political liberalism. I highlight in what ways comprehensive and political liberal defences of the policy are unsatisfactory, before briefly sketching a possible alternative position – ‘thin comprehensive liberalism’ – and discussing its potential for justifying a substantive education in liberal values. In light of this theoretical perspective, I suggest some ways that the existing British (...) values policy might be amended in practice so as to bring it more in line with the liberal ideal. (shrink)

This paper derives hypotheses on how dyadic social support is affected by heterogeneity of the actors. We distinguish heterogeneity with respect to three parameters. First, the likelihood of needing support; second, the benefits from support relative to the costs for providing support; and, third, time preferences. The hypotheses are based on a game theoretic analysis of an iterated Support Game. We predict that, given homogeneity in two of these parameters, the prospect for mutual support (...) is optimal if actors are homogeneous with respect to the third parameter as well. Second, under heterogeneity with respect to two of the parameters, support is most likely if there is a specific heterogeneous distribution with respect to the other parameter that ‘compensates’ for the original heterogeneity. Third, under weak conditions, the overall optimal condition for mutual support is full homogeneity of the actors. (shrink)

If states are permitted to create and maintain a military force, by what means are they permitted to do so? This paper argues that a theory of just recruitment should incorporate a concern for moral risk. Since the military is a morally risky profession for its members, recruitment policies should be evaluated in terms of how they distribute moral risk within a community. We show how common military recruitment practices exacerbate and concentrate moral risk exposure, using the UK as a (...) case study. We argue that the British state wrongs its citizens by subjecting them to excessively morally risky recruitment practices. Since, we argue, this risk exposure cannot be justified by appealing to the benefits of a military career for recruits, our argument calls for reform of existing practices. Our method of evaluation is generalizable and thus can be used to assess other states’ practices. (shrink)

To stimulate research and innovation (R&I), to contribute to the solution of societal challenges and to align R&I with societal values, the European Commission has launched the governance framework of Responsible Research and Innovation (RRI). RRI figures in many high-level EU policies as a means to promote smart growth, and a growing community of R&I practitioners from both the public and private sectors appears committed to it. Although debates on what RRI precisely entails have not reached closure yet, RRI provides (...) an interesting avenue to explore ways of making R&I more societally germane. While recognizing the usefulness of keeping critical reflection on RRI’s meaning alive, we suggest that to make the step from theorizing to implementation, RRI could benefit from a clearer conceptualization. This chapter presents the iterative trajectory in conceptualizing RRI followed as part of RRI Tools, one of a number of EC-funded research projects and support acts aimed at fleshing out what RRI can and should be, and the conceptualization of RRI that this led to. It suggests that RRI is best captured if in R&I governance attention is paid to the five p’s of Purpose, Products, Processes, Preconditions and People, and that further elaborations on the meaning of RRI should happen in dialogue with attempts at practicing RRI. (shrink)

The present study develops an artificial agent that plays the iterative chicken game based on a computational model that describes human behavior in competitive social interactions in terms of fairness. The computational model we adopted in this study, named as the self-concept fairness model, decides the agent’s action according to the evaluation of fairness of both opponent and self. We implemented the artificial agent in a computer program with a set of parameters adjustable by researchers. These parameters allow researchers to (...) determine the extent to which the agent behaves aggressively or cooperatively. To demonstrate the use of the proposed method for the investigation of human behavior, we performed an experiment in which human participants played the iterative chicken game against the artificial agent. Participants were divided into two groups, each being informed to play with either a person or the computer. The behavioral analysis results showed that the proposed method can induce changes in the behavioral pattern of human players by changing the agent’s behavioral pattern. Also, we found that participants tended to be more sensitive to fairness when they played with a human opponent than with a computer opponent. These results support that the artificial agent developed in this study will be useful to investigate human behavior in competitive social interactions. (shrink)

In computational mathematics, it is a matter of deep concern to recognize which of the given iteration schemes converges quickly with lesser error to the desired solution. Fixed point iterative schemes are constructed to be used for solving equations emerging in many fields of science and engineering. These schemes reformulate a nonlinear equation f s = 0 into a fixed point equation of the form s = g s ; such application determines the solution of the original equation via (...) the support of fixed point iterative method and is subject to existence and uniqueness. In this manuscript, we introduce a new modified family of fixed point iterative schemes for solving nonlinear equations which generalize further recursive methods as particular cases. We also prove the convergence of our suggested schemes. We also consider some of the mathematical models which are categorically nonlinear in essence to authenticate the performance and effectiveness of these schemes which can be seen as an expansion and rationalization of some existing techniques. (shrink)