The most recent studies concerning the compositional structure of Seneca's dialogues all agree in stating that its basic organization is due to rhetorical criteria. From this perspective, the article analyzes the general nature of refutation in Consolatio ad Helviam matrem as well as different passages from the dialogue, traditionally considered to be digressions, in order to establish its functionality. We can see from this that the apparently deliberative tenor of the Consolation is endowed with judicial and epideictic elements, and can (...) thus clarify its compositional sequence and lines of thought. (shrink)

The relationship between killing ideals and adding reals by forcings is analysed.

We investigate the behavior of cardinal characteristics of the reals under extensions that do not add new [Formula: see text]-sequences (for some regular [Formula: see text]). As an application, we show that consistently the following cardinal characteristics can be different: The (“independent”) characteristics in Cichoń’s diagram, plus [Formula: see text]. (So we get thirteen different values, including [Formula: see text] and continuum). We also give constructions to alternatively separate other MA-numbers (instead of [Formula: see text]), namely: MA for [Formula: (...) see text]-Knaster from MA for [Formula: see text]-Knaster; and MA for the union of all [Formula: see text]-Knaster forcings from MA for precaliber. (shrink)

We study the cardinal invariants of measure and category after adding one random real. In particular, we show that the number of measure zero subsets of the plane which are necessary to cover graphs of all continuous functions may be large while the covering for measure is small.

The notion of an entangled linear order gives a useful method to construct counter examples for such problems as the productivity of chain conditions, the square bracket partition relation and the existence of a large size monotonic subfunction. In particular, if there exists and ℵ1-entangled linear order then some consequences ofMA ℵ 1 or of wOCA fail. So, in which model ofZFC does an ℵ1-entangled linear order exist? Todorcevic [6] has shown if cf2ℵ 0=ω1 then there is an ℵ1-entangled linear (...) order of size ℵ1. And it is widely known that adding κ many Cohen reals adds such a linear order of size κ. In this note it is shown that adding asingle Cohen real is sufficient to get a maximal size ℵ1-entangled linear order. (shrink)

We show that assuming the determinacy of all games on reals, every set of reals is \ universally baire.

We prove that if $$\mathcal {A}$$ A is an infinite Boolean algebra in the ground model V and $$\mathbb {P}$$ P is a notion of forcing adding any of the following reals: a Cohen real, an unsplit real, or a random real, then, in any $$\mathbb {P}$$ P -generic extension V[G], $$\mathcal {A}$$ A has neither the Nikodym property nor the Grothendieck property. A similar result is also proved for a dominating real and the Nikodym property.

Background Ethical conflicts generate difficulties in daily clinical activity. Which methods of ethical advice are most frequently used to resolve them among Spanish doctors has not been studied. The objective of this study is to describe what methods hospital internal medicine physicians in Spain use to resolve their ethical doubts and which they consider most useful. Design A cross-sectional observational study was conducted through a voluntary and anonymous survey and distributed through an ad hoc platform of the Spanish Society of (...) Internal Medicine. Measures We measured methods by which to resolve doubts, types of tools sought, frequency of consulting the Clinical Ethics Committees, and satisfaction with resolution of ethical issues. Results Of 261 internists surveyed, 86 per cent resolve their ethical doubts with assistance, the most frequently used method being consultation with colleagues (58.6 per cent), followed by using specific protocols or guides (11.8 per cent) and consultation with experts in bioethics (9.6 per cent). The most preferred tools are the creation of protocols (30.3 per cent) and the establishment of a consultant/expert in bioethics (27.8 per cent). Conclusions Internists in Spain usually seek assistance to resolve their ethical doubts. Consulting colleagues is the most frequently adopted method. The majority regard tools to resolve ethical conflicts as necessary, seeking above all protocols and consultants/experts in bioethics. (shrink)

RÉSUMÉ : J’affirme que les normes sémantiques, y compris les normes mathématiques pour l’addition, sont réelles. Ces normes sont régies par des pratiques sociales d’attribuer aux autres et d’entreprendre soi-même la signification, et cet aspect sociale obscurci l’objectivité des normes. L’attribution par Kripke d’un paradoxe sceptique, quant à la possibilité de suivre une règle, relève d’une conception de la normativité selon laquelle les pratiques sociales sont insuffisantes pour autoriser les normes sémantiques. Or, une conception de la normativité qui prend comme (...) point de départ que les êtres humains font partie du monde, détrône cette idée fausse ainsi que le scepticisme sémantique qu’elle soutien. (shrink)

Real Life Bully Prevention For Real Kids addresses the pervasive problem of bullying by offering students hands-on activities. Teachers will want to use this book in their classrooms with their students as part of the school’s anti-bullying curriculum. As an added bonus, the activities reinforce English/language arts, social studies, and health education curricular goals. Counselors, therapists, and school administrators can also use the activities in large and small group instruction. Additionally, leaders of after-school programs and youth leadership programs, such as (...) scouting, dramatics classes, and religious education classes, will find the activities helpful in addressing their bully prevention programs. Each activity contains a description, goals for children, and helpful hints for adults to guide their youngsters through the program. (shrink)

This paper provides a typology of appeals to authority, identifying three distinct types: that which is based on a command; that which is based on expertise; and that which is based on dignity. Each type is distinguished with respect to the reaction that a failure to follow it ordinarily evokes. The rhetorical roots of Locke's ad verecundiam are traced to the rhetorical practices of ancient Rome.

We introduce a new method for building models of [Formula: see text], together with [Formula: see text] statements over [Formula: see text], by forcing. Unlike other forcing constructions in the literature, our construction adds new reals, although only [Formula: see text]-many of them. Using this approach, we build a model in which a very strong form of the negation of Club Guessing at [Formula: see text] known as [Formula: see text] holds together with [Formula: see text], thereby answering a (...) well-known question of Moore. This construction can be described as a finite-support weak forcing iteration with side conditions consisting of suitable graphs of sets of models with markers. The [Formula: see text]-preservation is accomplished through the imposition of copying constraints on the information carried by the condition, as dictated by the edges in the graph. (shrink)

The extent to which we generalize a novel property from a sample of familiar instances to novel instances depends on the sample composition. Previous property induction experiments have only used samples consisting of novel types (unique entities). Because real‐world evidence samples often contain redundant tokens (repetitions of the same entity), we studied the effects on property induction of adding types and tokens to an observed sample. In Experiments 1–3, we presented participants with a sample of birds or flowers known (...) to have a novel property and probed whether this property generalized to novel items varying in similarity to the initial sample. Increasing the number of novel types (e.g., new birds with the target property) in a sample produced tightening, promoting property generalization to highly similar stimuli but decreasing generalization to less similar stimuli. On the other hand, increasing the number of tokens (e.g., repeated presentations of the same bird with the target property) had little effect on generalization. Experiment 4 showed that repeated tokens are encoded and can benefit recognition, but appear to be given little weight when inferring property generalization. We modified an existing Bayesian model of induction (Navarro, Dry, & Lee, 2012) to account for both the information added by new types and the discounting of information conveyed by tokens. (shrink)

The theory of infinite games with slightly imperfect information has been developed for games with finitely and countably many moves. In this paper, we shift the discussion to games with uncountably many possible moves, introducing the axiom of real Blackwell determinacy \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{Bl-AD}_\mathbb{R}}$$\end{document} (as an analogue of the axiom of real determinacy \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{AD}_\mathbb{R}}$$\end{document}). We prove that the consistency strength of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} (...) \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{Bl-AD}_\mathbb{R}}$$\end{document} is strictly greater than that of AD. (shrink)

This paper introduces the real core model K() and determines the extent of scales in this inner model. K() is an analog of Dodd-Jensen's core model K and contains L(), the smallest inner model of ZF containing the reals R. We define iterable real premice and show that Σ1∩() has the scale property when vR AD. We then prove the following Main Theorem: ZF + AD + V = K() DC. Thus, we obtain the Corollary: If ZF + AD (...) +()L() is consistent, then ZF + AD + DC + α < ω2 -AD is also consistent. (shrink)

A real number is recursively approximable if there is a computable sequence of rational numbers converging to it. If some extra condition to the convergence is added, then the limit real number might have more effectivity. In this note we summarize some recent attempts to classify the recursively approximable real numbers by the convergence rates of the corresponding computable sequences ofr ational numbers.

The doctrine that Christ is really present in the Eucharist appears to entail that Christ's body is not only multiply located but present in different ways at different locations. Moreover, the doctrine poses an even more difficult meta-question: what makes a theological explanation of the Eucharist a ‘real presence’ account? Aquinas's defence of transubstantiation, perhaps the paradigmatic account, invokes Aristotelian metaphysics and the machinery of Scholastic philosophy. My aim is not to produce a ‘rational reconstruction’ of his analysis but rather (...) to suggest a metaphysically innocent alternative that will ‘save the phenomena’ of religious belief and practice.Send article to KindleTo send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.The real presenceVolume 49, Issue 1H. E. BABER DOI: https://doi.org/10.1017/S0034412512000121Your Kindle email address Please provide your Kindle email.@free.kindle.com@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. The real presenceVolume 49, Issue 1H. E. BABER DOI: https://doi.org/10.1017/S0034412512000121Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. The real presenceVolume 49, Issue 1H. E. BABER DOI: https://doi.org/10.1017/S0034412512000121Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation Request permission. (shrink)

As a way to make medical decisions, Evidence-Based Medicine (EBM) has failed. EBM's failure arises from not being founded on real-world decision-making. EBM aspires to a scientific standard for the best way to treat a disease and determine its cause, but it fails to recognise that the scientific method is inapplicable to medical and other real-world decision-making. EBM also wrongly assumes that evidence can be marshaled and applied according to an hierarchy that is determined in an argument by authority to (...) the method by which it has been obtained. If EBM had valid theoretical, practical or empirical foundations, there would be no hierarchy of evidence. In all real-world decision-making, evidence stands or falls on its inherent reliability. This has to be and can only be assessed on a case-by-case basis applying understanding and wisdom against the background of all available facts—the "factual matrix." EBM's failure is structural and was inevitable from its inception. EBM confuses the inherent reliability and probative value of evidence with the means by which it is obtained. -/- EBM is therefore an ad hoc construct and is not a valid basis for medical decision-making. This is further demonstrated by its exclusion of relevant scientific and probative real-world decision-making evidence and processes. It draws upon a narrow evidence base that is itself inherently unreliable. It fails to take adequate account of the nature of causation, the full range of evidence relevant to its determination, and differing approaches to determining cause and effect in real-world decision-making. EBM also makes a muddled attempt to emulate the scientific method and it does not acknowledge the role of experience, understanding and wisdom in making medical decisions. (shrink)

In developing a new theory of vision in Ad Vitellionem paralipomena Kepler introduced a new optical concept, pictura, which is an image projected on to a screen by a camera obscura. He distinguished this pictura from an imago, the traditional image of medieval optics that existed only in the imagination. By the 1670s a new theory of optical imagery had been developed, and Kepler's pictura and imago became real and virtual images, two aspects of a unified concept of image. The (...) new concept of image developed out of a synthesis of Kepler's determination of the geometrical location of a pictura as the limit, or focus, of refracted pencils of rays and the triangulation used by a single eye to determine the perceived location of an imago. The distinction between real and imaginary images was largely developed by Gilles Personne de Roberval and the Jesuits Francesco Eschinardi and Claude François Milliet Dechales. (shrink)

It is shown that the determinacy of $G_{\delta \sigma }$ games of length $\omega ^2$ is equivalent to the existence of a transitive model of ${\mathsf {KP}} + {\mathsf {AD}} + \Pi _1\textrm {-MI}_{\mathbb {R}}$ containing $\mathbb {R}$. Here, $\Pi _1\textrm {-MI}_{\mathbb {R}}$ is the axiom asserting that every monotone $\Pi _1$ operator on the real numbers has an inductive fixpoint.

The main finding of a comprehensive empirical research project on the intersubjective acceptability of the pragma-dialectical discussion rules (Van Eemeren, Garssen & Meuffels, 2009) is that ordinary language users judge discussion moves that are considered fallacious from an argumentation-theoretical perspective as unreasonable. In light of this finding it is remarkable that in everyday argumentative discourse fallacies occur regularly and seem many times not to be noticed by the participants in the discourse. This also goes for the abusive argumentum ad hominem. (...) While abusive ad hominem attacks are judged to be very unreasonable discussion moves when the unreasonableness of clear cases of this fallacy is rated in experiments, in real life this fallacy remains undetected more often than not. In this paper it is argued that this paradox can be explained by analysing abusive ad hominem attacks as a mode of strategic manoeuvring which takes on a reasonable appearance in real life situations when it mimics, as it often does, legitimate critical reactions to authority argumentation. The hypothesis that abusive fallacies are seen as less unreasonable when they are presented as if they are critical questions pertaining to the argument scheme for authority argumentation than when they are clear cases was tested systematically in two experiments. The results of these experiments confirmed the hypothesis. (shrink)

The idea that two objects can coincide—by sharing all their proper parts, or matter—yet be non-identical, results in the “Problem of Coincident Objects”: in what relation do objects stand if they are not identical but share all their proper parts? One solution is to introduce material constitution. In this paper, I argue that this is ad hoc since, first, this solution cannot be generalized to solve similar problems, and, second, there are pseudo cases of coincidence that should not trigger the (...) introduction of material constitution and these cannot be distinguished in any principled way from the allegedly real cases of coincidence. (shrink)

Critical thinking instructors are faced with an overwhelming number of textbooks to choose from for their courses. Many of these texts do not reflect an awareness of current scholarship in critical thinking and informal logic. I argue that instructors should only adopt textbooks that reflect a sound theoretical understanding of the topic by acknowledging the central role of critical thinking dispositions, offering a more nuanced approach to the teaching of fallacies and of inference, stressing dialectic and argument revision, focusing on (...) the analysis and evaluation of real arguments, and broadening the scope of critical thinking beyond argument analysis and evaluation. To support instructors in this regard, I critique one popular textbook now in its sixth edition that does not satisfy many of these criteria, Munson and Black (2012), and applaud one new textbook that I find does succeed on many of these fronts, Bailin and Battersby (2010). (shrink)

This article seeks to extend existing models of argumentation by considering an important dimension of real-life argumentative discourse: how complex argumentative discussions evolve over time. We define a complex argumentative discussion as a multi-issue discussion, in which the different issues are interrelated in the form of a hierarchy. We claim that justified reframing might be used to transform a single-issue argumentative discussion into a complex argumentative discussion. To illustrate this, we examine the Facebook discourse of the Rhodes Must Fall movement (...) in South Africa. We analyse how reframing is justified by means of arguments, allowing the protagonists to claim as legitimate their reframing of a single issue into a complex argumentative discussion. Our findings complement existing sociological research on social movements by highlighting how their goals are achieved by means of argumentative discourse. (shrink)

Buildings account for 40-odd percent of energy use, 25% of water consumption and one-third of global greenhouse gas emissions. With such a staggering impact, real estate holds tremendous economic, social and environmental potentialities for the global development agenda. This chapter intends to provide an overview of sustainable real estate in the Middle East by focusing on the state of the industry and identifying the challenges faced by the region. Finally, the trends shaping the future of sustainable real estate are discussed. (...) In conclusion, the initiatives put forth so far have been on an ad hoc rather than systematic basis and the Middle East sustainable real estate industry is still in an incipient state. (shrink)

En este artículo se analiza el significado simbólico del petroglifo de Los Aulagares, en Zalamea la Real. Éste se explica como el resultado de varias rogativas por la lluvia. Se representaron allí las gotas del agua solicitada y una divinidad solar. Esta manifestación de arte rupestre se puede fechar a fines del III milenio a.C. Se produjo entonces una rápida e importante evolución climática –el evento 4.2 cal BP– que aumentó la aridez en el sur de la península ibérica. Los (...) datos paleoambientales de Andalucía y La Mancha, pero también el análisis estilístico de los grabados, permiten fechar el petroglifo e interpretarlo como una respuesta religiosa al problema de la persistente sequía. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Ad Infinitum: The Ghost in Turing’s Machine: Taking God Out of Mathematics and Putting the Body Back InTony E. JacksonAd Infinitum: The Ghost in Turing’s Machine: Taking God Out of Mathematics and Putting the Body Back In, by Brian Rotman; xii & 203 pp. Stanford: Stanford University Press, 1993, $39.50 cloth, $12.95 paper.Brian Rotman’s book attempts to pull mathematics—the last, most solid home of metaphysical thought—off its absolutist (...) foundations and into the roiling current of postmodernism. His argument works in what has by now become a rather standard manner. He shows how the grounding ideas of mathematics rest upon the insupportable assumption of a realm of absolute truth, “truth perfect, truth outside time, outside space, outside the material world of matter, energy, and entropy, truth somehow able to be discovered or apprehended but never invented” (p. 19). Rotman questions this Platonic grounding in a number of ways.First, with the help of linguistics (de Saussure, Benveniste, Wittgenstein, and Peirce) he provides a semiotic analysis of mathematical arguments as real-world linguistic events. Proof he looks at “not as a form of inference engaged in preserving eternal truths, but as an historically conditioned species of rhetoric” (p. 35). Secondly, Rotman argues that one idea has most secured the fortress-like solidity of mathematical Platonism: the idea of ad infinitum or infinite iteration. Mathematics takes off from the givenness of the natural numbers, our everyday 1, 2, 3 and so on to infinity. It is the “so on to infinity” that frames up the house of arithmetic as it has stood since Euclid. (Euclidean in this context is equivalent to Platonic in the context of philosophy.) But what is the referent of these numbers? Ultimately they are said to be the symbolic representation of the action of counting, which is the “mathematical ur-cognition” (p. 51). And yet we cannot imagine any material human situation in which counting could actually go on to infinity. Therefore, some impossible, supernatural agent (the ghost of the title) must be projected in order for this conception to exist. Similarly, Rotman argues against the assumption of “perfect repeatability” because this notion depends upon some purely imaginary, ideal identity of object or action that could possibly be repeated. Ad infinitum requires and assumes both a disembodied, metaphysical counter and a disembodied, metaphysical counted.So Rotman sets about putting the body back into this symbolic system by rejecting the idea of ad infinitum. Instead of assuming the existence of counting activities that run, in principle, out to infinity without changing their nature, Rotman posits what he calls “realizable iteration,” that is, counting that admits the necessary dissolution or change of whatever repetitive function you begin with. Put simply, he includes the fact that quantitative accumulation or repetition always eventually brings about a qualitative change: at some point in everyday life a difference of degree of the “same” thing or action inevitably becomes a difference of kind. The natural numbers and the ad infinitum [End Page 390] remain blissfully sheltered from this inescapable real world truth, but Rotman reformulates mathematics so as to include this truth in the very idea of numbering.In fact (and he acknowledges this) he theorizes counting after the model of chaos or complexity theory in the physical sciences. Realizable iteration, he says, will bring in the “qualitative differences” forgotten or repressed (the language of Nietzsche, Heidegger, and Freud runs throughout) in the metaphysical version of number, and “display [the qualitative differences] as the emergent effects of repetition” (p. 131). Even numerical addition, for instance, which had been the most linearly continuous of activities, now will be linear beginning from some initial point, but will become increasingly nonlinear as quantitative increase tends towards some point of qualitative discontinuity with what had come before. The point of discontinuity, though certain to appear, is by its nature not specifiable beyond a horizon of probability, and in this, Rotman aligns his arithmetic not only with chaos theory, but also with quantum mechanics. In an appendix, Rotman elaborates at least to a degree the “pre-elements” of his non-Euclidean arithmetic.As chaos theory does not destroy everyday cause... (shrink)

In a paper published in this journal Martin Hinton aims to show that the struggle between Moti Mizrahi and me about whether arguments from expert opinion are weak arguments rests on misunderstandings (Hinton 2015). Let me emphasize that I generally appreciate Hinton’s intention to settle the dispute between Mizrahi and myself in this way. 1 Furthermore, I also agree with Hinton’s conclusion that if Mizrahi is interpreted in the way Hinton does, then Mizrahi’s “claim becomes far less controversial, but also (...) rather uninteresting” (Hinton 2015, 551)—to refer to the title of my former paper: just spilling out the water wouldn’t be worth a paper in Informal Logic. 2 Let me therefore focus in this reply on the points where Hinton directly attacks my treatment of Mizrahi and also what Hinton takes to be my account of expertise. I will discuss the following criticism of Hinton: (1) that, at points, my attack on Mizrahi is unfair due to my misunderstanding of his intentions, (2) that the notion of expertise I use is self-contradictory/inconsistent, (3) that the argument for my view is circular, (4) that one of my examples—the example from soccer—is mistaken. In rebutting this criticism, I aim to clarify the background of my former paper in this journal. (shrink)

This article discusses the concept of publicity in Kant’s moral philosophy. Insofar as the concepts of ‘public’ and ‘private’ can describe our relations with others, they can be considered to be moral concepts. I argue that we can find in Kant a moral duty not to keep our maxims of action private, or secret. Whereas Korsgaard argues that sometimes in the face of evil it is permissible to sidestep the moral law, I argue that it is rather through publicity that (...) we can deal with evil in the non-ideal world. Moreover, by being open with our maxims, moral progress is possible. View HTML Send article to KindleTo send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.Making the Ideal Real: Publicity and Morality in KantVolume 21, Issue 2Melissa Zinkin DOI: https://doi.org/10.1017/S1369415416000042Your Kindle email address Please provide your Kindle email.@free.kindle.com@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. Making the Ideal Real: Publicity and Morality in KantVolume 21, Issue 2Melissa Zinkin DOI: https://doi.org/10.1017/S1369415416000042Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. Making the Ideal Real: Publicity and Morality in KantVolume 21, Issue 2Melissa Zinkin DOI: https://doi.org/10.1017/S1369415416000042Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation. (shrink)

Kant was never satisfied with the version of his “Refu- tation” published in 1787 (KrV, B 275-279). His dissatisfaction is already evident in the footnote added to the preface of the second edition of the Critique in 1787. As a matter of fact, Kant continued to rework his argument for at least six years after 1787. The main exegetical problem is to figure out who is the target of the “Refutation”: a non-skeptic idealist, a global skeptic of Cartesian provenance or (...) both. In this last case, the related problem is to know whether either of them is the Cartesian skeptic of the first Meditation, the idealist skeptic of the second Meditation and first part of the third Meditation, or some other non-skeptic idealist. I present and defend a new reconstruction of Kant’s “Refu- tation” as a successful argument against Mendelssohnian idealism of Cartesian provenance. This defense is based on a simple logical sketch of the proof provided by Dicker but essentially modified in light of Dyck’s insight about Kant’s opponent. How shall I support my reading? First, by appealing to overwhelming textual evidence according to which the proof is of the existence of mind-independent things, showing that Kant’s main opponent is Mendelssohn’s idealism of Cartesian provenance. Finally, I support my reading by showing that Kant’s “Refutation” is doomed to fail against all forms of global skepticism but is quite successful against Mendelssohn’s idealism. (shrink)

Kant was never satisfied with the version of his “Refutation” published in 1787 (KrV, B 275-279). His dissatisfaction is already evident in the footnote added to the preface of the second edition of the Critique in 1787. As a matter of fact, Kant continued to rework his argument for at least six years after 1787. The main exegetical problem is to figure out who is the target of the “Refutation”: a non-sceptic idealist or a global sceptic of Cartesian provenance or (...) both. In this last case, a related problem is to know whether either of them is the Cartesian sceptic of the first Meditation, the idealist sceptic of the second Meditation and first part of the third Meditation, or some other non-sceptic idealist. I present and defend a new reconstruction of Kant’s “Refu­tation” as a successful argument against Mendelssohnian idealism of Cartesian provenance. This defence is based on a simple logical sketch of the proof provided by Dicker, but essentially modified in the light of Dyck’s insight about Kant’s opponent. How shall I support my reading? First, by appealing to overwhelming textual evidence according to which the proof is of the existence of mind-independent things, showing that Kant’s main opponent is Mendelssohn’s idealism of Cartesian provenance. Finally, I support my reading by showing that Kant’s “Refutation” is doomed to fail against all forms of global scepticism, but is quite successful against Mendelssohn’s idealism. (shrink)

An explanation is given of why, after adding to a model M of ZFC first a Solovay real r and next a Cohen real c, in M[ r][ c] a Cohen real over M[ c] is produced. It is also shown that a Solovay algebra iterated with a Cohen algebra can be embedded into a Cohen algebra iterated with a Solovay algebra.

Copyright ©2010–2015 All rights reserved. Jonathan Bennett [Brackets] enclose editorial explanations. Small ·dots· enclose material that has been added, but can be read as though it were part of the original text. Occasional •bullets, and also indenting of passages that are not quotations, are meant as aids to grasping the structure of a sentence or a thought. Every four-point ellipsis . . . . indicates the omission of a brief passage that seems to present more difficulty than it is worth.

Before one can construct scales of minimal complexity in the Real Core Model, K(R), one needs to develop the fine-structure theory of K(R). In this paper, the fine structure theory of mice, first introduced by Dodd and Jensen, is generalized to that of real mice. A relative criterion for mouse iterability is presented together with two theorems concerning the definability of this criterion. The proof of the first theorem requires only fine structure; whereas, the second theorem applies to real mice (...) satisfying AD and follows from a general definability result obtained by abstracting work of John Steel on L(R). In conclusion, we discuss several consequences of the work presented in this paper relevant to two issues: the complexity of scales in K(R) and the strength of the theory ZF + AD + ¬ DC R. (shrink)

Let Mn♯ denote the minimal active iterable extender model which has n Woodin cardinals and contains all reals, if it exists, in which case we denote by Mn the class-sized model obtained by iterating the topmost measure of Mn class-many times. We characterize the sets of reals which are Σ1-definable from R over Mn, under the assumption that projective games on reals are determined:1. for even n, Σ1Mn=⅁RΠn+11;2. for odd n, Σ1Mn=⅁RΣn+11.This generalizes a theorem of Martin and (...) Steel for L, that is, the case n=0. As consequences of the proof, we see that determinacy of all projective games with moves in R is equivalent to the statement that Mn♯ exists for all n∈N, and that determinacy of all projective games of length ω2 with moves in N is equivalent to the statement that Mn♯ exists and satisfies AD for all n∈N. (shrink)

Reflectance physicalism only provides a partial picture of the ontology of color. Byrne & Hilbert’ account is unsatisfactory because the replacement of reflectance functions by productance functions is ad hoc, unclear, and only leads to new problems. Furthermore, the effects of color contrast and differences in illumination are not really taken seriously: Too many “real” colors are tacitly dismissed as illusory, and this for arbitrary reasons. We claim that there cannot be an all-embracing ontology for color.

Given a theory T of a polynomially bounded o-minimal expansion R of $${\bar{\mathbb{R}} = \langle\mathbb{R}, +,., 0, 1, < \rangle}$$ with field of exponents $${\mathbb{Q}}$$, we introduce a theory $${\mathbb{T}}$$ whose models are expansions of dense pairs of models of T by a discrete multiplicative group. We prove that $${\mathbb{T}}$$ is complete and admits quantifier elimination when predicates are added for certain existential formulas. In particular, if T = RCF then $${\mathbb{T}}$$ axiomatises $${\langle\bar{\mathbb{R}}, \mathbb{R}_{alg}, 2^{\mathbb{Z}}\rangle}$$, where $${\mathbb{R}_{alg}}$$ denotes the real (...) algebraic numbers. We describe types and definable sets in our models and prove that $${\mathbb{T}}$$ is dependent. (shrink)

The class of recursive functions over the reals, denoted by , was introduced by Cristopher Moore in his seminal paper written in 1995. Since then many subsequent investigations brought new results: the class was put in relation with the class of functions generated by the General Purpose Analogue Computer of Claude Shannon; classical digital computation was embedded in several ways into the new model of computation; restrictions of were proved to represent different classes of recursive functions, e.g., recursive, primitive (...) recursive and elementary functions, and structures such as the Ritchie and the Grzergorczyk hierarchies.The class of real recursive functions was then stratified in a natural way, and and the analytic hierarchy were recently recognised as two faces of the same mathematical concept.In this new article, we bring a strong foundational support to the Real Recursive Function Theory, rooted in Mathematical Analysis, in a way that the reader can easily recognise both its intrinsic mathematical beauty and its extreme simplicity. The new paradigm is now robust and smooth enough to be taught. To achieve such a result some concepts had to change and some new results were added. (shrink)

There is a proper countable support iteration of length ω adding no new reals at finite stages and adding a Sacks real in the limit.

Associative Democracy has been developed as a specific response to statist socialism and neoliberal capitalism, drawing on older traditions such as associationalism, democratic socialism, and cooperative socialism. As the ‘real third way’, it is distinct from neoliberal privatization and deregulation in the Blair–Schröder varieties of social democracy and in the conservative Reagan–Thatcher–Cameron varieties. This article summarizes what seemed to make AD an attractive realist utopia: its combination of economic, societal and political democracy; its focus on democratic institutional pluralism in all (...) these regards; its considered moral/political minimalism; and its practical experimentalism. It recapitalizes some of the important economic, societal and political changes during the last decennia that seem to make AD plainly utopian again. It focuses on an outline of basic principles and institutions of socio-economic alternatives to capitalism because, if neoliberalism rules supreme, no viable alternatives can emerge and grow. Even if there is not one institutional design that fits all countries and contexts, we can show what the basic tenets of such alternatives are and how such a colourful democratic socialism relates to and can integrate other approaches such as ‘circular economy’, ‘foundational economy’ and ‘radical social innovation’. The hope is that AD’s broad institutional pluralism and its emphasis on practical experimentalism show new ways of thinking which are urgently needed for sustainable and socially fair economic development and for renewing representative democracy. (shrink)

Ship-type identification in a maritime context can be critical to the authorities to control the activities being carried out. Although Automatic Identification Systems has been mandatory for certain vessels, if a vessel does not have them voluntarily or not, it can lead to a whole set of problems, which is why the use of tracking alternatives such as radar is fully complementary for a vessel monitoring systems. However, radars provide positions, but not what they are detecting. Having systems capable of (...) adding categorical information to radar detections of vessels makes it possible to increase control of the activities being carried out, improve safety in maritime traffic, and optimize on-site inspection resources on the part of the authorities. This paper addresses the binary classification problem (fishing ships versus all other vessels) using unbalanced data from real vessel trajectories. It is performed from a deep learning approach comparing two of the main trends, Convolutional Neural Networks and Long Short-Term Memory. In this paper, it is proposed the weighted cross-entropy methodology and compared with classical data balancing strategies. Both networks show high performance when applying weighted cross-entropy compared with the classical machine learning approaches and classical balancing techniques. This work is shown to be a novel approach to the international problem of identifying fishing ships without context. (shrink)