Results for 'Julien Da Costa Teixeira'

1000+ found
Order:
  1.  20
    Non-coherent interfaces in diffuse interface models.Benoît Appolaire, Elisabeth Aeby-Gautier, Julien Da Costa Teixeira, Moukrane Dehmas & Sabine Denis - 2010 - Philosophical Magazine 90 (1-4):461-483.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  53
    Who Rules the Ruler? On the Misconduct of Journal Editors.Aurora A. C. Teixeira & Mariana Fontes da Costa - 2010 - Journal of Academic Ethics 8 (2):111-128.
    There are very few (published) accounts of editorial misconduct, and those that do exist are almost exclusively focused on medicine-related areas. In the present article we detail a case of editorial misconduct in a rather underexplored domain, the social sciences. This case demonstrates that although legal systems provide different instruments of protection to avoid, compensate for, and punish misconduct on the part of journal editors, the social and economic power unbalance between authors and publishers suggests the importance of alternative solutions (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  3.  5
    Crónica.José R. Da Costa Pinto, R. Cabral, José Teixeira & Alfredo Dinis - 1986 - Revista Portuguesa de Filosofia 42 (1):211-220.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  4
    Existências Líquidas.Khetllen Da Costa Tavares - 2022 - Resistances. Journal of the Philosophy of History 3 (5):e21077.
    A partir de retratos de mulheres indígenas datados da primeira metade do século XX, conservados no acervo do Museu da Imagem e do Som de Manaus, este estudo, por meio da poética do livro de artista Existências Líquidas, apresenta um olhar subjetivo acerca das representações de povos originários. A obra partiu do desejo de entrelaçar afetos às imagens das retratadas memorando hábitos do cotidiano da minha família afro-indígena, como as receitas de chás, que aprendi com minha avó materna Norma (...). As fotos das retratadas, agrego fragmentos de vegetais que coletei durante caminhadas em Manaus e os associei à resistência do matagal no âmbito urbano como um ato de resistir da população indígena frente as políticas racistas, que desconsideram os modos de vida desses povos. (shrink)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  12
    The Action of Centripetal and Centrifugal Forces in Religious Discourse about People with Disabilities: Reflections Based on Bakhtin and the Circle.Dennis Souza da Costa & Ivana Siqueira Teixeira - 2024 - Bakhtiniana 19 (2):e63573p.
    RESUMO Este artigo analisa a atuação das forças centrípetas e centrífugas em enunciados da esfera religiosa que evidenciam cosmovisões do segmento cristão evangélico acerca da deficiência. Para tanto, selecionamos um vídeo disponível na plataforma YouTube contendo enunciados dos apresentadores Tito Rocha e Leandro Quadros relativos à temática da deficiência, bem como a resposta de uma internauta acerca do posicionamento desses sujeitos. A reflexão teórico-metodológica fundamenta-se na orientação dialógica da linguagem, sobretudo nas considerações acerca das relações dialógicas, vozes e forças centrípetas (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  10
    A atuação de forças centrípetas e centrífugas no discurso religioso sobre a pessoa com deficiência: reflexões a partir de Bakhtin e o Círculo.Dennis Souza da Costa & Ivana Siqueira Teixeira - 2024 - Bakhtiniana 19 (2):e63573p.
    ABSTRACT This article analyzes the action of centripetal and centrifugal forces in utterances from the religious sphere, which reveal worldviews of the evangelical Christian segment regarding disability. For that, we selected a video available on YouTube, containing utterances by the hosts Tito Rocha and Leandro Quadros regarding disabilities, as well as the response of an internet user about the positioning of these individuals. The theoretical and methodological reflection is based on the dialogical orientation of language, considering dialogic relations, voices, and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  9
    Em busca da experiência mundana e seus significados: Georg Simmel, Alfred Schutz e a antropologia.Carla Costa Teixeira (ed.) - 2000 - Rio de Janeiro: Relume Dumará.
  8.  20
    Implantação de Sistemas de Gestão da Qualidade Dos Alimentos: Revisão e Análise Empírica.Tatiane Aparecida dos Santos Costa, Talita Costa E. Silva Brito, Leandro Alberto de Azevedo & Estelamar Maria Borges Teixeira - 2019 - Simbio-Logias Revista Eletrônica de Educação Filosofia e Nutrição 11 (15):96-109.
    This review shows the various tools used to implemente the food quality system in food establishments. Presenting the various laws that subsidize this process, establishing criteria and instrumentes for a correct implementation of the quality system in order to offer adequate hygiene processes in the production of safe food, in addition to favoring the maintenance of companies in the consumer market. The implementation of food safety management systems such as Good Manufacturing Practices (GMP), Standard Operating Procedures (SOP) e Hazard Analysis (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  8
    A dimensão espiritual da comensalidade no filme “A Festa de Babette”: por uma compreensão ecumênica da hospitalidade e da eucaristia.Ceci Maria Costa Baptista Mariani, Breno Martins Campos & José Lima Júnior - forthcoming - Horizonte:206104-206104.
    A espiritualidade é o cuidado com a vida em sua integralidade. Como define Faustino Teixeira no artigo “Malhas da hospitalidade”, ela é a _capacidade de celebrar a vida em profundidade_, ou seja, a capacidade humana de reconhecer que a vida tem uma dimensão profunda – da qual irradiam amor desinteressado, gratuidade, atenção, cortesia e hospitalidade – e de se alegrar com isso. Diferentemente do que geralmente se pensa, a espiritualidade não se restringe aos templos e espaços religiosos, antes, diz (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
  11. The Logic of Pragmatic Truth.Newton C. A. Da Costa, Otávio Bueno & Steven French - 1998 - Journal of Philosophical Logic 27 (6):603-620.
    The mathematical concept of pragmatic truth, first introduced in Mikenberg, da Costa and Chuaqui (1986), has received in the last few years several applications in logic and the philosophy of science. In this paper, we study the logic of pragmatic truth, and show that there are important connections between this logic, modal logic and, in particular, Jaskowski's discussive logic. In order to do so, two systems are put forward so that the notions of pragmatic validity and pragmatic truth can (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  12. Professor Newton CA da Costa awarded Nicholas Copernicus University medal of merit.Newton C. A. da Costa, Jean-Yves Béziau & Otávio Bueno - 1999 - Logic and Logical Philosophy 7:7-10.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  56
    An Intensional Schrödinger Logic.Newton C. A. da Costa & Décio Krause - 1997 - Notre Dame Journal of Formal Logic 38 (2):179-194.
    We investigate the higher-order modal logic , which is a variant of the system presented in our previous work. A semantics for that system, founded on the theory of quasi sets, is outlined. We show how such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an alternative way to formalize some intensional concepts and features which have been used in recent discussions on the logical foundations of quantum mechanics; for example, that some terms like 'electron' have (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  14.  49
    Is there a zande logic?Newton C. A. Da Costa, Otávio Bueno & Steven French - 1998 - History and Philosophy of Logic 19 (1):41-54.
    The issue of what consequences to draw from the existence of non-classical logical systems has been the subject of an interesting debate across a diversity of fields. In this paper the matter of alternative logics is considered with reference to a specific belief system and its propositions :the Azande are said to maintain beliefs about witchcraft which, when expressed propositionally, appear to be inconsistent. When the Azande have been presented with such inconsistencies, they either fail to see them as such (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  15. The Model-Theoretic Approach in the Philosophy of Science.Newton C. A. Da Costa & Steven French - 1990 - Philosophy of Science 57 (2):248 - 265.
    An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   74 citations  
  16.  42
    The making of extraordinary facts: authentication of singularities of nature at the Royal Society of London in the first half of the eighteenth century.Palmira Fontes da Costa - 2002 - Studies in History and Philosophy of Science Part A 33 (2):265-288.
    This paper is concerned with the particular problems raised by observations of phenomena outside the common course of nature for their validation as knowledge. It examines to what extent the content of the reports and, in particular, their lack of intrinsic plausibility affected the methods used in their authentication and the assessment of testimony at the Royal Society in the first half of the eighteenth century. I show that literary strategies were usually necessary but not sufficient for the validation of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  17. Suppes Predicates for Space-Time.Newton C. A. Da Costa, Otávio Bueno & Steven French - 1997 - Synthese 112 (2):271-279.
    We formulate Suppes predicates for various kinds of space-time: classical Euclidean, Minkowski's, and that of General Relativity. Starting with topological properties, these continua are mathematically constructed with the help of a basic algebra of events; this algebra constitutes a kind of mereology, in the sense of Lesniewski. There are several alternative, possible constructions, depending, for instance, on the use of the common field of reals or of a non-Archimedian field (with infinitesimals). Our approach was inspired by the work of Whitehead (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  90
    Logical and Philosophical Remarks on Quasi-Set Theory.Newton Da Costa - 2007 - Logic Journal of the IGPL 15 (5-6):421-431.
    Quasi-set theory is a theory for dealing with collections of indistinguishable objects. In this paper we discuss some logical and philosophical questions involved with such a theory. The analysis of these questions enable us to provide the first grounds of a possible new view of physical reality, founded on an ontology of non-individuals, to which quasi-set theory may constitute the logical basis.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  19.  58
    A semantical Analysis of the Calculi C n.Newton C. A. Da Costa & E. H. Alves - 1977 - Notre Dame Journal Fo Formal Logic 18 (4):621-630.
  20.  92
    Issues in the foundations of science, I: Languages, structures, and models.Newton C. A. da Costa, Décio Krause & Otávio Bueno - unknown
    In this first paper of a series of works on the foundations of science, we examine the significance of logical and mathematical frameworks used in foundational studies. In particular, we emphasize the distinction between the order of a language and the order of a structure to prevent confusing models of scientific theories with first-order structures, and which are studied in standard model theory. All of us are, of course, bound to make abuses of language even in putatively precise contexts. This (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21.  55
    Quasi-Truth, Supervaluations and Free Logic.Newton C. A. Da Costa & Otavio Bueno - 1999 - History and Philosophy of Logic 20 (3-4):215-226.
    The partial structures approach has two major components: a broad notion of structure (partial structure) and a weak notion of truth (quasi-truth). In this paper, we discuss the relationship between this approach and free logic. We also compare the model-theoretic analysis supplied by partial structures with the method of supervaluations, which was initially introduced as a technique to provide a semantic analysis of free logic. We then combine the three formal frameworks (partial structures, free logic and supervaluations), and apply the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22.  43
    Pragmatic Probability.Newton C. A. Da Costa - 1986 - Erkenntnis 25 (2):141 - 162.
  23.  4
    alpha-models and systems T and T.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15:443.
  24.  33
    Aspects of Paraconsistent Logic.Newton A. da Costa, Jean-Yves Beziau & Otavio S. Bueno - 1995 - Logic Journal of the IGPL 3 (4):597-614.
  25. Logiques Classiques Et Non Classiques: Essai Sur Les Fondements De La Logique.N. C. A. da Costa - 2000 - Studia Logica 64 (3):435-443.
  26.  74
    Quantum Mechanics: Ontology Without Individuals.Newton da Costa & Olimpia Lombardi - 2014 - Foundations of Physics 44 (12):1246-1257.
    The purpose of the present paper is to consider the traditional interpretive problems of quantum mechanics from the viewpoint of a modal ontology of properties. In particular, we will try to delineate a quantum ontology that (i) is modal, because describes the structure of the realm of possibility, and (ii) lacks the ontological category of individual. The final goal is to supply an adequate account of quantum non-individuality on the basis of this ontology.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  27. The Paraconsistent Logic of Quantum Superpositions.Newton C. A. da Costa & Christian de Ronde - 2013 - Foundations of Physics 43 (7):845-858.
    Physical superpositions exist both in classical and in quantum physics. However, what is exactly meant by ‘superposition’ in each case is extremely different. In this paper we discuss some of the multiple interpretations which exist in the literature regarding superpositions in quantum mechanics. We argue that all these interpretations have something in common: they all attempt to avoid ‘contradiction’. We argue in this paper, in favor of the importance of developing a new interpretation of superpositions which takes into account contradiction, (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  28.  30
    Partial Structures and the Logic of Azande.Newton da Costa & Steven French - 1995 - American Philosophical Quarterly 32 (4):325 - 339.
  29. Malinowski and Suszko on many-valued logics: on the reduction of many-valuedness to two-valuedness.Newton da Costa, Jean-Yves Béziau & Otávio Bueno - 1996 - Modern Logic 6 (1):272--299.
  30.  44
    Science and Partial Truth: A Unitary Approach to Models and Scientific Reasoning.Newton C. A. Da Costa & Steven French - 2003 - New York, US: Oup Usa.
    Da Costa and French explore the consequences of adopting a 'pragmatic' notion of truth in the philosophy of science. Their framework sheds new light on issues to do with belief, theory acceptance, and the realism-antirealism debate, as well as the nature of scientific models and their heuristic development.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   125 citations  
  31. Remarks on the applications of paraconsistent logic to physics.Newton C. A. da Costa & Décio Krause - unknown
    In this paper we make some general remarks on the use of non-classical logics, in particular paraconsistent logic, in the foundational analysis of physical theories. As a case-study, we present a reconstruction of P.\ -D.\ F\'evrier's 'logic of complementarity' as a strict three-valued logic and also a paraconsistent version of it. At the end, we sketch our own approach to complementarity, which is based on a paraconsistent logic termed 'paraclassical logic'.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Definability and Invariance.N. C. A. da Costa & A. A. M. Rodrigues - 2007 - Studia Logica 86 (1):1-30.
    In his thesis Para uma Teoria Geral dos Homomorfismos (1944), the Portuguese mathematician José Sebastião e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein’s Erlangen Program and that foreshadows some notions and results of today’s model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva’s disposal. At the same time, we (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  33.  16
    O desafio da igualdade de género à luz da herança e das contradições de Rousseau.Marta Nunes da Costa - 2019 - Doispontos 16 (1).
    Rousseau é reconhecido como um dos grandes filósofos da nossa tradição ocidental, sobretudo pelo impacto que os seus ideais tiveram na definição da ideologia moderna de viés republicano e até mesmo liberal. Porém, apesar da defesa incansável daqueles que viriam a ser os ideais revolucionários franceses, Rousseau insiste em manter uma prática de desigualdade naturalizada, considerando as mulheres como inferiores e eternas desiguais dos homens. Mary Wollstonecraft foi a primeira a fazer a denúncia da contradição do pensamento de Rousseau, na (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  54
    On Jaśkowski's Discussive Logics.Newton C. A. da Costa & Francisco A. Doria - 1995 - Studia Logica 54 (1):33 - 60.
    We expose the main ideas, concepts and results about Jaśkowski's discussive logic, and apply that logic to the concept of pragmatic truth and to the Dalla Chiara-di Francia view of the foundations of physics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  36
    On the Logic of Belief.Newton C. A. da Costa & Steven French - 1989 - Philosophy and Phenomenological Research 49 (3):431 - 446.
  36. Julho-agosto setembro-outubro ano XV—n. 4—vol. 19 sumário ruy Afonso da Costa Nunes.Ruy Afonso da Costa Nunes - 1977 - Convivium: revista de filosofía 20:105.
    No categories
     
    Export citation  
     
    Bookmark  
  37. Gödel Incompleteness in Analysis, with an Application to the Forecasting Proble..Newton da Costa & Francisco Doria - 1994 - Philosophia Naturalis 31:25-62.
     
    Export citation  
     
    Bookmark  
  38. What is Semantics? A Brief Note on a Huge Question.Newton da Costa, Otávio Bueno & Jean-Yves Béziau - 1995 - Sorites 3:43-47.
    After mentioning the cogent connection between pure semantics and the particular set theoretical framework in which it is formulated, some issues regarding the conceptual status of semantics itself, as well as its relationship to logic, are concisely raised.
     
    Export citation  
     
    Bookmark   5 citations  
  39.  82
    A formal framework for the study of the notion of undefined particle number in quantum mechanics.Newton C. A. da Costa & Federico Holik - 2015 - Synthese 192 (2):505-523.
    It is usually stated that quantum mechanics presents problems with the identity of particles, the most radical position—supported by E. Schrödinger—asserting that elementary particles are not individuals. But the subject goes deeper, and it is even possible to obtain states with an undefined particle number. In this work we present a set theoretical framework for the description of undefined particle number states in quantum mechanics which provides a precise logical meaning for this notion. This construction goes in the line of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  12
    Ethical potentialities on physical education as a vehicle for ethical education through sports.Luísa Ávila da Costa, Michael McNamee & Teresa Lacerda - 2016 - Recerca.Revista de Pensament I Anàlisi 18:29-48.
    Sports occupy an interesting ethical space from a pedagogic point of view, being included in physical education curricula in most Western countries. The approach of physical education to sports as vehicle for ethical education is too limited when it is restricted to their minimal functional, constitutive and regulatory goals. This essay’s aim is to argue the extent to which the ethical potential of physical education can embrace more than functional purposes, or whether that will be neglected in terms of limited (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41. Physics, inconsistency, and quasi-truth.Newton C. A. Da Costa & Décio Krause - 2014 - Synthese 191 (13):3041-3055.
    In this work, the first of a series, we study the nature of informal inconsistency in physics, focusing mainly on the foundations of quantum theory, and appealing to the concept of quasi-truth. We defend a pluralistic view of the philosophy of science, grounded on the existence of inconsistencies and on quasi-truth. Here, we treat only the ‘classical aspects’ of the subject, leaving for a forthcoming paper the ‘non-classical’ part.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42. saints de sicile et d'Italie méridionale aux VIIIe, IXe et Xe siècles.Ginette Da Costa-Louillet - forthcoming - Byzantion.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  43. As diferentes manifestações da juventude na escola: uma visão dos impassses e das perspectivas.Mariane Brito da Costa - 2010 - Conjectura: Filosofia E Educação 15 (1):93-105.
    Este artigo dialoga com autores que estudam a temática juventude e escola, problematizando a função da escola como locus de socialização. Parte do pressuposto de que muitos problemas enfrentados pelos jovens na escola é resultado de uma realidade em que as culturas juvenis, caracterizadas por determinadas formas de comportamento, como, gostos, atitudes, estilo de vida, forma de ser, vestir, dançar, falar, se divertir e se relacionar não podem se fazer presentes. Em virtude disso, analisa a desarticulação da escola com as (...)
    No categories
     
    Export citation  
     
    Bookmark  
  44.  70
    Définition, Théorie des Objets et Paraconsistance (Definition, Objects' Theory and Paraconsistance).Newton C. A. da Costa & Jean-Yves Béziau - 1998 - Theoria 13 (2):367-379.
    Trois sortes de définitions sont présentées et discutées: les définitions nominales, les définitions contextuelles et les définitions amplificatrices. On insiste sur le fait que I’elimination des definitions n’est pas forcement un procede automatique en particulier dans le cas de la logique paraconsistante. Finalement on s’int’resse à la théorie des objets de Meinong et l’on montre comment elle peut êrre considéréecomme une théorie des descripteurs.Three kinds of definitions are presented and discussed: nominal definitions, contextual definitions, amplifying definitions. It is emphasized that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45. Acompanhamento e promoção do desenvolvimento na Educação Infantil: algumas contribuições da Psicologia Escolar.Adinete Sousa da Costa Mezzalira & Raquel Souza Lobo Guzzo - 2011 - Revista Aletheia 35:22-35.
    Essa pesquisa investigou os fatores que estariam interferindo no acompanhamento e na promoção do desenvolvimento das crianças em uma instituição pública de Educação Infantil, bem como avaliou a opinião das educadoras acerca de uma proposta de acompanhamento do desenvolvimento infantil. A pesquisa ad..
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  43
    Paraconsistency: towards a tentative interpretation.Newton C. A. Da Costa & Otávio Bueno - 2001 - Theoria 16 (40):119-145.
    In this expository paper, we examine some philosophical and technical issues brought by paraconsistency . We also suggest a way of accommodating these issues by considering some problems in the philosophy of logic from a new perspective.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  33
    Relations between paraconsistent logic and many-valued logic.Newton Ca da Costa & Elias H. Alves - 1981 - Bulletin of the Section of Logic 10 (4):185-191.
  48. Schrrdinger Logics'.N. C. A. Da Costa & D. Krause - 1994 - Studia Logica 53 (4).
  49.  56
    A coherence theory of truth/Uma teoria coerentista da verdade.Newton da Costa, Otávio Bueno & Steven French - 2007 - Manuscrito 30 (2):539-568.
    In this paper, we provide a new formulation of a coherence theory of truth using the resources of the partial structures approach − in particular the notions of partial structure and quasi-truth. After developing this new formulation, we apply the resulting theory to the philosophy of mathematics, and argue that it can be used to develop a new account of nominalism in mathematics. This application illustrates the strength and usefulness of the proposed formulation of a coherence theory of truth.Neste artigo, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  33
    Nietzsche and Cosmology: A Possible Way of Enriching the Practice of Science.Wigson Rafael Silva da Costa & Antonio Augusto Passos Videira - 2023 - Perspectives on Science 31 (4):503-533.
    In this paper we will present the philosopher Friedrich Nietzsche’s main reflections on the scientific enterprise, its relation to the metaphysical tradition, and how the German author drew on the nineteenth century cosmological discussion to develop a worldview that ultimately endorses a dynamic and more creative form of science, whose representations and values should not be separated from human interests.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000