Results for 'Chaix-Ruy, J.'

(not author) ( search as author name )
995 found
Order:
  1. J. Chaix-Ruy, Les dimensions de l'être et du temps.Helmut Kuhn - 1955 - Philosophische Rundschau 3 (1/2):126.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. Mario Pagano, Nicolas Boulanger et J. B. Vico.J. Chaix Ruy - 1948 - Giornale di Metafisica 3 (5/6):388.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. A Propos d'Oliver Messiaen.J. Chaix Ruy - 1977 - Giornale di Metafisica 32 (4):376-400.
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. Humanisme: transcendance de l'humain.J. Chaix Ruy - 1952 - Giornale di Metafisica 7 (6):647.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. Les deux Cités.J. Chaix Ruy - 1947 - Les Etudes Philosophiques 2:126.
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. Le problème du temps dans les "Confessions" et dans "La Cité de Dieu".J. Chaix Ruy - 1954 - Giornale di Metafisica 9 (4/5):464.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. Pirandello e il teatro francese contemporaneo.J. Chaix Ruy - 1975 - Giornale di Metafisica 30 (4):357-378.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. L'histoire Comme Pensée Et Comme Action. Préface, Traduction Et Notes de Jules Chaix-Ruy.Benedetto Croce & Jules Chaix-ruy - 1968 - Droz.
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  13
    Jules Chaix-Ruy. Le Surhomme de Nietzsche À Teilhard de Chardin, Édition du Centurion, Paris, 1965, 348 Pp.André Moreau - 1966 - Dialogue 5 (2):292-296.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. par Jules CHAIX-RUY.Jb Vico - 1977 - Archives de Philosophie 40:3-12.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. Al Bookbindino Co. C V 5 1 R>.Jules Chaix-Ruy - 1977 - Archives de Philosophie 40:3-12.
    No categories
     
    Export citation  
     
    Bookmark  
  12. Existence et temporalité selon saint Augustin.Jules Chaix-Ruy - 1958 - Augustinus 3:337-349.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. La Genèse de l'historicisme chez Benedetto Croce.Jules Chaix-Ruy - 1953 - Revue Internationale de Philosophie 7 (26):315.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Vico et l'historicisme.Jules Chaix-Ruy - 1977 - Archives de Philosophie 40 (1):41-66.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. JuLes chaix-ruy: "Les dimensions de l'etre et du temps". [REVIEW]Daniel Christoff - 1955 - Revue de Théologie Et de Philosophie 5 (1):78.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  4
    Meaning as Grammar Plus Consequences.J. Ruy - 1991 - Dialectica 45 (1):83-86.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  4
    Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics.Dov M. Gabbay & Ruy J. G. B. De Queiroz - 1992 - Journal of Symbolic Logic 57 (4):1319 - 1365.
  18.  19
    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 (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  19.  26
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  22
    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   1 citation  
  21.  4
    6th Workshop on Logic, Language, Information and Computation.Ruy J. G. B. De Queiroz & Walter Carnielli - 1999 - Bulletin of Symbolic Logic 5 (3):424-425.
  22.  31
    Abstract Data Types and Type Theory: Theories as Types.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):149-166.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  29
    Proof Theory and Computer Programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):389-414.
  24.  15
    Las fantasías inconscientes como material y fuente de los síntomas.Ruy J. Henríquez Garrido - 2015 - Logos. Anales Del Seminario de Metafísica [Universidad Complutense de Madrid, España] 48:203-209.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  14
    Popper, "Bouvard y Pécuchet": Nueva refutación del mundo 3.Ruy J. Henríquez Garrido - 2002 - Logos. Anales Del Seminario de Metafísica [Universidad Complutense de Madrid, España] 35:331-346.
    Utilizando el argumento de la novela Bouvard y Pécuchetde Flaubert, como posible refutación del Mundo 3 de Popper, analizamos algunas de las principales consecuencias que para la filosofía de la mente, así como para la ciencia y el conocimiento, tiene el pensamiento popperiano sobre el llamado mundo del conocimiento objetivo.
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  21
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. 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
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  17
    Proof Theory and Computer Programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Mathematical Logic Quarterly 36 (5):389-414.
  29.  14
    Abstract Data Types and Type Theory: Theories as Types.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1991 - Mathematical Logic Quarterly 37 (9‐12):149-166.
  30. Of a French Edition of" Contribution to the Criticism of Myself"(with an Unpublished Letter by Jules Chaix-Ruy to Benedetto Croce).Oreste Trabucco - 2012 - Giornale Critico Della Filosofia Italiana 8 (3):645-677.
    No categories
     
    Export citation  
     
    Bookmark  
  31. Su un'edizione francese del "Contributo alla critica di me stesso" (con una lettera inedita di Jules Chaix-Ruy a Benedetto Croce).Oreste Trabucco - 2012 - Giornale Critico Della Filosofia Italiana 8 (3):645-677.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  7
    The Functional Interpretation of the Existential Quantifier.Ruy J. G. B. de Queiroz & Dov M. Gabbay - 1995 - Logic Journal of the IGPL 3 (2-3):243-290.
  33.  68
    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   1 citation  
  34.  8
    Abstract Data Types and Type Theory: Theories as Types.Ruy J. B. de Queiroz - 1991 - Mathematical Logic Quarterly 37 (9-12):149-166.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  3
    Proof Theory and Computer Programming.Ruy J. B. de Queiroz & Thomas Maibaum - 1990 - Mathematical Logic Quarterly 36 (5):389-414.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  36. Vico et l'historicisme Par Jules chaix-ruy.Archives de Philosophie - 1977 - Archives de Philosophie 40:41-66.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  18
    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  
  38.  10
    On the Identity Type as the Type of Computational Paths.F. Ramos Arthur, J. G. B. De Queiro Ruy & G. De Oliveira Anjolina - 2017 - Logic Journal of the IGPL 25 (4):562-584.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  47
    Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics.Dov M. Gabbay & Ruy J. G. B. de Queiroz - 1992 - Journal of Symbolic Logic 57 (4):1319-1365.
  40.  4
    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 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 thought, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  19
    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  
  42.  14
    3rd Workshop on Logic, Language, Information and Computation (Wollic'96).Ruy J. G. B. de Queiroz - 1996 - Bulletin of Symbolic Logic 2 (3):374-374.
  43.  20
    Conferences.Ruy J. G. B. de Queiroz - 1996 - Logic Journal of the IGPL 4 (3):473-527.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  36
    Eighth Workshop on Logic, Language, Information and Computation (WoLLIC '2001).Ruy J. G. B. de Queiroz - 2002 - Bulletin of Symbolic Logic 8 (2):319-320.
  45. Normalisation and Languages-Games.Ruy J. G. B. de Queiroz - 1994 - Dialectica 48 (2):83-123.
     
    Export citation  
     
    Bookmark   2 citations  
  46.  42
    Second Workshop on Logic, Language, Information and Computation.Ruy J. G. B. de Queiroz - 1996 - Logic Journal of the IGPL 4 (2):309-344.
  47. 10th Workshop on Logic, Language, Information and Computation (WoLLIC '2003): Co-Sponsored by the Association for Symbolic Logic, Ouro Preto (Minas Gerais), Brazil July 29-August 1, 2003. [REVIEW]Ruy J. G. B. de Queiroz - 2004 - Bulletin of Symbolic Logic 10 (2):295-296.
  48.  37
    12th Workshop on Logic, Language, Information and Computation.Ruy J. G. B. de Queiroz - 2005 - Bulletin of Symbolic Logic 11 (4):558-559.
  49.  6
    8th Workshop on Logic, Language, Information and Computation.Ruy J. G. B. de Queiroz - 2002 - Bulletin of Symbolic Logic 8 (2):319-320.
  50.  21
    11th Workshop on Logic, Language, Information and Computation.Ruy J. G. B. de Queiroz - 2005 - Bulletin of Symbolic Logic 11 (1):120-121.
1 — 50 / 995