12 found
Order:
  1.  6
    I. Düntsch, G. F. Díez, K. Fine, M. Gómez-Torrente, S. M. Glaister, L. Goble, T. Hailperin, S. O. Hansson, L. Humberstone & T. Hyttinen (2000). Antonelli, GA, 277 Bamber, D., 1 Bell, JL, 585 Correia, F., 295. Journal of Philosophical Logic 29 (637).
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  2.  17
    Gustavo Fernández Díez (2002). The Logic of Constructivism. Disputatio 12:1 - 6.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  3.  16
    Gustavo Fernández Díez (2010). A Note on Plural Logic. Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 17 (2):150-162.
    A distinction is introduced between itemized and non-itemized plural predication. It is argued that a full-fledged system of plural logic is not necessary in order to account for the validity of inferences concerning itemized collective predication. Instead, it is shown how this type of inferences can be adequately dealt with in a first-order logic system, after small modifications on the standard treatment. The proposed system, unlike plural logic, has the advantage of preserving completeness. And as a result, inferences such as (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. Gustavo Fernández Díez (1998). Lógica, de Carlos E. Alchourrón. Teorema: International Journal of Philosophy 17 (1):130-132.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  5.  65
    Díez Gustavo Fernández (2000). Five Observations Concerning the Intended Meaning of the Intuitionistic Logical Constants. Journal of Philosophical Logic 29 (4):409-424.
    This paper contains five observations concerning the intended meaning of the intuitionistic logical constants: (1) if the explanations of this meaning are to be based on a non-decidable concept, that concept should not be that of 'proof'; (2) Kreisel's explanations using extra clauses can be significantly simplified; (3) the impredicativity of the definition of → can be easily and safely ameliorated; (4) the definition of → in terms of 'proofs from premises' results in a loss of the inductive character of (...)
    Direct download (12 more)  
     
    Export citation  
     
    My bibliography  
  6.  6
    G. Díez (1962). Fragen an das Konzil. Augustinianum 2 (1):208-208.
    No categories
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  7.  4
    Gustavo Fernández Díez (1999). Logic with Trees. Teorema: International Journal of Philosophy 18 (2):101-110.
    Direct download  
     
    Export citation  
     
    My bibliography  
  8.  5
    Gustavo Fernández Díez (2000). Kolmogorov, Heyting and Gentzen on the Intuitionistic Logical Constants. Critica 32 (96):43 - 57.
    Direct download  
     
    Export citation  
     
    My bibliography  
  9.  3
    G. Díez (1962). Historia de la Iglesia. Augustinianum 2 (2):356-356.
    No categories
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  10.  8
    G. Díez (1962). Les lignes de faite du Moyen Age. Augustinianum 2 (2):365-366.
    No categories
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  11.  3
    Gustavo Fernández Díez (2006). El Análisis Lógico de la Predicación Colectiva (The Logical Analysis of Collective Predication). Critica 38 (114):21 - 44.
    En el presente artículo se examinan algunos de los problemas suscitados por el análisis lógico de la predicación colectiva (aquella en la que un predicado se aplica colectivamente a una pluralidad de sujetos). Su tratamiento habitual en lógica de primer orden no es del todo satisfactorio, y la búsqueda de otros modos de representación abre interesantes perspectivas. Se investiga, en particular, la introducción de predicados poligraduados, señalando algunas deficiencias e insuficiencias en la literatura reciente sobre los mismos. Argumento que la (...)
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  12. Gustavo Fernández Díez (1999). El concepto intuicionista de prueba canónica. Agora 18 (2):117-129.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography