Results for 'Chuaqui Rolando'

171 found
Order:
  1.  48
    Free-Variable Axiomatic Foundations of Infinitesimal Analysis: A Fragment with Finitary Consistency Proof.Rolando Chuaqui & Patrick Suppes - 1995 - Journal of Symbolic Logic 60 (1):122-159.
    In treatises or advanced textbooks on theoretical physics, it is apparent that the way mathematics is used is very different from what is to be found in books of mathematics. There is, for example, no close connection between books on analysis, on the one hand, and any classical textbook in quantum mechanics, for example, Schiff, [11], or quite recent books, for example Ryder, [10], on quantum field theory. The differences run a good deal deeper than the fact that the books (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  2.  8
    Chuaqui Rolando Basim. Axiomatic Set Theory, Impredicative Theories of Classes. North-Holland Mathematics Studies, No.. 51, Notas de Matematica, No. 78. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, Xv + 388 Pp. [REVIEW]F. R. Drake - 1984 - Journal of Symbolic Logic 49 (4):1422-1422.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  48
    Forcing for the Impredicative Theory of Classes.Rolando Chuaqui - 1972 - Journal of Symbolic Logic 37 (1):1-18.
  4.  47
    The Geometry of Legal Principles.Rolando Chuaqui & Jerome Malitz - 1991 - Theory and Decision 30 (1):27-49.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  17
    Keith J. Devlin. Fundamentals of Contemporary Set Theory. Universitext. Springer-Verlag, New York, Heidelberg, and Berlin, 1979, Viii + 182 Pp. [REVIEW]Rolando Chuaqui - 1981 - Journal of Symbolic Logic 46 (2):419-420.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  23
    Truth, Possibility and Probability: New Logical Foundations of Probability and Statistical Inference Vol. 166.Rolando Chuaqui - 1991 - Access Online Via Elsevier.
    This unique book presents a new interpretation of probability, rooted in the traditional interpretation that was current in the 17th and 18th centuries.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  15
    Newton C. A. Da Costa. Ensaio Sobre Os Fundamentos da Lógica. Editora Hucitec, Editora da Universidade de São Paulo, São Paulo1980, Xii + 255 Pp. [REVIEW]Rolando Chuaqui - 1991 - Journal of Symbolic Logic 56 (4):1500-1503.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  22
    Meeting of the Association for Symbolic Logic Santiago, Chile 1970.Rolando Chuaqui - 1971 - Journal of Symbolic Logic 36 (3):576-580.
  9.  14
    Obras Completas, by Gödel Kurt. Edited by Mosterín Jesús. Alianza Universidad. Alianza Editorial, Madrid 1981, 430 Pp.Mosterín Jesús. Prólogo. Pp. 9–13.Mosterín Jesús. Introducción. Pp. 15–19, 35–36, 41, 45–54, 91, 95–96, 101–102, 105–106, 109, 113–114, 117–119, 127–129, 147–150, 183–184, 187–188, 191, 195–196, 205–213, 295–296, 329–330, 337–339, 401–403, 413–414.Gödel Kurt. La Suftciencia de Los Axiomas Del Caĺculo Lógico de Primer Orden. Pp. 20–34. Spanish Translation by Mosterín Jesús of 4182.Gödel Kurt. Un Caso Especial Del Problema de la Decision En la Idgica Tedrica. Pp. 37–39. Spanish Translation by Mosterín Jesús of 4187.Gödel Kurt. Algunos Resultados Metamatemáticos Sobre Completudy Consistencia. Pp. 42–43. Spanish Translation by Mosterín Jesús of 4181.Gödel Kurt. Sobre Sentencias Formalmente Indecidibles de Principia Mathematica y Sistemas Afines. Pp. 55–89. Spanish Translation by Mosterín Jesús of 4185 with an Added Note From XXXVII 405.Gödel Kurt. Sobre Completud y Consiste. [REVIEW]Rolando Chuaqui - 1983 - Journal of Symbolic Logic 48 (4):1199-1201.
  10.  68
    On Suppes' Set Theoretical Predicates.Newton C. A. Costa & Rolando Chuaqui - 1988 - Erkenntnis 29 (1):95-112.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  11.  12
    Review: Keith J. Devlin, Fundamentals of Contemporary Set Theory. [REVIEW]Rolando Chuaqui - 1981 - Journal of Symbolic Logic 46 (2):419-420.
  12.  9
    Review: Kurt Godel, Jesus Mosterin, Obras Completas. [REVIEW]Rolando Chuaqui - 1983 - Journal of Symbolic Logic 48 (4):1199-1201.
    uando Augusto consolidaba el Imperio romano, en su centro cultural, Alejandría, nace Filón. Filósofo, exégeta y maestro en su comunidad judía, Filón es testigo de la convivencia del judaísmo de lengua griega con una sociedad helenizada que en Egipto parecía acercarse al ideal de la pax romana. Pero también es el principal informante sobre el primer pogrom contra su comunidad en el año 38. Sus escritos constituyen la más importante expresión del judaísmo de lengua griega que encontró su ocaso en (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  7
    Review: Newton C. A. Da Costa, Ensaio Sobre Os Fundamentos da Logica. [REVIEW]Rolando Chuaqui - 1991 - Journal of Symbolic Logic 56 (4):1500-1503.
  14.  22
    Sentences of Type Theory: The Only Sentences Preserved Under Isomorphisms.M. Victoria Marshall & Rolando Chuaqui - 1991 - Journal of Symbolic Logic 56 (3):932-948.
  15.  10
    Sentences of Type Theory: The Only Sentences Preserved Under Isomorphisms.M. Victoria Marshall & Rolando Chuaqui - 1991 - Journal of Symbolic Logic 56 (3):932-948.
  16.  59
    On Suppes' Set Theoretical Predicates.Newton C. A. da Costa & Rolando Chuaqui - 1988 - Erkenntnis 29 (1):95-112.
  17.  8
    Meeting of the Association for Symbolic Logic.Xavier Caicedo, Rolando Chuaqui, Newton C. A. Da Costa & Carlos A. Di Prisco - 1984 - Journal of Symbolic Logic 49 (4):1430-1440.
  18. Pragmatic Truth and Approximation to Truth.Irene Mikenberg, Newton C. A. Costa & Rolando Chuaqui - 1986 - Journal of Symbolic Logic 51 (1):201-221.
  19.  55
    Pragmatic Truth and Approximation to Truth.Mikenberg Irene, C. A. Da Costa Newton & Chuaqui Rolando - 1986 - Journal of Symbolic Logic 51 (1):201 - 221.
    There are several conceptions of truth, such as the classical correspondence conception, the coherence conception and the pragmatic conception. The classical correspondence conception, or Aristotelian conception, received a mathematical treatment in the hands of Tarski (cf. Tarski [1935] and [1944]), which was the starting point of a great progress in logic and in mathematics. In effect, Tarski's semantic ideas, especially his semantic characterization of truth, have exerted a major influence on various disciplines, besides logic and mathematics; for instance, linguistics, the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  20.  10
    Pragmatic Truth and Approximation to Truth.Irene Mikenberg, Newton C. A. da Costa & Rolando Chuaqui - 1986 - Journal of Symbolic Logic 51 (1):201-221.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  21.  20
    Meeting of the Association for Symbolic Logic, Santiago, Chile, 1978.Ayda I. Arruda, Rolando Chuaqui, Newto N. C. A. da Costa & Irene Mikenberg - 1981 - Journal of Symbolic Logic 46 (1):180-190.
  22.  17
    Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978.Ayda I. Arruda, Rolando Chuaqui, Newton C. A. da Costa & Irene Mikenberg - 1981 - Journal of Symbolic Logic 46 (1):180 - 190.
  23.  30
    Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978.Ayda I. Arruda, Rolando Chuaqui, Newton C. A. Costa & Irene Mikenberg - 1981 - Journal of Symbolic Logic 46 (1):180-190.
  24. Meeting of the Association for Symbolic Logic: Bogotá, Colombia, 1981.Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui & Newton C. A. Costa - 1983 - Journal of Symbolic Logic 48 (3):884-892.
  25.  35
    Meeting of the Association for Symbolic Logic: Bogotá, Colombia, 1981.Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui & Newton C. A. da Costa - 1983 - Journal of Symbolic Logic 48 (3):884 - 892.
  26.  28
    Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976.Ayda I. Arruda, Francisco Miró Quesada, Newton C. A. Da Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352 - 364.
  27.  27
    Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976.Ayda I. Arruda, Francisco Miro Quesada, Newton C. A. Da Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352-364.
  28.  16
    Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1976.Ayda I. Arruda, Francisco Miró, Newton C. A. da Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352-364.
  29.  30
    Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976.Ayda I. Arruda, Francisco Miró Quesada, Newton C. A. Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352-364.
  30.  9
    Review: Rolando Basim Chuaqui, Axiomatic Set Theory. Impredicative Theories of Classes. [REVIEW]F. R. Drake - 1984 - Journal of Symbolic Logic 49 (4):1422-1422.
  31. How Does Probability Theory Generalize Logic?David Miller -
    Rolando Chuaqui y yo, nos encontramos una ´ unica vez, en Bah´ıa Blanca en agosto 1992, en el Simposio Latino- Americano de L´ ogica Matem´ atica. Lamentablemente, Chuaqui muri´ o antes de mi pr´ oxima visita a Am´ erica del Sur, igual que otro gran l´ ogico latinoamericano, Carlos Alchourr´ on. Chuaqui estuvo en Bah´ıa Blanca juntos con varios alumnos que hablaron sobre aspectos de la l´.
     
    Export citation  
     
    Bookmark  
  32.  6
    Saturation and Σ₂-Transfer for ERNA.Chris Impens - 2009 - Journal of Symbolic Logic 74 (3):901-913.
    Elementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis with a PRA consistency proof, proposed around 1995 by Patrick Suppes and Richard Sommer. It is built on a previous system by Rolando Chuaqui and Patrick Suppes, which was recently reconsidered by Michal Rössler and Emil Jeřábek. A $\Pi _1 $ -transfer principle has already been added to ERNA and the consistency of the resulting theory proved in PRA. Here, we equip ERNA with Σ₂-transfer (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  37
    More Infinity for a Better Finitism.Sam Sanders - 2010 - Annals of Pure and Applied Logic 161 (12):1525-1540.
    Elementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis with a PRA consistency proof, proposed in around 1995 by Patrick Suppes and Richard Sommer. It is based on an earlier system developed by Rolando Chuaqui and Patrick Suppes. Here, we discuss the inherent problems and limitations of the classical nonstandard framework and propose a much-needed refinement of ERNA, called , in the spirit of Karel Hrbacek’s stratified set theory. We study the metamathematics of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  22
    Transfer and a Supremum Principle for ERNA.Chris Impens & Sam Sanders - 2008 - Journal of Symbolic Logic 73 (2):689 - 710.
    Elementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis proposed around 1995 by Patrick Suppes and Richard Sommer, who also proved its consistency inside PRA. It is based on an earlier system developed by Rolando Chuaqui and Patrick Suppes, of which Michal Rössler and Emil Jeřábek have recently proposed a weakened version. We add a Π₁-transfer principle to ERNA and prove the consistency of the extended theory inside PRA. In this extension of ERNA (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  35.  1
    Thinking the Event with Hannah Arendt.Rolando Vázquez - 2006 - European Journal of Social Theory 9 (1):43-57.
    This article addresses the critique of the modern conception of history and time through a reading of Hannah Arendt. Arendt’s work provides an alternative to the thought with universal pretensions that has dominated the panorama of modernity. She thinks the historical through contradiction and gives a place to human experience next to facts. In thinking the event Arendt shows the insufficiency of the modern chronological appropriation of the past and the limits of using theory as a given framework of interpretation. (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  36.  35
    C. Chuaqui: Musicología Griega. Pp. 268. Mexico City: Universidad Nacional Autónoma de México, 2000. Paper. ISBN: 968-36-8822-5. [REVIEW]Jon Solomon - 2002 - The Classical Review 52 (2):381-381.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  8
    Educar y vigilar. Pobrezas y discursos normalistas en la educación territoriana neuquina, en la primera mitad del siglo XX.Rolando Javier Bel - 2005 - Diálogos (Maringa) 9 (3).
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. The Jealous Mountain Range.Rolando Silla - 2018 - In Gert Melville (ed.), Nature and Human: An Intricate Mutuality. De Gruyter. pp. 203-214.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  7
    Sociology of Science and Sociogenesis of Knowledge.Rolando García - 1987 - In B. Inhelder, D. De Caprona & A. Cornu-Wells (eds.), Piaget Today. Lawrence Erlbaum. pp. 127--140.
  40. Appearance in This List Does Not Preclude a Future Review of the Book Where They Are Known, Prices Are Given Either in $ US or in£ UK Aboulafia, Mitchell B (Ed.), Philosophy. Social Theory, and the Thought of George Her-Bert Mead, New York, SUNY, 1991, 319pp.,£ 12.95 Abrams, D. & Hogg, MA (Eds), Social Identity Theory Constructive and Critical. [REVIEW]Rolando Eotvos Nominatae - 1991 - Mind 100:398.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  1
    Studies on Montesquieu - Mapping Political Diversity.Rolando Minuti - 2018 - Springer Verlag.
    This volume studies a fundamental element of Montesquieu’s argumentative architecture that is most apparent in his De l’Esprit des Lois: the problem of giving order to, and establishing a network of consistent explanations of political, social and cultural diversity. Following a thorough and careful analysis of his writings, the volume approaches this subject by observing the use of the information sources available to Montesquieu, the relationships between them, and the judgments he expresses. The book examines some of Montesquieu’s essential theoretical (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  57
    Fundamentación socio-jurídica de Los procesos normativos.Rolando Pavó Acosta - 2007 - Dikaiosyne 10 (18):101-122.
    Artículos ¿Por qué democracia? Referencia a los derechos humanos y a la ciudadanía. Why democracy? Reference to human rights and citizenship. Bozo de Carmona, Ana Julia Libertad de expresión y "libertad cómica". Free speech and "comical liberty".Calvo González, José La justicia según J. Finnis. Justice according to John Finnis. Hocevar G., Mayda G. El lenguaje sagrado y su escritura. The sacred language and its writing. Lizaola, Julieta Del carácter coactivo de la μετηνεστασζ en Tucídides. On cornening to compelling nature of (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43. Filipino Philosophy: A Western Tradition in an Eastern Setting.Rolando Gripaldo - 2009 - In Rolando M. Gripaldo (ed.), The Making of a Filipino Philosopher and Other Essays. National Book Store.
    In tracing historically the development of Filipino philosophy as traditionally conceived, the author discovered that the early Filipino philosophers were Enlightenment thinkers. This was the direct consequence of the Filipino colonial experience and the explanation why the trajectory of Filipino philosophy is basically Western in orientation.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  44. TMRM Thales de Mileto vs Resto del Mundo.Rolando Tamayo - 2001 - Isonomía. Revista de Teoría y Filosofía Del Derecho 14:109-133.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  2
    Psychogenèse Et Histoire des Sciences.Jean Piaget & Rolando García - 1983
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   37 citations  
  46. Insediamenti dei frati predicatori a bologna.Rolando Dondarini - 2006 - Divus Thomas 109 (2):230-255.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. Graeca in Latin Texts and Other Emendations.Rolando Ferri - 2015 - Hermes 143 (4):503-507.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. Post-National Family/Post-Familial Nation: Family, Small Town, and Nation Talk in Marcos and Brocka.Rolando B. Tolentino - 1999 - Budhi: A Journal of Ideas and Culture 3 (1):119-138.
  49. Lara, Rolando, Sandoval, Elena, Borchers, Willi-Obituary.Ma Arbib - 1985 - Cognitive Science 9 (4):399-401.
     
    Export citation  
     
    Bookmark  
  50. Mercado y equidad: de la crisis del Estado a la política social.Rolando Cordera Campos - 1995 - Revista Internacional de Filosofía Política 6:31-51.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 171