Brainscape's Knowledge GenomeTM

Browse over 1 million classes created by top students, professors, publishers, and experts.


See full index

LNG1080 > Cours 10b - Introduction à la sémantique formelle > Flashcards

Cours 10b - Introduction à la sémantique formelle Flashcards

1
Q

Quels sont les 2 types de sémantiques?

A
  • Sémantique lexicale
  • Sémantique de la phrase
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Def. sémantique lexicale

A

Étude du sens des mots

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Def. sémantique de la phrase

A

Étude du sens des phrases

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Voir diapos 12-13 pour des exemples de la signification et du sens.

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Def. phrase

A
  • Objet abstrait qui possède une structure phonologique, syntaxique, sémantique et morphologique.
  • Hors contexte. Pour l’analyser, on ne prend pas le contexte en compte.
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Def. énoncé

A
  • Objet concret qui possède à la fois des propriétés linguistiques et non linguistiques.
  • En contexte. Pour l’analyser, on prend en compte le contexte.
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Def. signification

A
  • Ensemble de traits conceptuels (signifié) -> ce que la phrase signifie.
  • La signification est constante.
  • La signification est une propriété de la phrase.
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Def. sens

A
  • Association entre un objet et une expression contextuellement définie.
  • Le sens d’un énoncé est variable.
  • Le sens est une propriété de l’énoncé.
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Def. sémantique

A
  • La sémantique étudie la signification des phrases.
  • Elle est hors contexte.
  • Elle étudie seulement ce qui est linguistique.
  • Elle étudie la structure des phrases (comment est-ce qu’on structure la phrase au niveau sémantique?).
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Def. pragmatique

A
  • La pragmatique étudie le sens des énoncés.
  • Elle est en contexte.
  • Elle étudie ce qui est linguistique et extra-linguistique.
  • Elle étudie l’usage de la langue.
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Voir diapo 19 pour des exemples d’énoncés

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Dans le terme sémantique formelle, qu’est-ce que signifie “formelle”?

A

Dans la sémantique formelle, on s’intéresse à la forme des énoncés indépendamment de leur contenu que l’on va clairement coder, de façon logique, ou “formelle”.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Pourquoi est-ce qu’on parle de logique dans la sémantique?

A
  • Pour désambiguiser les langues naturelles.
  • Pour calculer les conditions de vérités des énoncés complexes à partir de nos connaissances sur les conditions de vérité des énoncés simples.
    -> Voir diapo 23 pour un exemple
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Qu’est-ce que le fait de connaître la signification d’une phrase nous permet aussi de connaître?

A

Connaître la signification d’une phrase nous permet (notamment) de connaître ses conditions de vérités.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Def. conditions de vérités

A
  • Ce n’est pas savoir si les phrases sont vraies ou fausses dans les faits (leur valeur de vérité) mais ce qui peut la rendre vraie ou fausse. C-à-d, quelles valeurs de vérité la phrase peut avoir en fonction de la valeur de vérité de ses arguments (2).
    -> Voir diapos 24-27 pour des exemples.
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

Quels sont les 2 niveaux de logique?

A
  • Logique propositionnelle
  • Logique des prédicats
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
17
Q

Def. logique propositionnelle

A

On relie différentes propositions par des connecteurs logiques (conjonctions, comme et, ou, etc.).

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
18
Q

Def. logique des prédicats

A

On formalise des relations logiques à l’intérieur même des propositions.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
19
Q

La logique propositionnelle s’appuie donc sur les propositions, mais qu’est-ce qu’une proposition?

A

Une proposition est ce qui a la capacité d’être VRAI ou FAUX.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
20
Q

Qu’est-ce qui ne peuvent pas être des propositions? (4)

A
  • Des questions.
  • Des énoncés à l’impératif.
  • Des exclamations.
  • Des énoncés performatifs.
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
21
Q

Voir diapo 32 et 34 pour des exemples de propositions

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
22
Q

Qu’est-ce que comprendre la signification d’une phrase?

A

C’est connaître les conditions de vérité de cette phrase, c-à-d savoir quelles valeurs de vérité la phrase peut avoir en fonction des valeurs de vérité de ses arguments (2).

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
23
Q

Def. valeur de vérité

A

Connaître la valeur de vérité d’une phrase, c’est savoir concrètement si dans notre monde la phrase est vraie ou fausse.

24
Q

Quels sont les buts de la logique propositionnelle? (2)

A
  • Étudier comment les propositions complexes deviennent vraies ou fausses selon la valeur de vérité des propositions simples qui les composent.
  • Comment les valeurs de vérités des propositions simples permettent de calculer les valeurs de vérités des propositions complexes.
25
Q

Def. du principe de la bivalence pour les propositions

A

Toute proposition a une et une seule valeur de vérité qui est soit vrai (noté V ou 1), soit faux (noté F ou 0).
-> La bivalence est une valeur parmi deux valeurs possibles

26
Q

Def. du principe de compositionnalité

A
  • La valeur de vérité d’une proposition complexe est exclusivement fonction des valeurs de vérité des énoncés atomiques qui la composent.
  • Autrement dit, en combinant uniquement les valeurs de vérité des propositions simples, on peut calculer la valeur de vérité d’une proposition complexe. Les propositions complexes sont donc elles aussi soit vraies, soit fausses.
27
Q

Voir diapo 41 pour étudier les différents connecteurs.

A
28
Q

Voir diapo 42 pour la négation.

A
29
Q

Vrai ou faux : Pour qu’une conjonction soit vraie, il faut seulement qu’une des deux propositions soit vraie.

A

Faux. Pour qu’une conjonction soit vraie, il faut que les deux propositions soient vraies.
-> Voir diapo 43 pour un exemple de la conjonction

30
Q

Def. disjonction

A

OU

31
Q

Quelles sont les 2 interprétations pour le OU et explique-les.

A
  • Le OU exclusif = L’une ou l’autre des propositions doit être vraie. Pas les deux.
    -> Voir diapo 46
  • Le OU inclusif = L’une ou l’autre des propositions doit être vraie ou les deux peuvent être vraies aussi.
    -> Voir diapo 47
    -> Voir diapos 48-49
32
Q

Voir diapo 50 pour comprendre le principe de l’implication matérielle

A
33
Q

Vrai ou faux : Dès que l’antécédent est faux, cela entraîne automatiquement une implication vraie.

A

Vrai.

34
Q

Voir diapos 51-56 pour des exemples de l’implication matérielle

A
35
Q

Explique les conditions suffisante / nécessaire à l’aide de la proposition suivante :
Quand p -> q est vraie, alors :
- p est une condition _______ de q.
- q est une condition _______ de p.

A
  • Suffisante
  • Nécessaire
    -> Voir diapo 57 pour un exemple
36
Q

Voir diapos 59-63 pour comprendre le principe de l’équivalence.

A
37
Q

Voir diapo 64 pour un résumé des tables de vérité
**METTRE À FEUILLE DE NOTES

A
38
Q

Combien est-ce qu’on a de lignes dans une table de vérité :
- À 2 propositions
- À 3 propositions (complexe)

A
  • 4 lignes dans la table
  • 8 lignes dans la table
39
Q

Voir diapos 65-72 pour comprendre comment former une table de vérité complexe.

A
40
Q

Voir diapo 73 pour l’ordre dans lequel on doit analyser les différents connecteurs

A
41
Q

Def. argument

A

Un argument, dans son sens restreint, est une suite de propositions qui comprend :
- Une ou plusieurs prémisses.
- Une conclusion.
-> L’argument dans ce sens a la prétention d’établir la conclusion sur la base des prémisses.

42
Q

Vrai ou faux : Il existe une relation logique entre les prémisses et la conclusion.

A

Vrai.

43
Q

La logique permet de…

A

La logique permet d’étudier les raisonnements en ne s’intéressant qu’à leur forme, indépendamment du contenu.
-> Voir diapo 76

44
Q

Def. argument sain

A
  • Un argument sain est un argument valide dont les prémisses sont vraies.
  • Sain = valide + prémisses vraies.
44
Q

Def. argument valide

A
  • Un argument valide est un argument dont la vérité des prémisses entraîne celle de la conclusion.
  • C’est un argument logiquement bien formé.
  • Il ne dit pas nécessairement des choses vraies, mais il a une structure correcte logiquement.
45
Q

Vrai ou faux : Si un argument n’est pas valide, il peut être sain.

A

Faux. Si un argument n’est pas valide, alors il n’est pas sain.

46
Q

Voir diapos 78-81 pour des exemples de la validité et de la sanité.

A
47
Q

Def. paralogisme et sophisme

A

Arguments invalides ou qui aboutissent à des conclusions fausses.

48
Q

Qu’est-ce qui différencie un paralogisme et un sophisme?

A
  • Paralogisme = c’est fait de façon involontaire.
  • Sophisme = c’est fait de façon volontaire pour tromper quelqu’un.
49
Q

Def. paralogismes formels

A
  • Un paralogisme formel est une inconsistance.
  • Une argumentation ne doit pas se contredire.
50
Q

Quels sont les 2 paralogismes formels?

A
  • L’affirmation du conséquent
  • La négation de l’antécédent
51
Q

Explique l’affirmation du conséquent à l’aide de la proposition suivante :
on admet que p -> q est vraie.

A

Lorsqu’on admet que p -> q est vraie, en déduire que q -> p est vraie n’est PAS valide. Une implication n’est PAS une équivalence.
-> Voir diapo 85

52
Q

Explique la négation de l’antécédent à l’aide de la proposition suivante :
on admet que p -> q est vraie.

A

Lorsqu’on admet que p -> q est vraie, en déduire que øp -> øq est vraie n’est PAS valide.
-> Voir diapo 86

53
Q

Voir diapo 87 pour un exercice sur les paralogismes formels.

A
54
Q

Dans quelle circonstance est-ce que la négation du conséquent est considérée comme valide? Explique avec la proposition suivante : on admet que p -> q est vraie.

A

Lorsqu’on admet que p -> q est vraie, en déduire que øq -> øp est vraie est valide. Ce n’est donc pas un paralogisme.
-> Voir diapo 88

55
Q

Pour les paralogismes suivants, qui forment les paralogismes informels, voir dans les lectures pour les exemples (post-it bleu, p.60-85)

A

LNG1080 (14 decks)

Brainscape helps you reach your goals faster, through stronger study habits.
© 2024 Bold Learning Solutions. Terms and Conditions