logique formelle

  • 1Logique formelle — Logique Gregor Reisch, « La logique présente ses thèmes centraux », Margarita Philosophica, 1503/08 (?). Les deux chiens veritas et falsitas courent derrière le lièvre problema, la logique se presse armée de son épée syllogismus. En bas …

    Wikipédia en Français

  • 2Logique formelle — ● Logique formelle étude générale des raisonnements déductifs, abstraction faite de leur application à des cas particuliers …

    Encyclopédie Universelle

  • 3logique formelle — formalioji logika statusas T sritis automatika atitikmenys: angl. formal logic vok. formale Logik, f rus. формальная логика, f pranc. logique formelle, f …

    Automatikos terminų žodynas

  • 4LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… …

    Encyclopédie Universelle

  • 5LOGIQUE (HISTOIRE DE LA) — Ce n’est qu’à une époque relativement récente qu’on a vraiment commencé à s’intéresser à l’histoire de la logique. Jusqu’au milieu du XIXe siècle régnait en effet l’idée que la logique n’avait pas d’histoire, étant, pour l’essentiel, sortie… …

    Encyclopédie Universelle

  • 6Logique générale — Logique Gregor Reisch, « La logique présente ses thèmes centraux », Margarita Philosophica, 1503/08 (?). Les deux chiens veritas et falsitas courent derrière le lièvre problema, la logique se presse armée de son épée syllogismus. En bas …

    Wikipédia en Français

  • 7LOGIQUE INDIENNE — Les questions de raisonnement logique occupent une place aussi importante dans la philosophie indienne, d’un bout à l’autre de son histoire, que dans la tradition occidentale. Ce n’est que dans les années 1930 que la plupart des Occidentaux ont… …

    Encyclopédie Universelle

  • 8Logique Chinoise — La logique chinoise est longtemps restée isolée des développements de la logique en Europe et dans le monde islamique. La fondation de l école du moïsme est attribuée à Mozi. Ses canons ont trait à la dérivation d inférences valides et aux… …

    Wikipédia en Français

  • 9Logique symbolique — ● Logique symbolique synonyme de logique formelle …

    Encyclopédie Universelle

  • 10logique — 1. logique [ lɔʒik ] n. f. • XIIIe; lat. logica, gr. logikê, de logos « raison » I ♦ 1 ♦ Science ayant pour objet l étude, surtout formelle, des normes de la vérité; « analyse formelle de la connaissance » (Piaget). Logique formelle, logique pure …

    Encyclopédie Universelle