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

999 found
Order:
  1.  9
    Daniel R. Brunstetter (2012). Tensions of Modernity: Las Casas and His Legacy in the French Enlightenment. Routledge.
    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  
     
    Export citation  
     
    My bibliography  
  2.  7
    Catherine A. Salmon (1999). On the Impact of Sex and Birth Order on Contact with Kin. Human Nature 10 (2):183-197.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  8
    Jane Tompkins (1986). Indians": Textualism, Morality, and the Problem of History. Critical Inquiry 13 (1):101.
    This essay enacts a particular instance of the challenge post-structuralism poses to the study of history. In simpler, language, it concerns the difference that point of view makes when people are giving account of events, whether at first or second hand. The problem is that if all accounts of events are determined through and through by the observer’s frame of reference, then one will never know, in any given case, what really happened.I encountered this problem in concrete terms while (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  4. 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.
    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)  
     
    Export citation  
     
    My bibliography   6 citations  
  5. 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.
     
    Export citation  
     
    My bibliography  
  6. John T. Roberts (2005). Contact with the Nomic. Philosophy and Phenomenological Research 71 (1):1-22.
    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)  
     
    Export citation  
     
    My bibliography  
  7. John Roberts, Contact with the Nomic: A Challenge for Deniers of Humean Supervenience About Laws of Nature.
    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)  
     
    Export citation  
     
    My bibliography  
  8.  2
    Magda Petrjánošová (2012). “I Can't Speak German so I Can't Communicate with Them”: Language Use in Intergroup Contact Between Czechs and Germans. Human Affairs 22 (1):69-78.
    The aim of this article is to present empirical findings about language use and attitudes in intergroup contact from one of the European borderlands along the former Iron Curtain more than twenty years after it fell. The data was collected as part of an international research project Intergroup attitudes and intergroup contact in five Central European countries, which concentrates on the interplay of intergroup contact and perceptions between members of neighbouring nations in the border regions of the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  3
    Danilo Marcondes (2012). Montaigne, a descoberta do Novo Mundo e o ceticismo moderno. Kriterion: Journal of Philosophy 53 (126):421-433.
    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
      Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  10.  6
    Jamie Iredell (2011). Belief: An Essay. Continent 1 (4):279-285.
    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)  
     
    Export citation  
     
    My bibliography  
  11.  20
    Laura Janara (2004). Brothers and Others: Tocqueville and Beaumont, U.S. Genealogy, Democracy, and Racism. Political Theory 32 (6):773-800.
    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)  
     
    Export citation  
     
    My bibliography  
  12.  3
    P. T. Raju (1949). The State of Philosophical Studies in India. Philosophy 24 (91):342 - 347.
    Contemporary philosophical activity in India is influenced not only by India's traditional philosophy but also by Western Philosophy. One of the results of the introduction, by Macaulay, of the Western system of education into India is the popularization of the study of Western Philosophy, and Indians took to it quite enthusiastically. Sanscrit philosophical texts were at first regarded as sacred, and Europeans could have no access to them. But in time, the prejudice abated, and Sanscrit texts began (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  13.  2
    Brett Bowden (2013). 'Poisons Disguised with Honey': European Expansion and the Sacred Trust of Civilization. The European Legacy 18 (2):151-169.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  14. René Descartes (1996). Meditations on First Philosophy: With Selections From the Objections and Replies. Cambridge University Press.
    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 (...)
     
    Export citation  
     
    My bibliography   24 citations  
  15.  54
    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.
    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)  
     
    Export citation  
     
    My bibliography   4 citations  
  16.  24
    Andy F. Sanders (1996). Criticism, Contact with Reality and Truth. Tradition and Discovery 23 (3):24-37.
    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)  
     
    Export citation  
     
    My bibliography  
  17.  12
    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.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  18.  14
    Yannis Stephanou (2005). First-Order Modal Logic with an 'Actually' Operator. Notre Dame Journal of Formal Logic 46 (4):381-405.
    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)  
     
    Export citation  
     
    My bibliography   2 citations  
  19.  0
    Nicholas Jolley (1988). Meditations on First Philosophy with Selections From the Objections and Replies. History of European Ideas 9 (4):513-514.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  20. John Cottingham (ed.) (2015). René Descartes: Meditations on First Philosophy: With Selections From the Objections and Replies. Cambridge University Press.
    Descartes's Meditations on First Philosophy, published in Latin in 1641, is one of the most widely studied philosophical texts of all time, and inaugurates many of the key themes that have remained central to philosophy ever since. In his original Latin text Descartes expresses himself with great lucidity and elegance, and there is enormous interest, even for those who are not fluent in Latin, in seeing how the famous concepts and arguments of his great masterpiece unfold in the (...)
    No categories
     
    Export citation  
     
    My bibliography  
  21.  4
    Han-Gue Jo, Marc Wittmann, Tilmann Lhündrup Borghardt, Thilo Hinterberger & Stefan Schmidt (2014). First-Person Approaches in Neuroscience of Consciousness: Brain Dynamics Correlate with the Intention to Act. Consciousness and Cognition 26:105-116.
    The belief in free will has been frequently challenged since Benjamin Libet published his famous experiment in 1983. Although Libet’s experiment is highly dependent upon subjective reports, no study has been conducted that focused on a first-person or introspective perspective of the task. We took a neurophenomenological approach in an N = 1 study providing reliable and valid measures of the first-person perspective in conjunction with brain dynamics. We found that a larger readiness potential is attributable to (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22.  0
    Julie Wallbank (2007). Getting Tough on Mothers: Regulating Contact and Residence. Feminist Legal Studies 15 (2):189-222.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  23.  10
    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.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  24.  8
    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.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  25.  49
    Yasuhiko Murakami (2013). Affection of Contact and Transcendental Telepathy in Schizophrenia and Autism. Phenomenology and the Cognitive Sciences 12 (1):179-194.
    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)  
     
    Export citation  
     
    My bibliography  
  26.  2
    Merrie Bergmann (2005). Finite Tree Property for First-Order Logic with Identity and Functions. Notre Dame Journal of Formal Logic 46 (2):173-180.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  27.  10
    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.
    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)  
     
    Export citation  
     
    My bibliography  
  28.  9
    Andrea Cantini (1993). Extending the First-Order Theory of Combinators with Self-Referential Truth. Journal of Symbolic Logic 58 (2):477-513.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  29.  17
    Chris Fox & Shalom Lappin (2004). An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics. Logic Journal of the Interest Group in Pure and Applied Logics 12 (2):135--168.
    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. 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 (3 more)  
     
    Export citation  
     
    My bibliography  
  30.  14
    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.
    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)  
     
    Export citation  
     
    My bibliography  
  31.  4
    Robert F. Stärk (1995). First-Order Theories for Pure Prolog Programs with Negation. Archive for Mathematical Logic 34 (2):113-144.
    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)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  32.  6
    James S. Johnson (1973). Axiom Systems for First Order Logic with Finitely Many Variables. Journal of Symbolic Logic 38 (4):576-578.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  33.  21
    Shalom Lappin, Intensional First-Order Logic with Types.
    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)  
     
    Export citation  
     
    My bibliography  
  34.  18
    Walter Hussak (2008). Decidable Cases of First-Order Temporal Logic with Functions. Studia Logica 88 (2):247 - 261.
    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)  
     
    Export citation  
     
    My bibliography  
  35.  4
    W. Leaf (1890). Some Editions of the Iliad Homeri Ilias. Scholarum in Usum Edidit Paulus Cauer. Pars I. Carm. I.—XII. Editio Maior. Vienna, Tempsky; Leipzig, Freytag. 3m. Ditto. Ditto. Editio Minor, 1m. 75. The First Three Books of Homer's Iliad, with Introduction, Commentary, and Vocabulary for the Use of Schools. By Thomas D. Seymour, Hillhouse Professor of Greek in Yale College. Boston, Ginn. Homer's Ilias in Verkürzter Ausgabe. Für den Schulgebrauch von A. Th. Christ. MIT 9 Abbildungen Und 2 Karten. Vienna, Tempsky. 1 Fl. 30kr. [REVIEW] The Classical Review 4 (07):313-.
    Homeri Ilias. Scholarum in usum edidit Paulus Cauer. Pars I. Carm. I.—XII. Editio Maior. Vienna, Tempsky; Leipzig, Freytag. 3m. Ditto. Ditto. Editio Minor, 1m. 75. The First Three Books of Homer's Iliad, with Introduction, Commentary, and Vocabulary for the use of schools. By Thomas D. Seymour, Hillhouse Professor of Greek in Yale College. Boston, Ginn. Homer's Ilias in Verkürzter Ausgabe. Für den Schulgebrauch von A. Th. Christ. Mit 9 Abbildungen und 2 Karten. Vienna, Tempsky. 1 fl. 30kr.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  3
    Andreas B. M. Brunner (2004). First-Order Anti-Intuitionistic Logic with Apartness. Logic and Logical Philosophy 13:77-88.
    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)  
     
    Export citation  
     
    My bibliography  
  37.  13
    Mohamed A. Amer (1989). First Order Logic with Empty Structures. Studia Logica 48 (2):169 - 177.
    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)  
     
    Export citation  
     
    My bibliography  
  38.  1
    Francesc Esteva, Lluís Godo & Carles Noguera (2009). First-Order T-Norm Based Fuzzy Logics with Truth-Constants: Distinguished Semantics and Completeness Properties. Annals of Pure and Applied Logic 161 (2):185-202.
    This paper aims at being a systematic investigation of different completeness properties of first-order predicate logics with truth-constants based on a large class of left-continuous t-norms . We consider standard semantics over the real unit interval but also we explore alternative semantics based on the rational unit interval and on finite chains. We prove that expansions with truth-constants are conservative and we study their real, rational and finite chain completeness properties. Particularly interesting is the case of considering (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  39.  1
    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.
    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)  
     
    Export citation  
     
    My bibliography  
  40.  0
    Tarek Sayed Ahmed (2008). Weakly Representable Atom Structures That Are Not Strongly Representable, with an Application to First Order Logic. Mathematical Logic Quarterly 54 (3):294-306.
    Letn > 2. A weakly representable relation algebra that is not strongly representable is constructed. It is proved that the set of all n by n basic matrices forms a cylindric basis that is also a weakly but not a strongly representable atom structure. This gives an example of a binary generated atomic representable cylindric algebra with no complete representation. An application to first order logic is given.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  41. Dimitri Gutas (2010). Theophrastus on First Principles : Greek Text and Medieval Arabic Translation, Edited and Translated with Introduction, Commentaries and Glossaries, as Well as the Medieval Latin Translation, and with an Excursus on Graeco-Arabic Editorial Technique. Brill.
    Simultaneous critical editions based on all available evidence, with an introduction, English translations, and commentaries of the Greek text and a medieval Arabic translation of Theophrastus’s On First Principles , together with a methodological excursus on Graeco-Arabic editorial technique and normative glossary.
     
    Export citation  
     
    My bibliography  
  42.  0
    Tarek Sayed-Ahmed (2007). An Interpolation Theorem for First Order Logic with Infinitary Predicates. Logic Journal of the Igpl 15 (1):21-32.
    An interpolation Theorem is proved for first order logic with infinitary predicates. Our proof is algebraic via cylindric algebras.1.
    Direct download  
     
    Export citation  
     
    My bibliography  
  43.  0
    J. van Eijck, J. Heguiabehere & B. Ó Nualláin (2001). Tableau Reasoning and Programming with Dynamic First Order Logic. Logic Journal of the Igpl 9 (3):411-445.
    Dynamic First Order Logic results from interpreting quantification over a variable v as change of valuation over the v position, conjunction as sequential composition, disjunction as non-deterministic choice, and negation as test for continuation. We present a tableau style calculus for DFOL with explicit binding, prove its soundness and completeness, and point out its relevance for programming with DFOL, for automated program analysis including loop invariant detection, and for semantics of natural language. We also extend this to (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  44.  83
    K. A. N. Sastri (1959). Ancient Indian Contacts With Western Lands. Diogenes 7 (28):40-62.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  45.  56
    K. A. Nilakanta Sastri (1960). Indian Contacts With Western Lands-- Medieval. Diogenes 8 (32):28-48.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  46. John Earman & John T. Roberts (2005). Contact with the Nomic: A Challenge for Deniers of Humean Supervenience About Laws of Nature Part II: The Epistemological Argument for Humean Supervenience. Philosophy and Phenomenological Research 71 (2):253–286.
    In Part I, we presented and motivated a new formulation of Humean Supervenience about Laws of Nature (HS). Here in Part II, we present an epistemological argument in defense of HS, thus formulated. Our contention is that one can combine a modest realism about laws of nature with a proper recognition of the importance of empirical testability in the epistemology of science only if one accepts HS.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  47.  0
    K. A. Nilakanta Sastri (1960). Indian Contacts With Western Lands-- Medieval. Diogenes 8 (32):28-48.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  48.  2
    Shaun Stevenson, B. L. Beattie, Richard Vedan, Emily Dwosh, Lindsey Bruce & Judy Illes (2013). Neuroethics, Confidentiality, and a Cultural Imperative in Early Onset Alzheimer Disease: A Case Study with a First Nation Population. Philosophy, Ethics, and Humanities in Medicine 8 (1):15.
    The meaningful consideration of cultural practices, values and beliefs is a necessary component in the effective translation of advancements in neuroscience to clinical practice and public discourse. Society’s immense investment in biomedical science and technology, in conjunction with an increasingly diverse socio-cultural landscape, necessitates the study of how potential discoveries in neurodegenerative diseases such as Alzheimer disease are perceived and utilized across cultures. Building on the work of neuroscientists, ethicists and philosophers, we argue that the growing field of neuroethics (...)
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography  
  49.  47
    José Ferreirós (2009). C.K. Raju. Cultural Foundations of Mathematics: The Nature of Mathematical Proof and the Transmission of the Calculus From India to Europe in the 16th C. Ce. History of Science, Philosophy and Culture in Indian Civilization. [REVIEW] Philosophia Mathematica 17 (3):nkn028.
    This book is part of a major project undertaken by the Centre for Studies in Civilizations , being one of a total of ninety-six planned volumes. The author is a statistician and computer scientist by training, who has concentrated on historical matters for the last ten years or so. The book has very ambitious aims, proposing an alternative philosophy of mathematics and a deviant history of the calculus. Throughout, there is an emphasis on the need to combine history and philosophy (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  50.  1
    Lesley Newson & Tom Postmes (2005). Less Restricted Mating, Low Contact with Kin, and the Role of Culture. Behavioral and Brain Sciences 28 (2):291-292.
    On the basis of a reinterpretation of the International Sexuality Description Project (ISDP) data, we suggest that findings are consistent with the view that human reproductive behaviour is largely under social control. Behaviours associated with a high Sociosexual Orientation Index (SOI) may be part of a progressive change in reproductive behaviour initiated by the dispersal of kin that occurs as societies modernize.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 999