Mostrando recursos 1 - 14 de 14

  1. The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics

    Moot, Richard; Retoré, Christian
    International audience

  2. Ars erotica

    Borrillo, Daniel
    Desde hace algún tiempo, estoy reflexionando junto a un grupo de juristas y politólogos acerca de la necesidad de pensar el género y las sexualidades desde la perspectiva del Derecho continental propio al mundo latino. A fin de descartar cualquier malentendido, es necesario señalar que el concepto de latinidad no se refiere únicamente a una tradición cultural relacionada con la herencia greco-romana, el Renacimiento, el humanismo y, desde la perspectiva del Derecho, ciertos principios como la preeminencia de la ley, la lógica deductiva, el arte de la retórica, o ciertas expresiones artísticas como el barroco o la opera sino que...

  3. 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.

  4. Propuesta de un modelo teórico de enseñanza para entornos de aprendizaje móvil en las enseñanzas artísticas visuales

    Ramón Verdú, Alfredo José
    OBJETIVOS De la determinación de los componentes y el diseño de un modelo de estructura para dispositivos móviles adecuado para las Enseñanzas Artísticas Visuales (EAV), fundamentado en la racionalización de los elementos que lo han de configurar, y que pueda implantarse en un entorno de enseñanza, se han derivado tres objetivos de investigación: • Objetivo 1: Crear un modelo organizativo de Diseño Instruccional válido para m-Learning y las Enseñanzas Artísticas Visuales. • Objetivo 2: Crear una planificación estratégica integradora para llevar a cabo las Enseñanzas Artísticas Visuales mediante dispositivos móviles. • Objetivo 3: Crear un modelo operativo interactivo fundamentado en...

  5. The theory of thought : a treatise on deductive logic.

    Davis, Noah Knowles, 1830-1910.
    Preface signed: Noah K. Davis.

  6. The role of logical interpretations on program development

    Martins, Manuel A.; Madeira, Alexandre; Barbosa, L. S.
    Stepwise refinement of algebraic specifications is a well known formal methodology for program development. However, traditional notions of refinement based on signature morphisms are often too rigid to capture a number of relevant transformations in the context of software design, reuse, and adaptation. This paper proposes a new approach to refinement in which signature morphisms are replaced by logical interpretations as a means to witness refinements. The approach is first presented in the context of equational logic, and later generalised to deductive systems of arbitrary dimension. This allows, for example, refining sentential into equational specifications and the latter into modal...

  7. The principles of science : a treatise on logic and scientific method /

    Jevons, William Stanley, 1835-1882.
    Book I. Formal logic, deductive and inductive -- Book II. Number, variety and probability -- Book III. Methods of measurement -- Book IV. Inductive investigation -- Book V. Generalisation, analogy, and classification -- Book VI. Reflections on the results and limits of scientific method.

  8. Lógica formal y argumentación

    Oller, Carlos A.
    Este artículo explora críticamente la tesis según la cual la lógica formal deductiva contemporánea proporciona métodos e instrumentos para una teoría de la evaluación de argumentos formulados en un lenguaje natural. En este artículo se sostiene que la teoría de la (in)validez de la lógica formal deductiva sólo se puede aplicar a los argumentos del lenguaje natural utilizando aquello que se quiere explicar teóricamente, i.e. Las intuiciones que los/las hablantes de un lenguaje natural tienen acerca de la relaciones de implicación lógica entre las expresiones de esa lengua. Se exploran también algunas consecuencias pedagógicas de esta crítica.

  9. A class room logic, deductive and inductive, with special application to the science and art of teaching,

    McNair, George Hastings.
    Bibliography: p. 492.

  10. Prueba de inferencias : contribuciones para su validación con estudiantes universitários

    Guisande, M. Adelina; Almeida, Leandro S.; Pinheiro, Maria do Rosário; Páramo, M. Fernanda
    En ausencia de pruebas psicológicas que evalúen las capacidades intelectuales de los jóvenes-adultos universitarios, más aún, si esta evaluación pretende ir más allá de las escalas de CI para adultos, avanzamos para la construcción de un test de inferencias lógicas (pensamiento deductivo). La realización de inferencias se considera una actividad tan imprescindible como compleja que media en los procesos de comprensión del discurso. Dentro de este escenario, la comprensión se entiende como un proceso complejo e interactivo que requiere de la activación de una cantidad considerable de conocimiento por parte del lector y de la generación de un gran número...

  11. The theory of thought. A treatise on deductive logic.

    Davis, Noah K. (Noah Knowles), 1830-1910.
    Mode of access: Internet.

  12. WWW.euclides.org

    Domènech, Larraz
    Història del Elements d'Euclides (300 AC) i de la seva transmissión fins als nostres dies. Estructura i cronologia del web d'euclides.org. D. Joyce, creador dels applets de la versió anglesa del Elements. Els interactius en java i el doble canal de transmissió que representa el web en l'ensenyament de la lògica deductiva de la geometria. La dimensió artística de la matemàtica. L'art. Les noves tecnologies. catalanhost.com. Propostes de col3laboració a euclides.org

  13. Logic, inductive and deductive ; an introduction to scientific method.

    Jones, Adam Leroy, 1873-1934.
    Mode of access: Internet.

  14. Logic : deductive and inductive /

    Hibben, John Grier, 1861-1933.
    The author's Inductive logic, published in 1896, is revised and incorporated in this volume. cf. Pref.

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.