An attempt to re-think, within and for the tradition of Husserl and Heidegger, certain central contributions of Greek thought. Interpretations of the Philebus and of other Platonic and Aristotelian texts concerned with problems arising therefrom are carried out; they culminate in an analysis of the fruitful union of intellectual power and impotence in philosophy. The existentialist framework often provides suggestions for the interpretation of difficult transitions in the classical works; conversely, the adherence to the arguments of the Greek texts strengthens (...) the existentialist position with respect to such concepts as world and rationality.--C. B. (shrink)

This is the correspondence (1959–1969), on the nature of the evolutionary process, between the biologist Theodosius Dobzhansky and the historian John C. Greene.

The Abolition of Man, C. S. Lewis's masterpiece in ethics and the philosophy of science,warns of the danger of combining modern moral skepticism with the technological pursuit of human desires. The end result is the final destruction of human nature. From Brave New World to Star Trek, from Steampunk to starships, science fiction film has considered from nearly every conceivable angle the same nexus of morality, technology, and humanity of which C. S. Lewis wrote. As a result,science fiction film has (...) unintentionally given us stunning depictions of Lewis's terrifying vision of the future. In Science Fiction and the Abolition of Man: Finding C. S. Lewis in Sci-Fi Film and Television, scholars of religion, philosophy, literature, and film explore the connections between sci-fi film and the three parts of Lewis's book:how sci-fi portrays "Men Without Chests" incapable of responding properly to moral good, how it teaches the Tao or "The Way," and how it portrays "The Abolition of Man.". (shrink)

Learning programming is thought to be troublesome. One doable reason why students don’t do well in programming is expounded to the very fact that traditional way of learning within the lecture hall adds more stress on students in understanding the Material rather than applying the Material to a true application. For a few students, this teaching model might not catch their interest. As a result, they'll not offer their best effort to grasp the Material given. Seeing however the information is (...) applied to real issues will increase student interest in learning. As a consequence, this may increase their effort to be taught. In the current paper, we try to help students learn C# programming language using Intelligent Tutoring System. This ITS was developed using ITSB authoring tool to be able to help the student learn programming efficiently and make the learning procedure very pleasing. A knowledge base using ITSB authoring tool style was used to represent the student's work and to give customized feedback and support to students. (shrink)

El artículo propone una interpretación de la obra literaria "Las Crónicas de Narnia" del autor ingles C. S Lewis. Tal interpretación posibilita considerar la alegoría religiosa que esta obra literaria realiza sobre la experiencia de la divinidad a través de la figura del León.

For each natural number n, let C (n) be the closed and unbounded proper class of ordinals α such that V α is a Σ n elementary substructure of V. We say that κ is a C (n) -cardinal if it is the critical point of an elementary embedding j : V → M, M transitive, with j(κ) in C (n). By analyzing the notion of C (n)-cardinal at various levels of the usual hierarchy of large cardinal principles we show (...) that, starting at the level of superstrong cardinals and up to the level of rank-into-rank embeddings, C (n)-cardinals form a much finer hierarchy. The naturalness of the notion of C (n)-cardinal is exemplified by showing that the existence of C (n)-extendible cardinals is equivalent to simple reflection principles for classes of structures, which generalize the notions of supercompact and extendible cardinals. Moreover, building on results of Bagaria et al. (2010), we give new characterizations of Vopeňka’s Principle in terms of C (n)-extendible cardinals. (shrink)

Recent work in the history of philosophy of science details the Kantianism of philosophers often thought opposed to one another, e.g., Hans Reichenbach, C.I. Lewis, Rudolf Carnap, and Thomas Kuhn. Historians of philosophy of science in the last two decades have been particularly interested in the Kantianism of Reichenbach, Carnap, and Kuhn, and more recently, of Lewis. While recent historical work focuses on recovering the threatened-to-be-forgotten Kantian themes of early twentieth-century philosophy of science, we should not elide the differences between (...) the Kantian strands running throughout this work. In this paper, I disentangle a few of these strands in the work of Reichenbach and Lewis focusing especially on their theories of relativized, constitutive a priori principles in empirical knowledge. In particular, I highlight three related differences between Reichenbach and Lewis concerning their motivations in analyzing scientific knowledge and scientific practice, their differing conceptions of constitutivity, and their relativization of constitutive a priori principles. In light of these differences, I argue Lewis’s Kantianism is more similar to Kuhn’s Kantianism than Reichenbach’s, and so might be of more contemporary relevance to social and practice-based approaches to the philosophy of science. (shrink)

The C (n)-cardinals were introduced recently by Bagaria and are strong forms of the usual large cardinals. For a wide range of large cardinal notions, Bagaria has shown that the consistency of the corresponding C (n)-versions follows from the existence of rank-into-rank elementary embeddings. In this article, we further study the C (n)-hierarchies of tall, strong, superstrong, supercompact, and extendible cardinals, giving some improved consistency bounds while, at the same time, addressing questions which had been left open. In addition, we (...) consider two cases which were not dealt with by Bagaria; namely, C (n)-Woodin and C (n)-strongly compact cardinals, for which we provide characterizations in terms of their ordinary counterparts. Finally, we give a brief account on the interaction of C (n)-cardinals with the forcing machinery. (shrink)

This paper advances a version of physicalism which reconciles the “a priori entailment thesis” (APET) with the analytic independence of our phenomenal and physical vocabularies. The APET is the claim that, if physicalism is true, the complete truths of physics imply every other truth a priori. If so, “cosmic hermeneutics” is possible: a demon having only complete knowledge of physics could deduce every truth about the world. Analytic independence is a popular physicalist explanation for the apparent “epistemic gaps” between phenomenal (...) and physical truths. The two are generally seen as incompatible, since the demon’s deductions seem to presuppose analytic connections between physical and phenomenal terms. I begin by arguing, in support of the APET, that implications from the complete truths of physics to phenomenal truths cannot be a posteriori. Such implications are (according to the physicalist) necessarily true. But they cannot be Kripke-style a posteriori necessities, since (according to the physicalist) the complete truths of physics fix any relevant a posteriori facts about the reference of terms. I then show how the physicalist can turn the tables: the demon can exploit the physical fixing of reference to bridge the gap between the vocabularies, by deducing when phenomenal and physical terms co-refer. This opens the way for a “type-C” physicalism, which accepts in-principle deducibility while still appealing to analytic independence to explain why we (who are not demons) find it impossible to see phenomenal-physical connections a priori. (shrink)

Section 1 of this essay distinguishes between four interpretations of Socratic intellectualism, which are, very roughly: a version in which on any given occasion desire, and then action, is determined by what we think will turn out best for us, that being what we all, always, really desire; a version in which on any given occasion action is determined by what we think will best satisfy our permanent desire for what is really best for us; a version formed by the (...) assimilation of to, labelled the ‘standard’ version’ by Thomas C. Brickhouse and Nicholas D. Smith, and treated by them as a single alternative to their own interpretation; and Brickhouse and Smith’s own version. Section 2 considers, in particular, Brickhouse and Smith’s handling of the ‘appetites and passions’, which is the most distinctive feature of interpretation. Section 3 discusses Brickhouse and Smith’s defence of ‘Socratic studies’ in its historical context, and assesses the contribution made by their distinctive interpretation of ‘the philosophy of Socrates’. One question raised in this section, and one that is clearly fundamental to the existence of ‘Socratic studies’, is how different Brickhouse and Smith’s Socrates turns out to be from Plato himself, i.e., the Plato of the post-‘Socratic’ dialogues; to which the answer offered is that on Brickhouse and Smith’s interpretation Socratic moral psychology becomes rather less distinguishable from its ‘Platonic’ counterpart—as that is currently understood—than it is on the interpretation they oppose. (shrink)

It is often argued that the great quantity of evil in our world makes God’s existence less likely than a lesser quantity would, and this, presumably, because the probability that some evils are gratuitous increases as the overall quantity of evil increases. Often, an additive approach to quantifying evil is employed in such arguments. In this paper, we examine C. S. Lewis’ objection to the additive approach, arguing that although he is correct to reject this approach, there is a sense (...) in which he underestimates the quantity of pain. However, the quantity of pain in that sense does not significantly increase the probability that some pain is gratuitous. Therefore, the quantitative argument likely fails. (shrink)

The strong weak truth table (sw) reducibility was suggested by Downey, Hirschfeldt, and LaForte as a measure of relative randomness, alternative to the Solovay reducibility. It also occurs naturally in proofs in classical computability theory as well as in the recent work of Soare, Nabutovsky, and Weinberger on applications of computability to differential geometry. We study the sw-degrees of c.e. reals and construct a c.e. real which has no random c.e. real (i.e., Ω number) sw-above it.

This thesis introduces and defends a ‘C theory’ of time. The metaphysics of time literature is primarily concerned with the distinction between the A and B theories of time, with the disagreement concerning whether the passage of time is an objective feature of reality. I argue that the distinction between the B and C theories—in terms of whether time has a ‘privileged’ direction—is of more obvious relevance to the philosophy of physics than is the distinction between the A and B (...) theories. The thesis has three main contentions. (1) In order to maintain a substantial metaphysical dispute between the different theories of time, they must be defined in terms of structural properties, and the naturalistic metaphysics of time direction involves the assessment of these structures in light of contemporary physics. (2) The A theory of time requires a model with two temporal dimensions, and although such a model provides a resolution to a number of problems faced by standard A theories, it is not motivated by physical theory. (3) The dispute between the B and C theories of time is of direct relevance to the philosophy of physics: the B theorist’s assumption of the existence of a privileged temporal direction is of explanatory relevance to physics; and a comparison between unidirectional and adirectional explanations in physics can in principle shed light on whether time is B- or C-theoretic. (shrink)

During the 1920s and 1930s geneticist L. C. Dunn of Columbia University cautioned Americans against endorsing eugenic policies and called attention to eugenicists' less than rigorous practices. Then, from the mid-1940s to early 1950s he attacked scientific racism and Nazi Rassenhygiene by co-authoring Heredity, Race and Society with Theodosius Dobzhansky and collaborating with members of UNESCO on their international campaign against racism. Even though shaking the foundations of scientific discrimination was Dunn's primary concern during the interwar and post-World War II (...) years, his campaigns had ancillary consequences for the discipline. He contributed to the professionalization of genetics during the 1920s and 1930s and sought respectability for human genetics in the 1940s and 1950s. My article aims to elucidate the activist scientist's role in undermining scientific discrimination by exploring aspects of Dunn's scientific work and political activism from the 1920s to 1950s. Definitions are provided for scientific discrimination and activist scientist. (shrink)

We study the theory of a Hilbert space H as a module for a unital C*-algebra ${\mathcal{A}}$ from the point of view of continuous logic. We give an explicit axiomatization for this theory and describe the structure of all the representations which are elementary equivalent to it. Also, we show that this theory has quantifier elimination and we characterize the model companion of the incomplete theory of all non-degenerate representations of ${\mathcal{A}}$ . Finally, we show that there is an homeomorphism (...) between the space of types of norm less than 1 in this model companion, and the space of quasistates of the C*-algebra ${\mathcal{A}}$. (shrink)

We show that for any computably enumerable set A and any equation image set L, if L is low and equation image, then there is a c.e. splitting equation image such that equation image. In Particular, if L is low and n-c.e., then equation image is n-c.e. and hence there is no low maximal n-c.e. degree.

Recent years have witnessed an explosion of the single-cell biochemical toolbox including chromosome conformation capture -based methods that provide novel insights into chromatin spatial organization in individual cells. The observations made with these techniques revealed that topologically associating domains emerge from cell population averages and do not exist as static structures in individual cells. Stochastic nature of the genome folding is likely to be biologically relevant and may reflect the ability of chromatin fibers to adopt a number of alternative configurations, (...) some of which could be transiently stabilized and serve regulatory purposes. Single-cell Hi-C approaches provide an opportunity to analyze chromatin folding in rare cell types such as stem cells, tumor progenitors, oocytes, and totipotent cells, contributing to a deeper understanding of basic mechanisms in development and disease. Here, we review key findings of single-cell Hi-C and discuss possible biological reasons and consequences of the inferred dynamic chromatin spatial organization. Single-cell Hi-C expands the molecular biology toolbox for studies of chromatin structure in individual cells. This technique allows one to analyze cell-to-cell variability in TAD and loop structure, and to capture chromosome conformation in rare cell types such as oocytes, totipotent cells, and tumor progenitors. (shrink)

Recent years have witnessed an explosion of the single-cell biochemical toolbox including chromosome conformation capture -based methods that provide novel insights into chromatin spatial organization in individual cells. The observations made with these techniques revealed that topologically associating domains emerge from cell population averages and do not exist as static structures in individual cells. Stochastic nature of the genome folding is likely to be biologically relevant and may reflect the ability of chromatin fibers to adopt a number of alternative configurations, (...) some of which could be transiently stabilized and serve regulatory purposes. Single-cell Hi-C approaches provide an opportunity to analyze chromatin folding in rare cell types such as stem cells, tumor progenitors, oocytes, and totipotent cells, contributing to a deeper understanding of basic mechanisms in development and disease. Here, we review key findings of single-cell Hi-C and discuss possible biological reasons and consequences of the inferred dynamic chromatin spatial organization. Single-cell Hi-C expands the molecular biology toolbox for studies of chromatin structure in individual cells. This technique allows one to analyze cell-to-cell variability in TAD and loop structure, and to capture chromosome conformation in rare cell types such as oocytes, totipotent cells, and tumor progenitors. (shrink)

Medical futility, one of the most debated end-of-life issues in medical ethics, has been discussed among physicians and scholars for years but remained an unresolved question. Roger C. Bone (1941–1997), an outstanding pulmonologist and critical care specialist, devoted his last years to ethical issues of terminal care, while facing himself metastatic renal cancer. Criticising the abuse of technology in terminal care and the administrative and financial interference on medical decisions, he bequeathed important points on futility, bringing also patients’ views into (...) attention. He stressed the importance of physician-patient relationship and prompted physicians to remain honest with their patients and stand with them till their very last moments. Roger Bone’s insight of futility, terminal care and physician-patient relationship remains an important legacy for health care professionals and for families and patients facing end-of-life issues. (shrink)

Legal translation has become a principal means to unfold Chinese laws to the world in the global era and the study of it has proved to be of practical significance. Since the proper theory guidance is the key to the quality of LT translation, this paper focuses on the Skopos theory and the strategies applied in the practice of LT. A case study of LT examples from the Criminal Law of the P.R.C. has been made while briefly reviewing the Skopos (...) theory and its principles. Started with short discussion of LT, this paper probes into the applicability of the three principles of Skopos theory, including the Skopos rule, the coherence rule and the fidelity rule, into the legal texts, especially into the translation of the Criminal Law of the P.R.C. and based on the study, the strategies for LT are proposed, with the hope that it can be useful for reference in other legal texts. (shrink)

On retrouve la notion de c-commande dans plusieurs contraintes linguistiques sur l’interprétation d’éléments qui sont dépendants pour leur interprétation référentielle. À bien y penser, il est assez étonnant d’avoir une relation syntaxique comme contrainte sur ce type d’interprétation : cela semble tout à fait accidentel, on n’en voit pas la motivation. Cette relation syntaxique correspond en fait le signifiant d’un signe combinatoire, et en regardant le côté signifié plutôt que signifiant de cette relation, sa présence dans une contrainte sur la (...) dépendance référentielle découle naturellement de propriétés sémantico-conceptuelles de la référence et la prédication. (shrink)

The article discusses the theoretical and analytical relevance of spontaneity, the basis of creativity, considered as a central aspect of the semiotic model of C. S. Peirce, through the study of its incidence on human identity, on the self. To do so, I work with a series of technical concepts ..

We give a corrected proof of an extension of the Robinson Splitting Theorem for the d. c. e. degrees.

Uma seção da Gramática Especulativa de C.S.Peirce – Dez classes de signos – recebeu, a partir de 1903, um importante tratamento diagramático. Neste artigo, são apresentados e discutidos dois diagramas desenvolvidos por Peirce para as dez classes, incluindo esboços desses modelos.

In this paper, we show that Ogasawa’s theorem has a proof in Bishop style constructive mathematics . In 25, we introduced the elementary constructive theory of C*-algebras in BISH, but we did not discuss the powers of positive elements there. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

In this paper we prove that any c. e. degree is splittable with an c. e. infimum over any lesser c. e. degree in the class of d-c. e. degrees.

C. S. Lewis, The Abolition of Man HarperCollins Publishers, New York, 2001.

Dans un ouvrage récent, Not for Profit, Martha C. Nussbaum a pris fait et cause pour la philosophie pour enfants . En fait, ce renvoi n’est pas isolé car de nombreux échanges entre Nussbaum et Matthew Lipman ont existé. Dans cet article, je ne m’intéresse pas aux citations de l’un à l’autre mais pars de l’œuvre de Nussbaum pour esquisser ce qu’il en est de l’éducation à la démocratie. Pour commencer, je rappelle la théorie des « capabilités », ou capacités (...) réelles ; je montre en outre l’importance des émotions dans une démocratie. Ensuite, je traite de la culture des émotions en démocratie. L’éducation concerne certes les adultes, mais elle touche bien davantage les enfants. L’exemple du dégoût sert à montrer l’importance d’une prise en charge des émotions dès l’enfance, particulièrement à l’école. Enfin, je regarde la manière dont on peut, dans une pratique de classe, promouvoir l’esprit critique en suivant les préceptes donnés par Nussbaum. Comment, dans une communauté de recherche, prêter davantage attention à autrui ? Comment exploiter en philosophie pour enfants la thèse selon laquelle les émotions sont des jugements de valeur ? Pour conclure, j’essaie d’approfondir le lien entre Nussbaum et Gareth B. Matthews : sans doute l’insistance de la première sur la valeur formatrice des récits aurait-elle dû l’amener à se pencher davantage sur la pratique philosophique avec les enfants du second. In a recent work, Not for Profit, Martha C. Nussbaum stood for the Philosophy for Children movement. In fact, this mention is not isolated, for many exchanges took place between Nussbaum and Matthew Lipman. I don’t focus on quotations from the one by the other but instead, starting from Nussbaum’s work, sketch her conception of training for democracy. First of all, I remember her theory of capabilities and show furthermore the importance of emotions in a democracy. I treat then the culture of emotions in a democracy. Of course, education refers to adults too. Still, it concerns children more heavily. The instance of disgust helps in showing the importance of dealing with emotions since childhood, particularly at schools. Finally, I get a look on how, in a classroom, critical thinking may be improved using Nussbaum’s precepts. How can be paid more attention to the other in a community of inquiry? How is in P4C the thesis that emotions are judgments of value to be exploited? In conclusion, I try to deepen the link between Nussbaum and Gareth B. Matthews: the stress laid by the latter on the formative value of narratives might have driven her to bend herself more on the philosophical practice of the former. (shrink)

C I Lewis showed up Down Under in 2005, in e-mails initiated by Allen Hazen of Melbourne. Their topic was the system Hazen called FL (a Funny Logic), axiomatized in passing in Lewis 1921. I show that FL is the system MEN of material equivalence with negation. But negation plays no special role in MEN. Symbolizing equivalence with → and defining ∼A inferentially as A→f, the theorems of MEN are just those of the underlying theory ME of pure material equivalence. (...) This accords with the treatment of negation in the Abelian l-group logic A of Meyer and Slaney (Abelian logic. Abstract, Journal of Symbolic Logic 46, 425–426, 1981), which also defines ∼A inferentially with no special conditions on f. The paper then concentrates on the pure implicational part AI of A, the simple logic of Abelian groups. The integers Z were known to be characteristic for AI, with every non-theorem B refutable mod some Zn for finite n. Noted here is that AI is pre-tabular, having the Scroggs property that every proper extension SI of AI, closed under substitution and detachment, has some finite Zn as its characteristic matrix. In particular FL is the extension for which n = 2 (Lewis, The structure of logic and its relation to other systems. The Journal of Philosophy 18, 505–516, 1921; Meyer and Slaney, Abelian logic. Abstract. Journal of Symbolic Logic 46, 425–426, 1981; This is an abstract of the much longer paper finally published in 1989 in G. G. Priest, R. Routley and J. Norman, eds., Paraconsistent logic: essays on the inconsistent, Philosophica Verlag, Munich, pp. 245–288, 1989). (shrink)