Results for 'A. Ruys'

1000+ found
Order:
  1.  33
    Boekbesprekingen.J. De Fraine, H. Geurtsen, P. Ahsmann, I. de la Potterie, C. Verhaak, C. Sträter, P. Fransen, P. Smulders, F. Malmberg, P. Ploumen, A. Knockaert, S. Trooster, A. van Kol, A. Snoeck, A. Ruys, J. Rupert, P. Grootens, P. van Doornik, F. De Raedemaeker, A. van Leeuwen, J. Defever, W. Couturier, L. Vander Kerken, F. de Raedemaeker, R. Hostie, J. Kijm, P. Sch & L. Verbeeck - 1957 - Bijdragen 18 (1):77-116.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. Filosofía pedagógica.Ruy de Ayres Bello - 1946 - Pôrto Alegre,: Livraria do Globo.
     
    Export citation  
     
    Bookmark  
  3.  2
    O discurso do avesso: para a crítica da geografia que se ensina.Ruy Moreira - 1987 - Rio de Janeiro: Dois Pontos.
  4. Da ritualização da sociedade ao fetiche consumogônico.Ruy Dos Santos Siqueira - forthcoming - Ethos: Journal of the Society for Psychological Anthropology.
    In this article, it tries to interpret the modern society under the the logic of the market, in which the human being is removed of the historical center and substituted by the consumption object, that stars to assume preponderant factor of control and social alienation in actual historial stage. The purpose of this article is to deonstrate that the contemporary society didn't renounce the rite neither the mythm as construction instruments and psychological and sociological elabration, To approriate or to link (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  76
    Philosophie.Iring Fetscher, A. Metz & J. Chaix-Ruy - 1959 - Archives de Philosophie 22:319.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  32
    Vigencia del Proyecto de una psicología para neurólogos.Ruy Henríquez - 2010 - Anales Del Seminario de Historia de la Filosofía 27:277-294.
    This paper expects establish the importance of the Project of a psychology for neurologists in the whole of Freud’s work, pointing out those points in which anticipates the theory that some years later will revolutionize the human thought, that is, anyone who defines the field of the psychoanalysis and that has to psychic device items and of unconscious as axes head offices.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  7. O círculo e a espiral: a crise paradigmática do mundo moderno.Ruy Moreira - 1993 - [Rio de Janeiro, Brazil]: Obra Aberta.
     
    Export citation  
     
    Bookmark   1 citation  
  8. O discurso do avesso (Para a crítica que se ensina). Rio de Janeiro.Ruy Moreira - forthcoming - Dois Pontos.
  9.  14
    On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics.Ruy Queiroz - 2008 - Studia Logica 90 (2):211-247.
    The intention here is that of giving a formal underpinning to the idea of ‘meaning-is-use’ which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett–Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i.e. the so-called reduction rules. For that we suggest an extension (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  31
    Claude Lefort e a crítica de “A propósito da questão judaica” de Marx: dialética e ideologia.Ruy Fausto - 2018 - Discurso 48 (1):193-219.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  31
    Normalisation and Language‐Games.Ruy J. G. B. Queiroz - 1994 - Dialectica 48 (2):83-123.
    The question of finding a suitable formal account of meaning for the logical signs has troubled many philosophers and logicians since the early days of formal logic, whenever it is even recognised as a problem. Here I attempt to show how two operational approaches to the problem can still be shown to be ‘technically’ equivalent, despite having emerged from two different readings of a single philosophical account, and being essentially distinct with respect to the rôle of ‘will’ in the mathematical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Taking Parenting Public: The Case for a New Social Movement.Enola G. Aird, Allan C. Carlson, David Elkind, William A. Galston, S. Jody Heymann, Wade F. Horn, Bernice Kanner, Juliet B. Schor, Raymond Seidelman, Theda Skocpol, Ruy Teixeira, Cornel West, Peter Winn, Edward Wolff & Ruth A. Wooden - 2002 - Rowman & Littlefield Publishers.
    Taking Parenting Public makes a compelling case that parenting has become dangerously undervalued in America today. It calls for a new investment—both personal and public—into the work of raising children and argues that we are all "stockholders" in the next generation. With a foreword by Sylvia Ann Hewlett and Cornel West, Taking Parenting Public crosses boundaries to bring together thinkers from diverse fields spanning the political spectrum. It features contributions from distinguished experts in economics, political science, public policy, child development, (...)
     
    Export citation  
     
    Bookmark  
  13.  19
    O Galo e a Coruja - a propósito de Para a Critica da Filosofia do Direito de Hegel , de Marx, e de algumas dificuldades originárias do projeto marxiano.Ruy Fausto - 2016 - Doispontos 13 (1).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  66
    Dialética marxista, dialética hegeliana - O Capital e A lógica de Hegel.Ruy Fausto - 1993 - Discurso 20:41-76.
    Este ensaio visa elucidar as relações entre Marx e Hegel a partir da análise de questões que diferenciam a “dialética limitada" do primeiro frente à dialética e à especulação do segundo. Essa diferença é destacada no estudo do problema do "entendimento", da “imaginação” do “tempo”, da “matéria” e da "negação".
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Philosophie.J. Abelé, O. Costa De, J. Chaix-ruy, Mt Antonelli, Mf Sciacca & A. Solignac - 1955 - Archives de Philosophie 19:159.
    No categories
     
    Export citation  
     
    Bookmark  
  16.  50
    Perceiving an exclusive cause of affect prevents misattribution.Kirsten I. Ruys, Henk Aarts, Esther K. Papies, Masanori Oikawa & Haruka Oikawa - 2012 - Consciousness and Cognition 21 (2):1009-1015.
    Affect misattribution occurs when affective cues color subsequent unrelated evaluations. Research suggests that affect misattribution decreases when one is aware that affective cues are unrelated to the evaluation at hand. We propose that affect misattribution may even occur when one is aware that affective cues are irrelevant, as long as the source of these cues seems ambiguous. When source ambiguity exists, affective cues may freely influence upcoming unrelated evaluations. We examined this using an adapted affect misattribution procedure where pleasant and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  28
    Sobre la polaridad simpatía-antipatía en la interpretación hipocrática de la phýsis humana.Ruy J. Henriquez Garrido - 2019 - Agora 38 (2).
    The purpose of this paper is studying the importance of the antithetical pair sympathy-antipathy, as an interpretive instrument of the human phýsis in the Hippocratic medical epistemology. His study aims to be a contribution to the understanding of the methods of inference developed by ancient medicine, in parallel to the demonstrative method.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18. Vigencia del Proyecto de una psicología para neurólogos.Ruy J. Henríquez Garrido - 2010 - Anales Del Seminario de Historia de la Filosofía 27:277-294.
    Este artículo pretende establecer la importancia del Proyecto de una psicología para neurólogos en el conjunto de la obra de Freud, señalando aquellos puntos en los que anticipa la teoría que, unos años más tarde, revolucionará el pensamiento humano, es decir, aquella que define el campo del psicoanálisis y que tiene a los conceptos de aparato psíquico y de inconsciente como ejes centrales.
    No categories
     
    Export citation  
     
    Bookmark  
  19. A propos d'Oliver Messiaen.J. Chaix Ruy - 1977 - Giornale di Metafisica 32 (4):376-400.
     
    Export citation  
     
    Bookmark  
  20.  15
    Not every pronoun is always a pronoun.E. G. Ruys - 2023 - Linguistics and Philosophy 46 (5):1027-1050.
    A homonymy analysis is proposed to explain the so-called “demonstrative use” of personal pronouns. This analysis explains why some pronouns (_it_) do not allow a demonstrative use, as demonstrated in Nunberg (1993). The absence of a demonstrative feature in _it_ can also account for the fact that it does not allow deferred reference. It is argued on the basis of the structure of the nominal demonstrative paradigm that the homonymy analysis is more parsimonious than a single-item analysis.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  5
    The Theory of an Arbitrary Higher \(\lambda\)-Model.Daniel Martinez & Ruy J. G. B. de Queiroz - 2023 - Bulletin of the Section of Logic 52 (1):39-58.
    One takes advantage of some basic properties of every homotopic \(\lambda\)-model (e.g. extensional Kan complex) to explore the higher \(\beta\eta\)-conversions, which would correspond to proofs of equality between terms of a theory of equality of any extensional Kan complex. Besides, Identity types based on computational paths are adapted to a type-free theory with higher \(\lambda\)-terms, whose equality rules would be contained in the theory of any \(\lambda\)-homotopic model.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  9
    O renascimento do sagrado na educação.Espírito Santo & Ruy Cezar do - 1998 - Campinas: Papirus Editora.
  23.  29
    On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211 - 247.
    The intention here is that of giving a formal underpinning to the idea of 'meaning-is-use' which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett-Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i. e. the so-called reduction rules. For that we suggest an (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  24.  12
    The Ontological Concept of Disease and the Clinical Empiricism of Thomas Sydenham.Ruy J. Henríquez Garrido - 2019 - Kairos 22 (1):161-178.
    The clinical empiricism of Thomas Sydenham (1624–1689) and his definition of especie morbosae represented a substantial turn in the medicine of his time. This turn supposed the shift towards an ontological conception of diseases, from a qualitative to quantitative interpretation. Sydenham’s clinical proposal had a great influence on empiricism philosophical thinking, particularly in John Locke and his delimitation of knowledge. The dialogue between medicine and philosophy, set out by Sydenham-Locke, reactivates the problem of the clinical and theoretical foundations of medical (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  34
    Traditions of research on the definition of contagious disease.Ruy J. Henriquez Garrido - 2015 - Dissertation, Complutense University of Madrid
    The conception of contagious disease that Girolamo Fracastoro provides in his work De contagione et contagiosis morbis, marks the origin of modern epidemiology and microbiology. This conception puts into play the Galenic and Aristotelian traditions of research, faced with its own conceptual limitations of the growing mechanistic thought of the time. According to Fracastoro, epidemic diseases spread by invisible living germs called seminaria, begotten by corrupted humours. Fracastoro resorted to the old notions of "sympathy" and "antipathy" to respond to questions (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  22
    On dividing chains in simple theories.Steffen Lewitzka & Ruy J. G. B. De Queiroz - 2005 - Archive for Mathematical Logic 44 (7):897-911.
    Dividing chains have been used as conditions to isolate adequate subclasses of simple theories. In the first part of this paper we present an introduction to the area. We give an overview on fundamental notions and present proofs of some of the basic and well-known facts related to dividing chains in simple theories. In the second part we discuss various characterizations of the subclass of low theories. Our main theorem generalizes and slightly extends a well-known fact about the connection between (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27. De Renan À Jacques Rivière Dilettantisme Et Amoralisme.Jules Chaix-ruy & Paul Archambault - 1930 - Bloud & Gay.
    No categories
     
    Export citation  
     
    Bookmark  
  28. Contribution à ma propre critique.Benedetto Croce & J. Chaix-ruy - 1952 - Revue Philosophique de la France Et de l'Etranger 142:113-116.
     
    Export citation  
     
    Bookmark  
  29. J.-B. Vico et les âges de l'humanité.Jules Chaix-Ruy - 1967 - Paris,: Seghers.
     
    Export citation  
     
    Bookmark  
  30. A Propos D'un Centenaire Oublié: Arthur Schopenhauer.Jules Chaix-ruy - 1962 - Archives de Philosophie 25 (2).
     
    Export citation  
     
    Bookmark  
  31. Le surhomme, de Nietzsche à Teilhard de Chardin.Jules Chaix-ruy - 1967 - Revue de Métaphysique et de Morale 72 (2):252-254.
    No categories
     
    Export citation  
     
    Bookmark  
  32.  16
    La construcción de la bioética.Ruy Pérez-Tamayo, Rubén Lisker & Ricardo Tapia (eds.) - 2007 - México, D.F.: Fondo de Cultura Económica.
    Este volumen trata de temas que en el mundo se debaten desde diversas perspectivas: la cuestion del embrion, el asesoramiento genetico y diagnostico prenatal, el aborto, la clonacion y celulas troncales, trasplante de organos, investigacion medica en seres humanos, eutanasia, neuroetica, eugenesia, etc. Ademas, el primer capitulo nos introduce al surgimiento del concepto de etica, y de ahi al nacimiento de la bioetica. Los autores exponen con seriedad e imparcialidad los puntos de vista contrarios a los que ellos mismos sostienen, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. The Object Turn: A Conversation.Todd Gannon, Graham Harman, David Ruy & Tom Wiscombe - 2015 - Log 33 (Winter):73-94.
     
    Export citation  
     
    Bookmark  
  34.  27
    A Proof‐Theoretic Account of Programming and the Role of Reduction Rules.Ruy J. G. B. De Queiroz - 1988 - Dialectica 42 (4):265-282.
    SummaryLooking at proof theory as an attempt to ‘code’ the general pattern of the logical steps of a mathematical proof, the question of what kind of rules can make the meaning of a logical connective completely explicit does not seem to have been answered satisfactorily. The lambda calculus seems to have been more coherent simply because the use of ‘λ’ together with its projection 'apply' is specified by what can be called a 'reduction' rule: β‐conversion. We attempt to analyse the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  35.  6
    Towards a homotopy domain theory.Daniel O. Martínez-Rivillas & Ruy J. G. B. de Queiroz - 2022 - Archive for Mathematical Logic 62 (3):559-579.
    An appropriate framework is put forward for the construction of $$\lambda $$ -models with $$\infty $$ -groupoid structure, which we call homotopic $$\lambda $$ -models, through the use of an $$\infty $$ -category with cartesian closure and enough points. With this, we establish the start of a project of generalization of Domain Theory and $$\lambda $$ -calculus, in the sense that the concept of proof (path) of equality of $$\lambda $$ -terms is raised to higher proof (homotopy).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  12
    ∞-Groupoid Generated by an Arbitrary Topological λ-Model.Daniel O. Martínez-Rivillas & Ruy J. G. B. de Queiroz - 2022 - Logic Journal of the IGPL 30 (3):465-488.
    The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules. Terms represent functions and this allows for the application of a term/function to any other term/function, including itself. The calculus can be seen as a formal theory with certain pre-established axioms and inference rules, which can be interpreted by models. Dana Scott proposed the first non-trivial model of the extensional lambda calculus, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  37.  89
    On reduction rules, meaning-as-use, and proof-theoretic semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211-247.
    The intention here is that of giving a formal underpinning to the idea of ‘meaning-is-use’ which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett–Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i.e. the so-called reduction rules. For that we suggest an extension (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38.  20
    The Functional Interpretation of the Existential Quantifier.Ruy B. de Queiroz & Dov Gabbay - 1995 - Logic Journal of the IGPL 3 (2-3):243-290.
    We are concerned with showing how ‘labelled’ Natural Deduction presentation systems based on an extension of the so-called Curry-Howard functional interpretation can help us understand and generalise most of the deduction calculi designed to deal with the logical notion of existential quantification. We present the labelling mechanism for ‘’ using what we call ‘ɛ-terms’, which have the form of ‘a’) in a dual form to the ‘Ax.f’ terms of in the sense that the ‘witness’ is chosen at the time of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  39. A filosofia na escola secundária brasileira: Breve reflexão histórica de um movimento intermitente.Bento Salvio Pequin, Maria Fernanda Alves Garcia Montero & Gilson Ruy Monteiro Teixeira - 2014 - Saberes Em Perspectiva 4 (9):54-70.
    A disciplina Filosofia no ensino secundário/médio brasileiro apresenta um movimento de intermitência caracterizado ora pela presença garantida, ora pela presença indefinida e ora pela ausência garantida, tal como define Dalton José Alves. Analisar esse fenômeno pela perspectiva da história das disciplinas escolare,s sob a compreensão de Chervel e Goodson, foi o objetivo deste trabalho. Para a investigação utilizou-se como fontes as leis de reformas do ensino secundário brasileiro, os programas da disciplina e a distribuição da carga horária destinada ao seu (...)
     
    Export citation  
     
    Bookmark  
  40.  11
    Edgar Morin e o pensamento complexo: uma possibilidade cognitiva.Ruy Rocha Junior - 2020 - Páginas de Filosofía 8 (1-2):63.
    Este artigo tem como pretensão apresentar alguns elementos teóricos da teoria da complexidade presente em Edgar Morin. A proposta segue por um viés de aproximar o leitor da compreensão de complexidade e completude; a polidisciplinaridade e a transdiciplinaridade com vista em destacar como a abordagem de Morin almeja despertar o conhecimento que, segundo o autor, esta adormedico.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. 12th Workshop on Logic, Language, Information and Computation, Florianópolis, Brasil, 19 a 22 de julho de 2005.Ruy J. G. B. de Queiroz, Angus Macintyre & Guilherme Bittencourt (eds.) - 2005 - Florianópolis, SC, Brasil: [S.N.].
     
    Export citation  
     
    Bookmark  
  42.  14
    Meaning, Function, Purpose, Usefulness, Consequences – Interconnected Concepts.Ruy B. de Queiroz - 2001 - Logic Journal of the IGPL 9 (5):693-734.
    Further to the connections between meaning and use, it seems useful to consider the consequences one is allowed to draw from a proposition as something directly related to its meaning/use. And indeed, Wittgenstein's references to the connections between meaning and the consequences, as well as between use and consequences are sometimes as explicit as his celebrated ‘definition’ of meaning as use given in the Investigations. Here we attempt to collect some of these references, discussing how an intuitive basis for the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  10
    From Tractatus to Later Writings and Back – New Implications from Wittgenstein’s Nachlass.Ruy J. G. B. de Queiroz - 2023 - SATS 24 (2):167-203.
    As a celebration of theTractatus100th anniversary it might be worth revisiting its relation to the later writings. From the former to the latter, David Pears recalls that “everyone is aware of the holistic character of Wittgenstein’s later philosophy, but it is not so well known that it was already beginning to establish itself in theTractatus” (The False Prison, 1987). From the latter to the former, Stephen Hilmy’s (The Later Wittgenstein, 1987) extensive study of theNachlasshas helped removing classical misconceptions such as (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  48
    Reflecting on the action or its outcome: Behavior representation level modulates high level outcome priming effects on self-agency experiences.Anouk van der Weiden, Henk Aarts & Kirsten I. Ruys - 2010 - Consciousness and Cognition 19 (1):21-32.
    Recent research suggests that one can have the feeling of being the cause of an action’s outcome, even in the absence of a prior intention to act. That is, experienced self-agency over behavior increases when outcome representations are primed outside of awareness, prior to executing the action and observing the resulting outcome. Based on the notion that behavior can be represented at different levels, we propose that priming outcome representations is more likely to augment self-agency experiences when the primed representation (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  45.  27
    Prime and probability: Causal knowledge affects inferential and predictive effects on self-agency experiences.Anouk van der Weiden, Henk Aarts & Kirsten I. Ruys - 2011 - Consciousness and Cognition 20 (4):1865-1871.
    Experiences of having caused a certain outcome may arise from motor predictions based on action–outcome probabilities and causal inferences based on pre-activated outcome representations. However, when and how both indicators combine to affect such self-agency experiences is still unclear. Based on previous research on prediction and inference effects on self-agency, we propose that their contribution crucially depends on whether people have knowledge about the causal relation between actions and outcomes that is relevant to subsequent self-agency experiences. Therefore, we manipulated causal (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  46.  10
    Migrants and Exiled: a sociopolitical interpretation of the Galician exile of 1936.Xosé M. Núñez Seixas & Ruy Farías - 2009 - Arbor 185 (735).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  13
    The Bulletin turned into a Journal.Dov Gabbay, Hans Ohlbach & Ruy de Queiroz - 1995 - Logic Journal of the IGPL 3 (5):682-682.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  18
    Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings.Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.) - 2021 - Springer Verlag.
    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The 25 full papers presented included 6 invited lectures were fully reviewed and selected from 50 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. Ruy Madsen Barbosa. Aprendendo com Palavrões Mágicos.John A. Fossa - 2001 - Princípios 8 (10):182-186.
    No categories
     
    Export citation  
     
    Bookmark  
  50.  14
    A dialética, o homem e o valor segundo Ruy Fausto.Jacques Texier - 1990 - Discurso 18:69-84.
    Este artigo trata do livro de Ruy Fausto, Marx, Logique et Politique, Recherches pour une recostitution du sens de la dialectique, publicado na França em 1986. Procura mostrar como o autor examina diferentes leituras de Marx: - a de Althusser, Castoriadis e Bonetti e Cartellier - fazendo ver que todas elas são leituras do entendimento.
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000