1,721,168 research outputs found

    Chirurgia Plastica Pediatrica

    No full text
    Il testo descrive le principali malformazioni testa-collo presenti in età pediatrica e il loro trattamento. Nello specifico sono state prese in considerazione le orecchie prominenti, le schisi labio-maxillo-palatine, le malformazioni del cavo orale, le cisti/seni/fistole laterocervicali, emangiomi e anomalie vascolari cervico-facciali, i linfangiomi del capo e del collo ed infine le lesioni pigmentate

    Arend Heyting and Phenomenology: is the meeting feasible?

    No full text
    In the literature one can see the increasing trend of supporting intuitionism through phenomenology. Brouwer’s pupil, Arend Heyting, is said to be a forerunner of this trend, as he used a phenomenological terminology in order to define intuitionist negation, by elaborating the first intuitionist logic. In this paper, the author tries to explore—with reference to the unpublished material stored in the Heyting archive—how much of Heyting’s general thought is compatible with phenomenology. In the conclusion she suggests that Heyting and Husserl, insofar as they both think consciousness must be the very beginning of knowledge, share a same antipsychologistic attitude which coexists with an attempt to overcome solipsism. Yet, the phenomenological concept of degree of evidence cannot be applied to Heyting’s scale of evidence (including small natural numbers, large natural numbers, infinitely proceeding sequences, the universal quantifier), on the one side because it is not clear if the latter is common and shared by all intuitionists, and, on the other side, because the former presupposes a revisable evidence that does not fit to Heyting’s viewpoint. Furthermore, Husserl’s and Heyting’s conceptions of the nature of mathematics and logic and of their relationship are essentially different. From an intuitionist viewpoint mathematics is the domain of evidence, while logic transcribes its regularities. From a phenomenological viewpoint, mathematics remains outside the domain of evidence. Apophantic logic coincides with mathematics (without either of them absorbing the other), but transcendental logic lies at a higher level

    Quirino Franchella, Gramática paralela latino castellana.

    No full text
    Darbord Michel. Quirino Franchella, Gramática paralela latino castellana.. In: Bulletin Hispanique, tome 56, n°1-2, 1954. p. 219

    L.E.J. Brouwer: Toward Intuitionistic Logic

    No full text
    The evolution of Brouwer's ideas on logic throughout his entire scientific life is practically unknown. Still, the study of this evolution is important, on the one hand, for grasping how Brouwer's notion of intuitionism allowed for the construction of logical systems and, on the other, in order to see how some statements of intuitionistic logic which are now considered obvious were only formulated in their correct form after much rethinking. In this paper, we will thus consider Brouwer's ideas on logic in general as well as some laws in particular while tracing their development (i.e., the laws of excluded middle, testability, and reciprocity of complementarity).Die Entwicklung von Brouwers Auffassungen uber Logik während seines Lebens ist nahezu unbekannt. Die Analyse dieser Entwicklung ist sehr wichtig, weil sie zeigt, erstens daβ Brouwers Intuitionismus die Grundlage fur die Konstruktion eines logischen Systems abgeben konnte; zweitens daβ einige Satze der intuitionistischen Logik, die heute als selbstverständlich angesehen werden, erst nach einem langen ProzeB von Überlegungen korrekt formuliert werden konnten. Deshalb wird in diesem Aufsatz Brouwers Auffassung uber Logik im allgemeinen and uber einige logische Sätze (d.h. den Satz vom ausgeschlossenen Dritten, den von der Alternative von Absurditat oder Absurdität der Absurditat, and den von der Reziprozitat der Komplementaritat) im besonderen betrachten and ihre Entwicklung umrissen.L'evoluzione delle idee di Brouwer sulla logica durante tutta la sua vita scientifica è praticamente sconosciuta. Tuttavia, to studio di questa evoluzione è importante, da un lato per comprendere come il concetto di intuizionismo di Brouwer conteneva già in sé le basi per la costruzione di un sistema logico, d'altro lato per vedere come asserti della logica intuizionista, the sono ora considerati ovvi, furono formulati correttamente solo dopo molti ripensamenti. In questo articolo considereremo le idee di Brouwer sulla logica in generale e su alcune leggi in particolare (la legge del terzo escluso, di provabilità, di reciprocity della complementarità), delineandone l'evoluzione
    corecore