Results for 'Calixto Badesa'

17 found
Order:
  1.  32
    By Calixto Badesa.Jeremy Avigad - unknown
    From ancient times to the beginning of the nineteenth century, mathematics was commonly viewed as the general science of quantity, with two main branches: geometry, which deals with continuous quantities, and arithmetic, which deals with quantities that are discrete. Mathematical logic does not fit neatly into this taxonomy. In 1847, George Boole [1] offered an alternative characterization of the subject in order to make room for this new discipline: mathematics should be understood to include the use of any symbolic calculus (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  89
    Calixto Badesa. The Birth of Model Theory: L÷Wenheim's Theorem in the Frame of the Theory of Relatives Princeton: Princeton University Press, 2004. Pp. Xiii + 240. ISBN 0−691−05853−9. [REVIEW]Ignacio JanÉ - 2005 - Philosophia Mathematica 13 (1):91-106.
  3. What Did Löwenheim Prove? Review of Calixto Badesa, The Birth of Model Theory: Löwenheim's Theorem in the Frame of the Theory of Relatives[REVIEW]Ignacio Jané - 2005 - Philosophia Mathematica 13 (1):91-106.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  4. The Development of Mathematical Logic From Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
    The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  5.  61
    Function and Argument in Begriffsschrift.Calixto Badesa Cortes & Joan Bertran-San Millán - 2017 - History and Philosophy of Logic 38 (4):316-341.
    It is well known that the formal system developed by Frege in Begriffsschrift is based upon the distinction between function and argument—as opposed to the traditional distinction between subject and predicate. Almost all of the modern commentaries on Frege's work suggest a semantic interpretation of this distinction, and identify it with the ontological structure of function and object, upon which Grundgesetze is based. Those commentaries agree that the system proposed by Frege in Begriffsschrift has some gaps, but it is taken (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  34
    Begriffsschrift’s Logic.Calixto Badesa & Joan Bertran-San Millán - 2020 - Notre Dame Journal of Formal Logic 61 (3):409-440.
    In Begriffsschrift, Frege presented a formal system and used it to formulate logical definitions of arithmetical notions and to deduce some noteworthy theorems by means of logical axioms and inference rules. From a contemporary perspective, Begriffsschrift’s deductions are, in general, straightforward; it is assumed that all of them can be reproduced in a second-order formal system. Some deductions in this work present—according to this perspective—oddities that have led many scholars to consider it to be Frege’s inaccuracies which should be amended. (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  26
    La sémantique propositionnelle in divinis chez Alain de Lille.Pedro Calixto - 2007 - Revue des Sciences Philosophiques Et Théologiques 1:23-37.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  22
    Symbolisme et métonymies du sensible au divin chez Denys l'Aréopagite.Pedro Calixto Ferreira Filho - 2011 - Revue des Sciences Philosophiques Et Théologiques 95 (2):275-286.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  8
    The Concept of Brain Death Did Not Evolve to Benefit Organ Transplants (Vol 33, Pg 197, 2007).Calixto Machado, Julius Kerein, Yazmina Ferrer, Liana Portela & Maria de la C. Garcia - 2007 - Journal of Medical Ethics 33 (6):369-369.
    Although it is commonly believed that the concept of brain death was developed to benefit organ transplants, it evolved independently. Transplantation owed its development to advances in surgery and immunosuppressive treatment; BD owed its origin to the development of intensive care. The first autotransplant was achieved in the early 1900s, when studies of increased intracranial pressure causing respiratory arrest with preserved heartbeat were reported. Between 1902 and 1950, the BD concept was supported by the discovery of EEG, Crile’s definition of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  3
    The Concept of Brain Death Did Not Evolve to Benefit Organ Transplants.Calixto Machado, Julius Kerein, Yazmina Ferrer, Liana Portela & Maria García - 2007 - Journal of Medical Ethics 33 (4):197-200.
    Although it is commonly believed that the concept of brain death was developed to benefit organ transplants, it evolved independently. Transplantation owed its development to advances in surgery and immunosuppressive treatment; BD owed its origin to the development of intensive care. The first autotransplant was achieved in the early 1900s, when studies of increased intracranial pressure causing respiratory arrest with preserved heartbeat were reported. Between 1902 and 1950, the BD concept was supported by the discovery of EEG, Crile’s definition of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  11.  12
    The Declaration of Sydney on Human Death.Calixto Machado, J. Korein, Y. Ferrer, L. Portela, M. de la C. García, M. Chinchilla, Y. Machado & J. M. Manero - 2007 - Journal of Medical Ethics 33 (12):699-703.
  12.  10
    Symbolisme Et Métonymies du Sensible au Divin Chez Denys l'Aréopagite.Calixto Ferreira Filho - 2011 - Revue des Sciences Philosophiques Et Théologiques 95 (2):275-286.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  8
    Brain Death.Julius Korein & M. D. Calixto Machado - 2004 - In C. Machado & D. E. Shewmon (eds.), Brain Death and Disorders of Consciousness. Plenum. pp. 1--14.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  9
    Mechanism for Measuring System Complexity Applying Sensitivity Analysis.Viviane M. Gomes, Joao R. B. Paiva, Marcio R. C. Reis, Gabriel A. Wainer & Wesley P. Calixto - 2019 - Complexity 2019:1-12.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  13
    Can Self-Relevant Stimuli Help Assessing Patients with Disorders of Consciousness?Renata del Giudice, Christine Blume, Malgorzata Wislowska, Julia Lechinger, Dominik P. J. Heib, Gerald Pichler, Johann Donis, Gabriele Michitsch, Maria-Teresa Gnjezda, Mauricio Chinchilla, Calixto Machado & Manuel Schabus - 2016 - Consciousness and Cognition 44:51-60.
  16.  8
    Evoked Potentials in the Diagnosis of Brain Death.Enrico Facco & M. D. Calixto Machado - 2004 - In C. Machado & D. E. Shewmon (eds.), Brain Death and Disorders of Consciousness. Plenum. pp. 175--187.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  1
    The Blows and Capoeira Movements From the Caricatures of Calixto Cordeiro.Paulo Coêlho Araújo & Ana Rosa Jaqueira - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark