The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules. Terms represent functions and this allows for the application of a term/function to any other term/function, including itself. The calculus can be seen as a formal theory with certain pre-established axioms and inference rules, which can be interpreted by models. Dana Scott proposed the first non-trivial model of the extensional lambda calculus, (...) known as $ D_{\infty }$, to represent the $\lambda $-terms as the typical functions of set theory, where it is not allowed to apply a function to itself. Here we propose a construction of an $\infty $-groupoid from any lambda model endowed with a topology. We apply this construction for the particular case $D_{\infty }$, and we see that the Scott topology does not provide enough information about the relationship between higher homotopies. This motivates a new line of research focused on the exploration of $\lambda $-models with the structure of a non-trivial $\infty $-groupoid to generalize the proofs of term conversion to higher-proofs in $\lambda $-calculus. (shrink)

An appropriate framework is put forward for the construction of $$\lambda $$ -models with $$\infty $$ -groupoid structure, which we call homotopic $$\lambda $$ -models, through the use of an $$\infty $$ -category with cartesian closure and enough points. With this, we establish the start of a project of generalization of Domain Theory and $$\lambda $$ -calculus, in the sense that the concept of proof (path) of equality of $$\lambda $$ -terms is raised to higher proof (homotopy).

A Constituição Brasileira de 1988, assim como boa parte das Constituições contemporâneas, abriga uma espécie normativa que a doutrina denomina Princípios Constitucionais. Até recentemente, pouca atenção era conferida às normas principiológicas, seja por parte da doutrina e da jurisprudência. Hoje, são elas alvo de acirrados debates no meio acadêmico, mais precisamente no que concerne ao seu grau de eficária e concretização. Os autores trazem, aqui, subsídios para a discussão, procurando encontrar instrumentos e mecanismos aptos a concretizá-los em sua plenitude.

Estudo comparado sobre o tratamento dado à reprodução humana assistida no direito do Brasil, Estados Unidos, Portugal, Espanha e Itália.

The Kiki-Bouba effect comprises a relation between two abstract figures and two non-words: the star-shaped figure is called 'Kiki' and the rounded figure 'Bouba'. The effect is explained by a sound-vision synaesthesia: certain sounds are associated with certain shapes in a non-arbitrary manner.When we asked the participants to decide which of the two figures, the star-shaped or the rounded one, to call yin and which yang, some 85% choose the star-shaped figure as yin. There are previous cases of synaesthesia where (...) personality is attributed to numbers or letters. In our results, the word Kiki is overall happy, clever, small, thin, young, unpleasant, and nervous. The starshaped figure is overall clever, tall, small, slim, nervous, unpleasant, and upper-class. That is, the correspondence above all concerns the qualifying adjectives clever, unpleasant, and nervous, as well as the physical appearance small and thin. This brings us to the fat-thin effect. Cinema, literature, comics, and children's programmes are full of contrasting figures: Don Quixote and Sancho Panza, Laurel and Hardy , Asterix and Obelix, Tintin and Captain Haddock, Bert and Ernie , or the Spanish comic about very naughty twin boys called Zipi and Zape . Our main conclusion is that first names and last names are not entirely arbitrary. There is a correspondence between names and physical characteristics and concepts . The Kiki-Bouba effect is a semantic one. (shrink)

Debates on morally acceptable and lawful end-of-life practices in pediatrics were reignited by the recent amendment in Belgian law to allow euthanasia for minors of any age who meet the criteria for capacity. Euthanasia and its legalization in pediatrics are often opposed based on the availability of aggressive palliative sedation. For terminally ill patients, this type of sedation is often identified as continuous and deep sedation until death. We demonstrate that this reasoning is based on flawed assumptions: CDS is a (...) morally preferable alternative to euthanasia; CDS can meet the same patient needs as euthanasia; children lack the capacity and experience to make EOL decisions; unlike euthanasia, CDS does not raise capacity issues. Our aim is not to reject CDS as a valid option at the EOL, nor to offer a clear-cut defense of euthanasia for minors, but to emphasize the ethical issues with both practices. (shrink)

Communication about diagnosis and medical treatment for children suffering from life-threatening illnesses is complex. It is a primary step in involving underage patients and families in care and lays the foundation for obtaining parental permission and patient assent for treatment. In practice child participation in care is often difficult to obtain due to patients' different and sometimes fluctuating preferences, but also parents' protective strategies. Physicians may be susceptible to parental wishes to limit information and feel uncomfortable discussing issues related to (...) uncertainty of cure with patients. A qualitative study in Romanian paediatric oncology units was conducted to explore children's involvement from the perspectives of parents and oncologists. Interviews with participants discussed 18 patient cases. Data were transcribed and thematic analysis was used to interpret and mine patients' involvement during treatment. Different facets of patient participation were identified: restricting, widening and enhancing involvement. A fourth category, unintentional involvement, occurred for all patients due to children's observations during long-term hospitalisations and access to Internet. Uncertainty overarched parental attitudes regarding the extent to which children should be included. Physicians usually complied with parental wishes to limit involvement, but together with parents involved patients at least in a practical way. Adults' protective attitude may backfire, as adolescents' online searches often expose patients to worse-case scenarios. Further research should acknowledge the hazards of restricted diagnosis disclosure and develop clinician tools to support families in communicating with patients. This should be paralleled by physician efforts to elicit patients' needs regarding participation. (shrink)

Any complete theory of speaking must take the dialogical function of language use into account. Pickering & Garrod (P&G) make some progress on this point. However, we question whether their interactive alignment model is the optimal approach. In this commentary, we specifically criticize (1) their notion of alignment being implemented through priming, and (2) their claim that self-monitoring can occur at all levels of linguistic representation.

Discussion of J. Kevin O’Regan’s “Why Red Doesn’t Sound Like a Bell: Understanding the Feel of Consciousness” Content Type Journal Article Pages 1-20 DOI 10.1007/s13164-012-0090-7 Authors J. Kevin O’Regan, Laboratoire Psychologie de la Perception, CNRS - Université Paris Descartes, Centre Biomédical des Saints Pères, 45 rue des Sts Pères, 75270 Paris cedex 06, France Ned Block, Departments of Philosophy, Psychology and Center for Neural Science, New York University, 5 Washington Place, New York, NY 10003, USA Journal Review of Philosophy and (...) Psychology Online ISSN 1878-5166 Print ISSN 1878-5158. (shrink)

Given its non-invasive nature, there is increasing interest in the use of transcutaneous vagus nerve stimulation across basic, translational and clinical research. Contemporaneously, tVNS can be achieved by stimulating either the auricular branch or the cervical bundle of the vagus nerve, referred to as transcutaneous auricular vagus nerve stimulation and transcutaneous cervical VNS, respectively. In order to advance the field in a systematic manner, studies using these technologies need to adequately report sufficient methodological detail to enable comparison of results between (...) studies, replication of studies, as well as enhancing study participant safety. We systematically reviewed the existing tVNS literature to evaluate current reporting practices. Based on this review, and consensus among participating authors, we propose a set of minimal reporting items to guide future tVNS studies. The suggested items address specific technical aspects of the device and stimulation parameters. We also cover general recommendations including inclusion and exclusion criteria for participants, outcome parameters and the detailed reporting of side effects. Furthermore, we review strategies used to identify the optimal stimulation parameters for a given research setting and summarize ongoing developments in animal research with potential implications for the application of tVNS in humans. Finally, we discuss the potential of tVNS in future research as well as the associated challenges across several disciplines in research and clinical practice. (shrink)

CONFLITOLOGIA: ASPECTOS TEÓRICOS PARA O ESTUDO DA LITIGÂNCIA.

Given its non-invasive nature, there is increasing interest in the use of transcutaneous vagus nerve stimulation across basic, translational and clinical research. Contemporaneously, tVNS can be achieved by stimulating either the auricular branch or the cervical bundle of the vagus nerve, referred to as transcutaneous auricular vagus nerve stimulation and transcutaneous cervical VNS, respectively. In order to advance the field in a systematic manner, studies using these technologies need to adequately report sufficient methodological detail to enable comparison of results between (...) studies, replication of studies, as well as enhancing study participant safety. We systematically reviewed the existing tVNS literature to evaluate current reporting practices. Based on this review, and consensus among participating authors, we propose a set of minimal reporting items to guide future tVNS studies. The suggested items address specific technical aspects of the device and stimulation parameters. We also cover general recommendations including inclusion and exclusion criteria for participants, outcome parameters and the detailed reporting of side effects. Furthermore, we review strategies used to identify the optimal stimulation parameters for a given research setting and summarize ongoing developments in animal research with potential implications for the application of tVNS in humans. Finally, we discuss the potential of tVNS in future research as well as the associated challenges across several disciplines in research and clinical practice. (shrink)

RESUMO Este artigo objetiva participar das discussões sobre o ensino de literatura em língua inglesa (LLI) no cotidiano da sala de aula do Curso de Letras. Para tal, discute os desafios propostos pelas DCN de Letras, bem como a realidade do professor que trabalha com um número pequeno de horas de LLI na matriz curricular e um número alto de alunos com conhecimento limitado dessa língua estrangeira. A partir da concepção dialógica de linguagem e da possibilidade de cooperação entre áreas (...) de conhecimento, apresentamos uma proposta de trabalho entre a ADD e a Pragmática, mostrando as consonâncias e as dissonâncias entre as duas áreas. Além disso, apresentamos parte da análise do conto Her Sweet Jerome, de Alice Walker, feita por alunos que apontaram para a possibilidade de a Pragmática, nesse contexto de trabalho de LLI com alunos com conhecimento limitado dessa língua estrangeira, ser um passo inicial para uma análise dialógica dos textos literários. (shrink)

O modo como os homens conduzem suas vidas em meio às atribulações cotidianas, deixando-se levar por um sem-número de atividades que, em vez de lhes trazerem satisfação, acabam por torná-los ainda mais afastados de si mesmos segue sendo uma preocupação no mundo “pós-moderno”. Contrariamente ao fast living, reforça-se uma atitude slow down, não como um mero afastamento sistemático dos afazeres cotidianos, mas como um modo de vida que procure ressaltar a importância de se dedicar ao otium: uma vida quantitativamente menos (...) atribulada, mas sobretudo qualitativamente mais gratificante. Ocupar-se consigo mesmo constitui a base mesma do cura sui, porque cuidar de si requer um distanciamento dos apelos da exterioridade, como bem nos mostra Sêneca em De otio. Resgatá-lo pode nos mostrar que o diálogo com o pensamento antigo segue sendo muito proveitoso: ensina-nos como nos conduzir através das dificuldades cotidianas a fim de alcançarmos um autodomínio que possibilite um estado de consciência tranqüilo. (shrink)

Neste artigo mostra-se os resultados de uma busca em bases de dados internacionais sobre a teoria do agir comunicativo de Habermas na área da Administração de Organizações. A teoria de Habermas foi desenvolvida após a sua guinada linguística, de ruptura com a filosofia da consciência e a metafísica em 1981. Nela os usos da linguagem são modos de expressão e representação, mas também modo de construção de vínculos sociais. A partir desta teoria, Habermas desenvolve a ideia de discurso como agir (...) comunicativo orientado para o entendimento, e elabora uma ética do discurso e uma política deliberativa. A entrada da obra de Habermas na Administração antecede a sua guinada linguística, e deve ser destacado o uso da sua tese "Mudança estrutural da esfera pública". Neste artigo quer-se destacar as relações estabelecidas entre a filosofia da linguagem e a Administração, tanto em acordos teóricos quanto práticos. Entre os aspectos teóricos destaca-se os estudos teóricos do conhecimento, incluindo a epistemologia. Entre os aspectos práticos estão as questões da filosofia prática, a ética e a política. Quer-se assim apresentar o potencial da filosofia de Habermas para pesquisa e trabalho na Administração de Organizações. (shrink)

Ao apresentar este clássico ensaio, em 1949, ressaltando a importância do estudo da sociologia para a boa compreensão dos problemas jurídicos, indagava o autor - E qual a ciência que dará o conhecimento desse meio heterogêneo, violento, tumultuoso, senão a sociologia? Se ela não estiver ainda à altura da tarefa que lhe incumbem, nenhuma outra o estará.

Dissertação de mestrado de: BARROS, Brasil Fernandes de. Religião e Espiritismo: o conceito de religião da Doutrina Espírita segundo a concepção de Alan Kardec. 2018. Dissertação – Programa de Pós-graduação em Ciências da Religião, Pontifícia Universidade Católica de Minas Gerais, Belo Horizonte, MG.

A presença marcante de uma prosa-poética na produção ficcional de Clarice Lispector possibilitou-nos exemplificar algumas noções centrais (tempo vertical e instante poético) na rica e sugestiva reflexão de Gaston Bachelard acerca do universo poético.