La logique propositionnelle est parfois appelée «logique sententielle» ou «logique d`instruction», car elle traite des relations logiques entre les déclarations prises comme des wholes. Dans les deux cas, l`instruction de composant entre parenthèses est FALSE, non? Qu`est-ce que tout cela nous dit sur le langage naturel? Parfois, c`est le premier système que vous apprendrez puisque de nombreux manuels qui enseignent la logique de prédicat contourneront la logique catégorique d`Aristote tout à fait. En d`autres termes, une fois que vous fixez les valeurs de vérité des parties, vous fixez automatiquement la valeur de vérité de l`ensemble. La vérité de toute la proposition est une fonction de la vérité des différentes propositions de composant. Plus précisément, la logique propositionnelle étudie les moyens de joindre et/ou de modifier des propositions entières (ou des déclarations ou des phrases… ce sont tous des synonymes à des fins actuelles) pour former des propositions plus compliquées, ainsi que les relations logiques et propriétés dérivées de ces méthodes de combinaison ou de modification d`instructions. Dans la logique propositionnelle, l`objectif est d`analyser le langage au niveau des propositions prises comme des wholes. La logique exige l`acte de raisonnement par l`homme afin de former des pensées et des opinions, ainsi que des classifications et des jugements. Par exemple, “p et q” est vrai juste au cas où les deux p et q sont vraies; Si p ou q est false, alors l`instruction “p et q” est false.

Ainsi, la vérité des déclarations impliquant “croit que p” n`est pas déterminée par la vérité de p. Sous cette nouvelle hypothèse, “Tweety peut voler” est faux. Cette proposition a une valeur de vérité — elle fait une affirmation qui pourrait être vraie ou fausse. S`il vous plaît, donnez-moi la description de la phrase dans 150 mots avec l`exemple “la philosophie est l`analyse logique du langage et la clarification de la signification des mots et des concepts”. Pour une chose, pas tout le langage naturel est la vérité-fonctionnelle dans la façon dont la logique propositionnelle exige. Mais ici, nous avons deux cas où la valeur de la vérité de la composante est la même (ils sont tous deux faux), mais la valeur de la vérité de l`ensemble est différent (l`un est vrai, l`autre est faux). Ce n`est là qu`un des nombreux exemples où la sémantique des expressions en langage naturel n`est pas correctement modélisée par la sémantique de la logique propositionnelle classique. Comme ces exemples montrent, vous pouvez utiliser la logique pour résoudre les problèmes et de tirer des conclusions. Nous pouvons le voir en comparant les deux phrases suivantes. Par exemple, supposons que je crois à tort que les Seahawks battre les Patriotes dans le Super Bowl en 2014. La base d`un argument logique est sa proposition, ou déclaration.

L`expression «S croit que P» n`est pas la vérité fonctionnelle. Mais je te dis “Oh ils ne sont pas de la marque X, donc je ne te rembourserai pas”. La phrase entière peut être traitée comme une proposition qui est soit vrai ou faux. Web. C`est la règle pour évaluer les valeurs de vérité des conjonctions, les déclarations de la forme “p et q”. Habituellement, si A implique B, alors A et C impliquent B, pour tout C. C`est un fait sémantique intéressant à méditer. Ces symboles ne représentent pas des propositions complètes, ils représentent des parties d`une proposition. Kevin croit que (les Seahawks battre les Patriotes dans le Super Bowl). La proposition est soit exacte (vrai), soit inexacte (fausse).

Parfois, ces conclusions sont des conclusions correctes et parfois elles sont inexactes. Avec ces règles, vous pouvez analyser une phrase composée comme celle ci-dessus, et de déterminer ce que la valeur de la vérité de la phrase est, pour toute combinaison de valeurs de vérité des phrases composant. Désolé ces deux dernières lettres sont un peu arbitraires, mais vraiment ils sont tous arbitraires. Voici la prochaine observation clé. Il existe deux types d`arguments logiques-déductive et inductive. Ainsi, la proposition “tous les humains sont mortels” serait un symbolisé en utilisant une seule lettre majuscule qui représente toute la proposition (vous pouvez choisir tout ce que vous voulez, dans ce cas, soit “H” ou “M” serait bien). En fait, cette règle est ce qui définit la signification du mot «et» dans la logique propositionnelle.


Share:

mattjohanson1