Search results for 'Indians First contact with Europeans' (try it on Scholar)

1000+ found
Sort by:
  1. Daniel R. Brunstetter (2012). Tensions of Modernity: Las Casas and His Legacy in the French Enlightenment. Routledge.score: 795.0
    Modernity and the other: a story of inequality -- Locating the other in the political debates of early modernity -- Thinking and rethinking the equality of the other: Vitoria, Sepúlveda and the true barbarians -- Las Casas and the other: the tension between equality and cultural othercide -- From the civilizing mission to irreconcilable alterity: the changing perception of the Indians in the French Enlightenment -- The other side of modernity: legitimizing the transition from cultural othercide to physical othercide (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Catherine A. Salmon (1999). On the Impact of Sex and Birth Order on Contact with Kin. Human Nature 10 (2):183-197.score: 221.4
    Previous research indicates that birth order is a strong predictor of familial sentiments, with middleborns less family-oriented than first- or last-borns. In this research, effects of sex and birth order on the actual frequency of contact with maternal and paternal kin were examined in two studies. In Study 1, one hundred and forty undergraduates completed a questionnaire relating to the amount of time they spent in contact with specific relatives, while in Study 2, one (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Danilo Marcondes (2012). Montaigne, a descoberta do Novo Mundo e o ceticismo moderno. Kriterion 53 (126):421-433.score: 196.8
    O descobrimento do Novo Mundo é um dos fatores fundamentais de ruptura com a tradição, na inauguração do pensamento moderno. A descoberta de povos no novo continente com culturas radicalmente diferentes da europeia leva a um questionamento cético sobre a universalidade da natureza humana, o que denominamos "argumento antropológico". Montaigne é o mais importante pensador deste contexto a discutir esta questão nos Ensaios. Examinamos aqui alguns dos aspectos centrais de sua reflexão a este respeito. The Discovery of the New World (...)
    Translate to English
    | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Laura Janara (2004). Brothers and Others: Tocqueville and Beaumont, U.S. Genealogy, Democracy, and Racism. Political Theory 32 (6):773-800.score: 192.0
    After their voyage through the United States, Alexis de Tocqueville and Gustave de Beaumont each wrote about the nature of race relations there. The author offers two theses regarding the nature of U.S. racism and its relation to U.S. democracy as revealed in Tocqueville's and Beaumont's texts. First, these works illustrate how European Americans, in subordinating Indians and blacks, produce not a politically and socially egalitarian democracy situated amid an otherwise racist society and culture but, rather, a social (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  5. Jamie Iredell (2011). Belief: An Essay. Continent 1 (4).score: 192.0
    continent. 1.4 (2011): 279—285. Concerning its Transitive Nature, the Conversion of Native Americans of Spanish Colonial California, Indoctrinated Catholicism, & the Creation There’s no direct archaeological evidence that Jesus ever existed. 1 I memorized the Act of Contrition. I don’t remember it now, except the beginning: Forgive me Father for I have sinned . . . This was in preparation for the Sacrament of Holy Reconciliation, where in a confessional I confessed my sins to Father Scott, who looked like Jesus, (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Brett Bowden (2013). 'Poisons Disguised with Honey': European Expansion and the Sacred Trust of Civilization. The European Legacy 18 (2):151-169.score: 141.6
    For many centuries now, those considering themselves civilized have carried out numerous atrocities?from abductions to dispossession to massacres?against those thought to be less civilized, all in the name of civilization. This has particularly been the case in the last 500 years when Europeans came into contact with indigenous peoples in their voyages of discovery and subsequent settlement. One of the justifications for these offences was often couched in terms of the self-appointed duty of ?civilized? Europeans to (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Gaell Guibert (2010). Predicative Double Chain: Analysis of the First Party Text on the European Constitution Treaty with a Genotext Hypothesis. Semiotica 181 (1-4):29-76.score: 129.0
     
    My bibliography  
     
    Export citation  
  8. John Earman & John T. Roberts (2005). Contact with the Nomic: A Challenge for Deniers of Humean Supervenience About Laws of Nature Part I: Humean Supervenience. Philosophy and Phenomenological Research 71 (1):1–22.score: 127.8
    This is the first part of a two-part article in which we defend the thesis of Humean Supervenience about Laws of Nature (HS). According to this thesis, two possible worlds cannot differ on what is a law of nature unless they also differ on the Humean base. The Humean base is easy to characterize intuitively, but there is no consensus on how, precisely, it should be defined. Here in Part I, we present and motivate a characterization of the Humean (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. John Roberts, Contact with the Nomic: A Challenge for Deniers of Humean Supervenience About Laws of Nature.score: 127.8
    This is the first part of a two-part article in which we defend the thesis of Humean Supervenience about Laws of Nature (HS). According to this thesis, two possible worlds cannot differ on what is a law of nature unless they also differ on the Humean base. The Humean base is easily to characterize intuitively, but there is no consensus on how, precisely, it should be defined. Here in Part I, we present and motivate a characterization of the Humean (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. John T. Roberts (2005). Contact with the Nomic. Philosophy and Phenomenological Research 71 (1):1-22.score: 127.8
    This is the first part of a two-part article in which we defend the thesis of Humean Supervenience about Laws of Nature (HS). According to this thesis, two possible worlds cannot differ on what is a law of nature unless they also differ on the Humean base. The Humean base is easy to characterize intuitively, but there is no consensus on how, precisely, it should be defined. Here in Part I, we present and motivate a characteriza- tion of the (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. Yasuhiko Murakami (2013). Affection of Contact and Transcendental Telepathy in Schizophrenia and Autism. Phenomenology and the Cognitive Sciences 12 (1):179-194.score: 126.0
    This paper seeks to demonstrate the structural difference in communication of schizophrenia and autism. For a normal adult, spontaneous communication is nothing but the transmission of phantasía (thought) by means of perceptual objects or language. This transmission is first observed in a make-believe play of child. Husserl named this function “perceptual phantasía,” and this function presupposes as its basis the “internalized affection of contact” (which functions empirically in eye contact, body contact, or voice calling me). Regarding (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  12. Bjorn Merker (2013). The Efference Cascade, Consciousness, and its Self: Naturalizing the First Person Pivot of Action Control. Frontiers in Psychology 4.score: 126.0
    The 20 billion neurons of the neocortex have a mere hundred thousand motor neurons by which to express cortical contents in overt behavior. Implemented through a staggered cortical "efference cascade" originating in the descending axons of layer 5 pyramidal cells throughout the neocortical expanse, this steep convergence accomplishes final integration for action of cortical information through a system of interconnected subcortical way stations. Coherent and effective action control requires the inclusion of a continually updated joint "global best estimate" of current (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  13. Julie Wallbank (2007). Getting Tough on Mothers: Regulating Contact and Residence. Feminist Legal Studies 15 (2):189-222.score: 126.0
    This article critically examines the relationship between shared residence and contact after the breakdown of the parents’ relationship. It examines the background to the government’s main emphasis on methods of monitoring, facilitating and enforcing contact as the most efficacious method of proceeding in respect of the law reform agenda, focussing particularly on the potential impact of punitive enforcement measures on primary carers, usually mothers. The article sets the discussion within its wider cultural context in respect of fathers’ rights (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Jules Hirsch (2011). The Rockefeller University Hospital (1910–2010) Creating the Science of Medicine. Perspectives in Biology and Medicine 54 (3):273-303.score: 122.0
    The Hospital of the Rockefeller Institute for Medical Research in New York City was founded on the hypothesis that direct contact with illness is a strong force in igniting the curiosity and energy that can, from time to time, lead to great leaps in our understanding of human biology and disease. This was repeatedly proven at the Hospital, a special locale where the “prepared minds” of physicians uncovered new facts that often led to effective treatments. It is neither (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. Maria Monti (2004). Le 'Réseau' de Spallanzani. Circulation de Théories, Procédures Et Spécimens. History and Philosophy of the Life Sciences 26 (2):137-155.score: 122.0
    Spallanzani was in contact with a large number of European scholars, but he never succeeded in forming a group around him. We must consider a true exception his research on animal regeneration, started in 1765 and which was harshly criticised in the intellectual community. Spallanzani replied shifting his engagement from the 'laboratory' to the creation of a 'net' of supporters and led them to repeat the most daring manoeuvres. Apparently, he delegated the destruction of adverse positions, but he (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  16. Alan Charles Kors (2003). Encyclopedia of the Enlightenment: 4 Volumes: Print and E-Reference Editions Available. OUP USA.score: 118.0
    Comprising more than seven hundred articles totalling more than one million words, the Encyclopedia of the Enlightenment is a unique and comprehensive reference work on the entire range of philosophic and social changes wrought by the Enlightenment. It is available in both print and as an e-reference text from Oxford's Digital Reference Shelf. The Enlightenment is here defined as the 'long eighteenth century', from the rise of Descarte's disciples in 1670 to the Restoration of the Bourbon monarchy in France in (...)
    No categories
     
    My bibliography  
     
    Export citation  
  17. Massimiliano Vaghi (forthcoming). Fear as a Political Instrument. J. P. Dupleix and Euro – Indian Relations in Bengal (1730-1740). Governare la Paura. Journal of Interdisciplinary Studies.score: 114.0
    In the first half of the 18th century in India, the trading companies of Holland, England and France were the protagonists of a political and economic expansion. In this paper, the Author aims to highlight the colonial experience of the French governor Joseph-François Dupleix’s in Bengal in the 1730s. In particular, the Author wants to refer to the shift in the balance of power relations between Europeans and Indians, and He wants to highlight a slow and progressive (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. Georg Schuppener (1997). Kepler's Relation to the Jesuits—A Study of His Correspondence with Paul Guldin. NTM International Journal of History and Ethics of Natural Sciences, Technology and Medicine 5 (1):236-244.score: 111.6
    First, this article provides a survey of the kind of relationship that existed between Kepler and the Jesuits. Afterwards, it is pondered upon the likelihood of their having been in direct contact with each other while Kepler lived in Prague. The second part of the article is devoted to an investigation into the correspondence between Kepler and Paul Guldin as an example. Thus, the paper describes the key issues of those letters and concludes from this Guldin's attitude (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  19. Feliz Molina (2013). Readymades in the Social Sphere: An Interview with Daniel Peltz. Continent 3 (1):17-24.score: 111.6
    Since 2008 I have been closely following the conceptual/performance/video work of Daniel Peltz. Gently rendered through media installation, ethnographic, and performance strategies, Peltz’s work reverently and warmly engages the inner workings of social systems, leaving elegant rips and tears in any given socio/cultural quilt. He engages readymades (of social and media constructions) and uses what are identified as interruptionist/interventionist strategies to disrupt parts of an existing social system, thus allowing for something other to emerge. Like the stereoscope that requires two (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. Alexander R. Pruss, Cooperation with Past Evil and Use of Cell-Lines Derived From Aborted Fetuses.score: 111.6
              The production of a number of vaccines involves the use of cell-lines originally derived from fetuses directly aborted in the 1960s and 1970s. Such cell-lines, indeed sometimes the very same ones, are important to on-going research, including at Catholic institutions. The cells currently used are removed by a number of decades and by a significant number of cellular generations from the original cells. Moreover, the original cells extracted from the bodies (...)
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  21. Ralph Acampora (2004). Oikos and Domus : On Constructive Co-Habitation with Other Creatures. Philosophy and Geography 7 (2):219 – 235.score: 108.0
    Semi-urban ecotones exist on the periphery and in the midst of many human population centers. This article addresses the need for and nature of an ethos appropriate to inter-species contact in such zones. It first examines the historical and contemporary intellectual resources available for developing this kind of ethic, then surveys the range of possible relationships between humans and other animals, and finally investigates the morality of multi-species neighborhoods as a promising model. Discussion of these themes has the (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  22. Yannis Stephanou (2005). First-Order Modal Logic with an 'Actually' Operator. Notre Dame Journal of Formal Logic 46 (4):381-405.score: 108.0
    In this paper the language of first-order modal logic is enriched with an operator @ ('actually') such that, in any model, the evaluation of a formula @A at a possible world depends on the evaluation of A at the actual world. The models have world-variable domains. All the logics that are discussed extend the classical predicate calculus, with or without identity, and conform to the philosophical principle known as serious actualism. The basic logic relies on the system (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  23. P. C. Wever & L. van Bergen (2012). Prevention of Tetanus During the First World War. Medical Humanities 38 (2):78-82.score: 108.0
    The emergence of tetanus in wounded soldiers during the first months of the First World War (WWI) resulted from combat on richly manured fields in Belgium and Northern France, the use of modern explosives that produced deep tissue wounds and the intimate contact between the soldier and the soil upon which he fought. In response, routine prophylactic injections with anti-tetanus serum were given to wounded soldiers removed from the firing line. Subsequently, a steep fall in the (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  24. R. M. Cullen (1999). Arguments for Zero Tolerance of Sexual Contact Between Doctors and Patients. Journal of Medical Ethics 25 (6):482-486.score: 108.0
    Some doctors do enter into sexual relationships with patients. These relationships can be damaging to the patient involved. One response available to both individual doctors and to disciplinary bodies is to prohibit sexual contact between doctors and patients ("zero tolerance"). This paper considers five ways of arguing for a zero tolerance policy. The first rests on an empirical claim that such contact is almost always harmful to the patient involved. The second is based on a "principles" (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  25. C. Moe, E. I. Kvig, B. Brinchmann & B. S. Brinchmann (2012). 'Working Behind the Scenes' An Ethical View of Mental Health Nursing and First-Episode Psychosis. Nursing Ethics 20 (5):0969733012458607.score: 108.0
    The aim of this study was to explore and reflect upon mental health nursing and first-episode psychosis. Seven multidisciplinary focus group interviews were conducted, and data analysis was influenced by a grounded theory approach. The core category was found to be a process named ‘working behind the scenes’. It is presented along with three subcategories: ‘keeping the patient in mind’, ‘invisible care’ and ‘invisible network contact’. Findings are illuminated with the ethical principles of respect for autonomy (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  26. Pietro Galliani & Allen L. Mann (2013). Lottery Semantics: A Compositional Semantics for Probabilistic First-Order Logic with Imperfect Information. Studia Logica 101 (2):293-322.score: 108.0
    We present a compositional semantics for first-order logic with imperfect information that is equivalent to Sevenster and Sandu’s equilibrium semantics (under which the truth value of a sentence in a finite model is equal to the minimax value of its semantic game). Our semantics is a generalization of an earlier semantics developed by the first author that was based on behavioral strategies, rather than mixed strategies.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  27. Michel Morange (1997). The Transformation of Molecular Biology on Contact with Higher Organisms, 1960-1980: From a Molecular Description to a Molecular Explanation. [REVIEW] History and Philosophy of the Life Sciences 19 (3):369 - 393.score: 105.6
    The convergence of developmental biology — embryology — and molecular biology was one of the major scientific events of the last decades of the twentieth century. The transformation of developmental biology by the concepts and methods of molecular biology has already been described. Less has been told on the reciprocal transformation of molecular biology on contact with higher organisms. The transformation of molecular biology occurred at the end of a deep crisis which affected this discipline in the sixties (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  28. Andy F. Sanders (1996). Criticism, Contact with Reality and Truth. Tradition and Discovery 23 (3):24-37.score: 105.6
    Partly in reply to D. Cannon’s critique of my analytical reconstruction of Polanyi’s post-critical theory of knowledge, I argue that there are good reasons for not appropriating Polanyi’s programme of self-identication and the confessional rhetoric which may be derived from it. Arguing that “post-critical”should not be identified with an uncritical dogmatism, I then go on to suggest that the theory of tacit knowing had best be elaborated further by drawingon the work of J. Searle and M. Johnson. Finally, I (...)
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  29. Jari K. Hietanen Laura M. Pönkänen (2012). Eye Contact with Neutral and Smiling Faces: Effects on Autonomic Responses and Frontal EEG Asymmetry. Frontiers in Human Neuroscience 6.score: 103.2
    In our previous studies we have shown that seeing another person “live” with a direct vs. averted gaze results in greater relative left-sided frontal asymmetry in the electroencephalography (EEG), associated with approach motivation, and in enhanced skin conductance responses indicating autonomic arousal. In our studies, however, the stimulus persons had a neutral expression. In real-life social interaction, eye contact is often associated with a smile, which is another signal of the sender’s approach-related motivation. A smile could (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  30. Mel Slater Antonella Maselli (2013). The Building Blocks of the Full Body Ownership Illusion. Frontiers in Human Neuroscience 7.score: 99.0
    Previous work has reported that it is not difficult to give people the illusion of ownership over an artificial body, providing a powerful tool for the investigation of the neural and cognitive mechanisms underlying body perception and self consciousness. We present an experimental study that uses immersive virtual reality focused on identifying the perceptual building blocks of this illusion. We systematically manipulated visuotactile and visual sensorimotor contingencies, visual perspective, and the appearance of the virtual body in order to assess their (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  31. James J. McKenna (1990). Evolution and Sudden Infant Death Syndrome (SIDS). Human Nature 1 (2):145-177.score: 99.0
    This paper and its subsequent parts (Part II and Part III) build on an earlier publication (McKenna 1986). They suggest that important clinical data on the relationship between infantile constitutional deficits and microenvironmental factors relevant to SIDS can be acquired by examining the physiological regulatory effects (well documented among nonhuman primates) that parents assert on their infants when they sleep together.I attempt to show why access to parental sensory cues (movement, touch, smell, sound) that induce arousals in infants while they (...)
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  32. Éva Forgács (2008). The Safe Haven of a New Classicism: The Quest for a New Aesthetics in Hungary 1904-1912. Studies in East European Thought 60 (1/2):75 - 95.score: 98.0
    Seen through the quest for a new metaphysics, the visual arts were interpreted in the framework of the particular sense of progress that the generation of György Lukács developed in the first decade of the twentieth century. They saw Impressionism as the veritable symptom of the deficiencies of their age and dreamed of a great, solid, lasting new Hungarian culture which would transcend the fragmentariness, sociological interests, and ethereality of Impressionism. Although exhibitions of contemporary modernist art were organized in (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  33. René Descartes (1996). Meditations on First Philosophy: With Selections From the Objections and Replies. Cambridge University Press.score: 97.2
    The Meditations, one of the key texts of Western philosophy, is the most widely studied of all Descartes' writings. This authoritative translation by John Cottingham, taken from the much acclaimed three-volume Cambridge edition of the Philosophical Writings of Descartes, is based upon the best available texts and presents Descartes' central metaphysical writings in clear, readable modern English. As well as the complete text of the Meditations, the reader will find a thematic abridgement of the Objections and Replies (which were originally (...)
     
    My bibliography  
     
    Export citation  
  34. Walter Hussak (2008). Decidable Cases of First-Order Temporal Logic with Functions. Studia Logica 88 (2):247 - 261.score: 96.0
    We consider the decision problem for cases of first-order temporal logic with function symbols and without equality. The monadic monodic fragment with flexible functions can be decided with EXPSPACE-complete complexity. A single rigid function is sufficient to make the logic not recursively enumerable. However, the monadic monodic fragment with rigid functions, where no two distinct terms have variables bound by the same quantifier, is decidable and EXPSPACE-complete.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  35. Shalom Lappin, An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.score: 96.0
    We present Property Theory with Curry Typing (PTCT), an intensional first-order logic for natural language semantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types.1 We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like most. We use the type system and our treatment of generalized quantifiers in natural language to construct a type-theoretic approach to pronominal anaphora that avoids some of the difficulties that undermine previous type-theoretic (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. Suzanne Metselaar (2011). The Structural Similarity Between the Itinerarium Mentis in Deum and the Collationes in Hexaemeron with Regard to Bonaventure's Doctrine of God as First Known. American Catholic Philosophical Quarterly 85 (1):43-75.score: 96.0
    In this article, I provide a close analysis of the resolutions to God as first known in Bonaventure’s Itinerarium mentis in Deum and the Collationes in Hexaemeron. Hardly any methodological reflection has been given to the fact that there are two accounts of God as first known in each of these works. Myanalysis shows that there exists a structural similarity between the Itinerarium and the Hexaemeron with regard to their treatment of Deus primum cognitum. In both texts, (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  37. Mohamed A. Amer (1989). First Order Logic with Empty Structures. Studia Logica 48 (2):169 - 177.score: 96.0
    For first order languages with no individual constants, empty structures and truth values (for sentences) in them are defined. The first order theories of the empty structures and of all structures (the empty ones included) are axiomatized with modus ponens as the only rule of inference. Compactness is proved and decidability is discussed. Furthermore, some well known theorems of model theory are reconsidered under this new situation. Finally, a word is said on other approaches to the (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  38. Shalom Lappin, Intensional First-Order Logic with Types.score: 96.0
    The paper presents Property Theory with Curry Typing (PTCT) where the language of terms and well-formed formulæ are joined by a language of types. In addition to supporting fine-grained intensionality, the basic theory is essentially first-order, so that implementations using the theory can apply standard first-order theorem proving techniques. Some extensions to the type theory are discussed, type polymorphism, and enriching the system with sufficient number theory to account for quantifiers of proportion, such as “most.”.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. Andrea Cantini (1993). Extending the First-Order Theory of Combinators with Self-Referential Truth. Journal of Symbolic Logic 58 (2):477-513.score: 96.0
    The aim of this paper is to introduce a formal system STW of self-referential truth, which extends the classical first-order theory of pure combinators with a truth predicate and certain approximation axioms. STW naturally embodies the mechanisms of general predicate application/abstraction on a par with function application/abstraction; in addition, it allows non-trivial constructions, inspired by generalized recursion theory. As a consequence, STW provides a smooth inner model for Myhill's systems with levels of implication.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  40. Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev (2005). Undecidability of First-Order Intuitionistic and Modal Logics with Two Variables. Bulletin of Symbolic Logic 11 (3):428-438.score: 96.0
    We prove that the two-variable fragment of first-order intuitionistic logic is undecidable, even without constants and equality. We also show that the two-variable fragment of a quantified modal logic L with expanding first-order domains is undecidable whenever there is a Kripke frame for L with a point having infinitely many successors (such are, in particular, the first-order extensions of practically all standard modal logics like K, K4, GL, S4, S5, K4.1, S4.2, GL.3, etc.). For many (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  41. Stéphane Demri & Hans De Nivelle (2005). Deciding Regular Grammar Logics with Converse Through First-Order Logic. Journal of Logic, Language and Information 14 (3):289-329.score: 96.0
    We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic. The translation is theoretically interesting because it translates modal logics with certain frame conditions into first-order logic, without explicitly expressing the frame conditions. It is practically relevant because it makes it possible to use a decision procedure for the guarded fragment in order to decide (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  42. Emanuel Kieroński & Martin Otto (2012). Small Substructures and Decidability Issues for First-Order Logic with Two Variables. Journal of Symbolic Logic 77 (3):729-765.score: 96.0
    We study first-order logic with two variables FO² and establish a small substructure property. Similar to the small model property for FO² we obtain an exponential size bound on embedded substructures, relative to a fixed surrounding structure that may be infinite. We apply this technique to analyse the satisfiability problem for FO² under constraints that require several binary relations to be interpreted as equivalence relations. With a single equivalence relation, FO² has the finite model property and is (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  43. Perrine Marie Ruby, Camille Blochet, Jean-Baptiste Eichenlaub, Olivier Bertrand, Dominique Morlet & Aurélie Bidet-Caulet (2013). Alpha Reactivity to First Names Differs in Subjects with High and Low Dream Recall Frequency. Frontiers in Psychology 4.score: 96.0
    Studies in cognitive psychology showed that personality (openness to experience, thin boundaries, absorption), creativity, nocturnal awakenings, and attitude toward dreams are significantly related to dream recall frequency (DRF). These results suggest the possibility of neurophysiological trait differences between subjects with high and low DRF. To test this hypothesis we compared sleep characteristics and alpha reactivity to sounds in subjects with high and low DRF using polysomnographic recordings and electroencephalography (EEG). We acquired EEG from 21 channels in 36 healthy (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  44. James S. Johnson (1973). Axiom Systems for First Order Logic with Finitely Many Variables. Journal of Symbolic Logic 38 (4):576-578.score: 96.0
    J. D. Monk has shown that for first order languages with finitely many variables there is no finite set of schema which axiomatizes the universally valid formulas. There are such finite sets of schema which axiomatize the formulas valid in all structures of some fixed finite size.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  45. Merrie Bergmann (2005). Finite Tree Property for First-Order Logic with Identity and Functions. Notre Dame Journal of Formal Logic 46 (2):173-180.score: 96.0
    The typical rules for truth-trees for first-order logic without functions can fail to generate finite branches for formulas that have finite models–the rule set fails to have the finite tree property. In 1984 Boolos showed that a new rule set proposed by Burgess does have this property. In this paper we address a similar problem with the typical rule set for first-order logic with identity and functions, proposing a new rule set that does have the finite (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  46. Andreas B. M. Brunner (2004). First-Order Anti-Intuitionistic Logic with Apartness. Logic and Logical Philosophy 13:77-88.score: 96.0
    In this paper we will develop a first-order anti-intuitionistic logic without and with paraconsistent apartness. We will give a system of Hilbert-type counter-axioms, that we show to be correct and complete with respect to a deictic Kripke semantics. Also we will illustrate some examples about objects being apart and not apart in some possible world.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  47. Maarten Marx & Szabolcs Mikulás (1999). Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables. Journal of Symbolic Logic 64 (4):1563-1572.score: 96.0
    The aim of this paper is to give a new proof for the decidability and finite model property of first-order logic with two variables (without function symbols), using a combinatorial theorem due to Herwig. The results are proved in the framework of polyadic equality set algebras of dimension two (Pse 2 ). The new proof also shows the known results that the universal theory of Pse 2 is decidable and that every finite Pse 2 can be represented on (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  48. Robert F. Stärk (1995). First-Order Theories for Pure Prolog Programs with Negation. Archive for Mathematical Logic 34 (2):113-144.score: 96.0
    The standard theory of logic programming is not applicable to Prolog programs even not to pure code. Modifying the theory to take account of reality more is the motivation of this article. For this purpose we introduce the ℓ-completion and the inductive extension of a logic program. Both are first-order theories in a language with operators for success, failure and termination of goals. The ℓ-completion of a logic program is a sound and complete axiomatization of the Prolog depth- (...) search under certain natural conditions; the inductive extension of the ℓ-completion is a suitable theory for proving termination and equivalence of pure Prolog programs with negation. (shrink)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  49. Nicholas Jolley (1988). Meditations on First Philosophy with Selections From the Objections and Replies. History of European Ideas 9 (4):513-514.score: 95.4
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  50. Ludovic Frobert (2007). Elie Halévy's First Lectures on the History of European Socialism. Journal of the History of Ideas (2):329-353.score: 91.0
    Elie Halévy's later works have made him one of the most renowned French liberal thinkers of the twentieth century. I want to argue, however, that there exists another facet of the man, more republican than liberal, to be found in his pre-Great War papers. Halévy reveals himself as a man with reformist tendencies, concerned with the concrete aspects of freedom, both for individuals and peoples, and therefore holding more qualified views on the project of a political and social (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000