Mostrando recursos 1 - 20 de 103

  1. Pure Extensions, Proof Rules, and Hybrid Axiomatics

    Blackburn, Patrick; Ten Cate, Balder
    In this paper we argue that hybrid logic is the deductive setting most natural for Kripke semantics. We do so by investigating hybrid axiomatics for a variety of systems, ranging from the basic hybrid language (a decidable system with the same complexity as orthodox propositional modal logic) to the strong Priorean language (which offers full first-order expressivity). We show that hybrid logic offers a genuinely first-order perspective on Kripke semantics: it is possible to define base logics which extend automatically to a wide variety of frame classes and to prove completeness using the Henkin method. In the weaker languages, this...

  2. compte rendu d'ouvrage : Richard Moot et Chrisitan Retoré, The logic of categorial grammars: a deductive account of natural language syntax and semantics

    Godart-Wendling, Béatrice
    Revue électronique internationale Traitement Automatique des Langues, 2012, 53/2.

  3. Modelo de Cuidado: ¿Qué es y como elaborarlo?

    Patricia Kuerten Rocha; Marta Lenise do Prado
    En el presente artículo se realiza una reflexión teórica sobre el significado del modelo de cuidado de enfermería, además de ofrecer elementos para su elaboración. Existe una diversidad de terminologías sobre lo que es modelo de cuidado y sus elementos, tales como: modelo de cuidado, marco/sistema/modelo conceptual, marco de referencia, marco teórico, metodología y método. En este estudio son presentadas las etapas que sistematizan el desarrollo de un modelo de cuidado, a saber: planeamiento, desarrollo, implementación y evaluación. Por ser dinámica, la elaboración de un modelo de cuidado necesita de la interacción directa entre el investigador y el sujeto. La...

  4. Software educativo CHAKANA: una propuesta para desarrollar la inteligencia lógico-matemática de estudiantes universitarios

    Guido Mazón Fierro
    Introducción: al evidenciar que los jóvenes estudiantes del segundo semestre de la Carrera de Ingeniería en Sistemas y Computación de la Universidad Nacional de Chimborazo (Ecuador) poseen un nivel básico de lógica deductiva, y les cuesta resolver problemas de razonamiento con agilidad - lo cual repercute en un bajo rendimiento en la materia de matemática - el objetivo del presente estudio es facilitar un recurso didáctico asistido por computador para desarrollar la inteligencia lógico-matemática, como es el software educativo Chakana. Método: Cincuenta estudiantes compusieron el universo de investigación y una muestra aleatoria de 19 fue envolucrada en los testes. En...

  5. Desarrollo profesional docente en el discurso de los organismos internacionales

    Héctor A. Monarca; Jesús Manso Ayuso

    El objetivo del artículo es presentar las concepciones y tendencias sobre el Desarrollo Profesional Docente (DPD) de los discursos de los Organismos Internacionales (OI). La metodología empleada fue el análisis del discurso, para lo cual se han analizado 39 documentos editados por: UNESCO, OCDE, OEI y PREAL producido entre el año 2005 y 2012. El análisis se ha realizado a partir de 8 categorías siguiendo una lógica deductiva-inductiva-deductiva. Los resultados reflejan que, en términos generales, los discursos suelen estar caracterizados por abordar aspectos acotados del DPD. Como conclusión hay que destacar que el DPD, desde estos discursos, no ha logrado...

  6. Estrategia de superación para el desarrollo de habilidades investigativas en los tutores

    Jayce Díaz Díaz; Gisela Bravo López; Yamirka González Puerto; Lisbet Menes Ortega; Esther Hernández Pérez; Zenia Tamara Sánchez García
    Fundamento: el tutor constituye la figura principal en la formación y desarrollo de las habilidades investigativas, por lo que se debe convertir en un profesor investigador para formar a sus estudiantes en la investigación. Objetivo: elaborar una estrategia de superación para lograr la preparación de los tutores como investigadores que les permita influir en la actividad científica de los estudiantes. Método: se complementó la metodología cuantitativa y la cualitativa. El contexto de la investigación lo constituyó el perfil de Gestión de la Información en Salud, de la carrera de Licenciatura en Tecnologías de la Salud del Municipio Cienfuegos, durante el...

  7. Las habilidades comunicativas en las carreras de las Ciencias de la Salud

    Juan Francisco Tejera Concepcion; Miriam Iglesias León; Manuel Cortés Cortés; Gisela Bravo López; Norma Mur Villar; Juan Virgilio López Palacio
    Fundamento: las habilidades como componentes cognitivo-instrumentales de la actuación del sujeto, han sido ampliamente estudiadas en el ámbito pedagógico para fortalecer la didáctica específica de las Ciencias de la Salud y de esta forma enseñar a los estudiantes a establecer una adecuada comunicación. Objetivo: definir las habilidades comunicativas que pueden ser tratadas mediante el sistema de conocimientos de las asignaturas y las actividades preprofesionalizantes en los estudiantes de las carreras de las Ciencias de la Salud. Métodos: del nivel teórico: histórico-lógico, inductivo-deductivo, analítico- sintético, sistémico-estructural, y la modelación; del nivel empírico: análisis de documentos, reunión con los grupos de discusión,...

  8. Las habilidades comunicativas en las carreras de las Ciencias de la Salud

    Juan Francisco Tejera Concepcion; Miriam Iglesias León; Manuel Cortés Cortés; Gisela Bravo López; Norma Mur Villar; Juan Virgilio López Palacio
    Fundamento: las habilidades como componentes cognitivo-instrumentales de la actuación del sujeto, han sido ampliamente estudiadas en el ámbito pedagógico para fortalecer la didáctica específica de las Ciencias de la Salud y de esta forma enseñar a los estudiantes a establecer una adecuada comunicación. Objetivo: definir las habilidades comunicativas que pueden ser tratadas mediante el sistema de conocimientos de las asignaturas y las actividades preprofesionalizantes en los estudiantes de las carreras de las Ciencias de la Salud. Métodos: del nivel teórico: histórico-lógico, inductivo-deductivo, analítico- sintético, sistémico-estructural, y la modelación; del nivel empírico: análisis de documentos, reunión con los grupos de discusión,...

  9. La superación de los tutores como premisa en la formación de profesionales. Perfil Servicios Farmacéuticos

    Carmen Díaz Dorado; Felicia Margarita Llerena Bermúdez; María Cristina Núñez Martínez; Grisell Menéndez Rodríguez; Lourdes González Pérez

    En el Sistema de Salud Cubano los servicios farmacéuticos demandan de un profesional con una sólida formación. En este proceso formativo los tutores ocupan un papel protagónico. La presente revisión bibliográfica se realizó con el propósito de abordar este tema desde la superación de los tutores. Se emplearon los siguientes métodos teóricos: analítico-sintético, inductivo-deductivo e histórico-lógico y entre los métodos empíricos se utilizó el análisis de documentos, mediante los cuales fue posible determinar las tendencias y regularidades actuales del tema revisado. Los resultados confirmaron la necesidad de superación de los tutores de este perfil, de manera que ostenten un conjunto...

  10. La superación de los tutores como premisa en la formación de profesionales. Perfil Servicios Farmacéuticos

    Carmen Díaz Dorado; Felicia Margarita Llerena Bermúdez; María Cristina Núñez Martínez; Grisell Menéndez Rodríguez; Lourdes González Pérez

    En el Sistema de Salud Cubano los servicios farmacéuticos demandan de un profesional con una sólida formación. En este proceso formativo los tutores ocupan un papel protagónico. La presente revisión bibliográfica se realizó con el propósito de abordar este tema desde la superación de los tutores. Se emplearon los siguientes métodos teóricos: analítico-sintético, inductivo-deductivo e histórico-lógico y entre los métodos empíricos se utilizó el análisis de documentos, mediante los cuales fue posible determinar las tendencias y regularidades actuales del tema revisado. Los resultados confirmaron la necesidad de superación de los tutores de este perfil, de manera que ostenten un conjunto...

  11. Estrategia de superación para profesores que imparten docencia en la carrera de Tecnología de la Salud

    Rolando Esquijarosa Chirino; Ana Aleida Prieto Medina; Maria Rosa Cejas Arias; Magaly Dominguez Prieto; Yaimara Palacio Salgado
    Introducción: el proceso de universalización de la Educación Superior es parte de la Batalla de ideas, y como todo proceso revolucionario está en constante perfeccionamiento, la formación del personal calificado de salud en las distintas modalidades, a partir del curso escolar 2009-2010 se producen cambios significativos en la formación de pregrado de la carrera de Tecnología de la Salud. Objetivo: diseñar una estrategia de superación para resolver las carencias que poseen desde el punto de vista psicológico, metodológico y científico metodológico los docentes que imparten clases en la carrera tecnología de esta filial, que les permita enfrentar las actuales transformaciones....

  12. Methodological levels of abductive logic and its application in analyzing knowledge classification systems

    Mohammad Khandan; Gholamreza Fadaei; Mohammad Reza Vasfi
    Purpose: This paper distinguishes between “methodology” and “method” and discusses methodological levels of abductive logic as related to the knowledge classification systems. The purpose is to clarify the application of abductive logic for analyzing knowledge classification systems as an alternative for mainstream logics in the field, i.e. inductive and deductive logic. Methodology: Conceptual analysis. Findings: Abductive logic approaches reality as a social construction. It is obviously an interpretative and constructivist approach. Therefore its aim is to understand the social phenomena that socially constructed by social agents. Therefore any given knowledge classification system is a socially constructed phenomenon reflecting subjective biases and prejudices...

  13. Metabolismo celular de la glucosa y la amoniogénesis en el riñón Glucose cellular metabolism and ammoniagenesis in the kidney

    Iecienia Espinosa Santisteban; Adina Pérez Mejías; Aydelín Pérez Ramos; María Ofelia Barber Fox
    Introducción: al igual que el hígado, el riñón realiza actividades metabólicas complejas, esto es posible debido a la presencia de múltiples complejos enzimáticos capaces de realizar todas las transformaciones metabólicas necesarias. El metabolismo renal tiene características diferentes en la corteza y la médula del órgano, debido a la desigual irrigación que reciben estas zonas. Metodología: con el objetivo de describir las esencialidades del metabolismo de la glucosa y la amoniogénesis en el riñón, se utilizaron métodos lógico-deductivos, analíticos y sintéticos. teniendo como base resultados científicos de diferentes investigadores, consultados en revistas científicas nacionales e internacionales, impresas y electrónicas; estas últimas...

  14. El lugar de la razón práctica en los discursos de aplicación de normas jurídicas

    Velasco, Juan Carlos
    Not available<br><br>Argumentar constituye un quehacer cotidiano para los diferentes operadores jurídicos y, de modo especial, para quienes desempeñan la función judicial. Dado que las decisiones de los jueces están sometidas a un cierto control de racionalidad, es posible concebir las argumentaciones jurídicas empleadas en la aplicación del derecho como un modo institucionalizado de ejercitar la racionalidad práctica. Sin embargo, esto no implica, en contra de lo que a menudo se suele afirmar, que los procesos argumentatívos jurídicos estén sujetos en exclusiva a las leyes de la lógica deductiva. Cabe sostener el carácter racional de la aplicación del derecho sin caer...

  15. Competencias laborales del auditor de servicios de salud: un análisis funcional Venezuela, 2008 A functional analysis of healthcare auditors' skills in Venezuela, 2008

    Mónica S Chirinos-Muñoz
    Objetivo Identificar las competencias laborales, específicas, genéricas, básicas y los valores que debe poseer el auditor de servicios de salud, a través de un análisis funcional. Métodos Implementación de la técnica del análisis funcional con 10 expertos, identificando competencias específicas, básicas, genéricas y valores, mediante un proceso de análisis lógico deductivo. Resultados Se obtiene el mapa funcional que inicia con el establecimiento de un propósito clave basado en la mejora de la calidad de la atención y servicios de salud; de donde surgen las tres funciones claves, y luego se inicia un proceso de desglose continúo desde las funciones principales,...

  16. Reshaping the Science of Reliability with the Entropy Function

    Paolo Rocchi; Giulia Capacci
    The present paper revolves around two argument points. As first, we have observed a certain parallel between the reliability of systems and the progressive disorder of thermodynamical systems; and we import the notion of reversibility/irreversibility into the reliability domain. As second, we note that the reliability theory is a very active area of research which although has not yet become a mature discipline. This is due to the majority of researchers who adopt the inductive logic instead of the deductive logic typical of mature scientific sectors. The deductive approach was inaugurated by Gnedenko in the reliability domain. We mean to...

  17. Propuesta metodológica para implementar la gestión pública de la calidad de vida/Methodological proposal to develop a public management quality of live

    Ángela Lorena Carreño-Mendoza; Cecilia Parra-Ferie; Mabel Font-Aranda
    El presente trabajo tiene como objetivo realizar una propuesta metodológica para lograr la alineación de las políticas de los organismos, entidades y personas jurídicas del sector público, con los objetivos del Plan Nacional para el Buen Vivir en Ecuador; así como la implementación de la gestión pública (administrativa y operacional presupuestaria), derivando por consiguiente en el control y la evaluación de la gestión de la calidad de vida. Los métodos utilizados fueron: Fenomenológico, Investigación-acción-participación, Dialéctico-materialista, Lógico e histórico, Inductivo-deductivo y Analítico-sintético. Como resultado fundamental, además del modelo planteado, se obtiene un procedimiento general que permite la operacionalización del modelo a...

  18. ApEM –L 1.5: Una nueva versión del Lenguaje de Modelado Orientado a Objetos para aplicaciones educativas y multimedia

    Yosnel Herrera Martínez; Febe Ángel Ciudad Ricardo

    Se describe el proceso de investigación realizado para la elaboración de un lenguaje de modelado orientado a objetos para aplicaciones educativas y multimedias, denominado ApEM-L 1.5 que responde a las necesidades de la Universidad de las Ciencias Informáticas. Se utilizan en la investigación métodos hipotético–deductivos, sistémicos, histórico–lógicos, dialécticos y analítico–sintéticos; cómo métodos empíricos la observación, la entrevista y el experimento. Incluye comparación con UML a partir de vistas estáticas y de arquitectura, comportamiento y presentación. Se especifican los principios de organización del sistema y modificaciones realizadas a la última versión.


  19. Generalización e inferencia: un acercamiento a su compresión desde tres enfoques / Generalization and inference: an understanding based on three approaches

    Fernando Peñaranda C; Diego A. Restrepo O; Luz M. Mejía O; Samuel A. Arias V
    Se trata de una reflexión que busca poner en discusión los diferentes significados que pueden adquirir los conceptos de generalización e inferencia, de acuerdo con el enfoque o perspectiva desde el cual se pretendan utilizar. Para este propósito, en primer lugar, se pone en consideración la importancia y el uso que se ha dado a estos conceptos en el campo de la epidemiología clásica-moderna, especialmente para definir asuntos de validez interna y externa y para la formulación de hipótesis. Seguidamente, se presentan las principales argumentaciones que al respecto defiende Clifford Geertz desde su perspectiva epistemológica de la etnografía interpretativista y...

  20. Generalización e inferencia: un acercamiento a su compresión desde tres enfoques / Generalization and inference: an understanding based on three approaches

    Fernando Peñaranda C; Diego A. Restrepo O; Luz M. Mejía O; Samuel A. Arias V
    Se trata de una reflexión que busca poner en discusión los diferentes significados que pueden adquirir los conceptos de generalización e inferencia, de acuerdo con el enfoque o perspectiva desde el cual se pretendan utilizar. Para este propósito, en primer lugar, se pone en consideración la importancia y el uso que se ha dado a estos conceptos en el campo de la epidemiología clásica-moderna, especialmente para definir asuntos de validez interna y externa y para la formulación de hipótesis. Seguidamente, se presentan las principales argumentaciones que al respecto defiende Clifford Geertz desde su perspectiva epistemológica de la etnografía interpretativista y...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.