14 résultats

Recherche en cours

Logique

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

14 résultats

page 1 sur 2

résultats 1 à 10

L'argument par analogie

Description : Les arguments peuvent être classés selon le raisonnement qui conduit des prémisses à la conclusion. Les arguments par analogie constituent l'une de ces familles. Les autres familles d'arguments sont ceux qui procèdent par induction, par déduction et par convergence. Vous apprendrez à repérer ce ...

Mots clés : argument, argumentation, analogie, ressemblance, métaphore

Date : 2015

Droits : Licence Creative Commons : Paternité - Pas d'Utilisation Commerciale - Partage à l'Identique 2.0 France

L'argument par analogie

Ajouter à mon panier

Accéder au document

Langages logiques

Description : Ce cours est le premier d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente les aspects syntaxiques des langages logiques

Mots clés : langage logique, logique des propositions, calcul prédicat, langage sans variable, formule atomique, quantificateur, formule logique avec variables, substitution dans une formule

Date : 10-01-2020

Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)

Langages logiques

Ajouter à mon panier

Accéder au document

Règles de déduction sur les connecteurs

Description : Ce cours est le deuxième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente un ensemble de règles de déduction sur les connecteurs logiques permettant de prouver des formules

Mots clés : langage logique, représentation des preuves, axiome, règle d'affaiblissement, connecteur, logique classique, raisonnement par l'absurde

Date : 10-01-2020

Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)

Règles de déduction sur les connecteurs

Ajouter à mon panier

Accéder au document

Cours de logique

Description : Ensemble de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Cours 1 : Langages logiques Cours 2 : Règles de déduction sur les connecteurs Cours 3 : Interprétation : fonctions, prédicats et connecteurs Cours 4 : Règles de déduction sur les quantifi ...

Mots clés : langage logique, langage formel, langage de termes, formule atomique, quantificateur, règle de déduction, connecteur, interprétation d'une formule, expression booléenne

Date : 10-01-2020

Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)

Interprétation : fonctions, prédicats et connecteurs

Description : Ce cours est le troisième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente le schéma d'interprétation des formules logiques sans variables à partir de la signification donnée aux symboles de fonctions et de prédicats, ainsi ...

Mots clés : formule logique, interprétation d'une formule, formule atomique, expression booléenne, formule satisfiable, relation de conséquence sémantique, formule valide, formule prouvable

Date : 10-01-2020

Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)

Interprétation : fonctions, prédicats et connecteurs

Ajouter à mon panier

Accéder au document

Règles de déduction sur les quantificateurs

Description : Ce cours est le quatrième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente les règles de la déduction naturelle permettant de manipuler des formules contenant des quantificateurs.

Mots clés : système de la déduction naturelle, règle d'introduction du quantificateur, règle d'élimination, quantification universelle, quantification existentielle

Date : 10-01-2020

Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)

Règles de déduction sur les quantificateurs

Ajouter à mon panier

Accéder au document

Interprétation : variables et quantificateurs

Description : Ce cours est la cinquième et dernière séquence d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il étend les notions présentées dans le troisième cours en présentant les schémas d'interprétation d'un langage logique avec variables et ...

Mots clés : interprétation d'un langage logique avec variables, règle d'introduction du quantificateur, interprétation des termes, schéma d'interprétation des formules, formule valide, relation de conséquences

Date : 10-01-2020

Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)

Interprétation : variables et quantificateurs

Ajouter à mon panier

Accéder au document

Comment la vérité et la réalité furent inventées (par Paul JORION)

Description : J’analyserai la naissance des notions de "vérité" et de "réalité (objective)", notions qui nous semblent aller de soi, mais sont en réalité apparues à un moment précis de l'histoire de notre culture occidentale et sont totalement absentes du bagage conceptuel de certaines autres et de la culture ...

Mots clés : symétrie, sciences, syllogisme, sophisme, pensée primitive, rhétorique, analogie, Aristote, anthropologie, vérité, anti-symétrie

Date : 24-03-2015

Droits : Droits réservés à l'éditeur et aux auteurs.

Comment la vérité et la réalité furent inventées (par Paul JORION)

Ajouter à mon panier

Accéder aux documents

Qu'est-ce qu'un argument ?

Description : Ce cours est une première introduction à l'étude des arguments. Il vous donne certaines bases pour comprendre les arguments dans les controverses à thème scientifique. Il vous sera utile pour étudier les positions des différents intervenants et pour construire votre propre position. Vous apprendrez ...

Mots clés : argument, argumentation, opinion, explication, standardisation des arguments

Date : 2015

Droits : Licence Creative Commons : Paternité - Pas d'Utilisation Commerciale - Partage à l'Identique 2.0 France

Qu'est-ce qu'un argument ?

Ajouter à mon panier

Accéder au document

La société et les débats sur les technologies : étude de l'argumentation

Description : Cette étude sur l'argumentation dans la société et les débats se compose de quatre modules distincts : - Qu'est-ce qu'un argument ? ; - La démocratie participative et la science ; - L'argument par l'analogie ; - La modalisation dans les controverses.

Mots clés : argument, argumentation, technologies, débats démocratiques, démocratie participative

Date : 2015

Droits : Licence Creative Commons : Paternité-Pas d'Utilisation Commerciale-Pas de Modification 2.0 France

La société et les débats sur les technologies : étude de l'argumentation

Ajouter à mon panier

Accéder au document

Rebondir