In this article, we discuss the relationships between discrimination, harassment, and the glass ceiling, arguing that many of the factors that preclude women from occupying executive and managerial positions also foster sexual harassment. We suggest that measures designed to increase numbers of women in higher level positions will reduce sexual harassment. We first define and discuss discrimination, harassment, and the glass ceiling, relationships between each, and relevant legislation. We next discuss the relationships between gender and sexual harassment, emphasizing (...) the influence of gender inequality on sexual harassment. We then present recommendations for organizations seeking to reduce sexual harassment, emphasizing the role that women executives may play in such efforts and, importantly, the recursive effects of such efforts on increasing the numbers of women in higher level positions in organizations. (shrink)
According to familiar accounts, Rousseau held that humans are actuated by two distinct kinds of self love: amour de soi, a benign concern for one's self-preservation and well-being; and amour-propre, a malign concern to stand above other people, delighting in their despite. I argue that although amour-propre can (and often does) assume this malign form, this is not intrinsic to its character. The first and best rank among men that amour-propre directs us to claim for ourselves is that of occupying (...) 'man's estate'. This does not require, indeed it precludes, subjection of others. Amour-propre does not need suppression or circumscription if we are to live good lives; it rather requires direction to its proper end, not a delusive one. (shrink)
This paper challenges a recent argument of Bird’s, which involves imagining that Réné Blondlot’s belief in N-rays was true, in favour of the view that scientific progress should be understood in terms of knowledge rather than truth. By considering several variants of Bird’s thought-experiment, it shows that the semantic account of progress cannot be so easily vanquished. A key possibility is that justification is only instrumental in, and not partly constitutive of, progress.
The first part of this paper shows that Qualitative Comparative Analysis (QCA)--also in its most recent forms as presented in Ragin (2000, 2008)--, does not correctly analyze data generated by causal chains, which, after all, are very common among causal processes in the social sciences. The incorrect modeling of data originating from chains essentially stems from QCA’s reliance on Quine-McCluskey optimization to eliminate redundancies from sufficient and necessary conditions. Baumgartner (2009a,b) has introduced a Boolean methodology, termed Coincidence Analysis (CNA), that (...) is related to QCA, yet, contrary to the latter, does not eliminate redundancies by means of Quine-McCluskey optimization. The second part of the paper applies CNA to chain-generated data. It will turn out that CNA successfully detects causal chains in small-N data. (shrink)
The corporate glass ceiling continues to be a challenge for many organizations. However, women executives may be facing a second pane of obstruction – an expatriate glass ceiling – that prevents them from receiving the foreign management assignments and experience that is becoming increasing critical for promotion to upper management. The responsibility to break the expatriate glass ceiling lies with both female managers and the multinational corporations that utilize expatriates. In this paper, we propose pre-assignment, on-assignment, and (...) post-assignment strategies for breaking the expatriate glass ceiling. (shrink)
The purpose of this paper is threefold. First, I visit the Fogelin–Geach-dispute, criticizeMiller''s interpretation of the Geachian notationN(x:N(fx)) and conclude that Fogelin''s argumentagainst the expressive completeness of the Tractariansystem of logic is unacceptable and that the adoptionof the Geachian notation N(x:fx) would not violate TLP5.32. Second, I prove that a system of quantificationtheory with finite domains and with N as the solefundamental operation is expressively complete. Lastly, I argue that the Tractarian system is apredicate-eliminated many-sorted theory (withoutidentity) with finite domains (...) and with N as the solefundamental operation, and thus is expressivelycomplete. (shrink)
Despite having put the concept of HPS on the institutional map, N.R. Hanson’s distinctive account of the interdependence between history of science and philosophy of science has been mostly forgotten, and misinterpreted where it is remembered. It is argued that Hanson’s account is worthy of renewed attention and extension since, through its special emphasis on a variety of different normative criteria, it provides the framework for a fruitful and transformative interaction between the two disciplines. This essay also examines two separate (...)threads of Hanson’s account of philosophy of science: his analysis of the conceptual dynamics of science and of the interrelation of the history and philosophy of science. While the two strands appear incongruent, and were perhaps inconsistent, a new interpretation of them is offered which is both consistent with Hanson’s fundamental intuitions and defensible in its own right. It is demonstrated that Hanson’s account compares favorably with those of Kuhn and Lakatos, and that it may provide a constructive means of scaling the barriers erected by fears of the genetic fallacy and ‘whiggish’ history. (shrink)
In “Mad Narratives: Self-Constitutions Through the Diagnostic Looking Glass,” by using narrative approaches to the self, I explore how the diagnosis of mental disorder shapes personal identities and influences flourishing. My particular focus is the diagnosis grounded on the criteria provided by the Diagnostic Statistical Manual of Mental Disorders (DSM). I develop two connected accounts pertaining to the self and mental disorder. I use the memoirs and personal stories written by the subjects with a DSM diagnosis as illustrations to (...) bolster my claims. First, expanding on the narrative approaches to the self, I explain how narratives about a subject shape her self-constitution. I elucidate how this process is generated by drawing on research in developmental psychology, cognitive science, and social psychology. Next, using this account as a springboard, I argue that the DSM diagnosis of mental disorder serves as a source of narrative, entering into the patients’ autobiographical and social narratives. This plays an important role in the diagnosed subjects’ self-understanding, self-constitution and flourishing. In this vein, how mental disorders are classified is not only a theoretical question about accurately taxonomizing the various experiences related to mental distress but also an ethical question about which ways of talking about mental disorders will allow subjects to respond effectively to their psychological distress, to flourish and to live autonomous and fulfilling lives. Finally, I suggest that the DSM-based narratives wield a double-edged sword when it comes to the subject’s flourishing: On the one hand, there are problems with some DSM-based narratives that stem from the DSM diagnostic schema and the culture of DSM diagnoses. These problems render these DSM-based narratives unbeneficial for flourishing as they constrain the range of adoptive social, cognitive and emotional responses the subjects can give to their mental disorders. On the other hand, there are grounds to believe that some DSM-based narratives help subjects to flourish. For instance, they provide certainty to subjects' otherwise puzzling symptoms and help them reach out to others with similar experiences. Understanding how the DSM-based narratives can both benefit and harm will help us address problems with psychiatric diagnoses and the dissemination of knowledge about mental disorders in popular culture. The project aims to convince both philosophers and psychiatrists that no plausible theory of the self can be developed without attending to the topic of mental disorder and that no theory of mental disorder can be complete without devising the tools provided by the philosophical approaches to the self as well as developmental and social psychology. It also calls for methodological alterations in mental health ethics research, arguing that a careful scrutiny of mental disorder memoirs can advance the ethical underpinnings to the practice of psychiatry. (shrink)
We can learn about human ethics from machines. We discuss the design of a working machine for making ethical decisions, the N-Reasons platform, applied to the ethics of robots. This N-Reasons platform builds on web based surveys and experiments, to enable participants to make better ethical decisions. Their decisions are better than our existing surveys in three ways. First, they are social decisions supported by reasons. Second, these results are based on weaker premises, as no exogenous expertise (aside from that (...) provided by the participants) is needed to seed the survey. Third, N-Reasons is designed to support experiments so we can learn how to improve the platform. We sketch experimental results that show the platform is a success as well as pointing to ways it can be improved. (shrink)
Roger Sansom and Robert N. Brandon (eds.): Integrating Evolution and Development: From Theory to Practice Content Type Journal Article Pages 81-86 DOI 10.1007/s10441-010-9121-x Authors Thomas A. C. Reydon, Institute of Philosophy & Center for Philosophy and Ethics of Science (ZEWW), Leibniz Universität Hannover, Im Moore 21, 30167 Hannover, Germany Journal Acta Biotheoretica Online ISSN 1572-8358 Print ISSN 0001-5342 Journal Volume Volume 59 Journal Issue Volume 59, Number 1.
Fundamental properties of N-valued logics are compared and eleven theorems are presented for their Logic Algebras, including Łukasiewicz–Moisil Logic Algebras represented in terms of categories and functors. For example, the Fundamental Logic Adjunction Theorem allows one to transfer certain universal, or global, properties of the Category of Boolean Algebras.
Extending the ideas from (Hofer-Szabó and Rédei [2006]), we introduce the notion of causal up-to-n-closedness of probability spaces. A probability space is said to be causally up-to-n-closed with respect to a relation of independence R_ind iff for any pair of correlated events belonging to R_ind the space provides a common cause or a common cause system of size at most n. We prove that a finite classical probability space is causally up-to-3-closed w.r.t. the relation of logical independence iff its probability (...) measure is constant on the set of atoms of non-0 probability. (The latter condition is a weakening of the notion of measure uniformity.) Other independence relations are also considered. (shrink)
Verbin, N., Divinely abused: a philosophical perspective on Job and his kin Content Type Journal Article DOI 10.1007/s11153-010-9262-5 Authors A. K. Anderson, Department of Religion, Wofford College, 429 N. Church St., Spartanburg, SC 29303, USA Journal International Journal for Philosophy of Religion Online ISSN 1572-8684 Print ISSN 0020-7047.
Proper n-valued ukasiewicz algebras are obtained by adding some binary operators, fulfilling some simple equations, to the fundamental operations of n-valued ukasiewicz algebras. They are the s-algebras corresponding to an axiomatization of ukasiewicz n-valued propositional calculus that is an extention of the intuitionistic calculus.
This article describes "Project Breakthrough: A Survey of Corporate Practices for Shattering the Glass Ceiling." Evidence is presented that the "glass ceiling" remains intact in many areas. A list of barriers (social sterotypes) that support the glass ceiling are presented. Some corporate strategies found in the literature are also presented. Sixty-nine companies in the Houston area were surveyed. A summary score based on responses to thirty-four practices listed in the survey were computed. The top twelve organizations were (...) identified as "distinguished," and site visits were conducted. The practices of these companies are listed. (shrink)
The power of Wittgenstein's N operator described in the Tractatus is that every proposition which can be expressed in the Russellian variant of the predicate calculus familiar to him has an equivalent proposition in an extended variant of his N operator notation. This remains true if the bound variables are understood in the usual inclusive sense or in Wittgenstein's restrictive exclusive sense. The problematic limit of Wittgenstein's N operator comes from his claim that symbols alone reveal the logical status of (...) propositions. This would require knowledge of the size of the Tractarian domain of unchangeable, simple objects, and this, Wittgenstein maintained, cannot be known. (shrink)
Through Narcissus' Glass Darkly presents a genealogy and critique of the ideal of conscience in modern philosophical theology, particularly in the writings of ...
We have synthesized a 582,970-base pair Mycoplasma genitalium genome. This synthetic genome, named M. genitalium JCVI-1.0, contains all the genes of wild-type M. genitalium G37 except MG408, which was disrupted by an antibiotic marker to block pathogenicity and to allow for selection. To identify the genome as synthetic, we inserted "watermarks" at intergenic sites known to tolerate transposon insertions. Overlapping "cassettes" of 5 to 7 kilobases (kb), assembled from chemically synthesized oligonucleotides, were joined by in vitro recombination to produce intermediate (...) assemblies of approximately 24 kb, 72 kb ("1/8 genome"), and 144 kb ("1/4 genome"), which were all cloned as bacterial artificial chromosomes in Escherichia coli. Most of these intermediate clones were sequenced, and clones of all four 1/4 genomes with the correct sequence were identified. The complete synthetic genome was assembled by transformation-associated recombination cloning in the yeast Saccharomyces cerevisiae, then isolated and sequenced. A clone with the correct sequence was identified. The methods described here will be generally useful for constructing large DNA molecules from chemically synthesized pieces and also from combinations of natural and synthetic DNA segments. 10.1126/science.1151721. (shrink)
H. Wittman, A. Desmarais, and N. Wiebe (eds.): Food Sovereignty: Reconnecting Food, Nature and Community Content Type Journal Article Category Review Paper Pages 1-3 DOI 10.1007/s10806-012-9375-1 Authors Charles Francis, Department of Agronomy and Horticulture, UNL, 279 Plant Science, Lincoln, NE 68583-0915, USA Journal Journal of Agricultural and Environmental Ethics Online ISSN 1573-322X Print ISSN 1187-7863.
This paper discusses the D-N model of scientific explanation. It is suggested that explanation is a part of assertive discourse where certain principles must be observed. Then use is made of the relation between the informative content and logical content of a sentence (as shown, for instance, by Popper) to draw some of the conditions necessary for a sound model. It is claimed that the conditions of the model proposed in the present paper exhaust the insights of the papers in (...) the literature, solve the difficulties encountered by other authors, but have some damaging consequences on the D-N model of scientific explanation. (shrink)
In this paper, we develop a duality for the varieties of a Łukasiewicz n + 1-valued modal System. This duality is an extension of Stone duality for modal algebras. Some logical consequences (such as completeness results, correspondence theory...) are then derived and we propose some ideas for future research.
This paper is concerned with n-localization property introduced by Newelski and Rosłanowski in [10] and getting it for CS iterations of forcing notions.
A qualitative theory of truthlikeness, based on a family of quantitative measures, is developed for hypotheses that are concerned with the values of a finite number of real-valued quantities. Representing hypotheses by subsets of n, I first show that a straightforward application of the basic ideas of the similarity approach to truthlikeness does not work out for hypotheses with zero n-dimensional Lebesgue measure. However, it is easy to give a counterpart for the average measure preferred by Pavel Tichý and Graham (...) Oddie in terms of Hausdorff measures. The task of finding analogies of the min-sum-measure preferred by Ilkka Niiniluoto is more interesting. I present and discuss analogies of two different types for this measure. (shrink)
It is argued that the constraints placed on the non-law premisses of a D–N explanation are irrelevant to their function and will not salvage the deductive requirement from triviality.
A decade ago, Isham and Butterfield proposed a topos theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathematical foundation for all of physics. Last year, three of the present authors redeveloped and refined these ideas by combining the C*-algebraic approach to quantum theory with the so-called internal language of topos theory (see arXiv:0709.4364). The goal of the present paper is to illustrate our abstract setup through the concrete example (...) of the C*-algebra M_n(C) of complex n x n matrices. This leads to an explicit expression for the pointfree quantum phase space and the associated logical structure and Gelfand transform of an n-level system. We also determine the pertinent non-probabilisitic state-proposition pairing (or valuation) and give a very natural topos-theoretic reformulation of the Kochen-Specker Theorem. In our approach, the nondistributive lattice P(M_n(C)) of projections in M_n(C)(which forms the basis of the traditional quantum logic of Birkhoff and von Neumann)is replaced by a specific distributive lattice of functions from the poset of all unital commutative C*-subalgebras of M_n(C) to P(M_n(C)). The latter lattice is essentially the (pointfree) topology of the quantum phase space mentioned above, and as such defines a Heyting algebra. Each element of the lattice corresponds to a ``Bohrified'' proposition, in the sense that to each classical context it associates a yes-no question pertinent to this context, rather than being a single projection as in standard quantum logic. Distributivity is recovered at the expense of the law of the excluded middle (Tertium Non Datur), whose demise is in our opinion to be welcomed, not just in intuitionistic logic in the spirit of Brouwer, but also in quantum logic in the spirit of von Neumann. (shrink)
We show that if any number of variables are allowed to be simultaneously and independently randomized in any one experiment, log2(N ) + 1 experiments are sufficient and in the worst case necessary to determine the causal relations among N ≥ 2 variables when no latent variables, no sample selection bias and no feedback cycles are present. For all K, 0 < K <.
First we show that the classical two-player semantic game actually corresponds to a three-valued logic. Then we generalize this result and give an n-player semantic game for an n + 1-valued logic with n binary connectives, each associated with a player. We prove that player i has a winning strategy in game G(φ, M) if and only if the truth value of φ is $t_i $ in the model M, for 1 ≤ i ≤ n; and none of the players (...) has a winning strategy in G(φ, M) if and only if the truth value of φ is $t_o $ in M. (shrink)
In this paper we pursue the study of the variety of m -generalized Łukasiewicz algebras of order n which was initiated in [1]. This variety contains the variety of Łukasiewicz algebras of order n . Given , we establish an isomorphism from its congruence lattice to the lattice of Stone filters of a certain Łukasiewicz algebra of order n and for each congruence on A we find a description via the corresponding Stone filter. We characterize the principal congruences on A (...) via Stone filters. In doing so, we obtain a polynomial equation which defines the principal congruences on the algebras of . After showing that for m > 1 and n > 2, the variety of Łukasiewicz algebras of order n is a proper subvariety of , we prove that is a finitely generated discriminator variety and point out some consequences of this strong property, one of which is congruence permutability. (shrink)
Several philosophical problems are based on an analogy between a real situation and a probabilistic model. Such problems are based on urn analogies. The present dissertation aims to describe and implement a methodology oriented towards the resolution of philosophical problems based on an urn analogy. This methodology is based on the use of the n-universes. To this end, I describe first the n-universes in a detailed way. I also discuss the difficulties of the theory of n-universes related to the demultiplication (...) of the criteria and to the relation one/many between the objects and a given criterion. On the one hand, I present an application of the framework of n-universes to the Doomsday argument and to the problems recently appeared in the literature in keeping with the Doomsday argument. My concern is also with showing how the application of the framework of n-universes to several problems and thought experiments related to the Doomsday argument helps clarifying the problem data and making disappear the associated ambiguity. I present then an analysis of the following problems related to the Doomsday argument: the two urn case, God's Coin Toss, the Sleeping Beauty Problem, the Presumptuous Philosopher, Lazy Adam, and the Shooting-Room Paradox. I present lastly a solution to the Doomsday argument, based on a third route, by contrast to two types of solutions classically described. On the other hand, I present an application of the framework of n-universes to Goodman's paradox. I replace first Goodman's statement in the framework of n-universes. I propose then a solution to the paradox, based on a distinction between two different modelizations of Goodman's statement in two structurally different n-universes. (shrink)
Abstract This essay discusses the paradox of the N?g?rjunian negation as presented in his Vigrahavy?vartani. In Part One it is argued that as the Naiy?yika remarks, N?g?rjuna's speech act ?No proposition has its own intrinsic thesis? seemingly contradicts his famous claim that he has no negation whatsoever. In Parts Two and Three I consider the traditional as well as modem responses to this paradox and offer my own. I argue that N?g?rjuna's speech act does not generate a paradox for two (...) reasons: (a) the equivalence thesis of the kind??P = ?P is obviously false; and (b) since N?g?rjuna's speech act is situated in the dialogical/conversational universe of discourse as opposed to the argumentative/systematic universe of discourse, the teaching of the non?intrinsic thesis of all statements that it purports, holds for all statements in its class, including itself. Lastly, it is argued that even though the N?g?rjunian speech act is not a negation situated in the argumentative universe of discourse, it serves both philosophical and soteriological purposes. (shrink)
The article deals with the philosophical and methodological ideas of N. I. Lobachevsky—one of the creators of non-Euclidean geometries in the first half of the nineteenth century. The author shows that Lobachevsky elaborated a specific system of views on the nature of mathematical concepts and that these views were deeply involved in his mathematical investigation, especially in the creation and justification of the new geometry.
J.-P. Morel, « Le Docteur Toulouse ou le Cinéma vu par un psycho-physiologiste (1912-1928) », 1895. Revue de l'association française de recherche sur l'histoire du cinéma, n° 60, 2010, p. 122-155. Cet ensemble de textes, réédités pour la première fois pour la plupart, met en lumière l'intérêt que le cinéma a suscité chez les scientifiques qui cherchaient à évaluer les changements que la perception de l'image intermittente pouvait occasionner sur la physiologie et la psychologie des spectateurs en y (...) - (...) Brèves. (shrink)
Case studies and "small-N comparisons" have been attacked from two directions, positivist and incommensurabilist. At the same time, some authors have defended small-N comparisons as allowing qualitative researchers to attain a degree of scientificity, yet they also have rejected the case study as merely "idiographic. " Practitioners of the case study sometimes agree with these critics, disavowing all claims to scientificity. A related set of disagreements concerns the role and nature of social theory in sociology, which sometimes is described as (...) useless and parasitic and other times as evolving in splendid isolation from empirical research. These three forms of sociological activity-comparative analysis, studies of individual cases, and social theory-are defended here from the standpoint of critical realism. In this article I first reconstruct, in very broad strokes, the dominant epistemological and ontological framework of postwar U.S. sociology. The next two sections discuss several positivist and incommensurabilist criticisms of comparison and case studies. The last two sections propose an understanding of comparison as operating along two dimensions, events and structures, and offer an illustration of the difference and relationship between the two. (shrink)
N. Ya. Danilevsky is often mentioned as one of the predecessors of the Eurasian movement without the spheres of similarity and difference being clearly defined. This paper shows that both Danilevsky's theory of cultural-historical types and Eurasianism can be interpreted as philosophies of history based on anti-Darwinian models of thought. However, the idea of convergence through contiguity which constitutes the geographical, linguistic, and cultural unity of Eurasia is not found in Danilevsky. (...) class='Hi'> War against Europe as a unifying bond in Danilevsky's Panslavic programme is discussed in Darwinian terms which is in opposition to his own theory of cultural-historical types, whereas self-sufficiency in foreign politics corresponds to the basic principles of Eurasian philosophy of history. (shrink)
By combining experimental interventions with search procedures for graphical causal models we show that under familiar assumptions, with perfect data, N - 1 experiments suffice to determine the causal relations among N > 2 variables when each experiment randomizes at most one variable. We show the same bound holds for adaptive learners, but does not hold for N > 4 when each experiment can simultaneously randomize more than one variable. This bound provides a type of ideal for the measure of (...) success of heuristic approached in active learning methods of casual discovery, which currently use less informative measures. (shrink)
The matter of salary levels and professional advancement is much discussed and debated today in business and academe. This paper examines the matter of salary determinants for law professors in colleges of management in the U.S. with an emphasis on examining how gender might affect professorial salary and rank. By focusing on one discipline in today''s academe and in a college having great student demand (management) coupled with a professed commitment to women''s rights and by holding constant variables relevant to (...) salary and rank, this study, addresses the matter of whether gender is a factor in determination of academic rank and salary. This study used correlation and path analysis in arriving at our conclusions. Our sample size meets statistically acceptable parameters. Our results corroborate earlier research which finds significant pay differences between women and men, but they show that at least for the sample of legal studies professors in this study, these pay differences are attributable to the number of years spent in academe. If women have only recently enjoyed opportunities for careers in this discipline, they do not have as much seniority, on average as men. Consequently, if universities pay salaries at least partly according to seniority, women''s salaries are likely to be lower than men''s salaries, as our study indicates. At the same time, however, even after controlling for seniority and other factors that might affect rank, there are still significantly fewer women in the higher ranks. These results point to the operation of a glass ceiling which restricts promotional opportunities for women in other fields. (shrink)
I describe in this paper the basic elements of the n-universes, a methodological tool originally introduced in Franceschi (2001) in the context of the study of Goodman's paradox. As the n-universes can be used in wide-ranging applications, such as thought experiments, I describe them from an essentially pragmatic standpoint, i.e. by describing accurately the step-by-step process which leads to a given modelisation.
Primary and methyl aliphatic halides and tosylates undergo substitution reactions with nucleophiles in one step by the classic S N 2 mechanism, which is characterized by second-order kinetics and inversion of configuration at the reaction center. Tertiary aliphatic halides and tosylates undergo substitution reactions with nucleophiles in two (or more) steps by the classic S N 1 mechanism, which is characterized by first-order kinetics and incomplete inversion of configuration at the reaction center due to the presence of ion pairs. When (...) the nucleophile is also the solvent, the substitution reaction is called a solvolysis, and both the S N 2 and S N 1 reactions now obey first-order kinetics. Schleyer and Bentley have provided solid, but not conclusive, evidence that secondary substrates undergo solvolysis by a merged mechanism, one that blends characteristics of both the S N 2 and S N 1 mechanisms. The following paper presents the history of their sustained pursuit of a merged mechanism and subsequent rebuttals to this claim. Several issues related to the philosophy and sociology of science are also discussed. (shrink)
This paper considers the philosophical and political views of B. N. Chicherin. Chicherin was one of Hegel's better known followers in Russian philosophy. Chicherin transformed Hegel's ideas to such an extent that the main concept of his philosophy became the concept of the person, and the main problem was the description of the person's connection to the Absolute. Chicherin was also known as a representative of the liberal tradition in Russia. However, he criticized classical western liberalism for belittling the value (...) of the state. Chicherin's liberal theory was under construction in a dialectical combination of two principles: recognition of the absolute value of the person and its freedom and recognition of the necessity of a strong state for the solution of some general problems in the absence of which it will be impossible to realize the principle of freedom in all its completeness. (shrink)
Through a glass, darkly Content Type Journal Article Category Book Review Pages 1-4 DOI 10.1007/s11016-011-9633-2 Authors Inmaculada de Melo-Martín, Division of Medical Ethics, Department of Public Health, Weill Cornell Medical College—Cornell University, 402 E. 67th Street, New York, NY 10065, USA Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.
Resenha do livro de Juan Adolfo Bonaccini, Maria de Paz Nunes Medeiros, Markus Figueira de Silva e Oscar Frederico Bauchwitz (Org.). Metafísica: história e problemas: atas do I Colóquio Internacional da Metafísica . Natal: EDUFRN, 2006, 332 páginas. [Coleçáo Metafísica n. 5].
I describe several applications of the theory of n-universes through several different probabilistic situations. I describe fi rst how n-universes can be used as an extension of the probability spaces used in probability theory. The extended probability spaces thus defined allow for a finer modeling of complex probabilistic situations and fi ts more intuitively with our intuitions related to our physical universe. I illustrate then the use of n-universes as a methodological tool, with two thought experiments described by John Leslie. (...) Lastly, I model Goodman’s paradox in the framework of n-universes while also showing how these latter appear finally very close to goodmanian worlds. (shrink)
We discuss saturating ultrafilters on N, relating them to other types of nonprincipal ultrafilter. (a) There is an (ω,c)-saturating ultrafilter on $\mathbf{N} \operatorname{iff} 2^\lambda \leq \mathfrak{c}$ for every $\lambda and there is no cover of R by fewer than c nowhere dense sets. (b) Assume Martin's axiom. Then, for any cardinal κ, a nonprincipal ultrafilter on N is (ω,κ)-saturating iff it is almost κ-good. In particular, (i) p(κ)-point ultrafilters are (ω,κ)-saturating, and (ii) the set of (ω,κ)-saturating ultrafilters is invariant under (...) homeomorphisms of $\beta\mathbf{N\backslash N}$ . (c) It is relatively consistent with ZFC to suppose that there is a Ramsey p(c)-point ultrafilter which is not (ω,c)-saturating. (shrink)
The aim of this work is to develop a declarative semantics for N-Prolog with negation as failure. N-Prolog is an extension of Prolog proposed by Gabbay and Reyle (1984, 1985), which allows for occurrences of nested implications in both goals and clauses. Our starting point is an operational semantics of the language defined by means of top-down derivation trees. Negation as finite failure can be naturally introduced in this context. A goal-G (...) may be inferred from a database if every top-down derivation of G from the database finitely fails, i.e., contains a failure node at finite height.Our purpose is to give a logical interpretation of the underlying operational semantics. In the present work (Part 1) we take into consideration only the basic problems of determining such an interpretation, so that our analysis will concentrate on the propositional case. Nevertheless we give an intuitive account of how to extend our results to a first order language. A full treatment of N-Prolog with quantifiers will be deferred to the second part of this work. (shrink)
The early Periodic Tables displayed an 8-Group system. Though we now use an 18-Group array, the old versions were based on evidence of similarities between what we now label as Group ( n ) and the corresponding Group ( n + 10). As part of a series on patterns in the Periodic Table, in this contribution, these similarities are explored for the first time in a systematic manner. Pourbaix (Eh–pH) diagrams have been found particularly useful in this context.
High-spin states in the odd-odd N = Z nucleus Co-54 have been investigated by the fusion-evaporation reaction Si-28(S-32,1 alpha 1p1n)Co-54. Gamma-ray information gathered with the Ge detector array Gammasphere was correlated with evaporated particles detected in the charged particle detector system Microball and a 1 pi neutron detector array. A significantly extended excitation scheme of Co-54 is presented, which includes a candidate for the isospin T = 1, 6(+) state of the 1f(7/2)(-2) multiplet. The results are compared to large-scale shell-model (...) calculations in the fp shell. Effective interactions with and without isospin-breaking terms have been used to probe isospin symmetry and isospin mixing. A quest for deformed high-spin rotational cascades proved negative. This feature is discussed by means of cranking calculations. (shrink)
By combining experimental interventions with search procedures for graphical causal models we show that under familiar assumptions, with perfect data, N − 1 experiments suffice to determine the causal relations among N > 2 variables when each experiment randomizes at most one variable. We show the same bound holds for adaptive learners, but does not hold for N > 4 when each experiment can simultaneously randomize more than one variable. This bound provides a type of ideal for the measure of (...) success of heuristic approaches in active learning methods of causal discovery, which currently use less informative measures. (shrink)
Functions of type n are characteristic functions on n-ary relations. Keenan [5] established their importance for natural language semantics, by showing that natural language has many examples of irreducible type n functions, i.e., functions of type n that cannot be represented as compositions of unary functions. Keenan proposed some tests for reducibility, and Dekker [3] improved on these by proposing an invariance condition that characterizes the functions with a reducible counterpart with the same behaviour on product relations. The present paper (...) generalizes the notion of reducibility (a quantifier is reducible if it can be represented as a composition of quantifiers of lesser, but not necessarily unary, types), proposes a direct criterion for reducibility, and establishes a diamond theorem and a normal form theorem for reduction. These results are then used to show that every positive n function has a unique representation as a composition of positive irreducible functions, and to give an algorithm for finding this representation. With these formal tools it can be established that natural language has examples of n-ary quantificational expressions that cannot be reduced to any composition of quantifiers of lesser degree. (shrink)
In previous work we gave a new proof-theoretical method for establishing upper-bounds on the space complexity of the provability problem of modal and other propositional non-classical logics. Here we extend and refine these results to give an O(n log n)-space decision procedure for the basic positive relevance logic B+. We compute this upper-bound by first giving a sound and complete, cut-free, labelled sequent system for B+, and then establishing bounds on the application (...) of the rules of this system. (shrink)
L’article présente un texte inconnu de J. I. N. Baudouin de Courtenay (1845–1929), publié en 1872 à Poznañ, sous les initiales: „Dr. J. B.”, et intitulé: Du langage et des langues. Baudouin y introduit la distinction fondamentale du structuralisme: langue – langage – parole. Dans l’esprit de vulgarisation, après la lecture des Cours d’Oxford de Müller (1862–1864), il retrace l’histoire de la linguistique avec le comparatisme comme son achèvement et la figure majestueuse de Leibniz. Rejetant la recherche de la langue (...) adamique, il propose une classification des langues non selon leurs racines, mais d’après leurs structures: la structure d’une langue („budowa jêzyka”) constitue sa „marque caractéristique” („znamiê”). Baudouin discute également le phénomène d’aphasie et se prononce contre la théorie des localisations cérébrales, tout comme Freud dans Zur Auffassung der Aphasien (1891). Le rôle du „pont” entre leurs théories revient à Ernst von Brücke, maître de Freud, auteur des ouvrages traitant de la physiologie de la parole, très appréciés du linguiste. Dès ses premiers travaux de 1865, consacrés au physiologiste tchèque Purkyne, Baudouin se veut continuateur du programme linguistique de l’idéologue Volney, qui est tout simplement l’inverse du projet leibnizien. (shrink)
M and N, the last two books of the Metaphysics, are Aristotle's only sustained venture into the philosophy of mathematics. In them, he criticizes Plato's theories and suggests alternatives of his own. This commentary concentrates on the continuing philosophical interest of these books rather than on scholarly controversies, and will provide a clear introduction for students, including those without Greek, to an unjustly neglected part of Aristotle's work. -/- This paperback edition replaces the outstandingly successful hardback. -/- 'Dr Annas's translation (...) is clear, readable, and accurate...an enjoyable volume, stimulating both as intellectual history and as philosophical argument.' Times Literary Supplement. (shrink)
Propositional canonical Gentzen-type systems, introduced in [2], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly one occurrence of a connective is introduced and no other connective is mentioned. [2] provides a constructive coherence criterion for the non-triviality of such systems and shows that a system of this kind admits cut-elimination iff it is coherent. The semantics of such systems is provided using two-valued non-deterministic matrices (2Nmatrices). [23] extends these results (...) to systems with unary quantifiers of a very restricted form. In this paper we substantially extend the characterization of canonical systems to (n, k)-ary quantifiers, which bind k distinct variables and connect n formulas, and show that the coherence criterion remains constructive for such systems. Then we focus on the case of k ∈ {0, 1} and show that the following statements concerning a canonical calculus G are equivalent: (i) G is coherent, (ii) G has a strongly characteristic 2Nmatrix, and (iii) G admits strong cut-elimination. We also show that coherence is not a necessary condition for standard cut-elimination, and then characterize a subclass of canonical systems for which this property does hold. (shrink)
Let n be a positive integer. By a $\beta_{n}-model$ we mean an $\omega-model$ which is elementary with respect to $\sigma_{n}^{1}$ formulas. We prove the following $\beta_{n}-model$ version of $G\ddot{o}del's$ Second Incompleteness Theorem. For any recursively axiomatized theory S in the language of second order arithmetic, if there exists a $\beta_{n}-model$ of S, then there exists a $\beta_{n}-model$ of S + "there is no countable $\beta_{n}-model$ of S". We also prove a $\beta_{n}-model$ version of $L\ddot{o}b's$ Theorem. As a corollary, we obtain (...) a $\beta_{n}-model$ which is not a $\beta_{n+1}-model$. (shrink)
Cadernos Zygmunt Bauman – C-ZB se estabelece como um periódico que tem por objetivo discutir com clareza e sinceridade as questões humanas a partir da visão do sociólogo polonês Zygmunt Bauman. Em sua primeira Edição v. 1, n. 1 (2011) o C-ZB aborda três pontos de grande importância. O primeiro artigo: “A História estilhaçada: tradições e usos do passado no diálogo entre Zygmunt Bauman e Hannah Arendt”. Outro momento pode ser apreciado com a leitura do artigo “O individualismo como estratégia (...) de cuidado de si na sociedade de consumo”. E finalmente todos poderão conferir no artigo “Consumismo como fuga simbólica do real”. Cadernos Zygmunt Bauman - C-ZB establishes itself as a journal that aims to discuss with clarity and sincerity human affairs from the perspective of Polish sociologist Zygmunt Bauman. In its first edition v. 1, n. 1 (2011) C-ZB addresses three points of great importance. The first article, "The History shattered: traditions and customs of the past in the dialogue between Zygmunt Bauman and Hannah Arendt. " Another moment is apparent from reading the article "Individualism as a strategy for self care in a consumer society. " And finally everyone to check the article "Consumerism as a symbolic escape from reality. ". (shrink)
The weak non-finite cover property (wnfcp) was introduced in [1] in connection with "axiomatizability" of lovely pairs of models of a simple theory. We find a combinatorial condition on a simple theory equivalent to the wnfcp, yielding a direct proof that the non-finite cover property implies the wnfcp, and that the wnfcp is preserved under reducts. We also study the question whether the wnfcp is preserved when passing from a simple theory T to the theory TP of lovely pairs of (...) models of T (true in the stable case). While the question remains open, we show, among other things, that if (for a T with the wnfcp) TP is low, then TP has the wnfcp. To study this question, we describe "double lovely pairs", and, along the way, we develop the notion of a "lovely n-tuple" of models of a simple theory, which is an analogue of the notion of a beautiful tuple of models of stable theories [2]. (shrink)
oris, 1986, 17-34, Seminarberichte 86, Humboldt University, Berlin, where, with G. Cherlin, we gave a detailed proof of a result of Alexei L. Semenov that the theory of (N, +, 2x) is decidable and admits quantifier elimination in an expansion of the language containing the Presburger..
The lattices of varieties were studied in many works (see [4], [5], [11], [24], [31]). In this paper we describe the lattice of all subvarieties of the variety $G_{Ex}^n$ defined by so called externally compatible identities of Abelian groups and the identity xⁿ ≈ yxⁿ. The notation in this paper is the same as in [2].
The target article is important not only for black-box studies, but also for those interested in tracing cognitive processing and/or subjective experience (via systematic self-observation). I provide two examples taken from my own research. I then proceed to discuss how best to analyze data from the n = 1 study, which has a factorial design.
Spade 1988 sugges t s tha t t he r e are ac tua l l y two theo r i e s t o address t h i s ques t i o n t o , an ear l y one and a l a t e r one . 2 Most o f the presen t pape r i s a deve l o pmen t o f t h i s i dea . I sugges t (...) tha t ear l y work by Sherwood and o the r s was a s tudy o f quan t i f i e r s : the i r semant i c s and t he e f f e c t s o f con t e x t on i n f e r e n ce s t ha t can be made f r om quan t i f i e d te rms . La te r , i n the hands o f Bur l e y and o the r s , i t changed i n t o a s tudy o f someth i n g e l se , a s tudy o f what I ca l l g loba l quan t i f i c a t i o n a l e f f e c t . In sec t i o n 1 , I exp l a i n what these two op t i o n s are. (shrink)
STILLWATER, MINNESOTA—Two men sit at a long table, oblivious to the breakfast-time commotion. One moves a coffee cup from one side of a water glass to the other. “If I look here and don’t see the cup,” he says to the other, “then I know it must be there.” It sounds like a “deep” exchange between swotty young philosophy majors. But the fellow moving the cup has gray hair— and a Nobel Prize in physics. Sliding the porcelain, Anthony Leggett (...) of the University of Illinois, Urbana-Champaign, explains how scientists might try to see past the strictures of quantum mechanics, the bizarre theory that governs the behavior of tiny objects and clashes with our everyday notions of reality. “None of the existing interpretations of quantum mechanics as a theory of the entire world is satisfactory,” Leggett says to John Preskill, a physicist at the California Institute of Technology in Pasadena. Leggett, Preskill, and 22 other physicists, philosophers, and historians have gathered here for the Seven Pines Symposium.* Packed into a slightly ramshackle lodge in a wooded state park, the scholars—all of them men—will share their insights, suites of rooms without telephones, and meals of roast quail and pheasant at a long communal table. Perhaps not since the famous Solvay Conferences of the early 20th century, at which Niels Bohr and Albert Einstein debated the meaning of quantum theory in their free time, has physics seemed so genteel. Each year, the symposium tackles another of physics’ enduring puzzles: the nature of the vacuum, the concept of a f ield, the meaning of time. The aim is not to resolve the mysteries but to seed new lines of inquiry, says Roger Stuewer, a historian at the University of Minnesota, Twin Cities, and chair of the symposium’s advisory board. “When we get the best people together,” he says, “ideas are planted that in some intangible way will influence what they do in the future.” Those germinating ideas are watered with a mellow Zinfandel and nourished with succulent steak. This year, attendees spent 5 days grappling with the implications of quantum mechanics, which have perplexed physi.. (shrink)
This classic work is a general introduction to Indian philosophy that covers the Vedic and Epic periods, including expositions on the hymns of the Rig Veda, the Upanisads, Jainism, Buddhism and the theism of the Bhagvadgita. Long acknowledged as a classic, this pioneering survey of Indian thought charts a fascinating course through an intricate history. From the Rig Veda to Ramanuja, Radhakrishnan traces the development of Indian philosophy as a single tradition of thought through the ages. The author showcases ancient (...) philosophical texts and relates them to contemporary issues of philosophy and religion. This second edition with a new Introduction by eminent philosopher J.N. Mohanty, highlights the continuing relevance of the work and the philosophic tradition it represents. (shrink)
This classic work is a general introduction to Indian philosophy that covers the Vedic and Epic periods, including expositions on the hymns of the Rig Veda, the Upanisads, Jainism, Buddhism and the theism of the Bhagvadgita. Long acknowledged as a classic, this pioneering survey of Indian thought charts a fascinating course through an intricate history. From the Rig Veda to Ramanuja, Radhakrishnan traces the development of Indian philosophy as a single tradition of thought through the ages. The author showcases ancient (...) philosophical texts and relates them to contemporary issues of philosophy and religion. This second edition with a new Introduction by eminent philosopher J.N. Mohanty, highlights the continuing relevance of the work and the philosophic tradition it represents. (shrink)
